2026-07-29 front | Hacker News

Stories from July 29, 2026

Go back a day, month, or year. Go forward a day.

61.		Show HN: Lean4 Datalog DSL Based on Google Zanzibar for AI Projects (github.com/jagg-ix)
		18 points by kbradero 5 days ago \| 2 comments
62.		GitHub is the wrong shape for this new world (depot.dev)
		56 points by emschwartz 4 days ago \| 45 comments
63.		Staging patches with git add (2024) (simonholywell.com)
		34 points by ankitg12 8 days ago \| 52 comments
64.		[dupe] Superlogical (mitchellh.com)
		150 points by tambourine_man 4 days ago \| 3 comments
65.		Toolcraft (toolcraft.sh)
		55 points by handfuloflight 5 days ago \| 9 comments
66.		ALP: Adaptive lossless floating-point compression (github.com/cwida)
		34 points by fanf2 8 days ago \| 4 comments
67.		Valve Sponsors Work Bringing Open-Source RADV Driver to Windows (phoronix.com)
		69 points by DemiGuru 4 days ago \| 35 comments
68.		Theo Conjecture solves 35-year-old math problem, finds a term no one predicted (firstprinciples.com)
		35 points by otalp 4 days ago \| 9 comments
69.		Learning Musical Multitasking (jefftk.com)
		34 points by surprisetalk 9 days ago \| 21 comments
70.		[flagged] Choose DuckDB rather than SQLite (tracewayapp.com)
		87 points by rubenvanwyk 4 days ago \| 57 comments
71.		[flagged] TokenTown: A visual way to understand how LLMs work (laurentiugabriel.github.io)
		73 points by laurentiurad 4 days ago \| 21 comments
72.		Chip stocks slide in US and Asia as AI jitters rattle investors (bbc.com)
		74 points by yogthos 5 days ago \| 51 comments
73.		After the AI Crash (potsandpansbyccg.com)
		128 points by sysoleg 4 days ago \| 236 comments
74.		National Security Determination Threat Posed by Foreign-Produced Robotic Devices [pdf] (fcc.gov)
		74 points by ellingsworth 4 days ago \| 70 comments
75.		Show HN: Bullshit Detector – agent skills that fact-check videos and articles (github.com/serhiikorniienko)
		65 points by skorniienko 4 days ago \| 68 comments
76.		The only road in London where you have to drive on the right (mylondon.news)
		39 points by theanonymousone 5 days ago \| 73 comments
77.		Who the welfare state protects shapes a country’s financial openness (ecpr.eu)
		42 points by kome 4 days ago \| 65 comments
78.		Google shuts down Nobel Prize winning AlphaFold (engadget.com)
		98 points by NordStreamYacht 4 days ago \| 45 comments
79.		Show HN: Echologue – the private AI voice journal I built for myself (echologue.com)
		29 points by arisAlexis 4 days ago \| 13 comments
80.		Kalshi attacks a Wisconsin law banning election bets as 'voter suppression' (npr.org)
		91 points by hn_acker 4 days ago \| 76 comments
81.		Show HN: Write, simulate and synthesize VHDL/Verilog in the browser (risingedge.pro)
		19 points by wozniakpawel 10 days ago \| 4 comments
82.		The motion-sickness cure hidden in iPhone settings (bbc.com)
		56 points by saikatsg 4 days ago \| 32 comments
83.		ChatGPT claims rogue AI attacked more companies (bbc.co.uk)
		48 points by osrec 5 days ago \| 83 comments
84.		Show HN: Learning Rust by writing a Markdown to HTML compiler (andreadimatteo.com)
		25 points by deotman 5 days ago \| 3 comments
85.		Industry Brief: Private 5G for Manufacturing and Industrial Sites [pdf] (framerusercontent.com)
		12 points by y2so 5 days ago \| 5 comments
86.		Apple's hostile App Store rating system (lapcatsoftware.com)
		72 points by zdw 4 days ago \| 122 comments
87.		Ask HN: My domain registrar rug-pulled me for $3000 [fixed]
		64 points by shrinks99 4 days ago \| 59 comments
88.		Fixing a bug with byte order marks (alexwlchan.net)
		6 points by surprisetalk 10 days ago \| 10 comments
89.		PGSimCity – an explorable 3D model that shows how Postgres works (github.com/nikolays)
		38 points by samokhvalov 7 days ago \| 3 comments
90.		CipherX applies painless permanent tattoos with dissolving microneedle patches (designboom.com)
		30 points by surprisetalk 4 days ago \| 46 comments
		More

HN For You