Hacker News | Kails

Terence Tao: Formalizing a proof in Lean using Claude Code [video]
by helloplanets2 days ago| 1 comments
54
The surprising whimsy of the Time Zone Database
by jprs3 days ago| 69 comments
183
The shady world of IP leasing
by alibarber4 days ago| 103 comments
145
US added more solar than any other technology in 2025, but is down 14% from 2024
by epistasis7 hours ago| 4 comments
10
1,300-pound NASA satellite will crash to Earth on March 10
by Brajeshwar16 hours ago| 0 comments
10
Treat Agent Output Like Compiler Output
by friscofoodiea day ago| 2 comments
4
Show HN: I gave my robot physical memory – it stopped repeating mistakes
by robotmema day ago| 4 comments
18
Global Warming Has Accelerated Significantly
by Noaidi4 days ago| 9 comments
59
What the EU's new industry and 'Made in Europe' rules mean for climate action
by doener16 hours ago| 0 comments
8
Show HN: Run 500B+ Parameter LLMs Locally on a Mac Mini
by fatihturker2 days ago| 9 comments
17
The Post-Copyright Era of Software
by nkkoa day ago| 0 comments
5
Re-architecting End-host Networking with CXL
by blakepelton12 hours ago| 0 comments
6
Show HN: Moongate – Ultima Online server emulator in .NET 10 with Lua scripting
by squidleon4 days ago| 164 comments
286
Russia-backed hackers breach Signal, WhatsApp accounts of officials, journalists
by 1vuio0pswjnm77 hours ago| 1 comments
9
Show HN: µJS, a 5KB alternative to Htmx and Turbo with zero dependencies
by amaury_bouchard4 days ago| 87 comments
158
Helix: A post-modern text editor
by doener4 days ago| 186 comments
342
CorridorKey – Perfect Green Screen Keys
by h4kor2 days ago| 0 comments
9
Ig Nobels to move awards to Europe due to concern over US travel visas
by sohkamyung12 hours ago| 0 comments
19
Nvidia backs AI data center startup Nscale as it hits $14.6B valuation
by voxadam2 days ago| 52 comments
52
Why is GPT-5.4 obsessed with Goblins?
by pants220 hours ago| 8 comments
13