Login
故事
< prev
page 1
more >
Loading...
403
US SEC preparing to scrap quarterly reporting requirement
(reuters.com)
by
djoldman
4 hours ago |
207 comments
366
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
8 hours ago |
71 comments
379
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
by
hahahacorn
10 hours ago |
165 comments
348
The “small web” is bigger than you might think
(kevinboone.me)
by
speckx
11 hours ago |
146 comments
13
Every layer of review makes you 10x slower
(apenwarr.ca)
by
greyface-
an hour ago |
1 comments
283
The American Healthcare Conundrum
(github.com)
by
rexroad
11 hours ago |
245 comments
340
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
(community.home-assistant.io)
by
Vaslo
15 hours ago |
100 comments
17
Jepsen: MariaDB Galera Cluster 12.1.2
(jepsen.io)
by
aphyr
an hour ago |
2 comments
44
In space, no one can hear you kernel panic (2020)
(increment.com)
by
p0u4a
4 days ago |
4 comments
88
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
(github.com)
by
mr_Fatalyst
4 days ago |
47 comments
82
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
by
rmason
8 hours ago |
131 comments
20
Lf-lean: The frontier of verified software engineering
(theorem.dev)
by
alpaylan
5 days ago |
5 comments
382
Why I love FreeBSD
(it-notes.dragas.net)
by
enz
17 hours ago |
188 comments
53
Show HN: Thermal Receipt Printers – Markdown and Web UI
(github.com)
by
howlett
3 days ago |
16 comments
30
Show HN: GitClassic.com, a fast, lightweight GitHub thin client (pages <14KB)
(gitclassic.com)
by
heythisischris
5 days ago |
13 comments
222
Starlink Mini as a failover
(jackpearce.co.uk)
by
jkpe
20 hours ago |
171 comments
18
Pyodide: a Python distribution based on WebAssembly
(github.com)
by
tosh
3 days ago |
5 comments
22
Canopy Height Maps v2
(ai.meta.com)
by
tzury
4 days ago |
6 comments
237
AirPods Max 2
(apple.com)
by
ssijak
15 hours ago |
418 comments
AnswerThis (YC F25) Is Hiring
(ycombinator.com)
AnswerThis (YC F25) Is Hiring
job
80
Language model teams as distributed systems
(arxiv.org)
by
jryio
11 hours ago |
34 comments
1396
Polymarket gamblers threaten to kill me over Iran missile story
(timesofisrael.com)
by
defly
17 hours ago |
905 comments
265
Home Assistant waters my plants
(finnian.io)
by
finniananderson
5 days ago |
134 comments
71
Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
by
ymarkov
12 hours ago |
55 comments
111
The bureaucracy blocking the chance at a cure
(writingruxandrabio.com)
by
item
a day ago |
133 comments
199
Show HN: Claude Code skills that build complete Godot games
(github.com)
by
htdt
12 hours ago |
128 comments
222
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs
(moment.dev)
by
antics
4 days ago |
106 comments
100
On The Need For Understanding
(blog.information-superhighway.net)
by
zdw
5 days ago |
41 comments
126
Apideck CLI – An AI-agent interface with much lower context consumption than MCP
(apideck.com)
by
gertjandewilde
13 hours ago |
107 comments
682
Corruption erodes social trust more in democracies than in autocracies
(frontiersin.org)
by
PaulHoule
17 hours ago |
357 comments