My mind cannot comprehend how so many developers play video games with an auto-save,
yet when you write code in all modern editors, you don’t have auto-commits every 15 minutes.
If F5 doesn’t do for you
git commit -am “WIP”
I don’t know what you’re doing with your life.
When people complain about modern tech and say things like “We were able to send shuttles to space with 64KB RAM”,
they usually don’t mention that 99.9% of modern developers wouldn’t understand a shit in that code.
Nowadays, developers is a much bigger bottleneck than run time.
I came up with the new network protocol TMB (Trust Me Bro).
You ditch TCP and send bytes directly to servers w/o handshakes and checksum verification.
Imagine the performance speed up!
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 🥲
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 🧡
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.
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
4K Followers 3K FollowingMathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
1K Followers 117 FollowingI tweet about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
2K Followers 236 FollowingMachine Learning Engineer at FAANG и ещё один человек уставший раньше времени. Пишу код последние 15 лет. C++, Python, Lisp, Haskell. GPG: 0xDDF291C74E000B76
4K Followers 1K FollowingFounder & CEO of @TigerBeetleDB — the distributed financial transactions database designed for mission critical safety and performance.
92 Followers 18 FollowingI'm an independent who values Honor and Loyalty. Likes finance, bio/tech, business, legal, geopolitics, and no bs. Repeatable validated facts wins me over.
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 📵
6K Followers 496 FollowingI live in a totalitarian state, teach computer graphics, and make videogames. Check out my cozy traffic sim: https://t.co/mJZZNWSU27
He/him
9K Followers 3K Following10x 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).
32K Followers 1K FollowingCo-founder https://t.co/oUwfiB6Kqj.
Sincere poster. No cynicism. Dad to two sets of twins!
Cohost @MostlyTechPod. Teacher https://t.co/m4dvIEs302.
2K Followers 628 FollowingThere'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/6DWstdv5Zf
1K Followers 1K FollowingUsed 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/kTuftY4NfU
3K Followers 298 Following🇦🇷🇸🇪🏳️🌈🖖🏼 he/they • dev with #adhd • ex @spotify @klarna • mission for 2024: make ocaml saas ready • pm for https://t.co/39s9PM83yL
3K Followers 282 FollowingI help self-taught developers solve problems with code and overcome doubt. 10+ years designing, building, and securing software and infrastructure.
47K Followers 3K Followingpractically irresistible. violently suburban. I made a jQuery plugin, gave a few talks and made a couple beats. https://t.co/6BFTpb3nXX
188 Followers 150 Followingword rotator | building for the people that are building for the web | unhinged on the inside and ergonomic on the outside | elm 🤝 gleam
455 Followers 862 FollowingRetrofuturist software mender. Host of Craft vs Cruft. Chaos Eng at Indeed. Opinions my own. Social links in pinned post while supplies last!
429K Followers 43 FollowingCreators of Hades, Pyre, Transistor, and Bastion.
Now developing Hades II.
· Merchandise: https://t.co/irXk5Af05t
· Discord: https://t.co/wA3owJqNia
2K Followers 227 FollowingWe’re an international software company that helps people and organisations use #OCaml to build safer & faster code. #OCaml #FunctionalProgramming #MirageOS 🐫
303K Followers 69 FollowingSteam has a lot of reviews, some of them are pretty odd. I am not @Steam or in anyway associated with @Valvesoftware and their support. @OTDinGaming
27K Followers 344 FollowingProviding relatability, insights, & lots of memes as a staunchly pro-#Neurodiversity paradigm, Late-discovered #AuDHD+ 2e ND (He/him)
312K Followers 20 FollowingDeveloped 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!
4K Followers 385 Followingshow 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 kid