Lightnews — Scholar-powered news

AI Models Need a Virtual Machine

2

Aws Albarghouthi @awsto.bsky.social · Aug 30

the latest SIGPLAN blog post is front page on HN:
blog.sigplan.org/2025/08/29/a...

Neural networks are more useful when placed in a suitable, specialized environment.

blog.sigplan.org

4

Aws Albarghouthi @awsto.bsky.social · Jul 6

I'm glad someone found this sentence and thought it was funny :)

Aws Albarghouthi @awsto.bsky.social · Jun 23

Does 545 mean 5:45am?

1 2

Aws Albarghouthi @awsto.bsky.social · Jun 13

thanks so much, Toby!
will update shortly

Aws Albarghouthi @awsto.bsky.social · Jun 12

Here's a paper describing quantum computing using standard programming constructs, w/o the linear algebra!

The hope is that this will demystify quantum computing and serve as a formal foundation for reasoning about quantum programs.

paper eprint.iacr.org/2025/1091.pdf
code github.com/qqq-wisc/qwla

3 13 47

Reposted by Aws Albarghouthi

SIGPLAN @sigplan.bsky.social · Jun 2

We’ve started a podcast! @awsto.bsky.social and @samps.phd host “Current Continuation,” a little interview series with PL researchers. The first two episodes are with @ranjitjhala.bsky.social and @satnam6502.bsky.social. sigplan.org/cc/

Current Continuation

sigplan.org

2 11 24

Aws Albarghouthi @awsto.bsky.social · May 29

In this episode of current continuation, Adrian (@samps.phd) and I talk to the incredible Dr. Satnam Singh (@satnam6502.bsky.social) from Groq.

A far-ranging conversation—from SAT to Haskell to chip design to HDLs to Scotch to castles to HR :)

www.youtube.com/watch?v=_g5f...

E2: Satnam Singh (Groq)

8 22

Reposted by Aws Albarghouthi

Satnam Singh @satnam6502.bsky.social · May 24

Advice from Ranjit Jhala for young researchers includes "As you get older your interests shrink to just a few topics. Resist this urge for as long as possible and try to be interested in as many things as possible for as long as possible."

Aws Albarghouthi @awsto.bsky.social · May 21

As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...

E1: Ranjit Jhala (UCSD)

1 3 22

Aws Albarghouthi @awsto.bsky.social · May 21

we cover all kinds of stuff -- grad school, language design, LLMs, advice, there's even a demo!

2

Aws Albarghouthi @awsto.bsky.social · May 21

As part of SIGPLAN blog, @samps.phd (Cornell) and I started an interview series where we talk to luminaries in the field of Programming Languages. Our first one is a super fun conversation with Ranjit Jhala (UCSD). 1h26m of goodness. www.youtube.com/watch?v=goUZ...

E1: Ranjit Jhala (UCSD)

1 9 24

Reposted by Aws Albarghouthi

Lucy Li @lucy3.bsky.social · May 5

I'm joining Wisconsin CS as an assistant professor in fall 2026!! There, I'll continue working on language models, computational social science, & responsible AI. 🌲🧀🚣🏻‍♀️ Apply to be my PhD student!

Before then, I'll postdoc for a year in the NLP group at another UW 🏔️ in the Pacific Northwest

Wisconsin-Madison's tree-filled campus, next to a big shiny lake

A computer render of the interior of the new computer science, information science, and statistics building. A staircase crosses an open atrium with visibility across multiple floors

16 14 150

Aws Albarghouthi @awsto.bsky.social · May 5

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:

1 11

Aws Albarghouthi @awsto.bsky.social · May 5

Let me know when your US trip plans and I’ll arrange!

Aws Albarghouthi @awsto.bsky.social · May 4

Come to Madison. The east coast is overrated.

1 2

Aws Albarghouthi @awsto.bsky.social · May 3

www.boazbarak.org/Papers/nucle...
just basic computer science

www.boazbarak.org

Reposted by Aws Albarghouthi

David Van Horn @lambda-calcul.us · Apr 26

A text from my brother: "You ever cook with induction?" Me: hell, yeah! I'm always cooking with induction. Then I realize he's talking about food preparation.

2 5 43

Aws Albarghouthi @awsto.bsky.social · Apr 26

Why are soccer parents always in sports clothing? Like you’re just here to bring snacks and tie shoe laces.

This link will take you to a page that’s not on LinkedIn

Aws Albarghouthi @awsto.bsky.social · Apr 15

Thanks for the analysis

5

Reposted by Aws Albarghouthi

Paul Fairie @paulisci.bsky.social · Apr 9

US politics right now is like that episode of Oprah where she gave away all the cars, but instead she kept giving cars and taking cars away and setting cars on fire and making people beg for cars and also didn't understand what cars actually were

13 150 790

Aws Albarghouthi @awsto.bsky.social · Mar 17

my group is giving two talks at the APS Global Physics Summit this week:

Amanda Xu | Optimizing Quantum Circuits, Fast and Slow
lnkd.in/gqGny85V

Abtin Molavi | Dependency-Aware Compilation for Surface Code Quantum Architectures
lnkd.in/g6AcM3wD

lnkd.in

4

Aws Albarghouthi @awsto.bsky.social · Mar 16

who do I bribe to get invite to this?

1 3

Reposted by Aws Albarghouthi

David Van Horn @lambda-calcul.us · Mar 11

Which university presidents have condemned kidnapping students?

2 4

Aws Albarghouthi @awsto.bsky.social · Mar 10

yes we are :)
will fix.