Associate Professor, @IULuddy · Core Developer, @racketlang · Member, @TC39 · Handler, @gravemaker_ulti · @samth@types.pl
Bloomington, IN
- Tweets 43,338
- Following 1,236
- Followers 4,378
- Likes 18,591
The US Army produced a video during WW2 warning against homegrown fascism that looks like a commentary on 2024. Boy, I dunno.
31
1,917
14,375
523,782
The bees that recovered are fundamentally a farm animal. Wild bees are still in serious decline.
16
18
1,266
48,017
They have been making gradual efforts to do that with Buffalo (D1 football for example). But the original design of SUNY and the long history of private schools in the northeast make it more challenging.
6
3
1,149
44,030
This is similar to my favorite.
Two penniless Jewish immigrants are walking the streets and see a church with a sign saying 5$ for conversion. One of them goes in. After a while, he returns, and the other says "did you get the $5?"
He says "you Jews, all you care about is money"
3
13
667
19,271
President Whitten is calling in riot police to beat our students for standing in a meadow.
60
90
463
81,816
It was created very late and lots of private universities already existed, I think leading to it being designed to fulfill post-war expansion needs and spreading investment around the state.
1
2
398
15,935
40 years of exponential improvement in computer performance, and instead of giving ourselves sequential consistency and memory safety, we gave ourselves 14 copies of Chromium running at once.
11
57
359
I suppose Pete getting to be Secretary of Transportation at 39 is as close as we get to young these days.
6
293
23,324
I'm very happy to report that my colleagues have decided that I should keep doing this professor thing for a while longer.
40
3
311
I mean, if you don't care about wild animals at all that's up to you, but lots of people think they're important. They're also relevant for pollinating lots of plants that aren't agricultural crops that people like (eg wild flowers).
4
201
5,085
Since getting tenure is supposed to provide freedom to do important things, here's a first step: I'm no longer going to review/work for any venue that isn't open access. There's no excuse in CS for not making progress here.
7
33
198
We know a lot about their health that we don't know about randomly selected people their age tho -- they're not in long term care, they are both capable of walking around, they don't have serious dementia, they don't have any known chronic illnesses, they don't smoke, etc.
2
185
4,575
Almost exactly 4 years ago, Matthew Flatt suggested that we should try to replace the @racketlang VM with Chez Scheme. Now it's done, and will be the default in Racket 8.0, and it's better along almost every dimension:
blog.racket-lang.org/2021/01…
2
32
171
If you like proving, programming, dependent types, parentheses, cute drawings, or Little books, get excited for thelittletyper.com/ by @d_christiansen and @dfried00.
4
63
182
"At this time we cannot explain either."
ALT We consistently observed a 3× slowdown when the executable was named qs.final compared with the default qs. We saw similar performance differences between otherwise identical machines. At this time we cannot explain either.
4
12
178
19,368
So happy to welcome Hannah Elizabeth Edmonds to the world! Born on 1/4/20, 9 lbs 2 oz, 21 in. Everyone is doing well and Leo is very excited to be a big brother.
16
158
Extremely proud of now-Dr @ambrosebs, who defended his dissertation today on Typed Clojure!
10
20
133
This essay is incredible. hmmdaily.com/2018/10/18/your…
6
12
144
8,164
I think "the police and state legislature have a veto over any big city electing mayors they don't like" is indeed blackpilling but not really about the left.
1
1
135
5,604
Very happy to announce our new paper, to appear at @poplconf '21:
Corpse Reviver: Sound and Efficient Gradual Typing via Contract Verification
arxiv.org/abs/2007.12630
w/ @lambda_calculus, @pnguyen0112, Cameron Moy
2
32
122
New year, more hot takes!
JavaScript is clearly the right answer to the question "what language should we use to teach programming?" (This is a bad question, but many people ask it.)
JavaScript has the best tools, best community, best libraries, easiest installation, and more.
23
20
120
o3 (like every other model) fails my standard first test: write a proof in Coq (or in Lean) that there are infinitely many primes. So far no model even produces results that compile correctly.
8
4
128
7,194
This post about the golden age of PL research by Neel Krishnaswami is so good. The golden age is now, and we should all take advantage. semantic-domain.blogspot.com…
2
30
115
It's easier to imagine the end of the world than adopting the Norwegian justice system.
1
3
105
7,818
You heard that Racket enabled non sexp syntax, but you did not understand the power that we had unleashed. racket.discourse.group/t/yam…
15
22
111
15,597
Best moments of @IndianaUniv graduation:
- Loudest applause for the solitary student getting a PhD from the Law School
- The student who carried her baby across the stage for PhD hooding
- The @IULuddy student who opened up a sign supporting the @IndianaGrads strike on stage ✊
1
10
91
The two most important journals, and almost all of the most important conferences in PL are now gold open access. 5 years ago, none of them were. Makes me really proud of our community.
TOPLAS is now Gold Open Access. All TOPLAS papers (since the 1979 beginning) are now available to everyone.
2
14
97
Language-oriented programming the @racketlang way, on the cover of CACM: m.cacm.acm.org/magazines/201…
By Matthias Felleisen, Matthew Flatt, @rfindler, @jeapostrophe, @elibarzilay, @ShriramKMurthi, and me.
Includes a nice video of Matthias explaining the big idea.
50
102
2010s:
finished my phd
published some really good papers
created racketcon
got my dream job
added modules to javascript
revamped our intro course
went to (masters) nationals
had an awesome kid
graduated 2 phd students
got tenure
5
2
98
I feel like "A is good, but we shouldn't punish people who don't do A" is such a banal position that failing to understand it has to be willful.
2
3
95
3,033
Announcing a new result, joint with @betainverse (who is definitely first author): Leo Roger Edmonds, born this morning and already ready for Santa to arrive.
18
1
87
Congratulations to Emina Torlak, who is this year's winner of the @sigplan Robin Milner Young Researcher Award!
10
89
I think a more generous way to put it is that lots of major features of our society relied implicitly on the existence of low wage workers, and many of those are breaking, not just getting more expensive.
4
6
74
7,059
Best one so far. RT @doublehelix: #feministhackerbarbie knows her web dev nitter.app/doublehelix/status/535…
135
81
What people hate about tourism (like what people hate about living in a college town) is that it brings you face to face with the reality that you're dependent on people outside your community that are richer than you.
4
1
78
6,401
Extremely disappointing to see a professor at IU write something like this, which disparages our colleagues, students, and co-workers. This attitude is ahistorical, not supported by evidence, and harmful to our community.
“geniuses are overwhelmingly male because they combine outlier high IQ with moderately low Agreeableness and moderately low Conscientiousness.” buff.ly/2CnUQrq
11
11
71
This is the best thing I've read about what functional programming is really about.
I started a series of posts on what FP is to me, or “The Burge School of Functional Programming”: jmct.cc/intro/index.html
6
22
76
"Donald Trump agreed to a ceasefire with the Taliban in exchange for US withdrawal" is impossible for many people to comprehend.
1
1
70
2,050
I think there's a real tension here. Existing languages are designed around software developer concerns that "layfolk" want to ignore. But it's not at all clear that it's _ok_ to ignore those concerns, because the result is often getting things totally wrong.
Hot take: Python is fundamentally the wrong tool for layfolk programming.
All existing programming languages are the wrong tool.
They're all designed for *software developers*, who are specialists.
8
2
73
The fact that part of the US population is over the age of 69 is why your citation is not a sign that I did the division wrong.
1
1
81
923
And the kid in the Netherlands didn't know NIN until he used this sample, apparently (that's what the Rolling Stone article says).
1
1
68
Is this really about it being off message, or about the reviewers finding it implausible (and thus demanding higher standards of evidence than normal)?
8
1
65
6,074
Also, newer cars and luxury cars both have significantly lower fatal accident rates than the general population, so even this comparison is too generous to Tesla.
3
2
56
7,245
More than .1% of the entire US population died of COVID, so the statistic you made up can't be right.
1
1
76
916
That the Agda standard library (a) doesn't come with agda (b) has a 7-step installation process that (c) involves editing some text files is just amazing. github.com/agda/agda-stdlib/…
10
7
64
Also every angry complaint about Rust turns out to be mad that memory safety is now important.
2
1
63
Excited to keep moving gradual typing forward with @jeremysiek and our students!
Professors Sam Tobin-Hochstadt and Jeremy Siek have been awarded a grant from the National Science Foundation to improve the efficiency of gradual typing. Read more: bit.ly/2Go1zRL
4
7
68
Preregistered takes:
Trump wins big: people really hate inflation
Trump wins narrow: our political and electoral institutions are very bad
Harris wins narrow: having a terrible candidate is actually bad
Harris wins big: the Democrats are the most successful center left party
1
1
66
23,563
An economy of zoom meetings, fast casual drive through, Amazon delivery, and Walmart pickup is both genuinely more productive and affords people higher pay/more stuff, but also less nice to be a part of in ways that are hard to measure.
3
3
56
4,017
Monsters Inc isn't beautiful in quite the same way, but it's a great movie in a way that the classic Disney animated movies are not -- acting, story, direction, character. Studio Ghibli is just great art.
1
65
4,378
The farmed bees are basically all the European Honeybee, which like the name suggests is not native. They aren't bred like cattle but they also aren't the same as the native bees. And different native bees pollinate different native plants and fit the ecosystem in different ways.
3
65
1,395
See, by programing in a high level language I ensure that my programs can't possibly be fast enough to have this happen to them.
2
67
1,078
Our paper on Sham, a DSL for constructing high performance DSLs in Racket, is now published in @programmingconf: programming-journal.org/2022…
Joint work with @rajanwalia and @ccshan.
1
14
64
I think they more often mean that you could teach a senior-level probability & statistics class that would have more fun examples/be more relevant to the "real world"/not involve ε-δ proofs, and that the reasons we teach calculus in that spot are not necessarily compelling.
3
52
8,647
Today in 1995: "NETSCAPE AND SUN ANNOUNCE JAVASCRIPT, THE OPEN, CROSS-PLATFORM OBJECT SCRIPTING LANGUAGE" web.archive.org/web/20070916…
4
188
61
A Statement From Jewish Faculty, Staff, Students, and Alumni Regarding IU’s Treatment of Student Protesters
scribd.com/document/72844422…
4
15
60
6,189
Scientists shouldn't tell them they're correct but they can certainly restrict what uses their blood donations are put to.
51
2,067
Yeah, instituting Norwegian or UK police would not be abolishing the police in an obvious sense, but it would require the complete elimination of every current policing institution in the country.
1
1
54
1,839
OOPSLA 2020 accepted a ton of papers (relatively speaking) and it's awesome: 2020.splashcon.org/track/spl…
3
15
55
Which way, computer scientist?
ALT The textbook "Concrete Mathematics"
ALT The textbook "Imaginary Mathematics for Computer Science"
1
1
57
ChatGPT provided a perfect answer when checking if our prime sieve was working correctly in class today:
3
10
51
5,122
I know of some people with previous experience at Jane Street who seem to be out of a job now ...
(too soon?)
3
58
My first post at the new SIGPLAN blog: Gradual Typing from Theory to Practice
blog.sigplan.org/2019/07/12/…
1
15
55
This talk, by Harrison Goldstein and Samantha Frohlich, was the most fun presentation I've attended in years.
2
8
57
6,142
