| 1. | | "Letter to Alan Turing" – Giuseppe Longo (2018) [pdf] (ens.fr) |
| 1 point by abathologist 3 days ago | past | 1 comment |
|
| 2. | | Epstein Sought to Establish Behavioral Engineering Institute at Stanford (stanfordreview.org) |
| 10 points by abathologist 22 days ago | past | 1 comment |
|
| 3. | | Functional Networking for Millions of Docker Desktops [video] (youtube.com) |
| 2 points by abathologist 4 months ago | past |
|
| 4. | | C1ick and C⊗LLec⊥: Interactive linear logic prover (linear-logic.org) |
| 1 point by abathologist 6 months ago | past | 1 comment |
|
| 5. | | OPAM repository for OCaml with Jane Street extensions (github.com/janestreet) |
| 2 points by abathologist on Sept 2, 2024 | past | 1 comment |
|
| 6. | | Notes on Nothing (2023) (acm.org) |
| 1 point by abathologist on Jan 14, 2024 | past |
|
| 7. | | Quint: A specification language based on the temporal logic of actions (TLA) (github.com/informalsystems) |
| 110 points by abathologist on Dec 19, 2023 | past | 35 comments |
|
| 8. | | It's Lit: A GitHub template to automate greening your Git commit graph (github.com/fredaxin) |
| 1 point by abathologist on June 6, 2023 | past |
|
| 9. | | Configuration Files in Terms of User Empowerment (informal.systems) |
| 2 points by abathologist on Nov 17, 2020 | past | 1 comment |
|
| 10. | | Start with Worker Self-Directed Enterprises (thenextsystem.org) |
| 2 points by abathologist on Feb 10, 2020 | past |
|
