miska.yui

miska.yui

@miska.yui.osvald.dev

{{here the inner becomes the outer}} $(following tech stuff, cute art, and good vibes) //mostly just posting for myself $~31 y.o. ::programmer-ouppy @agender - any/all 🍁💚🤍

39 followers134 following534 posts

miska.yui reposted

The point of formal methods isn't to convince the theorem prover that your proof is correct; it's to convince *other human beings* that you are solving the right problem and that your solution to that problem is correct If nobody understands what you are proving or why then the rest does not matter

miska.yui reposted

You should be fascinated hitting the power button on your computer.

 Every boot on an x86 machine iterates through the entire sequence of computing evolution in a few milliseconds:

coffeecoffeecoffee :3

The Floppy Guy 🌈💾@floppyguy.bsky.social

Happy International Coffee Day 🌈☕💾 #coffee #mokapot #floppydisks #floppydiskart #mavica #seattle The first build was inspired by the iconic work of @moertel.art while the second one lives at the Bakke Coffee Museum in Ballard

i hate that an ancient orange banana is allowed to do all this. i hate that i cant do anything. glad mark carney is at least taking a stand :c 🇨🇦