Liz Rice 💛💙🐝

paging @jamesl.bsky.social

Buttercup is now open-source! Now that DARPA’s AI Cyber Challenge (AIxCC) has officially ended, we can finally make Buttercup, our CRS (Cyber Reasoning System), open source!

Security firm Trail of Bits has open-sourced Buttercup, a Cyber Reasoning System (CRS) developed for the AIxCC (AI Cyber Challenge).

It is designed to find and patch software vulnerabilities in open-source code repositories.

blog.trailofbits.com/2025/08/08/b...

github.com/trailofbits/...

I wish Google Maps would let you turn off the annoying announcements that “there’s a speed camera ahead”. It’s as if no one from Google ever drove in the UK, where there is a speed camera about every five minutes

very coord!

Listening to this it sounds like South Park is the best hope for saving the world

It's like the literature simply didn't have a pure enough example of a debt fuelled bubble and wanted to create the Platonic ideal of one, just to help out future finance professors

But the tulips, they’re so pretty…why wouldn’t we go into unpayable debt to buy them?

Fun to catch up with lots of old friends and new at @tessl.io tonight. There is clearly a good London tech scene revolving around AI right now!

Me gustan coffee and cake and treats 😋

“Use ‘me gustan’ instead of ‘me gustan’ for correct agreement”

I’m confused #duolingo

@feryalclark.bsky.social could you raise this? Genuinely important that the govt stops encouraging people onto a platform promoting…well…the views that are on there

The business plan practically writes itself. Or maybe the skeletal hand can do it for us 🦴

💡🪦💡Solar-powered lights to decorate graves. Good business idea, no?

@cisco.com 👌

Losing patience with @monzo.com, who advertise “humans on hand 24/7” through chat. I challenge you to find said chat in the app - took me 20mins today. But that was 4 hours ago, and I guess they are still looking for it at their end because they haven’t responded yet…

They’re probably mostly not real people, just grokbots

They also have an app for testing for wifi deadspots in your home. But if you can’t connect, the test won’t work! And then it seems impossible to order the Wifi Pod because you don’t have any failed tests!

In a hotly contested field, I am giving the award for the World’s Worst Automated Phone System to the @virginmediacorp.bsky.social Contact Us phone number

So that’s 12.5% of prisoners, which is lower than the 16% of overall population (from 2021/22 census)

@thetimes.com should be ashamed of yourselves!

Excited to try this out!

Maybe if we all follow more MPs it will help build the momentum for politicians to move over here. Here’s a list: bsky.app/profile/did:...

#ukpolitics

📖⌨️ Last day for me to make edits to Container Security 2nd edition, before it goes into production with @oreilly.bsky.social… I can barely think over the sound of my brain asking “what have I forgotten?”

Oh cool, will check it out!

Oh no, no Foundation Podcast to accompany the new series! 😱

The news here should not be “roadworks”, it’s how #Enfield is investing in making good use of the heat created by the waste incinerator

Maybe so, but what % of them are looking for non-VMware private cloud solutions because of Broadcom licensing costs?

GitHub Actions and AWS CodeBuild - The Ultimate Guide for Container Nerds Switching between GitHub-managed runners and AWS CodeBuild sounds easy — and it mostly is — but there are important caveats to consider.

just published a blog post:
"GitHub Actions + AWS CodeBuild – the ultimate guide for container nerds"

includes:
– how runs-on works behind the scenes
– ways to accidentally spin up a 72xlarge instance 😬
– the joys of debugging $HOME in a container

garbe.io/blog/2025/07... #listentotheheroes

Maybe you should stay off the road until they build you a dedicated car lane

I really like Tadej but really pleased there was a proper race for the final stage. Good on you, Wout!

Gonna miss Gary Imlach, @nedboulting.bsky.social, David Millar, and the rest. RIP @itvx.com cycling coverage 🪦

ha, yes. People seem to often ignore the “premature” bit of the Knuth “premature optimization” quote!