Twitter | Search | |
This is the legacy version of twitter.com. We will be shutting it down on 15 December 2020. Please switch to a supported browser or device. You can see a list of supported browsers in our Help Center.
Matt Teichman
Host of the Elucidations Podcast. Programmer @ UChicago DLDC. CS Lecturer @ UChicago MPCS. Emergent Ventures fellow. Views mine. 🦒
2,196
Tweets
1,832
Following
1,153
Followers
Tweets
Matt Teichman retweeted
Dare Obasanjo Nov 25
Welcome to the future
Reply Retweet Like
Matt Teichman Nov 24
Replying to @HistPhilosophy
Can I start a rumor that he was a fiend for beer pong?
Reply Retweet Like
Matt Teichman Nov 24
Replying to @HistPhilosophy
I was so excited for you to hear that part when we recorded it!
Reply Retweet Like
Matt Teichman Nov 24
Replying to @yaronbrook
Chouette!
Reply Retweet Like
Matt Teichman Nov 24
Replying to @vamchale
That's a relief!
Reply Retweet Like
Matt Teichman Nov 24
Replying to @hmemcpy
New in Big Sur! Use a recurrent neural network to determine when you're in the middle of an important presentation and only then do an un-cancellable system update that requires 12 reboots!
Reply Retweet Like
Matt Teichman Nov 24
Replying to @hmemcpy
"Can I check this automatically keep my machine up to date box for you? Pretty please?"
Reply Retweet Like
Matt Teichman Nov 23
It would not be out of place!
Reply Retweet Like
Matt Teichman Nov 23
Maybe there could be a system where students apply for jobs in their junior or senior year and it counts for course credit. Rather than finishing it with yet another grade on your transcript, you finish it with a job.
Reply Retweet Like
Matt Teichman Nov 23
Check out my new interview with Jessica Tizzard on weakness of the will! Co-hosted by Long Dang, introduction by Dominick Reo.
Reply Retweet Like
Matt Teichman Nov 20
Replying to @cagyirey
ugggh
Reply Retweet Like
Matt Teichman Nov 20
Replying to @andreamoro
Wow, lovely.
Reply Retweet Like
Matt Teichman retweeted
Clément Pit-Claudel Nov 15
Just released! Alectryon is a literate programming toolkit for Coq and also a compiler from Coq documents to interactive webpages. Blog post at , repo at , and academic paper at — come to the SLE talk tomorrow!
Reply Retweet Like
Matt Teichman Nov 20
Replying to @cpitclaudel @stu_kurtz
AWESOME check it out
Reply Retweet Like
Matt Teichman Nov 20
Replying to @andreamoro
Btw, did you know you have a namesake in linguistics? (Though maybe it's a common name and you're just the only two I've heard of.)
Reply Retweet Like
Matt Teichman Nov 20
Replying to @andreamoro
Kind of like how linguists take native speaker grammaticality judgments as given by assumption, whereupon the goal is to devise a framework that rules in all and only the sentences deemed in advance to be grammatical.
Reply Retweet Like
Matt Teichman Nov 20
Replying to @andreamoro
Interesting question---thanks! I can't speak for Nethanel, but I think he is working under a model where the data about what is right and wrong are taken as a given by assumption, and then the question is how to give an account that fits the data.
Reply Retweet Like
Matt Teichman Nov 20
Is there a way to give dune the 'modes' stanza from the config file as a command line argument? Or some other way of telling it on the command line whether you'd like native code, bytecode, fake native code that is really bytecode, etc.
Reply Retweet Like
Matt Teichman retweeted
UMD Department of Computer Science Nov 13
We're hiring! At all academic ranks and in all areas.
Reply Retweet Like
Matt Teichman Nov 18
Replying to @fabcariani
ooooooh
Reply Retweet Like