Stories by ggm-at-algebras

Frank Herbert on Environmentalism

Surviving Progress (2015)

Twitter is bad for me and it’s probably bad for you too (2017)

Comparison of Two Theorem Provers: Isabelle/HOL and Coq

Direct search methods: then and now

Tortoises and Hares: Choice Among Technologies of Unknown Merit

Lambda Calculus for Engineers [pdf]

E-Prime as a tool for critical thinking [pdf]

Deep Blue Cannot Play Checkers: The Need for Generalized Intelligence

Scientific Realism and the 'Pessimistic Induction'

Google Will Eat Itself (2014)

Why there won’t be a robot uprising any time soon

Ebooks Are an Abomination

Where are the small molecule drugs to treat Covid-19?

UK court rules in favor of Craig Wright over copyright of Bitcoin white paper

The Magpies of Western Australia

The Challenges of Animal Translation

Ask HN: Why can't kindles “nest” data structures?

The slow train to South Bend

Uber drivers entitled to workers' rights, UK Supreme Court rules

3
4
5
6
7
8
9