
Main posts: @TheLastMinute Photography posts: @Photographyicon Music posts: @FridayMixtape #bitcoin
Joined January 2007
- Tweets26.5K
- Following1.6K
- Followers5.2K
- Likes40.9K
trying to "normalize" fraud are we?
do better
If you go to bed on election night and don't know who won a midterm congressional race, that's normal. And if you wake up the next morning and find that a candidate who was behind hours earlier has since pulled ahead, that's normal, too. (via @PolitiFact) to.pbs.org/4zqnWBa
You don’t get an edge by having the shortest fibre cable to the SIP in New Jersey. Just be colocated near truth social. 😆 tremendous alpha, even.
a real program proven secure with math, not just tested.
with all the security problems lately, this might be an early sign of a way out.
x86 formal verification is coming!
The (first?) published machine-checked proof of a security property for the end-to-end execution of a Linux process running an x86 binary statically linked against glibc.
And we believe it scales!
A joint research project with @zellic_io 🧵👇
it identifies which messages require immediate answers and stops waiting on unnecessary back-and-forth communication.
the instructions are grouped, compressed, and sent without waiting for confirmation.
it only transmits changes in data rather than repeating information.
also somehow anticipates requests and sends answers before the question is fully processed.




















