keeping simple yodaiken.com

Von Neumann on the empirical roots of mathematics

yodaiken.com·21w

Specifying digital systems.

yodaiken.com·25w

Specifications like temporal logic but with ordinary mathematics

yodaiken.com·30w

Rabin-Scott Finite Automata and Their Decision Problems

yodaiken.com·68w

Al Gore and the Internet

yodaiken.com·74w

RTLinux retrospective

yodaiken.com·87w

Kuth’s Merge Sort in C

yodaiken.com·121w

don’t defer

yodaiken.com·128w

State machines for large scale computer software and systems

yodaiken.com·157w

Mathematics errors in computer science

yodaiken.com·187w

Unforgivable C programming 1

yodaiken.com·192w

Process algebra and automata theory

yodaiken.com·210w

Lecture notes on Paxos

yodaiken.com·213w

Log in to enable infinite scrolling