| 1. | | The State of Full-Stack OCaml [video] (youtube.com) |
|
4 points by nextos 5 days ago | past | discuss
|
|
| 2. | | Poliovirus that infected a Chinese child in 2014 may have leaked from a lab (science.org) |
|
46 points by nextos 8 days ago | past | 24 comments
|
|
| 3. | | Apps for GNOME (gnome.org) |
|
1 point by nextos 20 days ago | past
|
|
| 4. | | Automated programming, symbolic computation, machine learning: my personal view (springer.com) |
|
4 points by nextos 21 days ago | past
|
|
| 5. | | My favorite device is a Chromebook (capivaras.dev) |
|
99 points by nextos 41 days ago | past | 105 comments
|
|
| 6. | | The Hitchhiker's Guide to Logical Verification [pdf] (2023) (browncs1951x.github.io) |
|
100 points by nextos 48 days ago | past | 14 comments
|
|
| 7. | | Applied Regression and Causal Inference (columbia.edu) |
|
2 points by nextos 48 days ago | past
|
|
| 8. | | Finding the Truth in Science (nature.com) |
|
1 point by nextos 4 months ago | past
|
|
| 9. | | Creusot, a deductive verifier for Rust code (github.com/creusot-rs) |
|
3 points by nextos 6 months ago | past
|
|
| 10. | | Maybe Haskell (thoughtbot.com) |
|
10 points by nextos 8 months ago | past
|
|
| 11. | | Dorothy Bishop on the prevalence of scientific fraud (columbia.edu) |
|
31 points by nextos 10 months ago | past | 1 comment
|
|
| 12. | | How to handle a hands-off supervisor (kidger.site) |
|
3 points by nextos 11 months ago | past | 1 comment
|
|
| 13. | | Functional Data Structures and Algorithms: A Proof Assistant Approach (functional-algorithms-verified.org) |
|
6 points by nextos on Sept 1, 2023 | past
|
|
| 14. | | Simple Haskell (simplehaskell.org) |
|
3 points by nextos on Aug 13, 2023 | past
|
|
| 15. | | CausalPy – causal inference for quasi-experiments (causalpy.readthedocs.io) |
|
4 points by nextos on Aug 11, 2023 | past
|
|
| 16. | | Rich Hickey's Clojure Bookshelf (amazon.com) |
|
5 points by nextos on Aug 6, 2023 | past | 1 comment
|
|
| 17. | | Key-Locked Rank One Editing for Text-to-Image Personalization (nvidia.com) |
|
1 point by nextos on Aug 3, 2023 | past
|
|
| 18. | | Safe and just Earth system boundaries (nature.com) |
|
2 points by nextos on June 1, 2023 | past
|
|
| 19. | | Oxford University’s other diversity crisis (economist.com) |
|
1 point by nextos on April 4, 2023 | past
|
|
| 20. | | Britain Is Broken (thetimes.co.uk) |
|
20 points by nextos on March 29, 2023 | past | 17 comments
|
|
| 21. | | Why universities are making us stupid (newstatesman.com) |
|
4 points by nextos on March 29, 2023 | past | 2 comments
|
|
| 22. | | Logic and Proof (leanprover.github.io) |
|
1 point by nextos on March 26, 2023 | past
|
|
| 23. | | Bayesian Learning: Basics, Computation, Approximation, and Futures (drive.google.com) |
|
2 points by nextos on March 9, 2023 | past
|
|
| 24. | | A Memristor-Based Bayesian Machine (arxiv.org) |
|
4 points by nextos on Jan 20, 2023 | past | 1 comment
|
|
| 25. | | A Year with Notmuch Mail (2016) (lwn.net) |
|
6 points by nextos on Nov 12, 2022 | past | 1 comment
|
|
| 26. | | Program Analysis (An Appetizer) (arxiv.org) |
|
2 points by nextos on Sept 16, 2022 | past
|
|
| 27. | | Flâneries (uwaterloo.ca) |
|
1 point by nextos on July 9, 2022 | past
|
|
| 28. | | Logic and Computation Intertwined (uwaterloo.ca) |
|
2 points by nextos on July 8, 2022 | past
|
|
| 29. | | OCaml 5.0 (prerelease) Manual: Effect handlers (kcsrk.info) |
|
2 points by nextos on June 17, 2022 | past
|
|
| 30. | | Program = Proof [pdf] (polytechnique.fr) |
|
2 points by nextos on June 11, 2022 | past
|
|
|
|
More |
