A few days ago, representatives from across the world voted to eventually abolish leap seconds from coordinated universal time, the world’s most popular time standard. In this article, I argue that the definition of Unix time should be changed, regardless of whatever might happen to UTC in the future.
When Petri-nets were introduced to me, they were being described explicitly as a type of model that is not Turing-complete. While this might be true, I will prove in this article that a slightly generalized form of Petri-nets which allows for infinitely many places and infinitely many transitions is Turing-complete.
In this relatively short prerequisite for my longer article on the computational power of Petri-nets, I’ll be discussing Boolean pairs, a technique for simulating Boolean algebra with Petri-nets.
When discussing various programming languages, I’ve regularly heard people say that C++ is a rather ugly language. In this article I’ll be discussing a C++ code style that doesn’t resemble typical C++. Mainly, I’ll be talking about the macros and other technical aspects that contribute to this code style.
I recently made a 4D raytracer of the slicing kind — meaning that it shows you a 3D slice of a 4D world. The gimmick of this raytracer is that it’s entirely in first person. You can scroll to rotate on the WY plane, turning the camera to look towards the fourth dimension.