Picture

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
    314
  • Following
    243
  • Likes
    399
edubart Profile Picture

Eduardo Bart @edubart

2 weeks 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

Eduardo Bart retweeted
karpathy Profile Picture

Andrej Karpathy @karpathy

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

Eduardo Bart retweeted
GCdePaula_ Profile Picture

Gabriel Coutinho de Paula 🐝 🐧 @GCdePaula_

10 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.

GCdePaula_ Profile Picture

Gabriel Coutinho de Paula 🐝 🐧 @GCdePaula_

a year 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.

Eduardo Bart retweeted
rives_io Profile Picture

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 👇

edubart Profile Picture

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

Eduardo Bart retweeted
topology_gg Profile Picture

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

edubart Profile Picture

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…

edubart Profile Picture

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.

SwordOrigami Profile Picture

HomeNaut 🐭🏠 Wishlist Now! | Origami Sword @SwordOrigami

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.

edubart Profile Picture

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

Eduardo Bart retweeted
ednekebno Profile Picture

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.

edubart Profile Picture

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

edubart Profile Picture

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

Eduardo Bart retweeted
rives_io Profile Picture

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

Eduardo Bart retweeted
rives_io Profile Picture

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!

Eduardo Bart retweeted
erickdemoura Profile Picture

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…

edubart Profile Picture

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!

Eduardo Bart retweeted
carlofragni Profile Picture

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)

Eduardo Bart retweeted
guidanoli Profile Picture

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…

Trends for United States

Iowa
24,4 B posts
Baylor
6.902 posts
#UFCParis
21,5 B posts
Karen
215 B posts
Duke
23,7 B posts
San Jose State
3.624 posts
Drew Allar
Penn State
6.873 posts
Kevin Jennings
UConn
3.198 posts
Elizabeth Warren
50,4 B posts
SJSU
1.915 posts
Davey Johnson
7.456 posts
NC State
2.648 posts
#iufb
1.221 posts
East Texas
2.421 posts
CJ Bailey
#Illini
1.191 posts
Ante Delija
1.005 posts
Livingstone
2.572 posts

You might like

Dazzle is a collection of mini-games, featuring a puzzle-solving RPG where you can battle, trade, and play with NFT creatures. Created by https://t.co/mQqy3vPqhE.
Dazzle
@Dazzle_Aetheras
14K Followers
Passionate about gamedev technologies. I create things. Created #raylib, #raygui, #rres and many other tools as @raylibtech. FOSS at: https://t.co/sIUDDNc2tV
Ray
@raysan5
15K Followers
Community-driven media about @cartesiproject, #Cartesi is an app-specific rollup protocol with a #Linux runtime. Let's build together: https://t.co/otJ3mGZ9sn
Cartesi Ecosystem �...
@CTSInumberONE
170 Followers
Engine/Lead Tools Programmer at Keen Games. Interested in Engine/Game/Tool/System programming and API design. @vurtun@mastodon.gamedev.place
Micha Mettke
@MichaMettke
2K Followers
Warren Buffett is my celebrity crush, my opinions are my own and shouldn't be taken seriously. @Base Gaming Cheerleader (Currently in your DMs 👀👀👀👀)
🟦 Zach Prater 🟦
@ZacPrater
4K Followers
Working on horrific mobile games | low level game engine dev | https://t.co/gd9FXV9F7w | he/him | 🌐 🇪🇺 🇷🇴 🇬🇧
Luca
@SasLuca
734 Followers
ethereum, L2s, altVMs. cofounder @cartesiproject. opinions are parroted from smarter people!
Felipe Argento 🐝�...
@felipeargento
628 Followers
Writing my own game in C AAA gamedev for 10+ years, ex-Crytek R&D, Automotive/Embedded Father, Catholic, Swordsman (ex-stunt) DMs are open.
Simplex
@simplex_fx
2K Followers
Open source C and C++ software developer. miniaudio, dr_libs, and more. Discord: https://t.co/rPnEpYrGDK
David Reid
@mackron
335 Followers
developer advocacy contributor @cartesiproject | building creative apps @scribblfun @comet_ing | exploring the planet | opinions are my own | 🇮🇳 ❤️
Shaheen Ahmed 🐧
@riseandshaheen
309 Followers
marketing @zeusnetworkHQ | prev. @cartesiproject | marketer in a toxic relationship with web3 | 💗 @tazhidao @berabaddies @shefiorg
Karmen
@karmen_xyz
471 Followers
Lurker of time and space. Rewriting my world in C.
r-lyeh
@r_rlyeh
124 Followers
Team cook @rives_io and @cartesiproject
Carlo Fragni 🐧🐝
@carlofragni
251 Followers
carlen
@pengchen16
15 Followers