~lobsters | Bookmarks (3)

ActivityPub is a specification for a decentralized social network. Decentralized here means that anyone can run a node that is a full member of the network. Anyone on any server can follow, like, and communicate with any member on any other server. The W3C recommended the official ActivityPub spec in 1998, but it's ...

You may have heard of the "The One Billion Row Challenge" (1brc) and in case you don't, go checkout Gunnar Morlings's 1brc repo. I got sucked in because two of my colleagues have entered the competition and are on the leaderboard. PHP is not known for its speed, but as I am working on the PHP profiler I thought I gi...

I'm going to teach you the basics of Lambda Calculus really quickly. Lambda Calculus is deep. But I'm covering only the fundamentals here. What is Lambda Calculus? Lambda Calculus (LC) is a model to describe computations. LC describes the syntax and semantics. Syntax A lambda expression (also known as lambda term) c...