HN Explorer

nextos

↗ HN profile [ 68.9 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Diagram of Distribution Relationships (johndcook.com)
    4 points 0
  2. Formal Methods and the Future of Programming (blog.janestreet.com)
    107 points 3
  3. Warren's Abstract Machine: A Tutorial Reconstruction (github.com)
    52 points 4
  4. 1 points 0
  5. Hantavirus latest: Virus-hit cruise ship leaves Cape Verde for Canary Islands (bbc.com)
    4 points 0
  6. Going Founder Mode on Cancer (centuryofbio.com)
    18 points 3
  7. Embracing Bayesian methods in clinical trials (jamanetwork.com)
    115 points 6
  8. Science Has a Major Fraud Problem (thefp.com)
    3 points 0
  9. Tony Hoare has died (lefenetrou.blogspot.com)
    268 points 16
  10. Agents of Chaos (arxiv.org)
    3 points 0
  11. Agentic Proof-Oriented Programming (risemsr.github.io)
    1 points 0
  12. Generative AI in Software Engineering Must Be Human-Centered [pdf] (cs.ubc.ca)
    5 points 1
  13. Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel (phoronix.com)
    20 points 1
  14. OpenAI probably can't make ends meet. That's where you come in (garymarcus.substack.com)
    16 points 1
  15. Weird, but Haskell Feels Easy (xlii.space)
    4 points 1
  16. Reasons to Use Bayesian Inference (statmodeling.stat.columbia.edu)
    2 points 0
  17. SailfishOS: Chum (sailfishos-chum.github.io)
    9 points 1
  18. 1 points 0
  19. Concepts, Techniques, and Models of Computer Programming [pdf] (webperso.info.ucl.ac.be)
    2 points 0
  20. 1 points 1
  21. Bat-infecting merbecovirus HKU5-CoV can use human ACE2 as a cell entry receptor (cell.com)
    3 points 3
  22. DeepComputing RISC-V Mainboard (frame.work)
    3 points 0
  23. 1 points 0
  24. Programming Paradigms for Dummies [pdf] (webperso.info.ucl.ac.be)
    2 points 0
  25. Simply Logical: Intelligent Reasoning by Example (book.simply-logical.space)
    2 points 0