In short, the most valuable thing I can do with my agent is to sometimes tell it to treat me as *its* agent. Irony is not dead, even in 2026.

Output for most languages has not much improved in ~50 years: still linear text. But many program values would be far better off *diagrammed*. PL, cogsci, graph drawing, proofs and performance come together in our new system, Spytial! Give it a try at blog.brownplt.org/2026/05/22/s...

Bluesky still doesn't support to continue from where I left off. Whilst checking for alternative clients, I found github.com/bluesky-soci... (only two years in the making)

Add a "don't scroll with load new" option · Issue #976 · bluesky-social/social-app · GitHub

I like to pick up where i left off if I left app for a few hours. What I don't like is that the load new just auto scrolls to top, which then leaves me having to read in reverse until I "catch up" ...

github.com

I think there is space for updating Landin's classic: The next 700 smart contract languages. (In particular highlighting security problems that inevitably occur since deeper knowledge of proglangs hasn't proliferated as much as it should.)

-Lazarus Group ran a watering hole + zero-day combo attack -Targets included at least six South Korean tech companies -The zero-day was in CrossEx, a browser security tool securelist.com/operation-sy...

Coana has been acquired by Socket! 🤩 From basic research in static program analysis to real-world impact - read more 👉 socket.dev/blog/socket-...

Socket Acquires Coana to Bring Reachability Analysis to Ever...

Socket is bringing best-in-class reachability analysis into the platform — cutting false positives, accelerating triage, and cementing our place as th...

socket.dev

I totally missed that Dr. Dennard passed last year. I use his DRAM chips all the time! #dram #rip spectrum.ieee.org/in-memoriam-...

Robert Dennard, DRAM Pioneer, Dies at 91

IEEE also remembers the lives and legacies of other members

spectrum.ieee.org

For everyone not on Mastodon: Fil Pizlo wrote a highly recommend post on his approach to SSA construction: gist.github.com/pizlonator/c...

How I implement SSA form

How I implement SSA form. GitHub Gist: instantly share code, notes, and snippets.

gist.github.com

What is the latest estimate for global datacenter energy consumption? The last estimates from 2023 estimated that 2022 consumption of ~460 teraWh would go to 1.1 pWh by 2026, but I think we have accelerated past that? Does anyone have better numbers? Is 1.1 pWh still reasonable?

A film all about Keith Jarrett's legendary 1975 Köln concert? Ja mann! youtu.be/j83Ps9SmpF8?...

Köln 75 International trailer

YouTube video by ScreenFlanders

youtu.be

Haven't really followed up on bsky recently, stuck with Mastodon, which has a small, but active PL crowd, highly recommended. The diversity of Twitter was what attracted me in the first place and bsky fills this need nicely. But damn, their client still goes to the most recent post upon loading 🤦‍♂️

O1, R1, etc. are so good that we evaluate them on “PhD-level” benchmarks. But, these benchmarks are so hard that most people can’t even understand what they are testing. We’ve built a benchmark with problems that are hard to solve but easy to verify: for both humans and models.

SoCal Programming Languages and Systems is back and will be @ucsd_cse in February! Submit your abstracts! socalpls.github.io @ranjitjhala.bsky.social @manu.sridharan.net @cristalopes.bsky.social Reposts appreciated!

Every 25 minutes of this is video from **1981** is worth watching. Wow. This is what they took away from us. HT @gregorkiczales.bsky.social

The Medley Interlisp Project@interlisp.org · 2y ago

Beau Sheil uses the Interlisp-D Masterscope program analyzer and the DEdit structure editor to gain insight into and modify the code of a program, a tree editor for linguistics applications. Demo for the 1981 IJCAI conference. www.youtube.com/watch?v=cKjF... #interlisp #lisp #retrocomputing

"The best cryptography in the world will not guard against buggy code." (1994) from Steve Bellovin's retirement talk www.cs.columbia.edu/~smb/blog/20...

Congratulations to this year's second #ACSAC2024 distinguished paper award winners: André Rösti, Stijn Volckaert, Michael Franz, Alexios Voulimeneas 👏👏👏 The talk "I’ll Be There for You! Perpetual Availability in the A8 MVX System" is Thursday in the "System Security" session!

It's Not Easy Being Green: On the Energy Efficiency of Programming Languages arxiv.org/abs/2410.05460 @nicovank.bsky.social

Registration for PLISS (Programming Language Implementation Summer School) 2025 is now open! If you're interested in programming languages, this is the place to be -- great speakers and a conducive location! pliss.org/2025/

Hopefully this is going to usher in a new era in business school thinking. After Boeing, Intel, multiple car manufacturers, and god knows what else, detailed analyses of business cases and decisions should uncover enormous management failures...

JD Work@hostilespectrum.bsky.social · 2y ago

With all of the multiple overlapping crisis events brewing, I wake up to multiple very smart folks at the cutting edge of this business very concerned about the future of the Intel Foundry in the face of moves by their board, after years of b-school driven bumbling that ....

For the hackers among us: o1 can do @halvarflake.bsky.social 's crackaddr-mini without any problems , which no other model can do. It's going to revolutionize the AIxCC program and automated vulnerability finding in general.

It seems to me that the EU lacking a single market for startups, is less and less true. Granted there are bureaucratic problems (legal and tax issues), but the majority of people understand some form of English, with rates continuously improving. (Seems like an enormous opportunity, going forward.)

Not an expert in any way, but it seems like French car manufacturers are a lot less exposed to Chinese problems, esp. compared to Germany. If that turns out to be true, would be super interesting to get some background information.

Beautifully written post about frequently misunderstood aspects of PLs, esp. Lisp and derivatives. Required reading, IMHO.

Shriram Krishnamurthi@shriram.bsky.social · 2y ago

Sometimes it takes me 22 years (+ one evening) to write a blog post. Here are my thoughts on "homoiconicity" and, as an alternative, "bicameral syntax". (Warning: 4000 words.) parentheticallyspeaking.org/articles/bic...

Not sure I'm holding this bsky thing right: Every time it starts, it shows me the newest, most recent messages, instead of the ones I missed from the last one I read. Is there a setting, am I getting old?

Denver gave people experiencing homelessness $1k/month. A year later, nearly half had housing. They also had fewer ER visits, nights spent in a hospital, and jail stays. The report estimates that this reduction in public service use SAVED the city $589k. www.businessinsider.com/denver-basic...

Denver gave people experiencing homelessness $1,000 a month. A year later, nearly half of participants said they had housing.

Participants in Denver's basic-income program reported having more-secure housing, though results were similar in the trial and control groups.

businessinsider.com