Show more

RT @letkma@twitter.com

cashing in on that trend of those 'satisfying' animations you see everywhere

πŸ¦πŸ”—: twitter.com/letkma/status/1123

RT @curvebreaker@twitter.com

im just a smol bean lab e coli owo… *gets ultracentrifuged into a pellet at 4000x earth gravity* a-aaaaaaahhhnnn!!!! >W<

πŸ¦πŸ”—: twitter.com/curvebreaker/statu

Reverse videogames, not malware πŸ‘

RT @yokoyoko468b@twitter.com

γ‚―γƒ­γƒŽγƒˆγƒͺγ‚¬γƒΌγ‚ˆγ‚Šγƒ«γƒƒγ‚«

πŸ¦πŸ”—: twitter.com/yokoyoko468b/statu

I wanted to use z3's built-in support for sequences but it just hung on the simplest things (eg. len(a) = 4, p(a) = true, forall a, p(a) = (a=[]) or (exists b, a = [1]++b++[2]))

I'll be honest, it doesn't even have a parser stack yet but… I'll figure something out

remember when I was pondering an SMT based C parser that could find errors across preprocessor flags? well, I started prototyping…

gist.github.com/rrika/3c471902

RT @johnregehr@twitter.com

quick blog post on what has become my favorite first example of program verification to show students
blog.regehr.org/archives/1667

πŸ¦πŸ”—: twitter.com/johnregehr/status/

RT @amyngyn@twitter.com

anxiety-driven development is me grepping and debugging by myself for hours instead of asking my teammate a simple question because i just feel like i'm "supposed to" be able to figure something out 😭

πŸ¦πŸ”—: twitter.com/amyngyn/status/112

There are two kinds of media players: those who, when playing from the five star playlist, will interrupt the current track if it gets demoted to four stars mid playback, and those who don't.

RT @Morusque@twitter.com

grattoir Γ  chat avec dΓ©tection de grattage qui diffuse des sons de harpe lorsque le chat en joue

πŸ¦πŸ”—: twitter.com/Morusque/status/11

I'm technically in game dev but it really doesn't feel like it

RT @halkyardo@twitter.com

turning a big dial taht says "Float Precision" on it and constantly looking back at the audience for approval like a contestant on the price is right

twitter.com/whitequark/status/

πŸ¦πŸ”—: twitter.com/halkyardo/status/1

Show more
Mastodon

Server run by the main developers of the project 🐘 It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!