Rob Rix retweeted
"Flow Typing: A New Lens on Linearity" is a nice improvement for linear types and an alternative to borrowing: people.cs.nott.ac.uk/pszgmh/….
It uses lenses on the typing context to be able to tell that a linear value is not consumed / dropped by a function that just reads it.
Rob Rix retweeted
I've resurrected the comonad.com/reader, interleaved a ton of contemporaneous content I had stored elsewhere, and made a couple of the articles interactive by moving their demo code into web assembly using modern GHC.
Please let me know if you run into any issues. #Haskell
Rob Rix retweeted
A new formatter for #haskell tackling comments, operators fixity and CPP directives markkarpov.com/post/announci…
Rob Rix retweeted
Made an Obsidian plugin that turns audio files into interactive editable transcripts embedded within ordinary Markdown documents. 🔈✏️ github.com/andymatuschak/int…
With these transcripts, you can:
* hold Command and click anywhere in the transcript to start playing the audio file from there
* delete regions like ordinary text; audio playback will skip those segments
* copy and paste regions like ordinary text, preserving playback support
* position your cursor and press Return twice to split the transcript, so you can interleave normal Markdown
Rob Rix retweeted
In my house somebody has to run around screaming in the night, and aside from mental health episodes it's generally not me, so it falls to this guy
Rob Rix retweeted
this one is dedicated to @rob_rix
Rob Rix retweeted
using Megaparsec.choice instead of alternative (<|>) helps GHC compile parsers faster. If this were a paper, it would be called “Choice is better than the alternative”
Rob Rix retweeted
Wake now, my merry friends! Forget the nightly noises! Ring a ding dillo del!
I recently joined Antithesis, where I'm building a new browser testing framework called Bombadil.
We're doing this openly, no stealth mode shenanigans this time: github.com/antithesishq/bomb…
Rob Rix retweeted
#haskell will start producing static executables: gitlab.haskell.org/ghc/ghc/-…
Rob Rix retweeted
Excited to announce the launch of the Functional Programming (FP) Launchpad at @iitmadras, a new centre to build research and educational capacity for crafting efficient, reliable, and trustworthy software with mathematical guardrails.
fplaunchpad.org
Rob Rix retweeted
Chinese scientists have developed,
The best shortest-path algorithm in 41 years!
A team from Tsinghua University has broken Dijkstra's "sorting barrier" - the first improvement since 1984.
Just use for a world-map 🤯
Paper - arxiv.org/pdf/2504.17033
Rob Rix retweeted
Good to know, I wasn't aware of this: "runST do not prevent resources from escaping" welltypedwit.ch/posts/runst-… #haskell
Rob Rix retweeted
Lovingly edited videos of people with unusual tacit knowledge! Yes! I have no idea how we're going to solve the problem of conveying tacit knowledge, but video seems like such a powerful avenue: there's so much in expression, voice tone, the environment, etc.
1/ Today @stripepress is releasing the first two mini-documentaries in a series we’re calling Tacit.
They’re vignettes of craftspeople who provide a pretty compelling answer to the question, “after AI, does mastery still matter?”
This episode features Christophe Laudamiel, master perfumer at Osmo. Christophe is the creator or co-creator of dozens of scents, most notably, Polo Blue by Ralph Lauren, Abercrombie Fierce, and Tom Ford Amber Absolute.
We spent a week with Christophe, following him from his office, to his home (which too, looks suspiciously like an office), observing him as he built fragrances essentially from scratch, isolated problematic notes (TIL: certain fragrance notes, when put together, can produce an unfortunate ‘wet dog’ smell), and even discovered new molecules.
Christophe is an archetype of individual we’re obsessed with: *he’s* obsessed with mastery for its own sake. For the past 30 years he’s been at the forefront of perfumery, and now he wonders if and how computers can augment his craft.
Rob Rix retweeted
My talk "Concrete syntax matters, actually" from the Topos Institute Colloquium is now available! I think it's some of my best work yet youtube.com/watch?v=kQjrcSMY…
Rob Rix retweeted
The State of #Haskell 2025 survey is out! Please take ~10 minutes to fill this out and share it with friends/colleagues/coworkers, whether or not they are users of Haskell.
surveymonkey.com/r/6M3Z6NV
























