Login
故事
< prev
page 8
more >
Loading...
780
Leanstral: Open-source agent for trustworthy coding and formal proof engineering
(mistral.ai)
by
Poudlardo
4 days ago |
192 comments
98
Democratic Backsliding Reaches Western Democracies, U.S. Decline "Unprecedented"
(v-dem.net)
by
geox
a day ago |
34 comments
11
'Great crackdown': Russia tightens the screws on the internet
(reuters.com)
by
consumer451
4 hours ago |
discuss
265
OpenAI Has New Focus (on the IPO)
(om.co)
by
aamederen
3 days ago |
255 comments
61
No AI in Node.js Core
(github.com)
by
porsager
a day ago |
35 comments
6
Shortage of Memory Chips Has Industry Scrambling (1988)
(nytimes.com)
by
rvnx
7 hours ago |
1 comments
1457
Kagi Translate now supports LinkedIn Speak as an output language
(translate.kagi.com)
by
smitec
4 days ago |
344 comments
134
World Happiness Report 2026
(worldhappiness.report)
by
ChrisArchitect
2 days ago |
108 comments
6
Rapper Afroman wins police lawsuit over mocking 2022 raid in music videos
(apnews.com)
by
cebert
3 hours ago |
discuss
172
Edge.js: Run Node apps inside a WebAssembly sandbox
(wasmer.io)
by
syrusakbary
3 days ago |
46 comments
337
Show HN: Claude Code skills that build complete Godot games
(github.com)
by
htdt
5 days ago |
205 comments
1003
Bill C-22, the Lawful Access Act: Dangerous backdoor surveillance risks remain
(michaelgeist.ca)
by
opengrass
5 days ago |
333 comments
53
Show HN: Browser grand strategy game for hundreds of players on huge maps
(borderhold.io)
by
sgolem
5 days ago |
36 comments
15
Peter Thiel's 'Steroid Olympics' Startup Wants to Sell You the Sketchy Peptides
(gizmodo.com)
by
ck2
11 hours ago |
8 comments
219
Beyond has dropped “meat” from its name and expanded its high-protein drink line
(plantbasednews.org)
by
rmason
4 days ago |
588 comments
106
A ngrok-style secure tunnel server written in Rust and Open Source
(github.com)
by
joaoh82
3 days ago |
36 comments
190
Tesla: Failure of the FSD's degradation detection system [pdf]
(static.nhtsa.gov)
by
doener
a day ago |
122 comments
5
Build knowledge agents without embeddings
(vercel.com)
by
rmason
8 hours ago |
discuss
81
Kagi is contemplating the removal of the assistant from its professional tier
(kagifeedback.org)
by
EbNar
3 days ago |
106 comments
179
Building a Shell
(healeycodes.com)
by
ingve
4 days ago |
39 comments
204
The math that explains why bell curves are everywhere
(quantamagazine.org)
by
ibobev
4 days ago |
124 comments
125
Show HN: Pgit – A Git-like CLI backed by PostgreSQL
(oseifert.ch)
by
ImGajeed76
4 days ago |
61 comments
469
Get Shit Done: A meta-prompting, context engineering and spec-driven dev system
(github.com)
by
stefankuehnel
3 days ago |
252 comments
274
Show HN: Will my flight have Starlink?
by
bblcla
2 days ago |
361 comments
55
Launch HN: Kita (YC W26) – Automate credit review in emerging markets
by
rheamalhotra1
3 days ago |
14 comments
41
A BEAM-native personal autonomous AI agent built on Elixir/OTP
(github.com)
by
ahamez
2 days ago |
1 comments
410
Death to Scroll Fade
(dbushell.com)
by
PaulHoule
3 days ago |
208 comments
37
A comprehensive database of categories and their properties
(catdat.app)
by
mathgenius
2 days ago |
1 comments
6
Microsoft update breaks internet access to Windows 11 Teams, Edge, OneDrive
(neowin.net)
by
binsquare
8 hours ago |
1 comments
17
Five more seated Gauls found in Dijon
(thehistoryblog.com)
by
speckx
a day ago |
discuss