4K Followers 3K FollowingMathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
707 Followers 2K FollowingVietnamese online store SIXMD. Goods from Vietnam to Worldwide
ۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗ ۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗ
81 Followers 1K FollowingSoftware Engineer based on 🇹🇳. Programming languages enthusiast. Scala & Haskell Enjoyer. C++ Hardcore fan.
Turns out Functional Programming isn't that hard.
115 Followers 211 FollowingCo-founder and CTO of @Superfluid_HQ. Building and using @yolc_dev for Ethereum, and Superfluid.
Love to hang around in the Haskell community, too.
1K Followers 5K FollowingSoftware Engineer, Data Scientist and ML Engineer. Research Enthusiast For NLP , CB, CC, CV and Compiler Design. Co-host at https://t.co/wEHn6eMryg
298 Followers 1K Following🥓 There's no such thing as trans, gay, or islam - stop making sh!t up.
🥓 Liberals are fascists
🥓 Globalism is tyrannical
🥓 We are not all the same
257 Followers 1K Followingканд.соц.наук., веду свой блог о контент анализе. Провожу мониторинг сми, контент-анализ текста. На работе занимаюсь любимым делом :-)
48K Followers 231 FollowingDysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
15K Followers 77 FollowingAuthor of @dhall_lang, https://t.co/YzieN4kyo2, and principal engineer at @Mercury
I'm a midwife to the hidden beauty in everything
she/her 🏳️⚧️
6K Followers 569 FollowingProgrammer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱
עזרי מעם ה' עושה שמים וארץ
217 Followers 168 FollowingPreviously lead eng./co-founder, https://t.co/M0k5aiqCAM. RT ≠ endorsement. Opinions my own.
I teach sand how to think, and I take photographs.
Haskell/Nix.
211 Followers 398 FollowingTechnology guy in London. Sucked into finance, partially chewed, not yet spat out.
Most tweets on #clojure, #scala, #haskell, functional programming, software.
1K Followers 899 FollowingEngineer, CTO at GFT Group. Google Developer Expert. Founder of Adesis Netlife, Kenobi Ventures, Chlydro. Opinions my own. Insults will be answered by ChatGPT
6K Followers 497 FollowingXebia drives digital transformation with AI, cloud, data & automation, helping firms deliver smarter, faster, and better with 5,500+ experts in 16 countries.
4K Followers 1K FollowingSecure #smartcontracts and privacy enabled #blockchain platform for developing multi-party applications. Created by @digitalassetcom