Hackernews posts about EDA
- EDA Market Primer – Market Dynamics, Cadence, Synopsys, Siemens (newsletter.semianalysis.com)
- Verifying EDA and compiler optimizations once and for all (samuelcoward.co.uk)
- Show HN: deterministic oracle for hardware designs with replayable proofs (suprastructure.net)
- Claude Code Connected to Apple Car Play and Android Auto [video] (www.youtube.com)
- Hardware Attestation as Monopoly Enabler (grapheneos.social)
- The Emacsification of Software (sockpuppet.org)
- Disney erased FiveThirtyEight (www.natesilver.net)
- ASML became the chokepoint for cutting-edge chips (worksinprogress.co)
- Princeton mandates proctoring for in-person exams, upending 133 year precedent (www.dailyprincetonian.com)
- Scorched Earth 2000 – Web (www.scorch2000.com)
- Idempotency is easy until the second request is different (blog.dochia.dev)
- AI eats the world (Spring 26) [pdf] (static1.squarespace.com)
- Apocalypse Early Warning System (ews.kylemcdonald.net)
- Easyduino: Open Source PCB Devboards for KiCad (github.com)
- Reimagining the mouse pointer for the AI era (deepmind.google)
- Hyperpolyglot Lisp: Common Lisp, Racket, Clojure, Emacs Lisp (hyperpolyglot.org)
- How far behind is each major Chromium browser? (chromium-drift.pages.dev)
- Eka’s robotic claw feels like we're approaching a ChatGPT moment (www.wired.com)
- Earth is now heating up twice as fast as in previous decades (www.newscientist.com)
- Intro to TLA+ for the LLM Era: Prompt Your Way to Victory (emptysqua.re)
- Making your own programming language is easier than you think (but also harder) (lisyarus.github.io)