Current reading: meltdown and spectre edition

January 4, 2018 | 0 Comments

Google project zero and then The two attacks.   and remediation for Spectre in LLVM. Test code.  (via Limits of ASLR.  Spanner,True Time and CAP   See also [...]

Types considered harmful II

November 30, 2017 | 0 Comments

Russell introduced what is often viewed as his most original contribution to mathematical logic: his theory of types—which in essence tries to distinguish between sets, [...]

Bad ideas in type theory

September 15, 2017 | 0 Comments

Types as sets and subtypes as subsets.  This may be due to confusing usage in mathematical practice where, for example, we often see references to integers as a subset of [...]

Current reading August 2017

August 20, 2017 | 0 Comments

Two-way string matching  And an implementation in Musl. The C standard post C11 The Rube-Goldberg approach to fault tolerance in NTPd  which is not worse than PTP fault [...]

The crackpot Google manifesto

August 16, 2017 | 0 Comments

The  Google manifesto  is primarily a conservative political rant, not a scientific argument. Damore claims that any program to encourage hiring and promotion of women and [...]

Sorting and groups

July 22, 2017 | 0 Comments

I can’t find much reference to this in the literature (see Maus for some hints and an interesting paper) , but surely people have looked at sorting as a problem in [...]
1 2 3 41