Eduardo Bart @edubart

Emulators, compilers, Linux, C/C++, Lua, CG, DL, games and Web3. Developing https://t.co/i2HXRztYjX RISC-V machine, https://t.co/1jACN5VmTb and open source software. github.com/edubart Joined November 2009

Tweets

107
Followers

316
Following

243
Likes

400

Eduardo Bart @edubart

a month ago

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

0 13 40 3K 3

Download Video

Andrej Karpathy @karpathy

8 months ago

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

443 1K 10K 991K 4K

Gabriel Coutinho de Paula 🐝 🐧 @GCdePaula_

11 months ago

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.

Gabriel Coutinho de Paula 🐝 🐧 @GCdePaula_

a year ago

9 13 83 14K 13

5 20 53 14K 10

RIVES 🟪 @rives_io

a year ago

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 83 274 205K 18

Download Video

Eduardo Bart @edubart

a year ago

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 8 28 3K 4

Download Gif

Topology @topology_gg

a year ago

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 24 3K 2

Eduardo Bart @edubart

a year ago

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/machin…

0 9 30 4K 1

Eduardo Bart @edubart

a year ago

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.

HomeNaut 🐭🏠 Wishlist Now! | Origami Sword @SwordOrigami

a year ago

0 0 10 659 1

Download Video

1 0 7 401 0

Eduardo Bart @edubart

a year ago

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

0 4 13 783 1

Download Video

Ed Nekebno @ednekebno

a year ago

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.

0 5 15 4K 0

Download Video

Eduardo Bart @edubart

a year ago

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/bladeb… #gamedev #rives

0 3 10 2K 1

Eduardo Bart @edubart

a year ago

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

0 3 10 433 0

Download Image

RIVES 🟪 @rives_io

a year ago

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=car… 🟩 use it to create sounds for the rives jam #1, starting on friday: itch.io/jam/rives1

0 2 10 740 0

Download Video

RIVES 🟪 @rives_io

2 years ago

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 5 29 3K 0

Download Image

Erick de Moura @erickdemoura

2 years ago

Understand more deeply the Cartesi VM and Cartesi Rollups with the co-founder Diego Nehab. 🔥 m.youtube.com/watch?v=ofb7MJ…

2 11 39 2K 2

Eduardo Bart @edubart

2 years ago

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 524 0

Download Image

Carlo Fragni 🐧🐝 @carlofragni

2 years ago

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)

2 10 40 6K 0

Guilherme Dantas 🐧 @guidanoli

2 years ago

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! ethglobal.com/showcase/bugle…