❓
page 9 of top
light mode
Anatomy of a Lean proof for software engineers
(agostbiro.net)
Ⓒ
·
128 points
·
75 comments
·
3½ days ago 
by abiro
⏱️ 32 minutes
context language models
Context Language Models
(arxiv.org)
Ⓒ
·
176 points
·
51 comments
·
3½ days ago 
by emersonmacro
on social reality in china
On social reality in China
(lesswrong.com)
Ⓒ
·
254 points
·
261 comments
·
2½ days ago 
by thicTurtlLverXX
OKI Develops 124-​Layer PCB Technology
(oki.com)
54 points
·
28 comments
·
3½ days ago 
by luu
⏱️ 1 minute
sites in chatgpt
Sites in ChatGPT
(chatgpt.com)
Ⓒ
·
347 points
·
339 comments
·
3 days ago 
by polvi
⏱️ 1 minute
Blindsight (Watts Novel)
(wikipedia.org)
Ⓝ
Ⓑ
Ⓐ
Ⓒ
·
70 points
·
69 comments
·
9½ hours ago 
by mooreds
⏱️ 2 minutes
linkedin larpmaxxing
LinkedIn Larpmaxxing
(hereticpleb​.vercel.app)
Ⓒ
·
322 points
·
253 comments
·
4½ days ago 
by BurnerBurner
⏱️ 3 minutes
CSS Bed: Classless CSS themes to use as starting points in web development
(cssbed.com)
Ⓒ
·
166 points
·
48 comments
·
3 days ago 
by sea-gold
⏱️ 2 minutes
Updates to Full Disk Access in macOS
(apple.com)
Ⓒ
·
309 points
·
219 comments
·
2½ days ago 
by notfirstpost
Billions of triangles redux
(zeux.io)
53 points
·
5 comments
·
4½ days ago 
by ibobev
frog and toad and the increasingly capable machines
Frog and Toad and the Increasingly Capable Machines
(frogandtoad.ai)
Ⓒ
·
576 points
·
128 comments
·
3 days ago 
by supermdguy
nearly 200 people under observation after irkutsk lab worker dies from plague
Nearly 200 people under observation after Irkutsk lab worker dies from plague
(themoscowtimes.com)
Ⓑ
·
14 points
·
0 comments
·
13¾ hours ago 
by tosh
show hn janus go binary that runs gguf models via vulkan on amdintelnvidia
Show HN: Janus – Go binary that runs GGUF models via Vulkan on AMD/​Intel/​Nvidia
(github.com)
Ⓒ
·
104 points
·
19 comments
·
3 days ago 
by Maverick617
⏱️ 2 minutes
scientists invent underwater umbrellas to protect coral reefs
Scientists invent underwater umbrellas to protect coral reefs
(gizmodo.com)
33 points
·
14 comments
·
2½ days ago 
by giuliomagnifico
⏱️ 3 minutes
streetcomplete on ios is now in public beta
StreetComplete on iOS is now in public beta
(github.com)
Ⓒ
·
628 points
·
177 comments
·
3½ days ago 
by Snowly
launch hn magnitude yc s25 selfoptimizing inference engine for agents
Launch HN: Magnitude (YC S25) – Self-​optimizing inference engine for agents
(github.com)
Ⓒ
·
194 points
·
99 comments
·
4½ days ago 
by anerli
⏱️ 1 minute
repeated scope failures in real codex projectsgpt6
Repeated scope failures in real Codex projects(GPT-​6)
(openai.com)
6 points
·
0 comments
·
23¾ hours ago 
by Rapzid
protest against housing crisis in spain
Protest against housing crisis in Spain
(theguardian.com)
Ⓑ
Ⓐ
·
29 points
·
53 comments
·
16¾ hours ago 
by akbarnama
⏱️ 2 minutes
one month coding with glm 53 flash
One month coding with GLM 5.3 Flash
(wagtail.org)
Ⓒ
·
228 points
·
180 comments
·
2½ days ago 
by ThibWeb
⏱️ 2 minutes
sea monkeys show scientists how to rewrite a rule of turbulence
Sea Monkeys Show Scientists How to Rewrite a Rule of Turbulence
(quantamagazine.org)
10 points
·
1 comment
·
2½ days ago 
by ibobev
⏱️ 3 minutes
page 10
new best active classic
This page was generated in 702 milliseconds at 2026-10-05T01:55:41Z.