A Functional Programmer’s Guide to Homotopy Type Theory, Dan Licata’s ICFP 2016 keynote. Recommended as an introduction.

The Moral Economy of Tech, by Maciej Cegłowski. “The first step towards a better tech economy is humility and recognition of limits. It’s time to hold technology politically accountable for its promises.”

dns66, a DNS-Based ad blocker for Android. Does not require root.

Emmental is a self-modifying language.

8cc.vim: Pure Vim script C Compiler, WJW.

awib, a brainfuck compiler written in brainfuck.

kati is an experimental GNU make clone, that translates to ninja.

When Your Screen Breaks (In The Himalayas), nice hacks.

Web Bloat Score Calculator, “Compare size of a page to a compressed image of the same page.”

The final comic on the election

A kilobit hidden SNFS discrete logarithm computation, by Joshua Fried, Pierrick Gaudry, Nadia Heninger, and Emmanuel Thomé. “We perform a special number field sieve discrete logarithm computation in a 1024-bit prime field. … Twenty-five years ago, there was considerable controversy around the possibility of backdoored parameters for DSA. Our computations show that trapdoored primes are entirely feasible with current computing technology.”

On the Design of Women’s Spaces, by Kat Marchán. Highly recommended.

Five Stages of Accepting Constructive Mathematics (PDF), by Andrej Bauer.

I Got Plenty o’ Nuttin’ (PDF), by Conor McBride. “Work to date on combining linear types and dependent types has deliberately and successfully avoided doing so.”

oK mobile, a K interpreter optimized for use on a phone!

HashiCorp Configuration Language, looks like a good design.

Build a Compiler Bomb, fun!

The Tunnel of Eupalinos is a tunnel of 1,036 m length, built in the 6th century BC to serve as an aqueduct. The tunnel is the second known tunnel in history which was excavated from both ends, and the first with a geometry-based approach in doing so.

GVA Dictator Alert, a TwitterBot tracking planes used by authoritarian regimes landing at Geneva Airport.

Farewell – ETAOIN SHRDLU, the Last Day of Hot Metal Typesetting at the New York Times. Recommended.

WoSign and StartCom, “Mozilla’s CA team has lost confidence in the ability of WoSign/StartCom to faithfully and competently discharge the functions of a CA. Therefore we propose that, starting on a date to be determined in the near future, Mozilla products will no longer trust newly-issued certificates issued by either of these two CA brands.”

New Twin Primes found, “the new discoveries are 388,342 digits long, smashing the previous twin prime record of 200,700 digits.”

The Military Logic of Punishing Chelsea Manning’s Suicide Attempt, by Natasha Lennard.

Why and how you ought to keep multibyte character support simple (PDF), slides by Ingo Schwarze from EuroBSDCon 2016.

A mathematical history of taffy pullers (PDF), slides by Jean-Luc Thiffeault. Paper.

A Hoare Logic for Rust

Google Public DNS offers DNSSEC-validating resolution over an encrypted HTTPS connection using a web-friendly API.

speedata Publisher is a full featured professional database publishing software using LuaTeX.

llmdb is “mdb for lldb”, in other words a modular shell pipeline approach to debugging.

screen, the original code from 1987.

Some experiments with hacking the ЭЛЕКТРОНИКА МК-61, classic Soviet-Russian programmable scientific calculator.

WaveFunctionCollapse generates bitmaps that are locally similar to the input bitmap.