Share this page!

Enter URL or ID to Unroll

You can paste full URL like: https://x.com/threadreaderapp/status/1644127596119195649
or just the ID like: 1644127596119195649

How to get URL link on X (Twitter) App

  1. On the Twitter thread, click on or icon on the bottom
  2. Click again on or Share Via icon
  3. Click on Copy Link to Tweet
  4. Paste it above and click "Unroll Thread"!
  5. More info at Twitter Help
Swarat Chaudhuri Profile picture
Swarat Chaudhuri
@swarat
CS Prof @UTCompSci. Programming Languages + Automated Reasoning + Machine Learning.
May 7, 2018 • 5 tweets • 2 min read
(1/5) I grew up in the Programming Languages research community and have recently begun attending Machine Learning conferences. One perspective that I don't see much in either community is that #MachineLearning is a form of #programming. (2/5) PL/formal methods researchers tend to think of programs as engineered objects, and study abstractions/tools for principled engineering. But the big assumption here is that you can formalize your goals and the world in which your programs run. That's not always realistic.