HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Show HN: A Jumpcut inspired clipboard history tool for Windows 10
github.com/qorrect
1 comment
6 years ago
qorrect
3 points
2.
▲
Show HN: I'm 6 months late, but I made a Natural Language theorem prover
github.com/ArnavAgrawal03
3 comments
a year ago
ArnavAgrawal03
3 points
3.
▲
Generate passwords with correcthorse
github.com/bevacqua
discuss
11 years ago
bevacqua
2 points
4.
▲
AI-powered keyboard layout fixer for when you forget to switch layouts
github.com/mohamedch7
1 comment
2 years ago
akremch
1 points
5.
▲
Correcthorse: generate secure, easy to type, memorable passphrases
github.com/polonskiy
discuss
9 years ago
polonskiy
1 points
6.
▲
A subtitles corrector tool for Linux
github.com/sunilkumarc
discuss
12 years ago
sunilkumarc
3 points
7.
▲
Chat_correct: shows the errors of a correct English sentence vs. an incorrect one
github.com/diasks2
discuss
11 years ago
mparramon
1 points
8.
▲
Show HN: Chat Correct – error analysis for English sentence corrections
github.com/diasks2
discuss
11 years ago
diasks2
1 points
9.
▲
Show HN: Statistically Correct Python Interpreter
github.com/mkhan45
discuss
3 years ago
fish45
1 points
10.
▲
Show HN: Color correct underwater footage with Python
github.com/bornfree
discuss
4 years ago
hbornfree
2 points
11.
▲
Norvig's Spellchecker ported to Coffeescript (21 lines as well)
github.com/danielribeiro
discuss
15 years ago
DanielRibeiro
2 points
12.
▲
On the Correctness of Egalitarian Paxos
github.com/otrack
discuss
7 years ago
otrack
2 points
13.
▲
On the Correctness of Egalitarian Paxos
github.com/otrack
discuss
7 years ago
otrack
2 points
14.
▲
On the Correctness of Egalitarian Paxos
github.com/otrack
discuss
7 years ago
otrack
2 points
15.
▲
Toy Spelling Corrector Written in Golang
github.com/montanaflynn
discuss
11 years ago
anonfunction
1 points
16.
▲
Some ios kernel analysis tool write by C
discuss
9 years ago
cocoahuke
6 points
17.
▲
Show HN: High quality source of algorithms/DS for competitive programming
discuss
6 years ago
chillee
1 points
18.
▲
SCSS-Lint Auto Correct scripts
github.com/Dorian
discuss
8 years ago
dorianm
1 points
19.
▲
Show HN: Memory Graph – Interactive Python execution and memory visualizer
memory-graph.com
discuss
6 months ago
bterwijn
7 points
20.
▲
Show HN: My own tokenization method in Python, open to feedback
github.com/YasTouchedMySpaggett
2 comments
3 years ago
yasuocidal
2 points
21.
▲
Tell HN: Firefox got slower after new update?
1 comment
9 years ago
tuyguntn
1 points
22.
▲
Benefits of Nim over C/C++
github.com/mratsim
discuss
6 years ago
frankpf
2 points
23.
▲
Show HN: LLM-aided OCR – Correcting Tesseract OCR errors with LLMs
github.com/Dicklesworthstone
172 comments
2 years ago
eigenvalue
479 points
24.
▲
Show HN: Aiaiai.guide: Plain-English mental model for LLM apps, tools and agents
aiaiai.guide
discuss
3 months ago
myyke
7 points
25.
▲
Show HN: Reduce LLM token use by ~30% with this MCP/CLI tool(Claude benchmarked)
1 comment
4 months ago
jahala
2 points
26.
▲
Introducing BackendBench: how well LLMs and humans can write PyTorch backends
github.com/meta-pytorch
discuss
9 months ago
matt_d
2 points
27.
▲
Perl code that is syntactically correct only on Fridays
github.com/jwilk
223 comments
4 years ago
pabs3
466 points
28.
▲
Jaq – A jq clone focused on correctness, speed, and simplicity
github.com/01mf02
229 comments
3 years ago
tmcneal
440 points
29.
▲
The Fuck – Correct your previous console command
github.com/nvbn
165 comments
11 years ago
nvbn
438 points
30.
▲
Writing correct lock-free and distributed stateful systems in Rust, with TLA+
github.com/spacejam
94 comments
9 years ago
gfortaine
374 points
More