The Feynman Lectures on Physics, all three volumes are online now.

The poisoned NUL byte, 2014 edition, by Chris Evans.

OCaml 4.02.0 has been released with many cool new features.

The fundamental problem of programming language package management, by Edward Z. Yang.

EdDSA for OpenPGP, internet draft.

Elucidative Programming (PDF), by Kurt Nørmark (2000). “An elucidative program connects textual documentation with the abstractions and the details in the source program. The documentation and the source program are defined in separate files.”

Classic Papers in Programming Languages and Logic, cool collection (and sounds like a nice class).

Papers of Per Martin-Löf

Why Is 290 Special?

srlog2, a Secure Remote Log Transmission System.

A Satellite Took Pictures of Another Satellite and Now It’s a GIF

Heavy Meta: Maine Man, 19, Poses For New Mug Shot Wearing T-Shirt With Photo Of His Old Mug Shot

Flyspeck, “We are pleased to announce the completion of the Flyspeck project, which has constructed a formal proof of the Kepler conjecture.”

Maryam Mirzakhani is the first woman to win a Fields Medal.

The Not Rocket Science Rule Of Software Engineering, by Graydon Hoare: “Automatically maintain a repository of code that always passes all the tests.”

ocaml-hyphenate, an OCaml module for the hyphenation of words based on TeX hyphenation patterns. Nicely written in literate style.

Extracting the VC-1520 6500/1 ROM

Tweetable Mathematical Art, fun.

Drone Survival Guide

@allen

Gamma FinFisher hacked, 40 GB of internal documents and source code of government malware published. More detail.

BuntSpenden, damit bi- und homosexuelle Männer endlich Blutspenden können.

Malicious SHA-1, “If the four 32-bit constants of SHA-1 can be modified, then exploitable collisions can be constructed.”

How to Keep Your Neighbours in Order (PDF), by Conor McBride. “I present a datatype-generic treatment of recursive container types whose elements are guaranteed to be stored in increasing order, with the ordering invariant rolled out systematically.”

Irken is a simplified, statically-typed dialect of Scheme. It uses an ML-like type system supporting parametric polymorphism and algebraic datatypes. With type inference and a pattern-matching syntax, it could be considered ML with a Lisp/Scheme syntax.

Sunfish is a simple, but strong chess engine, written in Python, mostly for teaching purposes. Without tables and its simple interface, it takes up just 111 lines of code!

An Internet-Ready OS From Scratch in a Week: Rump Kernels on Bare Metal, by Antti Kantee.

Lens Tutorial (Part 2), Stab & Traversal.

World’s oldest eel dies in Swedish well, it was 155 years old!

The best part of playing solitaire

Letter to a Young Haskell Enthusiast, by Gershom Bazerman. Recommended.

1ML – core and modules as one (or: F-ing first-class modules), by Andreas Rossberg at ML14. “[W]e propose a redesign of ML in which modules are truly first-class values. … In 1ML, functions, functors, and even type constructors are one and the same construct. Likewise, no distinction is made between structures, records, or tuples, including tuples over types.”

A very tiny, monospace, bitmap font, 4x6 pixels! Lovely.

dotdotdash, morse keyboard.

typo, a programming language that runs in Haskell’s type system.

VAX!, a game about epidemic prevention.

Ask Andrew W.K.: My Boyfriend Treats Me Badly

Coloring Book For Grown-Ups

Reverse OCR

Firefly