| 1. | | Hantavirus latest: Virus-hit cruise ship leaves Cape Verde for Canary Islands (bbc.com) |
| 4 points by nextos 5 days ago | past | discuss |
|
| 2. | | Going Founder Mode on Cancer (centuryofbio.com) |
| 18 points by nextos 45 days ago | past | 9 comments |
|
| 3. | | Embracing Bayesian methods in clinical trials (jamanetwork.com) |
| 115 points by nextos 49 days ago | past | 18 comments |
|
| 4. | | Science Has a Major Fraud Problem (thefp.com) |
| 3 points by nextos 50 days ago | past |
|
| 5. | | Tony Hoare has died (lefenetrou.blogspot.com) |
| 268 points by nextos 63 days ago | past | 34 comments |
|
| 6. | | Agents of Chaos (arxiv.org) |
| 3 points by nextos 75 days ago | past |
|
| 7. | | Agentic Proof-Oriented Programming (risemsr.github.io) |
| 1 point by nextos 3 months ago | past |
|
| 8. | | Generative AI in Software Engineering Must Be Human-Centered [pdf] (ubc.ca) |
| 5 points by nextos 5 months ago | past | 1 comment |
|
| 9. | | Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel (phoronix.com) |
| 20 points by nextos 5 months ago | past | 1 comment |
|
| 10. | | OpenAI probably can't make ends meet. That's where you come in (garymarcus.substack.com) |
| 16 points by nextos 6 months ago | past | 1 comment |
|
| 11. | | Weird, but Haskell Feels Easy (xlii.space) |
| 4 points by nextos 6 months ago | past | 1 comment |
|
| 12. | | Reasons to Use Bayesian Inference (columbia.edu) |
| 2 points by nextos 7 months ago | past |
|
| 13. | | SailfishOS: Chum (sailfishos-chum.github.io) |
| 9 points by nextos 7 months ago | past | 3 comments |
|
| 14. | | Concepts, Techniques, and Models of Computer Programming [pdf] (ucl.ac.be) |
| 2 points by nextos 12 months ago | past |
|
| 15. | | 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 |
|
| 16. | | DeepComputing RISC-V Mainboard (frame.work) |
| 3 points by nextos on Feb 4, 2025 | past |
|
| 17. | | Programming Paradigms for Dummies [pdf] (ucl.ac.be) |
| 2 points by nextos on Oct 14, 2024 | past |
|
| 18. | | Simply Logical: Intelligent Reasoning by Example (simply-logical.space) |
| 2 points by nextos on Oct 14, 2024 | past |
|
| 19. | | Sequoia PGP (sequoia-pgp.org) |
| 1 point by nextos on Sept 29, 2024 | past |
|
| 20. | | Emacs Has No Learning Curve [pdf] (freefaculty.org) |
| 5 points by nextos on Sept 22, 2024 | past | 1 comment |
|
| 21. | | The State of Full-Stack OCaml [video] (youtube.com) |
| 4 points by nextos on Sept 11, 2024 | past |
|
| 22. | | 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 |
|
| 23. | | Apps for GNOME (gnome.org) |
| 1 point by nextos on Aug 27, 2024 | past |
|
| 24. | | Automated programming, symbolic computation, machine learning: my personal view (springer.com) |
| 4 points by nextos on Aug 26, 2024 | past |
|
| 25. | | My favorite device is a Chromebook (capivaras.dev) |
| 99 points by nextos on Aug 6, 2024 | past | 105 comments |
|
| 26. | | The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io) |
| 100 points by nextos on July 30, 2024 | past | 14 comments |
|
| 27. | | Applied Regression and Causal Inference (columbia.edu) |
| 2 points by nextos on July 30, 2024 | past |
|
| 28. | | Finding the Truth in Science (nature.com) |
| 1 point by nextos on May 18, 2024 | past |
|
| 29. | | Creusot, a deductive verifier for Rust code (github.com/creusot-rs) |
| 3 points by nextos on Feb 25, 2024 | past |
|
| 30. | | Maybe Haskell (thoughtbot.com) |
| 10 points by nextos on Jan 20, 2024 | past |
|
|
| More |
