It is categorically Evil for an object to travel fast than the speed of light, which is why God doesn’t allow it to happen.

In project Beckett, we are building a version control system for scene files in the Godot game engine that preserves these meaningful spatial and structural relationships.

A first tour of quantum mechanics and how the 3 forces in the Standard Model are connected to quunits, qubits and qutrits.  How qubits differ from classical bits and probabilistic bits.

I think futurelocks are a complex instance of a long-standing problem with (what I will call for now) asynchronous code.

Give me any number, I’ll find the realtime data for you

I’m sure we’ve all heard of the Yoneda Lemma before, but why does it get so much hype in category theory when the result itself is quite elementary to prove? Well, you’re not going to get a good answer from me.

Ever feel like the mathematics you’re learning doesn’t make any sense to you? Good. In a way, it would’ve been worse if you thought it did make sense.

Horrific implementation of the C++ abstract machine within constexprs LOL.

Most of us are familiar with the Fibonacci sequence. What’s the largest Fibonacci number you can compute in 1 second? I’m not setting any world records, here; I don’t own a supercomputer.

Great introduction to sheaf theory.

We’ve all known about integer multiplication since grade school… but when did you learn about the second multiplication?

Exploration of generalization of commutativity through category theory.

When you hear that someone is “studying algebra”. What comes to mind? Are they drilling through thousands of factorisation problems? Are they an undergraduate student of mathematics, pursuing studies you can’t think of any real-world applications for? Well, you’re all wrong (or maybe you’re not).

A colimit is just a limit in the opposite category, what’s the problem?

This video gives a (gentle?) example-driven introduction to limits.

Despite being formally dual to monads, they don’t seem to be “all the rave” like monads are. Just because you get ‘em by just reversing some arrows doesn’t mean that comonads aren’t independently interesting!

The “opposite” of being finite is having a finite complement. The “opposite” of a vector is a linear functional. If a set is a small collection of elements… then what is the “opposite” of a set?

Monads look pretty different in math vs in programming… what exactly are they? (Don’t say they’re just monoids in the category of endofunctors,… I mean it.)

Yup. Three months without search engines. It was… not without issues.

An investigation