Hacker News

121.		Icons in Menus Everywhere – Send Help (jim-nielsen.com)
		825 points by ArmageddonIt 2 days ago \| hide \| 329 comments
122.		The Z3 Theorem Prover (github.com/z3prover)
		33 points by benoitg 1 day ago \| hide \| 2 comments
123.		Constructing the Word's First JPEG XL MD5 Hash Quine (stackchk.fail)
		128 points by luispa 2 days ago \| hide \| 22 comments
124.		Rust in the kernel is no longer experimental (lwn.net)
		944 points by rascul 1 day ago \| hide \| 769 comments
125.		Donating the Model Context Protocol and establishing the Agentic AI Foundation (anthropic.com)
		286 points by meetpateltech 1 day ago \| hide \| 132 comments
126.		10 Years of Let's Encrypt (letsencrypt.org)
		801 points by SGran 1 day ago \| hide \| 339 comments
127.		My First Language Front End with LLVM Tutorial (llvm.org)
		15 points by hybridtupel 1 day ago \| hide \| discuss
128.		Show HN: I built a system for active note-taking in regular meetings like 1-1s (withdocket.com)
		171 points by davnicwil 2 days ago \| hide \| 130 comments
129.		Federal Reserve cuts rates to 3-year low after fractious meeting (ft.com)
		6 points by kaycebasques 1 hour ago \| hide \| 1 comment
130.		Using extended attributes to tag files (alexlance.blog)
		4 points by alance 12 hours ago \| hide \| 2 comments
131.		Operando interlayer expansion of curved graphene for dense supercapacitors (nature.com)
		32 points by westurner 1 day ago \| hide \| 3 comments
132.		Bad Dye Job (daringfireball.net)
		254 points by mpweiher 3 days ago \| hide \| 121 comments
133.		Epsilon: A WASM virtual machine written in Go (github.com/ziggy42)
		150 points by ziggy42 2 days ago \| hide \| 41 comments
134.		The ultra-rich are claiming an increasing share of global wealth (lemonde.fr)
		68 points by geox 17 hours ago \| hide \| 59 comments
135.		Proton now has an end-to-end encrypted spreadsheet app (theverge.com)
		9 points by austinallegro 6 hours ago \| hide \| discuss
136.		Unrolling Loops (xania.org)
		15 points by brewmarche 1 day ago \| hide \| discuss
137.		Launch HN: Mentat (YC F24) – Controlling LLMs with Runtime Intervention
		52 points by cgorlla 1 day ago \| hide \| 34 comments
138.		Data Infrastructure for All: Free Kafka and $5 PostgreSQL (aiven.io)
		30 points by alanfranz 1 day ago \| hide \| 2 comments
139.		Malaysia uncovers $1B in power theft losses from illegal crypto mining (theblock.co)
		28 points by walterbell 14 hours ago \| hide \| discuss
140.		Show HN: Fanfa – Interactive and animated Mermaid diagrams (fanfa.dev)
		151 points by bairess 2 days ago \| hide \| 33 comments
141.		China Vows to Stabilize Property Market as Crisis Deepens (bloomberg.com)
		5 points by toomuchtodo 1 hour ago \| hide \| 1 comment
142.		So you want to speak at software conferences? (dylanbeattie.net)
		235 points by speckx 1 day ago \| hide \| 127 comments
143.		30 Year Anniversary of WarCraft II: Tides of Darkness (jorsys.org)
		267 points by sjoblomj 2 days ago \| hide \| 196 comments
144.		A supersonic engine core makes the perfect power turbine (boomsupersonic.com)
		171 points by simonebrunozzi 1 day ago \| hide \| 284 comments
145.		We Need to Die (willllliam.com)
		103 points by ericzawo 1 day ago \| hide \| 174 comments
146.		Flow: Actor-based language for C++, used by FoundationDB (github.com/apple)
		188 points by SchwKatze 3 days ago \| hide \| 53 comments
147.		After NPR and PBS defunding, FCC receives call to take away station licenses (arstechnica.com)
		57 points by Bender 18 hours ago \| hide \| 4 comments
148.		Italy's longest-serving barista reflects on six decades behind the counter (reuters.com)
		284 points by NaOH 1 day ago \| hide \| 168 comments
149.		OpenEvolve: Teaching LLMs to Discover Algorithms Through Evolution (algorithmicsuperintelligence.ai)
		53 points by codelion 1 day ago \| hide \| 9 comments
150.		Glyphosate safety article retracted 8 years after Monsanto ghostwriting revealed (retractionwatch.com)
		63 points by robtherobber 23 hours ago \| hide \| 2 comments
		More