abathologist's submissions

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