Search: github.com/correll | Heykuki News

Heykuki News

Top New Best Ask Show Jobs

Top New Best Ask Show Jobs

151.

Show HN: Chat Correct – error analysis for English sentence corrections (github.com/diasks2)

1 point

11 years ago

152.

Show HN: Statistically Correct Python Interpreter (github.com/mkhan45)

1 point

3 years ago

153.

Show HN: Color correct underwater footage with Python (github.com/bornfree)

2 points

4 years ago

154.

Norvig's Spellchecker ported to Coffeescript (21 lines as well) (github.com/danielribeiro)

2 points

15 years ago

155.

On the Correctness of Egalitarian Paxos (github.com/otrack)

2 points

7 years ago

156.

On the Correctness of Egalitarian Paxos (github.com/otrack)

2 points

7 years ago

157.

On the Correctness of Egalitarian Paxos (github.com/otrack)

2 points

7 years ago

158.

Toy Spelling Corrector Written in Golang (github.com/montanaflynn)

1 point

11 years ago

159.

Some ios kernel analysis tool write by C

6 points

9 years ago

160.

Show HN: High quality source of algorithms/DS for competitive programming

1 point

6 years ago

161.

SCSS-Lint Auto Correct scripts (github.com/Dorian)

1 point

8 years ago

162.

Show HN: Memory Graph – Interactive Python execution and memory visualizer (memory-graph.com)

7 points

5 months ago

163.

Show HN: My own tokenization method in Python, open to feedback (github.com/YasTouchedMySpaggett)

2 points

3 years ago

164.

Tell HN: Firefox got slower after new update?

1 point

9 years ago

165.

Benefits of Nim over C/C++ (github.com/mratsim)

2 points

6 years ago

166.

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

479 points

2 years ago

167.

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

7 points

2 months ago

168.

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

2 points

3 months ago

169.

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

2 points

9 months ago

170.

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

466 points

4 years ago

171.

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

440 points

3 years ago

172.

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

438 points

11 years ago

173.

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

374 points

9 years ago

174.

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

305 points

9 years ago

175.

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

287 points

9 years ago

176.

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

243 points

a year ago

177.

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

204 points

4 years ago

178.

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

203 points

4 years ago

179.

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

193 points

6 years ago

180.

Prove Raft Correct (github.com/uwplse)

173 points

11 years ago