Vladislav Zavialov @int_index
Haskell programmer since 2012; GHC contributor since 2018. ghc.serokell.io/dh Joined April 2012-
Tweets3K
-
Followers2K
-
Following261
-
Likes5K
"If it type checks, it works" says a Haskeller as he commits another space-leaking function to the standard library.
Just found out that the 45 nm, 32 nm, 28 nm processes, etc., are all marketing terms unrelated to actual gate length. And it's been this way since 1997.
Now do Fur Density, you'll need a log chart to see anything but Rust.
LLM-generated code is embarrassingly bad. I end up rewriting most of it. However, this was also the case with some developers I used to work with, so I guess LLMs are replacing some of you after all, hug?
MuniHac starts in a week, and I’m going to attend. Train tickets bought, room booked — see you there!
Ah, that intoxicating feeling of pushing to a mutable vector.
Or-patterns in Haskell are nice. Thanks, @sgraf1337!
No one knows The Right Way to do things, so if you want to ship product, you have to churn out slop on deadlines. Otherwise, you become a researcher and discover a nice thing once every few years.
No one knows The Right Way to do things, so if you want to ship product, you have to churn out slop on deadlines. Otherwise, you become a researcher and discover a nice thing once every few years.
The #1 rule of readable code is that there shouldn't be much of it.
protobuf isn't perfect but the current version is good enough that it should be the default 1 word about "human readable" and you get 60 secs with a gun to your head to sight-read TLS encrypted packets bearing UTF-8 encoded JSON dumped as hexadecimal in wireshark, no mitmproxy
Volkswagen. DaaS Auto. (Driving as a service).
Volkswagen. DaaS Auto. (Driving as a service).
Friendship ended with Haskell. Now Rust is my best friend.
Narrator: it's 10,000 lines of bug-filled crap.
One of the reasons I'm so annoyed by the use of plaintext for code. Comments should be annotations attached to AST nodes and displayed on the side.
One of the reasons I'm so annoyed by the use of plaintext for code. Comments should be annotations attached to AST nodes and displayed on the side.
Compiler Engineer: Task = Programming Language
Compiler Engineer: Task = Programming Language

Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 522 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
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
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
Виталий Бра... @_bravit
16K Followers 1K Following Автор Haskell in Depth. JetBrains. @VBragilevsky (en), https://t.co/D4PmysRyUM (ru)
deech @deech
5K Followers 1K Following
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
João Forte Carvalho ... @bgamari
2K Followers 319 Following Director of Product @Constellation Network
Paweł Szulc @EncodePanda
3K Followers 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
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
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
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
eidoloom @eidoloom
0 Followers 53 Following Growing computer scientist; Learning pre-algebra mathematics (vocabulary), algorithms and data structures and functional programming (Haskell)
Haley Jayden😇 @Haleyjadeyv
1K Followers 5K Following I'M A $202 MEGA MILLION LOTTERY WINNER 🥇 I'M SO BLESSED 😇 SO I WILL BE GIVING AWAY💵 ($10k) TO MY FIRST (2.5k) FOLLOWERS💵🎊
Michael Litchard @lambdafan
3 Followers 73 Following
Dries Frederickx @PolyTroid
257 Followers 2K Following Current status: NEET. Jack of no traits and definitely master of none.
Javi @elduderinob
2 Followers 39 Following Lights out by nine, alpha vibes by ten. I live off pizza boxes and questionable burritos—but don’t get it twisted. I don’t skip leg day, I skip social events.
Andrei Poplaukhin @Andrei_519
29 Followers 18 Following
theFestest @theFestest
238 Followers 2K Following Tired Michael. Miguel. マイケル. Chaos Control. Surreal or bust. [email protected] BlueSky: @/theFeste.st | EN/日本語/ES | he/him
Twoj Stary Solutions @TwojStarySLTNS
12 Followers 154 Following
Elijah Shen @ElijahShen1
5 Followers 71 Following
Anshu Kumar @anshuscript
487 Followers 1K Following Senior Software Engineer && Computer Science Teacher 👨💻 Freelancer l MERN Developer l Full Stack Developer ⏩ Mentor | Teacher | Bookholic
Lucas Silva Barreto @LucasSilva73312
3 Followers 103 Following
Nikolai Pohodenko @phdnk
4 Followers 65 Following
Arthi-Chaud @arthi_chaud
20 Followers 25 Following I do code and pizzas. I like pretzels but I prefer code more. 📚 CS PhD Student • Functional Programming, Compilers, Low-Level & Web
AKIRA @AK1RAx01
196 Followers 6K Following
two_tree_hundo @two_tree_hundo
285 Followers 6K Following
Alex Williams @willia39537
3 Followers 59 Following
kilgore @kilgore__1
18 Followers 1K Following
Nilesh Trivedi @nileshtrivedi
11K Followers 7K Following Building AIs at https://t.co/duOuULnu9d I love machines, math & music. @lossfunk @meta @foresightinst @clearFromCT @iiml @iitkgp ❤️ https://t.co/kJujVRw8jZ
Weird Mountain Man @Jon_da_Bomb
412 Followers 1K Following Child of God | Child of the Covenant | Disciple of Christ #ChurchOfJesusChrist
arge12 @geier_1
0 Followers 82 Following
Scramble Code @_scramblecode
23 Followers 193 Following As long as my brain functions, learning is my favorite runtime process
Jan Decat @maskedattention
44 Followers 1K Following he/him. Mostly here for math/compsci news and resources.
Vemod 🐊 🇮🇹 �... @angslickt
152 Followers 233 Following 2. kez Xitter ifade özgürlüğü ihlali mağduru.
billow calmer @BillowCalmer
6 Followers 160 Following
Ahmed Hany @__AhmedHany__
30 Followers 4K Following
Eric Tchirnhausen @tchirnhaus20039
40 Followers 5K Following Like to try new things you never know; trying to prove all software can be automated 😅 😅 😅 | ML/AI, | C++/Java/Go | GitHub : Dyl777
Alperen Keleş @Keleesssss
8K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Sensey @pisensey
61 Followers 1K Following
Sacramento King @SSacrament94313
87 Followers 2K Following
The Bug Report @0xbugreport
152 Followers 2K Following CS student at CSUMB / writer of arcane texts 📜 / network ecologist 📡 / reverse engineer 👨🏼💻 / prompt master supreme
phoenix @agentphoenix88
99 Followers 3K Following
q q @SearchingF0x
4 Followers 212 Following
kkssxx xx @dmcyer
0 Followers 42 Following
0xm3h @0xB1ND
7 Followers 143 FollowingBartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Edward Kmett @kmett
16K Followers 822 Following Founder/Chief Scientist @Positron_AI Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/XwbnuaOUzq 🦋 @kmett.ai
Tweag @tweagio
6K Followers 244 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.
Matt Parsons @mattoflambda
5K Followers 522 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
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 425 Following Building https://t.co/o8ZbrNb9iU Learning American Sign Language
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
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Graham Hutton @haskellhutt
8K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
gabby @GabriellaG439
15K Followers 77 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 🏳️⚧️
Виталий Бра... @_bravit
16K Followers 1K Following Автор Haskell in Depth. JetBrains. @VBragilevsky (en), https://t.co/D4PmysRyUM (ru)
deech @deech
5K Followers 1K Following
Michael Snoyman @snoyberg
6K Followers 569 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
John Carmack @ID_AA_Carmack
1.1M Followers 274 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
András Kovács @andrasKovacs6
905 Followers 66 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgM
Edward Z. Yang @ezyang
14K Followers 1K Following I work on PyTorch at Meta. Chatty alt at @difficultyang.
OMW @omwgamestudio
6K Followers 0 Following The official account of OMW Game Studio -- The team building the new retro fantasy RPG you’ve always wanted
Andreas Herrmann @andrherr
16 Followers 10 Following
MuniHac @MuniHac
376 Followers 139 Following MuniHac is an annual three-day Haskell hackathon and conference in Munich that brings together Haskell developers and enthusiasts from across the globe
The Institute for Typ... @typememetics
842 Followers 106 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
Jonathan Aldrich @JAldrichPL
4K Followers 1K Following Professor of PL/SE at CMU. Coauthor, Programming Language Pragmatics (vids: https://t.co/eqZUam3iMJ). ACM Publications Board. CTO of https://t.co/ilgx6i6eL1 He/him.
Diane Yap @RealDianeYap
34K Followers 532 Following “Only way she differs from an ubermensch is she is a closeted lesbian” — a fellow X user, about me
Dmitriy Kovalenko @neogoose_btw
11K Followers 482 Following Goose, James Goose. Made some open source software you might already be using. Shipping C and cooking Rust with OCaml. Working on @fframes_rust.
Alperen Keleş @Keleesssss
8K Followers 2K Following METU CENG 21' | PhD Candidate at @umdcs | Writing at https://t.co/O7d6OIVbg4 | Currently random testing compilers, type systems, databases...
Der Postillon 📯 @Der_Postillon
1.5M Followers 148 Following Ehrliche Nachrichten - unabhängig, schnell, seit 1845
Murat Demirbas (Distr... @muratdemirbas
11K Followers 256 Following MongoDB Research: Distributed {Systems, Databases, Consensus} + Formal Methods ex-AWS, ex-Prof @SUNY Buffalo. https://t.co/IqZPhhtcCC Opinions my own
Ryan Fleury @ryanjfleury
17K Followers 119 Following Digital Grove | Working on the RAD Debugger at @radgametools / @epicgames (opinions my own)
Fabio Filasieno ❄�... @FilasienoF
908 Followers 172 Following On compiler and database system implementation. On system programming pragmatics. I share papers that I love.
Murat Kasimov @iokasimovm
275 Followers 69 Following Software designer, independent researcher, making @ya_language
Duran / Дюран @userdie
318K Followers 66 Following охуенно, но не более https://t.co/arIZ7HWK0a https://t.co/08T8Xv6N35
🇪🇺 simple-scran @Profpatsch
536 Followers 401 Following ~ Kissed by a rose on the grey ~ Warrior / struggling / to remain / consequential (In my Raspberry Heaven〜) :: @curry_club_aux @OpenLabAugsburg
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.
Sjoerd 슕 Visscher @sjoerd_visscher
1K Followers 499 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/w1JytdYy0i https://t.co/vOS46mmPbB 👫@boekencurator
HSVSphere @HSVSphere
14K Followers 997 Following A colorful sphere, here to grudge. Its opinions will never budge. A vibrant orb, with hues so bright, Unwavering in its stances and might.
kei @thelissimus
672 Followers 406 Following Type Theory, Compiler Engineering and Formal Methods 型理論・コンパイラ工学・形式手法
Internal Tech Emails @TechEmails
583K Followers 882 Following Internal tech industry emails that surface in public records. 🔍
Mytho Siberia @MythoSiberia
25K Followers 19 Following Capturing Siberian mythos. Curated by @yiihya
BURKOV @burkov
47K Followers 111 Following My new LM book: https://t.co/YXNQUy7O3t PhD in AI, author of 📖 The Hundred-Page Language Models Book and 📖 The Hundred-Page Machine Learning Book
'(Robert Smith) @stylewarning
5K Followers 275 Following Currently flipping bits and rotating qubits. Advocate of open-source math software. You'll often catch me Lisping (or playing piano).
mitchellsalad @mitchellsalad
203 Followers 600 Following mitchell @unisonweb formerly @SimSpaceCorp @sentenai
Boyan Slat @BoyanSlat
198K Followers 191 Following Studied aerospace engineering, becomes a cleaner. Founder/CEO @TheOceanCleanup
wwmccαt @WickedMcCat
156 Followers 164 Following Raving mathtard, C++ enjoyer, undecidable λC shill. Ardent enemy of verbosity — there is no good boilerplate. Parametric polymorphism is not expressive enough.
zack (in SF) @zack_overflow
26K Followers 2K Following 24 eng @bunjavascript i like systems programming, chief uncle @nautilusquest house
alcuin ❄️ @scheminglunatic
6K Followers 1K Following pure, lazy, immutable ✝️ "In programming language theory, there is only moral correctness." 🐱👉investi(gati)bg ... #TRAD_YAOI and #AuDHD_NetSlop 🐢🦀🦥❄️🍛🐓
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
Avi Press @avi_press
793 Followers 647 Following Founder @scarf_oss. Board @HaskellFound. Open source usage analytics.
Eric S. Raymond @esrtweet
37K Followers 174 Following Yes, I *am* that ESR. Well, it's the question people usually ask. Programmer, wandering philosopher, accidental anthropologist, troublemaker for liberty.
🌴 Vagrant 🌴 @VagrantTravels
20K Followers 758 Following Animals and their natural habitats. Some artwork. Do not own pictures.
Evil Haskell Tips @EvilHaskellTips
3K Followers 18 Following go forth, my statically typed minions. Eval! Apply!