Login
故事
< prev
page 4
more >
Loading...
770
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
2 days ago |
188 comments
300
Ryugu asteroid samples contain all DNA and RNA building blocks
(phys.org)
by
bookofjoe
a day ago |
163 comments
44
Robotocore · a Digital Twin of AWS
(github.com)
by
pkaeding
20 hours ago |
8 comments
259
Java 26 is here
(hanno.codes)
by
mfiguiere
a day ago |
285 comments
216
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
by
rmason
2 days ago |
569 comments
75
Show HN: Horizon – GPU-accelerated infinite-canvas terminal in Rust
(github.com)
by
petersunde
a day ago |
31 comments
17
Aggregated File System (AGFS), a modern tribute to the spirit of Plan 9
(github.com)
by
ngaut
4 days ago |
9 comments
554
Every layer of review makes you 10x slower
(apenwarr.ca)
by
greyface-
2 days ago |
309 comments
324
Show HN: Claude Code skills that build complete Godot games
(github.com)
by
htdt
2 days ago |
197 comments
10
Meta is shutting down VR social platform Horizon Worlds
(cnbc.com)
by
gscott
6 hours ago |
discuss
234
Meta Horizon Worlds on Meta Quest is being discontinued
(communityforums.atmeta.com)
by
par
a day ago |
254 comments
317
Meta and TikTok let harmful content rise to drove engagement, say whistleblowers
(bbc.com)
by
1vuio0pswjnm7
a day ago |
190 comments
283
Illinois Introducing Operating System Account Age Bill
(ilga.gov)
by
terminalbraid
a day ago |
427 comments
11
DarkSword: iOS Exploit Chain Adopted by Multiple Threat Actors
(cloud.google.com)
by
skilled
6 hours ago |
1 comments
1001
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
(michaelgeist.ca)
by
opengrass
3 days ago |
331 comments
15
Stop spending money on Claude, Chipotle's chat bot is free
(reddit.com)
by
m4tthumphrey
3 hours ago |
discuss
21
UC Irvine researchers bring down AI powered drones with painted umbrellas
(arxiv.org)
by
jcalvinowens
20 hours ago |
7 comments
179
Reverse-engineering Viktor and making it open source
(matijacniacki.com)
by
zggf
2 days ago |
81 comments
220
Lazycut: A simple terminal video trimmer using FFmpeg
(github.com)
by
masterpos
2 days ago |
64 comments
430
Give Django your time and money, not your tokens
(better-simple.com)
by
dcreager
2 days ago |
168 comments
511
Meta’s renewed commitment to jemalloc
(engineering.fb.com)
by
hahahacorn
2 days ago |
239 comments
542
The “small web” is bigger than you might think
(kevinboone.me)
by
speckx
2 days ago |
227 comments
80
Switzerland Built an Alternative to BGP
(theregister.com)
by
jonbaer
16 hours ago |
19 comments
19
Duranium: A More Reliable PostmarketOS
(postmarketos.org)
by
nikodunk
21 hours ago |
4 comments
240
GPT‑5.4 Mini and Nano
(openai.com)
by
meetpateltech
a day ago |
143 comments
270
Node.js needs a virtual file system
(blog.platformatic.dev)
by
voctor
a day ago |
235 comments
736
Corruption erodes social trust more in democracies than in autocracies
(frontiersin.org)
by
PaulHoule
2 days ago |
385 comments
210
OpenSUSE Kalpa
(kalpadesktop.org)
by
ogogmad
a day ago |
102 comments
517
The American Healthcare Conundrum
(github.com)
by
rexroad
2 days ago |
628 comments
152
The bureaucracy blocking the chance at a cure
(writingruxandrabio.com)
by
item
3 days ago |
174 comments