Michael Sullivan (@sull) header
Michael Sullivan (@sull) profile picture

Building Local-First P2P Runtime Substrate for Apps and AI Agents. Runs Everywhere. Cloud-Optional. Sovereign-Software. Cypherpunks Wanted. @redstar_systems 🍒π

Joined March 2007
Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)Photo by Michael Sullivan (@sull)
IDKWID¯\_(ツ)_/¯WDIM
9
1
1
26
2,808
Michael Sullivan retweeted
my take on this. mostly webgl and custom code, with a little illos.dev shader style mixed in
my new addiction (vanilla js // interactive + sound on)
20
59
2
1,180
28,073
everything is a right-click save, now.
84
the cypherpunks are scarce but the time is nigh. lets go back to the start. build again. because we can.
I grew up on an internet where Anonymous was challenging governments, hacktivists were exposing corruption, and cypherpunks were writing code to undermine centralized power. Now I watch Bitcoiners celebrate getting invited into the institutions those people wanted to make obsolete. It’s surreal. We went from “information wants to be free” to paid newsletters. From challenging surveillance to accepting it as the price of compliance. From fuck-you money to “look how many billionaires own Bitcoin.” From questioning the monetary system to cheering for dollar stablecoins and Wall Street adoption. And apparently, if you still care about the political and philosophical principles behind this technology, you’re being divisive. I remember when being divisive toward concentrated power was the entire point. The early internet wasn’t perfect. Neither were the hacktivists. But at least they understood something we’ve almost forgotten: The goal wasn’t to become powerful enough to sit beside the people controlling the system. The goal was to build a world where nobody had that kind of power over you. We didn’t lose the technology. We lost the audacity.
3
5
165
“Never less alone than when alone”
1
1
78
in the past, there was more reliance on the main web browsers. some used Brave and other novel browsers that supported IPFS and other protocols. but now… it is more common for apps to integrate "browsers" which allows for more experimentation around what they resolve. not as crazy to introduce new networks and URI schemes these days.
yeah, i also built ~yet another~ alternative DNS. it just falls out of the stack like an autumn leaf from a tree.
1
94
i'll have the AWS Nitro milkshake please.
Replying to @theo
legit though. admit it or not. they all can and will drink your milkshake.
2
149
yeah, i also built ~yet another~ alternative DNS. it just falls out of the stack like an autumn leaf from a tree.
1
1
2
220
We might all just be kidding ourselves.
1
111
Michael Sullivan retweeted
"TUIs are so limited." Yes. That's the point. Limitations are where creativity is born. The best ideas come from the walls, not the open field.
1
1
9
379
Looking forward to this being the standard. nitter.gq/sull/status/2041909123…
New Anthropic research: progress on provable inference for large language models. Here, we introduce FlashProve. Building on established cryptographic techniques, FlashProve allows developers to verify whether a given response came from a given AI model. It’s substantially more efficient than prior open-source methods for doing so. These proofs have a range of applications. They can, for instance, make it harder for attackers to hijack a chat, or enable safety evaluators to verify that the model they’re testing is the same one being served to customers. For our full write-up, see here: anthropic.com/research/prova… Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that end, we're open-sourcing FlashProve’s code, here: github.com/anthropics/FlashP… We’re grateful to our collaborators: Alessandro Chiesa, @GiacomoFenzi, @gwberg95, @miranda__christ, Rahul Dalal (rdalal.github.io) and Ben Mayer (@transmissions11).
64
and i'm on my knees looking for the answer...
are we human, or are we dancer?
1
89
we are in testnet.
2
115
Michael Sullivan retweeted
we are entering a renaissance in programming language and runtime research, and a golden age of software testing and verification it’s time to rewrite all software
473
539
164
8,342
292,388
depth > speed
1
106
its a vibe thing.
1
135
Michael Sullivan retweeted
Built a physical simulation of a record player with WebGL2 and Web Audio. It's *shockingly* accurate: vinyl-gl.vercel.app. Instead of playing a song, it works by converting it into the physical shape of a groove. Then a simulated stylus rides those walls 384,000 times a second, and you hear the voltage that motion would induce in a cartridge. So the crackle, the pops, the wow/flutter, the dull inner grooves are natural byproducts of the simulation. You can also "DJ" the record. (The converted songs are in the public domain or CC-licensed. Code is linked for you to remix and re-deploy.)
296
276
106
3,993
272,201