Login
故事
< prev
page 1
more >
Loading...
413
US SEC preparing to scrap quarterly reporting requirement
(reuters.com)
by
djoldman
5 hours ago |
211 comments
368
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
8 hours ago |
73 comments
382
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
by
hahahacorn
10 hours ago |
166 comments
7
Monkey Island for Commodore 64 Ground Up
(pixeldust.se)
by
aresant
42 minutes ago |
discuss
349
The “small web” is bigger than you might think
(kevinboone.me)
by
speckx
11 hours ago |
154 comments
19
Every layer of review makes you 10x slower
(apenwarr.ca)
by
greyface-
an hour ago |
9 comments
284
The American Healthcare Conundrum
(github.com)
by
rexroad
11 hours ago |
247 comments
24
Lf-lean: The frontier of verified software engineering
(theorem.dev)
by
alpaylan
5 days ago |
6 comments
7
Zenclora OS
(zenclora.org)
by
debo_
32 minutes ago |
1 comments
343
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
20
Jepsen: MariaDB Galera Cluster 12.1.2
(jepsen.io)
by
aphyr
an hour ago |
2 comments
45
In space, no one can hear you kernel panic (2020)
(increment.com)
by
p0u4a
4 days ago |
4 comments
83
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
by
rmason
8 hours ago |
138 comments
383
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
223
Starlink Mini as a failover
(jackpearce.co.uk)
by
jkpe
21 hours ago |
172 comments
21
Pyodide: a Python distribution based on WebAssembly
(github.com)
by
tosh
3 days ago |
8 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 |
425 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 |
35 comments
1397
Polymarket gamblers threaten to kill me over Iran missile story
(timesofisrael.com)
by
defly
17 hours ago |
906 comments
266
Home Assistant waters my plants
(finnian.io)
by
finniananderson
5 days ago |
134 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
200
Show HN: Claude Code skills that build complete Godot games
(github.com)
by
htdt
13 hours ago |
129 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
101
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