I will never stop posting linear logic memes.

Bacon is a fruit.

Google is useless ads as search results. Amazon is fake junk from China. Twitter is muskville. Facebook is legless second life. What happened?

Who would have thought....

The problem with dynamically typed languages is that they favor the developer who writes the code at the expense of the person who will maintain it. This is exactly the opposite of what we want.

It's fun today. Would the openssl bug have been fixed with a proper programming language. Or langsec?

Lol. Programming is closer to a graph. It's unlikely to be planar.

Global warming has entered the energy war...

I'm here for the Xe commentary track.

I'm making category theory videos on YouTube! The first two are up: they're on presheaves and products (from the Yoneda perspective). youtube.com/watch?v=CY21lm… youtube.com/watch?v=ge5M-Y… Who are these for? (1/3)

It has been 0 days since a high priority security issue caused by attempting to parse in C

Halloween came one day late in Denmark. This election is sinisterly close.

I have a question: Why was this not found before they put that code into a release? #OpenSSL

I'm guessing advertisers will leave Twitter, unless there's something I'm not seeing. This has the potential of a nuclear meltdown death spiral of doom you cannot stop even if you tried.

In alternative timeline, scuttlebutt.nz was picked up instead of Mastodon.

Confit de canard --> confiscated duck.

A machine that always rejects!

Currently in a Stan hole. Bayesian statistics is pretty cool.