-
Tweets27K
-
Followers17K
-
Following131
-
Likes133
New article: Composing pure Haskell assertions. blog.ploeh.dk/2025/09/29/com…
0
0
4
879
2
#repostfriday Property-based testing is not the same as partition testing. blog.ploeh.dk/2021/06/28/pro…
It's striking so quickly the industry forgets that lines of code isn't a measure of productivity. blog.ploeh.dk/2025/09/22/its…
While you wait for your work language to get discriminated unions: Your language already has discriminated unions. #repostfriday Visitor as a sum type. blog.ploeh.dk/2018/06/25/vis…
Look, I found a real-life Tron Recognizer ship!
New article: Greyscale-box test-driven development. blog.ploeh.dk/2025/09/15/gre…
Mark Seemann retweeted
The Hedgehog project has no official website at the moment. The only official link is: 🔗 github.com/hedgehogqa For any further info, you can contact @nikosbaxevanis.
#repostfriday Against consistency. blog.ploeh.dk/2021/05/17/aga…
New article: IO is special. blog.ploeh.dk/2025/09/08/io-…
#repostfriday Name by role. blog.ploeh.dk/2020/11/30/nam…
That's the first time I've seen someone named Haskell who isn't Haskell Curry, I think.
Other readers are showing their appreciation of ploeh blog by supporting it. You, too, can do that. blog.ploeh.dk/support
New article: Song recommendations with C# free monads. blog.ploeh.dk/2025/09/01/son…
New article: Song recommendations with F# free monads. blog.ploeh.dk/2025/08/25/son…
#repostfriday Algebraic data types aren't numbers on steroids. blog.ploeh.dk/2020/01/20/alg…
New article: Song recommendations with Haskell free monads. blog.ploeh.dk/2025/08/18/son…
At IT Days 2023 in Cluj-Napoca I gave a keynote that remains topical today, so I'm happy that it's finally online: Epistemology of software. How do we know that software works? If written by LLMs? If written by people? youtu.be/bLpwNWWs5EY?si…
New article: Song recommendations with free monads. blog.ploeh.dk/2025/08/11/son…
Mark Seemann retweeted
Think AI tools like ChatGPT are always right? Think again! Mark Seemann (@ploeh) and #dotNETRocks unpack how devs must know enough to validate AI-generated code. We're still early in this #AIdev journey—so stay sharp, stay curious! Listen in. 🎧 msft.it/6012sJKM2
Greg Young @gregyoung
29K Followers 2K Following
Jimmy Bogard is on Bl... @jbogard
43K Followers 2K Following Independent consultant. Creator of AutoMapper and MediatR. Originator of Vertical Slice Architecture. https://t.co/9O8heLDce1
Isaac Abraham @isaac_abraham
7K Followers 3K Following Author of Get Programming with F# and F# in Action. NET MVP. Azure. Guitar. Tottenham. Creator of 2-line PRs. British / German.
Sergey Tihon has gone... @sergey_tihon
4K Followers 497 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Derek Comartin @codeopinion
12K Followers 219 Following 👑 Context is King 💻 Software Architecture & Design 📺 https://t.co/zMGP2Ktbn4
Kent Beck 🌻 @KentBeck
183K Followers 831 Following Programmer, coach coach, artist, pokerist, singer/guitarist. Learning to be me. Chief Scientist at Mechanical Orchard. Mastodon: @[email protected]
Zoran Horvat @zoranh75
5K Followers 59 Following Software architect and designer, development team lead, author at Pluralsight, independent consultant and trainer on software architecture
Dustin Górski @dustedcodes
5K Followers 938 Following Highly functioning organism that transforms caffeine into code. Building https://t.co/08ThYMbRPq. Also: https://t.co/Ur4PsE8IMW and https://t.co/vtH8bFTGk5.
Kelly Sommers @kellabyte
49K Followers 341 Following 🇨🇦Backend Brat. Distributed Diva. Relentless Learner.
Richard Campbell @richcampbell
28K Followers 1K Following Professional storyteller - deeply understanding the past to help describe our future! @[email protected]
Marc Gravell @marcgravell
24K Followers 780 Following C# fan; ex-MVP, ex-Microsoft, ex-Stack Overflow; author of Dapper, protobuf-net, SE.Redis, and a few other things. Doing Redis things at Redis.
Zaid Ajaj @zaid_ajaj
2K Followers 403 Following F# enthusiast, interested in all kinds of metaprogramming. I love to write and share the things I learn from experience and from others
Damian Edwards @DamianEdwards
50K Followers 1K Following Architect on .NET at Microsoft 💘 craft🍻 malt🥃 good☕ fine⌚ 🇦🇺🏏 @Mariners ⚾ @seahawks 🏈 @F1 🏎 📺 https://t.co/WWMLL5pzIL #BLM 🇺🇦
Konrad Kokosa @konradkokosa
14K Followers 5K Following AI/LLM Agents Team Lead at @nethermindeth • Pro .NET Memory book • .NET MVP • @crowdpub_org founder • one of @dotnetosorg • skeptical fan of web3 • AFOL
Oleg Kyrylchuk ✙ �... @okyrylchuk
17K Followers 661 Following I write about @dotnet | Microsoft MVP | .NET Foundation member | .NET Enthusiast Help for Ukraine https://t.co/RThb4b9MGS or https://t.co/Vu9bTo0s69
Igal Tabachnik @hmemcpy
11K Followers 532 Following Professional vibe coder. Scala / Rust 🦀 (btw) Will you halt this eclipse in me?
Ian Cooper @ICooper
9K Followers 1K Following Principal Engineer in London, speaker, tabletop gamer, geek. Tattooed, pierced, and bearded. The 'guv' on @BrighterCommand. Also @[email protected] He/him.
Team Ovis @TeamOvis
33 Followers 80 Following We’re a small indie development team working on a genetic evolution roguelike, built in F#. Save your spot in the playtest: https://t.co/ByksCtWrGT.
Saurabh Kapadia @srbhkpd
13 Followers 154 Following
Emre @Emre61310564
22 Followers 129 Following iOS Engineer @Accenture | Algorithm enthusiast | 🏀, ⚽️ lover& player
Abbas @vosoughi65072
0 Followers 31 Following
Domenica Bogisich @DBogisich17453
93 Followers 4K Following
Lasse Roslundh @LasseRoslundh
2 Followers 256 Following
Petar Karakostov @PetarKarakostov
1 Followers 31 Following
David Jamison @DavidJa47442989
2 Followers 20 Following
reza @__reza1
0 Followers 15 Following
Lars Strojny @lstrojny
844 Followers 2K Following @[email protected] Short-term pessimist, long-term optimist.
Byron Varberg @byronvarberg
128 Followers 272 Following
Lean Into Fear @LeanIntoFear
0 Followers 162 Following
UsernameShouldNeverBe... @C85349138
14 Followers 23 Following
Antti Holvikari @antti
325 Followers 263 Following
Ian @IanStockport
442 Followers 1K Following I not expecting to need it, @[email protected] at the other place. Also https://t.co/D5j5CrVzj3
Chagharu @chagharu
214 Followers 2K Following Likes lots of different stuff - utterly fickle, but currently into eating fine food, playing with technology, and learning new things...
Plolui @Plolui9227
15 Followers 920 Following
jasalt @jasalt_
81 Followers 114 Following Programming 🐧🐘🐍☕. Inspired by functional, data-oriented and event-driven systems. Phel (PHP lisp) contributor.
ek @mrhkzltn
1 Followers 27 Following
T4D4∞🦀 @0xt4d4
1K Followers 4K Following タダです Rust/ID/DevOps周りに興味があります 推しチェーン：#InternetComputer 不定期更新：https://t.co/ctmmYEzFDM, https://t.co/jeBKY6gIkb mixi2:https://t.co/gAIywPvlny
Srivatsa Chakravarthy @srivatsamath
457 Followers 493 Following Math researcher working in Random Walks on Groups
Gabor Csizmadia @g_csizmadia
1 Followers 73 Following
λ @lambda_functor
886 Followers 8K Following
suleman @suleman584493
12 Followers 12 Following
Juan Carlos Reyes C @JuanCReyes1991
37 Followers 892 Following
SpeakEZ.tech @SpeakezTech
22 Followers 113 Following Deep tech (4 patents) fusing #HPC, #AI & #PQC. Hardware-software fusion for CPU, #GPU, #TPU, #FPGA, #CGRA & neuromorphic in our Fidelity framework. #fsharp
Accounting @Lipimpim45
2 Followers 53 Following
Swift for Pirates @SwiftForPirates
2 Followers 13 Following Exploring the open seas of iOS development with Swift
Musharaf @sarafa_j
2K Followers 2K Following Software Engr. 💻 | Testnets Strategist | I only share what i have tested | Building @MagnetXDao
Chase Saunders @MaineFrameworks
521 Followers 126 Following Databases. Software Development. Diseconomies of Scale.
Neil Daitz @neildaitz
7 Followers 26 Following
Majid Jamali @jamali_si
6 Followers 72 Following
Paweł Kasperek @PaweKasperek1
10 Followers 172 Following
Maria Robertson @maria_roberston
1K Followers 7K Following Forbes 30 Under 30 ❤️12 Million Followers 🌎8-Figures Adviser & Partner👇Success
Hak Chandara @sec_Littleboy
17 Followers 574 Following Figuring out how to protect networks while fueled by coffee. ☕ | Management Information Technology student & InfoSec enthusiast.
Nick @Nick31298367
1 Followers 42 Following
Markdown Monster @MarkdownMonstr
527 Followers 164 Following Markdown Monster wants to chew on your Markdown. An easy to use and extensible Markdown Editor and Weblog Publisher for Windows.
agnikobi @agn1k0bi
3 Followers 56 Following
Rig @ritt_sh
9 Followers 127 Following
Pensé FFun @inftyCategory
133 Followers 7K Following
Greg Young @gregyoung
29K Followers 2K Following
Martin Fowler @martinfowler
354K Followers 181 Following Author on Software Development. Works for Thoughtworks. Also hikes, watches theater, and plays modern board games. He/him.
Tim Ottinger @tottinge
32K Followers 725 Following Technically adept, practical, a good communicator, ethical, and committed to team development and personal growth. @IndustrialLogic & @ModernAgile.
Kent Beck 🌻 @KentBeck
183K Followers 831 Following Programmer, coach coach, artist, pokerist, singer/guitarist. Learning to be me. Chief Scientist at Mechanical Orchard. Mastodon: @[email protected]
Richard Campbell @richcampbell
28K Followers 1K Following Professional storyteller - deeply understanding the past to help describe our future! @[email protected]
Inactive; Bluesky is ... @hillelogram
18K Followers 3 Following No longer on this hellsite. Newsletter: https://t.co/YrRPK2p8Pc Website: https://t.co/gePEeYpVcd Bluesky: @hillelwayne(.)com
Igal Tabachnik @hmemcpy
11K Followers 532 Following Professional vibe coder. Scala / Rust 🦀 (btw) Will you halt this eclipse in me?
Jeppe Cramon @jeppec
1K Followers 486 Following Autonomous Components, microservices, DDD, CQRS, EDA, EventModeling. RT does not equal endorsement.
carlfranklin @carlfranklin
14K Followers 195 Following Follow me on BlueSky at https://t.co/Xna4EwHbYe and on Mastadon @[email protected]
Stefan Tilkov @stilkov
12K Followers 694 Following CEO/Principal Consultant at INNOQ, he/him, software architect, RESTafarian, conference tourist. Works at https://t.co/IJ1t5hbv9K. Fediverse: @[email protected]
☕ J. B. Rainsberger... @jbrains
12K Followers 776 Following (he) Swede in a Canadian body. Pro 5-pin Bowler. Trusted adviser to software professionals. Barista. Friend. Never blue check. https://t.co/bUTUiacwTi | https://t.co/RJiohbW2yH
Titania McGrath @TitaniaMcGrath
730K Followers 977 Following Activist. Healer. Radical intersectionalist poet. Nonwhite. Ecosexual. Pronouns: variable. Selfless and brave. Buy my books.
Bobby Woolf @bobby_woolf
223 Followers 28 Following #IBM, #IBMCloud, #RedHat, #OpenShift, #Kubernetes, #Istio, #microservices; co-author of #EnterpriseIntegrationPatterns
Christina @MyVignette
4 Followers 38 Following
ARCHIVED - NASA's Per... @NASAPersevere
3.0M Followers 39 Following This account has been archived. Follow @NASAMars to get the latest updates on the Perseverance rover’s mission.
Tyson Williams @tyson_mn
60 Followers 6 Following I am a software engineer with a passion for creating correct and maintainable code using functional programming.
Alexis King @lexi_lambda
12K Followers 22 Following computers can be understood • DMs open (but responsiveness varies) • she/her, ⚢
Rune Ibsen @runeibsen
88 Followers 64 Following Software architect and developer. Founder of Copenhagen Software. Startup investor. Hedonist.
Lone Frank @Lone_Frank
6K Followers 103 Following Writer, podcaster, public speaker and science journalist with a past in neuroscience and interests all over the place.
Adam Warren @EmpoweredComic
20K Followers 1K Following Freelance writer and artist. Creator of the ongoing 'sexy superhero comedy' series EMPOWERED, published by Dark Horse Comics and now serialized as a webcomic.
NASA New Horizons @NASANewHorizons
354K Followers 68 Following This account is no longer active. Follow @NASASolarSystem for the latest on NASA's New Horizons mission.
NASA's Juno Mission @NASAJuno
674K Followers 42 Following Exploring Jupiter. Follow @nasasolarsystem for the latest updates. https://t.co/JiPbU9xbvc | https://t.co/pWwmhgPcsz
Gerald Weinberg @JerryWeinberg
10K Followers 46 Following Jerry is Prize-Winning Author of 80 books, International Consultant, Speaker, Teacher, Expert & Coach in all phases of S/W Engineering. Founder of AYE Conf
Christin Gorman @ChristinGorman
3K Followers 434 Following An enthusiastic programmer who likes to make stuff, learn stuff and argue about everything. Works at @Kodemaker
Olivier Orand @OrandOlivier
351 Followers 12 Following H+ : https://t.co/dd7H4hNKXi Human : https://t.co/mCrJvmk2Kl Human Live : https://t.co/JCoJMY04uV Related : https://t.co/aJK2YZITiF
Adam Tornhill @AdamTornhill
5K Followers 1K Following Programmer, psychologist, Lisp hacker, author and speaker. Founder of https://t.co/Cw359XX7ac
Iris Classon | Author... @IrisClasson
24K Followers 2K Following Software developer & Microsoft .NET MVP. Crazy passionate about programming & the developer community. Mother (👶👶), speaker, author & ex-Dietitian
Mathias Brandewinder @brandewinder
3K Followers 0 Following Figuring out things, one model at a time. F# globe-trotter. https://t.co/pvFE4OP1wh
The F# Show @fsharpshow
550 Followers 46 Following A podcast dedicated to F#. Hosted by @troykershaw
Suntrip Records @SuntripRecords
896 Followers 322 Following Franco-Belgian record label releasing goa-trance, ambient and melodic psychedelic trance, since 2004!
ARCHIVED - Curiosity ... @MarsCuriosity
4.1M Followers 53 Following This account has been archived. Follow @NASAMars to get the latest updates on the Curiosity rover’s mission.
ARCHIVED - NASA Voyag... @NASAVoyager
851K Followers 50 Following This account has been archived. Follow @NASAJPL & @NASASolarSystem to get the latest updates on Voyager 1 & 2, the longest operating spacecraft in deep space.
NASA Solar System @NASASolarSystem
3.0M Followers 138 Following Join us as we explore the worlds of our solar system.
ESA Rosetta Mission @ESA_Rosetta
379K Followers 113 Following ESA spacecraft that studied Comet 67P/Churyumov-Gerasimenko & sent @philae2014 to its surface. Mission completed 30 Sep 2016. Follow @esascience for latest news
Proctor @stevenproctor
1K Followers 3K Following Software Developer in the Dallas/Fort Worth Metroplex. Founder of @dfwerl and host of @fngeekery
Craig Andera @craigandera
3K Followers 3K Following Principal Engineer @kevelapi. #Clojure programmer and fan. MIT-educated maker and learner, chronicling and podcasting at https://t.co/uMj4pFnLBg.
Evelina Gabasova @evelgab
4K Followers 737 Following Principal Research Data Scientist @turinginst, member of @turinghut23, VP @ResearchSoftEng
정진욱 @jinwook_chung
21 Followers 48 Following
Adam Chester @adamchester
467 Followers 597 Following I make software. More recently, engineering management.
Adam Ralph @adamralph
3K Followers 330 Following software simplifier · @ParticularSW (soon @DuendeIdentity) · speaker · OSS maintainer · MS MVP · this account used for professional and OSS purposes
Mikael Helldén @MikaelHellden
335 Followers 677 Following One of God's own prototypes. Some kind of high powered mutant never even considered for mass production. Too weird to live, and too rare to die.
Bertrand Meyer @Bertrand_Meyer
4K Followers 219 Following Software engineer (theory and practice). Author, consultant, professor, project manager.
Kathrine Holte @flying_surgeon
2K Followers 227 Following MD, DMSc. Trauma and humanitarian surgeon. Surgery in war and conflict zones. English/Danish #globalsurgery
Rush @rushtheband
285K Followers 74 Following Prog-rock trio composed of Geddy Lee, Alex Lifeson, and Neil Peart. Otherwise known as the Holy Triumvirate.
Nik Molnar @nikmd23
4K Followers 696 Following Just trying to find my way, Architect at @Microsoft, ⚾ ballplayer, 🃏🎲 gamer, lover of the web, chef 👨🍳
Anthony @anthony_vdh
2K Followers 325 Following Building developers tools and services @Microsoft/@GitHub (Director for Codespaces and npm)Trends for United States
44,8 B posts
84,1 B posts
103 B posts
6.019 posts
36,2 B posts
4.235 posts
35,5 B posts
7.905 posts
6.266 posts
10,4 B posts
44 B posts
9.857 posts
5.953 posts
3.396 posts
7.003 posts
7.312 posts
1.567 posts
11,4 B posts
10,2 B posts
4.900 posts
You might like
Mads Kristensen
@mkristensen
34K Followers
David Fowler
@davidfowl
140K Followers
Scott Wlaschin
@ScottWlaschin
11K Followers
Aaron Stannard
@Aaronontheweb
7K Followers
Greg Young
@gregyoung
29K Followers
James Newton-King ♔
@JamesNK
40K Followers
Erik Meijer
@headinthebox
31K Followers
Fable Compiler 🇺�...
@FableCompiler
3K Followers
Vaughn Vernon
@VaughnVernon
25K Followers
Udi Dahan
@UdiDahan
17K Followers
Tomas Petricek (find ...
@tomaspetricek
9K Followers
Kurrent
@kurrent_io
5K Followers
@ardalis.com on BlueS...
@ardalis
25K Followers
Chris Patterson
@PhatBoyG
4K Followers
Oren Eini
@ayende
14K Followers