Clik here to view.
Dissing the PDP11
In computer science academia, C along with UNIX, and PDP11s, is as unfashionable as can be: the equivalent of other 1970’s relics, like polyester leisure suits and mullets. In 2018 ACM Queue published...
View ArticleMemory model and semantics for C
A perceptive note from Linus Torvalds about the C/C++ “memory model” is reproduced below. From Linus Torvalds <> Date Thu, 7 Jun 2018 08:40:49 -0700 Subject Re: LKMM litmus test for Roman...
View ArticleClik here to view.
Open Source, Free Music Downloading, and Intellectual Property
Mark Twain, via Wikimedia. “A day is coming, when, in the eye of the law, literary property will be as sacred as whisky, or any other of the necessaries of life.” —Mark Twain” Inventors, programmers,...
View ArticleThreads in C
There is a nice example thread semantics in a paper by David Goldblatt (P1916R0) which illustrates a couple of things about multi-core processing – including how interesting it is and how poorly...
View ArticleLecture notes on Paxos
PAXOS – (c) Victor Yodaiken, 2022 These are the lecture notes, or see the paper. 1. Really clever distributed consensus algorithm by Leslie Lamport A. Infamously hard to understand - but not...
View ArticleProcess algebra and automata theory
Milner’s Communication and Concurrency contrasts a notion of “bisimulation” with what he characterizes as the view in standard automata theory. Standard automata theory, however, has a much more...
View ArticleUnforgivable C programming 1
As many people never tire of explaining, the C language is obsolete, unsafe, unwelcome in polite company and generally looked down on by thought leaders and adepts of λ calculus alike. Here’s a...
View ArticleMathematics errors in computer science
A trivial theorem, more of a tautology, on networking and Turing’s deep theorem on decidability are both widely cited, widely misunderstood and widely misapplied in computer science. It is often...
View Articledon’t defer
There is a proposal to add “defer” to C. Its biggest example is taken from code that was originally designed to not manage storage at all, but to run once and exit – delegating all the cleanup to...
View ArticleKuth’s Merge Sort in C
Taken from Knuth Algorithm S mergesort P162-163 Vol 3 Second edition 1998 The major change is that the scratch buffer is not required to be adjacent and there are some changes because C array indexing...
View ArticleAl Gore and the Internet
From https://web.eecs.umich.edu/~fessler Here is the definitive statement on Gore's involvement in "inventing" the Internet, from the guys who really did:...
View Article