| 1. | | DEI Fraud and Cover-Up at Cambridge (ncofnas.com) |
| 3 points by nextos 57 days ago | past |
|
| 2. | | Diagram of Distribution Relationships (johndcook.com) |
| 4 points by nextos 3 months ago | past |
|
| 3. | | Formal Methods and the Future of Programming (janestreet.com) |
| 107 points by nextos 3 months ago | past | 4 comments |
|
| 4. | | Warren's Abstract Machine: A Tutorial Reconstruction (github.com/a-yiorgos) |
| 52 points by nextos 3 months ago | past | 6 comments |
|
| 5. | | Hantavirus latest: Virus-hit cruise ship leaves Cape Verde for Canary Islands (bbc.com) |
| 4 points by nextos 4 months ago | past |
|
| 6. | | Going Founder Mode on Cancer (centuryofbio.com) |
| 18 points by nextos 5 months ago | past | 9 comments |
|
| 7. | | Embracing Bayesian methods in clinical trials (jamanetwork.com) |
| 115 points by nextos 6 months ago | past | 18 comments |
|
| 8. | | Science Has a Major Fraud Problem (thefp.com) |
| 3 points by nextos 6 months ago | past |
|
| 9. | | Tony Hoare has died (lefenetrou.blogspot.com) |
| 268 points by nextos 6 months ago | past | 34 comments |
|
| 10. | | Agents of Chaos (arxiv.org) |
| 3 points by nextos 6 months ago | past |
|
| 11. | | Agentic Proof-Oriented Programming (risemsr.github.io) |
| 1 point by nextos 7 months ago | past |
|
| 12. | | Generative AI in Software Engineering Must Be Human-Centered [pdf] (ubc.ca) |
| 5 points by nextos 9 months ago | past | 1 comment |
|
| 13. | | Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel (phoronix.com) |
| 20 points by nextos 10 months ago | past | 1 comment |
|
| 14. | | OpenAI probably can't make ends meet. That's where you come in (garymarcus.substack.com) |
| 16 points by nextos 10 months ago | past | 1 comment |
|
| 15. | | Weird, but Haskell Feels Easy (xlii.space) |
| 4 points by nextos 11 months ago | past | 1 comment |
|
| 16. | | Reasons to Use Bayesian Inference (columbia.edu) |
| 2 points by nextos 11 months ago | past |
|
| 17. | | SailfishOS: Chum (sailfishos-chum.github.io) |
| 9 points by nextos on Sept 18, 2025 | past | 3 comments |
|
| 18. | | Concepts, Techniques, and Models of Computer Programming [pdf] (ucl.ac.be) |
| 2 points by nextos on May 16, 2025 | past |
|
| 19. | | Bat-infecting merbecovirus HKU5-CoV can use human ACE2 as a cell entry receptor (cell.com) |
| 3 points by nextos on Feb 19, 2025 | past | 3 comments |
|
| 20. | | DeepComputing RISC-V Mainboard (frame.work) |
| 3 points by nextos on Feb 4, 2025 | past |
|
| 21. | | Programming Paradigms for Dummies [pdf] (ucl.ac.be) |
| 2 points by nextos on Oct 14, 2024 | past |
|
| 22. | | Simply Logical: Intelligent Reasoning by Example (simply-logical.space) |
| 2 points by nextos on Oct 14, 2024 | past |
|
| 23. | | Sequoia PGP (sequoia-pgp.org) |
| 1 point by nextos on Sept 29, 2024 | past |
|
| 24. | | Emacs Has No Learning Curve [pdf] (freefaculty.org) |
| 5 points by nextos on Sept 22, 2024 | past | 1 comment |
|
| 25. | | The State of Full-Stack OCaml [video] (youtube.com) |
| 4 points by nextos on Sept 11, 2024 | past |
|
| 26. | | Poliovirus that infected a Chinese child in 2014 may have leaked from a lab (science.org) |
| 46 points by nextos on Sept 8, 2024 | past | 24 comments |
|
| 27. | | Apps for GNOME (gnome.org) |
| 1 point by nextos on Aug 27, 2024 | past |
|
| 28. | | Automated programming, symbolic computation, machine learning: my personal view (springer.com) |
| 4 points by nextos on Aug 26, 2024 | past |
|
| 29. | | My favorite device is a Chromebook (capivaras.dev) |
| 99 points by nextos on Aug 6, 2024 | past | 105 comments |
|
| 30. | | The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io) |
| 100 points by nextos on July 30, 2024 | past | 14 comments |
|
|
| More |
