@thomaswdyoung

A computer scientist who likes to do a bunch of creative stuff. #parody

Joined July 2016
  • Tweets493
  • Following82
  • Followers51
64Media
Thomas Dinsdale-Young retweeted
Francisco González@GrundislavGames11 May 2023
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!
24
117
10
494
50,010
Thomas Dinsdale-Young retweeted
Matthew Parkinson@ParkyMatthew20 Jan 2023
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.
Title: Views Compositional Reasoning for Concurrent Programs Authors: Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang

ALT Title: Views Compositional Reasoning for Concurrent Programs Authors: Thomas Dinsdale-Young, Lars Birkedal, Philippa Gardner, Matthew Parkinson, Hongseok Yang

11
30
6
207
27,562
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.
1
1
Gödel: Wordel, but with true propositions of first-order arithmetic.
1
youtu.be/PMLdxl7gzuk Merry Christmas!

In Dulci Jubilo (BWV 608)

J.S. Bach's chorale prelude from Das Orgelbüchlein on the Christmas...

youtube.com
Thomas Dinsdale-Young retweeted
Jess Playin@TheJessPlayin23 Oct 2021
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!
Indy Indies@indyindies20 Sep 2021
Submit your game/music for inclusion in our winter showcase. Deadline Nov. 27th. docs.google.com/forms/d/e/1F…
1
2
9
Thomas Dinsdale-Young retweeted
IFComp@ifcomp23 Oct 2021
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.
1
6
7
Thomas Dinsdale-Young retweeted
IFComp@ifcomp23 Oct 2021
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...☕️
1
6
1
14
Thomas Dinsdale-Young retweeted
Jess Playin@TheJessPlayin17 Oct 2021
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
1
3
5
Thomas Dinsdale-Young retweeted
IFComp@ifcomp24 Sep 2021
Yes! Thanks, @PatientRock1! We were having trouble with our [email protected] 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/🙏
This Post is from an account that no longer exists. Learn more
6
6
Thomas Dinsdale-Young retweeted
Ron Garcia@rg911915 Sep 2021
Replying to @rg9119 @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=8lv6UYX9…

Theorems for free from separation logic specifications | Proceedings of the ACM on Programming...

Separation logic specifications with abstract predicates intuitively enforce a discipline that constrains when and how calls may be made between a client and a library. Thus a separation logic...

dl.acm.org
1
18

No more items