The Curious Engineer

All blogs / OS / kernel

yodaiken.com

yodaiken.com

OS / kernelMathCComputing history

’05’10’15’20’25
Posts
456 from 19 Dec 2004 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 7

  1. Loop free products
  2. Mathematics errors in computer science
  3. Unforgiveable c programming
  4. The automata theoretic roots of process algebra.
  5. https://www.yodaiken.com/2022/04/21/4661/
  6. Threads in c
  7. Open source free music downloading and intellectual property

2021 7

  1. PLOS paper ISO C is not suitable for operating systems.
  2. Memory model and semantics for c
  3. Your computer is a fast pdp 11 and more on c the c standard and computer architecture
  4. Undefined behavior in c is a reading error
  5. C is not a serious programming language
  6. Ritchie on aliasing
  7. C89 The ANSI standard.

2020 1

  1. Sorting algorithms as recursive functions

2019 5

  1. 1 Comment on Paxos demystified
  2. Download
  3. The halting problem has nothing to do with computers
  4. Semiotics of functional programming
  5. Von Neumann’s critique of automata theory and logic in computer science

2018 20

  1. Undefined behavior and the purpose of c
  2. Spanner in the works
  3. Comrades cheyne and stokes and mathematics
  4. Flat address spaces another crank idea for computer architecture
  5. Practical uses of synchronized clocks liskov
  6. Three modest proposals for the C standard WG14
  7. Vector optimization with c aliasing
  8. Torvalds on aliasing
  9. Pointer alias analysis in c
  10. Judea pearls mysterious claim
  11. Depressing and faintly terrifying days for the c standard
  12. Scott aaronsons handwringing
  13. Clock sync in finance and beyond
  14. Trees in informal methods
  15. Linked lists
  16. New and or notable
  17. Xor
  18. More ub madness from llvm clang
  19. Informal methods applied to networks and timeouts
  20. Current reading meltdown and spectre edition

2017 10

  1. Types considered harmful ii
  2. Current reading august 2017
  3. The crackpot google manifesto
  4. Google manifesto shows that many programmers are bad at logic
  5. Sorting and groups
  6. C compiler developers are hostile to c programming
  7. Current reading july 8 2017
  8. The c standard versus c and the mother of all hacks
  9. The c standard committee effort to kill c continues
  10. Basic math for basic algorithms

2016 28

  1. Computer science as a scholarly discipline
  2. Current reading
  3. Time out of joint
  4. Chang maxemchuk atomic broadcast
  5. Data base design criteria ease of use
  6. Distributed consensus and network reliability
  7. The replicated state machine method of fault tolerance
  8. 3 Comments on circularity problems in distributed consensus
  9. Making paxos face facts
  10. State equations in practice
  11. State equations
  12. Steps.pdf
  13. Cutting and pasting about kodaks demise
  14. Rtlinux
  15. Synchronous processors
  16. Ieee 1588 ptp is a mess
  17. Mifid ii clock sync talk at bank of england april 12 2016
  18. Operations and maps on finite sequences
  19. The difference between unspecified undefined and non deterministic
  20. Software quality at toyota
  21. A mathematical basis for understanding software modularity
  22. One way queues
  23. The auragen file system
  24. Paxos and other consensus algorithms draft
  25. Keynes apology
  26. Process algebra versus state machines part 1
  27. More on fischer lynch patterson and the parrot theorem
  28. Esma clarifies time sources for mifid ii

2015 27

  1. Practical state machines for computer software and engineering
  2. Theories of abstract automata arbib
  3. Mifid ii gps and utc time
  4. Kirkharts conjecture
  5. Relaxed memory order
  6. Algebra for computer science and function nesting
  7. https://www.yodaiken.com/2015/11/05/2121/
  8. Patent 5995745
  9. Ultrafinitism
  10. Windows support in timekeeper and mifid ii compliance
  11. Mifid2 and security keeping track of the money
  12. Mifid2 timestamp regulations
  13. Risc v and bloat
  14. Annals of unintentional irony
  15. What does the unix file system do
  16. The enterprise profile for ptp and timekeeper
  17. Primitive recursion over words
  18. Smart and dumb clients and the so called best master clock algorithm in ptp ieee 1588
  19. Update of unix filesystem paper
  20. German banking
  21. https://www.yodaiken.com/2015/07/28/1967/
  22. The opm break in was super horrific
  23. Ikea and redhat
  24. Gilbert and sullivans innovative business model
  25. Space x patents
  26. Einstein and peer review
  27. Pointers draft

