Did you know that Lean is a programming language whose language server allows you to play Bad Apple in your editor? It achieves this by … lagging really hard. But @a has a performance fix! You should try out Lean for this very reason.
In this post, @iacore explores some interesting ideas for solving one of the core problems of federated protocols, namely graph data replication, using tuples with authenticated elements.
@daudix recently made some changes to their website, including a new theme and hosting provider. It’s a “new era” for their site!
@a: Since this is the exozyme magazine, you could similarly divide exozyme into eras based on homepage’s lore section, such as the very beginning of exozyme, when people from around the world started joining, and after the Great SSD Disaster of 2024 and discontinuation of the exozyme server. The dividing line between the second and third eras is very clear but the line between the first and second is very fuzzy and more of a gradient, so maybe eras isn’t quite the right way to think about the history of some things.
Toki Pona is a (spoken) language with only ~120 words and very simple grammar. In this post, @haydenwu shares how they learned the language in two weeks.
If you want to discuss anything from this issue, feel free to join our Matrix room and chat with our community!