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
Play with the demo: tanglesync.com
And check out the code: github.com/kettle11/tangle
31
332
2,609
302,695
Ian Kettlewell retweeted
PETAFAB just released on Steam at $9.99:
store.steampowered.com/app/5354780/PE…
PC, Mac and Steam Deck/Machine. 90Hz on Steam Deck OLED. Up to 540Hz + 8000Hz late-latch mouse on high end PC for ultra-low latency.
Let's see if you can beat my high scores :D
store.steampowered.com/app/5354780/PE…
PC, Mac and Steam Deck/Machine. 90Hz on Steam Deck OLED. Up to 540Hz + 8000Hz late-latch mouse on high end PC for ultra-low latency.
Let's see if you can beat my high scores :D
61
68
659
57,541
I might be mistaken but I think I spotted a subtle dolly zoom in the Ocarina of Time remake's opening sequence.
It's interesting how much inspiration Nintendo seems to be taking from cinema even in the few opening minutes of this game.
It's interesting how much inspiration Nintendo seems to be taking from cinema even in the few opening minutes of this game.
0
0
0
389
In a more formally verified future I think some cloud platforms will offer their pricing and offerings as specs.
You may be able to say "implement a web server that uses no more than X $ per 1,000 requests" and an AI can implement that with a vastly greater degree of trust.
You may be able to say "implement a web server that uses no more than X $ per 1,000 requests" and an AI can implement that with a vastly greater degree of trust.
Prompt of the day is a simple one:
"How do we make this change fully verifiable?"
Makes the agent bend over backwards to verify all its changes. Signing up for real services, clicking through the frontend. Quality goes through the roof.
0
0
2
353
Ian Kettlewell retweeted
As promised the 4K 60FPS showcase of the engine.
youtu.be/uR5EvBWxN14
youtu.be/uR5EvBWxN14
65
43
574
22,662
Working on an off-road driving game. It's easy! All you have to do is drive to one objective.
6
1
28
2,638
Here is a successful run. The strategy is in picking your lines to preserve speed. Each day is a random place in the world. Some are easy, others start you off on a cliff.
1
1
3
318
With the way things are going Captchas are going to ask users to design a UI without adding unnecessary UI text.
0
2
16
2,985
It's wild to me that someone can call another person a slur on here and if I report their comment the automated message says they will take days to address it.
A trivial code filter would catch the slur, but also the owner of this website owns one of the biggest AI companies.
A trivial code filter would catch the slur, but also the owner of this website owns one of the biggest AI companies.
2
0
5
636
There's value here because of the momentum of social graphs, but there's also quite a bit of undeniable evil in how this website is operated.
0
0
0
174
I am making some progress in this space.
Presently I have a language that is much slower than Rust, less useful than Go, and a 'type' system that will upset many people.
Am I doing this right?
Presently I have a language that is much slower than Rust, less useful than Go, and a 'type' system that will upset many people.
Am I doing this right?
The next great "language for agents" should be:
- As fast as Rust
- As little design space as Go
- Have the strictest type/verification system ever written
Bend seems like an interesting first effort
2
0
7
1,054
I think this is directionally correct. Rather than bolt a language to a type system a type system is treated as one approach to proving things about computation.
The prototype compiler is designed to compose its own proofs with proofs from outside sources.
The prototype compiler is designed to compose its own proofs with proofs from outside sources.
1
0
0
64