Rob Rix @rob_rix
colouring outside the lines increasingly, see at robrix at types dot pl instead antitypical.com London, Ontario, Canada Joined February 2008-
Tweets113K
-
Followers4K
-
Following851
-
Likes24K
Rob Rix retweeted
PRODUCED BY ME, FEATURING THE TWO MOST EXCITING RAPPERS OUT!!
PRODUCED BY ME, FEATURING THE TWO MOST EXCITING RAPPERS OUT!!
0
3
7
1K
1
Rob Rix retweeted
More languages and deeper static analysis coming soon!
Rob Rix retweeted
Today we're launching Nuanced MCP for TypeScript, available to individual developers. 🚀 Developers kept asking for an MCP server they could drop into Claude Code/Cursor--so we built it. It gives AI a compiler-grade call graph for grounded edits and fewer tokens. Links to our…
Rob Rix retweeted
Nuanced is hiring a founding engineer in SF! 🚀 We're building compiler-grade static analysis to teach LLMs how code actually works so they're not guessing at syntax or hallucinating APIs that don't exist. Current stack is Python/TS, but need someone comfortable diving into…
Rob Rix retweeted
Pre-print: Type-safe and portable support for packed data arxiv.org/abs/2504.20166
Rob Rix retweeted
Determinism, purity, and compositionality remain. Together, recursion and parallel composition let us express computations in interesting new ways! My PLDI 2025 paper with Steve Zdancewic has the details! 📄Functional Meaning for Parallel Streaming 🔗arxiv.org/abs/2504.02975
Rob Rix retweeted
In 2023 you drove the model. In Soviet Russia, I mean 2025, the model drives you.
Rob Rix retweeted
Can someone from #haskell land help me out and check my PDF that it is the right format for an @icfp_conference submission? I'm worried it'll all slip up on some small oversight.
Rob Rix retweeted
hey folx! if you're going to be in San Francisco on April 5, and you want to learn the basics of functional programming and Haskell, some friends and I are going to be teaching an intro class! come check it out! meetup.com/redex-academy/…
Rob Rix retweeted
so who's hiring Haskell devs? I'm tired of working on morally dubious stuff for companies that have no vision. what cool stuff exists out there?
Rob Rix retweeted
lol, first version of Nuanced (july 2023) was an AI code review tool called vibecheck ✅
lol, first version of Nuanced (july 2023) was an AI code review tool called vibecheck ✅
Rob Rix retweeted
At Nuanced, we're building tools that make AI-generated code more reliable. As AI writes more code, we need better tools to trust it and technologies that ensure our human understanding keeps pace with this rapid development. While everyone else races to ship new features with…
At Nuanced, we're building tools that make AI-generated code more reliable. As AI writes more code, we need better tools to trust it and technologies that ensure our human understanding keeps pace with this rapid development. While everyone else races to ship new features with… https://t.co/JyCOWuYpKi
Rob Rix retweeted
Late last year, I made the decision to pivot. This was extremely difficult because, at the time, I felt like I had gone all in and tethered my whole being and identity to an idea I was now unsure of. During YC, we were constantly reminded to be intellectually honest and…
Rob Rix retweeted
anyone using AI coding tools in incident response scenarios? i wanna talk.
Rob Rix retweeted
I forgot to add a tidbit about recurring intervals in ISO 8601. If I wanted to remind myself to take 29 antiviral pills 8 hours (PT8H from the duration section in the quoted tweet) apart after 2024-10-01T14:00:00Z we could use the following: R29/2024-10-01T14:00:00Z/PT8H Cheers!
I forgot to add a tidbit about recurring intervals in ISO 8601. If I wanted to remind myself to take 29 antiviral pills 8 hours (PT8H from the duration section in the quoted tweet) apart after 2024-10-01T14:00:00Z we could use the following: R29/2024-10-01T14:00:00Z/PT8H Cheers!
Rob Rix retweeted
I'm always surprised that developers often have a limited knowledge of ISO 8601, so here I will give a whirlwind tour of the forms of it I have seen and used in the wild. Using the date October 14, 2024... The usual formats for ISO 8601 include: - 2024-10-14 - 20241014…
Rob Rix retweeted
Some pulled together egraph resources github.com/philzook58/awe…
am I the only one who finds the Haskell `doctests` package to be so unreliable as to be a liability?
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Domen Kožar @domenkozar
5K Followers 1K Following ❄️ Mainstreaming Nix. 💬 https://t.co/wDdH7BL1B5 🌲 @cachix_org founder 💻 https://t.co/mvAnLW2bGd 🌊 https://t.co/KiomSAWa5J
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Redacted @cercerilla
2K Followers 460 Following
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Rebecca (Slatkin) Slo... @RebeccaSlatkin
23K Followers 4K Following Founder, influencer, magician. I am none of these. Geriatric iOS biped. Great in humorous portrayal only.
KC Sivaramakrishnan @kc_srk
4K Followers 4K Following Profing @iitmadras. CTO @tarides_. Trustee https://t.co/WE1No5QqOA.
vaibhav sagar @vbhvsgr
2K Followers 5K Following future trophy husband; @recursecenter f1'16; 🇦🇺/🇮🇩/🇮🇳; he/him https://t.co/VGk6nI4TOO https://t.co/64Kipz3ghV https://t.co/YetTYcxcvQ on bluesky
sara :: panic! (the '... @typed_hole
2K Followers 402 Following Video games, software engineering, functional programming, building bridges. Tweeting about whatever is on my mind! - Я вчу українську мову
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
🌸🐑 mlep🥛🌸 @yandereidiot
6K Followers 873 Following 🪬 Former CTO of @haskellfound 🧘 Advisor/Core Eng Honcho @kadena_io 🐎 Horse and dairy lover 🤠 Cowgirl Utahn Reject modernity - return to pasture
YvonneWarner @3O7w2S5DVQT5Kzq
41 Followers 2K Following
mnemosyne @mnemosynemitch
0 Followers 69 Following
Wilhelmina @EDicki63191
50 Followers 2K Following
Introvert @Introvert994923
0 Followers 29 Following
AntBio @AntBio_
25 Followers 563 Following AntBio is a biotechnology group company dedicated to serving life sciences, aiming to help scientists accelerate research and improve work efficiency.
Lyda Mertz @MertzLyda35530
82 Followers 2K Following
Ian Mckay @iann0036
5K Followers 1K Following Sydney, Australia 🇦🇺 | #AWS Community Hero | IaC & security enthusiast | Breaks basically everything | he/him
Trerwear @TrerwearQ2vea3
80 Followers 4K Following
Marcus @t1tus_aurelius
16 Followers 420 Following
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
风起 | 𝓑𝓮 �... @Hodl_Onchain
13K Followers 17K Following Let’s improve together, connect together, and be free together. 持续保持精进，计划五年内拿到大结果，用耐心熬死所有对手。
AlekNeko @AlekNeko
145 Followers 2K Following Fox cat thing in ATL, FWA Staff | 🕹️📸🏒🏐☕ | Software Dev | Gay / Demi / Poly | https://t.co/fnmLn6Lrwe | Messages 👍
Tom @tomstructured
24 Followers 506 Following CS student. Studying logic and programming languages. Mastodon: @[email protected]
hellwolf @hellwolf2025
111 Followers 212 Following Co-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid. Love to hang around in the Haskell community, too.
tinati @tiinnaatii_
55 Followers 162 Following ✝️ follower of Christ ~ bullish on crypto ~ positive vibes only ~ health is wealth 💟
steven farley @Steven928887
355 Followers 3K Following
sclv @sclv
2K Followers 3K Following "more important than being able to do mathematics is to be sure the applications are meaningful." - e. bishop • https://t.co/45nJUN3IqD
sanju mondal @sanjumonda8568
52 Followers 1K Following 🎄🧭👀°•°¤¤▪︎☆~~`Little bit unisocial....♡♤■-▪︎□♡◇♧¤▪︎¡
Matyo @matyo91
318 Followers 447 Following French Developer #Symfony #ReactJS #Automation 👉 https://t.co/WnXEVn18KB
Slashaudeart @SlashaudeartSW
36 Followers 1K Following
Chase @ChaseMc67
2K Followers 2K Following Applied AI at Big Tech | Conciousness Research | Conspiracy Theorizing and Shitposting
Jay Hack @mathemagic1an
55K Followers 3K Following Building @codegen. Tweets about AI, computing and dev tools. Previously did startups, @palantir. Not a pseudonym.
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Lukas @louquard
84 Followers 1K Following About Tech, Maths, Teaching (high school); Politikjunkie (can't help myself)
what's up, fudd? @whatsupfudd
13 Followers 68 Following FUDD: transforming 40 years of software experience into a powerful ecosystem for modern web applications.
Mian Faizan @mianfaizan92
907 Followers 5K Following 💘Losing your Favorite Person can Mentally Destroy you!! 💔
Arbaz Ali @ArbazAliEng
225 Followers 7K Following Software Engineer. A freelancer design & developer.
adamz @adam_zethraeus
288 Followers 1K Following
Renzo @renzocarbonara
2K Followers 4K Following Author of @atopbook, building software with types and functional programming. Unfollow me for less wisdom.
모리츠 ✨ @4ngerman
3K Followers 2K Following C'mon now, click follow! You know you want to! Developer Experience, Compilers, Languages. Personal Opinions, No Financial Advice!
Abhishek Singh @now7x
407 Followers 5K Following Working on GenAI✨ workloads. « Open Source, Open Science » https://t.co/QBhQrXMC9r
Russell Haering @russell_h
647 Followers 1K Following Head of engineering @ConductorOneInc. Clean OPSEC. Let’s ship!
Manas @wthmanas
183 Followers 579 Following 22🧑🦽| Building @Helix_Guard | Security Researcher | Prev Head of Outreach @Dsctcet | Prev intern @com_olho
patrick sphinx @SphinxPatrick
3 Followers 116 Following
Glauber Costa @glcst
13K Followers 941 Following CEO of Turso - the next evolution of SQLite. I believe in the future, databases will be everywhere.
Rico @rico_1900
123 Followers 327 Following
usagi_zajec @usagi_zajec
11 Followers 308 Following
Matt Hunzinger @MattHunz
20 Followers 51 Following
There is no other roo... @uhbif19
770 Followers 985 Following Заранее извиняюсь перед всеми кого чем нибудь оскорбил. Узнаю интересное, безумствую, пишу программы, уже почти что не ненавижу себя. Имею ADHD/GAD.
Jose Gonzalo Elizondo @ElizondoGo60965
16 Followers 150 Following
Talia Ringer 💚 @TaliaRinger
29K Followers 7K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, justice. Mom. They/היא, ND, bi
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Shriram Krishnamurthi... @ShriramKMurthi
21K Followers 4K Following @BrownCSDept/@BrownUniversity • @BootstrapWorld • @PyretLang • @racketlang • Unreasonably excited about compsci, education, cycling, cricket, human experience.
Edward Kmett @kmett
16K Followers 824 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Graham Hutton @haskellhutt
8K Followers 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
Alexis King @lexi_lambda
13K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Loris D'Antoni @lorisdanto
8K Followers 769 Following A Professor @ucsd_cse. Visiting Academic @AWScloud. Helps people write programs they can trust.
Joachim Breitner @nomeata
2K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dL
naomi (forgetful func... @fixedpointfae
5K Followers 512 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKm
gabby @GabriellaG439
15K Followers 76 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury I'm a midwife to the hidden beauty in everything she/her 🏳️⚧️
José Manuel Calderó... @josecalderon
2K Followers 853 Following Director @HaskellFound. Formerly faculty @umdcs and @galois. Compilers and all that Jazz. I can also be found @jmct.bsky.social I miss Yorkshire
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Redacted @cercerilla
2K Followers 460 Following
Rick @rickasaurus
10K Followers 3K Following 2x Dad, AI Old-Timer, FP Enjoyer, Math for Fun, Startup Leadership Roles in: Fintech, Healthcare, RegTech, Biotech. B2B, B2B2C, Successful Exit CTO.
andrew blinn @disconcision
4K Followers 2K Following progaming 🗨️ languages eboy and mousefeel 🖱️ epicure, working on Nintendo® 🎮 Excel™ for the 📱 vpriPhone
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
Rebecca (Slatkin) Slo... @RebeccaSlatkin
23K Followers 4K Following Founder, influencer, magician. I am none of these. Geriatric iOS biped. Great in humorous portrayal only.
Caroline Trippel @carolinetrippel
1K Followers 506 Following Assistant Professor, Stanford Computer Science
The Haskell Interlude @HaskelInterlude
586 Followers 11 Following This is the Haskell Interlude. A Haskell-focused podcast hosted by @nomeata, @kosmikus, @tritlo, @wouterswierstra, @nikivazou, @hgoldstein95, +Sam @PLRG_bristol
David Moon @dm_0ney
1K Followers 1K Following PhD candidate @UMichCSE • building https://t.co/sEtPaejQKZ https://t.co/GvG3Va4saO • thinking about parsing and structure editing
xuan (ɕɥɛn / sh-ye... @xuanalogue
9K Followers 1K Following Assistant Professor at NUS. Scaling cooperative intelligence & infrastructure for an automated future. PhD @ MIT ProbComp / CoCoSci. Pronouns: 祂/伊
madison @dearmadisonblue
3K Followers 2K Following
Xuejing, aka Snow @hxjxsnow
402 Followers 2K Following Open to Work / exPhD #HKUPLG @HKUniversity / From Changsha Hangzhou Sthlm NY HK / 🏳️🌈 / ADHD is my super ability / INS @hxjxsnow
Colimit @ColimitAI
86 Followers 10 Following Autofix Failed Builds: AI-powered Root Cause Analysis for CI.
Anders Miltner (@amil... @AndersMiltner
481 Followers 450 Following He/Him. Assistant Professor at Simon Fraser University. Follows PL people. Posts Corgi Pictures.
Haskell IDE team @IdeHaskell
517 Followers 14 Following Maintainers and collaborators of haskell-language-server and projects powering it
. @annanannanse
39 Followers 471 Following
katie @focusfronting
31K Followers 6K Following views are not my own and represent those of noam chomsky. she/her
Chris Penner @chrislpenner
21K Followers 17K Following he/him | Optics By Example: https://t.co/WC3SHRY4Kl | Cunningham's law made manifest. | Building @unisonweb
Nintendo .DS_Store @sliminality
10K Followers 178 Following I want to talk to you about the affect and aesthetics of computing.
Hila Peleg is not her... @HilaCodes
2K Followers 377 Following Assistant Professor at @TechnionLive CS. Researches program synthesis and hopes to bring about the robot apocalypse. (she/her)
Sam Westrick @shwestrick
1K Followers 594 Following assistant prof @NYU_Courant CS :: PL :: parallel computing :: music :: lead dev of the MaPLe compiler https://t.co/6jBOSBGv9C :: https://t.co/WLZqdK5BRC
Ningning Xie @xnningxie
4K Followers 308 Following Having fun with types! @UofTCompSci @GoogleDeepMind
Hazel Weakly @hazelweakly
832 Followers 801 Following Account locked so the name isn't stolen. Consider this account deactivated. mastodon: @[email protected] bluesky: @hazelweakly.me
Snezana Lawrence @snezanalawrence
6K Followers 1K Following Historian of mathematical sciences. Latest book *A Little History of Mathematics* YaleUP, also @mathshistory. Follows not endorsements. Sometimes teaching risk.
Leo Lampropoulos @LeoLambro
1K Followers 623 Following Assistant Professor at UMD | Programming languages, random testing, and formal verification
git pull union @git_pull_union
2K Followers 35 Following Hubbers working to make a better future for all workers at GitHub.
Erik Schnetter (@esch... @eschnett
352 Followers 488 Following Computer Scientist, Relativistic Astrophysicist
Lance Myers @lancekmyers
12 Followers 263 Following Interested in category theory, other math stuff and functional programming
Edward Kmett @edwardkmett
434 Followers 229 Following This account was created due to an incident on Feb 13th, 2021. I'm mothballing it for now. Follow @kmett.
Celeste @cahollenbeck
1K Followers 914 Following Nontraditional computer science PhD candidate at @EdinburghUni 🏴. Former technical & creative writer.
Oisín Kidney @oisdk
704 Followers 728 Following I don't use this account much anymore. Go here instead: https://t.co/C8HGRD4ukO
Sofia Backlund @backlund_sofia
300 Followers 289 Following PhD student at ISTA. At that awkward interface between biology and maths. She/her. bsky: @backlund-sofia.bsky.social
Liam Goodacre @goodacre_liam
477 Followers 457 Following Programmer, mainly Haskell, maybe categories. The answer is always an optic. Foldable Coyoneda gives me joy.
Ellen Shapiro @designatednerd
9K Followers 400 Following I never shut up about iOS and Android development. She/Her. No replies here, I moved over to @[email protected].
beka_valentine @ kole... @defnotbeka
3K Followers 2K Following a dyke who hacks on things. she/xey/ey. [email protected]
Micah Cantor @micah_cantor
138 Followers 144 Following Software engineer @Rinse. Previously studied CS and math @GrinnellCollege. Interested in compilers, FP, web development Moved to bluesky
Jérémy @JeremyThibault_
51 Followers 124 Following PhD student at the Max Planck Institute for Security and Privacy (MPI-SP) · interested in PL, verification and security; working on secure compilation · he/him
Brendan Dolan-Gavitt @moyix
30K Followers 6K Following Building offsec agents: https://t.co/G9EtnC2Gl3 PGP https://t.co/3WXr0RfRkv
Justin Lubin @jplubin
707 Followers 585 Following
Mara @m_ou_se
45K Followers 415 Following Rust dev, Electronics engineer, Author, @rustlang Library team lead, ADHD, Polyamorous, Lesbian, She/Her
Kabelo Moiloa @11kilobytes
1K Followers 4K Following amateur PL-theorist of scientific computing. All poasts are to be interpreted in both a maximally ironic and sincere way simultaneously.
Marco Peressotti @marcoperessotti
136 Followers 76 Following
purefunctor @purefunctor
452 Followers 501 Following
Itoro Udo @Udoatliaison
452 Followers 433 Following Psychiatrist. Interests: Liaison Psych, Med Educ, Therapies, Gen Adult Psych, Psychopharm. Tweets not endorse...t, Views ownTrends for United States
10,2 B posts
101 B posts
16,8 B posts
14 B posts
10,7 B posts
5.539 posts
18,5 B posts
4.637 posts
22,9 B posts
22,5 B posts
3.750 posts
4.271 posts
3.753 posts
2.545 posts
2.036 posts
You might like
João Forte Carvalho ...
@bgamari
2K Followers
Graham Hutton
@haskellhutt
8K Followers
Matt Parsons
@mattoflambda
5K Followers
Neil Mitchell (neildm...
@ndm_haskell
5K Followers
Tikhon Jelvis
@tikhonjelvis
3K Followers
Vladislav Zavialov
@int_index
2K Followers
Veronika Romashkina
@vrom911
3K Followers
Andrey Mokhov
@andreymokhov
2K Followers
Lennart Augustsson
@Augustsson
2K Followers