Hacker News

1.		Lean proved this program correct; then I found a bug (kirancodes.me)
		66 points by bumbledraven 1 hour ago \| hide \| 14 comments
2.		Someone bought 30 WordPress plugins and planted a backdoor in all of them (anchor.host)
		680 points by speckx 7 hours ago \| hide \| 191 comments
3.		GitHub Stacked PRs (github.github.com)
		413 points by ezekg 5 hours ago \| hide \| 243 comments
4.		WiiFin – Jellyfin Client for Nintendo Wii (github.com/fabienmillet)
		47 points by throwawayk7h 2 hours ago \| hide \| 9 comments
5.		Nothing Ever Happens: Polymarket bot that always buys No on non-sports markets (github.com/sterlingcrispin)
		355 points by m-hodges 10 hours ago \| hide \| 174 comments
6.		How to make Firefox builds 17% faster (farre.se)
		135 points by mbitsnbites 6 hours ago \| hide \| 17 comments
7.		(AMD) Build AI Agents That Run Locally (amd-gaia.ai)
		94 points by galaxyLogic 6 hours ago \| hide \| 24 comments
8.		An Introduction to Obsidian (bryanhogan.com)
		146 points by bryanhogan 7 hours ago \| hide \| 96 comments
9.		Servo is now available on crates.io (servo.org)
		421 points by ffin 13 hours ago \| hide \| 137 comments
10.		Building a CLI for All of Cloudflare (cloudflare.com)
		257 points by soheilpro 9 hours ago \| hide \| 81 comments
11.		Write less code, be more responsible (orhun.dev)
		15 points by orhunp_ 2 hours ago \| hide \| 10 comments
12.		Design and Implementation of DuckDB Internals (duckdb.org)
		6 points by mpweiher 1 hour ago \| hide \| 3 comments
13.		Show HN: Ithihāsas – a character explorer for Hindu epics, built in a few hours (ithihasas.in)
		97 points by cvrajeesh 6 hours ago \| hide \| 24 comments
14.		I Just Want Simple S3 (feld.me)
		99 points by g0xA52A2A 8 hours ago \| hide \| 53 comments
15.		What We Learned Building a Rust Runtime for TypeScript (encore.dev)
		40 points by vinhnx 4 hours ago \| hide \| 9 comments
16.		N-Day-Bench – Can LLMs find real vulnerabilities in real codebases? (winfunc.com)
		32 points by mufeedvh 3 hours ago \| hide \| 10 comments
17.		Air Powered Segment Display? [video] (youtube.com)
		34 points by ProfDreamer 4 hours ago \| hide \| 7 comments
18.		Tracking down a 25% Regression on LLVM RISC-V (kaving.me)
		98 points by luu 9 hours ago \| hide \| 19 comments
19.		Mathematical Minimalism (johndcook.com)
		24 points by chmaynard 4 hours ago \| hide \| 1 comment
20.		Visualizing CPU Pipelining (2024) (timmastny.com)
		59 points by flipacholas 7 hours ago \| hide \| 9 comments
21.		B-trees and database indexes (2024) (planetscale.com)
		82 points by tosh 8 hours ago \| hide \| 34 comments
22.		Why it's impossible to measure England's coastline (bbc.com)
		11 points by BiraIgnacio 1 hour ago \| hide \| 8 comments
23.		Tokens – The New Dopamine Economy (enfuse.io)
		9 points by jesol 3 hours ago \| hide \| 1 comment
24.		Just Enough Chimera Linux (dwarmstrong.org)
		42 points by speckx 6 hours ago \| hide \| 8 comments
25.		If you started a company two years ago, many assumptions are no longer true (steveblank.com)
		134 points by tie-in 8 hours ago \| hide \| 105 comments
26.		New Orleans's Car-Crash Conspiracy (newyorker.com)
		65 points by Geekette 7 hours ago \| hide \| 32 comments
27.		MEMS Array Chip Can Project Video the Size of a Grain of Sand (ieee.org)
		78 points by bookofjoe 11 hours ago \| hide \| 36 comments
28.		Make tmux pretty and usable (2024) (hamvocke.com)
		310 points by speckx 10 hours ago \| hide \| 201 comments
29.		Show HN: Continual Learning with .md (github.com/sunandclouds)
		18 points by wenhan_zhou 4 hours ago \| hide \| 9 comments
30.		Stanford report highlights growing disconnect between AI insiders and everyone (techcrunch.com)
		205 points by ZeidJ 4 hours ago \| hide \| 263 comments
		More