Ayhon @ayhon@qoto.org

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()

Happy pride month!

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.

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.

https://europroofnet.github.io/LFPSI25/

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 on earth does arithmetic on rational numbers in lean's mathlib depend on the axiom of choice

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

#programming #rustlang

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

#CatsOfMastodon

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

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?

Biggest commitment to a 3 second joke I've ever seen

If my hairdresser doesn't soon start to purchase some cryptography consultations, I'll have to charge myself an extra 50% every time I get a new haircut.

Help us create a vision for Rust's future, by taking part in our vision survey!

Check out the blog post: https://blog.rust-lang.org/2025/04/04/vision-doc-survey.html

Hell yeah https://maly.io/@MattiSG/114267173929565150

My cousin
who is young and angry
tells me at this point
she is waiting for the crash,
she is hoping for the crash,
she can only see a better world
built on the wreckage of this one,
so sympathetically
I try to remind her
that many of us
will be buried in that wreckage.

SILKSONG MENTIONED!

I feel like the brainwashing delivered by our Advanced Functional Programming course has gone pretty well, given two students turned up to the exam with Agda T-shirts.