Eduardo Bart

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

@GCdePaula_ @VitalikButerin Indeed! As someone who deeply works with RISC-V, I felt the need show some support there. I think engineers working with RISC-V should support the idea. More projects adopting RISC-V is a win for its ecosystem as a whole, paying back for everyone involved with RISC-V.

Reading @VitalikButerin’s Ethereum Magicians post on RISC‑V: amazing proposal, but wow, the discussion quality is not really great. RISC‑V is a great idea, even without considering its ZK-friendliness.

"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-UZk…

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

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/#

@filpizlo Since both Fil-C and Rust use LLVM as backend, could Fil-C's safety features protect Rust's unsafe blocks? In other words, is Fil-C a general LLVM enhancement or is it C-specific?

Fil-C is safer than Rust. Fil-C has no `unsafe`. You can do memory-safe doubly-linked lists and other cyclic data structures in Fil-C. Even Fil-C's libc/libc++ are memory safe.

@filpizlo I think what you are trying to accomplish is amazing, it could be a big deal for the C/C++ ecosystem, looking forward to seeing how Fil-C evolves!

I'm making a memory-safe implementation of C/C++. It's called Fil-C. Currently working on making it fanatically compatible with C and C++ so that lots of programs can be made memory-safe with zero or minimal changes. Learn more here: github.com/pizlonator/llv…

@morew4rd @yacineMTB By the way, I updated sokol_gp.h to latest Sokol last week, along with some new additions people asked.

@yacineMTB it's actually @edubart who originally wrote it, sorry if I was misleading lmao. I just modified it to make it work with recent sokol_gfx versions

The guy who wrote the code I'm referencing was in my space 😂😂

@morew4rd Nice! I have been thinking lately we might have to start making gaming APIs and documentation with AI in mind, meaning we need to give more context and examples in its documentation so LLMs can perform better. Did it had any issues with Lua type system?

it took a couple tries, but grok was able write a Lyte2D game after checking the website 🥰

@Max_Hatesuer @rives_io @dtuler @PaoloCTSI @nidaaBaris @lynoferraz More games on RIVES, yay! Eventually we will have a large library of games!

7 Cartridges were built during @rives_io JAM #3, the theme was 'slide' here's my attempt to give a quick overview of the games in about 3mins gg to the creators: @dtuler @PaoloCTSI @nidaaBaris @lynoferraz Itdeveloper, BdotStudios submissions page itch.io/jam/rives-jam-3 play them app.rives.io

@FlohOfWoe Watching the animation of the chip circuit working in real time is so cool

@FlohOfWoe Nice! My only wish is that you went further and turned this in a single header C++ library, or a two file library (cimgui.cpp + cimgui.h) so is more minimal to download and use (in style of Sokol headers).

@Max_Hatesuer @rives_io Nicee, I am surprised how far you and others got with no code experience, by using just IA and simple tools.

I created my first @rives_io cartridge for Jam #3, and had a blast Took me about 2 days with very little/no dev experience - my boy cursor was of great help you can try it here: muximux.itch.io/slopeng a few notes below on how I did it and how anyone can 👇

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.

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 👇

@ednekebno Well done! I Had fun playing it! Impressive work within the amount of time and constrains!

The #rives game jam has been fun, but I have something to do tomorrow so I'm submitting what I have now. Check out my jam submission "Wizard Pest Control Inc" on itch: ednekebno.itch.io/wizard-pest-co… or be lazy and just watch the trailer... youtube.com/watch?v=rlZ9-G… #rives #rivesjam

@ednekebno Ideas to optimize: 1. Make sure to compile with CFLAGS from `riv-opt-flags -Ospeed` 2. Set `riv->draw.color_key_disabled = true` when drawing fully opaque sprites (e.g background). 3. Drop the frame rate from 60fps to 30fps. 4. Last resort, lower the game resolution

Making progress. Though the rives web emulator complains about 15 slightly slow frames and the pc one doesn't. Guess I have more optimization to do tomorrow! It's not like I'm asking a lot of it :) #rives #rivesjam

@ednekebno Very cool! Vampire survivors-like for RIVES! Keep it going! I am surprised by how much you did there already!

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

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