1. Show HN: Rust compiler in PHP emitting x86-64 executables (github.com)
    64 points by mrconter11 4 days | 48 comments
  2. Iran says targeted AWS Data Centers for support of U.S. military (www.cnbc.com)
    cyber warfareaws data centersiran us military
    29 points by johnbarron about 10 hours | 2 comments
  3. Agentic Engineering Anti Patterns (simonwillison.net)
    14 points by pchristensen about 11 hours | 5 comments
  4. Greg Knauss Is Losing Himself (shapeof.com)
    69 points by wallflower 4 days | 50 comments
  5. Phi-4-reasoning-vision and the lessons of training a multimodal reasoning model (www.microsoft.com)
    13 points by tosh about 7 hours | discuss
  6. Aura-State: Formally Verified LLM State Machine Compiler
    21 points by rohanmunshi08 4 days | 5 comments
  7. Approximation Game (lcamtuf.substack.com)
    15 points by surprisetalk 5 days | 3 comments
  8. Medical journal says the case reports it has published for 25 years are fiction (retractionwatch.com)
    case reportsmedical publishingacademic integrity
    173 points by Tomte about 23 hours | 63 comments
  9. Notes on Project Oberon (sidhion.com)
    computer scienceprogramming languagesoperating systems
    25 points by surprisetalk about 23 hours | 12 comments
  10. Large-Scale Agentic RL for CUDA Kernel Generation (cuda-agent.github.io)
    5 points by gmays about 9 hours | discuss
  11. TorchLean: Formalizing Neural Networks in Lean (leandojo.org)
    102 points by matt_d 4 days | 20 comments
  12. The Space Race's Forgotten Theme Park (daily.jstor.org)
    space theme parkforgotten historyretro tourism
    24 points by anarbadalov about 20 hours | 2 comments
  13. You can use newline characters in URLs (lemire.me)
    106 points by chmaynard 5 days | 48 comments
  14. Show HN: I made a zero-copy coroutine tracer to find my scheduler's lost wakeups (github.com)
    coroutinetracingscheduler
    44 points by lixiasky 2 days | 3 comments
  15. On the Design of Programming Languages (1974) [pdf] (web.cs.ucdavis.edu)
    76 points by jruohonen 4 days | 43 comments
  16. Indefinite Book Club Hiatus (whatever.scalzi.com)
    book clubindefinite hiatusscifi books
    80 points by cdrnsf 1 day | 37 comments
  17. Blogosphere – a directory of independent blogs and personal websites (blogosphere.app)
    independent blogspersonal websitesblogging directory
    22 points by Curiositry about 19 hours | 2 comments
  18. 10% of Firefox crashes are caused by bitflips (mas.to)
    bitflip errorsfirefox crashesmemory corruption
    81 points by marvinborner about 18 hours | 35 comments
  19. Physics Girl: Super-Kamiokande – Imaging the sun by detecting neutrinos [video] (www.youtube.com)
    physicseducationstem
    511 points by pcdavid 2 days | 91 comments
  20. Extending single-minus amplitudes to gravitons (openai.com)
    quantum gravityparticle physicsgraviton detection
    16 points by telotortium about 15 hours | 15 comments
  21. Ars Technica fires reporter after AI controversy involving fabricated quotes (futurism.com)
    ai ethicsmedia controversyjournalism integrity
    600 points by danso 3 days | 378 comments
  22. AI companies aim 'not to help workers, but to replace them' (www.vaticannews.va)
    artificial intelligenceautomationjob replacement
    25 points by rawgabbit about 19 hours | 8 comments
  23. Anthropic chief back in talks with Pentagon about AI deal (www.ft.com)
    ai technologydefense industrymilitary applications
    52 points by ajam1507 about 12 hours | 11 comments
  24. Launch HN: OctaPulse (YC W26) – Robotics and computer vision for fish farming
    110 points by rohxnsxngh 3 days | 58 comments
  25. Factory Logic (asteriskmag.com)
    manufacturing processproduction managementlean manufacturing
    20 points by herbertl about 21 hours | 1 comments
  26. DOJ proposes policy aimed at limiting state bar ethics probes into its attorneys (abcnews.com)
    department of justiceattorney ethicslegal probes
    32 points by petethomas about 9 hours | 2 comments
  27. The 1,700-year-old megastructure history almost forgot (www.cnn.com)
    26 points by simonebrunozzi 3 days | 3 comments
  28. LLM Prose Tells (git.eeqj.de)
    4 points by dougb5 about 11 hours | discuss
  29. We've freed Cookie's Bustle from copyright hell (gamehistory.org)
    game preservationretro gamingclassic video games
    137 points by sb057 2 days | 34 comments
  30. I'm losing the SEO battle for my own open source project (twitter.com)
    open source marketingseo strugglessoftware development
    523 points by devinitely 2 days | 258 comments
More