HN
Paper
All
Show
Ask
Jobs
Top
Today
Last 7 days
Last months
This year
Statistics
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Statistics
Stories by
abathologist
"Letter to Alan Turing" – Giuseppe Longo (2018) [pdf]
1 points
abathologist
2026-03-18T23:55:32Z
www.di.ens.fr
Epstein Sought to Establish Behavioral Engineering Institute at Stanford
10 points
abathologist
2026-02-27T16:49:51Z
stanfordreview.org
Functional Networking for Millions of Docker Desktops [video]
2 points
abathologist
2025-11-11T16:26:31Z
www.youtube.com
C1ick and C⊗LLec⊥: Interactive linear logic prover
1 points
abathologist
2025-08-31T22:57:48Z
click-and-collect.linear-logic.org
OPAM repository for OCaml with Jane Street extensions
2 points
abathologist
2024-09-02T22:47:36Z
github.com
2 points
abathologist
2024-02-15T17:31:49Z
news.ycombinator.com
Notes on Nothing (2023)
1 points
abathologist
2024-01-14T14:56:20Z
interactions.acm.org
Quint: A specification language based on the temporal logic of actions (TLA)
12 points
abathologist
2023-12-19T11:19:55Z
github.com
It's Lit: A GitHub template to automate greening your Git commit graph
1 points
abathologist
2023-06-06T13:25:33Z
github.com
Configuration Files in Terms of User Empowerment
2 points
abathologist
2020-11-17T16:37:06Z
informal.systems
Start with Worker Self-Directed Enterprises
2 points
abathologist
2020-02-10T19:52:45Z
thenextsystem.org