2014 36

  1. How business works in the real world apple and gt and beelzebub
  2. Project roseline
  3. Telecom is 10 years behind wall street on time synchronization
  4. Why is computer science education so horrible
  5. Jp morgan security breach
  6. Paths versus recursion
  7. What happens when you do not use enterprise quality technology
  8. https://www.yodaiken.com/2014/09/20/1822/
  9. Why is clock synchronization so important in big data
  10. A claimed validate operating system
  11. https://www.yodaiken.com/2014/09/16/1811/
  12. Casandra
  13. A hard theorem becomes easy over time
  14. From jersey to wall street or the equivalent
  15. Real time linux
  16. The horrors of software patents
  17. https://www.yodaiken.com/2014/06/18/1733/
  18. The technology disconnect
  19. Back in the day
  20. Heartbleed and open source
  21. Measuring ntpd in the cloud ii
  22. Economics of free software
  23. Measuring clock synchronization in the cloud ntpd versus timekeeper
  24. https://www.yodaiken.com/2014/04/07/1668/
  25. At issue in apple versus samsung patent fight
  26. Cassandra cluster synchronization
  27. Ntpd dos attacks
  28. Data tiedowns with reliable time stamping
  29. Challenges upgrading time synchronization in a global financial company
  30. Data integrity depends on time synchronization
  31. Time maps for visualizing time distribution networks
  32. Time synchronization in the cloud
  33. https://www.yodaiken.com/2014/01/21/1631/
  34. Mitre and gps spoofing
  35. Challenges deploying ptpv2 in a global financial company
  36. The business case for being time protocol agnostic

2013 7

  1. Patent reform modest proposal
  2. A basic design error in software – keeping simple
  3. Paying for music
  4. I just dont know what to say
  5. The terrible effect of krohn rhodes
  6. What are patents for
  7. Obamas big data team

2012 11

  1. Big data and politics
  2. Free software patents alan cox
  3. Samsungs trail brief in the apple patent lawsuit
  4. Timekeeper server
  5. Free software and newspapers
  6. Timestamp based reconciliation
  7. Murdoch strikes against copyrights
  8. Loose cables at cern and time synchronization is hard
  9. Manufacturing and devices
  10. Julia programming language and hadoop
  11. The unix file system as a recursive function

2011 21

  1. Apples a5 chip made in austin
  2. Richard stallman speaks
  3. Dennis ritchie
  4. https://www.yodaiken.com/2011/10/08/1207/
  5. The multics file system
  6. Fukushima robot blog
  7. Computer architecture power and php
  8. Sinking in too many layers
  9. Vcs bailing on signed term sheets
  10. American corporate management
  11. Apples patents possibly covering android
  12. Computer science 101
  13. Dutch masters
  14. Why computers are more and more devices for generating heat from electricity
  15. Dropbox shows utility of regression tests
  16. Information technology for medical care
  17. Boeing security
  18. The wizards of finance
  19. Industrial robots state of the art
  20. Security news
  21. Incumbent capitalism

