Picture

Diogo Mafra @diogomafra_

writing Rust, OCaml, Rescript, Elixir, shipping (sometimes great) things, 🍃 sustainability. He/him. Minas Gerais, Brazil Joined July 2012
  • Tweets
    2K
  • Followers
    260
  • Following
    1K
  • Likes
    7K
Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

2 months ago

and in a wild turn of events, tomorrow is my first day as lead for the ocaml build system ✨ looking forward to work with @tmattio_ and the amazing dune/opam team at @tarides_ to make these tools absolutely fantastic!

Diogo Mafra retweeted
VictorTaelin Profile Picture

Taelin @VictorTaelin

3 months ago

Olá, devs. Tudo bem? Eu sou o fundador da HOC, uma das tech startups emergentes do Brasil. Nosso produto principal é um compilador paralelo chamado HVM, cujo propósito é rodar linguagens como Python, Haskell e outras, usando todos os núcleos da CPU e até mesmo GPU, algo inviável…

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

3 months ago

if i get to 1k followers on twitch I'll stream in full starfleet command uniform for a whole week

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

3 months ago

riot 0.0.8 is coming along, and the changelog is super exciting ✨ including: * MAJOR performance and stability improvements for macOS and Linux – thanks to @emil_priver and @diogomafra_ * process stealing and process priorities – thanks to @NoThisIsJohnYT * dynamic…

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

3 months ago

@jcsvveiga okay, so to summarize so far: * we shrunk process size by 95% * we delayed creation of continuations * we have one single strong reference to a process * we spaced out the iterations to let the gc run better and this got us a massive decrease in ram usage for our little test…

Diogo Mafra retweeted
rauchg Profile Picture

Guillermo Rauch @rauchg

4 months ago

If you’re building a better product with fewer features, be patient. “Multiple studies have shown that before using a product, people judge its quality based on the number of features it has. It's only after using the product that they realize the usability issues too many…

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

4 months ago

aaaand habemus prototype: github.com/leostera/confi… ocaml sure is neat ✨🐫

leostera Profile Picture

Leandro @leostera

4 months ago

aaaand habemus prototype: github.com/leostera/confi… ocaml sure is neat ✨🐫

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

4 months ago

ocaml joy of the day: rewrote the i/o layer of riot after the stream we had a few days ago – shoutout to @_Felipe for the ideas! 🧠⚡️ in this graph below you can see that right before 16hs i deployed the new i/o to the test app, and the latencies went flat, and the response…

diogomafra_ Profile Picture

Diogo Mafra @diogomafra_

4 months ago

word!

davesnx Profile Picture

David Sancho @davesnx

4 months ago

word!

diogomafra_ Profile Picture

Diogo Mafra @diogomafra_

5 months ago

🔥🔥🔥

tldraw Profile Picture

tldraw @tldraw

5 months ago

🔥🔥🔥

Diogo Mafra retweeted
VictorTaelin Profile Picture

Taelin @VictorTaelin

5 months ago

HVM is becoming the world's fastest λ-calculator! For a perspective, let's perform a Radix Sort on a Scott Tree with millions of ints, vs state-of-art runtimes: JavaScript (V8): 29.081s Haskell (GHC): 11.073s Kind (HVM): 2.514s How is that possible? See below ↓

Diogo Mafra retweeted
tangzero Profile Picture

jairinho da geisi @tangzero

5 months ago

Diogo Mafra retweeted
GabrielBH2100 Profile Picture

De Pinho™ @GabrielBH2100

6 months ago

🚨 FIM DO REMESSA CONFORME! 🚨 Se você é como eu e acha um ABSURDO esses 92% de imposto nas compras extrangeiras, vote abaixo nessa enquete para passar a PDL 199/2023 e acabar com o remessa conforme: Enquete PDL 199/2023: bit.ly/3R1SkxZ Dê RT para ajudar

Diogo Mafra retweeted
mariani_matteo Profile Picture

Matteo Mariani @mariani_matteo

6 months ago

If this is not magic, I don't know how to call it. Just wow @tldraw

Diogo Mafra retweeted
VictorTaelin Profile Picture

Taelin @VictorTaelin

6 months ago

MASSIVE BREAKTHROUGH After committing the fast-deref experiment, I've immediately realized how I could leverage it to interleave HVM's runtime with compiled procedures. I quickly, manually compiled a sample. Result: 35X SPEEDUP. That's 5.5 BILLION RPS in a SINGLE CORE. (...)

