David Abram 🐊 @devabram
I like to build stuff, so I build stuff. crocoder.dev Zagreb, Croatia Joined October 2014-
Tweets8K
-
Followers297
-
Following168
-
Likes14K
David Abram 🐊 retweeted
The Institute is the final line of defense against the invasion of the non-typesafe masses.
2
3
17
487
0
Download Image
David Abram 🐊 retweeted
The Institute would like to remind the general public that the "no homo" phrase originated in The Institute. It was used by our employees to warn each other about the McCarthy's manuscript. We would appreciate not appropriating an important piece of our history.
David Abram 🐊 retweeted
We at the Institute are deeply saddened to see the Scala community succumb to memetic collapse. To all Scala asylum seekers: our gates are open. Find safety in truly typesafe lands.
Reading Nix community blacklist: > BryanLunduke has been suspended on all platforms > RGBCube has been permanently banned from official spaces for harassment Enemy of my enemy, you know?
We need to up these rookie numbers. @typememetics
Get your cognitive assessment and get the department you will be assigned at @typememetics. typememetics.institute/cognitive-asse…
The CI on the project I am working on is taking about 30 mins. From now on I will be optimizing my sleep schedule around CI. 2 hours awake, pushing code and 30 mins asleep, sleeping through a CI cycle. Follow me for more Enterprise software tips.
David Abram 🐊 retweeted
@onehappyfellow @effectfully @typememetics @Aron_Adler @sudo_goreng @slimjimmy_dev @sampocino @potetm @traits_reality Croatia has a whole island of Haskellers.
FizzBuzz in Lean and Python looks the same.
FizzBuzz in Lean and Python looks the same. https://t.co/P1U5t3SGj3
David Abram 🐊 retweeted
ATTENTION: NEW OPERATIVES Welcome to the Institute. Departmental assignment is now in effect. You will be placed in one of the following divisions: RUST, ADA, HASKELL, or OCAML. Proceed immediately to MANDATORY COGNITIVE ASSESSMENT. The hyperlink is in the comments. Failure to…
I haven't slept all night because my kid was coughing, and he couldn't sleep because I was coughing all night. AMA
I'm going to an unclaimed mail auction. It's the shittiest lootbox sale. Does anyone want me to open a package for them?
Only 90's kids will understand this. youtube.com/watch?v=ApJCfe…
Does anyone a good open source messaging platform for DM / GC for end users in a SaaS?
"You will need to parse the logs to determine which user created each project."
Me & @onehappyfellow fixing Safari bugs.
GOAT @xtra_goaty
15 Followers 122 Following introducing vampfreaks - the new home of gothic industrial culture! #goth #emo #scene #horror #vamps #vampfreaks
/dev/marx 🇲🇽 @devmarx1989
120 Followers 1K Following karl/marx| antitanky| eco/post-humanist marxist| lit theory| AI supremacist| nixos| cyber-anarchist| utopian builder| Animal/Clanker Rights Matter! incelosopher
Morbid @morbid_odor
17 Followers 631 Following
retrodev⌨ @NewAgeRetroNerd
5K Followers 3K Following cs student | 21 | computer science | math | ml | data science | programming | https://t.co/dhYt8apzPi
Natalie @_PA_Smith
665 Followers 348 Following New energy advocate ⚡｜Loves mountaineering and traveling 🏔✈｜Uses innovation to promote a cleaner and greener future 🌱
Barrett @SledgeDev
3K Followers 2K Following 🦃 mobile development. Doing a lot of REACT "so called" NATIVE lately - born to native iOS development forced to react native. $2.80 MRR
Florian @fham_r
480 Followers 745 Following Writing ReScript and React (Native) for a living @cca_io
Chris Williamson @cdwilli
230 Followers 1K Following Toastmasters, computers, New College, Johns Hopkins, reading, coffee with friends, https://t.co/6oFBophEPJ, did I mention reading?
ᴛᴏʟʟʏ ( ͡° �... @tolly_xyz
1K Followers 608 Following «aut inveniam viam aut faciam» husband • dad×2 • software generalissimo • ex-teacher • ex-@tacobell (service champion) • ceo of @htmx_org • neovim btw
TryAngle @TriedAngled
311 Followers 526 Following engineer @ huawei, virtual machines, league of legends
David Love 🧳 @DavldLove
95 Followers 156 Following Wine, Wine & More Wine Please! 👣 Stepping Back Can Lead To A Better Position🧳 Climate tech...Day Trader 🗿
arturok @arturokuang
3 Followers 188 Following
The Duke of Animal Hu... @DaelonSuzuka
381 Followers 923 Following Brutal American | Cognitive Imperialist | Kojimaic Maximalist | Open Source Colonialist | Esoteric Arbyist | SWE | Shitposter
Social Use @socialuseai
255K Followers 7K Following Where Social meets AI: Exploring the future of connected intelligence
einfachmalnachdenken @mal_nachdenken_
5K Followers 5K Following Liebender Vater und Ehemann. Reflektiert. Kritisch. Lernend. Demokratie + Freiheit bedingen einander. Verhältnismäßigkeit + Empathie sind unverzichtbar.
Devendra Mandan @Devendra_Mandan
128 Followers 2K Following
aldapooh @aldapooh
18 Followers 971 Following
Roland Conybeare @RolandConybeare
53 Followers 865 Following
Kaustubha @kaustubhasutra
1K Followers 1K Following ..have no fixed thesis regarding any one subject at any given time; usually a flux of multiple positions, some, which may contradict with other held positions..
Amir @Yousef19951522
105 Followers 1K Following
Fed @Fede000f
201 Followers 6K Following
Flibidi 🤘 💸 @Azarktor
92 Followers 510 Following Amoureux de la liberté et de mon pays 🇲🇫 #JeSuisNicolas
elbo @elboanas
87 Followers 1K Following
will the real victim ... @fdondi1
846 Followers 4K Following Like/RT can mean "yes THIS" or "you sir win the Deranged Star, keep gracing our Internets but not a voting booth" To know which please have correct opinions.
Next Generation Consu... @NextGenCon21
2K Followers 5K Following We help companies apply AI and data science to real-world problems in biology, healthcare, and tech. From genomics to automation, we ship.
Ethan Stillman @estill01
1K Followers 5K Following #BuildTheFuture - 🧬 bio, 🦾 robots, 🤖 ai @celltonomy
Markus J. Q. Roberts @MarkusQ
607 Followers 723 Following I'm a {computer language (ruby|pascal| smalltalk|haskell|postscript| joy|javascript|lisp), AI, botany, chem, physics, math, biz, humor, lateral thinking} nerd
Arkfile @Arkfile_OSP
63 Followers 285 Following Zero-Knowledge Encrypted File Vault over S3 (AGPLv3) ◇ { bitcoin | monero }
lusmattg @lusmattg
17 Followers 188 Following
retrodev⌨ @NewAgeRetroNerd
5K Followers 3K Following cs student | 21 | computer science | math | ml | data science | programming | https://t.co/dhYt8apzPi
Barrett @SledgeDev
3K Followers 2K Following 🦃 mobile development. Doing a lot of REACT "so called" NATIVE lately - born to native iOS development forced to react native. $2.80 MRR
ᴛᴏʟʟʏ ( ͡° �... @tolly_xyz
1K Followers 608 Following «aut inveniam viam aut faciam» husband • dad×2 • software generalissimo • ex-teacher • ex-@tacobell (service champion) • ceo of @htmx_org • neovim btw
f4mi ‼️ @f4micom
31K Followers 1K Following 🇪🇺 - creative mess - easily attracted to rabbit holes - https://t.co/xLtn4n27L5 on youtube - @f4midotcom on telegram - https://t.co/cvEL9rmU6a / https://t.co/Izu3AKqGrw / https://t.co/VqNN71cT1G
'(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).
The Duke of Animal Hu... @DaelonSuzuka
381 Followers 923 Following Brutal American | Cognitive Imperialist | Kojimaic Maximalist | Open Source Colonialist | Esoteric Arbyist | SWE | Shitposter
Christopher C. Smith @christophcsmith
780 Followers 717 Following Albany-based software developer and historian of religions. Anarcho-mutualist.
thegeneralist @thegeneralist01
658 Followers 362 Following 17 // high schooler // i like computers and linguistics
𝒫𝑒𝓇 𝒜𝓇... @per_arneng
1K Followers 2K Following 🚀 Code Whisperer | 🧠 AI Enthusiast | 💻 Software Architect | Diving deep into the matrix of programming languages, AI and operating systems. @perarneng.bsky.
Trinaesto Prase @SvinjaPrad1d0va
220 Followers 194 Following Vidim gdje god krenem prašina se digne. Uvijek neki glasnik prije mene stigne. Je l' to moji tvitovi ruše ravnotežu? Il' je problem što nas isti snovi vežu?
sam pocino is online @sampocino
382 Followers 465 Following Weird math/CS person, any/all | private @spocino_clique
ULTRA/MAGIC @ULTRAMAGlC
2K Followers 353 Following Bending elliptic curves and constructing languages for a living. ZKP researcher. Views are my own, proofs are formally verified. 🏳️🌈🏳️⚧️ she/her
abu @LowkeyAbu
643 Followers 594 Following Mechanical Engineer, Information Security architect, CEO of @htmx_org & Sona OTP. Gaining root access to ur heart since 1997🗝️🖤
Alex Vzorov @0rca
153 Followers 119 Following Common sense and rational thinking; functional programming; learning Haskell, Elixir, Rust, Nederlands, 日本語;
johnny randomseed @DispairSoftware
228 Followers 182 Following l9 @ cic | sr director @ flip media group | jr ceo of htmx | coo @ void labs | web wizard | graphic guru | innovative icon | magical media maven
Gergely Orosz @GergelyOrosz
289K Followers 3K Following Writing @Pragmatic_Eng, the #1 technology newsletter on Substack. Author of @EngGuidebook. Formerly Uber & Skype.
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
PATRYK @__cski
1K Followers 270 Following i’m terrified of barbers | building https://t.co/VgXMcVWzpi | @roceetcom | @elocasttv
Al Mac @almac_io
263 Followers 371 Following I ❤ Software Engineering • I use: Kotlin, Java, TypeScript • I learn: Scala, Clojure • Ave Christus Rex! 🕊️👑 • 🇻🇦
decidable @fresheyeball
2K Followers 2K Following Deluxe human piñata of terrifying insight. Right leaning intellectual. Principal at @PlatonicSystems
Marcus Whelan ☦️ @whelan0kkult
983 Followers 2K Following Catholic, Freedom Lover, Illustrator, Graphic Designer, Gamer, Nerd, Game Master, Lawful-Good, Amateur Cartographer, Book Lover ( Commissions CLOSED )
Nick Blow @NickBlow
285 Followers 122 Following Wrangling agents @ https://t.co/3sLf4YnefN. Former CTO @ Wakelet. Dad to 2 children. No relation to Jonathan Blow. Implicit IMO.
Jean-Marc Alkazzi @jeanmarcalkazzi
64 Followers 84 Following How hard can it be and what could possibly go wrong? Applied AI @ idealworks.
Lewis Campbell @LewisCTech
3K Followers 385 Following Consultant: https://t.co/Z4IO3Iqi5G I do advanced testing & legacy systems. Interested in distributed systems and databases.
Kai Fall @kai_fall
8K Followers 54 Following
Pedro Tavareλ @ordepdev
959 Followers 442 Following I really try to make functions pure, one at a time. Avid reader and @pwlporto organizer.
Daniel Firth (Inspect... @locallycompact
1K Followers 773 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
Loftwah @loftwah
9K Followers 7K Following benign tech enthusiast | https://t.co/ibCWqmBMGp | https://t.co/Plcyi3rAPQ | https://t.co/vywmG6AwyG
Adrian Hesketh @AdrianHesketh
656 Followers 274 Following
qntm @qntm
21K Followers 2 Following There Is No Antimemetics Division // "Lena" (buy the book: https://t.co/Kat1kdckuQ) // Absurdle // HATETRIS // 🐋
Tom Bielecki @tombielecki
5K Followers 5K Following CTO @ Aligned Outcomes - business process digital twins for rapid holistic improvement initiatives. Past: CEO @PrintToPeer (Techstars ’15).
sabine 🐫🦀 / 'us... @sabine_s_
5K Followers 473 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 kid
FUN OCaml @FunOCaml
604 Followers 10 Following FUN OCaml 2025 is a 2 days open source hacking event dedicated to OCaml enthusiasts and professionals September 15+16, 2025, Warsaw All talks live streamed!
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.
Lukáš Hozda @LukasHozda
6K Followers 809 Following 🦀🍀 ceo of rust @BraiinsMining × building bitcoin in rust book 🍀🦀
Uğur @kugurerdem
325 Followers 234 Following software developer | technical author | philosophy and psychology enthusiast
LitFill, the Sanct @razzy_ar
261 Followers 2K Following Haskell is love, haskell is life. simple english because am might be stubid.
Matti Palli 🧙�... @tritlo
3K Followers 2K Following uncertified haskell engineer | certified researcher
Rahul Karajgikar @Road_Kill11
379 Followers 368 Following 25 - building @truffleai_ - @ycombinator W25. prev: @aws @bitspilaniindia. almost supersonic legend in @rocketleague
sin-ack @traits_reality
620 Followers 74 Following sin-ack@github. An object that sends and receives messages. Working on zigSelf: https://t.co/djGHD2LhT4Trends for United States
23,2 B posts
19 B posts
208 B posts
3.355 posts
6.071 posts
22,7 B posts
6.598 posts
1.845 posts
7.195 posts
2.530 posts
49,4 B posts
2.970 posts
2.493 posts
1.121 posts
You might like
Alliance Pro
@AllianceProIT
228 Followers
The Creator
@thecreatorac
251 Followers
Damir Badjari
@BadjariDamir
20 Followers
Arash Aghajani
@AghajaniArash
209 Followers