RIP Friedrich L. Bauer, RIP Eike Jessen.

Z3 is a theorem prover from Microsoft Research. Now under the MIT license!

Microsoft BASIC for 6502 Original Source Code (1978)

A Tiny Compiler For A Typed Higher Order Language, very neat.

Pure, Declarative, and Constructive Arithmetic Relations (PDF), a Declarative Pearl by Oleg Kiselyov, William E. Byrd, Daniel P. Friedman, and Chung-chieh Shan.

Punk Games, by Zoe Quinn. “Games need a united punk movement, and we’re finding one in altgames.”

zymake is a high-level language for running complex sets of experiments, inspired by make.

Achieving Full Marks on Qualys SSL Labs with nginx. Saved for future reference.

Why My MOOC is Not Built on Video, good ideas.

All “Underhanded Crypto” Entries

Copy Frouge, frogger ala nethack.

Comic Papyrus Font, WJW.

musl 1.1.7 has been released, featuring AArch64 support!

Having and Fighting Ebola – Public Health Lessons from a Clinician Turned Patient, by Craig Spencer.

Scanning micro fiches, 50k pages of DEC manuals. Great job!

How to Directly Program an Inexpensive ESP8266 WiFi Module

Dependently typed FizzBuzz in Idris.

awf, the Amazingly Workable Formatter, a “nroff -man” or (subset) “nroff -ms” clone written entirely in (old) awk.

facebook-tunnel, tunnels Internet traffic through Facebook chat.

Emoji Dick is a crowd sourced and crowd funded translation of Herman Melville’s Moby Dick into Japanese emoticons called emoji.

The Birdhain

Oculus Rex

Exploiting the DRAM rowhammer bug to gain kernel privileges, there shall be wailing and gnashing of teeth.

Number of legal 18x18 Go positions has been computed.

parsyncfp, a parallel rsync wrapper for large data transfers.

Push-forth: a Light-weight, Strongly-typed, Stack-based Genetic Programming Language (PDF), by Maarten Keijzer.

OpenBSD @ AsiaBSDCon, quite interesting material was presented there.

fulltrace, a complete ftrace- and uprobes-based tracer (user, libraries, kernel) for GNU/Linux.

Core_profiler is a OCaml library that helps you profile programs and estimate various costs.

Boiling React Down to a Few Lines in jQuery, found this quite helpful.

The End of Synthesis, “It’s a universal catch-and-release for organic intermediates.”

A Richter scale for outages, proposed by Matt Webb.

CSS Sans

INTERNETARCHIVE.BAK, “Therefore, it is time for Archive Team to launch its most audacious project yet: Backing up the Internet Archive.”

Attack of the week: FREAK (or ‘factoring the NSA for fun and profit’), best part: “factor a bunch of 512-bit keys – each in about 7.5 hours for $104 in EC2 time”.

Sixteen Years, mathowie retires from MetaFilter.

Beyond the PDP-11: Architectural support for a memory-safe C abstract machine (PDF), by David Chisnall, Colin Rothwell, Robert N. M. Watson, Jonathan Woodruff, Munraj Vadera, Simon W. Moore, Michael Roe, Brooks Davis, and Peter G. Neumann.

Simple Hierarchical Notebook, a ncurses program.

Quantity Queries for CSS, by Heydon Pickering. Fun stuff.

numpy.einsum, interesting API.

Catena is a storage engine for time series, written in Go.

Recursive Cocktail

Fibonacci Salad

Proving that Android’s, Java’s and Python’s sorting algorithm is broken (and showing how to fix it), nice.

SCALE13x: Linux Profiling at Netflix, lots of good stuff by Brendan Gregg.

A Twelf Introduction, by Danny Gratzer.

Secure PRNG Seeding on Commercial Off-the-Shelf Microcontrollers, by Anthony Van Herrewege, Vincent van der Leest, André Schaller, Stefan Katzenbeisser, and Ingrid Verbauwhede.

Enumerating DNSSEC NSEC and NSEC3 Records, by Javantea.

Paratrace is a tool which looks for a suitable and established connection to the target host, it then manipulates the packets in that connection in order to perform some traceroute functionality.

chemfig, draw molecules in LaTeX with easy syntax. Wish I had that back in school.

CSRG SCCS converted to git, Unix history 1979–1995.

What is an indexed monad?

Life has infinite possibilities…

Maze Tree