2010 49

  1. Corporate organization in the modern age
  2. The internet as we know it
  3. Wikileaks
  4. Copyright in a networked world
  5. Branchless bankingmicro finance and wal mart
  6. Airbus computer and electrical problems
  7. Free and open source licenses
  8. Corporate law and programming state of the art
  9. Modern corporate america meets fsmlabs
  10. Why microkernels dont work
  11. Shocking advances in operating systems
  12. Social network and lessig
  13. Mobile phone faking in china
  14. State of the art
  15. Security versus the dreaded cleanup
  16. Processor architecture
  17. Memories
  18. Virtualization and power use and spreadsheet games
  19. Microsoft by the numbers
  20. Doing it wrong poul henning kamp
  21. Process algebra reconsidered
  22. R l moore topologist and racist
  23. Out of the loop in silicon valley
  24. More state diagrams
  25. Limits of state diagrams
  26. How much should software cost
  27. Computer science as a failed discipline again
  28. Notes on modularity
  29. Oh snap maurice wilkes on alan turing
  30. Peer review in the electronic age
  31. Continuing mathematician sanity thread boltzmann
  32. More computer science as humbug
  33. Shape of the internet
  34. Power savings via software
  35. Queues and algebra
  36. Simple lemma about pipelines
  37. The amory lovins bottleneck
  38. An interesting article in acm communications is the world ending
  39. Toyotas problem hardware weenies and poor accounting practices
  40. Recursion and state update
  41. Sequential and combinational state machines
  42. Instructions per joule a good start
  43. Linux semaphores
  44. Why computer science is a failed field 2
  45. Linux descends into priorty inheritance hell
  46. State machines and circuits
  47. Bias in academic reviewing
  48. Public spirit of programmers
  49. Computer science as a failed discipline

2009 57

  1. Security for dummies a lesson for smart grid
  2. Fake steve jobs then i hung up
  3. Green energy and smart devices
  4. The elusive open source business model
  5. Multicore and multiprocessor performance
  6. 10th anniversary of the rtlinux manifesto paper
  7. The ridiculous gpl only tagging of linux
  8. Recursive transducers and products pre submit version
  9. Software design and time synchronization
  10. More petty
  11. Montavista thoughts
  12. Montavista f f fades away
  13. Process algebra and classical automata
  14. Parallelism and multicore
  15. More china manufacturing
  16. China manufacturing
  17. Godels lost letter
  18. Primitive recursion and transducers
  19. Deterministic multithreading
  20. Ieees war on science
  21. Parallel processing and bash reduce
  22. Rtos design and embedded system development
  23. Mathematics education needs probability
  24. Wind power slowdown in germany
  25. Process algebra
  26. The source of error
  27. Chrome os
  28. Os design
  29. Robin milner and automata theory
  30. Recursion and state
  31. State machine functions and recursive composition
  32. Wind River sold to Intel: more reaction
  33. Unnovation
  34. 1 Comment on Wind River purchased by Intel
  35. previous note
  36. Department of hell freezing over
  37. Virtualization versus physicalization
  38. Organizational man
  39. The train to the terminal station
  40. The cell phone market in brief
  41. Venture capital short term and india
  42. The ultimate snarky geeky sun fail post
  43. Suns tracking sgi
  44. Sgi assets to rackable the mighty have fallen
  45. Power systems reliability challenges
  46. Happy birthday to emmy noether
  47. Software comes from the sky and labor is overpaid not
  48. Program structure and threads
  49. Marine one blueprints via pirates bay
  50. Aig and me
  51. Are threads evil
  52. Venture capital falls off the cliff
  53. Mobile device security and president obama
  54. Satyam explodes
  55. Great software patents: fault tolerance – keeping simple
  56. fault tolerant patent – keeping simple
  57. Fault tolerant patent application for virtual machine

