| 1. | | Agents of Chaos (arxiv.org) |
| 2 points by nextos 23 hours ago | past | discuss |
|
| 2. | | Agentic Proof-Oriented Programming (risemsr.github.io) |
| 1 point by nextos 19 days ago | past |
|
| 3. | | Generative AI in Software Engineering Must Be Human-Centered [pdf] (ubc.ca) |
| 5 points by nextos 3 months ago | past | 1 comment |
|
| 4. | | Google Posts Device Trees for Booting Pixel 10 with the Mainline Linux Kernel (phoronix.com) |
| 20 points by nextos 3 months ago | past | 1 comment |
|
| 5. | | OpenAI probably can't make ends meet. That's where you come in (garymarcus.substack.com) |
| 16 points by nextos 3 months ago | past | 1 comment |
|
| 6. | | Weird, but Haskell Feels Easy (xlii.space) |
| 4 points by nextos 4 months ago | past | 1 comment |
|
| 7. | | Reasons to Use Bayesian Inference (columbia.edu) |
| 2 points by nextos 4 months ago | past |
|
| 8. | | SailfishOS: Chum (sailfishos-chum.github.io) |
| 9 points by nextos 5 months ago | past | 3 comments |
|
| 9. | | Concepts, Techniques, and Models of Computer Programming [pdf] (ucl.ac.be) |
| 2 points by nextos 9 months ago | past |
|
| 10. | | 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 |
|
| 11. | | DeepComputing RISC-V Mainboard (frame.work) |
| 3 points by nextos on Feb 4, 2025 | past |
|
| 12. | | Programming Paradigms for Dummies [pdf] (ucl.ac.be) |
| 2 points by nextos on Oct 14, 2024 | past |
|
| 13. | | Simply Logical: Intelligent Reasoning by Example (simply-logical.space) |
| 2 points by nextos on Oct 14, 2024 | past |
|
| 14. | | Sequoia PGP (sequoia-pgp.org) |
| 1 point by nextos on Sept 29, 2024 | past |
|
| 15. | | Emacs Has No Learning Curve [pdf] (freefaculty.org) |
| 5 points by nextos on Sept 22, 2024 | past | 1 comment |
|
| 16. | | The State of Full-Stack OCaml [video] (youtube.com) |
| 4 points by nextos on Sept 11, 2024 | past |
|
| 17. | | 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 |
|
| 18. | | Apps for GNOME (gnome.org) |
| 1 point by nextos on Aug 27, 2024 | past |
|
| 19. | | Automated programming, symbolic computation, machine learning: my personal view (springer.com) |
| 4 points by nextos on Aug 26, 2024 | past |
|
| 20. | | My favorite device is a Chromebook (capivaras.dev) |
| 99 points by nextos on Aug 6, 2024 | past | 105 comments |
|
| 21. | | The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io) |
| 100 points by nextos on July 30, 2024 | past | 14 comments |
|
| 22. | | Applied Regression and Causal Inference (columbia.edu) |
| 2 points by nextos on July 30, 2024 | past |
|
| 23. | | Finding the Truth in Science (nature.com) |
| 1 point by nextos on May 18, 2024 | past |
|
| 24. | | Creusot, a deductive verifier for Rust code (github.com/creusot-rs) |
| 3 points by nextos on Feb 25, 2024 | past |
|
| 25. | | Maybe Haskell (thoughtbot.com) |
| 10 points by nextos on Jan 20, 2024 | past |
|
| 26. | | Dorothy Bishop on the prevalence of scientific fraud (columbia.edu) |
| 31 points by nextos on Nov 19, 2023 | past | 1 comment |
|
| 27. | | How to handle a hands-off supervisor (kidger.site) |
| 3 points by nextos on Sept 28, 2023 | past | 1 comment |
|
| 28. | | Functional Data Structures and Algorithms: A Proof Assistant Approach (functional-algorithms-verified.org) |
| 6 points by nextos on Sept 1, 2023 | past |
|
| 29. | | Simple Haskell (simplehaskell.org) |
| 3 points by nextos on Aug 13, 2023 | past |
|
| 30. | | CausalPy – causal inference for quasi-experiments (causalpy.readthedocs.io) |
| 4 points by nextos on Aug 11, 2023 | past |
|
|
| More |
