god what the hell is the dafny logo

i should bake more yummy breakfast things

pounce boosted
pounce boosted

me every time a developer gives me some technical mumbo jumbo to test:

pounce boosted
pounce boosted

drracket is probably the cutest IDE i have ever seen for anything
and of course it goes with the cutest programming language :blobcat:
it comes with distributions of racket racket-lang.org/

pounce boosted
pounce boosted
pounce boosted
pounce boosted

god i forgot about the inttypes.h header file

> Note that 0 is incorrectly considered a power of 2 here. To remedy this, use:
what

my mom warned me about video games but i spend way more time hunched over on my computer working on math homework than i could ever spend playing video games....

scherzo more like schcared to zo do that lol

damn wish i could play a chopin waltz

pounce boosted

clearly this sudden depression is just a nerf to keep me from being too powerful

simply-connected covering spaces? big deck energy

if only there were some way to keep track of files in a directory such that you could recover from deletions and loss of work and revert changes >_>

oh goodness, i just saved it to the wrong file

Show more
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!