1. Understanding the Linux Kernel: The Scheduler (internals-for-interns.com)
    34 points by valyala 6 days | 8 comments
  2. Ratatui without OS, directly in UEFI (github.com)
    12 points by sermuns 1 day | discuss
  3. What can you confidently guarantee about your software? (queue.acm.org)
    130 points by eatonphil 4 days | 67 comments
  4. Compiler-Assisted Floating-Point Error Analysis and Profiling with FPChecker (fpanalysistools.org)
    31 points by matt_d 4 days | 6 comments
  5. I built a mmWave material classification radar (2025) (gauthier-lechevalier.com)
    202 points by GL26 3 days | 59 comments
  6. Amazon seller reveals glimpse of shadow bribery market (www.latimes.com)
    150 points by petethomas 3 days | 96 comments
  7. U.S. officials believed Israel was plotting to kill Iranian negotiators (www.nytimes.com)
    116 points by MilnerRoute about 18 hours | 61 comments
  8. I ported Kubernetes to the browser (ngrok.com)
    333 points by peterdemin 3 days | 102 comments
  9. Visual Basic on the PC with Windows 3.1 (stonetools.ghost.io)
    38 points by TMWNN 5 days | 24 comments
  10. Mathematics: Its Content, Methods and Meaning (old.maa.org)
    84 points by teleforce 6 days | 39 comments
  11. Claude Fable 5 Promotional Access (support.claude.com)
    102 points by zbikowski 2 days | 90 comments
  12. Age verification is just a precursor to automated attribution of speech (nonogra.ph)
    1018 points by arkhiver 5 days | 630 comments
  13. Rebuilding the Computer Room (alexwlchan.net)
    121 points by ingve 4 days | 66 comments
  14. Dissecting Apple's Sparse Image Format (ASIF) (schamper.dev)
    162 points by supermatou 5 days | 24 comments
  15. Microsoft's unreleased lightweight Edge-based Windows 11 AI OS leaks (www.neowin.net)
    16 points by bundie about 21 hours | 1 comments
  16. Tokyo has only two barley tea makers, we visited one to see how mugicha is made (soranews24.com)
    162 points by zdw 3 days | 48 comments
  17. North Korea patents soybean-based chocolate to bypass cocoa and sanctions (biz.chosun.com)
    8 points by mushstory about 15 hours | discuss
  18. Show HN: PMB – local memory for coding agents that shows if it is used (pmbai.dev)
    25 points by oleksiibond 4 days | 9 comments
  19. Data-Directed Programming in Haskell (entropicthoughts.com)
    7 points by surprisetalk 1 day | discuss
  20. Open dataset of cannabis growing problems (79 structured diagnoses, JSON/CSV) (github.com)
    6 points by cannabisdoc 1 day | 1 comments
  21. NUMA: Cores, memory, and the distance between them (edera.dev)
    138 points by sys_call 9 days | 33 comments
  22. Kb – Prolog Knowledge Base (github.com)
    109 points by triska 6 days | 18 comments
  23. Ornith-1.0: Self-scaffolding LLMs for agentic coding (deep-reinforce.com)
    85 points by kordlessagain 5 days | 10 comments
  24. Zig – SPIR-V Backend Progress (ziglang.org)
    99 points by Retro_Dev 8 days | 68 comments
  25. Rotman Lens (en.wikipedia.org)
    20 points by thomasjb 2 days | 2 comments
  26. Most rewrites serve the engineer, not the business (anatoliybabushka.com)
    69 points by bbsnly 2 days | 63 comments
  27. Because It Speaks in Words (brianschrader.com)
    18 points by sonicrocketman 4 days | 4 comments
  28. He sent a harsh email to ICE's top official. Federal agents tracked him down (www.npr.org)
    63 points by OutOfHere 1 day | 28 comments
  29. Google loses fight against record €4.1B EU antitrust fine (www.reuters.com)
    7 points by 1vuio0pswjnm7 about 12 hours | 1 comments
  30. The CEO of Mullvad is the main financer of the Swedish Örebro party (det.social)
    686 points by Risse 4 days | 1569 comments
More