romesrf Profile Banner
Rodrigo Mesquita Profile
Rodrigo Mesquita

@romesrf

Followers
265
Following
6K
Media
174
Statuses
1K

GHC maintainer at Well-Typed

Portugal
Joined February 2010
Don't wanna be here? Send us removal request.
@romesrf
Rodrigo Mesquita
2 days
I wrote about how I turned my custom Anki deck into a Kickstarter on my blog
0
0
1
@miketuritzin
Mike Turitzin
1 month
14
73
503
@romesrf
Rodrigo Mesquita
29 days
The new interactive step-through debugger for Haskell is ready for you to try with GHC 9.14! I’ve been working on it quasi full time for close to a year now :). Looking forward to your bug reports and feature requests. https://t.co/M1cIe9ax6f
Tweet card summary image
discourse.haskell.org
The Haskell Debugger is ready to use with GHC-9.14! The installation, configuration, and talks can be found in the official website. The tl;dr first step is installing the debugger: $ ghc --version #...
0
0
1
@Hesamation
ℏεsam
1 month
bro casually walks and explains 5 GPU performance optimization methods for LLMs. one of the most simple and intuitive explanations for beginners.
184
2K
18K
@SaschaWillems2
Sascha Willems
1 month
My "How to Vulkan in 2026" @VulkanAPI #Vulkan guide is now publicly available at https://t.co/Xy9rSIRBT8 I still consider it a preview, though I'm mostly happy with it and only plan on changing minor things and incorporating some feedback.
0
67
363
@welltyped
Well-Typed
2 months
Congratulations to Rodrigo Mesquita (Well-Typed) and Bernardo Toninho (University of Lisbon) on their paper "Lazy Linearity for a Core Functional Language" being accepted at POPL 2026!
1
8
61
@SwiftLang
Swift Language
7 months
Packaging #Haskell code for easy Swift interoperability: easy thanks to these tips: https://t.co/s6zypuReqP @HaskellOrg
1
6
35
@TacticalGrace
Manuel Chakravarty🦋@tacticalgrace.justtesting.org
7 months
Are you interested in a new Haskell IDE for macOS? I’m looking for beta testers! Send me a DM with your email for a TestFlight invitation.
16
18
135
@tsungxu
Tsung Xu
8 months
Having no experience did not stop me from making a VTOL with world-class range and flight time, all in 90 days. This is the thing I'm most proud of building to date!
86
202
2K
@welltyped
Well-Typed
8 months
Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem:
0
12
61
@XorDev
Xor
8 months
"Balatro" in 345 chars #define M max(0.,1. float i,l,a,b;vec2 v=ceil(FC.xy/r.y*3e2)/18.-8.*r/r.y,u=v*mat2(cos(vec4(4,37,15,4)+.1*t-length(v)/6.));for(v=u+u.yx;i++<5.;l=length(u-=cos(u+u.yx)-sin(u.x*.7-u.y))/7.)v+=sin(max(u,u.yx))+u,
20
135
2K
@redblobgames
Amit Patel
9 months
New blog post: Using flow field pathfinding on a voronoi procedurally generated map to simulate 20,000 traders moving around https://t.co/g817j20JRn
17
84
1K
@guilherming
Guilherme Geirinhas
9 months
are we humanizados? 🫀 Obrigado a todos os humanos que acompanharam. Até daqui a quatr— até para o ano! 📹
15
113
2K
@ttforall
Type Theory Forall
9 months
3
27
308
@Mick_Gordon
Mick Gordon
9 months
yo anukari is sick @anukarimusic
35
226
2K
@welltyped
Well-Typed
9 months
Our work on Explicit Level Imports for #Haskell received the best paper award at TFP, and the implementation has been merged!
0
3
17
@3blue1brown
Grant Sanderson
9 months
I just put up a new video on the fundamentals of quantum computing, building up to a step-by-step walk-through of something known as Grover’s algorithm. Here's an excerpt of a quiz used to introduce the topic.
88
456
5K
@Acerola_t
Acerola
10 months
New video is up on the channel now! Why Did PS1 Games Look Like That?
6
49
927
@romesrf
Rodrigo Mesquita
10 months
I wrote a short blogpost on implementing a calculator with normal distribution ranges (known as Unsure Calculator), embedded in Haskell, using a simplified probability monad -- in only 100 lines. https://t.co/UNOOk0mYmx
0
0
0