Thomas Dinsdale-Young

@TheJessPlayin Hope you feel better soon!

No stream today, back tomorrow. Feeling like death and need to rest. Will see you at 3 tomorrow

I've been working on my old west point & click for over 4 years, and I'm honestly terrified that people have either forgotten about it or never heard of it. Wishlist and help spread the work to calm my fears, please :D Link in bio!

@ParkyMatthew @BirkedalLars @hyang144 @poplconf I'm also honoured - and delighted to have worked with you, Lars, Philippa and Hongseok on it!

I am immensely honoured that yesterday at #popl23 the Views paper has been names the “Most Influential Paper from POPL’13”. I have always loved POPL, and to receive this honour is truly amazing.

Compared to Facebook. It was quite easy to quote unquote drunk tweet on Facebook.

Wow. Twitter makes it quite hard to tweet when you're really drunk.

@codydroux @ZachWeiner This is just my intuition, and if P=NP then somehow the space of 3SAT mazes is kind of regular. But maybe there are enough instances that are different in enough subtle ways that any P-time compass would sometimes be wrong.

@codydroux @ZachWeiner True, but that's not the problem I'm thinking of. Suppose the maze is a propositional formula, and each branch is a choice in assigning each propositional variable. Solving the maze is finding a satisfying assignment. (NP-complete for 3SAT.)

Hey math/CS dorks - what's your intuition on why it's almost certainly the case that P=/=NP? Like, if a philosophy-minded student asked you why it'd surprise you if P=NP, what would you say?

@ZachWeiner (Of course, it's more complicated than that, because this basically assumes that the maze itself can be coded polynomially in n, which is probably not true in general. But there are still a lot of mazes.)

@ZachWeiner So somehow you'd be able to figure out the path in a deterministic way, faster than trying all exits, in a way that works no matter which path the exit is on.

Gödel: Wordel, but with true propositions of first-order arithmetic.

youtu.be/PMLdxl7gzuk Merry Christmas!

@TheJessPlayin Get well soon! 🤒

No stream today. Woke up feeling ill. See you tomorrow

Excited to announce that I'll be hosting the Indy Indies once more this December 18th. Can't wait to play all the demos and chat!

And gosh, if this is your first time hearing about the Interactive Fiction Competition, it's a bunch of free games and we're looking for judges. All you gotta do is play and rate five games! Set up your account and check 'em out at ifcomp.org today.

Woohoo! Weekend! There's still plenty of time to play and vote in the IFComp, but here's your reminder that we're a little halfway through the judging period. Maybe fit in a game or two with your morning coffee...☕️

Streaming briefly for @ItGetsBetter, @playtra_games, and @gaymingmag Missed you all!! Come hang out and let's raise a little money. It will be a short one unfortunately due to the house situation <3

Yes! Thanks, @PatientRock1! We were having trouble with our prizes@ifcomp.org email, but we believe it's fixed now. All, please do consider items/services/etc that authors would love to win as prizes for their hard work! You can also just donate funds at ifcomp.org🙏

@RaeHaskell @fancytypes @riaqn_en @lambdabetaeta @BirkedalLars @apaszke @DavidDuvenaud @dvytin @SingularMattrix @jrk @DougalMaclaurin Theorems for Free from Separation Logic Specifications Lars Birkedal (@BirkedalLars) Thomas Dinsdale-Young (@thomaswdyoung) Armaël Guéneau Guilhem Jaber Kasper Svendsen Nikos Tzevelekos (@NTzevelekos) doi.org/10.1145/3473586 youtube.com/watch?v=8lv6UY…