Twitter | Pretraživanje | |
Sam Tobin-Hochstadt
Associate Professor, · Core Developer, · Member, · Handler,
14.560
Tweetovi
933
Pratim
2.663
Osobe koje vas prate
Tweetovi
Sam Tobin-Hochstadt 35 min
Odgovor korisniku/ci @ShriramKMurthi @the_herald
How does the size of your faculty compare to other departments at Brown with similar enrollments?
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 2 h
Odgovor korisniku/ci @d_christiansen @mrkgrnao
Indeed.
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 2 h
Odgovor korisniku/ci @mrkgrnao @d_christiansen
How does this compare to 's version?
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt proslijedio/la je tweet
Kieran Healy 2. velj
THIS IS NOT A PLACE OF HONOR. NO HIGHLY ESTEEMED DEED IS COMMEMORATED HERE. NOTHING OF VALUE IS HERE. THIS PLACE IS A MESSAGE AND PART OF A SYSTEM OF MESSAGES. PAY ATTENTION TO IT. WE CONSIDERED OURSELVES A POWERFUL CULTURE
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 2. velj
Odgovor korisniku/ci @MattZeitlin
This is again with the "the right wing is like the weather and has no agency".
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 1. velj
Odgovor korisniku/ci @andrejbauer
Formalizing undergraduate math is a pre-requisite for making formalizing undergraduate math easier, this being an instance of a general statement about abstraction and instances.
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 1. velj
Odgovor korisniku/ci @andrejbauer
I think it's not possible to improve Excel without spending time with individual spreadsheets, and similarly for theorems.
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 1. velj
Odgovor korisniku/ci @andrejbauer
This analogy points in exactly the wrong direction: Excel is important, improvable, and a subject for CS research.
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 1. velj
Odgovor korisniku/ci @vj_chidambaram @eeide
Note that conferences in other disciplines (like history) have much lower registration fees. They do it by having the conference in northern cities between Christmas and New Years.
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 1. velj
Odgovor korisniku/ci @PeanutDweck
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 1. velj
Odgovor korisniku/ci @ManishEarth
There's also the issue that some people have parents with different numbers on this scale (ie, my grandfather was an immigrant but my grandmother was the child of immigrants). And the possibility that multiple generations can immigrate (both my grandfather and great-grandparents)
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt proslijedio/la je tweet
Fischer-Steak 28. sij
"Ich würde gern mein Kind als Komparsen für den Test auf dem BER anmelden." "Wie alt ist denn das Kind?" "Vier Monate." "Das tut mir leid, Testpersonen müssen bei Eröffnung des Flughafens 18 Jahre oder älter sein." "Ich weiß jetzt wirklich nicht wo das Problem liegt?"
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 31. sij
Odgovor korisniku/ci @Pinboard @schof
Isn't another possible lesson that deep red seats are impossible to win, national conditions are everything, and we should all just give to the DCCC? (I plan to give to the GS again this year despite believing this.)
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 31. sij
Odgovor korisniku/ci @johnregehr @jhasomesh
Right, I'm just asking how long Z3 takes on the simple queries.
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 31. sij
Odgovor korisniku/ci @johnregehr @jhasomesh
Now I'm confused about the problem spec here. If you need that then how can a quick checker help? I guess I'm wondering: if Z3 is too slow, how fast do you need?
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 31. sij
Odgovor korisniku/ci @rustbeltjacobin @nbeaudrot
Tammy Baldwin and Elizabeth Warren will both break ties for anything Tester/Sienna/Jones/Manchin vote for.
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 31. sij
Odgovor korisniku/ci @johnregehr @jhasomesh
How bad is it with the Z3 API and reusing the session?
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 31. sij
Odgovor korisniku/ci @johnregehr @jhasomesh
How long does it take to answer this with Z3?
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 31. sij
Odgovor korisniku/ci @rustbeltjacobin @nbeaudrot
The fact that Tester isn't going to vote for it anyway makes this less of a problem.
Reply Retweet Označi sa "sviđa mi se"
Sam Tobin-Hochstadt 31. sij
Odgovor korisniku/ci @nbeaudrot
I learned both Ultimate and Scheme at CTY -- basically my whole life now :)
Reply Retweet Označi sa "sviđa mi se"