Classic | Hacker News

1.		Lean proved this program correct; then I found a bug (kirancodes.me)
		87 points by bumbledraven 1 hour ago \| 45 comments
2.		Someone bought 30 WordPress plugins and planted a backdoor in all of them (anchor.host)
		702 points by speckx 8 hours ago \| 198 comments
3.		GitHub Stacked PRs (github.github.com)
		433 points by ezekg 5 hours ago \| 252 comments
4.		Nothing Ever Happens: Polymarket bot that always buys No on non-sports markets (github.com/sterlingcrispin)
		357 points by m-hodges 10 hours ago \| 175 comments
5.		GAIA – Open-source framework for building AI agents that run on local hardware (amd-gaia.ai)
		100 points by galaxyLogic 6 hours ago \| 24 comments
6.		I Just Want Simple S3 (feld.me)
		106 points by g0xA52A2A 8 hours ago \| 60 comments
7.		Building a CLI for all of Cloudflare (cloudflare.com)
		259 points by soheilpro 10 hours ago \| 84 comments
8.		If you started a company two years ago, many assumptions are no longer true (steveblank.com)
		142 points by tie-in 8 hours ago \| 110 comments
9.		N-Day-Bench – Can LLMs find real vulnerabilities in real codebases? (winfunc.com)
		36 points by mufeedvh 4 hours ago \| 10 comments
10.		Show HN: Ithihāsas – a character explorer for Hindu epics, built in a few hours (ithihasas.in)
		109 points by cvrajeesh 7 hours ago \| 24 comments
11.		Android now stops you sharing your location in photos (shkspr.mobi)
		304 points by edent 14 hours ago \| 273 comments
12.		Visualizing CPU Pipelining (2024) (timmastny.com)
		61 points by flipacholas 7 hours ago \| 9 comments
13.		Servo is now available on crates.io (servo.org)
		427 points by ffin 14 hours ago \| 138 comments
14.		Tracking down a 25% Regression on LLVM RISC-V (kaving.me)
		99 points by luu 10 hours ago \| 19 comments
15.		Introduction to Obsidian (bryanhogan.com)
		154 points by bryanhogan 8 hours ago \| 103 comments
16.		The Future of Everything Is Lies, I Guess: Safety (aphyr.com)
		281 points by aphyr 9 hours ago \| 156 comments
17.		How to make Firefox builds 17% faster (farre.se)
		135 points by mbitsnbites 7 hours ago \| 20 comments
18.		Make tmux pretty and usable (2024) (hamvocke.com)
		316 points by speckx 11 hours ago \| 203 comments
19.		This year’s insane timeline of hacks (ringmast4r.substack.com)
		284 points by laurex 11 hours ago \| 169 comments
20.		The economics of software teams: Why most engineering orgs are flying blind (viktorcessan.com)
		390 points by kiyanwang 20 hours ago \| 258 comments
21.		I ran Gemma 4 as a local model in Codex CLI (danielvaughan.com)
		246 points by dvaughan 1 day ago \| 101 comments
22.		US appeals court declares 158-year-old home distilling ban unconstitutional (nypost.com)
		300 points by t-3 12 hours ago \| 230 comments
23.		All elementary functions from a single binary operator (arxiv.org)
		799 points by pizza 1 day ago \| 250 comments
24.		MEMS Array Chip Can Project Video the Size of a Grain of Sand (ieee.org)
		78 points by bookofjoe 11 hours ago \| 36 comments
25.		The looming college-enrollment death spiral (theatlantic.com)
		93 points by JumpCrisscross 6 hours ago \| 109 comments
26.		Michigan 'digital age' bills pulled after privacy concerns raised (thecentersquare.com)
		205 points by iamnothere 14 hours ago \| 115 comments
27.		Microsoft isn't removing Copilot from Windows 11, it's just renaming it (neowin.net)
		331 points by bundie 12 hours ago \| 244 comments
28.		Show HN: Claudraband – Claude Code for the Power User (github.com/halfwhey)
		117 points by halfwhey 1 day ago \| 42 comments
29.		Apple's accidental moat: How the "AI Loser" may end up winning (adlrocha.substack.com)
		401 points by walterbell 23 hours ago \| 354 comments
30.		DIY Soft Drinks (blinry.org)
		703 points by _Microft 1 day ago \| 218 comments
		More