when my tweet flops on twitter but i repost the same joke on bsky and get 10 times the interactions
at the risk of angering the rust async lovers, rust async haters and the haskell people: if you squint a little rusts Future and haskells IO are really quite similar in concept
i gave claude some unsolved shit so he can work on it for a bit and he's written 13k lines of python. lowk no clue what he's doing but its like seeing a dog run around in the park
Marco@mcognetta.bsky.social · 2w ago
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
do u like music i love music music is so cool i love music soundcloud.com/annieversary...
im so stupid i keep forgetting i can just script repeated actions i do regularly. anyway i now have a script that runs yt-dlp and then demucs
also spain is winning the world cup i hope we are all aware of this fact 🙏
i made snake in puzzlescript www.puzzlescript.net/play.html?p=...
PuzzleScript Game
A game made with the PuzzleScript game engine.
puzzlescript.net
annie@versary.town · 3w agolearnt about www.puzzlescript.net yesterday! its very fun, the language is so cute and featureful with so little syntax. go check it out go check it out!!!!
learnt about www.puzzlescript.net yesterday! its very fun, the language is so cute and featureful with so little syntax. go check it out go check it out!!!!
PuzzleScript - an open-source HTML5 puzzle game engine
puzzlescript.net
very very very annoyed how the spanish keyboard layout has parenthesis one key off from what the english layout does
realised i could just edit the system prompt in claude code to tell it to use rg instead of grep im so smart
posts that both a rust developer and nicolas flamel could write
it is your duty, nay, your privilage! as a gen z to reply with "who?" any time an older person mentions someone famous regardless of if you know of them or not
Lucretiel@lucretiel.me · last mo.Though you’ve just reminded me that a few weeks ago I had to explain to some Gen Z coworkers who Robin Williams was
<work> you must be DYING to know how symbolic execution relates to ai ! well wait no more because there was a paper about it and we explain what the paper is about in our latest blog post !! ai !! llms !!! all the stuff people scream about !!! wow ! </work> soteria-tools.com/blog/teachin...
Teaching AI to Reason About Software - Soteria
A team at AWS taught a small language model to catch bugs in C by training it on Soteria’s symbolic execution traces, beating a model four times its size. We look at what they did and why it matters.
soteria-tools.com
made a little computer pet with apple's foundation models ≽^•⩊•^≼ it hangs around and comments on things
oomf made the grave mistake yesterday of asking me what non-euclidean *actually* means in the middle of a 1h drive. safe to say oomf is now a lover of mathematics
would u help her if she was struggling with a skateboard at the skatepark
