Uncategorized

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, [...]

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 [...]

Types considered harmful

June 10, 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, [...]

Current reading

December 8, 2016 | 0 Comments

Wadler’s influential “monads” paper for Haskell. It seems like a classic case of making something simple sound profound and mysterious.  And companion [...]

Relaxed memory order

November 16, 2015 | 0 Comments

Two interesting posts on the order in which reads and writes happen and are made visible on shared memory multi-processors.  X86 has a strong memory model in which if X=Y=0 [...]

JP Morgan Security Breach

October 3, 2014 | 0 Comments

“Faced with the rising threat of online crime, JPMorgan has said it plans to spend $250 million on digital security annually, but had been losing many of its security [...]

Paths versus Recursion

October 2, 2014 | 0 Comments

/* * Iterative DepthFirst file list (c) Victor Yodaiken 2013 * * "Not the way we do it in Brooklyn" - Dave "Kinch" Arnow. * * * Data structure is P - the current path, with [...]
1 2 3 12