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
- Tweets5.4K
- Following2.8K
- Followers3.8K
- Likes12.5K
Pinned Tweet
Today I'm open-sourcing Tangle: a new library that automatically 'entangles' and syncs WebAssembly.
Play with the demo: tanglesync.com
And check out the code: github.com/kettle11/tangle
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…
The other day when I posted about software metamorphosing this is a large part of what I meant.
Formal verification will become essential for security and cheap via AI, but it also unlocks fundamentally different capabilities in how software is built & operated at scale.
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…
These forces are coming for all software.
If you want people to value your work you must find value beyond the software itself.
That can be your unique personality & identity, an enduring social network, brand loyalty, cloud compute, etc.
My mental-model of where software is going is that software is entering its goo phase before transforming into something different, perhaps a butterfly.
I think a lot of the industry is building as-if much of the caterpillar is going to persist after the goo phase.
Speaking of web standards more people should take a look at custom compression dictionaries are pretty neat: developer.mozilla.org/en-US/…
"we're learning that there's web standards that actually improve how our stuff works”
Maybe have a scroll through specification.website
A technique in compression is to identify recurring patterns and assign them a small key.
If both sides know the key they can share just the key and expand it to the full value.
Brotli does this for common sequences in web files. Custom dictionaries let you define your own.
A thread on some parts of building Lolo.
Not that the logo for Lolo is a masterwork, but you can see my design thought here where I began with the name 'Blam', bailed on that name, and then quickly was like "Hey LoLo has a face in it that's neat" and just decided to go with it.
Lolo is live!
We launched 10/10 at 10:10 am because the numbers look like "lolo".
It's a simple games website with a few carefully crafted classic games (we'll add more soon!).
Check it out! #gamedev
I'm avoiding AI for raw assets. Some thumbnails & animations have AI assistance, but they're heavily art directed.
As an example the character falls asleep when tabs are switched, but I guided the animation through many back and forth prompts to explain what it should look like.
