💻 https://xitter.cf/t.co/jn0QlJ9awM ⚡️ https://xitter.cf/t.co/PslgMyAPu0 🖼️ https://xitter.cf/t.co/pXYjGyeQvQ 💎 https://xitter.cf/t.co/NFfTII73gr
www
Joined August 2024
- Tweets4.1K
- Following3.6K
- Followers276
- Likes37.3K
robby - rbby.dev retweeted
Small announcement: âś… formal-git
As an experiment, over the last 2 months we've modelled ~30% of Git in Lean 4, making heavy use of coding agents, and proved >8000 theorems of varying usefulness about the implementation.
In the process of doing this we've uncovered >100 potential defects in Git v2.55, at least two of which may constitute security vulnerabilities. We've also built a DRT (differential random testing) harness and the biggest corpus of relevant pinned differential test cases for Git implementations with >10k unique tests at the moment.
We've used the test cases to test our own small internal implementation of Git in TypeScript. The next step will be to differentially test all notable public Git implementations against this corpus of tests to help improve their correctness and security 🫡 We'll be reaching out to library maintainers in due course.
If you have a Git implementation you'd like us to help you test, please reach out and let me know. We'll open-source all this eventually, after potential security issues that were uncovered are responsibly disclosed and fixed.
ALT Infographic: Reads: formal-git, Git, rebuilt in Lean 4, with machine-checked proofs
robby - rbby.dev retweeted
nobody looks at code anymore but you might want to see how this single binary postgresql works github.com/progrium/postgres…
robby - rbby.dev retweeted
🥇Congratulations to Ole Bielfeldt for winning this year's #NikonSmallWorld competition with his image of a microscopic view of an inkjet printer depositing ink onto paper!
Read more about the creation of his image in his Masters of Microscopy article: bit.ly/3U6clIb
ALT Abstract-looking (but real!) art featuring drops and streaks of dark liquid on a reflective surface, with an orange and black patterned background.
robby - rbby.dev retweeted
Thanks to @wesbos I have an alternate universe I can live in.
robby - rbby.dev retweeted
Today I turn 88…I’ve seen some serious shit. The most serious of it all is love. I love my family, my friends, and my wonderful fans. The power of love remains.
robby - rbby.dev retweeted
I made my own, I detail why in the video, but the TLDR is that the photos it captured aren't good enough
Code here, gonna try get it in the app store github.com/wesbos/3d-model-a…
robby - rbby.dev retweeted
I have discovered the the BEST way to get 3D modeling results from LLMs
The app LiDAR scans the room while taking hundreds of high quality photos.
Then a workflow + skill I've created models out every item recursively checking the model against the photo at the exact spot + angle where the photo was captured
The result is a a dimensionally accurate and high quality model of your room
All in my latest video on how to do it youtube.com/watch?v=JGQCcCzu…
robby - rbby.dev retweeted
What Higgsfield is doing should be illegal, you should not be allowed to scam normal unaware users like this.
"Genjutsu Lite" is Wan 3.0.
"Genjutsu" is Seedance 2.5.
They rename other companies' models and sell them as their own. Here is every proof, from their own API docs
-> Genjutsu Lite = Wan 3.0
• Pricing: 480p $0.05 / 720p $0.10 / 1080p $0.20 per sec
• Out of 40+ models on their API, only ONE other has this exact pricing: Wan 3.0
• Resolutions: 480p / 720p / 1080p, same as Wan 3.0
• References: Lite takes 1 video + 8 images. Wan 3.0 takes 5 videos + 10 images. Lite is Wan 3.0 with a fixed prompt and settings locked
-> Genjutsu = Seedance 2.5
• Reference images: Genjutsu takes up to 30. Seedance 2.5 takes exactly 30. Wan caps at 10
• Video length: Genjutsu takes 4–30s. Seedance 2.5 is exactly 4–30s
• Price: $0.318 / $0.681 / $1.632 per sec, which is Seedance 2.5 video-edit pricing + ~20–30% markup
-> It's not just Genjutsu
• Cinema Studio 4.0: $0.2057 / $0.4623 per sec
• Seedance 2.5: $0.2056 / $0.4622 per sec
• That's Seedance 2.5 again
• "3.5x cheaper" isn't a breakthrough. They swapped Seedance 2.5 for Wan 3.0, a cheaper model, and called it "Lite"
• Real Wan is listed as alibaba/wan-3.0. The same model is sold as higgsfield/genjutsu-light
• They never tell you what's underneath
I have never seen such a big company being untruthful to their users outright like this.
robby - rbby.dev retweeted
DeepSeek V4.1 Flash 1017 runs at 1,521+ tok/s on Fireworks Ultrafast.
Fast enough to ship Tetris in 11 seconds, 7x faster than Claude Opus 5.5.
Join the Ultrafast waitlist: bit.ly/3UA0wKq
robby - rbby.dev retweeted
Spent a bunch of tokens over the last few weeks building a fully procedural New York simulation.
mrdoob.github.io/slop-newyor…
It's only 784KB gzipped and the code is on github, so you can do whatever you want with it ✌️
robby - rbby.dev retweeted
playin' with stickers again 🕹️
different materials, sounds, wear marks
via css or webgl 🧑‍🍳
robby - rbby.dev retweeted
Day 3 of open sourcing our harness as pi-extensions: pi-durable-disk and pi-transport. We use both to run agents from anywhere. For us, the agent is the workspace. And the workspace lives in @archildata.
With @pidotdev durable, the session DB also lives in the disk. We can mount and unmount it from its sandbox, and run the pi loop from a web browser (w WASM) or a @modal VM with GPUs - sometimes in the same session.
Even easier, with Archil's serverless execution, we can run simpler agents. For example, we have an agent in-process go through 100s of GBs in Claude Code sessions and recall the entire history of a project in seconds.
robby - rbby.dev retweeted
I’ve been released from IDF custody with a “warning,” apparently because of my public profile (I told them I wasn’t even a congressmember yet, just a nominee).
But several dozen rabbis & participants harvesting olives with me are still in detention. For harvesting olives. They should all be released immediately.
To be clear: Palestinians face far worse consequences every day. These detentions by the IDF are one more attempt to undermine Palestinians’ right to harvest their olive groves, travel on their roads, and live in their homes. Yet one more element of escalating, and very clearly state-sponsored ethnic cleansing.
We’ll update on their status as soon as we hear.
robby - rbby.dev retweeted
I’ve got a lot more Kodachromes in my collection—from great grandparents, eBay, estate sales, and more. Trying to find a good way to share more of them. (A book? Postcards? Ideas welcome!) you can leave your email on my website to get updates: oliverdahl.com/carousel
robby - rbby.dev retweeted
Photos my great grandfather took on Kodachrome film while stationed in Alaska.
