2,309 Photos and videos
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
…
17 Oct 2020
Copy and paste but change what the bunny is holding
(\_/)
( •_•)
/ > λ
7
39
224
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
169
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
172
Rob Rix retweeted
Jan 28
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
258
40,126
Rob Rix retweeted
Jan 16
#haskell will start producing static executables: gitlab.haskell.org/ghc/ghc/-…
3
4
28
2,590
Rob Rix retweeted
Jan 12
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
159
9,159
Rob Rix retweeted
Jan 10
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
x.com/0x0SojalSec/status/200…
474
3,107
29,296
3,297,318
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
7
524
Rob Rix retweeted
18 Dec 2025
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.
18 Dec 2025
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,534
Rob Rix retweeted
13 Dec 2025
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…
5
12
51
7,499
Rob Rix retweeted
11 Dec 2025
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
10
12
1,468
Rob Rix retweeted
<RE#: High Performance Derivative-Based Regex Matching with Intersection, Complement and Lookarounds>
1
4
1,378
Rob Rix retweeted
22 Nov 2025
heterogeneous zippy foldable of foldables via hyperfunctions
github.com/LiamGoodacre/hype…
x.com/Jose_A_Alonso/status/1…
20 Nov 2025
Hyperfunctions: Communicating continuations. ~ Donnacha Oisín Kidney, Nicolas Wu. doisinkidney.com/pdfs/hyperf… #Haskell #FunctionalProgramming
1
5
17
1,272
Rob Rix retweeted
20 Nov 2025
Hyperfunctions: Communicating continuations. ~ Donnacha Oisín Kidney, Nicolas Wu. doisinkidney.com/pdfs/hyperf… #Haskell #FunctionalProgramming
3
8
2,301
Rob Rix retweeted
18 Nov 2025
this trend goes so hard all the girlies posting their fun grad pics while incels publish empirical evidence they’ve never interacted w a woman
228
2,262
42,289
630,375
Rob Rix retweeted
11 Nov 2025
We're delighted to announce that the JFP Special Issue on Program Calculation is now complete, and contains eleven papers that are freely available to read online from the link below.
tinyurl.com/JFP-prog-calc
2
9
718
Rob Rix retweeted
23 Oct 2025
Slides for my miniKanren 2025 talk, "Fair intersection of seekable iterators", about an efficient, compositional way to implement relational joins on sorted data structures, and how it (sorta) requires "fairness": rntz.net/files/minikanren-20…
2
7
31
1,665
Rob Rix retweeted
31 Oct 2025
I must not vibe. Vibe is the mind-killer. Vibe is the little-death that brings total obliteration. I will face my code. I will permit it to pass out of me and through code review. And when it has gone past CI I will turn the inner eye to see its path to prod. Where the code has gone there will be no slop. Only I will remain.
3
6
45
2,141