Stories by f-algebra

Carl Sagan: The Age of Exploration (1994)

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)

Apple is said to have turned over data on McGahn

Fileformat.info Site Search

Load .vue files directly from your HTML without build step needed

The Hyperinflation Gallery

Ask HN: What are the key items to cover to land an entry level developer role?

Checkerboarding (Land)

Writing a plugin for the Faqtor task runner

Show HN: Faqtor – Promise-based build automation for Node.js

1
2
3
4
5
6