Hackernews posts about SDF

  1. Show HN: AdaShape-3D modeler for intuitive 3D printing parts / Windows 11 (adashape.com)
    5 points by fsloth 3 days ago | 2 comments
  2. Ask HN: How do you search things like YouTube and Reddit from before the AI slop
    4 points by sdfkjasdfo89a7 23 days ago | 1 comments
  3. Artemis II is not safe to fly (idlewords.com)
    904 points by idlewords 7 days ago | 637 comments
  4. Ageless Linux – Software for humans of indeterminate age (agelesslinux.org)
    837 points by nateb2022 23 days ago | 628 comments
  5. A sufficiently detailed spec is code (haskellforall.com)
    652 points by signa11 19 days ago | 335 comments
  6. How I write software with LLMs (www.stavros.io)
    544 points by indigodaddy 22 days ago | 529 comments
  7. Mouser: An open source alternative to Logi-Plus mouse software (github.com)
    443 points by avionics-guy 25 days ago | 151 comments
  8. Coding agents could make free software matter again (www.gjlondon.com)
    270 points by rogueleaderr 8 days ago | 305 comments
  9. Is BGP safe yet? (isbgpsafeyet.com)
    254 points by janandonly 6 days ago | 88 comments
  10. Is Germany's gold safe in New York ? (www.dw.com)
    235 points by KnuthIsGod about 23 hours ago | 259 comments
  11. Tell HN: H&R Block tax software installs a TLS backdoor
    157 points by yifanlu 18 days ago | 15 comments
  12. AI didn't simplify software engineering: It just made bad engineering easier (robenglander.com)
    128 points by birdculture 24 days ago | 113 comments
  13. The bespoke software revolution? I'm not buying it (world.hey.com)
    111 points by FireBy2024 18 days ago | 88 comments
  14. Reliable Software in the LLM Era (quint-lang.org)
    108 points by mempirate 26 days ago | 34 comments
  15. There is no spoon – A software engineers primer for demystified ML (github.com)
    98 points by jmatthews 8 days ago | 32 comments
  16. Safeguarding cryptocurrency by disclosing quantum vulnerabilities responsibly (research.google)
    86 points by madars 7 days ago | 35 comments
  17. Reaffirming our commitment to child safety in the face of EuropeanUnion inaction (blog.google)
    71 points by upofadown 1 day ago | 88 comments
  18. Dijkstra's Crisis: The End of Algol and Beginning of Software Engineering (2010) [pdf] (www.tomandmaria.com)
    64 points by ipnon 29 days ago | 30 comments
  19. Lf-lean: The frontier of verified software engineering (theorem.dev)
    47 points by alpaylan 26 days ago | 9 comments
  20. Jami – free/libre, end-to-end encrypted, and private communication software (jami.net)
    44 points by smartmic 7 days ago | 4 comments
  21. Why do they want to get rid of software engineers? (jrswab.com)
    37 points by abnercoimbre 27 days ago | 54 comments
  22. Show HN: I tested 15 free AI models at building real software on a $25/year VPS (georgelarson.me)
    36 points by j0rg3 5 days ago | 7 comments
  23. Safe ways to do things in bash (2023) (github.com)
    34 points by gautamsomani 7 days ago | 1 comments
  24. Ask HN: Academic study on AI's impact on software development – want to join?
    31 points by research2026 7 days ago | 16 comments
  25. Show HN: AI SDLC Scaffold, repo template for AI-assisted software development (github.com)
    27 points by pangon 17 days ago | 12 comments
  26. What does the future of software engineering look like? (www.thoughtworks.com)
    27 points by rcy 16 days ago | 1 comments
  27. The mechanics of autonomous software translation (alperenkeles.com)
    24 points by alpaylan 27 days ago | 3 comments
  28. Quillx is an open standard for disclosing AI involvement in software projects (github.com)
    23 points by qainsights 22 days ago | 36 comments
  29. Root Persistence via macOS Recovery Mode Safari (yaseenghanem.com)
    23 points by yaseeng about 13 hours ago | 16 comments
  30. Show HN: FPGA soft-core of the Saab Viggen's 1963 airborne computer (github.com)
    22 points by FormerLabFred 18 days ago | 8 comments
More