The UNIX file system design is one of the most brilliant constructions in programming with a combination of conceptual simplicity, utility, and suitability for implementation that is hard to match. (Note: this last quality is something that is prized in
Formal methods for doing what?
John Regehr’s question below gets to one of the basic problems I see in the field of “formal methods” – the general failure of researchers in the field to look at experimental data and the operation of actual systems. The
Chapter 2: liveness and scheduling
Draft is available https://www.yodaiken.com/papers/rec.html
They took all the water, what could I do?
We’re in process of moving to Austin Texas where the humidity should help ripen new ideas.
Operating system design and specification: Part 1.
[Note: This is the first in a series of “chapters”. I’ll be revising as I see errors and in response to comments. As usual, this material is copyright Victor Yodaiken and rights are given to make, but not sell, verbatim
Lots of great inventions seem obvious in retrospect….
“Lots of great inventions seem obvious in retrospect. About 30 years ago, one of our clients realized that if you attach a small pom-pom to the back of a short tennis sock, the sock won’t slip down into your tennis
Certified good
Take that, doubters.
Benchmarking real-time
We’ve got time to develop some comprehensive benchmarks of other proposed “real-time Linux” solutions and I’ve started reading up on published benchmarks. We had the advantage of a large number of customers with real applications to assist us in figuring
Free as in double espresso
Good news as coffee distribution giant Starbucks comes to an agreement with Ethiopia about coffee ip. The case for Ethiopia owning trademarks to its own famous brands is simple: the value line in coffee production is drawn near the cup,
Prelapsarian software
In the myth, back in the good old days of the MIT AI lab, programmers lived by the hacker ethos and were above such low things as trade and commerce. Scientifically, it’s clear that the AI Lab was the least