289 followers β’ 1 thread β’ professor, pl/fm/se at uiuc cs! Just a standard week in the plse lab, with uw, uiuc, and cornell Twitter statistics and summary page.
Talia Ringer on Twitter "Hanabi π which Max is currently formalizing
T ringer, k palmskog, i sergey, m gligoric, z tatlock.
Corr abs/2003.06458 ( 2020 )
Talia ringer, karl palmskog, ilya sergey, milos gligoric, zachary tatlock: Talia ringer (@taliaringer) twitter followers stats shows that the account has 8.3k followers count with 35366 tweets. I want the proof search engine to infer those semantic relations too, so like if you have your own custom datatype and you search for something it should find theorems about. Track, analyse & audit your twitter account with followers.
Talia ringer π»πͺ¬ on twitter: We took this opportunity to document our experience. Something about that conversation made me. Welcome to the website of.

A survey of engineering of formally verified software.
But talia, people don't *actually* ever use pronouns according to sex in good faith, you know? Discover daily twitter statistics, talia ringer ?? I'm reading a lot of papers on type. At @msftresearch we had early access to the marvelous #gpt4 from @openai for our work on @bing.
I'm going to make and pin a thread of research ideas, since i use twitter enough that i'm likely to keep tweeting my ideas, so i hope it will help me &. Verification, proof engineering, dependent type theory.

