Ayhon @ayhon@qoto.org
Computer Science and Mathematics
Joined Apr 2022
Just watched Lilo & Stitch. Not the one currently at theaters, the new one. It had been so long since I last watched that I didn't remember the plot at all.
It's a great movie. Must rewatch.
Ayhon
boosted
cut my heap into pieces, this is my crash report:
allocation, no alignment
don't give a fuck if it faults on assignment
this is my last abort()
allocation, no alignment
don't give a fuck if it faults on assignment
this is my last abort()
Ayhon
boosted
Ayhon
boosted
Introducing Bases, a new core plugin that lets you turn any set of notes into a powerful database. With Bases you can organize everything from projects to travel plans, reading lists, and more.
Bases are now available in #Obsidian 1.9.0 for early access users.
Ayhon
boosted
If you're interested in learning how proof assistants and proof checkers work, and what their underlying formalisms are, consider applying to the International School on Logical Frameworks and Proof Systems Interoperability, which will take place on 8–11 September 2025 in Orsay. France. There are still slots available and you can also apply for funding.
Ayhon
boosted
There are three hard problems in distributed systems:
2. Exactly-once message delivery
1. Message ordering
2. Exactly-once message delivery
2. Exactly-once message delivery
2. Exactly-once message delivery
2. Exactly-once message delivery
2. Exactly-once message delivery
Why does Duolingo Chinese insist that I learn how to write "Canada"? Is 加拿大 that fundamental? 🤔
Ayhon
boosted
why on earth does arithmetic on rational numbers in lean's mathlib depend on the axiom of choice
Computer Science and Mathematics
Joined Apr 2022
