Eduardo Bart @edubart
Open source programmer, game developer, blockchain developer. Creator of the Nelua programming language, core developer of the @cartesiproject RISC-V emulator. github.com/edubart Joined November 2009-
Tweets77
-
Followers231
-
Following153
-
Likes304
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. 🔥 m.youtube.com/watch?v=ofb7MJ…
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! ethglobal.com/showcase/bugle…
🤔 Doom Arena Distributed DApp for managing and creating contests around the Doom Games. @ZacPrater, @felipefg, @edubart, @dtuler ethglobal.com/showcase/doom-…
✨ And a special shoutout to core contributors @ZacPrater, @edubart, @felipefg and @dtuler for making it to the @ETHGlobal NY finalists with their project DOOM Arena! ethglobal.com/showcase/doom-…
First-time #Hacker HERE! #ETHGlobalNYC is underway and we're building something great on @cartesiproject! The future of games should have a type of creator economy mixed in, with incentives for players to join and try out the game!
Weekend creation 😄: A Linux terminal on top of a RISC-V emulator running in the browser via WebAssembly, powered by the Cartesi Machine 🖥️. Try at cartesi-machine.surge.sh, check cool commands to experiment in the project page github.com/edubart/cartes… #RISCV #wasm @cartesiproject
1/8 🎮 Imagine DOOM, a classic video game, running on a blockchain Virtual Machine in real-time. Sounds unbelievable, right? Yet, it's true! @edubart has made this a reality, showcasing a significant advancement in blockchain tech. 🚀
I was surprised when @edubart ported snake to the Cartesi Machine. When the first comment was "When Doom?" I knew he was gonna get nerd sniped! Still, I didn't expect it to happen so soon :) (you eventually learn: never underestimate Eduardo)
I was surprised when @edubart ported snake to the Cartesi Machine. When the first comment was "When Doom?" I knew he was gonna get nerd sniped! Still, I didn't expect it to happen so soon :) (you eventually learn: never underestimate Eduardo)
imo #stablediffusion release today is a day of historic proportion for human creativity, with so much human visual creativity bottled up into one accessible artifact. Big part of a phase shift into an era of human+AI art collab that we’ve just barely scratched the surface of.
imo #stablediffusion release today is a day of historic proportion for human creativity, with so much human visual creativity bottled up into one accessible artifact. Big part of a phase shift into an era of human+AI art collab that we’ve just barely scratched the surface of.
My GitHub Sponsors profile is live! You can sponsor me to support my open source work 💖 github.com/sponsors/eduba…
I've released this 2D speed run platformer game for the WASM4 Game Jam, using Nelua programming language, play in your browser at edubart.itch.io/antcopter #wasm4 #nelua #gamedev
I am open sourcing today my efficient graphics painter specialized for 2D in pure C made on top of Sokol GFX. What is most interesting about it is that it features an automatic batch optimizer. github.com/edubart/sokol_… Kudos for @FlohOfWoe for the excellent Sokol library.
Game over! Completed all 25 days of #AdventOfCode This year had may interesting and fun problems in the final week, path finding, reverse engineering, geometry, combinatorics, dynamic programming, binary trees.. Everything was solvable in pure Nelua
The WASM-4 fantasy console now directly supports the Nelua language. It's a systems programming language designed to look and act like Lua, which should be great for people used to Lua for scripting games or coming from Lua-based fantasy consoles. nelua.io
Phealoa @phealoa15901
0 Followers 80 Following Life itself is a journey, we are all worthy and should strive to travel to different lives.Karm Michal Babacek @_karm
161 Followers 484 Following Team OpenJDK, MIG welding, concrete casting, tarantulas keeping. Past: httpd, load balancing, TLS termination, Tomcat, clustering, DNS, augmented reality, LARPBach Le @bullno1
158 Followers 482 FollowingJakub Tomšů @jakubtomsu_
497 Followers 1K Following I make games and game engines. Odin/C/C++. https://t.co/hAvIRl5Qqz###paric*** @_____rich______
350 Followers 3K FollowingHellscream @R4igorx
93 Followers 1K Following Nobody, Null, Void, None, Zero, No one, Random, Hopeless, Sleepless, Sane, WarlordLeandro Libanio 28H @libaniol28h
45 Followers 107 Following It's Gamedev O'Clock. Cofundador e Programador de Jogos Digitais na 28hStudio. Casado com a mulher mais linda do mundo (sem twitter)Unenunciate @Unenunciate
316 Followers 2K Following A general-purpose person whom is misunderstood because they bury the lead and interject too many irrelevant facts to be interpreted right in the first place.Gatoke @gatokelucas
29 Followers 54 FollowingClaudio de Oliveira M.. @klaus_kino
65 Followers 79 Followingjairin @Jairinjjj
432 Followers 1K Following Mexo e estudo uns trem de criptomoeda ai tbm Sistemas de Informação - UFGJoao Garcia @joaopdgarcia
131 Followers 114 Following Contributor @cartesiproject | Into coding, D&D, and all things nerdy | Turning bytes into smiles and rolling d20s for funFelipe Fink Grael @felipefg
71 Followers 327 Following Co-Founder and CTO of TWIST. Data Science, Machine Learning, NLP.Matt @Matt67020489
698 Followers 144 Following “Our doubts are traitors, and make us lose the good we oft might win, by fearing to attempt.” William Shakespeare113 ♖♖♖ @0x113d
15K Followers 4K Following Artist, co-creator of @Mathcastles https://t.co/i4eHxyoEZK (by @el__ranye)PhDeanH @phdeanh
475 Followers 2K Following Programmer and researcher specialising in development techniques to optimize dev speed and efficiency. Also enjoy game development.''Erezedor'' @yoSoyDev_eth
935 Followers 1K Following ''./theDecentralizer'' //''Until decentralizing reality itself .''A.R. citizen - Augmen.. @arculturex
72 Followers 300 Following ◾️◾️◾️◾️augmentedReality = interactiveNFTs(); Building on L2 | Coming soon on Web3, Android, iOS & PCLucas Lima @ldoiso
11 Followers 608 FollowingSunodo @SunodoProject
938 Followers 69 Following Sunodo is building Cartesi Rollups as a Service and open-source tools for creating, developing, testing, deploying and monitoring Cartesi DApps.@[email protected].. @canoidev
80 Followers 36 Following C and Lua programmer, working on a game engine called #cafe_engine https://t.co/KoSsMdnb2i Programmer at @expgamestudiosDavid Wei @kinddevilly
118 Followers 2K Following Fav:BigData, Flink, Numerical Analysis with c,python,java loving her is not a word ,but an actionBruno Maia @bmaia_expat
982 Followers 912 Following contributor @cartesiproject | Passionate about technology, history and photography | Endless curiosity about how decentralized tech will change the worldAli Chraghi ⚡ @ali_chraghi
47 Followers 84 Following FOSS developer. @machengine contributer and @ziglang advocate gh: https://t.co/cfuHlSlJgQJATHIN @jjhbk26
114 Followers 226 Following Spreading the word about Blockchain & AI. DevAd @cartesiprojectMatthew Gasperetti @MattGasperetti
357 Followers 1K Following Manager at @TachyonXYZ | Legal at @ConsensysMesh | Gasperetti.eth | Accepting applications for seed funding at: https://t.co/pkFz8y5UbjThea Clay @TheaClay
3K Followers 1K FollowingElrondex @elrondex
270 Followers 4K Following Elixir library to interact with Elrond Blockchain ⚡ $EGLD, Arwen, WASM, DeFI, SC, ESDTs, NFTs, SFTs, $MEX, DEX, AMM https://t.co/yPL9XXZguTGuilherme Dantas @guidanoli
29 Followers 18 Following Blockchain Engineer contributing to @cartesiprojectAlfred Baudisch (Pard.. @AlfredBaudisch
5K Followers 4K Following Software Dev since 1993 - PostgreSQL 😍 (currently: Elixir, Phoenix) / Gamedev: @PardallGames / Making Brazilian Street Food Simulator: https://t.co/TQGy1yTwM6moreward (ON X HIATUS.. @morew4rd
88 Followers 58 Following Indie hacker (cooking in progress) https://t.co/Z0pjA53GXJ - A free OSS Lua game framework https://t.co/4jyTwiFmHt (W.I.P.) - World's second best AI meme workbenchMathilda @Mathilda_Sun_
832 Followers 3K Following Investing @realMaskNetwork | Ex @BinanceLabs | Electrical & Electronic Engineering @NTUsgcarra.eth @carrawu
20K Followers 2K Following partner @a16z crypto; stints product @apple, swe @hololens; dropout applied math, cs & econ @harvard || DMs are open - let's talk!Tachyon | Application.. @TachyonXYZ
7K Followers 886 Following Apply now for TachyonX, a program for Web3 founders who want to move fast. Part of @ConsensysMesh.Zach Prater @ZacPrater
803 Followers 649 Following Warren Buffett was my childhood celebrity crush, my opinions are my own and shouldn't be taken seriouslyyahgi @y4hgi
10 Followers 86 FollowingDanilo Tuler @dtuler
235 Followers 193 Following Open-source developer, entrepreneur, blockchain engineer. @cartesiproject contributor.Slashdot @slashdot
373K Followers 372 Following News for Nerds, Stuff that Matters. #X #tech #news #software #engineering #AI #bitcoin #tesla Newsletter: https://t.co/GWUFuP5efHBugless Project @BuglessProject
47 Followers 0 Following A trustless bug bounty platform powered by Cartesi RollupsJohn Carmack @ID_AA_Carmack
1.1M Followers 241 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo AerospaceMiegakure, 4DToys {mt.. @mtbdesignworks
8K Followers 0 Following Creators of https://t.co/H5F1zuNB5C / Hide & Reveal (a 4D puzzle-adventure game), https://t.co/drFQpxEWwx (a 4D physics toy box), led by https://t.co/O0qZd9buZoMartin Nebelong @MartinNebelong
27K Followers 1K Following 🎨 Artist on the forefront of tech, VR and AI. Client list include Runway, Lumalabs, Media Molecule, The UN, LEGO, Adobe. Once performed VR for 40k audience.Unbound @unbound_io
3K Followers 3 Following We’re working on a new way of crafting and playing games. Come join us on Discord: https://t.co/i6if2A5ilqFrank Force 🌻 @KilledByAPixel
10K Followers 2K Following Generative Artist • Game Dev • Programmer • Size Coding Expert • Musician • Zen Buddhist • Wizard • Friend to Cats 🖖Тsфdiиg @tsoding
44K Followers 183 Following Recreational Programming: https://t.co/cPjxUvz266 ⠀⢀⣰⣾⡿⣶⣿⠿⣶ ⢠⣼⣿⣿⣷⣿⣿⣶⠉ ⢸⣿⣿⣿⣿⣿⣿⠀⠀Sunodo @SunodoProject
938 Followers 69 Following Sunodo is building Cartesi Rollups as a Service and open-source tools for creating, developing, testing, deploying and monitoring Cartesi DApps.Curio @0xcurio
6K Followers 5 Following Creator of @playduper. Building the most ambitious onchain games and infra.@[email protected].. @canoidev
80 Followers 36 Following C and Lua programmer, working on a game engine called #cafe_engine https://t.co/KoSsMdnb2i Programmer at @expgamestudiosBjörkus 'No time_t t.. @__phantomderp
13K Followers 1K Following The C Standard Cannot Be Replaced And Will Never Be Destroyed. ➡ https://t.co/IWEB4XZpve | Avatar @KIINGKIISMET | Banner @Reckless_MossAI at Meta @AIatMeta
531K Followers 255 Following Together with the AI community, we are pushing the boundaries of what’s possible through open science to create a more connected world.the tiny corp @__tinygrad__
33K Followers 63 Following We make tinygrad. Our mission is to commoditize the petaflop.DHH @dhh
490K Followers 52 Following Creator of Ruby on Rails, Co-owner & CTO of 37signals (Basecamp & HEY), NYT best-selling author, and Le Mans 24h class-winner. No DMs, email: [email protected]Drakantos @PlayDrakantos
5K Followers 24 Following Drakantos is an MMORPG under development with more than 20 playable heroes, competitive PvP modes, and hundreds of PvE missions! #indiedev #pixelart #mmorpgJenvel🌎 Building T.. @JenvelEarth
1K Followers 5 Following Public and private sectors worldwide helping civilization with mental/physical health, longevity, love, wars/crime. Join 1000 military and civilians, msg me.Goat lord @deadmau5
3.3M Followers 642 Following retro5pective: 25 years of deadmau5. get tix at: https://t.co/S3E8lCVKbzJustine Tunney @JustineTunney
33K Followers 272 Following I built a C library that lets you compile 12kb static binaries that run natively on Linux, Mac, Windows, FreeBSD, OpenBSD, NetBSD and BIOS using just GCC/Clang.Guilherme Dantas @guidanoli
29 Followers 18 Following Blockchain Engineer contributing to @cartesiprojectEspresso Systems @EspressoSys
52K Followers 666 Following We are the lead developers of Espresso, supporting layer-2 rollups with scale, decentralization, and interoperability.moreward (ON X HIATUS.. @morew4rd
88 Followers 58 Following Indie hacker (cooking in progress) https://t.co/Z0pjA53GXJ - A free OSS Lua game framework https://t.co/4jyTwiFmHt (W.I.P.) - World's second best AI meme workbenchDanilo Tuler @dtuler
235 Followers 193 Following Open-source developer, entrepreneur, blockchain engineer. @cartesiproject contributor.Felipe Fink Grael @felipefg
71 Followers 327 Following Co-Founder and CTO of TWIST. Data Science, Machine Learning, NLP.Zach Prater @ZacPrater
803 Followers 649 Following Warren Buffett was my childhood celebrity crush, my opinions are my own and shouldn't be taken seriouslydefunkt @defunkt
73K Followers 2K Following publishing indie games @nullgames | board member @computerhistory | @github cofounder and former ceo | building something new @voiddotdevMamy Ratsimbazafy �.. @m_ratsim
2K Followers 2K Following Scaling Ethereum @taikoxyz | ex Ethereum Core Dev @ethnimbus | Zero-Knowledge #Cryptography, #DataScience, #MachineLearning | ex #finance #philanthropy #impinvCarsten Munk @stskeeps
4K Followers 5K Following CTO @ Zippie "The thing you are supposed to be decentralizing is power. Moving power from one entity to another entity is not decentralization."TIC-80 @tic_computer
4K Followers 0 Following TIC-80 is a fantasy computer for making, playing and sharing tiny games. https://t.co/MePcOexwuP #TIC80Gabriel Coutinho de P.. @GCdePaula_
166 Followers 914 Following I like programming languages, rollups, and great storytelling. Contributor @cartesiproject. Building a permissionless fraud-proof system.Georgi Gerganov @ggerganov
38K Followers 243 Following Not AI | 0x0e59 0x2550 24th at the Electrica puzzle challengeSander Dieleman @sedielem
50K Followers 2K Following Research Scientist at Google DeepMind. I tweet about deep learning (research + software), music, generative models (personal account).Yann LeCun @ylecun
710K Followers 718 Following Professor at NYU. Chief AI Scientist at Meta. Researcher in AI, Machine Learning, Robotics, etc. ACM Turing Award Laureate.Tom Jobbins @TheBlokeAI
15K Followers 237 Following My Hugging Face repos: https://t.co/yh7J4DFGTc Discord server: https://t.co/5h6rGsGfBx Patreon: https://t.co/yfQwFggGtxSean Baxter @seanbax
8K Followers 193 Following The road to Memory-safe C++. https://t.co/IoFMbCXdOw CppNow 2022: https://t.co/S9EzkyQBDfxAI @xai
997K Followers 36 Followingdave @beesandbombs
98K Followers 1K Following dave is my name. i make gifs :). taking commissions; DM me, or email address on websiteMinters @mintersworld
6K Followers 31 Following We make onchain games where cypherpunks have fun Try: @rhascau Join: https://t.co/8jF6HPHm3HWorldcoin @worldcoin
313K Followers 65 Following Building the world's largest human network to improve trust online and access to the global economy.Sign up to be one of the first members of the Rives community. Let's build this together!
It all started with the first demo of onchain DOOM, but that was just LEVEL 1 Meet RIVES: An Onchain Fantasy Console built on @cartesiproject 🟪 🟦 🟨 ✅ Let's dive into what RIVES aims to achieve (and how to get involved today) ⬇️ ⬇️ ⬇️ ⬇️
It all started with the first demo of onchain DOOM, but that was just LEVEL 1 Meet RIVES: An Onchain Fantasy Console built on @cartesiproject 🟪 🟦 🟨 ✅ Let's dive into what RIVES aims to achieve (and how to get involved today) ⬇️ ⬇️ ⬇️ ⬇️
...many thanks to @jakubtomsu_ and @edubart for those PRs (was running out of space in the previous tweet).
An interesting project to implement MSVC-style delayed DLL loading for POSIX shared libs. Thanks to @edubart for the pointer :) github.com/yugr/Implib.so
Have you ever wanted to train LLMs in pure C without 245MB of PyTorch and 107MB of cPython? No? Well now you can! With llm.c: github.com/karpathy/llm.c To start, implements GPT-2 training on CPU/fp32 in only ~1,000 lines of clean code. It compiles and runs instantly, and exactly…
@Tristi42 I am curious to learn more Rust and totally understand the appeal. But I still find C so nice, simple, clean, portable and beautiful, aesthetically. It's as close as you want to get to direct communion with the machine.
Fraud Proofs Are Broken ...but we can fix them A post on why we need to do a better job at permissionless interactive fraud proof research, and on why we should do it together. TL;DR the fraud proof algorithms used by Arbitrum, Cartesi and Optimism all have issues. They're…
Crazy how ahead of its time DOOM was doomwiki.org/wiki/Demo
Games are art Creators sculpt the physics Players trace their paths
We are proud to announce that Bugless is listed under review on @l2beat, a website that provides statistics about exciting L2 and L3 projects! Powered by @cartesiproject application-specific Rollups stack, Bugless is planned to be deployed on @Optimism.
The sheep must go on! The ETH Denver hackathon has come to an end, but Meebu is just getting started! We’re super excited to announce that we’re taking Meebu to the next level. Follow along as a shared governance layer for the internet is born ⬇️
My ETH Denver experience summed up: Bonding & Bonding curves
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!
Crushing it at #Duum in the #OnchainArcade Pure nostalgia... cc @rives_io @WASD_0x
Let's goooo Fidooooo! 🐶🔎 @0xFido_Project Congratulations to the team behind this incredible build using Cartesi tech @stskeeps @dtuler @miltonjonat @bmaia_expat 🔥
We are @EthereumDenver finalists! The VeriFido team couldn't be more humbled and proud of this result. Our project aimed to make the Ethereum space a more secure ecosystem. We were inspired by Vitalik's comments about indexers and security guarantees. 🧵 about our solution
🚨A project breakthrough for all Cartesians devs, its now possible to access the base layer from inside a Cartesi machine.
Had some sick fun w/ @rives_io team minting verified DOOM replays onchain. It's a crazy idea but it works! Not even mad I got slayed at the end of the second map.
Understand more deeply the Cartesi VM and Cartesi Rollups with the co-founder Diego Nehab. 🔥 m.youtube.com/watch?v=ofb7MJ…