abathologist's submissions

1.		Epstein Sought to Establish Behavioral Engineering Institute at Stanford (stanfordreview.org)
		10 points by abathologist 6 days ago \| past \| 1 comment
2.		Functional Networking for Millions of Docker Desktops [video] (youtube.com)
		2 points by abathologist 3 months ago \| past
3.		C1ick and C⊗LLec⊥: Interactive linear logic prover (linear-logic.org)
		1 point by abathologist 6 months ago \| past \| 1 comment
4.		OPAM repository for OCaml with Jane Street extensions (github.com/janestreet)
		2 points by abathologist on Sept 2, 2024 \| past \| 1 comment
5.		Notes on Nothing (2023) (acm.org)
		1 point by abathologist on Jan 14, 2024 \| past
6.		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
7.		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
8.		Configuration Files in Terms of User Empowerment (informal.systems)
		2 points by abathologist on Nov 17, 2020 \| past \| 1 comment
9.		Start with Worker Self-Directed Enterprises (thenextsystem.org)
		2 points by abathologist on Feb 10, 2020 \| past