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.

The MIT License, Line by Line, by Kyle E. Mitchell. “171 words every programmer should understand”. Required reading.

Roughtime is a protocol that aims to achieve rough time synchronisation in a secure way that doesn’t depend on any particular time server, and in such a way that, if a time server does misbehave, clients end up with cryptographic proof of it.

BBR (Bottleneck Bandwidth and RTT), a new TCP congestion control algorithm.

ripgrep is faster than {grep, ag, git grep, ucg, pt, sift}, and written in Rust.

An OS 9 odyssey: Why these Mac users won’t abandon 16-year-old software

Coming Out as Bi When You’re Muslim and Married, by Zahra Noorbakhsh.

North Korea .kp TLD Zone Data, featuring 4 unique IPs.

Burning Ship fractal, fancy.

Emacs 25.1 released, and there was much rejoicing. (And it runs on musl!)

What’s New in Emacs 25.1

Git Survey 2016, please participate.

A tale of an impossible bug: big.LITTLE and caching, nice analysis.

Hunting For Vulnerabilities in Signal

Shape Shift With Me: Out Now!, get the new Against Me! album. Recommended.

QuineDB is a quine that is also a key-value store. WJW.

i think i figured it out, she really did.

Anger release machine

Struggles with the Continuum, by John C. Baez. “Our assumption that spacetime is a continuum leads to many challenges in mathematical physics.”

DOOM (2016): Graphics Study

How The World’s Most Beautiful Typeface Was Nearly Lost Forever, by Hayley Campbell.

Go Back With Backspace in Chromium 53+.

A Reading from the Book of Poultry

You Suck at Excel (YouTube) with Joel Spolsky. Recommended!

excel-messenger: A Terrible Experiment In VBA

OpenBSD imports LLVM, wheeeee.

Recommendations from #vim. Read this if you use Vim!

Bcachefs, a next generation copy on write filesystem for Linux. Very exciting.

BuckleScript is an optimizing compiler which compiles OCaml into JavaScript. The generated code is highly readable and super small. Impressive.

Getting Started with Z3: A Guide

One of the Most Important Crosswords in New York Times History, spoiler warning.

manygolf.club, a MMOGG.

RFC 7914: The scrypt Password-Based Key Derivation Function, by C. Percival and S. Josefsson.

OpenBSD (with encrypted softraid) on the Chromebook Pixel (2015), by Joshua Stein.

Haversine is a dialect of Logo based around spherical geometry.

ngn/apl, an APL compiler written in JavaScript. Very nice!

Hipku, encode any IP address as a haiku.

How to compute Σ1/n² by solving triangles (2007), by Mikael Passare.

The collected works of F. W. Lawvere on GitHub.

Division algorithms, overview at Wikipedia.

How To Retarget the GNU Toolchain in 21 Patches, quite interesting.

Obscure Ethernet for $200 please, Alex: The Ethernet PAUSE frame

bucklespring emulates the sound of a IBM Model-M space saver bucklespring keyboard.

The Million-Key Question: Investigating the Origins of RSA Public Keys, by Petr Švenda, Matúš Nemec, Peter Sekan, Rudolf Kvašňovský, David Formánek, David Komárek, and Vashek Matyáš. “The bias introduced by different choices is sufficiently large to classify a probable library or smartcard with high accuracy based only on the values of public keys.” Ugh!

WireGuard is an extremely simple yet fast and modern VPN that utilizes state-of-the-art cryptography. It aims to be faster, simpler, leaner, and more useful than IPSec, while avoiding the massive headache. Looks very promising!

Zero-cost futures in Rust, very interesting!

Andromeda is an implementation of dependent type theory with equality reflection. The type theory is very expressive, as it allows one to postulate new judgmental equalities.

gron transforms JSON into discrete assignments to make it easier to grep for what you want

lambda-lists, a TeX package for doing lists and lambda calculus via expandable macros. Amazing how straight-forward that is.

The Story of Feminist Punk in 33 Songs

Surprises of the Faraday Cage, by Lloyd N. Trefethen. Surprising indeed!

Nonce-Disrespecting Adversaries: Practical Forgery Attacks on GCM in TLS, by Hanno Böck, Aaron Zauner, Sean Devlin, Juraj Somorovsky, and Philipp Jovanovic. Sheesh!

Decomposing a function into its even and odd parts, by Mark Dominus. “It was a brilliant exam, and I have never learned so much about a subject during the final exam.”

Software Library: Amiga at archive.org! With emulation, of course.

lips, the Lisp Iwesome Preprocessor System, and guile-lips

Mini-tutorial on explicit (and implicit) renaming macros in CHICKEN.

A Brief History of Email Apps

The Kearny fallout meter, or KFM, is an expedient radiation meter. It is designed such that someone with a normal mechanical ability would be able to construct it before or during a nuclear attack and from common household items.

Settlers of Catan, at Adventures in Diversity & Representation in Tabletop Gaming.

Arabic Reading Course, good quick intro.

In Memory: Seymour Papert (1928–2016)

James Noble: Notes on Post-Post-Modern-Modern Programming, video of the Curry On! talk. Recommended.

random: replace non-blocking pool with a Chacha20-based CRNG, to land in Linux 4.8.

INT02-C: Understand integer conversion rules in C. Tricky.

html2text is a Python script that converts a page of HTML into clean, easy-to-read plain ASCII text. Originally by Aaron Swartz.

PythonTeX provides fast, user-friendly access to Python from within LaTeX. It allows Python code entered within a LaTeX document to be executed, and the results to be included within the original document. Also supports many other languages.

duo2c, a LLVM-based Oberon 2 compiler.

Brachylog is a declarative logic programming language much like Prolog. Brachylog is designed to be much terser than Prolog, while retaining some readability.

The Inner JSON Effect at thedailywtf.com. Made my day.

Curry On! Rome 2016, videos are up.

Illumos Crypto Port module added to enable native encryption in ZFS, and there was much rejoicing.

A Wait-Free Stack (2015), by Seep Goel, Pooja Aggarwal, Smruti R. Sarangi.

An Introduction to Logical Relations: Proving Program Properties Using Logical Relations (PDF), by Lau Skorstengaard.

Rigorous Benchmarking in Reasonable Time (2013), by Tomas Kalibera and Richard Jones. “Currently, many evaluations give up on sufficient repetition or rigorous statistical methods, or even run benchmarks only in training sizes. The results reported often lack proper variation estimates and, when a small difference between two systems is reported, some are simply unreliable.”

Statistically Rigorous Java Performance Evaluation (PDF), by Andy Georges, Dries Buytaert, and Lieven Eeckhout. “This paper shows that prevalent methodologies can be misleading, and can even lead to incorrect conclusions. The reason is that the data analysis is not statistically rigorous.”

Notes on notation and thought, by Katherine Q. Ye.

How has BitKeeper changed since it was used for the Linux kernel, good summary by Wayne Scott.

50 Shades of System Calls with sysdig.

Code behaving differently in C90, C99, C11, C++98, and C++11, fun!