zx @zx@mastodon.xyz

I'm so tired. How do people manage to work so hard every day? Are you all on simulants?

For anyone exploring Haskell, never use Template Haskell and never use any library written by Michael Snoyman. Don't use lens either. This will save you many hours of pain.

Do Glitch and Notion feel like this generation's HyperCard to anybody?

For US people, Colin is hiring PhD students. Looking for people from different backgrounds and no GRE required:

https://mobile.twitter.com/colinraffel/status/1308055464794632193

Been catching up on juliacon and stancon talks from this year and gotta this is kind of work that fills me with hope and joy.

Now reading:

Neural Datalog through time: Informed temporal modeling via logical specification.

https://www.cs.jhu.edu/~jason/papers/#mei-et-al-2020-icml

David Blei is teaching his Foundations of Graphical Models course totally online. Anyone can audit it!

http://www.cs.columbia.edu/~blei/fogm/2020F/index.html

New online course on Human-AI interaction focused on making publishable user studies:

https://sites.google.com/ualberta.ca/cmput656/home

Who the hell runs the @arxivstats account? Why is it always posting papers that are *years* old?

I want the new hotness!

Audrey Tang is giving the ICFP keynote now https://live.iqiyi.com/177380

I want to thank @bgcarlisle @Cyborgneticz @cxli and all the presenters, moderators, volunteers for making something really awesome with #summerschool

It really feels like it captures the best of what the fedi can be and I loved every bit I participated in.

Thanks to everyone who came to my #SummerSchool talk! The following are links to things I presented:

http://nlc2cmd.us-east.mybluemix.net/#/
http://comcom.csail.mit.edu/comcom/#Synquid
http://comcom.csail.mit.edu/comcom/#ReSyn
http://io.livecode.ch/learn/webyrd/webmk
http://io.livecode.ch/learn/gregr/icfp2017-artifact-auas7pp
https://github.com/salesforce/WikiSQL
https://github.com/paulfitz/mlsql
https://github.com/nadia-polikarpova/cse291-program-synthesis/wiki/Syllabus

If you are interested in papers to read about particular things feel free to DM me!

For #SummerSchool would anybody be interested in being a scribe for my talk? Just somebody to write what is being said as we can't provide closed captioning.

I don't know who needs to hear this but having youtube, facebook, twitter, and mastodon blocked on my work computer has really helped me a lot.

@grainloom I will be using jitsi for my talk