waffle (recovering from EMF)

@waffle.pet

compiler witch, striving to outshine stars 🌠 blog.ihatereality.space; github.com/wafflelapkin; i do stuff sometimes; it/its

i think we can all agree that the second-best time machine design is the austin powers spiral thing. it /is/ limited by the fact that you apparently need to have one at the arrival time at well, but interestingly enough that actually puts it in the same class as the contraption from primer,

I find it rather funny that rust programmers' "obsession" with "memory safety" can be laughed at from both sides of the programming language spectrum. functional pl enthusiasts might say that just being memory safe[^1] is not enough and rust does not help enough with program correctness[^2]. \

did not like a library that was used in embassy examples, so I'm extending my own library to support everything that this library supports... ...instead of actually porting my code to use embassy

i wrote a blog post about a cool optimisation i did to make quadratic behaviour linear while remaining sound !! its a mix of pretty technical GC details and theoretical Rust stuff, which is the best of mixes imo, go read it !! ! !! soteria-tools.com/blog/meta-ga...

Meta Garbage Collection: Using OCaml's GC to GC Rust - Soteria

Tracking Rust's aliasing model can be quadratically expensive if done naively. Learn how we fixed this in Soteria Rust by doing meta garbage collection.

soteria-tools.com

The fact that your computer boots (i.e., you see the login screen after pressing the power button) is nothing but a mere coincidence.