Vladislav Zavialov @int_index
Haskell programmer since 2012; GHC contributor since 2018. ghc.dev Joined April 2012-
Tweets2K
-
Followers1K
-
Following210
-
Likes4K
Static types limit your creativity, but they have flaws too
We are thrilled to share our progress in our work on GHC. Read our detailed report on dependent types on our blog. serokell.io/blog/ghc-depen… #haskell #GHC #opensource
My "for you" tab is full of "look between ... and ... on your keyboard" memes but the keyboard I use looks like this
That's hardly admirable. Confidence should stem from competence. Learn the language you're trying to speak.
That's hardly admirable. Confidence should stem from competence. Learn the language you're trying to speak.
I never thought it would come to this. I am learning OCaml.
GHC 9.10.1-alpha1 is now available! Lots of goodness in this release including a few great steps on the road to Dependent Haskell, the long-awaited introduction of exception backtraces, and Javascript FFI support in the Wasm backend. haskell.org/ghc/blog/20240…
Cars make me question my belief that technical progress is good.
There's nothing secret in there, I just don't want to overpromise and underdeliver.
There's nothing secret in there, I just don't want to overpromise and underdeliver.
Drafted a list of goals for the next few months of GHC development.
Taking part in shaping GHC going forward is open to everyone! I'd like to encourage you 🫵 to consider applying for a steering committee position, to help shape GHC's development. The GHC steering committee is currently looking for three more volunteers to help out. The workload…
Working on another breaking change to Haskell. You can't stop me.
That is we have a tendency to add /h/ at the end of sentences, when they end with a vowel sound. It can be more or less strongly pronounced, possibly it can depend on the vowel too, I'm not sure. Some French speakers pronoune it /ç/ instead (like in German “bärCHen")
It really is a mystery to me why people find AI coding assistants useful or interesting. They're utterly incapable of solving any complex problems, and I don't need any help in solving simple ones.
Over-simplification comes from not seeing trade-offs. Over-complication comes from not accepting trade-offs.
Truth and Justice (2019) is a great movie. The characters, the story, the setting, all of it.
“What should I do?” “You need to do this hard thing.” “What if I did this easy thing instead? It can’t hurt.” “It hurts indirectly, because it delays your starting on the hard thing.”
Edward Kmett⏏️ @kmett
14K Followers 779 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMTweag @tweagio
6K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Matt Parsons @mattoflambda
4K Followers 567 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/KiomSAWa5JSatnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}Camarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone they/them (PP by @HuntyDraws).Tom Sydney Kerckhove @kerckhove_ts
2K Followers 420 Following Professional Weirdo Learning American Sign Languagenaomi (forgetful func.. @fixedpointfae
6K Followers 573 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKmdeech @deech
5K Followers 1K FollowingArian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryJohn A De Goes @jdegoes
17K Followers 980 Following CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion.Ben Gamari @bgamari
2K Followers 311 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.Paweł Szulc @EncodePanda
3K Followers 646 Following Haskell, 范畴论, λ, Distributed Systems, Formal MethodsJanella Safi @JanellaSaf9148
37 Followers 5K FollowingKurt Mueller @everybody_kurts
330 Followers 1K Following Former professional rubyist by day, now more of a generalist. I'm interested in F#, Haskell, Rust, Reason, and Elm. Okay at cycling and cooking. He / him.Macy Wicklund @MacyWicklu34221
58 Followers 5K FollowingWesley Massuda @massudaw
41 Followers 89 FollowingNona Arosemena @aroseme_n
64 Followers 5K FollowingJerry Galipeau @galipe_jer
31 Followers 5K FollowingRenzo Carbonara @renzocarbonara
96 Followers 321 Following Author of @atopbook, building software with types and functional programming.Linnie Paranada @linni_paran
82 Followers 5K Followingλ @kusto_y
0 Followers 173 FollowingVladimir Logachev @logachev_dev
7 Followers 118 Following Software Engineer, Product Manager 🧰 Haskell, Elm, Scala, Rust, TypeScript 🏴☠️ I make software succeedJanhavee Shinde @SJanhavee
69 Followers 2K FollowingAistis Raulinaitis @Sheganinans
66 Followers 795 FollowingO Combinator @toldnotmywrath
104 Followers 537 Followingserenidad_monotropica @Fernand06180883
14 Followers 300 Following Cryptid he/they/it? Autistic ADHD Hyperempathic HSP RSD Polyamorous Daydreamer Dreamatorium/Impro/roleplay/RPG Nomadic. My mind is open. Erdös AnarchyBen Scuron @benscuron
0 Followers 15 FollowingHarsh Mahajan @007harshmahajan
129 Followers 5K Followingchreke @therealchreke
228 Followers 574 Following Freelancer. Web and distributed systems developer. Club Mate enthusiast. Posts only the finest programming memes.Manuel S.R. @_manuelsoto
10 Followers 50 Following Computólogo interesado en el estudio y la enseñanza de Teoría de la Computación, Inteligencia Artificial y Ciencia de Datos.Tezbaguette🍞🩹 @tezbaguette
175 Followers 152 Following -caution- Tezbaguette closed around February 2024. No delegation. No rewards will be paid. Please quickly delegate to another validator.Kevin O'Riordan 🇮�.. @oriordankevin
247 Followers 359 Following Thinking about getting back to running. ~~2023 resolution: finish things I start.~~ 2024: finishing things I should have finished in 2023 He/him.Kasi Jerde @KasJerde
50 Followers 5K FollowingBahram Samadi @samadi_b_64
1 Followers 45 Followingkgkoutis @kgkoutis3
47 Followers 1K FollowingOlaoluwaM @OlaoluMustapha
163 Followers 951 Following Software Engineer 'Surpass your limits right here right now' ~ Yami Sukehirorahul @t3sser4ct
1 Followers 165 FollowingJohn Hui @johnjohnhui
328 Followers 1K Following PhD candidate @ColumbiaCompSci. something something PL/systems/compilers/verification. he/him.Zoe Melpomene : ∀a... @mzerodev
254 Followers 660 Following I mostly just retweet lesbian art here, tbh. Haskell. Nix. Jewish refugee for 🇵🇸. Has an unusual number of teeth. 🏳️🌈🏳️⚧️ she/her.Sundara Vishnu @sundara_vishnu
59 Followers 248 Following @UMich '25 | pl, distributed systems, & math | 🏃♂️🧗♂️🚴♂️|computationalDebauche.. @computeDecadent
51 Followers 314 Followingاحمد @ahmad198401
0 Followers 340 FollowingλBRonen. @lowbronen
194 Followers 192 Following .. ╱| 、......... .(˚ˎ 。7........ .. |、˜〵....... ..じし ˍ,)ノ...Isaac Van Doren @isaacvando
92 Followers 233 Followingsandydoo @sandy_doo
270 Followers 537 Following 🧑💻 eng @cachix_org ✨ rust, haskell, elm, nix 🌈 https://t.co/XgUxe8jTzKAbdi M. @scaredmonad
1K Followers 4K Following PLs, µ-compilers, type systems, λ-abstractions, trivia, thoughts @ https://t.co/x0BSfAqRpmpositiveblue ⚡️�.. @positiveblue2
1K Followers 1K Following ⚡️ Making sats the standard @fewsats Former @lightningvsevoλod @_rasie1
364 Followers 647 Following fascist russia should fall apart | gamedev, programming languages, progressive metalDarth Goblin @0xc0dejug
559 Followers 449 Following building @union_build and https://t.co/hH3b4hfNsp. dictated by code. financial coadvices. trapped in the simulation.neodevelop @neodevelop
2K Followers 1K Following Becario permanente del software. Me gusta estar en @makingdevs. https://t.co/zi6v6zqr6h https://t.co/WVZWpDrNuDRamakrishna @Ramakri13747471
0 Followers 22 FollowingEduardo Rafael @TheEduardoRFS
8K Followers 1K Following 25yo anti floating point developer. You can almost always find me at https://t.co/XTQJQqaVhe, it's the boring side of tech.Bartosz Milewski @BartoszMilewski
33K Followers 37 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]Edward Kmett⏏️ @kmett
14K Followers 779 Following Founder/CTO of @Positron_AI Helping @ToposInstitute I tend to talk about Haskell, category theory, AI, and safety. https://t.co/wYaTDISbEB https://t.co/oP135HK8LMTweag @tweagio
6K Followers 260 Following The Open Source Programming Office (OSPO) of @ModusCreate. Improving the craft of software engineering.Matt Parsons @mattoflambda
4K Followers 567 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/KiomSAWa5JCamarade Hécate 🪬 @TechnoEmpress
2K Followers 2K Following data-djinniyya; Bifunctor disaster; Multifarious Motherfucker; Blockchain-free zone they/them (PP by @HuntyDraws).Joachim Breitner @nomeata
3K Followers 1 Following Has a thing for abstraction. Haskeller, Computer Scientist. Dances tango, swing and blues. Stand-up comedian and paraglider. 🦣 https://t.co/9Sjz02h8dLAlexis King @lexi_lambda
13K Followers 25 Following Fighting for the radical belief that things can be understood • I work on Haskell and GHC at @tweagio • DMs open (but responsiveness varies) • she/her, ⚢Graham Hutton @haskellhutt
7K Followers 696 Following Professor at @UoNComputerSci 💻 Haskeller https://t.co/4wGcVx49vZ 📓 YouTuber https://t.co/qBpJclVeDl🎙 Food Nerd 🍽 Glaswegian 🏴Gabriella Gonzalez @GabriellaG439
14K Followers 143 Following Author of @dhall_lang, https://t.co/YzieN4kyo2, and countless packages and presentations. 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 FollowingMichael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).John Carmack @ID_AA_Carmack
1.1M Followers 241 Following AGI at Keen Technologies, former CTO Oculus VR, Founder Id Software and Armadillo AerospaceAndrás Kovács @andrasKovacs6
741 Followers 69 Following Type theory & applications. Also on Mastodon: https://t.co/KYgeYKJQgMEdward Z. Yang @ezyang
10K Followers 973 Following I work on PyTorch at Meta. Chatty alt at @difficultyang. Mastodon @[email protected]Patrick Walton @pcwalton
18K Followers 560 Following Programming languages and graphics person. @[email protected]- 𝚙𝚊𝚗𝚣�.. @panzerkitten212
18K Followers 503 Following Silly (Cringe). Disabled (Two X Chromosomes). Rogue Military Asset (Uniform Enthusiast • Cosplayer). Support my work •͈ ⩊ •͈ : https://t.co/KQrl35qcBwBevy Engine @BevyEngine
9K Followers 0 Following Official account for Bevy Engine: a refreshingly simple game engine built in Rust. Follow for news and curated #bevyengine content. @[email protected]Prophet @welltypedwitch
2K Followers 631 Following There's no sense crying over every mistake. You just keep on trying till you run out of cake. - GLaDOS https://t.co/70SfmxnROe https://t.co/6DWstdv5Zfderek guy @dieworkwear
869K Followers 965 Following Menswear writer. Editor at @putthison. Creator of @RLGoesHard. Bylines at The New York Times, The Washington Post, The Financial Times, Esquire, and Mr. PorterNassim Nicholas Taleb @nntaleb
1.0M Followers 2K Following Flaneur: probability (philosophy), probability (mathematics), probability (real life),Phoenician wine, deadlifts & dead languages. Greco-Levantine.Canaan. #RWRIStonetoss Comics @stone_toss
454K Followers 294 Following - Stonetoss Plushie: https://t.co/h0aPmDoBtq - Cartoonist: new comics every Tues/Thurs - NFTs: @FlurksNFT - About my work: https://t.co/jgmP5JMgOtVintage Maps @vintagemapstore
308K Followers 6 Following Exploring the world through the lens of cartography and design. 🗺️ Vintage maps, propaganda posters, modern infographics, and heraldry.Forrest Brazeal @forrestbrazeal
35K Followers 194 Following Purveyor of good tech things. prev. @google DMs are closed; reach out anytime at hello@goodtechthings .comArnaud Spiwack @aspiwack
706 Followers 21 Following Multi-classed Software Engineer/Constructive Mathematician. Sometimes plays video games sort of fast. Puts topoi in your computer. https://t.co/iFlKRVeGpNleander @LeanderKur
36 Followers 172 FollowingStephen Gutekanst⚡ @slimsag
3K Followers 830 Following Building https://t.co/aKUo2GbsvH - the #ziglang game engine - principal eng Sourcegraph, opinions are my own?! Hot bits: https://t.co/ufqV7P0zFtcars.destroyed.our.ci.. @CarsRuinedCity
43K Followers 203 Following This account highlights historical, modern and statistical comparisons on why highways, parking lots and stroads ruined our cities for the automobile.Daily Manul @DailyManul
40K Followers 0 Following Posting curated Manul pictures daily. A fresh Manul will be gently dropped into your timeline at 14:00 EST (19:00 CET). Material not my own. Not for profit.Obsidian @obsdmd
131K Followers 3 Following The private and flexible writing app that adapts to the way you think. For help and deeper discussions, join our community: https://t.co/QsDArfFSa3Daniel Firth (Inspect.. @locallycompact
1K Followers 630 Following Haskell Programmer @ IOG Horizon Haskell https://t.co/1586xMNhf7 #haskell #nix #cardano #plutus #developer@HiBob_HR @HiBob_HR
4K Followers 2K Following #SayHiToBob, the #peoplemanagement platform #HRIS that drives remote culture and engagement, helping you to put your #peoplefirst. #hrtech #EmployeeEngagementSam Derbyshire @samderbyshire
306 Followers 313 Following Cohomology enthusiast. I've seen rings you people wouldn't believe.Sebastian Graf @sgraf1337
299 Followers 273 Following Talk to me about Haskell, GHC, general CS or my trumpet Mastodon: @[email protected]@stefanmuelller@clima.. @StefanMuelller
2K Followers 751 Following Climate crusty, linguist @LingMuelller, open access freak, @langsciPress, photographer, born in Jena, Ossi since 2013 @[email protected]jaspervdj (@functiona.. @jaspervdj
3K Followers 402 Following Leftist, haskell stuff, and I care a lot about skateboarding and photography. Involved with @FugueHQ, @snyksec, @HaskellOrg, @ZuriHac and @icfpcontest2021.Phil Freeman @paf31
5K Followers 280 FollowingPaolo G. Giarrusso @Blaisorblade
2K Followers 2K Following @[email protected] PhD in ProgLang. Formalizing C++ and formally verifying a microkernel-based C++ hypervisor @bedrock_systems — Coq/Scala/HaskellRyan h - Wishlist Hea.. @Myartbytes1
40K Followers 1K Following really really cool seattle based pixel artist and game dev I'm here for art and urbanism WISHLIST HEADWATERS BABBYYYYHaskell Spotlight @HaskellSpot
420 Followers 836 Following Let's bring better tools and documentation for Haskell together. ✌️ Support the project: https://t.co/zv6CF3ynGF ☕️NASA Webb Telescope @NASAWebb
3.3M Followers 65 Following The world's most powerful space telescope. Launched: Dec. 25, 2021. First images revealed: July 12, 2022. Verification: https://t.co/ChOEslj1j5Moritz 💫 @4ngerman
2K Followers 736 Following 💆 Head of Developer Experience. 💰No financial advice! 🤝 Views are my own!Lean @leanprover
4K Followers 35 Following Lean is a dependently-typed programming language and theorem prover.Jan van Brügge @jvanbruegge
343 Followers 50 Following Core team member of Cycle.js, maintainer of a few related projects. Also working on CubeSats, loves HaskellJohn Ericson @ericson2314_
521 Followers 675 Following Programmer dipping toes in economics. @[email protected], @ericson2314:https://t.co/W7M481HPNw, [email protected], https://t.co/CcN2aJ0oRf, @johnericson.meMaya :3 @meithecatte
593 Followers 208 Following standard-issue programmer catgirl · |she/her⟩ + |it/they⟩ · irredeemably genderfucked · slut for abstraction and bit-wrangling · alleged math nerdThe Witcher @witchergame
1.6M Followers 98 Following The official Twitter account for The Witcher 3: Wild Hunt, The Witcher 2: Assassins of Kings & The Witcher.Oisín Kidney @oisdk
743 Followers 801 Following Programming languages and functional programming, mainly tweeting about #haskell and #agda (he/him)The Perry Bible Fello.. @PBFcomics
108K Followers 1K Following Now offering Limited Edition prints: https://t.co/9gcEjd2v8K Support on Patreon: https://t.co/yMKGyrR8OP by @perryfellow, often with friendsEdward Kmett @edwardkmett
468 Followers 244 Following This account was created due to an incident on Feb 13th, 2021. I'm mothballing it for now. Follow @kmett.ColorSpace @MyColorSpaces
931 Followers 21 Following ColorSpace is a currently developed tool to generate color palettes, gradients and much more!Pasquale Pinto @_pasqu4le
14 Followers 85 Following Turing machine operator. Cat lover. Human specie affiliate.Obsidian Systems @obsidian_llc
1K Followers 245 Following Software consultancy specializing in haskell, nix, curiosity, and innovation.nix run nixpkgs#zed-editor
You either concieve of programming as data processing, or you concieve of it as the stitching together of black boxes (libraries and services). Programming education should teach you how to make behavior emerge via data processing. BUT, as you begin learn to program, you can't…
100% powered by Haskell
Introducing Pulsar — a first of its kind family of software-defined electromagnetic warfare (EW) systems that utilizes AI at the tactical edge to rapidly identify and counter new threats in hours or days, not months or years. Threats are evolving faster than ever before — a cat…
I'm joining @zeddotdev in June! I've been absolutely loving this editor—everything feels *so* fast, Vim mode is built in, and multiplayer editing is now my favorite way to collaborate on code in realtime. I am SO STOKED to be a part of building the world's best code editor! 😍
"Yes we love mathematical functions and types." Ok so let's showcase the language with a partial function. "Yes and remove the types."
Can I just say, FUCK mosquitos. If I had the opportunity to release GMO mosquitos that would wipe out their entire species, done. Not even a question. Microscopic vampires deserve no place on this earth. Also fuck skeeter syndrome. Thanks, that is all.
professor: ... you've ... installed python before? student: no, this is my first time professor: your envs are isolated per project. who taught you to do that? student: it seemed the right way professor: *muttering* he shall know your ways as though born to them
@int_index No it's always strictly downhill. Hokusai's last words supposedly were 'If heaven will afford me five more years of life, then I'll manage to become a true artist.'
@int_index Being able to maintain that humility while acquiring knowledge: That's wisdom, that's "better" already. Keep at it.
@int_index Also, thanks for all your work in improving GHC 😁
@supahvee1234 because intermediate computations can be pretty dangerous with them and realistically most representable states are probably invalid either way (especially for array indices)
'Before software can be reusable it first has to be usable.' -- Ralph Johnson
@wirmgurl A lot of the hatred for math comes from a hatred of beauty. It's similar to the aversion towards classical music displayed by delinquents who flee areas where it is played. There's a sharp, almost stinging beauty to math that attracts moths and repels roaches.
The main problem with “Make illegal states unrepresentable” is not that they can be replaced with runtime assertions. It’s the fact that there’s not a lot of knowledge on when to stop when making illegal states unrepresentable.
@ChShersh My editor auto saves. That’s not what git is for.
@int_index I just found out about that today - very similar, except for where the ! goes (In Idris it goes at the front instead of at the end) and that Idris generalizes it to monads and applicatives, which Roc does not.
I can’t treat a compiler author seriously, if they don’t have enough experience with Java, Python, C++, Haskell, Erlang and Lisp. You need to be exposed to completely diverse ideas if you don’t want to reimplement the same candy just in a different wrapping.