Michael Newton @mavnn
Note: this account is publish only these days, but you can talk to me on mastodon at https://t.co/fjO4SHQwEl blog.mavnn.co.uk Joined June 2009-
Tweets10K
-
Followers641
-
Following216
-
Likes723
🎥 Lambda Days 2024 talk recording is now available! @mavnn dives into how types and functional programming techniques can support the ADHD brain. He shares his personal experience, showing how certain programming paradigms can help manage ADHD challenges and enhance software development. 🔗 Watch now: youtu.be/DG5gLPFKcbk 🎟️ 2025 tickets: lambdadays.org
For those of you at my @LambdaDays talk on #adhd, I'm aware the link on my final slide to the references was long and hand written. So here it is again :) blog.mavnn.co.uk/2024/05/17/adh…
Live stream here at "Software You Can Love" about to kick off. I'm not on until tomorrow, but lots of good talks happening today as well! sycl.it
Episode 91: Comparing @fsharporg, @elmlang, and @HaskellOrg with @mavnn! 🎉 pod.link/1602572955/epi…
Well, will you look at that. It's a blog post in which I start making a web app look smart and be user friendly with a combination of server side HTML generation in #fsharp and #htmx . Get it while it's hot at blog.mavnn.co.uk/2024/03/19/dev… (part 6 of the series for those following)
Why understanding human cognition matters in tech? Join Michael on a journey through #accessibility tools for the ADHD brain in #SoftwareDevelopment. Details ➕ tickets: lambdadays.org #functionalprogramming #lambdadays
Hey #fsharp🦔 folks, we've been at it for over a year, pushing boundaries and making things happen🤘. Reality check: cool stuff costs money. So, we’ve set up our open collective here: opencollective.com/amplifying-fsh…. Your support can really make a difference🚀
Oops. Left off an #fsharp tag :D. Anyway, the tweet above is about a round of improvements on an F# code base.
The internal quality of a code base is the properties of that make it "easier for humans changing the codebase correctly". Showing that process is one reason I wanted to write a journal, rather than a series dissecting an existing code base. Let's do it: blog.mavnn.co.uk/2024/03/09/dev…
Also, I am currently the world's only expert in the "julienned domain sandwich" architecture style, so you should probably hire me to help you implement it in your project.
We've arrived! An example of #eventSourced user management in #fsharp using #marten awaits you in the newest post in my dev journal series: blog.mavnn.co.uk/2024/03/05/dev… A website that users can sign up for and log in to. Exciting stuff.
The latest PR to CalDance adds logging in/out of the website with event sourced user data stored in #postgres via #marten Today is about hooking up all the machinery and making sure the dev UX stays nice: next week, we talk event sourcing. blog.mavnn.co.uk/2024/03/01/dev… #fsharp
If you know me at all, it probably won't surprise you I have _opinions_ about #adhd and about programming techniques. #tdd is one of the techniques I have opinions about. blog.mavnn.co.uk/2024/02/21/adh…
I'm currently available for short term consulting work. Things I can do for you range from architecture & technology strategy through online training workshops for developers and into just paying me to write good code™. All the details at blog.mavnn.co.uk/2024/01/29/sho… #fsharp #dotnet
Time for dev journal post 3: adding a simple end to end test to our project that uses the actual #fsharp webserver container that will be deployed so that we discover bugs before our users. Or our blog readers, for that matter! blog.mavnn.co.uk/2024/02/20/dev…
If you're interested in #FunctionalProgramming, #typescript, or both - please share. I think the techniques in this post can really make writing TS a lot more enjoyable, and the results more reliable.
I may have got a bit carried away writing a blog post presenting both a really practical way with a nice developer experience of handling asynchronous operations that might fail in #typescript... and a "write your own monad in TypeScript" tutorial. blog.mavnn.co.uk/2024/02/19/do-…
Ah, yes - I'm speaking at Lambda Days in May & they've made me a snazzy banner. If you're interested in "Types and other techniques as an accessibility tool for the #adhd brain" (or other #FunctionalProgramming related stuff), early bird tickets are out lambdadays.org/lambdadays2024…
Dev journals 2: Today we use #nix to make sure the project gives everyone the same version of the Fantomas. Then we use it to capture the dependencies between our code and an #fsharp test project, so that CI run the tests while building the docker image. blog.mavnn.co.uk/2024/02/06/dev…
Sergey Tihon has gone... @sergey_tihon
4K Followers 515 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
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.
Rick @rickasaurus
10K Followers 3K Following Information persistence hunter extraordinaire. 2x Dad, AI Guy, FP Enjoyer, Math for Fun, Tech Leadership. My views do not represent my employer.
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Jordan Marr @jordan_n_marr
1K Followers 459 Following Here for F# and 😾 pics. Software dev at Symetri.
Compositional IT @compositionalit
2K Followers 232 Following We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
Dan Clarke 🎙 @dracan
4K Followers 2K Following 👉 Links to all my socials, the podcast, newsletter, YouTube, courses, blog, and more. can be found on my personal website: https://t.co/2EKxnr4ZeO
Ben Wright - Gone for... @ChthonicQueex
221 Followers 312 Following Off twitter for good. It's run by a batshit Nazi sympathiser and protects openly Nazi accounts. Avatar & banner: @felflowne
🇺🇦 John Azariah... @johnazariah
2K Followers 4K Following He/Him · @[email protected] · @[email protected] · https://t.co/7g7GxM6sxY · Meeanjin // Views are my own
Mike Hadlow (also on ... @mikehadlow
3K Followers 468 Following Software guy, blogger, author of EasyNetQ, AsmSpy and Guitar Dashboard. Technology, science, history and music geek. Lover of 70's prog rock, Tintin and Lego.
Aaron White (Appy.ai) @aaronwhite
6K Followers 3K Following Everyone on your team needs an AI Chief of Staff, and good news: @appy_ai is exactly that. CEO @Appy_AI CMU CS '03 Exeter '99
Tomasz Heimowski @theimowski
763 Followers 286 Following Programmer, interested in F# and functional programming in general
Stachu Korick @StachuDotNet
1K Followers 731 Following Building @darklang. My name backwards is uh cats.
Jacqui Peterschmidt @captain_jaq
67 Followers 172 Following
Ashley McGill @ashleymcgill779
3 Followers 78 Following I am woman who is looking for the perfect man who will be with me forever 🌹
Brian J. Cardiff @bcardiff
627 Followers 306 Following https://t.co/pLzn7xe4of | 🇦🇷 Developer, Teacher, Swing/Blues dancer and ... - https://t.co/RtHNOqZFtP
andrew_dean @andrew_dean
68 Followers 2K Following
camtrader @camtrader
62 Followers 2K Following
Yang Qu @defineyaq
3 Followers 83 Following
Pietro Peterlongo @pietroppeter
520 Followers 1K Following Data Scientist @ https://t.co/dXhEGSZrMV 🏄♂️ @PythonMilano and PyData Milan 🧡💙💛 https://t.co/0kuxrKz5Lj 🐙 #python 🐍#nim 👑 #... @[email protected] 🐘 he/him
Luca Zulian @luca_julian
606 Followers 1K Following software developer • escape meta alt control shift • he/him • 𝜆𝑥.𝑥 • creating tech debt one LoC at a time
TwoForSeven @TwoForSeven
45 Followers 427 Following
jiangplus @jiangplus
676 Followers 3K Following Software Engineer, Elixir Programmer, @SocialLayer_im
Lambda Days @LambdaDays
3K Followers 984 Following 📅 Lambda Days will take a break in 2026. Celebrate with us functional languages! 🦋We're on other platforms too📅
Antonio Cangiano @acangiano
5K Followers 2K Following Engineering Manager and #AI Specialist at #IBM • Author • Tech Instructor • Italian teacher • Tweets are my own.
Artem Kozin @amfier
98 Followers 503 Following
Edgar González @edgarfsharp
439 Followers 332 Following F# OSS contributor. Helping the F# ecosystem through the @amplifyfsharp initiative.
Daniel Jabłoński �... @openclue
25 Followers 361 Following
Tomas Jansson @TomasJansson
1K Followers 1K Following Principal Software Engineer at Elkjøp Nordic, previously VP engineering at Unacast and consultant for 10 years. F# enthusiast, Puluminary, former Microsoft MVP
Russell Dillin @rastreus
592 Followers 4K Following I write code for a living, and I enjoy playing video games.
Dave Cook @dcook_net
242 Followers 91 Following Software Engineer, snowboarder, home baker and tired farther...
Johnil Quezada @JohnilQuezada
26 Followers 108 Following
Anand Shah @apscomp
289 Followers 5K Following PolygamIT, Stacktant, Connector, Reifer, open.source...
Karan @desizuckerberg
397 Followers 1K Following
Joaquin @joakin
179 Followers 186 Following
ProScala Podcasts @proscala
77 Followers 2K Following #functionalprogramming, #scala. Supports ProScala Podcasts authored by Csaba Kincses @kincsescsaba https://t.co/ucreiZtv0b
Kristine Horn @krinhorn
39 Followers 320 Following they/she | accessibility @ NoRedInk 🦇 @[email protected]
Mike Hadlow @mikeatvendr
0 Followers 31 Following
Graham Allan @Grundlefleck
417 Followers 338 Following Software developer working remotely from a cosy home office in Scotland. ex-@stedi, ex-TIM Group.
Matt Williams @ickle_matt
163 Followers 1K Following Software developer/architect, sailor, husband, and father to two strange children. Continuously learning better ways to help software teams deliver value.
Fuzzy Cloud @FuzzyCloud_In
44 Followers 213 Following Fuzzy Cloud is a team of highly skilled & passionate software professionals who deliver your dream at your doorsteps.❤️ #rust #fsharp #typescript #fp #cloud
Teenage Perkbag baybe... @perkee
318 Followers 691 Following I once sold shirts at an upstate Macy’s
Hammondal @CandleIsles
157 Followers 373 Following Hammondal: Light of the Candle Islands. A fantasy city project by S. John Ross (he/him). 🏳️🌈 Parked account.
Christopher Graves @asdfdelta
515 Followers 929 Following Principal Architect @ big ecommerce @[email protected]
panesofglass @panesofglass
25 Followers 124 Following
Kirk @KirkCodes
2K Followers 640 Following Likes writing long blocks of code on the beach. Typescript, F#, Elm, SQL, Haskell, Python, C#, it's all cool really. https://t.co/DDfN7mgQOa He/They
Sergey Tihon has gone... @sergey_tihon
4K Followers 515 Following I've gone to BlueSky: https://t.co/8P6Lb455s0
Scott Hanselman 🌮 @shanselman
333K Followers 10K Following VP, Member of Technical Staff @ MSFT/GitHub - Code, OSS, STEM, Beyoncé, T1D, #DevRel YouTube/TikTok and listen to the @Hanselminutes tech podcast
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.
Miguel de Icaza ᯅ�... @migueldeicaza
99K Followers 6K Following Fun Stack Vibing. Started Xamarin, Mono, Gnome; was MSFT/.NET/Xamarin/Mono/VSMac/AI https://t.co/QkbDDWMXRf @migueldeicaza.bsky.social
Rick @rickasaurus
10K Followers 3K Following Information persistence hunter extraordinaire. 2x Dad, AI Guy, FP Enjoyer, Math for Fun, Tech Leadership. My views do not represent my employer.
Scott Wlaschin @ScottWlaschin
11K Followers 2K Following I believe that solutions emerge from the judicious study of discernible reality. @ScottWlaschin on fosstodon and bsky
Greg Young @gregyoung
30K Followers 2K Following
Compositional IT @compositionalit
2K Followers 232 Following We believe in functional solutions for everyday software - bespoke software development and consultancy, and F# and Azure training, coaching and consultancy.
Tomas Petricek (find ... @tomaspetricek
10K Followers 928 Following Assistant prof @matfyz. Interested in new ways of thinking about programming and history & philosophy of computing. Previously at @UniKentComp and @Cambridge_CL
Don Syme @dsymetweets
11K Followers 37 Following Find me elsewhere. https://t.co/H8XqNJyMcO https://t.co/U1RG0DBd3Z
Bartosz Milewski @BartoszMilewski
36K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
🇺🇦 John Azariah... @johnazariah
2K Followers 4K Following He/Him · @[email protected] · @[email protected] · https://t.co/7g7GxM6sxY · Meeanjin // Views are my own
Mike Hadlow (also on ... @mikehadlow
3K Followers 468 Following Software guy, blogger, author of EasyNetQ, AsmSpy and Guitar Dashboard. Technology, science, history and music geek. Lover of 70's prog rock, Tintin and Lego.
Aaron White (Appy.ai) @aaronwhite
6K Followers 3K Following Everyone on your team needs an AI Chief of Staff, and good news: @appy_ai is exactly that. CEO @Appy_AI CMU CS '03 Exeter '99
Erik Meijer @headinthebox
36K Followers 0 Following
Kristine Horn @krinhorn
39 Followers 320 Following they/she | accessibility @ NoRedInk 🦇 @[email protected]
Johnil Quezada @JohnilQuezada
26 Followers 108 Following
Graham Allan @Grundlefleck
417 Followers 338 Following Software developer working remotely from a cosy home office in Scotland. ex-@stedi, ex-TIM Group.
Chris Bryant @RhonddaBryant
329K Followers 2K Following Minister for Trade and Labour MP for Rhondda and Ogmore
Dani Donovan 👩🏻... @danidonovan
125K Followers 2K Following 🎨 ADHD creator 🎤 Keynote speaker 📚 Author + designer of “The Anti-Planner: How to Get Sh*t Done When You Don’t Feel Like It” ✨https://t.co/CGtUcMRepp✨
Robert Saunders @redhistorian
41K Followers 1K Following Author of "Yes to Europe! The 1975 Referendum & Seventies Britain". "A jaw-dislocating page turner"(Andrew Marr). Co-director @MileEndInst, Reader @QMHistory
Ian Livingstone @ian_livingstone
30K Followers 2K Following Co-founder Games Workshop, Fighting Fantasy, HIRO Capital, BGI, Livingstone Academy. Ex-chair Eidos/Sumo. Dubbed 'Patient Zero for epidemic of UK geek culture'
Hammondal @CandleIsles
157 Followers 373 Following Hammondal: Light of the Candle Islands. A fantasy city project by S. John Ross (he/him). 🏳️🌈 Parked account.
Adam Wagner KC @AdamWagner1
114K Followers 4K Following Barrister @DoughtyStreet. Chair @EachOtherUK. Author #EmergencyState. Views my own not of Doughty Street Chambers.
Auschwitz Memorial @AuschwitzMuseum
1.4M Followers 2K Following Former German Nazi concentration & extermination camp Auschwitz. Official account. We commemorate victims, educate about history & preserve the authentic site.
panesofglass @panesofglass
25 Followers 124 Following
Ryan Haskell @HeyRyanHaskell
921 Followers 2 Following Professional @elmlang engineer sharing https://t.co/b81Kk5bYhn, free learning resources, and developer tooling! (🦋 Moved to https://t.co/N3Jctmm8L3)
Kirk @KirkCodes
2K Followers 640 Following Likes writing long blocks of code on the beach. Typescript, F#, Elm, SQL, Haskell, Python, C#, it's all cool really. https://t.co/DDfN7mgQOa He/They
N26 @n26
77K Followers 23 Following Questions about your N26 account? Find the best way to reach us at https://t.co/JcOVWVOmmy, we're here to help. Imprint and privacy policy: https://t.co/0QDDI3y5bn
Prof. Christina Pagel... @chrischirp
174K Followers 892 Following Prof Operational Research @UCL_CORU, . Member of @independentsage. only posting now at chrischirp at bluesky. https://t.co/nNW5zMenx2
Prof. Devi Sridhar @devisridhar
269K Followers 488 Following Professor & Chair of Global Public Health, Edinburgh Uni. Director of @GlobalHealthGP. Visiting faculty, Univ of Miami. Level 3 Personal Trainer. Views own.
Amanda van Mulligen �... @AmandavMulligen
5K Followers 3K Following Now on BlueSky https://t.co/Z7gcMTADT3
Matthew Griffith @mech_elephant
1K Followers 1K Following Principal Engineer at https://t.co/Be3omjovsa. Author of elm-ui, vendrinc/elm-gql, elm-codegen, elm-optimize-level-2, elm-markup, and elm-animator. Whew! He/Him
Ben Ault @Ridgedasher
14 Followers 42 Following Musician, MA Researcher, and general geek! Check out my music over on YouTube and all 'good' music streaming services!
Blissfully @BlissfullySaaS
358 Followers 103 Following Blissfully gives you the visibility and tools to take control of SaaS across your organization.
ento @ento
365 Followers 197 Following Radically open-minded neurodivergent | Type 5 | Software engineer | Yellowish
Renee(she/her) BLM�... @TremLab
169 Followers 473 Following Backend developer. Comic/film geek. knitter. #StocktonOnMyMind
Kevin Kulp (@kevinkul... @KevinKulp
3K Followers 2K Following Shiftwork consultant, writer, ENNIE award-winning game designer, storyteller, & BBQ guy; some of these tie together. Crappy shark movie enthusiast. He/him.
michaelglass.grift @michaelglass
674 Followers 1K Following he/him. retweets=my employers endorsement ҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒̓̕҈̒
Marc Lipsitch @mlipsitch
197K Followers 2K Following This place is getting more sinister, maybe on my way out. Director @CCDD_HSPH Tweets in personal capacity. Didn’t pay for blue check
Risus: The Anything R... @RisusRpg
253 Followers 2 Following Tweet-sized tidbits for the world's huggiest tabletop roleplaying game, by @SJohnRoss. #RisusRPG
Anthony Barnett @AnthonyBarnett
8K Followers 3K Following Writer; co-founder, openDemocracy; TAKING CONTROL! and THE LURE OF GREATNESS. Also @[email protected] Articles at https://t.co/QA8yVB2TTP
Led By Donkeys @ByDonkeys
908K Followers 1 Following Art, activism and accountability 🐴. All our work is funded by the public, no big donors. Become a supporter or buy our new book, link below👇. DMs open 📩
Emily Short (no longe... @emshort
12K Followers 1K Following I am no longer using Twitter regularly - contact me via https://t.co/B9bXdfrx62 if you need to be in touch.
BBC Reality Check @BBCRealityCheck
76K Followers 60 Following This account is no longer being updated. Our fact-checking journalism continues at https://t.co/s2iUYpBMq0 You can get #BBCRealityCheck posts on @BBCNews
Katie ✨ @glitteringkatie
624 Followers 924 Following friendly neighborhood software engineer by day ✨ she/her
Blue Skies Muskrat @muskrat_john
16K Followers 1K Following Not here anymore. Find me elsewhere: Blusky, preferably.
Brian Hicks (bytes.zo... @brianhicks
1K Followers 124 Following not here anymore. Find me at https://t.co/oaMHJmJ9LU or bluesky.
Dr Ian Paul @Psephizo
8K Followers 2K Following Writer, blogs at https://t.co/ei2vTAJd0C, theologian, Mging Ed Grove Books, Gen Syn, ABs Coun, slave of Christ, husband, father, dog owner, gardener, chocoholic
Piotr Murach @piotr_murach
587 Followers 350 Following Humanoid form powered by unconventional electronic circuits, overcharged with ideas that strives for sublime implementation of software engineering principles.
Michael Hadley @mikethadley
112 Followers 391 Following TODO: Insert clever bio here. Mastodon: @[email protected]
Evan Czaplicki @evancz
16K Followers 68 Following Creator and developer of @elmlang Reading highlights at @power_studies
Juan Edi @juanedi
272 Followers 556 Following
Aaron Strick @strickinato
239 Followers 462 Following Currently: Interactives Developer @brilliantorg Formerly: @fictiv, @recursecenter, @noredink (he/him) 🐐💨💨☠️You might like
