colouring outside the lines increasingly, see at robrix at types dot pl instead
London, Ontario, Canada
- Tweets 113,046
- Following 813
- Followers 4,189
- Likes 23,570
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
7
27
156
10,487
Rob Rix retweeted
A new formatter for #haskell tackling comments, operators fixity and CPP directives markkarpov.com/post/announci…
3
8
631
Rob Rix retweeted
Those dog show obstacle courses missed an opportunity to call it barkour.
1
8
1,503
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
12
13
296
11,683
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
I stayed at someone's house last week and they have a cat. And I never knew this but, when you go to sleep... cats just wander about the house catting all night? You can't "put a cat to bed"?! The cat just... gets the house for a while?! Fucking nuts.
1
25
1,166
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”
1
2
17
1,124
re: census: online only, but nw, if you don't have access to a computer, you can use your smartphone too! …only the site doesn't work, there's no backup for people w/o internet access, the website "is experiencing a high volume of traffic," and their help line won't connect.
1
197
I'm guessing @stats_canada is about to get a lot of questions about why the census isn't working.
this ought to be amusing :)
1
1
195
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…
20
29
263
42,031
Rob Rix retweeted
#haskell will start producing static executables: gitlab.haskell.org/ghc/ghc/-…
3
4
27
2,600
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
12
23
158
9,185
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
Md Ismail Šojal 🕷️
475
3,065
29,072
3,359,211
Rob Rix retweeted
Good to know, I wasn't aware of this: "runST do not prevent resources from escaping" welltypedwit.ch/posts/runst-… #haskell
3
6
530
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.
1
9
101
12,650
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 piped.video/watch?v=kQjrcSMY…
5
12
54
8,764
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
1
9
12
1,557
