Search: github.com/corretto | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

31.

Show HN: LLM-aided OCR – Correcting Tesseract OCR errors with LLMs (github.com/Dicklesworthstone)

479 points

2 years ago

32.

Show HN: Aiaiai.guide: Plain-English mental model for LLM apps, tools and agents (aiaiai.guide)

7 points

2 months ago

33.

Show HN: Reduce LLM token use by ~30% with this MCP/CLI tool(Claude benchmarked)

2 points

3 months ago

34.

Introducing BackendBench: how well LLMs and humans can write PyTorch backends (github.com/meta-pytorch)

2 points

9 months ago

35.

Perl code that is syntactically correct only on Fridays (github.com/jwilk)

466 points

4 years ago

36.

Jaq – A jq clone focused on correctness, speed, and simplicity (github.com/01mf02)

440 points

3 years ago

37.

The Fuck – Correct your previous console command (github.com/nvbn)

438 points

11 years ago

38.

Writing correct lock-free and distributed stateful systems in Rust, with TLA+ (github.com/spacejam)

374 points

9 years ago

39.

Show HN: Gutenberg – Modern CSS framework to print the web correctly (github.com/BafS)

305 points

9 years ago

40.

The Fuck – An app which corrects your previous console command (github.com/nvbn)

287 points

9 years ago

41.

Show HN: A pure WebGL image editor with filters, crop and perspective correction (github.com/xdadda)

243 points

a year ago

42.

Make formal verification and provably correct software practical and mainstream (github.com/magmide)

204 points

4 years ago

43.

SymSpell: 1M times faster spelling correction (github.com/wolfgarbe)

203 points

4 years ago

44.

Fix Boyer-Moore searcher with the Rytter correction (github.com/microsoft)

193 points

6 years ago

45.

Prove Raft Correct (github.com/uwplse)

173 points

11 years ago

46.

Show HN: UUIDs that are Shakespearean, grammatically correct sentences (github.com/Debdut)

154 points

6 years ago

47.

Tink – Cryptographic APIs that are secure, easy to use correctly (github.com/google)

153 points

6 years ago

48.

Autotone – A vocal pitch correction web application, like Autotune (github.com/alexcrist)

113 points

3 years ago

49.

Thefuck – Corrects your previous console command (github.com/nvbn)

112 points

8 years ago

50.

Koan: A word2vec negative sampling implementation with correct CBOW update (github.com/bloomberg)

88 points

5 years ago

51.

Synthesizing Correct-by-Construction Code for Cryptographic Primitives (github.com/mit-plv)

78 points

5 years ago

52.

Show HN: Claude Reflect – Auto-turn Claude corrections into project config (github.com/BayramAnnakov)

75 points

5 months ago

53.

Creusot helps you prove your Rust code is correct (github.com/creusot-rs)

66 points

7 days ago

54.

Show HN: BetterOCR combines and corrects multiple OCR engines with an LLM (github.com/junhoyeo)

63 points

3 years ago

55.

Show HN: Perspec – Scriptable desktop app to correct the perspective of images (github.com/feramhq)

59 points

4 years ago

56.

Latest Kitty terminal release features SRGB correct linear gamma blending (github.com/kovidgoyal)

56 points

3 years ago

57.

Show HN: Using LLama2 to Correct OCR Errors (github.com/Dicklesworthstone)

54 points

3 years ago

58.

Thefuck: Magnificent app which corrects your previous console command (github.com/nvbn)

42 points

4 years ago

59.

Batfish: OSS network configuration static analysis, find bugs, test correctness (github.com/batfish)

39 points

2 years ago

60.

I wrote a script to automatically apply Grammarly corrections (github.com/isneuu)

35 points

4 years ago