Pinned Tweet
my lipstick is fucked up today. anyways you can solve my riddles 255 at forge.eyes-like-fire.org/jun…
don't go back to austin texas, what's in austin texas? / you know this is not for public consumption / you know nothing that's our slogan
juniper beatitudes retweeted
greyscaled my phone and now whenever somebody with a pride flag in their icon interacts with me I just have no idea which one it is. I’m choosing to believe you’re all asexual
juniper beatitudes retweeted
vegans love "the vegan alternative to [something that was already vegan]"
juniper beatitudes retweeted
The whole trend of "formally verify your code" is so funny considering the overwhelming majority of code outputs subjectively measured experiences. Like sure, you can formally verify you code outputs some renders to a pixel shader, but that does basically nothing for telling you if a GUI software works. It's funny to see SWEs want to act like JavaScript websites need to be lean verified or something because it's cool to be mathy rn.
Replying to @HarmonicMath
Same rule as math: no partial credit. You tell Aristotle what your code is supposed to do, in plain English. It either proves it, or shows you where it doesn't.
juniper beatitudes retweeted
I think people forget that a quantum break of asym encryption is being closed in on from both directions, the quantum computers are getting better yes but also the algorithms are getting refined, I think it's inevitable that it's reached sooner than we thought
i hate gay halloween. what do you mean your throuples costume is the committment, the challenge, and the response
hi chat! in the near future, i intend to implement every nist standardized and current candidate post quantum digital signature algorithm. should i do it in
50%ada/spark
50%c/cbmc
36 votes • Final results






![PHASEONE[rowan] (@rogesterone) profile picture](https://pbs.twimg.com/profile_images/1987493205999230976/OQc25Aw__400x400.jpg)
![Image from PHASEONE[rowan] (@rogesterone)](https://pbs.twimg.com/media/HWCsmDUXwAIcn5y.png?name=small&format=webp)






