invlwhen.bsky.social - Profile | ThreadSky | a Reddit-style client for Bluesky

invlwhen.bsky.social

tu deviens responsable pour toujours de ce que tu as apprivoisé

32 posts 58 followers 231 following

Posts 12 Comments 24

I love this piece of animation from Blue Seed's extras - a fourth wall breaker that teaches you a bit about how animation worked in the 90s, makes you feel smart for getting it, and makes you want to learn more! Here's part 1.

submitted 106 days ago • 11 comments

lmao do it

submitted 19 days ago • 0 comments

playing with z3/SPACER and I'm gonna leave a pin here where I can't figure out why I can make an edge (-> exit cfg node, so a condition that implies false) with the condition x>10 (sat) and the condition x<=9 (sat) but not (or x>10 x<=9) (unknown)

submitted 42 days ago • 0 comments

"Note that Boost does not need to be compiled, as only the header libraries are used. This keeps things nice and lightweight."

submitted 43 days ago • 0 comments

comments are helpful notes you write to yourself, like `change the name of opt to z3opt in z3/src/opt/CMakeLists.txt because we live in hellworld`

submitted 56 days ago • 0 comments

oh my god she finally found a use case for this and it's brilliant

submitted 70 days ago • 0 comments

I am going to make a weird computer

submitted 82 days ago • 0 comments

of course there's a distinct mini hdmi and micro hdmi. you would be a fool to think otherwise!

submitted 82 days ago • 0 comments

record scratch you're probably wondering how I got here

submitted 85 days ago • 0 comments

Ed Balls

submitted 98 days ago • 188 comments

submitted 99 days ago • 0 comments

blue sky

submitted 102 days ago • 0 comments