Eduardo Bart (@edubart) header
Eduardo Bart (@edubart) profile picture

Emulators, compilers, Linux, C/C++, Lua, CG, DL, games and Web3. Developing https://teapaw.org/t.co/i2HXRztYjX RISC-V machine, https://teapaw.org/t.co/1jACN5VmTb and open source software.

Joined November 2009
Photo by Eduardo Bart (@edubart)Photo by Eduardo Bart (@edubart)Photo by Eduardo Bart (@edubart)Photo by Eduardo Bart (@edubart)Photo by Eduardo Bart (@edubart)Photo by Eduardo Bart (@edubart)Photo by Eduardo Bart (@edubart)Photo by Eduardo Bart (@edubart)
Excited to start a new endeavor. After years building and obsessively optimizing the Cartesi Machine emulator, I'm putting it into something real, challenging, and compute-intensive in DeFi. I believe the tech finally exists to do it with decentralized, transparent verification.
The Knoss team is thrilled to announce the closing of a grant from the Cartesi Foundation to build an onchain derivatives exchange on the @cartesiproject stack, bringing options and other complex financial products onchain. Under the grant, 25% of our revenues, after allowable operating and growth costs, will go to the Cartesi Foundation in order to help grow and support the tech stack that makes our vision a reality. Options trade ~3x as many contracts as futures in TradFi, but onchain they're still a rounding error next to perps. We're going to change that. If you're building, researching, or investing in this space, we'd love to hear from you. We're still building in stealth for now but looking forward to sharing more soon, so give a follow for updates when they come!
1
6
20
689
AI just made me a presentation about Cartesi Machine (my daily work). Finally AI is handling the explanations so I can focus on the actual systems programming. Great overview if you're curious about what systems engineers like me are building. @cartesiproject @NotebookLM
1
13
1
42
3,323
"Move 37" is the word-of-day - it's when an AI, trained via the trial-and-error process of reinforcement learning, discovers actions that are new, surprising, and secretly brilliant even to expert humans. It is a magical, just slightly unnerving, emergent phenomenon only achievable by large-scale reinforcement learning. You can't get there by expert imitation. It's when AlphaGo played move 37 in Game 2 against Lee Sedol, a weird move that was estimated to only have 1 in 10,000 chance to be played by a human, but one that was creative and brilliant in retrospect, leading to a win in that game. We've seen Move 37 in a closed, game-like environment like Go, but with the latest crop of "thinking" LLM models (e.g. OpenAI-o1, DeepSeek-R1, Gemini 2.0 Flash Thinking), we are seeing the first very early glimmers of things like it in open world domains. The models discover, in the process of trying to solve many diverse math/code/etc. problems, strategies that resemble the internal monologue of humans, which are very hard (/impossible) to directly program into the models. I call these "cognitive strategies" - things like approaching a problem from different angles, trying out different ideas, finding analogies, backtracking, re-examining, etc. Weird as it sounds, it's plausible that LLMs can discover better ways of thinking, of solving problems, of connecting ideas across disciplines, and do so in a way we will find surprising, puzzling, but creative and brilliant in retrospect. It could get plenty weirder too - it's plausible (even likely, if it's done well) that the optimization invents its own language that is inscrutable to us, but that is more efficient or effective at problem solving. The weirdness of reinforcement learning is in principle unbounded. I don't think we've seen equivalents of Move 37 yet. I don't know what it will look like. I think we're still quite early and that there is a lot of work ahead, both engineering and research. But the technology feels on track to find them. youtube.com/watch?v=HT-UZkiO…
428
1,391
250
9,485
1,006,146
Project of the weekend, WebCM: A zero-install RISC-V Linux terminal running entirely in your browser! Built on Alpine Linux, it lets you experiment with multiple languages and tools in a sandbox. It runs completely client-side - no servers, no setup! edubart.github.io/webcm/#
2
14
10
51
6,131
It embeds the Cartesi Machine emulator to run a full RISC-V Linux system. While networking is not yet supported, I have some ideas on how to support installing new software inside it in the future. Source code available at github.com/edubart/webcm
7
20
1,172
Took us a bit longer than expected, but Dave is finally here! We published a novel fraud-proof algorithm, that is truly decentralized while being resistant to Sybil attacks: arxiv.org/abs/2411.05463 We’ll present our findings @EFDevcon! Come meet us Wednesday 11h at stage 5.
5
20
10
52
13,897
Eduardo Bart retweeted
We brought DOOM (actually) onchain. Now, get ready for the DOOM Olympics, live on @base Mainnet! 🗓️ Sep 12-19 🏆 $15k prize pool sponsored by @cartesiproject 🤼 7 contests using the Freedoom build ✅ Verifiable gameplays and scores Sign Up: signup.rives.io/olympics/ More info 👇
8
80
24
265
205,039
I gave my first try at @ziglang this weekend while porting @FlohOfWoe's pacman.zig to @rives_io's emulator I'm working on (also uses Sokol headers). It was easier than I expected to use the RIV C API with #Zig. Check the code and play my PacMan demake at github.com/edubart/pakboy
3
7
7
27
3,447
Eduardo Bart retweeted
1/ The video from AW at @EthCC talk featuring @Max_Hatesuer from @rives_io is now live! Discover how to run complex games like Doom verifiably and the story behind building RIVES here 👀: youtu.be/pfcYkPcyx3g=1s
1
9
1
24
2,667
What if matmul from llama2.c by @karpathy was converted to a RISC-V freestanding kernel on its own? This is what hacked last weekend. Why? To have it offloaded outside a deterministic Linux VM with over 120x speed up while keeping bit by bit determinism. github.com/edubart/machine-k…
9
5
30
3,585
Congrats 🥳! The game is mind boggling! It's working great on my Steam Deck. I think this is officially the first game made in Nelua programming language on Steam 😯, I appreciate very much mentioning Nelua and me on its credits. Looking forward for its official full release.
1
8
458
I created this toy sequencer to help me and others quickly compose small sound loops for games. It's made in my Nelua language and runs inside the RIV fantasy console I have been working on. Sources and instructions on how to use it are available at github.com/edubart/seqtoy
4
1
13
832
Eduardo Bart retweeted
It turns out if I write a very basic zx spectrum emulator (e.g has no sound) for @rives_io, then there's just about enough power to have an old game running in a virtual machine, inside a virtual machine. The old meets the new 😁 Now if I can just peek those scores out of memory.
5
2
14
3,598
Made this new minimal rogue-like dungeon crawler in pure C during RIVES game jam to showcase what you can do with the RIV fantasy console API. At this moment you can play at edubart.itch.io/bladebomber Source code available at github.com/edubart/bladebomb… #gamedev #rives
3
1
10
1,966
Finally I finished some documentation for the fantasy game console emulator on top of RISC-V ISA I've been working on, see at docs.rives.io/. You can create small games for it with C or Nelua. A game jam is also starting tomorrow at itch.io/jam/rives1. #gamedev
4
11
467
Eduardo Bart retweeted
new cartridge alert! 🔊 a tool to assist in configuring sounds+music, by @edubart 📼 replay the tape or interact with the cartridge by clicking record: emulator.rives.io/#cartridge… 🟩 use it to create sounds for the rives jam #1, starting on friday: itch.io/jam/rives1
2
1
10
763
Eduardo Bart retweeted
Thanks to everyone for joining the #OnchainArcade in Denver and getting a first look at Rives 👀 Thanks to our co-hosts @cartesiproject & @WASD_0x and all the amazing builders/players who joined! Congrats to @Felix8892 for crushing it on #antcopter landing the top score!
1
4
2
28
3,102
My game Antcopter will be featured in a gaming competition tonight in Denver hosted by @rives_io, the the top player on the leaderboard will win a Nintendo Switch OLED!
2
5
10
555