Login
故事
< prev
page 3
more >
Loading...
760
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
2 days ago |
187 comments
213
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
by
rmason
2 days ago |
556 comments
534
Every layer of review makes you 10x slower
(apenwarr.ca)
by
greyface-
a day ago |
302 comments
15
Duranium: A More Reliable PostmarketOS
(postmarketos.org)
by
nikodunk
10 hours ago |
4 comments
95
Show HN: Antfly: Distributed, Multimodal Search and Memory and Graphs in Go
(github.com)
by
kingcauchy
19 hours ago |
38 comments
227
GPT‑5.4 Mini and Nano
(openai.com)
by
meetpateltech
18 hours ago |
138 comments
420
Give Django your time and money, not your tokens
(better-simple.com)
by
dcreager
2 days ago |
167 comments
313
Show HN: Claude Code skills that build complete Godot games
(github.com)
by
htdt
2 days ago |
193 comments
186
Pyodide: a Python distribution based on WebAssembly
(github.com)
by
tosh
5 days ago |
50 comments
44
The Plumbing of Everyday Magic
(plumbing-of-everyday-magic.hyperclay.com)
by
hannahilea
5 days ago |
3 comments
172
Reverse-engineering Viktor and making it open source
(matijacniacki.com)
by
zggf
a day ago |
72 comments
9
The Starving Time in Jamestown
(historytoday.com)
by
samclemens
5 days ago |
2 comments
74
Gummy Geometry
(newkrok.github.io)
by
memalign
5 days ago |
12 comments
11
UC Irvine researchers bring down AI powered drones with painted umbrellas
(arxiv.org)
by
jcalvinowens
9 hours ago |
2 comments
88
Toward automated verification of unreviewed AI-generated code
(peterlavigne.com)
by
peterlavigne
2 days ago |
83 comments
510
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
by
hahahacorn
2 days ago |
239 comments
537
The “small web” is bigger than you might think
(kevinboone.me)
by
speckx
2 days ago |
222 comments
217
Lazycut: A simple terminal video trimmer using FFmpeg
(github.com)
by
masterpos
2 days ago |
63 comments
995
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
(michaelgeist.ca)
by
opengrass
3 days ago |
331 comments
511
The American Healthcare Conundrum
(github.com)
by
rexroad
2 days ago |
610 comments
144
Speed at the cost of quality: Study of use of Cursor AI in open source projects (2025)
(arxiv.org)
by
wek
2 days ago |
77 comments
731
Corruption erodes social trust more in democracies than in autocracies
(frontiersin.org)
by
PaulHoule
2 days ago |
386 comments
148
The bureaucracy blocking the chance at a cure
(writingruxandrabio.com)
by
item
3 days ago |
170 comments
17
Video Encoding and Decoding with Vulkan Compute Shaders in FFmpeg
(khronos.org)
by
AshleysBrain
15 hours ago |
1 comments
3
You have to earn your calculator
(matthiasplappert.com)
by
sherlock_h
3 hours ago |
1 comments
115
Show HN: Thermal Receipt Printers – Markdown and Web UI
(github.com)
by
howlett
5 days ago |
48 comments
8
I Don't Know, Timmy, Being God Is a Big Responsibility
(qntm.org)
by
stickynotememo
12 hours ago |
1 comments
102
Language model teams as distributed systems
(arxiv.org)
by
jryio
2 days ago |
46 comments
514
Why I love FreeBSD
(it-notes.dragas.net)
by
enz
2 days ago |
258 comments
30
As of today, Brazil requires identity verification to use social media
(twitter.com)
by
absqueued
11 hours ago |
4 comments