Physics, Math and comics nerd ALPHA @cometexchange HFT Market maker @lighter_xyz
Joined May 2020
- Tweets2.4K
- Following687
- Followers129
- Likes6.7K
The dev who wonders retweeted
are you kidding me right now. i spit out my water when I saw this.
Full Mario 64 in Mixed Reality! Running in real 3D (no stereoscopic crap) natively at 90FPS and also running on my desk! 😋
Again, Opus 5.5 + PICO CLI combo made it quite straightforward.
Such a bliss to play an oldie at 90 FPS in 3D.
Disclaimer: I own an original physical copy of Mario 64. This project is not associated with Nintendo or PICO.
The dev who wonders retweeted
The largest math proof in human history is now computer-verified.
Today, Axiom announces a complete Lean auto-formalization of the Classification of Finite Simple Groups, the "periodic table of symmetry."
About 15,000 pages, built by over 100 mathematicians across generations.
The dev who wonders retweeted
BREAKING: Claude Code found 12,847 photos of my face on my iPhone that I never took.
It looked like the phone was taking them every time I picked it up. From the club. From home. At a red light while I was driving. Almost every time I took the phone in my hands there was a frame.
They were sitting in a system cache with timestamps and location data. None of them were in Photos.
I plugged the phone into my MacBook and asked Claude Code to scan for any front-camera files that weren’t in my Photos library or Recently Deleted. It flagged Private/var/mobile/Library/Caches/com.apple.faceid. Over 12,000 files. Mix of infrared frames and regular front-camera images. Each one had a timestamp and GPS coordinates attached.
I started scrolling. Most were from the last 14 months. Then I saw one from four seconds ago. I was still looking at the folder.
Apple says the TrueDepth system turns the capture into a mathematical model inside the Secure Enclave and discards the image. On this phone the raw frames were still in the cache. Several of the processes that wrote to the folder belonged to system diagnostics. A couple of old apps with camera permission also had access to the same directory.
I turned off diagnostics sharing and revoked camera access from every app that didn’t need it.
If you want to check your own phone, plug it in, run a backup, and ask Claude Code to look for front-camera files outside the Photos library. The folder path above is where mine were.
Claude Code found 145,763 photos I permanently deleted from my iPhone.
Three years of deleted photos and videos still sitting in a hidden cache. Any app with file access can read them.
I plugged my iPhone into my MacBook to run a backup. Claude Code was doing the security audit from my last post and flagged a directory I wasn't even looking for.
PhotoData/Thumbnails. Over 146,000 files. Photos, videos, screenshots. Every single one was something I deleted.
Photos from 2023, 2024 and 2025. The ones I deleted the second after taking them. The ones I cleared from Recently Deleted. The ones I deleted three separate times because I wanted to be sure they were gone. All still there.
Passport photo I took for a visa application in 2023.
Screenshots of my bank app with full account numbers visible.
Private photos I sent someone and immediately deleted after a breakup.
Screenshot of my crypto seed phrase I took temporarily in 2022.
Photo of my ID and credit card I took to remember the numbers and deleted 5 seconds later.
Screenshots of my ex's private Instagram stories I saved and permanently deleted in 2023.
Some were full resolution. All organized by date going back to 2021.
When you delete a photo on iPhone, iOS removes it from your camera roll and Recently Deleted. It keeps a compressed copy in a Spotlight search index cache so your phone can find things when you search. Apple never clears it. Not after 30 days. Not after a year. Never.
They told you it was permanently deleted. It wasn't.
I checked which apps on my phone had Files and Folders access. 23 apps. Weather apps. QR code scanners. PDF readers. A flashlight app I downloaded in 2022. Any one of them could have been reading every photo I ever deleted this entire time.
Went from 23 apps to 3 in about two minutes.
Full step by step below. Takes 2 minutes. Save it so you don't lose it and send it to anyone with an iPhone.
Readers added context they thought people might want to know
The video is an old, misappropriated clip from 2023, and the accompanying claims are fabricated.
x.com/HarshithLucky3…
The dev who wonders retweeted
Şuan hayatımın şokunu yaşıyorum
birisi minecraftı rust a portlamış (Açık kaynak)
çok aşırı hızlı ve performanslı çalışıyor.
Oyun 1 saniyeden az hızda açılıyor milisaniye denebilir.
Oluşturduğum dünya ise 1 saniyede açıldı.
Repo: github.com/ludovic111/horizo…
The dev who wonders retweeted
The product directory for Crypto World's Fair is live. 🎡
This was our biggest hackathon ever & the largest in crypto history with 2,973 submissions.
Winners and Colosseum's next accelerator startups will be announced in 4-5 weeks. Stay tuned!
colosseum.com/arena/projects…
The dev who wonders retweeted
Solana's tech was already #1 for scaled crypto use cases. With Alpenglow, Solana is now light years ahead.
The audacity to replace the core mechanisms of the network while handling thousands of live TPS is uniquely Solana.
Congrats to the @anza_xyz team on shipping.
The dev who wonders retweeted
Alpenglow is now live on Solana mainnet. ⛰️
Finality just went from ~12.8 seconds to ~150ms.
The biggest consensus upgrade in Solana’s history, built by @anza_xyz.
The dev who wonders retweeted
Forza Horizon 2 - Extra Options 0.2.88 is now out.
- Azimuth 0.9.10 compatibility.
- Reworked first-person drift camera.
- Turn signals.
- Tweakable aero without Forza Aero.
- "Return to Garage" function added to the pause menu.
- & some more!
The dev who wonders retweeted
Announcing Pear Fund V: $333M to back founders before it’s obvious.
Pear was founded 13 years ago on one belief: the best time to meet a founder is before the world knows they’re great.
Fund V is a continuation of that conviction, and we’re just getting started. 🍐
The dev who wonders retweeted
We just shipped a big depth upgrade to LiquidityMapperFast 📈
• Order book, Compact view by default: each level's bar is split by exchange
• New: venue lines. The top 5 exchanges' cumulative depth as separate lines; hover one to see its stats at any price
• OKX: deep 5,000-level book. Liquidity within 0.5% of price: $29M → $127M
• Deribit: the full order book, ~1,250 levels, instead of 20 grouped bands
• Kraken: 1,000-level book, reaching ~4% from price (was 0.1%)
• Bitfinex, HTX, Aster, Crypto.com: 5–10× deeper books
• Faster local server: with 20 exchanges connected, ~half the CPU it used before
MEXC and Gate.io stay shallow on purpose: their books are out of proportion to their trading.
Try it free: liquiditymapperfast.github.i…
Presenting a fast aggregated liquidity mapper. Free, no sign-ups, open-source.
For the best experience, leave it running on your desktop setup.
liquiditymapperfast.github.i…
The dev who wonders retweeted
7/ We open sourced the model, which pulls live CME + hyperliquid data, computes the fair value spline, generates signals when the market deviates
Run it yourself here: github.com/abhicoderguy/hype…
The dev who wonders retweeted
This supertoroid sweeps the curve X¹⁰ + Y¹⁰ = 1, a square with rounded corners, around a circle of radius 4.
In polar form the section is Rⁿ(cosⁿ v + sinⁿ v) = 1, and n must be even: for odd n the bracket vanishes at v = 3π/4. The section turns through tu as u goes round, so with t = 3 each corner, at radius 2^0.4 ≈ 1.32, winds three times round the tube.
Four corners times three turns make the 12 ridges on top.
The dev who wonders retweeted
The field F(x, y) = (−y − x(x² + y²), x − y(x² + y²)) sends every point of the plane spiralling into the origin, its only fixed point, since |F|² = r²(1 + r⁴).
In polar form it separates: ṙ = −r³ and θ̇ = 1. Each particle turns at unit speed while it falls, with r(t) = r₀/√(1 + 2r₀²t).
So r(t) < 1/√(2t) from any start, even far out, yet none reaches the origin in finite time.
The dev who wonders retweeted
A Galton board drops balls through 12 rows of pegs, and at each peg a ball goes left or right with probability ½.
Bin k collects the balls that went right exactly k times, and C(12, k) of the 2¹² equally likely paths do that, so P(k) = C(12, k)/2¹². The middle bin gets 924/4096 ≈ 22.6 %: here 227 of 1000 balls, against 225.6 expected.
With mean np = 6 and spread √(npq) = √3, the stacks close on the normal curve as rows are added.
The dev who wonders retweeted
Forget lidar.
One single camera.
Runs in real time & is open source:
A streaming 3D model that reconstructs scenes live, at ~20 FPS, over long sequences.
End-to-end.
Optimization tricks, cleanup steps?
Nope.
And it beats both streaming and even some offline methods.
Perception is becoming software-first.
Closer to machines that see and understand the world as it unfolds.
Thanks for sharing, @YinghaoXu1
📍Models: huggingface.co/robbyant/ling…
Project page: technology.robbyant.com/ling…
Code: github.com/Robbyant/lingbot-…
Paper: arxiv.org/abs/2604.14141
——
Weekly robotics and AI insights.
Subscribe free: 22astronauts.com
The dev who wonders retweeted
these guys solved the 70-year-old Pierce–Birkhoff conjecture - an open problem in algebraic geometry - for under $500
wow!
Introducing Kardashev-0.7, the world’s first trained swarm made of 32 distinct models
Trained with RL for Population Scaling (RLPS), 32 models organically develop specialization & complementary capabilities, delivering frontier performance at:
- 0.007x ~ 0.02x of the inference cost
- 0.03x of the required memory
Civilization advances through different minds specializing and working together. We’re bringing that principle into AI
@BanburyRoadAI, we’re scaling intelligence by model count, toward civilizations of models that learn to build on one another
The dev who wonders retweeted
Introducing Kardashev-0.7, the world’s first trained swarm made of 32 distinct models
Trained with RL for Population Scaling (RLPS), 32 models organically develop specialization & complementary capabilities, delivering frontier performance at:
- 0.007x ~ 0.02x of the inference cost
- 0.03x of the required memory
Civilization advances through different minds specializing and working together. We’re bringing that principle into AI
@BanburyRoadAI, we’re scaling intelligence by model count, toward civilizations of models that learn to build on one another