Rodrigo Mesquita

Happy Pi Day! In a certain sense, π is not a constant, but a variable. Using our usual Euclidean distance, it is 3.14159… but applying other L^p norms on ℝ², half the unit circle's perimeter will give other values. For instance, at p=1 (taxicab geometry), “π” = 2√2. At p ≈ 2.2, it's 3.20. Anyway, the video I was hoping to have out this day will be out closer to the 20th. Some call it “missing your deadline”, but I prefer to think of it as giving the L_{2.2} norm a little love.

Oisín Kidney has an interesting insight on monus-based heaps doisinkidney.com/posts/2026-03-… . It seems to me that this can be used to encode not only order-based sorts but also things like radix sorting. Which is kind of cool if true.

Did you know that SSDs use quantum tunnelling to store data? Or that we have to completely rewrite RAM every 30ms to prevent data from just dissipating? If you did, then you can probably skip this chapter on how computers store data: makingsoftware.com/chapters/how-i…

Therapist: Linear Mandarin is not real, it cannot hurt you. Linear Mandarin:

Happy 79th birthday to Gerry Sussman, the MIT prof. who co-wrote "the Wizard Book” (Structure and Interpretation of Computer Programs) w/Hal Abelson & Julie Sussman in 1984. Read it for free here: bit.ly/4jtzw7g

I wrote about how I turned my custom Anki deck into a Kickstarter on my blog

@kmett I’ll be there! FYI presenting “Lazy Linearity for a Core Functional Language”

Hello, people of POPL! I’ll be around all week. Don’t be afraid to DM me if you’d like to talk!

The video: youtu.be/il-TXbn5iMA

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. discourse.haskell.org/t/the-haskell-…

bro casually walks and explains 5 GPU performance optimization methods for LLMs. one of the most simple and intuitive explanations for beginners.

My "How to Vulkan in 2026" @VulkanAPI #Vulkan guide is now publicly available at howtovulkan.com I still consider it a preview, though I'm mostly happy with it and only plan on changing minor things and incorporating some feedback.

@joaompfe @welltyped The work was started at FCT by both of us and finished with Bernardo at IST and me at Well-Typed

@welltyped FCUL or IST?

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! well-typed.com/blog/2025/11/l…

Packaging #Haskell code for easy Swift interoperability: easy thanks to these tips: alt-romes.github.io/posts/2025-07-… @HaskellOrg

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.

@aramh my entire vulkan game engine is linearly typed github.com/alt-romes/ghen…

If linear types would have been available in 1990 in a realistic programming language, game development today would be done in a functional programming language.

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!

Well-Typed are delighted to be working in partnership with @haskellfound to support companies investing in the #Haskell tooling ecosystem: well-typed.com/blog/2025/06/h…

"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, u+=.5*sin(v/vec2(3,1)+.2*t).yx;a=M-abs(l-2.))+.1,b=M-l);o=a/vec4(1,4,4,1)+vec4(0,.4,.7,1)*b+M-a-b)/vec4(17,8,7,1)+M+a-2.)+M+b+b-2.6);

New blog post on homotopy. bartoszmilewski.com/2025/05/30/fib…