Bill Pugh

Professor, software developer, maker, mentor, fire eater. Pronouns: he, him, his.

[Xint @xint_official]

Patch your Linux boxes!

https://t.co/VWOUDbLAn2 is a trivially exploitable logic bug in Linux, reachable on all major distros released in the last 9 years. A small, portable python script gets root on all platforms.

Found by the teams at @theori_io and @xint_official
More details below
https://t.co/9f6T96PvPX

[Brown CS @BrownCSDept]

The latest issue of @ACMInroads features a conversation with @BrownCSDept faculty member @ShriramKMurthi, dubbed a "prominent propagator" for his successful spread of pedagogical or curricular innovations in the CS education field: https://t.co/c3rD1cqCaN

[Claude @claudeai]

Introducing Claude Opus 4.7, our most capable Opus model yet.

It handles long-running tasks with more rigor, follows instructions more precisely, and verifies its own outputs before reporting back.

You can hand off your hardest work with less supervision.

[Dawn Song @dawnsongtweets]

1/ An unreleased Anthropic model just identified thousands of zero-day vulnerabilities and achieved end-to-end exploitation across every major OS and browser.
The AI cybersecurity threat we've long warned about is here. 🧵
https://t.co/oy1utqiRms

[Anthropic @AnthropicAI]

Introducing Project Glasswing: an urgent initiative to help secure the world’s most critical software.

It’s powered by our newest frontier model, Claude Mythos Preview, which can find software vulnerabilities better than all but the most skilled humans.
https://t.co/NQ7IfEtYk7

[Matt Harrison @__mharrison__]

For my friends who are still using UV and might be a little weary about recent compromises to PyPi packages, stick this in your pyproject.toml.

You can let all of those pip users find and report the compromises...

[John Daniels @JustAnAlgorithm]

@aarondotdev The study is around if using AI coding assistants helps or hinders skill development, particularly when learning new concepts. It had 52 participants, Junior Engineers. Why are you misrepresenting the study? https://t.co/B7H9LfRcZp

[Bill Pugh @wpugh]

The Department of Computer Science at UMD (@umdcs) is looking to hire a faculty member who will focus on the impact of AI tools on computer science education. Responsibilities of this faculty position will include taking on a leading role in curriculum innovation and course development related to the challenges and opportunities of AI tools in computer science education, in addition to an appropriate teaching load.

https://t.co/7wOWQVZESD

[働きたくない @h_a_t_a_r_a_k_e]

The “we asked it to build a C compiler and two weeks later it was compiling the Linux kernel” story is honestly wild in the best way.

What stands out most to me, though, is how fast the required skill set is shifting from “I deeply understand compilers and write the code” to “I don’t fully understand the compiler, but I design the tests, constraints, and verification and then watch the agents work.”

It feels like the core of software engineering is moving away from writing every line ourselves and toward owning problem formulation and evaluation, while agents take over more of the implementation in between.

[Dario Amodei @DarioAmodei]

The Adolescence of Technology: an essay on the risks posed by powerful AI to national security, economies and democracy—and how we can defend against them: https://t.co/0phIiJjrmz

[Bill Pugh @wpugh]

While faculty could afford their own Claude pro licenses (I've gotten one), there are reasons why it would be better to have faculty using university licensed accounts.

[Bill Pugh @wpugh]

Has anyone in a university CS department found a way to provide faculty with access to @Claude Code, other than just having faculty get their own personal Claude Pro license?

We could get a Claude Team account through the university, but that requires a premium seat which costs $120/seat/month. UMD students can get free access to Claude Code through the local Claude builders club.

UMD DivIT says they are trying to get academic pricing for team/enterprise accounts. If any other university has been successful at that, sharing that information might help UMD follow that path.

[antirez @antirez]

New blog post: Don't fall into the anti-AI hype.

https://t.co/afY9gq4ukV

[Stratechery @stratechery]

Apple: You (Still) Don’t Understand the Vision Pro

The first live sporting event was broadcast in the Vision Pro, and it's a big disappointment. The experience could be amazing, but Apple actively ruins it.

https://t.co/UCQ3cLBTSb

[Sundar Pichai @sundarpichai]

We launched Gmail on April Fool’s Day in 2004. 20+ years later, we’re bringing Gmail into the Gemini era.

AI Overviews, Suggested personalized replies, Proof read, AI Inbox with new streamlined views and suggested topics to catch-up on and loads more, read the full details here: https://t.co/oq3jYKyvF1

[Bill Ackman @BillAckman]

On the topic of billionaires and wealth taxes in California, I am opposed to wealth taxes because they effectively represent an expropriation of private property and have many unintended and negative consequences that have occurred in every country that has launched such a tax.

I am however strongly in favor of a fairer tax system. To that end, it doesn’t seem fair that someone can build a valuable business, create a billion or more in wealth and pay no personal income taxes by living off loans secured by stock in the company, (and even if the loans are unsecured).

Apparently, this approach is used by many super wealthy people. A small change in the tax code would address this unfairness. In short, personal loans taken in excess of one’s basis in the stock of a company should be taxable as if you sold the same dollar amount of stock as the loan amount.

One shouldn’t be able to live and spend like a billionaire and pay no tax.

I welcome arguments to the contrary as to why this is somehow unfair to the billionaire or even the hundred millionaire, but I don’t think there is a good one. The favorable current tax treatment of this approach also encourages the use of leverage which is not good for society.

And with respect to California’s budget problem, the issue is not a lack of tax revenues. The problem is how the money is being spent.

I have a bunch more ideas on other changes to the tax code that are hard to argue with if anyone cares.

[Ethan Mollick @emollick]

It would be a good time for experts on coding, and especially experts on programming pedagogy, to think about how to train non-programmers to be good vibe coders.

What do they need to know about coding practices in order to be more effective? What limits should they understand?

[9to5Mac @9to5mac]

Gruber: Apple employees 'giddy' about Alan Dye’s departure https://t.co/kp81NP5EpJ by @ChanceHMiller

[Bill Pugh @wpugh]

I'm looking at ways to have the UMD CS department provide access to Claude Code for a number of people. I was looking at getting a Claude team account, but according to this document, a standard Claude team account doesn't provide access to Claude Code. Is that right? The premium accounts on a Claude team account provide access, but are _way_ more expensive than an individual pro account. https://t.co/sbxwRSWb8e

[The Harvard Crimson @thecrimson]

When former Harvard President Lawrence H. Summers was pursuing a romantic relationship with a woman he described as a mentee, he turned to a longtime associate for guidance: Jeffrey E. Epstein.

@dhruvtkpatel and @camsrivastava report.

https://t.co/p8uUQjwtfG