I somehow forgot: - this project is really easy to work in - this project is huge! - this project contains teeny-tiny little birds that peck at the floor look at them go oh my god

Show Post

you know, i thought the reputation of cousot papers was at least a little exaggerated but no, they actually look like that lol (this is page 3)

Show Post

Nah, no human should ever have to deal with Rust's uglyness ;)

Show Post

TL;DR is basically that I don't want to use LLMs to gain speed (e.g. add more features faster), but to increase robustness and quality (and I would even accept *losing* implementation speed for that).

Show Post

did Sarah discover gram

Show Post