HN Explorer

abathologist

↗ HN profile [ 67.4 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. "Letter to Alan Turing" – Giuseppe Longo (2018) [pdf] (di.ens.fr)
    1 points 1
  2. Epstein Sought to Establish Behavioral Engineering Institute at Stanford (stanfordreview.org)
    10 points 1
  3. Functional Networking for Millions of Docker Desktops [video] (youtube.com)
    2 points 0
  4. C1ick and C⊗LLec⊥: Interactive linear logic prover (click-and-collect.linear-logic.org)
    1 points 1
  5. OPAM repository for OCaml with Jane Street extensions (github.com)
    2 points 1
  6. 2 points 1
  7. Notes on Nothing (2023) (interactions.acm.org)
    1 points 0
  8. Quint: A specification language based on the temporal logic of actions (TLA) (github.com)

    I am on the dev team for this project and would be happy to answer any questions and/or take note of any critical feedback :) Here's a bit more detail: Quint is a modern, executable specification language that is a…

    110 points 37
  9. It's Lit: A GitHub template to automate greening your Git commit graph (github.com)
    1 points 0
  10. Configuration Files in Terms of User Empowerment (informal.systems)
    2 points 1
  11. Start with Worker Self-Directed Enterprises (thenextsystem.org)
    2 points 0