zx @zx@mastodon.xyz

I feel like every language should come with tooling to upgrade the version of the language. Right now I use external tools like pyenv, n/nvm, stack, etc. It really should just be built-in.

Only Go and Rust are painless enough to upgrade that they don't feel like they need it.

Turns out program synthesis works better if you jointly learn a library of functions and abstractions

https://www.youtube.com/watch?v=NYIeP1hns6A

I love connections between optimisation and dynamical systems. I think the bridge offers so much insight

Link is a discussion on how to stabilise GANs using a prediction term that acts like a dampener if the optimisation is viewed as an ODE.

https://twitter.com/tomgoldsteincs/status/1355519909288140802

One day I will fully master pandas, but damn that won't be this month.

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!