HNHacker News
TopNewBestAskShowJobs

abathologist

563 karma · joined November 18, 2014

I am interested in functional programming and logic programming and have a background in philosophy.

Find me at http://shonfeder.net/

submissionscomments

How Modern Fascism Works – End Times Fascism – Naomi Klein and Astra Taylor

youtube.com·2 pts·abathologist·
0

"Letter to Alan Turing" – Giuseppe Longo (2018) [pdf]

di.ens.fr·1 pts·abathologist·
1

Epstein Sought to Establish Behavioral Engineering Institute at Stanford

stanfordreview.org·10 pts·abathologist·
1

Functional Networking for Millions of Docker Desktops [video]

youtube.com·2 pts·abathologist·
0

C1ick and C⊗LLec⊥: Interactive linear logic prover

click-and-collect.linear-logic.org·1 pts·abathologist·
1

OPAM repository for OCaml with Jane Street extensions

github.com·2 pts·abathologist·
1

Notes on Nothing (2023)

interactions.acm.org·1 pts·abathologist·
0

Quint: A specification language based on the temporal logic of actions (TLA)

github.com·110 pts·abathologist·
35

It's Lit: A GitHub template to automate greening your Git commit graph

github.com·1 pts·abathologist·
0

Configuration Files in Terms of User Empowerment

informal.systems·2 pts·abathologist·
1

Start with Worker Self-Directed Enterprises

thenextsystem.org·2 pts·abathologist·
0