Member of the load-bearing staff
- Tweets 2,199
- Following 888
- Followers 2,452
- Likes 10,924
Our promo video for the College of AI is basically @EthanCecchetti designing a type system in the dark :)
4
1
32
3,040
Nice to see SlopCodeBench the #2 topic on HN right now, right under Dario's statement. Go @GOrlanski!
repo: github.com/SprocketLab/slop-…
paper: arxiv.org/abs/2603.24755
1
3
17
1,153
As part of SIGPLAN blog, Adrian Sampson and I started an interview series where we talk to PL luminaries. Our first one is a super fun conversation with Ranjit Jhala (@RanjitJhala). 1h26m of goodness. piped.video/watch?v=goUZczQA…
4
19
71
18,004
it's really amazing that the nyt is still framing the genocide as "pressure to release the hostages". I mean Israel's own leaders made it explicitly clear that the hostages are not their priority, but the destruction of Gaza and transfer of Palestinians. What a bunch of cowards
1
6
289
One of the main reasons quantum computing can be scary for many CS students is the notation.
E.g., what's the probability of measuring 0 for the ith qubit? The standard construction is horrendous, but it's really just a simple filter/map/reduce:
2
3
25
2,120
Amanda Xu is at it again. In ASPLOS 25, she shows how to optimize quantum circuits by mixing *fast*, peephole optimization, with *slow*, search-based rewriting.
This simple algorithm beats all other optimizers. arxiv.org/abs/2411.04104
1
12
39
4,580
i recently gave a personal talk about "uncertainty and my scientific journey" at PLMW. I covered the different forms of uncertainty that I've encountered through grad school, tenure-track, and post-tenure.
youtube: piped.video/watch?v=kYZiPZ3E…
1
4
59
3,732
First, @awsTO. He completely changed my way of thinking about research. Before working with AWS, I was afraid of venturing in directions I didn't know much about. Now I embrace the unknown.
11
822
with Loris (@lorisdanto) leaving, it's the end of an era in Madison. Here are 5 things I learned from him:
3
7
99
13,957
a german magazine published a cover-page article calling my larger family (the Barghouthis) “shadow warriors who spread hatred for Israel around the world”
this is dangerously racist, and no different than the antisemitic tropes about the Rothschilds and the elders of Zion.
3
2
25
3,333
I'm coediting the SIGPLAN blog with Adrian Sampson.
New post by @benzorn and @emeryberger makes the argument that "AI Software Should be More Like Plain Old Software"
blog.sigplan.org/2024/04/23/…
1
21
1,519
I can’t get over this provision in the spending bill Biden just signed. This is the equivalent of “sure you can tell the teacher, but we’ll beat you up after school”
5
651
The Israeli occupation wants to put Palestinians in reeducation camps.
bbc.com/news/world-middle-ea…
1
3
13
2,737
Happy to announce a program-synthesis breakthrough, led by Amanda Xu and to appear at @PLDI
tl;dr -- in 1 minute, we can synthesize a quantum-circuit optimizer that outperforms the best expertly written ones
paper: arxiv.org/abs/2211.09691
2
8
62
7,744
whenever i hear someone make the argument that LLMs are not 'creative' or that they just 'predict the next word', I remember these lyrics by Sixto Rodriguez:
3
634
I find that asking it to *not* give an explanation works well, because it tries to walk through a standard algorithm and then loses track midway through :)
This is my anti-chain of thought approach :)
2
1
3
847
Probably the first birthday cake made with the help of generative AI (@OpenAI dalle)
My daughter riding a unicorn — she loved it
4
24
3,025
Finally, the only way I could get it to do foldr correctly is to explicitly point out its mistake. And it gets it!
1
1
339
The teacher doesn't despair.
Below it gets foldl right but not foldr. It messes up double negation.
1
1
155
Finally, it gives me a correct example (minus is not associative). But it gets the evaluation wrong :)
1
2
194
Trying hard to get chatGPT to give me an example where foldl and foldr return different results ... Will it succeed?
First try: clearly the evaluation of foldl is wrong ... 🧵
1
5
1,242
My students, Abtin Molavi & Amanda Xu, have been building a flexible quantum compiler with as little code as possible, using SAT/SMT and synthesis. Here's our first paper on qubit mapping/routing to appear at MICRO 22.
paper: pages.cs.wisc.edu/~aws/paper…
code: github.com/qqq-wisc/satmap
1
1
43
