HN Explorer

abathologist

↗ HN profile [ 115 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. What even is mathematical output? (thehighergeometer.wordpress.com)
    1 points 0
  2. How Modern Fascism Works – End Times Fascism – Naomi Klein and Astra Taylor (youtube.com)
    1 points 0
  3. "Letter to Alan Turing" – Giuseppe Longo (2018) [pdf] (di.ens.fr)
    1 points 1
  4. Epstein Sought to Establish Behavioral Engineering Institute at Stanford (stanfordreview.org)
    10 points 1
  5. Functional Networking for Millions of Docker Desktops [video] (youtube.com)
    2 points 0
  6. C1ick and C⊗LLec⊥: Interactive linear logic prover (click-and-collect.linear-logic.org)
    1 points 1
  7. OPAM repository for OCaml with Jane Street extensions (github.com)
    2 points 1
  8. 2 points 0
  9. Notes on Nothing (2023) (interactions.acm.org)
    1 points 0
  10. 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 35
  11. It's Lit: A GitHub template to automate greening your Git commit graph (github.com)
    1 points 0
  12. Configuration Files in Terms of User Empowerment (informal.systems)
    2 points 1
  13. Start with Worker Self-Directed Enterprises (thenextsystem.org)
    2 points 0