Ian Kettlewell retweeted
The trajectory is clear
New on our Frontier Red Team blog: using Claude to formally verify software at large scale.
Formal verification can prove that code is free of certain bugs, but historically it has only been feasible for small codebases (or required a lot of expert time).
With AI models, however, this is beginning to change. In collaboration with @theoremlabs, we used Claude to prove security properties in over one hundred real-world open-source libraries over the span of a few weeks.
Read our research in full here: anthropic.com/research/forma…
Ian Kettlewell retweeted
Goose: my latest programming language. Safer, faster and less memory than Rust/C++ for algorithms where tightly packed, flat data structures matter.
It can represent more kinds of data structures as flat, pointer-free bytes than any language I know.
github.com/aardappel/goose
1/
Ian Kettlewell retweeted
Moves to restrict college degrees based on value were obviously coming, we knew this was happening for a long time. College prices should be lower and better value, but the current moves are more about political retribution against humanities degree seekers and “Marxist” faculty
Ian Kettlewell retweeted
What are your favorite unusual elements of your studio/study/office? Drown me in inspo please!
I'm renting a little space for myself as an experiment: never had a creative space of my own, always a shared office or tiny corner of a shared bedroom. Excited to see what happens to my practice when I play idiosyncratic environmental dictator.
One element I'm really liking so far is a big dedicated writing/reading desk with no computer. Putting up a big 8'x6' pin-up wall next.
Ian Kettlewell retweeted
Let me say what too many seem scared to:
America is stronger because the best and brightest from around the world come here and build here.
They fuel innovation, which creates more jobs for Americans.
And the world benefits from what we all build together.
Ian Kettlewell retweeted
I want the US to have a massive Robot Games too, just because it is wildly entertaining. Actually we should do this internationally every 4 years like the Olympics. Maybe add a winter games for skiing robots. Massive ad revenue opportunity for whatever TV network airs it
Ian Kettlewell retweeted
Replying to @GergelyOrosz
I've been vibe coding a few games recently and it has given me SO much respect for game designers
Churning out something that looks like a game is pretty easy now. Building a game that's actually fun to play is still way beyond me (and beyond Claude and GPT-5.6, too)
Ian Kettlewell retweeted
This week we did a three day "App Jam" at @Playbit_ .
Lots of cool things were built, like a multiplayer math art app and a MIDI composer.
My own project was a flow-based programming app for graphics. As if Quartz Composer was multiplayer.
Pure C & WGSL, no libs, 1.5M wasm file.
Ian Kettlewell retweeted
Again, this is more of what I want to see. Not “check out this one-shot” but “I’m using all my skills and craft and refining this over time”
Replying to @yabaizettai
To clarify It wasn’t a one shot and took iterations. I’ve worked in film/games for 2 decades and used many of the same concepts learned over the years - it was iterative process acting as director, guiding it and correcting when it messed up. Started small and grew it.
Ian Kettlewell retweeted
For the longest time we have said computing science is a "mathematical" subject and some have claimed that competency in mathematics is a prerequisite for competency in computing science. However, apart from a few niche areas of computing, that was not actually the case, software "engineering" has actually been conducted as a craft. This is about to change as mathematics essentially becomes commoditized and brought to bear on the specification, development and verification of software in a way that can be wielded by civilian programmers. Finally we can remove the quotes from software "engineering".
IMO, the next steps are:
Within 1 year: strictly better than human AI in all problem-solving aspects of math.
Within 2 years: producing mathematics becomes so cheap, AI will produce mathematical theories for all kinds of applied domains on the fly at need.
Mathematics becomes the true infrastructure of all of engineering and applied sciences (including AI, biology, optimization, cybersecurity, etc) where approaching things theoretically was too expensive to be practical.
Ian Kettlewell retweeted
This is probably the biggest moment of my life 😭 After 4 years, the Game UI Bible has finally launched for all the world to see. A 400+ page tome of Game UI/UX goodness, celebrating all the weird and wonderful intricacies of this field.
From a thorough history of UI in games, to games that break all the rules, to Nintendo's forward-thinking approach to interfaces, and UI's influence on branding and meme culture.
Not only that, I got to interview the legendary designers who have worked on some of the most iconic games of all time, giving a deep dive on each one. Fortnite! Half-Life Alyx! The Batman Arkham Trilogy! LittleBigPlanet! Tunic! We have them all!
I am SO proud of this book, and for you all to read it!
From a database to a full-fledged bible! ✨🕺
We've collabed with @EddCoates on the Game UI Bible, a 500+ page hardback adventure through the UI/UX of loads of your favourite games 🎮
Let us entice you with a limited signed bookplate by Edd himself and more below 🔗👇
Ian Kettlewell retweeted
I released the first version of Vibrance, a Kotlin multi-platform library to mix RGB colors as pigments (paints). It uses subtractive color mixing instead of additive mixing, yielding interesting and beautiful gradients.
github.com/romainguy/vibranc…
Ian Kettlewell retweeted
I’m an AI PhD at Oxford wanted to move to the US for years, but it never worked out. Maybe I can share why.
To me, it feels like the US is making it harder and harder for Chinese talent to come or stay.
First, Trump signed PP10043, which meant I couldn’t go to the US for any graduate school. That’s why I had to turn down my Stanford offer and come to Oxford.
Later, I qualified for an EB-1A (the extraordinary ability green card). But because I was born in China, I’m stuck in a country-specific backlog that could take another 4–5 years.
Meanwhile, on the other side, I’m getting 3–4 emails from China almost every week. They offer high salaries, free housing, generous research funding, and even offered an astonishing amount of money just for me to come back and have a conversation.
I’ve always loved the American spirit. I truly believe my abilities could have a bigger impact there. But honestly, the whole process has been incredibly frustrating.
All of this makes me wonder whether I should just give up.
Why am I spending so much energy trying to go to a country that doesn’t seem to want me, when another country is doing everything it can to bring me back?
Ian Kettlewell retweeted
wanix got a new homepage wanix.dev/
Ian Kettlewell retweeted
Introducing the Daylight Computer
It does less…
So you can be more 🍃
Order now: daylightcomputer.com
Ian Kettlewell retweeted
I have worked for the City of Philadelphia since 2015. This is still the coolest project I’ve ever worked on. It’s how we change the clocks at City Hall. Enjoy!
Ian Kettlewell retweeted
A quick summary of glaring problems we've found so far:
1) Apple has introduced an anticompetitive new 27% tax on web purchases. Apple has never done this before, and it kills price competition. Developers can't offer digital items more cheaply on the web after paying a third-party payment processor 3-6% and paying this new 27% Apple Tax.
2) Apple dictates all aspects of these links and doesn't allow them in the app's ordinary payment flow. Rather, links must be separated out into a different section of the app, away from places where users actually buy stuff.
3) Apple requires developers to open a generic web browser session, forcing the user to log in to the developer's web site again, to make a purchase. And because of #2, users will have to search all over again for the digital item they wanted to buy.
4) Apple will front-run competing payment processors with their own "scare screen" to disadvantage them.
Epic will contest Apple's bad-faith compliance plan in District Court.
Ian Kettlewell retweeted
Leslie Lamport just published a draft of his new book. 🔥

ALT A Science of Concurrent Programs Leslie Lamport version of 2 January 2024 This is a preliminary version of a book. If you have any comments to make or questions to ask about it, please contact me by email. But when you do, include the version date. I expect there are many minor errors in this version. (I hope there are no major ones.) Anyone who is the first to report any error will be thanked in the book. If you find an error, please include in your email your name as you wish it to appear as well as the version date.






























