Developer and designer. https://xitter.cf/t.co/BFJAVgEUXo https://xitter.cf/t.co/tP44Plt3Uu https://xitter.cf/t.co/eot0pEir2C

Philadelphia
Joined February 2008
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…
6
17
1
112
6,459
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/
111
155
61
1,367
140,530
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
5
3
19
922
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.
43
6
160
16,620
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.
413
40
30
585
56,744
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
2
2
29
1,404
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)
38
18
11
404
46,089
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.
19
12
306
19,929
Ian Kettlewell retweeted
MakeRoom: Tidy Up! is out now 🫧 This free update adds tons of new cleaning, gardening and unpacking objectives. Also new; pools and rooftops! store.steampowered.com/app/2… (30% off!)
13
38
3
467
20,317
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.
1
18
2,296
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.
8
15
1
171
15,809
Ian Kettlewell retweeted
beat + drawing
9
84
3
852
219,118
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 🔗👇
52
391
4
3,725
134,949
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…
5
7
86
4,504
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?
kimi’s founder & ceo got his phd at cmu. why didn’t he stay in america?!
891
929
228
10,847
2,366,931
Ian Kettlewell retweeted
Introducing the Daylight Computer It does less… So you can be more 🍃 Order now: daylightcomputer.com
556
764
1,001
7,618
2,707,156
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!
5
26
7
114
11,530
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.
142
351
215
2,265
993,510
Ian Kettlewell retweeted
Leslie Lamport just published a draft of his new book. 🔥
14
304
28
1,568
275,014