The Curious Engineer

All blogs / OS / kernel

yodaiken.com

yodaiken.com

OS / kernelMathCComputing history

’10’15’20’25
Posts
36 from 1 Jun 2009 to 1 Sep 2026
Posting
monthly (8 in the last year)
Kind
personal blog

2026 6

  1. C Standards: the triumph of bureaucracy
  2. Scientific credibility and IEEE
  3. State machine methods
  4. C23 standard (final draft)
  5. Process algebra and automata theory
  6. Digital Circuits as Moore Machines

2025 5

  1. Von Neumann on the empirical roots of mathematics
  2. Specifying digital systems using sequential functions
  3. Specifications like temporal logic but with ordinary mathematics
  4. Rabin-Scott Finite Automata and Their Decision Problems
  5. rabin-scott

2024 3

  1. Al Gore, the Internet, and the Media
  2. RTLinux retrospective
  3. Kuth’s Merge Sort in C

2023 3

  1. don’t defer
  2. Large State Machines and Sequential functions
  3. State machines for large scale computer software and systems

2022 3

  1. Loop free products
  2. Mathematics errors in computer science
  3. The automata theoretic roots of process algebra.

2021 3

  1. PLOS paper ISO C is not suitable for operating systems.
  2. Ritchie on aliasing
  3. C89 The ANSI standard.

2019 3

  1. 1 Comment on Paxos demystified
  2. Download
  3. Von Neumann’s critique of automata theory and logic in computer science

2018 2

  1. Three modest proposals for the C standard WG14
  2. Torvalds on aliasing

2016 5

  1. 3 Comments on circularity problems in distributed consensus
  2. Making paxos face facts
  3. State equations
  4. Steps.pdf
  5. A mathematical basis for understanding software modularity

2009 3

  1. Wind River sold to Intel: more reaction
  2. 1 Comment on Wind River purchased by Intel
  3. previous note