colouring outside the lines increasingly, see at robrix at types dot pl instead
London, Ontario, Canada
Joined February 2008
- Tweets113K
- Following813
- Followers4.2K
- Likes23.6K
Pinned Tweet
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
(\_/)
( •_•)
/ > (λx.xx)
…
Rob Rix retweeted
I spent 7 years at GitHub. One of the best engineering tools we had was an RFC.
We built Nuanced Canvas to bring that process to coding agents.
You write what you want to build, and an agent that knows your codebase helps you think it through. You can compare approaches, then build and ship a PR.
Rob Rix retweeted
did you know that there's a long square root algorithm like there is a long division algorithm?
youtube.com/watch?v=6evC4klO…
Rob Rix retweeted
we made a document editor for building software with agents
write a spec. get comments from an agent that has read your codebase. work through the decisions, then have it build.
Introducing Nuanced Canvas.
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
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”
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.
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 :)
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