Dmitrii Kovanikov @ChShersh
🧑💻 Senior SE at Bloomberg using OCaml 🐫 Ꚙ Autistic 📽 Content: https://t.co/6laFNyCooC Opinions are my own chshersh.com London, UK Joined October 2013-
Tweets13K
-
Followers7K
-
Following111
-
Likes23K
Due to my autism I always felt excluded. Especially when I didn’t understand some implicit social contract. However, with time I turned it into superpower. I’ve been excluded so many times, so every time it happens (like the whole team goes to lunch w/o me), I no longer care 😌
If AI becomes de facto way to do programming, I’m not sure I stay a Software Engineer 😢 I came to tech because of my passion to do this magical thing when I can turn my thoughts into something physical. Not because I wanted to play guess chess with a huge calculator 🥲
We live in a world of unlimited possibilities but limited opportunities
ocaml classes are good actually
I hope y’all practiced these essentials! Time for the second part. Tech influencer in 2024 starter pack (Part 2): 🎒 it depends 🎒 skill issue 🎒 monad is just a monoid in the category of endofunctors, what’s the problem?
I hope y’all practiced these essentials! Time for the second part. Tech influencer in 2024 starter pack (Part 2): 🎒 it depends 🎒 skill issue 🎒 monad is just a monoid in the category of endofunctors, what’s the problem?
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.
I presented Kan Extensions to the OCaml community at Bloomberg. We then pondered about using Free and Operational Monads to describe computational graphs declaratively. Concluded by the discussion of “Boolean Blindness” and “Parse, Don’t Validate” approaches. Love my crowd 🧡
The tragedy of AI in 2024 is that there’s too much Machine Learning but not enough Human Learning
Most things developers like about new programming languages or libraries can be simply attributed to the effect of novelty instead of being objectively better. Trying something new is refreshing even if it’s worse than what you used before.
Having a highly custom dev env is the worst thing you can do to your employability. Yesterday you wrote Java in IntelliJ Today you write OCaml in VScode Tomorrow you write Agda in Emacs 10 years from now you debug some nasty C over ssh You never know where a job will take you.
Dramaless communities is an underrated feature of a programming language
Suggesting Linux noobies to run sudo rm -rf / is a harsh but necessary lesson for people not to run random commands from the Internet blindly
Every field being optional in Protobufs is actually the only scalable solution for schema migrations
I feel like we need some really creative solutions to fight the climate problem. Make a casual browser game where people earn crystals by sorting garbage into corresponding recycling bins. Connect their actions to real recycling factories. Win-win
I love ‘ocamlformat’ but it could really use some diff-friendly behaviour
This is the validation I’ve been waiting my entire life! Finally, after all these years, I finally made it 😌
I used to develop a service that prepared a fast cache for a slow data storage. It was deployed to cloud using Kubernetes. Each deployment took 2 hours before the service can populate the cache and report that it’s live. Babysitting it every time was quite stressful 😔
Writing in niche FP languages in your spare time is hell of hobby if you think about it
Oh no, they’re going to revoke my autistic license 🥲
Oh no, they’re going to revoke my autistic license 🥲 https://t.co/qZpDCjre5s
Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign Languagenaomi (forgetful func.. @fixedpointfae
6K Followers 575 Following 25 sols | polymorphic lambda witch ✨ | she/her/她 | haskell + rust + scala dev | op amp enthusiast | compilers + analog synths | https://t.co/UOuLLmAqKmMatt Parsons @mattoflambda
4K Followers 566 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!Talia Ringer 🟣 �.. @TaliaRinger
26K Followers 6K Following Professor, @plfmse, @IllinoisCS! Proof Automation. @SigplanM & CCF Founder. Israeli-American for peace, equality, & justice. They/היא, ND, bi. די לכיבושJohn A De Goes @jdegoes
16K Followers 979 Following CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion.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}deech @deech
5K Followers 1K FollowingFlavius 🏴☠️ @FlavioCorpa
2K Followers 205 Following Senior Software Engineer, Haskell & Elm @Scrive 🌳 Adult chess improver #chesspunks♟️ 日本語を勉強しています(N4)🏯teej dv 🔭 @teej_dv
42K Followers 660 Following open source code | @neovim core | @terminaldotshop btw dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG | https://t.co/yaiQ8qGa9oAlexander Granin @graninas
5K Followers 892 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher 🐪 OCaml ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker Book: Functional Design and ArchitectureMichael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.Luc Tielen @luctielen
1K Followers 117 Following I tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.Ben Gamari @bgamari
2K Followers 312 Following I work on the Glorious Glasgow Haskell Compiler at @WellTyped.Gabrieλ Volpe @volpegabriel87
4K Followers 318 Following Software Engineer. Author of Practical FP in Scala & Functional Event-Driven Architecture. #NixOS #NeoVim #Scala #HaskellArian van Putten @ProgrammerDude
4K Followers 2K Following I perform @nixos_org witchcraft at @mercuryEric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala developer (author of the specs2 and registry libraries)Сумний Лiсп�.. @DrearyLisper
2K Followers 236 Following Machine Learning Engineer at FAANG и ещё один человек уставший раньше времени. Пишу код последние 15 лет. C++, Python, Lisp, Haskell. GPG: 0xDDF291C74E000B76Joel Cipriano @joelcipriano
16 Followers 73 Following Hnau. Be kind, tell the truth, don't be afraid.bowtiedbaiji @bowtiedbaiji
511 Followers 2K Following Digital Product Builder & Systems Automator. Privacy Enthusiast. Software Engineering & Management Consulting background.Gosse Wu @ShawnL2024
0 Followers 39 FollowingKai @Shubho7771
48 Followers 946 FollowingDmitrii Odintcov @CyprusSocialite
42 Followers 264 Following “The nice thing about standards is that there are so many to choose from” — Andrew S. Tanenbaummyon @0xgoph
1K Followers 2K Followingk.o.d.3000 @kod3000
360 Followers 482 Following for currency exchange i tell the internets how to behave w/humans.. 🇵🇷🇵🇷🇵🇷Domo-kun @domosauce
91 Followers 19 Following I'm an independent who values Honor and Loyalty. Likes finance, bio/tech, business, legal, geopolitics, and no bs. Repeatable validated facts wins me over.Rafael Gamboa @rafaelgamboaa
0 Followers 65 FollowingJosé Custódio de Fa.. @Abade_Faria
166 Followers 683 Following My solitude has ceased to be solitude. I am surrounded by the goddesses of revenge.Mark Mahoney @markm208
552 Followers 1K Following CS prof at @CarthageCollege, creator of the open source @StorytellerCode, Founder of @PlaybackPress https://t.co/vjl2kbbZyUSON OF MAN @AbundantGrace44
159 Followers 1K FollowingCarter Morgan @cartermorgan
333 Followers 168 Following Lydia's husband | Father | Software Engineer (Formerly @AWS and @Disney)andrew davis ✨ @andrewdavisdev
254 Followers 2K Following tiny unsupervised process sending out signals. sr. software engineer and gamedev hobbyistKeyboardWizard @anonTheGreat01
87 Followers 741 Following 3rd year CS student, passionate about AI and 3D technology. Currently studying: Opengl BasicsRik Huijzer @___rikh___
64 Followers 92 FollowingSeyyit Sahin @SahinSeyyit
213 Followers 2K FollowingYour Therapist @YerShrink
396 Followers 3K FollowingFederico Ferrulli @CurseMyCode
19 Followers 98 FollowingThug Logician @LogicianThug
86 Followers 679 Followingfortm @finder255
43 Followers 385 Followingգրկաբաց @hugrichsb
348 Followers 2K Following 🗣hold up real quick, let me talk my shit //•huggerhugger•muammer el-hugddafi•gennaro hugtuzo•hugzillio // A LOT OF 📸 OUT HERE DAT NOT FOR THE GRAM 📵RTNgasal @RTngasal
163 Followers 2K Following Akun ngasal. Jangan dibawa terlalu serius, ntar pacar ga siap gimana?hiepnt.dg @hiepnt_dg
224 Followers 4K Following UI/UX Designer | Interaction Designer | Visual Designer | Motion Designer | Developer-based DesignerWillianIMS @willianims
9 Followers 171 Following 19yo | ciência da computação 3/8 | tento programar algumas coisasFrank Olle @FrankOlle2
245 Followers 612 Following I am a real estate agent, entrepreneur and business owner. Let's connect and see how we can support each other 💯willian fonseca @willianlfkz
26 Followers 405 Following BR/PL engineer, cryptography specialist, writerpngdeity @pngdeity
107 Followers 773 Following Dispatches from the lunatic fringe | Between fanatic life and symbolic deathnedned @nletcher
1K Followers 5K Following data (science | analytics | visualisation | engineering), @thoughtworks, #Python, #nlproc, ML, & assorted whimsical miscellaniarizomer @rizomer
168 Followers 568 Following cinematic | interactions | cinématographiques ⚡ [email protected] #nostr npub15f593s4sx68c5umzu8j72zq47et8tdj6d3vunxjwvxlul0nq7tjqjgfpamHa Phung @phunghapnh
28 Followers 239 FollowingMircea Ilie Ploscaru @tzekid_
165 Followers 356 Following Born yesterday. In love with Psychology and Tech. Flirting with speculative Trading.Vishnu @Seewishnew
41 Followers 659 Following Tartan, Rust enthusiast 🦀, Big Data Software Engineer and ❤️ Math. He/him.Tom Sydney Kerckhove @kerckhove_ts
2K Followers 418 Following Professional Weirdo Learning American Sign LanguageJohn A De Goes @jdegoes
16K Followers 979 Following CEO @ZivergeTech, CEO @GolemCloud, OSS contributor @zioscala, speaker, writer. Accelerating human dominion.Satnam Singh @satnam6502
14K Followers 3K Following Punjabi-Scottish-American Haskell hacker at @GroqInc, cook, cyclist, lost in music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook}teej dv 🔭 @teej_dv
42K Followers 660 Following open source code | @neovim core | @terminaldotshop btw dad jokes my own https://t.co/jKpcjsTqBE | https://t.co/zb8zDKmSwG | https://t.co/yaiQ8qGa9oAlexander Granin @graninas
5K Followers 892 Following 📚 Author 🏗️ Software Architect 🎞️ FP 🧩 OOP 🎙️ Speaker 🔬 Researcher 🐪 OCaml ✒️📜🚀👽 Sci-fi&Poetry 🧠 Thinker Book: Functional Design and ArchitectureMichael Snoyman @snoyberg
6K Followers 292 Following Eclectic collection of programming (mostly Rust and Haskell) and lifting (weights, children, and monads).Nikita Lisitsa @lisyarus
6K Followers 496 Following I live in a totalitarian state, teach computer graphics, and make videogames. Check out my cozy traffic sim: https://t.co/mJZZNWSU27 He/himRick @rickasaurus
9K Followers 3K Following 10x Eng back in the day, Machine Learning Old-Timer, AI Healthcare VP of Eng (https://t.co/NVsJ1ibOVa 🚀) Frmr AI RegTech CTO (Safe Banking Systems, successful exit).Yaron (Ron) Minsky @yminsky
12K Followers 302 Following Occasional OCaml programmer. Host of @signalsthreads. @[email protected] https://t.co/kiUGRvWOO2Aron Adler א/ע @Aron_Adler
982 Followers 2K Following 👨💻 love FP & type systems λ. Jewish ✡ mystic at heart/reluctant rationalist. always yearning, sometimes earningEllie Huxtable @ellie_huxtable
4K Followers 739 Following Infra + Rust 💖 | building Atuin @atuinsh | ex: @posthog, @coinbase, etc | 🏳️🌈Aaron Francis @aarondfrancis
32K Followers 1K Following Co-founder https://t.co/oUwfiB6Kqj. Sincere poster. No cynicism. Dad to two sets of twins! Cohost @MostlyTechPod. Teacher https://t.co/m4dvIEs302.Gleam Language @gleamlang
4K Followers 7 Following Gleam is a fast, friendly, and functional language for building type-safe, scalable systems!Prophet @welltypedwitch
2K Followers 628 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/6DWstdv5ZfLois @zmzlois
1K Followers 1K Following Used to paint a lot and write decks for a living. Now code. | CEO of @htmx_org | killed @comcord_team | Schedule a call: https://t.co/kTuftY4NfUJoel 🦀🐫 / based.. @ptr_to_joel
2K Followers 154 Following I like Rust & OCaml | jiujitsu blue belt | I write code on Steam Deck | Neovim & Java btw | Banger Learning ModelThomas Gazagnaire @eriangazag
2K Followers 231 Following MirageOS and OCaml hacker. CEO of https://t.co/KF5zAU46jr - ex Docker, Unikernel Systems, CitrixOCaml @ocaml_org
530 Followers 10 Following The industrial-strength functional programming language | safe, expressive, performant | Changelog + OCaml Planet RSS feeds | @sabine_s_Etienne Millon / dune.. @etiennemillon
385 Followers 219 Following Working on Dune, a build system for OCaml projects. https://t.co/3lra6yxebHLeandro @leostera
3K Followers 298 Following 🇦🇷🇸🇪🏳️🌈🖖🏼 he/they • dev with #adhd • ex @spotify @klarna • mission for 2024: make ocaml saas ready • pm for https://t.co/39s9PM83yLVamshi @Jvvk80
252 Followers 1K FollowingKelsey Hightower @kelseyhightower
237K Followers 40 Following Minimalist DMs are now closed. Just email me: [email protected]Daniel 🦔 @DanielW_Kiwi
1K Followers 2K Following Husband, father and señor software developer from the bottom of the world in NZ that likes F# a little too much.privv @emil_priver
2K Followers 286 Following Fractional tech billionare | improving the world with quality softwareGlitchbyte @0xglitchbyte
3K Followers 282 Following I help self-taught developers solve problems with code and overcome doubt. 10+ years designing, building, and securing software and infrastructure.lil uzi perf @ken_wheeler
47K Followers 3K Following practically irresistible. violently suburban. I made a jQuery plugin, gave a few talks and made a couple beats. https://t.co/6BFTpb3nXXJohn Pavlick @lambdapriest
188 Followers 150 Following word rotator | building for the people that are building for the web | unhinged on the inside and ergonomic on the outside | elm 🤝 gleamRay Myers @lambdapocalypse
454 Followers 862 Following Retrofuturist software mender. Host of Craft vs Cruft. Chaos Eng at Indeed. Opinions my own. Social links in pinned post while supplies last!ᛞᚨᛏᚨᛁᛃᚨ @datayja
2K Followers 2K Following ‘89 • 🦉 • hun/hen(ne)/idc • 💪🇪🇺🇺🇦🇮🇱🏳️🌈🏳️⚧️⚛️🦀🐪 • programmer, geek, dork, sorta nerd • RT ≠ endorsement • tweets in 🇨🇿🇬🇧🇳🇴🇸🇪🇩🇰Shakthi Kannan @shakthimaan
1K Followers 301 Following Free/Libre Open Source Software Developer | Speaker | Writer | Emacser | OCamler | Table Tennis player | Chennai Super Kings | தமிழன் (Tamilian)Magdalena @_RustyRooster
1K Followers 187 Following Programming | Cybersecurity | Video games | Memes 👩🏻💻🇫🇷 French nerd since MCMXCVIType Theory Forall @ttforall
3K Followers 175 Following Making Type Theory, Programming Languages and Formal methods more accessible! https://t.co/g5sMaOyKHMmetameeee / sadist / .. @metameeee
817 Followers 225 Following Stream Rust and FP nonsense on twitch. Clojure by day, Rust by night. I don't agree with any of your opinions. 🏳️🌈Maxim Grankin @VeriuMaxon
39 Followers 114 Following Software Engineer at Bloomberg | opinions are my ownCraig Ferguson @_craigfe
415 Followers 225 Following software engineer @monzo. ex-@tarides_ ⛵️ https://t.co/hv7GHZBvAf 🏴🇬🇧🇪🇺 he/himÉrik Martin-Dorel @ErikMartinDorel
136 Followers 575 Following Assoc. prof. in CS (@UT3PaulSabatier, @IRIToulouse), free software maintainer. Using Coq/OCaml/Elisp/Java/Python/Docker/Bash/Git. @[email protected]Yann Régis-Gianas @yurug
1K Followers 2K Following Software engineer / Father of 3 / #tezos / #smartrollups / #ocaml / #functionalprogrammingSupergiant Games @SupergiantGames
429K Followers 43 Following Creators of Hades, Pyre, Transistor, and Bastion. Now developing Hades II. · Merchandise: https://t.co/irXk5Af05t · Discord: https://t.co/wA3owJqNiaTarides @tarides_
2K Followers 227 Following We’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫Odd Steam Reviews @OddSteamReviews
303K Followers 69 Following Steam has a lot of reviews, some of them are pretty odd. I am not @Steam or in anyway associated with @Valvesoftware and their support. @OTDinGamingNo Nonsense Neurodive.. @NoNonsenseND
27K Followers 344 Following Providing relatability, insights, & lots of memes as a staunchly pro-#Neurodiversity paradigm, Late-discovered #AuDHD+ 2e ND (He/him)Baldur's Gate 3 @baldursgate3
312K Followers 20 Following Developed by @larianstudios. Gather your party, let's play some Dungeons & Dragons. Baldur's Gate 3 is out now on PC, PS5 and Xbox Series X|S!Sabine 🐫🦀 / 'us.. @sabine_s_
4K Followers 384 Following show me OCaml | an https://t.co/8e1icJBB76 maintainer | RFC 3339 dating coach | maybe not a Sith Lord | former overqualified señor meme developer | 5€ VPS kidOCaml @OCamlLang
5K Followers 18 Following OCaml is a general purpose industrial-strength programming language with an emphasis on expressiveness and safety.Alain Frisch @AlainFrisch
163 Followers 45 Following CTO https://t.co/1C4hcew4iP, #OCaml. "Political" account: @AlainF92annie @soychotic
32K Followers 945 Following views are NOT my own . I don’t know who they belong to but they are defjntely NOT MINE!!!Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @[email protected]Christian Findlay @CFDevelop
11K Followers 4K Following #Flutter 💙 #dotnet | Agitator for improvement | Hire me for apps or routine maintenance: widget testing, CICD, package upgrades, code quality, doco, solutionsdepths of wikipedia! @depthsofwiki
889K Followers 4K Following Hello I am @anniierau Please take away my blue check! I did not ask for it!Due to my autism I always felt excluded. Especially when I didn’t understand some implicit social contract. However, with time I turned it into superpower. I’ve been excluded so many times, so every time it happens (like the whole team goes to lunch w/o me), I no longer care 😌
@ChShersh @sabine_s_ oh that's easy, when you share something that's too private for a given setting, as in inappropriate, it's oversharing. What's inappropriate? Depends on who you're talking to, where you're doing it, at what time, what you're wearing, etc, etc... so yeah, that's "easy" 👍
@lambdam_nl @ChShersh @MatthewRideout "Artisanaly" placed semicolons and brackets.
@froggopoggo8 That’s a pretty good reason to quit chess lol
@ChShersh @sabine_s_ classic 'tism oversharing
the best part about oversharing on the public Internet is that a stranger can easily turn out to be a long awaited friend
"... play guess chess with a huge calculator". There is some truth to this.
If AI becomes de facto way to do programming, I’m not sure I stay a Software Engineer 😢 I came to tech because of my passion to do this magical thing when I can turn my thoughts into something physical. Not because I wanted to play guess chess with a huge calculator 🥲
@ChShersh Glad you posted this. I have been struggling with "what's next?" for my career as a software developer of 30 years. I think the answer for me is in starting companies and use AI to accelerate that.
@ChShersh You can always become a farmer 👩🌾
@ChShersh Luchshe zhit' v gluxoj provintsi u morya!
@ChShersh As someone who enjoys the details of the job I've been thinking about this a lot. It could help us build products and enjoy craftsmanship at a higher level of abstraction though.
@ChShersh you can always sell hand crafted gluten free code
@ziademarcus you gotta admit guess chess is funny