4K Followers 3K FollowingMathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
705 Followers 2K FollowingVietnamese online store SIXMD. Goods from Vietnam to Worldwide
ۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗ ۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗۗ
77 Followers 1K FollowingSoftware Engineer based on 🇹🇳. Programming languages enthusiast. Scala & Haskell Enjoyer. C++ Hardcore fan.
Turns out Functional Programming isn't that hard.
114 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
256 Followers 1K Followingканд.соц.наук., веду свой блог о контент анализе. Провожу мониторинг сми, контент-анализ текста. На работе занимаюсь любимым делом :-)
43K Followers 206 FollowingDysfunctional Programming account #1. Senior SWE at Bloomberg. I write C++ for money. ex-Haskell, ex-OCaml. All opinions are my own.
15K Followers 76 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 547 FollowingProgrammer, economist, author, speaker, weight lifter, Bitcoin enthusiast. Born in 🇺🇸, living in 🇮🇱
עזרי מעם ה' עושה שמים וארץ
881 Followers 421 Followingプログラミング言語,人に優しい技術・ツールがすきです.主にアプリ開発などのお仕事をしています.修士 (帰納法回し学) です.計算機科学と数理論理学と ML の型システムと Standard ML のファンです.Nominal Sets 完全理解したい.PGP 鍵: https://t.co/CWBf0YSHGf
216 Followers 169 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.
213 Followers 400 FollowingTechnology guy in London. Sucked into finance, partially chewed, not yet spat out.
Most tweets on #clojure, #scala, #haskell, functional programming, software.
1K Followers 896 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