Hacker News

91.		IKOS a static analyzer for C/C++ based on the theory of Abstract Interpretation (github.com/nasa-sw-vnv)
		15 points by u1hcw9nx 18 hours ago \| hide \| discuss
92.		The Microstructure of Wealth Transfer in Prediction Markets (jbecker.dev)
		133 points by jonbecker 13 hours ago \| hide \| 119 comments
93.		Fix macOS 26 (Tahoe) exaggerated rounded corners (github.com/makalin)
		52 points by guessmyname 9 hours ago \| hide \| 37 comments
94.		Command-line Tools can be 235x Faster than your Hadoop Cluster (2014) (adamdrake.com)
		400 points by tosh 1 day ago \| hide \| 276 comments
95.		Gas Town Decoded (alilleybrinker.com)
		203 points by alilleybrinker 1 day ago \| hide \| 217 comments
96.		Study: Minimal evidence links social media, gaming to teen mental health issues (manchester.ac.uk)
		34 points by giuliomagnifico 8 hours ago \| hide \| 47 comments
97.		DeepSeek kicked off 2026 with a new AI training method for scaling (businessinsider.com)
		7 points by quietproof 3 hours ago \| hide \| discuss
98.		Threads edges out X in daily mobile users, new data shows (techcrunch.com)
		143 points by toomanyrichies 9 hours ago \| hide \| 143 comments
99.		Bzfs 1.17.0 near real-time ZFS replication tool is out (github.com/whoschek)
		14 points by werwolf 10 hours ago \| hide \| 4 comments
100.		Why I Stopped Using Nbdev (hamel.dev)
		4 points by enzojean 10 hours ago \| hide \| discuss
101.		Simulating the Ladybug Clock Puzzle (austinhenley.com)
		45 points by azhenley 1 day ago \| hide \| 16 comments
102.		Starting from scratch: Training a 30M Topological Transformer (tuned.org.uk)
		138 points by tuned 1 day ago \| hide \| 57 comments
103.		Software engineers can no longer neglect their soft skills (qu8n.com)
		221 points by quanwinn 1 day ago \| hide \| 274 comments
104.		RISC-V is coming along quite speedily: Milk-V Titan Mini-ITX 8-core board (tomshardware.com)
		76 points by fork-bomber 19 hours ago \| hide \| 47 comments
105.		Uber Pushes to Cap Personal Injury “Billboard” Lawyer Payouts A.G. 25-0022 [pdf] (ca.gov)
		8 points by sizzle 4 hours ago \| hide \| discuss
106.		Show HN: AWS-doctor – A terminal-based AWS health check and cost optimizer in Go (github.com/elc0mpa)
		50 points by elC0mpa 1 day ago \| hide \| 20 comments
107.		How to wrangle non-deterministic AI outputs into conventional software? (2025) (domainlanguage.com)
		40 points by druther 1 day ago \| hide \| 34 comments
108.		Poking holes into bytecode with peephole optimisations (xnacly.me)
		35 points by xnacly 1 day ago \| hide \| 2 comments
109.		Cardputer uLisp Machine (2024) (ulisp.com)
		55 points by tosh 1 day ago \| hide \| 5 comments
110.		The Overcomplexity of the Shadcn Radio Button (paulmakeswebsites.com)
		8 points by todsacerdoti 10 hours ago \| hide \| 3 comments
111.		Nuclear elements detected in West Philippine Sea (philstar.com)
		85 points by ksec 18 hours ago \| hide \| 32 comments
112.		Agent Psychosis: Are We Going Insane? (pocoo.org)
		107 points by todsacerdoti 1 day ago \| hide \| 25 comments
113.		The longest Greek word (wikipedia.org)
		185 points by firloop 2 days ago \| hide \| 90 comments
114.		The recurring dream of replacing developers (caimito.net)
		619 points by glimshe 2 days ago \| hide \| 510 comments
115.		Cataloging Failed VC-Backed Startups and Re-Evaluating Them in 2026 (loot-drop.vercel.app)
		13 points by manthangupta109 20 hours ago \| hide \| 2 comments
116.		Ask HN: Share your personal website
		940 points by susam 5 days ago \| hide \| 2375 comments
117.		Xous Operating System (xous.dev)
		177 points by eustoria 2 days ago \| hide \| 66 comments
118.		/R/selfhosted limits vibecoded apps (reddit.com)
		64 points by mlrtime 18 hours ago \| hide \| 17 comments
119.		Overlapping Markup (wikipedia.org)
		66 points by ripe 1 day ago \| hide \| 10 comments
120.		Prediction markets are ushering in a world in which news becomes about gambling (msn.com)
		227 points by krustyburger 1 day ago \| hide \| 247 comments
		More

HN For You