HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
Enjoy Shields.io
github.com/progfay
discuss
3 years ago
app4soft
1 points
2.
▲
Yore – Deterministic document indexer for large, agent-driven codebases
github.com/rahulrajaram
1 comment
7 months ago
progfan234
4 points
3.
▲
Show HN: lpviz – Interactive linear programming visualization in the browser
lpviz.net
1 comment
a day ago
klamike
8 points
4.
▲
Show HN: Talos – Open-source WASM interpreter for Lean
github.com/cajal-technologies
28 comments
4 days ago
mfornet
105 points
5.
▲
Show HN: Baserates.dev, memorize programmer napkin math
baserates.dev
discuss
13 hours ago
stopachka
2 points
6.
▲
Show HN: LLMs can generate valid JSON 100% of the time
github.com/normal-computing
303 comments
3 years ago
remilouf
854 points
7.
▲
Show HN: Lathe – Use LLMs to learn a new domain, not skip past it
github.com/devenjarvis
73 comments
15 days ago
devenjarvis
402 points
8.
▲
Show HN: We built an 8-bit CPU as 2nd year EE students
github.com/c0rRupT9
46 comments
7 days ago
CorRupT9
107 points
9.
▲
Yon – a topos-oriented language with a content-addressed lattice heap
yon-lang.org
80 comments
18 days ago
amenn
48 points
10.
▲
Story of How Im Running an Unlimited $6/Month AI Provider on 4x RTX 3090s
3 comments
8 days ago
yolo-auto
8 points
11.
▲
Show HN: CommitGate – Automatically scan your commit for vulnerabilities
github.com/ductrl
7 comments
a day ago
ductrl
5 points
12.
▲
Show HN: Topaz – A small application language that compiles through Rust
github.com/studiohaze
1 comment
4 days ago
yo_tafo
5 points
13.
▲
Show HN: Quikdown – 17 KB bidirectional Markdown parser and rich-fence editor
github.com/deftio
discuss
a day ago
deftio
4 points
14.
▲
Show HN: Wirewright, an experimental symbolic physics environment
github.com/wirewright
discuss
13 hours ago
homonoidian
3 points