More Taste: Less Greed? or: Sending UNIX to the Fat Farm (1990). By Charles Forsyth.

A tale of many nests, Fare experiments with Scheme macro expansion.

Urn, a Lisp dialect which compiles to Lua.

smoltcp is a standalone, event-driven TCP/IPv4 stack that is designed for bare-metal, real-time systems. Written in Rust.

Natural density is one of the possibilities to measure how large a subset of the set of natural numbers is.

What Are Capabilities?, by Chip Morningstar.

/// is a minimalist Turing-complete esoteric programming language.

Important Munitions Lawyering

@20, by Paul Ford.

KRACK: Key Reinstallation Attacks, breaking WPA2 by forcing nonce reuse. By Mathy Vanhoef.

Inside the vintage Xerox Alto’s display, a tiny lightbulb keeps it working, “CRT TV repair is a retro activity, involving circuits such as horizontal deflection, video amplifiers, and high-voltage flyback transformers that were formerly well-known but are now more obscure.”

Patterns and Anti-patterns in APL: Escaping the Beginner’s Plateau (YouTube), Dyalog17 talk by Aaron Hsu.

Lowdown Diffing Engine, how to diff markdown semantically.

Metaballs are organic looking squishy gooey blobs.

Dumpulse, an embeddable dumb heartbeat daemon in 260 bytes of RAM and ≈350 bytes of code.

Shonenware, a radical new concept in software distribution.

Left Truncatable Prime, fun.

OpenBSD 6.2 has been released!

Iris is a Higher-Order Concurrent Separation Logic Framework implemented and verified in the proof assistant Coq.

rv8: a high performance RISC-V to x86 binary translator (PDF), by Michael Clark and Bruce Hoult. Code.

Functor-Oriented Programming, by Russell O’Connor.

“␣;”: A Simply Arited Concatenative Language, very cool.

Exploding Git Repositories, Kate Murphy made a “git bomb”.

A Eulogy for Eudora

Universal Paperclips, beware: a clicker game.

Another Flip in the Wall of Rowhammer Defenses, by Daniel Gruss, Moritz Lipp, Michael Schwarz, Daniel Genkin, Jonas Juffinger, Sioli O’Connell, Wolfgang Schoechl, and Yuval Yarom. “Our new exploitation technique, opcode flipping, bypasses recent isolation mechanisms by flipping bits in a predictable and targeted way in userspace binaries.”

How to defeat Ed25519 and EdDSA using faults, interesting class of attacks.

Keybase launches encrypted git, cool idea.

Gerbil is an opinionated dialect of Scheme designed for Systems Programming, with a state of the art macro and module system on top of the Gambit runtime.

A Branchless UTF-8 Decoder, nice idea but has some limitations.

Useful GCC warning options not enabled by -Wall -Wextra

Microcode-level HP-35 Emulator in JavaScript (2010)

Vladimir Voevodsky, Fields Medalist, Dies at 51, RIP.

The Origins and Motivations of Univalent Foundations, by Vladimir Voevodsky. “A Personal Mission to Develop Computer Proof Verification to Avoid Mathematical Mistakes”.

Explorations of (Synthetic) Homotopy Theory in Coq, “investigating the ideas discussed at the Oberwolfach mini-workshop in Feb/Mar 2011.”

Which Haskell Functors are representable?

On numbers and endgames: Combinatorial game theory in chess endgames (1999), by Noam D. Elkies.

The 2016 Underhanded Rust Contest: The Results

I Tried to Fight Racism by Being a “Model Minority”—and Then It Backfired, by Yassmin Abdel-Magied.

RIES, Find Algebraic Equations, Given Their Solution.

Alphabet-only Ruby “Hello, World” (2010).

ducksay, a variant of cowsay for TeX.

A collection of Soviet control rooms