Articles by vy

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

Current reading: July 8 2017

July 8, 2017 | 0 Comments

Principal type-schemes for functional programs∗ Luis Damas† and Robin Milner First published in POPL ’82: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on [...]

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

Basic math for basic algorithms

June 9, 2017 | 0 Comments

It’s odd that all the descriptions of basic programming operations, such as sorting, rely on pseudo code or complex formal logic. All we are doing is modifying finite [...]
1 2 3 11