Skip to content

Top Best Ask Show New Jobs

abathologist | Better HN

abathologist

538 karmaJoined November 18, 2014158 submissions

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

Find me at http://shonfeder.net/

Recent submissions

1

"Letter to Alan Turing" – Giuseppe Longo (2018) [pdf] (opens in new tab)

(di.ens.fr)PDF

1abathologist3mo ago1

2

Epstein Sought to Establish Behavioral Engineering Institute at Stanford (opens in new tab)

(stanfordreview.org)

10abathologist3mo ago1

3

Functional Networking for Millions of Docker Desktops [video] (opens in new tab)

(youtube.com)Video

2abathologist7mo ago0

4

C1ick and C⊗LLec⊥: Interactive linear logic prover (opens in new tab)

(click-and-collect.linear-logic.org)

1abathologist9mo ago1