2008 41

  1. The coming bust in venture cap – keeping simple
  2. Apple’s spotlight and future databases – keeping simple
  3. the male weirdness of computer science – keeping simple
  4. Updated Dijkstra vs Perlis (really, DeMillo) – keeping simple
  5. Costs of not building security into the system – keeping simple
  6. Supercomputing and mathematica – keeping simple
  7. Dijkstra versus Perlis (updated) – keeping simple
  8. Most influential software company in America – and maybe the world – keeping simple
  9. FSMLabs move to New Zealand is postponed indefinitely – keeping simple
  10. future of the data center – keeping simple
  11. Operating system research – 16 years perspective – keeping simple
  12. Avaya’s bizzare business model – keeping simple
  13. Reliable broadcast algorithms: after 20 years – keeping simple
  14. Investors and software patents – keeping simple
  15. SCADA system security in the internet era – keeping simple
  16. Cleantech and history of software – keeping simple
  17. Patent trolling and guilty knowledge – keeping simple
  18. US Elections and startup/small-business economics – keeping simple
  19. more security databases – keeping simple
  20. why databases are more interesting than operating systems – keeping simple
  21. Meaning of concurrent programs and IP – keeping simple
  22. Updated: meaning of concurrent programs – keeping simple
  23. More on common weakness – keeping simple
  24. Common Weakness Enumeration – keeping simple
  25. New paper “H2” on operating system semantics – keeping simple
  26. operating systems are harder than quantum physics – keeping simple
  27. clouds versus pcs – keeping simple
  28. linux kernel – keeping simple
  29. who should control the internets – keeping simple
  30. end to end design versus BOM design – keeping simple
  31. we uh, threw those disk drives away, your honor. – keeping simple
  32. South by Southwest and Apple versus Dell – keeping simple
  33. Sorcerers apprentice at ATT: Security and privacy and reliability collide again – keeping simple
  34. Yale Patt on Abstraction – keeping simple
  35. The smart phone patent – keeping simple
  36. Google’s engineering culture – keeping simple
  37. The forefront of Internet 2.0+ and stuff – keeping simple
  38. Boeing’s clever idea – keeping simple
  39. blog administration – keeping simple
  40. what do we got to verify in an os? – keeping simple
  41. Update to blog – keeping simple

2007 60

  1. Happy new year and validation – keeping simple
  2. Cell phone handsets and linux and software value – keeping simple
  3. imitation hemingway winner repost – keeping simple
  4. formal methods considered harmful and more on soft real-time – keeping simple
  5. Are programmers smarter than Hollywood writers after all? – keeping simple
  6. Soft real-time and QOS (revised) – keeping simple
  7. Free digital content and the daily show – keeping simple
  8. Hollywood writers are smarter than programmers – keeping simple
  9. Sparc T2 (niagra 2) – keeping simple
  10. OpenBSD developer notes king’s clothing is “virtual” – keeping simple
  11. The Linux community – keeping simple
  12. Distributed shared memory from first principles – keeping simple
  13. Smart engineering design – keeping simple
  14. more on missed wakeup – keeping simple
  15. Death of 1000 suboptimal solutions – keeping simple
  16. Data structures and algebra – keeping simple
  17. The lost wakeup problem – keeping simple
  18. Silver Bullets – keeping simple
  19. Two new web sites – keeping simple
  20. Exciting moments in fiber – keeping simple
  21. OSIM Madrid and Value Manifolds – keeping simple
  22. Thinking like a subcontractor – keeping simple
  23. Apple’s strategic brilliance – keeping simple
  24. Carbon neutral processors and ecocidal operating systems – keeping simple
  25. Underlying requirement for hard real-time – keeping simple
  26. universal machinery – keeping simple
  27. DRM python sets another coil – keeping simple
  28. GPL Interface arguments and proprietary kernel modules – keeping simple
  29. Easy patent solution: Exponential method – keeping simple
  30. Notes on unintended security effects – keeping simple
  31. notes on fault tolerance – keeping simple
  32. Building what customers want – keeping simple
  33. DRM and Trusted Boot: is Sili valley following Detroit? – keeping simple
  34. Specifying the UNIX file system – keeping simple
  35. Formal methods for doing what? – keeping simple
  36. Chapter 2: liveness and scheduling – keeping simple
  37. They took all the water, what could I do? – keeping simple
  38. Operating system design and specification: Part 1. – keeping simple
  39. Lots of great inventions seem obvious in retrospect…. – keeping simple
  40. Certified good – keeping simple
  41. Benchmarking real-time – keeping simple
  42. Free as in double espresso – keeping simple
  43. Prelapsarian software – keeping simple
  44. Still trying after all these years – keeping simple
  45. Net neutrality and real-time – keeping simple
  46. Security cannot be improved by waving flags – keeping simple
  47. Transaction costs are good: software patent debate continues – keeping simple
  48. Enterprise file systems – keeping simple
  49. Enterprise operating systems – keeping simple
  50. Software patents are so different from circuit patents (really!) – keeping simple
  51. Low wage programming – keeping simple
  52. Watering down computer science, Java, and feminism – keeping simple
  53. Difference between theory and practice in security and reliability. – keeping simple
  54. Operating system interfaces are what you bump into… – keeping simple
  55. Moving on – keeping simple
  56. Security notes – keeping simple
  57. Jim Gray and the existence of working software – keeping simple
  58. Books on operating system design and paleontology – keeping simple
  59. When mathematicians get mad – keeping simple
  60. Digital rights management catastrophe continues to approach – keeping simple

