Hackernews posts about SPMC

  1. A sufficiently detailed spec is code (haskellforall.com)
    629 points by signa11 2 days ago | 331 comments
  2. Get Shit Done: A meta-prompting, context engineering and spec-driven dev system (github.com)
    469 points by stefankuehnel 3 days ago | 252 comments
  3. Lego's 0.002mm specification and its implications for manufacturing (2025) (www.thewave.engineer)
    397 points by scrlk 10 days ago | 335 comments
  4. Kotlin creator's new language: talk to LLMs in specs, not English (codespeak.dev)
    318 points by souvlakee 9 days ago | 281 comments
  5. Verified Spec-Driven Development (VSDD) (gist.github.com)
    211 points by todsacerdoti 21 days ago | 118 comments
  6. My spicy take on vibe coding for PMs (www.ddmckinnon.com)
    206 points by dmckinno 17 days ago | 192 comments
  7. Parallel coding agents with tmux and Markdown specs (schipper.ai)
    189 points by schipperai 19 days ago | 131 comments
  8. Implementing a Z80 / ZX Spectrum emulator with Claude Code (antirez.com)
    151 points by antirez 24 days ago | 72 comments
  9. SpaceX IPO Scandal (www.youtube.com)
    126 points by inaros 6 days ago | 31 comments
  10. Comparing Python Type Checkers: Typing Spec Conformance (pyrefly.org)
    119 points by ocamoss 5 days ago | 60 comments
  11. In space, no one can hear you kernel panic (2020) (increment.com)
    88 points by p0u4a 8 days ago | 23 comments
  12. Show HN: Learn Arabic with spaced repetition and comprehensible input (abjadpro.com)
    69 points by adangit 7 days ago | 24 comments
  13. Full Spectrum and Infrared Photography (timstr.website)
    67 points by alter_igel 13 days ago | 33 comments
  14. Speculative Speculative Decoding (SSD) (arxiv.org)
    61 points by E-Reverance 17 days ago | 9 comments
  15. SpiceCrypt: A Python library for decrypting LTspice encrypted model files (github.com)
    60 points by luu 6 days ago | 19 comments
  16. Show HN: Goal.md, a goal-specification file for autonomous coding agents (github.com)
    31 points by jmilinovich 6 days ago | 8 comments
  17. Stealing private keys in Google Cloud with Spectre L1TF exploit (www.vusec.net)
    31 points by avarev 24 days ago | discuss
  18. Show HN: Modern Reimplementation of the Speck Molecule Renderer (github.com)
    25 points by vlad_angelov 27 days ago | 4 comments
  19. A Special AMD Ryzen AM5 Motherboard for Linux / Open-Source Enthusiasts (www.phoronix.com)
    25 points by RachelF 10 days ago | 2 comments
  20. Cancellation of Army exercise fuels speculation about Mideast troop deployments (www.washingtonpost.com)
    21 points by ParentiSoundSys 14 days ago | 4 comments
  21. Spectre I, shuts down microphones nearby you (www.deveillance.com)
    20 points by Balgair 13 days ago | 13 comments
  22. RVA23 Ends Speculation's Monopoly in RISC-V CPUs (semiwiki.com)
    17 points by enz 14 days ago | 4 comments
  23. Specimen Gallery – CC0 transparent specimen PNGs organized by taxonomy (specimen.gallery)
    15 points by eclectic_mind05 11 days ago | 13 comments
  24. A sufficiently detailed spec is code (haskellforall.com)
    12 points by dokdev 3 days ago | 3 comments
  25. Specs Should Be Equations, Not Essays (fromanengineersight.substack.com)
    12 points by ben8t 22 days ago | 3 comments
  26. A sufficiently detailed spec is code (haskellforall.com)
    12 points by Gabriel439 4 days ago | discuss
  27. US Considers Idea of Special Operation to Seize Iran's Uranium (fortune.com)
    12 points by geox 13 days ago | discuss
  28. Quint LLM Kit for writing and using formal specifications (github.com)
    11 points by bugarela 30 days ago | discuss
  29. Show HN: Typeui.sh – generate skill files for design system specifications (www.typeui.sh)
    10 points by elwingo1 13 days ago | 3 comments
  30. Add Age Verification Signal Specification · Merge requests · xdg / xdg-specs (gitlab.freedesktop.org)
    9 points by watashiato 11 days ago | 1 comments
More