Hacker News

271.		Principia Mathematica is modern and insightful (okmij.org)
		278 points by matt_d 3 days ago \| hide \| 155 comments
272.		Ask HN: How do you keep up with HN these days?
		83 points by simonebrunozzi 1 day ago \| hide \| 140 comments
273.		Learn electronics by making your own circuit simulator in Python (spicycircuits.dev)
		5 points by pkoird 1 day ago \| hide \| discuss
274.		In Australia, a home battery boom has helped cut wholesale power prices (yale.edu)
		354 points by speckx 2 days ago \| hide \| 311 comments
275.		Worms: The Future of Yesterday's Worms Today (worm.net)
		175 points by doener 4 days ago \| hide \| 55 comments
276.		Stop sending me huge PRs; a rant (getsmall.xyz)
		146 points by trezm 1 day ago \| hide \| 104 comments
277.		an ambiguity in C89 which will never be fixed (sebsite.pw)
		72 points by runningmike 3 days ago \| hide \| 46 comments
278.		The Conceptual Reasoning Index (anthropic.com)
		78 points by optimalsolver 3 days ago \| hide \| 54 comments
279.		France's top court blocks social media ban for under-15s (reuters.com)
		236 points by BlueBerry2001 2 days ago \| hide \| 175 comments
280.		Stealing Reasoning Traces from Proprietary LLM APIs (stolen-thoughts.com)
		696 points by quantumgarbage 5 days ago \| hide \| 307 comments
281.		ICTP Announces 2026 Dirac Medal Recipients (Physics) (ictp.it)
		17 points by rramadass 2 days ago \| hide \| 1 comment
282.		Tim King, AmigaDOS developer, has died (amiga-news.de)
		301 points by doener 4 days ago \| hide \| 39 comments
283.		Show HN: MCP Memory – Fast Agent Memory Using Google's OKF and SQLite FTS5 (github.com/fellowgeek)
		68 points by pcbmaker20 3 days ago \| hide \| 35 comments
284.		Smooth Move: Taming Trajectories with Polynomials (zoic.org)
		30 points by lioeters 3 days ago \| hide \| 1 comment
285.		Come for ENIAC, Stay for UNIVAC and Skeduflo (uniqueatpenn.wordpress.com)
		60 points by cainxinth 3 days ago \| hide \| 22 comments
286.		Who's Tracking You? Use This New Service to Find Out (krebsonsecurity.com)
		20 points by DemiGuru 2 days ago \| hide \| discuss
287.		US conducted mass spying campaign against leftwing and anti-ICE protesters (theguardian.com)
		274 points by magic_interface 2 days ago \| hide \| 100 comments
288.		The Human Is the Loop (brentfitzgerald.com)
		197 points by burnto 4 days ago \| hide \| 89 comments
289.		A shell exclamation mark is not for yelling. Be lazy (refp.se)
		168 points by refp 4 days ago \| hide \| 78 comments
290.		The Unreasonable Effectiveness of Property Testing for Validating Formal Specs (proofsandintuitions.net)
		5 points by _doctor_love 1 day ago \| hide \| discuss
291.		Show HN: Between Tokens – an interactive piece where you are the language model (chrisjz.github.io)
		9 points by chrisjz 1 day ago \| hide \| 3 comments
292.		Single log line is 49KB+ (ext4) / 110KB+ (btrfs) of systemd-journald disk writes (github.com/systemd)
		259 points by ValdikSS 3 days ago \| hide \| 222 comments
293.		Credibility is the barrier to entry in silicon (siliconimist.com)
		42 points by johncole 2 days ago \| hide \| 25 comments
294.		Grok 4.6 (x.ai)
		631 points by iLuddite 4 days ago \| hide \| 614 comments
295.		Awesome CAD – Curated List of Open-Source CAD Projects (github.com/mlightcad)
		10 points by peter_d_sherman 1 day ago \| hide \| discuss
296.		I want extern "fil-C" (domenkozar.com)
		72 points by domenkozar 2 days ago \| hide \| 39 comments
297.		How Organizations Use AI: Evidence from ChatGPT [pdf] (cdn.openai.com)
		125 points by malshe 3 days ago \| hide \| 111 comments
298.		Engineers will do anything to avoid learning from history (horn.gg)
		170 points by madrox 1 day ago \| hide \| 110 comments
299.		Geek Fighter – 2d fighter game (geek-fighter.vercel.app)
		57 points by tareqismail 1 day ago \| hide \| 30 comments
300.		Go is an ideal language for AI-assisted software engineering (googleblog.com)
		439 points by 0xedb 5 days ago \| hide \| 540 comments
		More