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

"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

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

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!

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: https://t.co/3NVBwTktfk We’ll present our findings @EFDevcon! Come meet us Wednesday 11h at stage 5.

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: https://t.co/iBf5FOXENK More info 👇

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 https://t.co/n8M8ZnNqWs

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 👀:

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.

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.

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 https://t.co/GuiVXHitw4

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.

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 https://t.co/XAVKhUYmMD Source code available at https://t.co/LDICCi0F4k #gamedev #rives

Finally I finished some documentation for the fantasy game console emulator on top of RISC-V ISA I've been working on, see at https://t.co/xJoWsmTWxZ. You can create small games for it with C or Nelua. A game jam is also starting tomorrow at https://t.co/oPn8cIVFNB. #gamedev

new cartridge alert! 🔊 a tool to assist in configuring sounds+music, by @edubart 📼 replay the tape or interact with the cartridge by clicking record: https://t.co/vkz4fXt1mV 🟩 use it to create sounds for the rives jam #1, starting on friday: https://t.co/D1IM4JuaI7

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!

Understand more deeply the Cartesi VM and Cartesi Rollups with the co-founder Diego Nehab. 🔥 https://t.co/dKir6ppgY7

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!

We are building two really cool new features for @rives_io at #Ethdenver on top of @cartesiproject! Empowering game developers as well as community members is at the core of our vision. (1/5)

Hello, everyone! @chicodudu, @edubart, Gabriel Ligneul and I built BugLess—a trustless bug bounty DApp for Linux applications using Cartesi Rollups (@cartesiproject)—and submitted it to #ETHOnline 2023! Check us out!