Pinned
heartpunk (sophie!!)
heartpunk (sophie!!)
@heartpunk.com
trying to see if we can recover programming language semantics from implementations @ patreon.com/heartpunk 39 y/o, MDNI 🔞 she/they/bitch(es) alt for pfp: the soul of the rose by john waterhouse alt for banner: sappho and erinna by simeon solomon
3.7K followers4.8K following61.7K posts
imagine being surprised that things are hard after literal decades of promulgating the idea that worse is literally better do you see why i am just constantly shocked that the world is at is we shot the footgun and are mad our feetses hurts
yea i think it was just actually never as hard as we made it it was hard only bcz worse is better if we just had the semantics from the beginning it all would have been trivial enough based on already published results imo that is a bold claim idk how to clarify but i do believe it i think?
imagine being surprised that things are hard after literal decades of promulgating the idea that worse is literally better do you see why i am just constantly shocked that the world is at is we shot the footgun and are mad our feetses hurts
yea i think it was just actually never as hard as we made it it was hard only bcz worse is better if we just had the semantics from the beginning it all would have been trivial enough based on already published results imo that is a bold claim idk how to clarify but i do believe it i think?
imagine being surprised that things are hard after literal decades of promulgating the idea that worse is literally better do you see why i am just constantly shocked that the world is at is we shot the footgun and are mad our feetses hurts
yea i think it was just actually never as hard as we made it it was hard only bcz worse is better if we just had the semantics from the beginning it all would have been trivial enough based on already published results imo that is a bold claim idk how to clarify but i do believe it i think?
imagine being surprised that things are hard after literal decades of promulgating the idea that worse is literally better do you see why i am just constantly shocked that the world is at is we shot the footgun and are mad our feetses hurts
yea i think it was just actually never as hard as we made it it was hard only bcz worse is better if we just had the semantics from the beginning it all would have been trivial enough based on already published results imo that is a bold claim idk how to clarify but i do believe it i think?
imagine being surprised that things are hard after literal decades of promulgating the idea that worse is literally better do you see why i am just constantly shocked that the world is at is we shot the footgun and are mad our feetses hurts
yea i think it was just actually never as hard as we made it it was hard only bcz worse is better if we just had the semantics from the beginning it all would have been trivial enough based on already published results imo that is a bold claim idk how to clarify but i do believe it i think?
i'm still just really shocked others focused in on formal methods are impressed, any of em (defs not all) w/the theorem.dev / anthropic thing like i do see some value in it for sure it just it upsets me literally viscerally like i feel it in my tummy that something is scary that this is the bar
i'm still just really shocked others focused in on formal methods are impressed, any of em (defs not all) w/the theorem.dev / anthropic thing like i do see some value in it for sure it just it upsets me literally viscerally like i feel it in my tummy that something is scary that this is the bar
heartpunk (sophie!!) reposted
ICYMI: Ende is a spiritual successor to Deno, stripped of distractions to simply be a secure runtime for TypeScript applications. Read the docs for more, official homepage is on the way. docs.ende.sh/runtime
heartpunk (sophie!!) reposted