Login
故事
< prev
page 1
more >
Loading...
417
US SEC preparing to scrap quarterly reporting requirement
(reuters.com)
by
djoldman
5 hours ago |
221 comments
370
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
8 hours ago |
74 comments
9
Monkey Island for Commodore 64 Ground Up
(pixeldust.se)
by
aresant
an hour ago |
1 comments
382
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
by
hahahacorn
11 hours ago |
166 comments
26
Every layer of review makes you 10x slower
(apenwarr.ca)
by
greyface-
an hour ago |
12 comments
349
The “small web” is bigger than you might think
(kevinboone.me)
by
speckx
11 hours ago |
157 comments
285
The American Healthcare Conundrum
(github.com)
by
rexroad
12 hours ago |
247 comments
25
Lf-lean: The frontier of verified software engineering
(theorem.dev)
by
alpaylan
5 days ago |
6 comments
8
Zenclora OS
(zenclora.org)
by
debo_
37 minutes ago |
1 comments
23
Jepsen: MariaDB Galera Cluster 12.1.2
(jepsen.io)
by
aphyr
an hour ago |
2 comments
345
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
(community.home-assistant.io)
by
Vaslo
16 hours ago |
100 comments
89
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
(github.com)
by
mr_Fatalyst
4 days ago |
47 comments
45
In space, no one can hear you kernel panic (2020)
(increment.com)
by
p0u4a
4 days ago |
4 comments
85
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
by
rmason
8 hours ago |
140 comments
384
Why I love FreeBSD
(it-notes.dragas.net)
by
enz
17 hours ago |
188 comments
55
Show HN: Thermal Receipt Printers – Markdown and Web UI
(github.com)
by
howlett
3 days ago |
17 comments
22
Pyodide: a Python distribution based on WebAssembly
(github.com)
by
tosh
3 days ago |
8 comments
223
Starlink Mini as a failover
(jackpearce.co.uk)
by
jkpe
21 hours ago |
172 comments
22
Canopy Height Maps v2
(ai.meta.com)
by
tzury
4 days ago |
6 comments
239
AirPods Max 2
(apple.com)
by
ssijak
15 hours ago |
426 comments
AnswerThis (YC F25) Is Hiring
(ycombinator.com)
AnswerThis (YC F25) Is Hiring
job
1397
Polymarket gamblers threaten to kill me over Iran missile story
(timesofisrael.com)
by
defly
17 hours ago |
907 comments
81
Language model teams as distributed systems
(arxiv.org)
by
jryio
11 hours ago |
36 comments
266
Home Assistant waters my plants
(finnian.io)
by
finniananderson
5 days ago |
134 comments
201
Show HN: Claude Code skills that build complete Godot games
(github.com)
by
htdt
13 hours ago |
129 comments
112
The bureaucracy blocking the chance at a cure
(writingruxandrabio.com)
by
item
a day ago |
133 comments
71
Launch HN: Voygr (YC W26) – A better maps API for agents and AI apps
by
ymarkov
12 hours ago |
55 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
102
On The Need For Understanding
(blog.information-superhighway.net)
by
zdw
5 days ago |
41 comments
127
Apideck CLI – An AI-agent interface with much lower context consumption than MCP
(apideck.com)
by
gertjandewilde
13 hours ago |
107 comments