Search: github.com/glean | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

271.

Show HN: CleanCloud: Read-only cloud hygiene CLI – Feedback wanted

1 point

4 months ago

272.

Skin in the Game

1 point

3 years ago

273.

Show HN: CleanCloud – 20 rules to find what's costing you money in AWS and Azure

1 point

4 months ago

274.

Show HN: How we solved the InfoSec adoption blocker for cloud tools

1 point

4 months ago

275.

Show HN: CleanCV – I was tired of ugly LaTeX CV templates, so I built my own (github.com/giladturok)

1 point

10 months ago

276.

Show HN: Containers for Lean 4 (polynomial functors, with M-types) (github.com/fraware)

1 point

9 months ago

277.

Show HN: Cleanlab Vizzy – automatically find label errors and bad data (playground.cleanlab.ai)

1 point

4 years ago

278.

A hands-on introduction to video technology: image, video, codec and more (github.com/leandromoreira)

694 points

9 years ago

279.

Learn FFmpeg the hard way (github.com/leandromoreira)

586 points

8 years ago

280.

How does a video codec work? (github.com/leandromoreira)

561 points

7 years ago

281.

Linux network performance parameters (github.com/leandromoreira)

458 points

3 years ago

282.

Writing a Mini-CDN to Learn Nginx/Prometheus/Grafana/Lua (github.com/leandromoreira)

312 points

3 years ago

283.

Linux Network Queues Overview (github.com/leandromoreira)

250 points

7 years ago

284.

Webvm: Virtual Machine for the Web (github.com/leaningtech)

205 points

2 years ago

285.

Leantime: Open-Source Jira Alternative (github.com/Leantime)

181 points

3 years ago

286.

Cleaner Hacker News (github.com/Primigenus)

145 points

14 years ago

287.

FFmpeg libav tutorial – from basic to transmuxing, transcoding and more (github.com/leandromoreira)

142 points

6 years ago

288.

Lean 4.0 (github.com/leanprover)

130 points

3 years ago

289.

Clean Code concepts adapted for PHP (github.com/jupeter)

92 points

9 years ago

290.

Lean theorem prover mathlib (github.com/leanprover-community)

83 points

6 months ago

291.

Machine Learning Feynman Experience: build models from scratch on Google Colab (github.com/leandromineti)

71 points

7 years ago

292.

A simple ray tracer in Lean 4 (github.com/kmill)

53 points

5 years ago

293.

Show HN: Formal Verification for Machine Learning Models Using Lean 4 (github.com/fraware)

52 points

a year ago

294.

FFmpeg as a Library : libav tutorial (github.com/leandromoreira)

48 points

5 years ago

295.

Show HN: Clean Your Mac with a Script (github.com/hkdobrev)

44 points

2 years ago

296.

Clean Go Code (github.com/Pungyeon)

37 points

7 years ago

297.

Show HN: Leanweb – toolset for generating web components based web project (github.com/elgs)

31 points

6 years ago

298.

Linux Network Performance Parameters (github.com/leandromoreira)

29 points

7 years ago

299.

Show HN: Open-source project management system for small teams and startups (github.com/Leantime)

28 points

leantimesystems

7 years ago

300.

A hands-on introduction to digital video technology (github.com/leandromoreira)

26 points

9 years ago