Urbit: An operating function, Nock, Hoon and Arvo are the most radical approach to computing I’ve seen recently.

You Can’t, You Won’t, You Don’t Stop, XOXO talk by Maciej Cegłowski.

The Future Of Standard ML, (PDF) slides by Robert Harper.

Runtime types in OCaml (PDF), by Jacques Garrigue and Grégoire Henry.

The Slow Winter (PDF), by James Mickens.

Chuck Moore’s Creations, about his Strange Loop talk and the F18 and GA144 architectures.

OpenBSD EuroBSDCon Presentations Coming Online

GNU APL is an (almost) complete implementation of ISO standard 13751 aka. Programming Language APL, Extended.

mpv is a free and open-source general-purpose video player. Features many little improvements over mplayer2.

Vg is an OCaml module for declarative 2D vector graphics.

tbl is a tiny event driven bencode library written in C.

Critic, a Git-centric code review system.

Cataclysm: Dark Days Ahead is a roguelike set in a post-apocalyptic world.

Stalin’s Rope Roads

Factoring RSA keys from certified smart cards: Coppersmith in the wild, “These 184 keys include 103 keys that share primes and that are efficiently factored by a batch-GCD computation.”

mov is Turing-complete (PDF), by Stephen Dolan. “It is well-known that the x86 instruction set is baroque, overcomplicated, and redundantly redundant. We show just how much fluff it has by demonstrating that it remains Turing-complete when reduced to just one instruction.”

High-Assurance Base64, specified in Cryptol.

OCamlot: exploring the edges of OPAM packages

Sophia is a modern embeddable key-value database designed for a high load environment.

OpenZFS, the truly open source successor to the ZFS project.

remark, a simple, in-browser, markdown-driven slideshow tool. Looks pretty nice, and supports LaTeX with a trick.

Decyphering the Business Card Raytracer, neat piece of code.

Numeric Haskell: A Repa Tutorial

Elusive Fetish Encyclopedia

Calvin & Muad’Dib

I Draw Tom Hanks

The Feynman Lectures on Physics, Volume I, online!

Stealthy Dopant-Level Hardware Trojans? (PDF), by Georg T. Becker, Francesco Regazzoni, Christof Paar, and Wayne P. Burleson. Scary.

A Categorical Treatment of Ornaments, by Pierre-Evariste Dagand and Conor McBride.

Overloading lambda, Conal Elliott: “Is it possible to overload lambda and application using type classes, or perhaps in the same spirit?”

Tutorial on join calculus and JoCaml, by Sergei Winitzki.

mlibtool, a miniature frontend for libtool that replaces libtool on sensible systems.

Frameless Geodesic Dome, and how to live in one.

I Got Second Degree Burns From Lime Juice, yeah, that can happen.

Nation’s Math Teachers Introduce 27 New Trig Functions

The new iPhone hanky code

How Advanced Is the NSA’s Cryptanalysis—And Can We Resist It?, by Bruce Schneier.

Types for Flexible Objects, by Pottayil Harisanker Menon, Zachary Palmer, Alexander Rozenshteyn, and Scott Smith. “In this paper we define TinyBang, a small typed language containing only functions, labeled data, a data combinator, and pattern matching. We show how it can directly express all of the aforementioned flexible object features and still have sound typing.” Also see BigBang.

Purely Functional Structured Programming, by Steven Obua.

Chisel, Constructing Hardware in a Scala Embedded Language.

Apt-pbo: Solving the Software Dependency Problem using Pseudo-Boolean Optimization (PDF), by Paulo Trezentos, Inês Lynce, and Arlindo L. Oliveira.

The Z-80 has a 4-bit ALU, explained in great detail.

Debian Sources, browse through the source code of the Debian operating system.

Meeus implements algorithms from the book “Astronomical Algorithms” by Jean Meeus in Go.

Poezio is a free console XMPP client, written in Python 3.

This Interactive Map Compares the New York City of 1836 to Today, cool.

Football and the Fall of Jack Kerouac, by Ian Scheffler.

List of Black Fridays on Wikipedia.

Kero’s achievement, the world’s first sub 20 second time for 40 Lines of Tetris.

The elements of an inductive type, by Andrej Bauer. “‘An inductive type contains exactly those elements that we obtain by repeatedly using the constructors.’ If you believe the above statement you should keep reading.”

Dependently typed metaprogramming (in Agda), course material by Conor McBride.

MCLinker is a full-fledged system linker for mobile devices. It supports multiple platforms (ARM, X86 and Mips). It is fast, small with low memory footprints. And the best, MCLinker is UIUC BSD-Style open source.

Reconstructing Corrupt DEFLATEd Files (PDF), by Ralf D. Brown. Whoa.

In their own words: Unix pioneers remember the good times

Build your own FPGA, from 7400s. WJW.

Lessons from 11 years of community, Matt Haughey’s SXSW 2011 about MetaFilter. Recommended.

NTP Reference Clock Statistics, John Ackermann: I run four NTP Stratum 1 servers with attached reference clocks.

Creating publication quality graphs in R

13th Century abbey has gargoyle shaped like film monster ALIEN

WTF Visualizations

When it all began

Glitch News