jmininger 🦀 (@jmininger0) header
jmininger 🦀 (@jmininger0) profile picture

jmininger 🦀

@jmininger0

haskell + rust, eng @jito_labs + org @ethaly_io opinions are my own

Joined August 2021
  • Tweets394
  • Following1.9K
  • Followers914
18Media
Photo by jmininger 🦀 (@jmininger0)Photo by jmininger 🦀 (@jmininger0)Photo by jmininger 🦀 (@jmininger0)Photo by jmininger 🦀 (@jmininger0)Photo by jmininger 🦀 (@jmininger0)Photo by jmininger 🦀 (@jmininger0)Photo by jmininger 🦀 (@jmininger0)Photo by jmininger 🦀 (@jmininger0)Photo by jmininger 🦀 (@jmininger0)
4?
1
1
5
428
jmininger 🦀 retweeted
ludwig (@ludwigABAP) profile picture
ludwig
@ludwigABAPOct 22
I don’t even know what lean formalization mean anymore
Alex Kontorovich (@AlexKontorovich) profile pictureAlex Kontorovich
@AlexKontorovichOct 22
All code needs to be Lean formalized like yesterday!!!
23
5
320
12,748
They're already vibe-slopping the elevators
Image from jmininger 🦀 (@jmininger0)
2
193
Yes
jny0444 (@jny0444) profile picturejny0444@jny0444Sep 24
is haskell really the way to enjoy programming in this age of LLMs?
1
3
364
One-line suggestions only
bigtime (@bigtimetapin) profile picturebigtime
@bigtimetapinSep 24
Co-pilot was (still is) the correct AI developer tool for accelerating code velocity
4
297
Copilot one-liner completions in neovim is the sweet spot
2
1
2
603
Will take it over the cursed "3"
USDC (@USDC) profile pictureUSDC
@USDCAug 28
USDC 🤝 @ChelseaFC USDC is coming to global football. Beginning with the 2026/27 season, USDC will appear on the front of Chelsea’s Men’s, Women’s, and Academy shirts. A trusted digital dollar built for global reach, now on one of football’s biggest stages. The global game. The global digital dollar. circle.com/pressroom/chelsea…
2
274
Happy as a capy
DeFi Dave (@defidave) profile pictureDeFi Dave
@defidaveAug 24
Capy AND happy with the cap hat very nice @jmininger0
Image from DeFi Dave (@defidave)
4
315
jmininger 🦀 retweeted
David Fowler (@davidfowl) profile picture
David Fowler
@davidfowlAug 19
So if we aren’t reading the code or writing the code now are we understanding the code?
114
20
5
430
43,025
L take
David (@dzhng) profile pictureDavid
@dzhngAug 18
Replying to @paul_maatos
not reading the code != not understanding the code
1
3
385
jmininger 🦀 retweeted
buffalu (@buffalu__) profile picture
buffalu
@buffalu__Jul 17
Give me your honest feedback and feature requests on @jtx_trade 👇
54
2
3
87
18,092
jmininger 🦀 retweeted
Connor Daly 🤝 (@das_connor) profile picture
Connor Daly 🤝
@das_connorJul 15
Looks like football went out for a pack of cigarettes again
1
4
437
Football is sending you home
210
BIG
JTX (@jtx_trade) profile pictureJTX
@jtx_tradeJul 14
JTX is now live. Trade spot markets on Solana—memes, tokenized equities, majors, and more. The top 1,000 users on the waitlist, ranked by referrals, have access now.
4
638
👀
Sam Schubert (@minnus) profile pictureSam Schubert
@minnusJul 13
JTX: Moving Up The Stack

JTX: Moving Up The Stack

Article · @minnus
1
1
13
1,118
jmininger 🦀 retweeted
Zealand (@theoldzealand) profile picture
Zealand
@theoldzealandJul 12
The official referee consultant just said on the US broadcast: “It’s legally correct but it’s against the spirit of the game and it’s not what the rule was written with in mind” What are we even doing
202
444
56
16,950
977,184
It was SO obviously simulation -- and Landon is just a massive pussy and won't make the call
2
341
Finally some taste
HSVSphere (@HSVSphere) profile pictureHSVSphere
@HSVSphereJul 9
I really like the Andrew Kelley blog post this time actually.
3
491
There's one called RTFM that's pretty good
dd0sxx (@dd0sxx) profile picturedd0sxx
@dd0sxxJul 9
best solidity / rust smart contract clause skills / plugins?
4
507
jmininger 🦀 retweeted
lauren (@njdlauren) profile picture
lauren@njdlaurenJul 7
I’m crying man USMNT twitter just calling our players pussies for 12 hours straight while Brazilian Twitter is writing thesis projects on Neopentecostalism contributing to the downfall of the fabric of the national team
65
3,887
147
52,172
1,097,050
Load more