Vladislav Zavialov @int_index
Haskell programmer since 2012; GHC contributor since 2018. ghc.serokell.io/dh Joined April 2012-
Tweets3K
-
Followers2K
-
Following259
-
Likes5K
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
I used to like this quote, but how true is it really? Isn't a language worth knowing if's reasonably fast, reliable, with good libraries and platform support, etc? You need it to build the product you want to build. Even if the language itself isn't novel or interesting.
I used to like this quote, but how true is it really? Isn't a language worth knowing if's reasonably fast, reliable, with good libraries and platform support, etc? You need it to build the product you want to build. Even if the language itself isn't novel or interesting.
When you put a webserver up on the internet. anywhere, hosting anything, you will see "the background radiation of the internet", and it looks like this:
There are cool ideas and there are good ideas. I haven't got a clue how to tell them apart.
Кошка^W Гофер, вид сзади

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
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 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
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 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
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
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 314 Following Director of Product @Constellation Network
Paweł Szulc @EncodePanda
3K Followers 656 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
Javi @elduderinob
4 Followers 33 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
237 Followers 2K Following Tired Michael. Miguel. マイケル. Chaos Control. Surreal or bust. [email protected] BlueSky: @/theFeste.st | EN/日本語/ES | he/him
Twoj Stary Solutions @TwojStarySLTNS
9 Followers 82 Following
Elijah Shen @ElijahShen1
5 Followers 68 Following
Anshu Kumar @anshuscript
473 Followers 931 Following Senior Software Engineer && Computer Science Teacher 👨💻 Freelancer l MERN Developer l Full Stack Developer ⏩ Mentor | Teacher | Bookholic
Lucas Silva Barreto @LucasSilva73312
4 Followers 104 Following
Musk Private page �... @musk7641
382 Followers 41 Following 1CEO - Spacex 🚀 Tesla =🚘 Founder - The Boring Company Co-Founder - Neuralink, OpenAl
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
193 Followers 6K Following
two_tree_hundo @two_tree_hundo
271 Followers 6K Following
kno1important @kno1important
357 Followers 4K Following
Alex Williams @willia39537
6 Followers 59 Following
kilgore @kilgore__1
20 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
417 Followers 1K Following Child of God | Child of the Covenant | Disciple of Christ #ChurchOfJesusChrist
arge12 @geier_1
0 Followers 79 Following
hypothetically a pers... @ml39118987
28 Followers 349 Following
Scramble Code @_scramblecode
21 Followers 192 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.
billow calmer @BillowCalmer
6 Followers 148 Following
Ahmed Hany @__AhmedHany__
35 Followers 4K Following
Eric Tchirnhausen @tchirnhaus20039
23 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
62 Followers 1K Following
Sacramento King @SSacrament94313
76 Followers 2K Following
The Bug Report @0xbugreport
158 Followers 2K Following CS student at CSUMB / writer of arcane texts 📜 / network ecologist 📡 / reverse engineer 👨🏼💻 / prompt master supreme
phoenix @agentphoenix88
103 Followers 3K Following
q q @SearchingF0x
4 Followers 210 Following
kkssxx xx @dmcyer
1 Followers 42 Following
0xm3h @0xB1ND
8 Followers 138 Following
Sleroq @sloqus
45 Followers 876 Following
lars @lars2040
9 Followers 359 FollowingBartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
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
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 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
Tom Sydney Kerckhove @kerckhove_ts
3K Followers 426 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 697 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴
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 🏳️⚧️
Виталий Бра... @_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 546 Following Programmer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱 עזרי מעם ה' עושה שמים וארץ
Arian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercury
John Carmack @ID_AA_Carmack
1.1M Followers 273 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo Aerospace
András Kovács @andrasKovacs6
912 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.
MuniHac @MuniHac
373 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
694 Followers 106 Following Truth in types, safety in thought. Advancing the use of type theory as a protective factor against cognitohazard.
inkblair @inkblair
4 Followers 9 Following
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 524 Following “Only way she differs from an ubermensch is she is a closeted lesbian” — a fellow X user, about me
Dmitriy Kovalenko @neogoose_btw
10K Followers 520 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 149 Following Ehrliche Nachrichten - unabhängig, schnell, seit 1845
Elon Musk @elonmusk
225.3M Followers 1K Following
Murat Demirbas (Distr... @muratdemirbas
10K 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 116 Following Digital Grove | Working on the RAD Debugger at @radgametools / @epicgames (opinions my own)
Fabio Filasieno ❄�... @FilasienoF
906 Followers 210 Following On compiler and database system implementation. On system programming pragmatics. I share papers that I love.
Murat Kasimov @iokasimovm
279 Followers 69 Following Software designer, independent researcher, making @ya_language
Duran / Дюран @userdie
319K Followers 66 Following охуенно, но не более https://t.co/arIZ7HWK0a https://t.co/08T8Xv6N35
🇪🇺 simple-scran @Profpatsch
534 Followers 398 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 505 Following he/him https://t.co/mL1e9LiEbX https://t.co/6fKIciHDuB https://t.co/w1JytdYy0i https://t.co/vOS46mmPbB 👫@boekencurator
HSVSphere @HSVSphere
14K Followers 996 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
661 Followers 334 Following type theory & compiler engineering & formal methods ⊢ Haskell & Agda & Lean
Internal Tech Emails @TechEmails
584K Followers 886 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 110 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
200 Followers 601 Following mitchell @unisonweb formerly @SimSpaceCorp @sentenai
Finchen🇩🇪 @FineFinchen123
16K Followers 8K Following Deutschland zuerst, Team Remigration. Gegen Waffenlieferungen, proAfD. Für eine bessere, gerechtere Rechtsprechung. AmpelWEG. Für ein mod. Europa der Vaterl.
Boyan Slat @BoyanSlat
197K Followers 189 Following Studied aerospace engineering, becomes a cleaner. Founder/CEO @TheOceanCleanup
wwmccαt @WickedMcCat
156 Followers 157 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."
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
796 Followers 643 Following Founder @scarf_oss. Board @HaskellFound. Open source usage analytics.
Eric S. Raymond @esrtweet
33K Followers 169 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 760 Following Animals and their natural habitats. Some artwork. Do not own pictures.
Evil Haskell Tips @EvilHaskellTips
3K Followers 19 Following go forth, my statically typed minions. Eval! Apply!