In Memory of Jim Weirich, RIP.

Eben Moglen: Snowden and the Future

Levels of Excellence, insightful post by John Baez.

speaking.io, thoughts on public speaking by Zach Holman.

Breaking Row Boundaries in a Fully Justified Tile Layout (PDF), by Devon Rifkin of Yahoo Magazines.

Notes on Structured Programming (PDF), by Edsger W. Dijkstra. Required reading. (This is the nicely typeset version.)

A subfield-logarithm attack against ideal lattices, explained by djb.

Apple’s SSL/TLS bug

TACK, a TLS pinning scheme.

Uncrustify, a highly configurable, easily modifiable source code beautifier for C and similar languages.

The pundits tool-chain from the NPC Guild, intriguing slew of Unix tools by Kevin S. Braunsdorf.

Did English ever have a formal version of “you”?

How 70,000 Pokemon Players Sabotage Themselves

x86 is Turing-complete with no registers

Network Stack Specialization for Performance (PDF), by Ilias Marinos, Robert N.M. Watson, and Mark Handley. “Based on Netmap, our novel approach merges application and network-stack memory models, aggressively amortizes stack-internal TCP costs based on application-layer knowledge, tightly couples with the NIC event model, and exploits low-latency hardware access.”

A String of Pearls: Proofs of Fermat’s Little Theorem (PDF), by Hing-Lun Chan and Michael Norrish. Uses HOL4.

Actors are overly nondeterminstic, the proposed Process type sounds useful.

The incredible hulks: Jonathan Meades’ A-Z of brutalism

Venn diagram of 7 sets

Classic Movies in Miniature Style, must see.

Manifesto for Half-Arsed Agile Software Development

We interrupt our regular schedule for a Flappy Bird special issue.

Flappy Bird Typing Tutor

First Person Flappy Bird

Flappy Bird MMO

Analysis of 419,000 FlapMMO attempts

Flappy Doge

Squishy Bird

Flappy Space Program

Maverick Bird

Flappy Mouse

Flaptris

Megaflap

Flappy Portal

Flappy Bird hack using Reinforcement Learning

Flappy Math Saga

Flappy Bird for Commodore 64

Veccy Bird for Vectrex

FlappyCoin

Flappyjam, more flappylikes!

How To Beat Flappy Bird (Best Method)

Chuck Norris vs Flappy Bird

Entropy Attacks! djb blogs!

Broken by design: systemd, Rich Felker says. (And he is right, of course.)

mbox is a lightweight sandboxing mechanism that any user can use without special privileges on Linux. Use of seccomp/BPF is interesting.

How to handle success, a survey of exception syntax.

Categories in Control, talk by John Baez. Very helpful slides.

Bruce Sterling on The Setup.

2001: A Space Odyssey, “Stanley Kubrick’s 1968 sci-fi masterpiece seems an appropriate place to start a blog about typography in sci-fi.”

Flappy bird?, JS remake.

Clumsy bird, another remake.

Another one

The Pipes Are My Solitude

Pete Seeger, as remembered by Josh Marshall.

OpenSSH 6.5 has been released. Yay!

Programming with Transition Diagrams (1978, PDF), by John C. Reynolds. This is the first time I’ve seen use of Hoare logic to construct a correct program, and not merely prove a program correct a posteriori. Contains beautiful reasoning about imperative programs.

redux, an implementation of redo in Go.

Why I like Java, by Mark J. Dominus.

Jack Kerouac’s Hand-Drawn Map of the Hitchhiking Trip Narrated in On the Road

Musicless Musicvideo: Nirvana—Smells Like Teen Spirit

Ich schrieb einen Daemon in …

cURL an image!