🔥The 9th Round of Easy Loan, Earn $40 Reward is in progress❗️ ⏰ Promotion Period: January 15th - Feburary 15th, 2025 👉 Register now and check more details at gate.io/campaigns/358

Getting on my flight to PLATEAU —excited to see everyone in Berkeley bright and early tomorrow! 😎

I had a great time in Berkeley at PLATEAU. It is always fun to geek out about all things programming langues and human-computer interaction. The community is fantastically helpful and supportive. I can't wait until next year! plateau-workshop.org

Huge thrill for me to come to the spiritual destination of a recent-ish turn in my career journey, to PLATEAU, where PL meets HCI. Perfect audience to talk about co-audit: tools to help the user check that an AI output is aligned with their intent. Fabulous people and discussions

I just got back from this year's PLATEAU - the first I've attended. What a lovely, lovely community! Thank you so much Elena Glassman Sarah E. Chasins Joshua Sunshine for organizing the workshop. :) (I'll share more about what I presented once our paper appears in the proceedings!)

Yes, market-rate housing is exactly what your city needs in order to become more affordable. Build it!! noahpinion.blog/p/market-rate-…

There are so many incredible things about this tweet. The sheer delusion that Israel is close to being destroyed (lmfao) + the insane anti-Semitism of saying "the fucking dirty JEWS are coming" while framing it as woke

I'm usually underwhelmed by keynotes, but I loved the Jonathan Ragan-Kelley keynote "The Future of Fast Code: Giving Hardware What It Wants" @pldi. I'm glad I can share the video (youtube.com/watch?v=66oKqv…) with my students. Thanks to the video chairs, Zixian Cai & John Hui!

Has anyone used Tango to incentivize research participation? They allow participants to select which gift card they'd like to receive. If so, how was your experience with the service? tangocard.com/use-cases/rese…

Remember the scene in Hamilton when he tries to dissuade Washington from giving-up power? “They will say you’re weak,” exclaims Hamilton. “No. We’ll show them we’re strong,” Washington calmly replies. “We’ll teach them how to say goodbye.”

Have you developed a system and are now writing about it for submission to a Human-Computer Interaction (HCI) venue? Participate in our study and kick-start your manuscript. Participants will be expected to (a) interact with a set of design features while planning, writing (1/n)

Great work by the Penrose team building Bloom: a lightweight way to make interactive diagrams: penrose.cs.cmu.edu/blog/bloom All coordinates are automatically figured out by the Penrose layout engine, and diagram specifications can be re-used for different content (like HTML/CSS).

took the idea of “run the layout optimizer again when interacting with the diagram” pretty far this summer. Bloom is a React library for interactive diagrams. It lets you reuse the diagram styling just like Penrose, but in a general-purpose programming language.

talked about diagrams and defended my thing today 🎓 thanks for friends who joined in person & on zoom!

In view of the Adams indictments, having fewer possibilities for bribery would be good!

The culture around gambling has changed insanely fast: 35 years ago, baseball banned the all time hit-leader for gambling (RIP Pete Rose). Now, sports gambling is openly promoted by every major sports star. Gambling destroys lives. What are we thinking?

Resilience is the quality required when the world does not go as you wish and graciousness the quality required when it does. Praying for both, and praying for America.

My collaborator Troels (creator of the Futhark programming language) published a really nice blog post today about a benchmark suite we've been developing for automatic differentiation; the project makes some cool design decisions, check it out! sigkill.dk/blog/2025-04-0…

Google DeepMind just released AlphaEvolve, which improves on several "frontier" unsolved math problems, including circle packing. For 32 circles, it improves the record from 2.936 to 2.937 in sum of radii inside a unit square. You can Penrose to get the same packing, in

This morning, every single Republican member of Pennsylvania's congressional delegation voted to cut healthcare and food assistance from hundreds of thousands of Pennsylvanians and speed up the closure of dozens of rural hospitals across our Commonwealth – all while increasing

how well do you understand how your computer's cache hierarchy affects your programs' performance? samestep.com/blog/random-ac…