|
Sam Tobin-Hochstadt
@
samth
Bloomington, IN
|
|
Associate Professor, @IUSICE ·
Core Developer, @racketlang ·
Member, @TC39 ·
Handler, @NaptownUltimate
|
|
|
14.560
Tweetovi
|
933
Pratim
|
2.663
Osobe koje vas prate
|
| Tweetovi |
|
Sam Tobin-Hochstadt
@samth
|
35 min |
|
How does the size of your faculty compare to other departments at Brown with similar enrollments?
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
2 h |
|
Indeed.
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
2 h |
|
How does this compare to @d_christiansen's version?
|
||
|
|
||
| Sam Tobin-Hochstadt proslijedio/la je tweet | ||
|
Kieran Healy
@kjhealy
|
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 twitter.com/github/status/…
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
2. velj |
|
This is again with the "the right wing is like the weather and has no agency".
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
1. velj |
|
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.
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
1. velj |
|
I think it's not possible to improve Excel without spending time with individual spreadsheets, and similarly for theorems.
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
1. velj |
|
This analogy points in exactly the wrong direction: Excel is important, improvable, and a subject for CS research.
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
1. velj |
|
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.
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
1. velj |
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
1. velj |
|
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)
|
||
|
|
||
| Sam Tobin-Hochstadt proslijedio/la je tweet | ||
|
Fischer-Steak
@DerWachsame
|
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?"
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
31. sij |
|
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.)
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
31. sij |
|
Right, I'm just asking how long Z3 takes on the simple queries.
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
31. sij |
|
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?
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
31. sij |
|
Tammy Baldwin and Elizabeth Warren will both break ties for anything Tester/Sienna/Jones/Manchin vote for.
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
31. sij |
|
How bad is it with the Z3 API and reusing the session?
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
31. sij |
|
How long does it take to answer this with Z3?
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
31. sij |
|
The fact that Tester isn't going to vote for it anyway makes this less of a problem.
|
||
|
|
||
|
Sam Tobin-Hochstadt
@samth
|
31. sij |
|
I learned both Ultimate and Scheme at CTY -- basically my whole life now :)
|
||
|
|
||