Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
91.
▲
Show HN: Formalizing Principia Mathematica using Lean
(github.com/ndrwnaguib)
188 points
ndrwnaguib
a year ago
34 comments
92.
▲
Show HN: Jb / json.bash – Command-line tool (and bash library) that creates JSON
(github.com/h4l)
183 points
h4l
2 years ago
52 comments
93.
▲
Show HN: Neum AI – Open-source large-scale RAG framework
(github.com/NeumTry)
155 points
picohen
3 years ago
30 comments
94.
▲
Show HN: A new stdlib for Golang focusing on platform native support
(github.com/primecitizens)
154 points
Leotard6963
3 years ago
82 comments
95.
▲
Train CIFAR10 to 94% in under 10 seconds on a single A100
(github.com/tysam-code)
151 points
tysam_and
3 years ago
50 comments
96.
▲
Show HN: TensorDock Core GPU Cloud – GPU servers from $0.29/hr
(tensordock.com)
147 points
jonathanlei
4 years ago
52 comments
97.
▲
Show HN: Servicer, pm2 alternative built on Rust and systemd
(servicer.dev)
147 points
shardulaeer
3 years ago
37 comments
98.
▲
Show HN: Skill that lets Claude Code/Codex spin up VMs and GPUs
(cloudrouter.dev)
138 points
austinwang115
4 months ago
36 comments
99.
▲
Show HN: WebRTC Nuts and Bolts, A holistic way of understanding how WebRTC runs
(github.com/adalkiran)
124 points
adalkiran
4 years ago
36 comments
100.
▲
Launch HN: Metriport (YC S22) – Open-source API for healthcare data exchange
112 points
dgoncharov
2 years ago
101 comments
101.
▲
Launch HN: Dataform (YC W18) – Build Reliable SQL Data Pipelines as a Team
110 points
G2H
7 years ago
36 comments
102.
▲
Tell HN: Rust Is Complex
107 points
slashdev
4 years ago
93 comments
103.
▲
Show HN: StealthDrop – Anonymous crypto airdrops using zero-knowledge proofs
(github.com/nalinbhardwaj)
105 points
nibnalin
4 years ago
25 comments
104.
▲
Show HN: Watermelon – GPT-powered code contextualizer
(watermelontools.com)
100 points
baristaGeek
3 years ago
41 comments
105.
▲
Launch HN: Tensil (YC S19) – Open-Source ML Accelerators
96 points
tdba
4 years ago
87 comments
106.
▲
Show HN: Alzheimer's Buddy: Use Flashing Light and Sound at 40Hz
(alzheimersbuddy.com)
96 points
eigenvalue
2 years ago
79 comments
107.
▲
Today a programmer was born. And you are my mother.
83 points
vnchr
15 years ago
31 comments
108.
▲
Show HN: Wave – Modern Open-Source Terminal (macOS and Linux)
(github.com/wavetermdev)
82 points
sawka
2 years ago
90 comments
109.
▲
Show HN: Hacker News clone using Remix and React
(github.com/clintonwoo)
80 points
clintonwoo
4 years ago
47 comments
110.
▲
Show HN: What country you would hit if you went straight where you're pointing
(apps.apple.com)
80 points
brgross
9 months ago
40 comments
111.
▲
Show HN: AISlop, a CLI for catching AI generated code smells
(github.com/scanaislop)
73 points
Heavykenny
6 days ago
65 comments
112.
▲
Show HN: Pickaxe – A TypeScript library for building AI agents
(github.com/hatchet-dev)
70 points
abelanger
a year ago
26 comments
113.
▲
Show HN: Open Sourcing Our No-Code WebXR Editor After 5 Years of Development
(github.com/transferthought)
67 points
keenanTT
2 years ago
15 comments
114.
▲
Show HN: DotLottie Player – A New Universal Lottie Player Built with Rust
(github.com/LottieFiles)
65 points
jawishhameed
2 years ago
13 comments
115.
▲
Show HN: Using LLMs and Embeddings to classify application errors
(github.com/highlight)
65 points
vadman97
3 years ago
10 comments
116.
▲
Show HN: Druids – Build your own software factory
(github.com/fulcrumresearch)
64 points
etherio
2 months ago
15 comments
117.
▲
Ask HN: Is there any point in trying to clear your online footprint
61 points
xupybd
7 years ago
34 comments
118.
▲
Show HN: GibRAM an in-memory ephemeral GraphRAG runtime for retrieval
(github.com/gibram-io)
60 points
ktyptorio
5 months ago
9 comments
119.
▲
Show HN: pg-primer - Beginner's guide to administering/managing PostgreSQL
(github.com/vishesh92)
58 points
vishesh92
3 years ago
7 comments
120.
▲
Show HN: PlaidML, open source deep learning for any GPU
52 points
hedgehog
9 years ago
16 comments
More