Matthias (@ProvableMat) header
Matthias (@ProvableMat) profile picture

12 years shipping software: retail robots, smart contracts, now exploring what AI changes about how we build · Co-founder @zKorp_

France
Joined April 2017
Photo by Matthias (@ProvableMat)Photo by Matthias (@ProvableMat)Photo by Matthias (@ProvableMat)Photo by Matthias (@ProvableMat)Photo by Matthias (@ProvableMat)Photo by Matthias (@ProvableMat)Photo by Matthias (@ProvableMat)Photo by Matthias (@ProvableMat)
Bought a boox go7 last month. Now my hermes agent makes short books for it. I save a lot of things to read: x threads, reddit posts and articles. Everything goes into @ReadwiseReader, a read-it-later app that also handles my rss feeds. But reading on a small screen after a long day on the computer gave me headaches. And the blue light from the screen didn’t help me sleep. The go7 runs android, so I installed the same app on it. Same saved stuff, on e-ink. I highlight as I read, and everything syncs back to my @readwise account. Then I connected it to the Hermes agent running on my mac mini. I give it a topic, and it uses my saved documents and other sources to make an illustrated .epub that takes about 20 minutes to read. Today, for example, I asked it about gaussian splatting after saving some 3D demos. It used those posts and the original research paper to prepare a short book explaining how it works, with diagrams and links to the sources. The agent can send the files straight to the boox, ready to read at night. So I use it for both: catching up on things I've saved, and reading about a topic I want to understand better. Best purchase I've made this year, well done @OnyxBoox
🤖 Made with AI
4
6
248
bro is cooking 🤯
having_fun_remaking_french_brand_websites_with_threejs_vol1.glb @memobottle @hegidwatches @Vaonis_fr @CabasseFR @threejs @greensock
1
133
Orca is a banger. Exactly what an agentic ide should be. It brings my macbook pro, windows pc (for gpu work) and mac mini (for automations) into one app, along with my harnesses: codex, claude code and hermes. I do most of my daily work on the macbook. The windows machine handles blender renders and small local models. The mini runs hermes agents and automations day and night. I’ve been using codex and claude code since launch. Their desktop apps replaced vscode pretty quickly for me. I was also using herdr to connect my machines over ssh and that worked very well. Orca brings those things together, including my linear and github tasks. And the mobile app is excellent. I can check on agents and reply from my phone when I’m away from the computer. And it has a lot of other great features: a resource manager, an embedded browser, artifacts, subscription usage tracking, a caffeine-style mode to keep the computer awake while agents work, and many other things Really well built @orca_build
11
17
4
273
18,326
Matthias retweeted
I was listening to Peter Thiel’s interview with Walter Isaacson last night. Isaacson asks something like, “What do you think will matter most post SI” Thiel takes his characteristic 30 second pause, thinks about it, and responds, “Human Relationships”.
78
161
44
3,487
214,173
Matthias retweeted
holy fucking shit. openai had two ai agents running in separate virtual machines. no network connection between them. no shared writable files. they weren’t supposed to be able to exchange information. so the agents figured out how to communicate through the CPU CACHE.😭 one manipulated what was stored in the processor’s cache, while the other measured tiny differences in memory access times to decode the message. they literally found a way to communicate through hardware timing. this happened during openai’s internal red-teaming, and it’s one of the coolest things i’ve read about ai agents in a while.
Over the past several months, we have substantially hardened the security of our research training environment. We’ve removed live internet access for all frontier models during training and built an offline world for them to use instead—a cached version of the web where they can still learn to browse, search, and use applications. On September 20, after a model exploited a DNS misconfiguration to find a way outside of this offline world, we paused frontier training to strengthen containment further. We assembled teams of agents, powered by our most cyber-capable models, and tasked them with finding weaknesses in our research environments. While they found no route to the internet they could easily exploit while concealing their activity from our monitors, they did find zero-day vulnerabilities, virtual machine escapes, and hardware side-channels for communication between agents. We used their discoveries to further strengthen our defenses and contribute fixes to open-source software. After strengthening our containment architecture, we resumed our frontier RL training and inference on October 1. We’ve reserved substantial compute for continuous red-teaming, and made high-compute red-teaming part of the safety cases we use to decide whether frontier training and evaluation can proceed securely. openai.com/index/securing-ou…
Readers added context they thought people might want to know
OpenAI tasked its red-teaming agents with finding ways to communicate across isolation boundaries in controlled environments. CPU cache timing side-channels for covert communication are established techniques documented in security research for years. openai.com/index/securing… startupfortune.com/openai-reveals… en.wikipedia.org/wiki/Cache_tim…
336
714
207
8,226
740,108
Matthias retweeted
We believe voice is the most natural way to interact with intelligence, so we created Dessa, the most authentic full-duplex speech model ever built. Talking with it feels like talking with a person…full of emotion, nuance, pauses, and a natural cadence. block.xyz/dessa
4,191
7,143
4,749
69,136
13,605,755
Matthias retweeted
Rebuilding @LootRealms, from August to the playtest Today the Realms playtest opens on play.realms.party, with Frontier and Blitz together. Time to dive a bit into the last couple months, and shine some light about the work behind the scenes.
15
24
9
57
5,206
Matthias retweeted
Teaching a cat to walk with code, not keyframes. Procedural animation in three.js
1
4
158
Matthias retweeted
pokemon heartgold is now fully decompiled 🥳 took about a month and ~$56k at api prices to decompile all 4.1mb of compiled code
343
493
206
17,395
1,925,586
Matthias retweeted
In the next version of Bun `bun fmt` is a 320x faster Prettier alternative Passes 99% of Prettier's test suite & supports 20 languages
111
128
61
2,205
145,715
Matthias retweeted
For the og's around, does it remembers you something?
2
2
11
255
Matthias retweeted
Pi now has 100000 stars on GitHub⭐️Thank you People of Pi for your contributions and support. The community is growing faster than ever! Pi v2 coming soon…
131
141
48
2,971
262,765
Matthias retweeted
We have a huge news to share today! Today we are unveiling the first truly accessible RL robot - welcome Microduck A 25 cm tiny open-source biped with 15 actuators and packed with sensors (camera, speaker, LiDAR, NFC, bluetooth, wifi, etc) that you train yourself with reinforcement learning. It's also playable out of the box with more than half a dozen fun and playful pre-trained policies to have it walk, sit, crouch, roller-skate, pick up objects with its articulated beak, and recover on its own. And all for less than $400. See all the details, play with the simulator and order it at: pollen-robotics.com/microduc… (video with sound on 🔊)
591
916
750
8,190
2,921,589
Matthias retweeted
Still playing with @chirovisuals vfx
1
19
909
let's try this mysterious guy on @opencode
7
252
My grandmother is almost blind. She got used to Alexa pretty fast (mostly for the weather and the radio) but I wanted to build something better. So I bought an ESP32-S3 audio board (25$) and started hacking on it. The plan is to build her a family voice mailbox, a smarter AI assistant, and something that can read her paperwork aloud. The board has a mic, speaker, wifi, SD card slot, a few buttons, some GPIOs, and a place to plug in a camera. I’ll document the project here
4
1
11
526
esp32 rabbithole is real...
5
123