Diogo Mafra retweeted
VictorTaelin Profile Picture

Taelin @VictorTaelin

6 months ago

That was the last missing piece of the puzzle. I'll now spend some days implementing the general compiler and HVM2's release should be soon. I fully heartedly, expect it will outperform any other language on Earth and will absolutely blow everyone's minds. But let's wait and see!

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

7 months ago

hello fam 👋 i have an unexpected opening for consulting work if anyone's looking for a staff engineer / tech lead i can start immediately and ramp up to ~30hs / week, or do time-boxed work I'll be most impactful with strategic work, especially around internal tooling,…

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

7 months ago

on stream we came up with a super cool type-safe API for GenServers in Riot, the Erlang-style multicore scheduler for OCaml 5🐫 Gen_server.call even returns the type you expect from the specific request 🤯 thanks for the hanging around ocaml fam! @kvakvs @diogomafra_…

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

7 months ago

okay, not remotely close to a 0.0.1 but here it is: an actor-model multicore-scheduler for OCaml 5 ✨ interesting bits to look at: ./examples/1-hello-world ./examples/http_server code: github.com/leostera/riot 🐫

leostera Profile Picture

Leandro @leostera

7 months ago

okay, not remotely close to a 0.0.1 but here it is: an actor-model multicore-scheduler for OCaml 5 ✨ interesting bits to look at: ./examples/1-hello-world ./examples/http_server code: github.com/leostera/riot 🐫

Diogo Mafra retweeted
leostera Profile Picture

Leandro @leostera

7 months ago

i've been a little disconnected building the erlang-style scheduler for multicore OCaml 🐫 but i wanted to share an update: ✅ we got process spawning (and its fast!) ✅ we got message passing (and its fast!) ✅ we got links and monitors (and they're fast!) ✅ we got basic…

Trends for United States

#MayDay
75,7 B posts
#XMen97
34,2 B posts
#MentalHealthAwarenessMonth
1.905 posts
UCLA
448 B posts
#WednesdayMotivation
8.893 posts
New Month
217 B posts
#AAPIHeritageMonth
1.193 posts
NYPD
506 B posts
Bally
3.242 posts
Paul Auster
52,9 B posts
Comcast
2.232 posts
$neural
1.201 posts
MacArthur
2.586 posts
Good Wednesday
23 B posts
New Blessings
21,4 B posts
Pacific Islanders
Art Institutes
1.028 posts
Magneto
7.931 posts
Happy Beltane
3.435 posts
Goldilocks
2.758 posts

You might like

OCaml, ReScript, F#, JavaScript, and a love for programming languages and tooling Member of https://t.co/DpViH8vW5a
Nathanael Ribeiro
@gatosepudins
217 Followers
BTW I Use Nix
Guilherme
@KindSloth
889 Followers
〰️
vmarcosp
@vmaarcosp
1K Followers
Software Engineer. Doing cool stuff with ReasonML / Rust / Haskell. Works at https://t.co/Gaoh58ivMg - Sideprojects at https://t.co/emDj8jpVxO
Roland Peelen
@rolandpeelen
312 Followers
Staff Software Engineer at VTEX
Takashi
@gtkatakura
646 Followers
learning how to deal with bs in life and not get screwed by it. Opinions explicit here are my own, and no financial advise. prev magiceden, curr @xteam
Matheus
@matheus1lva
775 Followers
brazilian software developer working for 🇵🇹
Luis von Rondow
@rond0w
99 Followers
Software Developer from Michigan ;)
Ajea smith
@ajeasmith
100 Followers
Unlearning and Learning. Data. Dog father. Plant parent. Heart of A king!
Fiifi
@WofaArthur
696 Followers
Like: @rescriptlang, @reactjs, whiskey. Don't like: Pineapple on pizza.
Paweł
@fp_pawel
99 Followers
👨🏾‍💻👨🏾‍💻 Chigozierim
Gozie Ghislian
@Chi_Ghislian
3K Followers
Building @armitagelabs | @violetidentity | @mauve_org | Crypto & web3 & DAOs & random | Software Engineering
sudoferraz.eth
@sudoferraz
1K Followers
Oluwafunmilayo
@FunmiOwolabi2
1K Followers
Software Engineer
Jean Paúl Mayorga
@jpmayorgac
82 Followers
Ao invés de postar os problemas da minha vida geralmente eu posto a solução fora de contexto
Viciado em matemátic..
@murilodohiphop
227 Followers