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.
@neilmadden I see, I completely missed that. Thanks!
@neilmadden Wait, ws it actually AI-generated? Or it's just a way of saying that the code is bad?
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
@gwenthekween @soatok That sounds awesome. Out of curiosity, how did you get into parcour? Where did you find the people?
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.
@mra Hahahaha, I've played this interaction before
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.
@Migueldeicaza I see.
I have been following the project from your updates in Mastodon, so I had been inadvertently thinking about Xodot as a personal project of yours. It makes sense that other people are involved in a project of this magnitude though.
In that case, congratulations to the team!
@Migueldeicaza Congratulations!
Out of curiosity, when you say "we" in the article, you mean you and yourself? Or was someone else working on the project that I missed?
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
Ayhon
boosted
BitCraft Online will be open source (the backend is written in Rust)
https://bitcraftonline.com/blog/open-sourcing-bitcraft-online
Discussions: https://discu.eu/q/https://bitcraftonline.com/blog/open-sourcing-bitcraft-online
Ayhon
boosted
linkspam!
15,000 lines of verified cryptography now in Python.
http://jonathan.protzenko.fr/2025/04/18/python.html
saved 2025-04-19 https://dotat.at/:/SO9A7.html
Ayhon
boosted
I have been waiting for this book for 28 years (see the first version of https://third-bit.com/ideas/not-on-the-shelves/) - thank you @TartanLlama
Ayhon
boosted
Does anyone have any good resources around automata and how to model systems with them?
I've seen the cellular automata demos, and they're fun! I've also used / written finite state machine implementations, and I tend to model a lot of things with them.
But I know that automata can go a lot further than that. For example, I know that the peep magic peephole optimizer is/was based on automata, and it's what made it efficient. I want to learn more about automata like that?
Ayhon
boosted
Computer Science and Mathematics
Joined Apr 2022
