Thinking about how IC3 is already overwhelmed trying to show that an ever incrementing counter eventually reaches its maximum value.

Random fact: Listing the true parts a binary function (eg. OR) for pattern matching, so you get the minimum number of cases:
f 1 _ = 1
f _ 1 = 1

or non-overlapping cases:
f 1 0 = 1
f 0 1 = 1
f 1 1 = 1

is called finding the minimal and irredundant prime cover respectively.

Me before transition: I want to get this game with female main character but the designs are so sexualized. Can't support something problematic like this. I'd feel like a creep playing it.
Me now: a SEXY LADY is ME *smashes the start button*

Listening to the DX4 soundtrack I noticed that the Dubai track uses jackhammer and other construction sounds as percussion and while clever... the setting is an ABANDONED construction site. Now it irritates me so much.

RT @pypyproject@twitter.com

PyPy sprint in Düsseldorf, Germany from February 4-9, 2019:
morepypy.blogspot.com/2018/12/

Topics: progress on 3.6, cpyext, packaging, as well as general planning.

This is going to be a newcomer-friendly sprint! If you've always wanted to try working with/on PyPy, please join us! 👩‍💻👨‍💻

🐦🔗: twitter.com/pypyproject/status

Woke up in sweat from a dream where I was running from ARM who tried to silence me because I found out their code names read backwards contain secret messages

RT @ClickHole@twitter.com

Ah, Fuck: The Brunch Place Your Friend Picked Is Called ‘Pantry & Ladle,’ Which Probably Means It’s Expensive As Hell clckhl.co/1lLVS75

🐦🔗: twitter.com/ClickHole/status/1

RT @surasshu@twitter.com

@fullbright@twitter.com for my final master project/thesis i made a version of a half life 2 level w/interactive music. but i couldnt figure out implementation. so i did it by sending "audio" beeps too high to hear in specific frequencies to ANOTHER computer running max/msp which controlled the music

🐦🔗: twitter.com/surasshu/status/10

RT @KatNicoleB@twitter.com

@fullbright@twitter.com I had n extremely short timeframe to make an entire porno bookstore’s worth of smutty book covers in the Bioshock Infinite DLC so I took ‘golden age of illustration’ clip art books we owned the image rights to, cropped pics from them as suggestively as I could and slapped text on

🐦🔗: twitter.com/KatNicoleB/status/

RT @johnregehr@twitter.com

for some reason I was expecting Ackermannization (a way to get rid of uninterpreted functions in a solver) to be complicated but it isn't!

🐦🔗: twitter.com/johnregehr/status/

RT @valeriehalla@twitter.com

we've made a lot of good, useful emojis for everyday communication

🐦🔗: twitter.com/valeriehalla/statu

RT @danikaharrod@twitter.com

dreaming city corridor appreciation post

🐦🔗: twitter.com/danikaharrod/statu

Show more
Mastodon

Follow friends and discover new ones. Publish anything you want: links, pictures, text, video. This server is run by the main developers of the Mastodon project. Everyone is welcome as long as you follow our code of conduct!