2006 33

  1. Talmudic codes – keeping simple
  2. Elegance shmelagance, the Le Corbusier fallacy again (rev3). – keeping simple
  3. Free software economics – keeping simple
  4. Bitkeeper and tossing crates of money out the windows (vistas) – keeping simple
  5. Adding value to Windows – keeping simple
  6. Plagiarism watch – keeping simple
  7. Formal methods and verification – keeping simple
  8. The Embedded Enterprise, Pruit-Igoe, Ayn-Rand, the telecommunications stack and why software does not suck – keeping simple
  9. Back from India – keeping simple
  10. Another version of the slow moving recursive equations paper. – keeping simple
  11. On the way to India – keeping simple
  12. Soft real time continues to sag – keeping simple
  13. Amar G. Bose on business – keeping simple
  14. Soft real-time and soft design strategies versus QOS – keeping simple
  15. Programming design style – keeping simple
  16. Afghanistani mountain village ponders Microsoft business tactics – keeping simple
  17. The embedded enterprise – keeping simple
  18. Speculation on modularity and information theory – keeping simple
  19. multicore and virtualization and real-time provisioning – keeping simple
  20. Single core cell phone solution and marketing vs engineering – keeping simple
  21. GreenHills, foreigners, and the gummi bear threat – keeping simple
  22. Microkernels and why academic OS research is boring – keeping simple
  23. Pitiful formal methods in computer science – keeping simple
  24. Above all, the SUSPENSE: Wind River’s DSO with Robert Mitchum and hippies! (updated) – keeping simple
  25. Paul Erd̦s day Рkeeping simple
  26. Spinning the press about technology – keeping simple
  27. Auragen computers remembered – keeping simple
  28. AMD powered 16 core systems are real – keeping simple
  29. The long haul in the embedded software business. – keeping simple
  30. PowerPoint and RocketScience II – keeping simple
  31. Digital Rights Management and Logic – keeping simple
  32. Power Point, Rocket Science and dangers of compelling stories – keeping simple
  33. Formal methods and academic computer science – keeping simple

2005 8

  1. Why programs fail and get hacked – keeping simple
  2. Priority Inheritance: Hack or Error – keeping simple
  3. Proving Operating Systems Correct:#8 – keeping simple
  4. Handbook of Networked and Embedded Control Systems – keeping simple
  5. Comparing VXworks to RTLinux – keeping simple
  6. The romance of trade and fuzzy slippers – keeping simple
  7. Spyware and Security – keeping simple
  8. RTLinux easy but RT hard. – keeping simple

2004 5

  1. Embedded productivity and engineering skills – keeping simple
  2. Synchronization blues – keeping simple
  3. Soft real-time and software costs – keeping simple
  4. Class and lack thereof – keeping simple
  5. What is software security for – keeping simple

Undated 6

  1. Notes on security and common criteria
  2. The rtlinux patent 5995745
  3. Download code
  4. Groundbreaking treatise on state machines paxos specification
  5. Image
  6. Quote