Stories by mindcrime

GNU Forth

Google Brain's Jax and Flax

Write a Shell in C

Pocket Computers from the 1980's

Hacker – A Computational Model of Skill Acquisition (1973) [pdf]

A Description Logic Primer

Login

Propositional Dynamic Logic

Feynman – There's Plenty of Room at the Bottom

High Voltage “Lifter”

Mathematics as a Second Language

Apache OpenOffice 4.1.8 Is Released

Larry Wos – Still Fascinated by Automated Reasoning (2018)

Three Hundred Million Downloads of Apache OpenOffice

Why is the word 'quixotic' pronounced as it is?

Measure, Integration, and Real Analysis – Sheldon Axler (Open Access)

Qiskit release comprehensive textbook for all to learn basic quantum computing

New Steve Jobs recordings from the '80s released

Whatever Happened to Formal Methods?

GNU Radio Conference 2020 (Day 1)

16
17
18
19
20
21
22
23
24
25