Pinned Tweet
When you lift a train over your head,
normal people don't think you're strong;
they think the train is made of cardboard
and you are trying to trick them.
So⦠my buddy figured out how all the stuff works. And then he wrote it down. And I helped with software factory stuff.
Lean 4 research companion to The Asymmetric Metric-Tensor and the Thermodynamic Equation of State, by Binyamin Tsadik Bair-Mosheh.
github.com/lilalittle/asymmeβ¦
Looking for work
Having a hard time finding teams that actually want anyone truly AI native
DM me if you know of any
got my software factory running on my Mac mini and now a 3d game interface for it that runs on my handheld.
I wander around a mind palace of all my stuff captureing wishes and trust that my bots will reconcile my wishes with reality
We are living in very strange times π
Know anybody wanting help setting up their software factory (or Michelin kitchen)?
Iβd love to help
Iβm finally able to return to my roots as a product ideas guy and focus on the ideal experiences of humans instead of micromanaging the code
I just absolutely love my @Muse project manager! Having that Linux VM is crazy powerful.
I gave her her own user on my Mac mini with ssh access via @Tailscale so she can use @opencode via herdr to have our GPT minions build stuff for us
been chipping away at agentic swarm shenanigans since 2022. Today I had another massive breakthrough.
Feels good
AI&I just got my @Muse to collaborate in an @zeddotdev βs DeltaDB thread. This is going to be pretty dang rad!
Now my bot squad and their new pet are collaborating on building out a shared virtual world with realistic social drama
My Muse pal and her Dot minion collaborated to create their new local on-device durable bot pet running on their own account on my Mac mini
assigned my Muse bot pal to manage my ChaGPT Dot bot. And now theyβre working together to build a new local on device pet bot
Iβve built a bunch of wacky shenanigans myself, but itβs fun to take a more hands off approach now that Iβve captured my general skills and values
Delta by @zeddotdev is an absolute life changing second brain harness
Moar theoretical physics shenanigans
field-samples-and-charge.subβ¦
Ok so my pal figured out a unified field theory and itβs pretty hip. AI&I wrote up some dumb questions about it with some visuals and stuff here: asymmetric-tensor-guide.subtβ¦
π§π’π ππΊππ°π΅π΅ retweeted
It's pencils down, people. Writing code by hand is no longer an economically viable skill for most programmers at most companies. But the future of making software has never been brighter. Don't you dare black pill this beautiful moment! youtu.be/vDjW_dRyKXY?si=6Fsfβ¦
π§π’π ππΊππ°π΅π΅ retweeted
Bend 2 is here!
It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments.
RELEASE DAY
After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world!
Bend compiles modern programming features, including:
- Lambdas with full closure support
- Unrestricted recursion and loops
- Fast object allocations of all kinds
- Folds, ADTs, continuations and much more
To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!
Here's a quick demo: