| 1. | | Concepts, Techniques, and Models of Computer Programming [pdf] (ucl.ac.be) |
|
2 points by nextos 22 hours ago | past | discuss
|
|
| 2. | | Bat-infecting merbecovirus HKU5-CoV can use human ACE2 as a cell entry receptor (cell.com) |
|
3 points by nextos 85 days ago | past | 3 comments
|
|
| 3. | | DeepComputing RISC-V Mainboard (frame.work) |
|
3 points by nextos 3 months ago | past
|
|
| 4. | | Programming Paradigms for Dummies [pdf] (ucl.ac.be) |
|
2 points by nextos 7 months ago | past
|
|
| 5. | | Simply Logical: Intelligent Reasoning by Example (simply-logical.space) |
|
2 points by nextos 7 months ago | past
|
|
| 6. | | Sequoia PGP (sequoia-pgp.org) |
|
1 point by nextos 7 months ago | past
|
|
| 7. | | Emacs Has No Learning Curve [pdf] (freefaculty.org) |
|
5 points by nextos 7 months ago | past | 1 comment
|
|
| 8. | | The State of Full-Stack OCaml [video] (youtube.com) |
|
4 points by nextos 8 months ago | past
|
|
| 9. | | Poliovirus that infected a Chinese child in 2014 may have leaked from a lab (science.org) |
|
46 points by nextos 8 months ago | past | 24 comments
|
|
| 10. | | Apps for GNOME (gnome.org) |
|
1 point by nextos 8 months ago | past
|
|
| 11. | | Automated programming, symbolic computation, machine learning: my personal view (springer.com) |
|
4 points by nextos 8 months ago | past
|
|
| 12. | | My favorite device is a Chromebook (capivaras.dev) |
|
99 points by nextos 9 months ago | past | 105 comments
|
|
| 13. | | The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io) |
|
100 points by nextos 9 months ago | past | 14 comments
|
|
| 14. | | Applied Regression and Causal Inference (columbia.edu) |
|
2 points by nextos 9 months ago | past
|
|
| 15. | | Finding the Truth in Science (nature.com) |
|
1 point by nextos 12 months ago | past
|
|
| 16. | | Creusot, a deductive verifier for Rust code (github.com/creusot-rs) |
|
3 points by nextos on Feb 25, 2024 | past
|
|
| 17. | | Maybe Haskell (thoughtbot.com) |
|
10 points by nextos on Jan 20, 2024 | past
|
|
| 18. | | Dorothy Bishop on the prevalence of scientific fraud (columbia.edu) |
|
31 points by nextos on Nov 19, 2023 | past | 1 comment
|
|
| 19. | | How to handle a hands-off supervisor (kidger.site) |
|
3 points by nextos on Sept 28, 2023 | past | 1 comment
|
|
| 20. | | Functional Data Structures and Algorithms: A Proof Assistant Approach (functional-algorithms-verified.org) |
|
6 points by nextos on Sept 1, 2023 | past
|
|
| 21. | | Simple Haskell (simplehaskell.org) |
|
3 points by nextos on Aug 13, 2023 | past
|
|
| 22. | | CausalPy – causal inference for quasi-experiments (causalpy.readthedocs.io) |
|
4 points by nextos on Aug 11, 2023 | past
|
|
| 23. | | Rich Hickey's Clojure Bookshelf (amazon.com) |
|
5 points by nextos on Aug 6, 2023 | past | 1 comment
|
|
| 24. | | Key-Locked Rank One Editing for Text-to-Image Personalization (nvidia.com) |
|
1 point by nextos on Aug 3, 2023 | past
|
|
| 25. | | Safe and just Earth system boundaries (nature.com) |
|
2 points by nextos on June 1, 2023 | past
|
|
| 26. | | Oxford University’s other diversity crisis (economist.com) |
|
1 point by nextos on April 4, 2023 | past
|
|
| 27. | | Britain Is Broken (thetimes.co.uk) |
|
20 points by nextos on March 29, 2023 | past | 17 comments
|
|
| 28. | | Why universities are making us stupid (newstatesman.com) |
|
4 points by nextos on March 29, 2023 | past | 2 comments
|
|
| 29. | | Logic and Proof (leanprover.github.io) |
|
1 point by nextos on March 26, 2023 | past
|
|
| 30. | | Bayesian Learning: Basics, Computation, Approximation, and Futures (drive.google.com) |
|
2 points by nextos on March 9, 2023 | past
|
|
|
|
More |
