1. A blueprint for formal verification of Apple corecrypto (security.apple.com)
    120 points by hasheddan 7 days | 15 comments
  2. Nvidia Vera CPU Benchmarks: Olympus Cores Delivering Great Performance (www.phoronix.com)
    54 points by naves 2 days | 23 comments
  3. Imagor 1.9.1 Benchmark Summary (docs.imagor.net)
    4 points by cshum 1 day | discuss
  4. Agent Governance Toolkit (github.com)
    5 points by yakkomajuri 1 day | discuss
  5. Why the US job market is so hard, especially for recent college graduates (www.msn.com)
    5 points by thehoff about 22 hours | 2 comments
  6. Valve Takes Crazy Pills and Jacks Up Steam Deck Pricing (boilingsteam.com)
    5 points by ekianjo about 22 hours | 3 comments
  7. Logseq Doctor: Heal your flat old Markdown files before importing them to Logseq (github.com)
    27 points by ankitg12 3 days | 3 comments
  8. Aithos LARA: Leading AI models are consistently breaking the law (aithos.org)
    8 points by HelloUsername 2 days | discuss
  9. Valve raises Steam Deck prices (www.theverge.com)
    270 points by droidjj 2 days | 275 comments
  10. Google Hates You (www.sfgate.com)
    72 points by speckx about 20 hours | 43 comments
  11. Don't know where your data is from? Bayesian modeling for unknown coordinates (christopherkrapu.com)
    50 points by ckrapu 5 days | 4 comments
  12. -​-dangerously-skip-reading-code (olano.dev)
    200 points by fagnerbrack 6 days | 205 comments
  13. Simpson's Gender-Equality Paradox (www.pnas.org)
    20 points by doener 1 day | 4 comments
  14. 80386 microcode disassembled (www.reenigne.org)
    277 points by nand2mario 6 days | 54 comments
  15. Electrobun 2.0 will be decoupled from Bun due to the Rust rewrite (twitter.com)
    149 points by bundie 6 days | 176 comments
  16. What it would take to rebuild U.S. manufacturing might (www.axios.com)
    17 points by petethomas 1 day | 22 comments
  17. Building current, a browser-based file sharing tool, with Rust and WASM (current.rdvz.app)
    4 points by laptou 2 days | 2 comments
  18. Software Engineering Won't Be Over (timomeh.de)
    14 points by speckx 3 days | 2 comments
  19. Riscrithm – An intuitive RISC-V assembler and optimizer coded in Go (github.com)
    32 points by patrick-ghetea 4 days | 11 comments
  20. Bay Area mom out thousands after scammers use AI to mimic daughter's voice (abc7news.com)
    56 points by arkadiyt 3 days | 22 comments
  21. Flatpak Will Depend on Systemd (www.osnews.com)
    103 points by birdculture 3 days | 129 comments
  22. Ruby for Good (ti.to)
    146 points by mooreds 5 days | 55 comments
  23. Tidy PSU – PD-64 C64 PSU Brings USB PD to Commodore 64 (theoasisbbs.com)
    17 points by IronWolve 4 days | 5 comments
  24. Incident with Actions and Pages (www.githubstatus.com)
    97 points by hakube 3 days | 382 comments
  25. The AI tech job slaughter gets real (www.computerworld.com)
    27 points by CrankyBear 2 days | 6 comments
  26. Power bills more than 250 per cent higher near data centres (www.theglobeandmail.com)
    37 points by cdrnsf 2 days | 8 comments
  27. Italy moves to Airbus A330 tankers (www.euronews.com)
    284 points by embedding-shape 6 days | 126 comments
  28. CISA tries to contain data leak (krebsonsecurity.com)
    269 points by speckx 7 days | 61 comments
  29. Stockholm poised to become leading European geospatial intel player (www.intelligenceonline.com)
    43 points by alephnerd 3 days | 10 comments
  30. Ask HN: How do you feel about posts about GenAI taking over the HN front page?
    11 points by blenderob 1 day | 15 comments
More