Login
故事
< prev
page 1
more >
Loading...
463
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
11 hours ago |
94 comments
23
The unlikely story of Teardown Multiplayer
(blog.voxagon.se)
by
lairv
4 days ago |
3 comments
419
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
by
hahahacorn
14 hours ago |
183 comments
395
The “small web” is bigger than you might think
(kevinboone.me)
by
speckx
15 hours ago |
167 comments
24
Gitana 18: the new flying Ultim trimaran
(boatnews.com)
by
divbzero
4 days ago |
3 comments
551
US SEC preparing to scrap quarterly reporting requirement
(reuters.com)
by
djoldman
8 hours ago |
303 comments
176
Every layer of review makes you 10x slower
(apenwarr.ca)
by
greyface-
5 hours ago |
79 comments
62
Sci-Fi Short Film “There Is No Antimemetics Division” [video]
(youtube.com)
by
Anon84
4 days ago |
8 comments
395
Kagi Translate now supports LinkedIn Speak as an output language
(translate.kagi.com)
by
smitec
3 hours ago |
102 comments
324
The American Healthcare Conundrum
(github.com)
by
rexroad
15 hours ago |
279 comments
99
Monkey Island for Commodore 64 Ground Up
(pixeldust.se)
by
aresant
4 hours ago |
25 comments
363
My Journey to a reliable and enjoyable locally hosted voice assistant (2025)
(community.home-assistant.io)
by
Vaslo
19 hours ago |
103 comments
56
Pyodide: a Python distribution based on WebAssembly
(github.com)
by
tosh
4 days ago |
21 comments
4
Show HN: Droeftoeter, a Terminal Coding Toy
(github.com)
by
whtspc64
4 days ago |
2 comments
115
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
by
rmason
11 hours ago |
210 comments
61
Claude Tips for 3D Work
(davesnider.com)
by
snide
4 days ago |
12 comments
412
Why I love FreeBSD
(it-notes.dragas.net)
by
enz
21 hours ago |
198 comments
58
In space, no one can hear you kernel panic (2020)
(increment.com)
by
p0u4a
4 days ago |
7 comments
98
Show HN: Oxyde – Pydantic-native async ORM with a Rust core
(github.com)
by
mr_Fatalyst
4 days ago |
51 comments
249
Starlink Mini as a failover
(jackpearce.co.uk)
by
jkpe
a day ago |
185 comments
73
Show HN: Thermal Receipt Printers – Markdown and Web UI
(github.com)
by
howlett
4 days ago |
25 comments
63
Jepsen: MariaDB Galera Cluster 12.1.2
(jepsen.io)
by
aphyr
4 hours ago |
6 comments
271
AirPods Max 2
(apple.com)
by
ssijak
19 hours ago |
450 comments
1464
Polymarket gamblers threaten to kill me over Iran missile story
(timesofisrael.com)
by
defly
20 hours ago |
931 comments
106
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)
(arxiv.org)
by
wek
15 hours ago |
58 comments
242
Lies I was told about collaborative editing, Part 2: Why we don't use Yjs
(moment.dev)
by
antics
4 days ago |
109 comments
240
Show HN: Claude Code skills that build complete Godot games
(github.com)
by
htdt
16 hours ago |
145 comments
AnswerThis (YC F25) Is Hiring
(ycombinator.com)
AnswerThis (YC F25) Is Hiring
job
89
Language model teams as distributed systems
(arxiv.org)
by
jryio
15 hours ago |
39 comments
124
The bureaucracy blocking the chance at a cure
(writingruxandrabio.com)
by
item
2 days ago |
147 comments