Programm der Partei mut zur Landtagswahl Bayern 2018

Reciprocals of exponential polynomials and permutation enumeration, by Ira M. Gessel.

Counting and generating lambda terms, by Katarzyna Grygiel and Pierre Lescanne. “How many terms of a given size are there? What is a “typical” structure of a simply typable term?”

Enumerating the Elements of the Eisenstein Array, by Roland Backhouse and João F. Ferreira.

Three analogues of Stern’s diatomic sequence, by Sam Northshield.

A Practical Introduction to Finger Trees, by Chris Penner.

Vim Koans

“Zwiebelfreunde”-Durchsuchungen: Wenn Zeugen wie Straftäter behandelt werden, reine Repression.

Zuck’s Empire of Oily Rags, by Cory Doctorow. “[G]iven enough surveillance, companies can sell us anything: Brexit, Trump, ethnic cleansing in Myanmar, and successful election bids for absolute bastards like Turkey’s Erdogan and Hungary’s Orban.”

djbsort is a new software library for sorting arrays of integers. There is a single sorting function that is simultaneously fast, secure, and verified.

Ocaml Dune 1.0 has been released (formerly known as jbuilder).

penrose, a TikZ library for producing Penrose tilings.

Taking Go modules for a spin, by Dave Cheney. This looks really nice now.

Flent, the FLExible Network Tester

How to write a great research paper (PDF), seven simple suggestions by Simon Peyton Jones.

Solving Rush Hour, the Puzzle, by Michael Fogleman

Today in Computational Necromancy: MOST-POSITIVE-BIGNUM, redux

Conni benutzt jetzt Neopronomen, Pronomen üben.

The hotel bathroom puzzle

Unleashed is an operating system fork of Illumos, which itself is a derivative of OpenSolaris and therefore has its roots in UNIX System V Release 4. It is intended as an operating system for developers by developers.

The Wason selection task is a logic puzzle devised by Peter Cathcart Wason in 1966. It is one of the most famous tasks in the study of deductive reasoning.

React From Zero, a tutorial by Kay Plößer.

Quotations By Women, 43,939 of them.

Puzzle Jugs, the drinking vessels designed to confound.

Smelvetica, ow ow ow.