×
You are not logged in
Bluesky Follows
cotrone.bsky.social
Follows by @cotrone.bsky.social
Flavio 🏴☠️
Registered:6 May 2023 20:27
Follow date:28 Dec 2024 02:33
👨🏼💻 Senior Software Engineer
🦥 Haskell/Elm at Scrive
♟️ First #chesspunks on this app
🏯 日本語を勉強中(N3)
🏁 On a mission to reach 2000 FIDE before 2031
Barry
Registered:1 Jul 2023 20:53
Follow date:28 Dec 2024 02:33
PhD Theoretical Chemistry. Haskell/Typescript full stack engineer at Mercury. Aspiring Gleam and Erlang programmer. Occasional content creator linktr.ee/chiroptical. Fencing enjoyer.
peterb from Tea Leaves Programming
Registered:3 Jul 2023 10:23
Follow date:28 Dec 2024 02:33
effort + coffee = software. See also @peterb@mathstodon.xyz
Mihai Maruseac
Registered:26 Apr 2023 01:47
Follow date:28 Dec 2024 02:33
Building AGI with Privacy and Security at OpenAI.
Previously: ML Supply chain security @ Google OSS Security Team (model signing, GUAC).
Previously: TensorFlow Security & OSS (@ Google)
Previously: Haskell+differential privacy+ML @ LeapYear
Arian van Putten
Registered:26 Apr 2023 14:19
Follow date:28 Dec 2024 02:33
Working on banking infra at @mercury@twitter.com
prev: @feeldco@twitter.com, @wire@twitter.com
Opinions are my own and do not reflect that of my (past) employer(s)
Clément D.
Registered:2 May 2023 18:24
Follow date:28 Dec 2024 02:33
Baking biscuits at https://biscuitsec.org, Human of Puna. SWE @ datadog
Dmitrii Kovanikov
Registered:21 Apr 2023 12:47
Follow date:28 Dec 2024 02:33
🧑💻 Senior Software Engineer at Bloomberg using C++
📽 Content: https://youtube.com/c/chshersh
All opinions are my own.
Matti Palli
Registered:26 Apr 2023 13:04
Follow date:28 Dec 2024 02:33
aka Dr. Matthías Páll Gissurarson | uncertified Haskell engineer
Leftover woman
Registered:29 Apr 2023 13:34
Follow date:28 Dec 2024 02:33
Resented 🇨🇱 ✈️ 🇳🇴 immigrant. Also a middle aged woman literally yelling to The cloud https://social.vivaldi.net/@Ro...
Alice ✨
Registered:19 May 2023 21:58
Follow date:28 Dec 2024 02:33
There’s no sense crying over every mistake. You just keep on trying ’til you run out of cake
- GLaDOS
https://welltypedwit.ch
Тsфdiиg
Registered:21 Feb 2024 02:32
Follow date:28 Dec 2024 02:33
Recreational Programming:
- http://twitch.tv/tsoding
- https://www.youtube.com/@Tsodi...
- https://www.youtube.com/@Tsodi...
⠀⢀⣰⣾⡿⣶⣿⠿⣶
⢠⣼⣿⣿⣷⣿⣿⣶⠉
⢸⣿⣿⣿⣿⣿⣿⠀⠀
🌀Anler
Registered:22 Oct 2024 13:38
Follow date:28 Dec 2024 02:33
λ is my aeroplane.
I write nonsense at anler.me
Eric Torreborre
Registered:1 Sep 2023 07:56
Follow date:28 Dec 2024 02:33
Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
github.com/etorreborre
etorreborre.blog
Avi Press
Registered:27 Jul 2023 15:04
Follow date:28 Dec 2024 02:33
Founder of Scarf (https://scarf.sh)
Board @ Haskell Foundation
Startups and open source analytics
José A. Alonso
Registered:15 Oct 2023 09:29
Follow date:28 Dec 2024 02:33
Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Homepage: https://jaalonso.github.io
Sevilla, Spain
Luc Tielen
Registered:26 Apr 2023 14:27
Follow date:28 Dec 2024 02:33
I talk about functional programming and compilers. Building a high performance Datalog called “eclair” with Haskell and LLVM.
Susan Potter
Registered:21 Jun 2023 18:43
Follow date:28 Dec 2024 02:33
Anti-fascist, anti-authoritarian, pro-privacy, pro-speech, investor, trader, polyglot software engineer (Haskell, Erlang, Scala, Nix, NixOS, F#) with a systems reliability and security focus. Recovering SRE.
https://www.susanpotter.net/
Hillel
Registered:4 May 2023 16:54
Follow date:28 Dec 2024 02:33
Formal methods, software history, chocolatiering. DMs open and happy to meet up in Chicago. Currently writing *Logic for Programmers* (out Q2 2026)
Newsletter: https://buttondown.email/hille...
Alexis King
Registered:13 Feb 2024 16:34
Follow date:28 Dec 2024 02:33
computers can be understood • she/her, ⚢ • Chicago
Edward Kmett
Registered:15 Nov 2024 15:53
Follow date:28 Dec 2024 02:33
Founder/Chief Scientist @ positron.ai
I like to write about Haskell, category theory, AI, and safety, and a whole lot of low level SIMD stuff for some reason
http://calendly.com/ekmett
http://github.com/ekmett
http://x.com/kmett
http://comonad.com/reader
JMCT
Registered:19 Apr 2023 21:14
Follow date:28 Dec 2024 02:33
Director of The Haskell Foundation, former lecturer UMD CS. Jazz, music theory, compilers, privacy and aviation, sometimes I combine them. I can also be found @jmct@types.pl I miss Yorkshire
Rebecca Skinner
Registered:26 Aug 2023 06:26
Follow date:28 Dec 2024 02:33
Programmer, Parrot Mom, Free Software Enthusiast, and author of Effective Haskell. https://www.pragprog.com/title...
Bartosz Milewski
Registered:15 Nov 2024 11:54
Follow date:28 Dec 2024 02:33
Physicist, mathematician, programmer.
"The Dao of Functional Programming"
Regularly updated work in progress. PDF on GitHub:
https://github.com/BartoszMile...
gelisam
Registered:4 Nov 2024 00:22
Follow date:28 Dec 2024 02:33
professional Haskeller
Simon Marlow
Registered:15 Nov 2024 07:29
Follow date:28 Dec 2024 02:33
I write code, delete email and forget to go to meetings at Meta, mainly on glean.software. Spare time: bikes and mountains.
Christopher Genovese
Registered:28 Oct 2024 05:36
Follow date:28 Dec 2024 02:33
Professor of Statistics & Data Science at Carnegie Mellon; high-dimensional inference and computation. Book "Probability Explained" nearing completion. Whitewater and Wilderness Paddler; Haskell, Clojure, and FP Enthusiast; and Emacs. Opinions my own.
Haskell programming language
Registered:18 Nov 2024 12:50
Follow date:28 Dec 2024 02:33
Committed to a welcoming, vibrant & flourishing #Haskell community!
Here we talk about community updates, software engineering and the joy of programming.
Find us on https://haskell.org and https://blog.haskell.org
Flora.pm
Registered:18 Nov 2024 11:35
Follow date:28 Dec 2024 02:33
Flora is a package index for the #Haskell ecosystem.
We serve the community.
Follow for development news, operational status and higher-kinded memes
Chris Penner
Registered:15 Nov 2024 19:40
Follow date:28 Dec 2024 02:33
FP and Programming languages nerd
Building the Unison Language & Unison Share
📍Victoria BC 🇨🇦
https://chrispenner.ca
Jasper Van der Jeugt
Registered:18 Nov 2024 22:22
Follow date:28 Dec 2024 02:33
I like Haskell
Alejandro Serrano Mena
Registered:19 Nov 2024 20:03
Follow date:28 Dec 2024 02:33
👨💻 Researcher @ Kotlin Evolution @ JetBrains
🧙♂️ Passionate about FP (mostly Arrow & Haskell)
📚 Author of 4 books
Jacqui Read
Registered:12 Sep 2024 12:39
Follow date:28 Dec 2024 02:32
https://jacquiread.com/
🖋️author | 🧙🏻♀️architect | 📢keynote speaker | 👩🏻🏫trainer | 💡thought-leader | 👩🏻🎓 life-long-learner | 📃 TOGAF & SABSA Certified
Grady Booch
Registered:23 Apr 2023 23:08
Follow date:28 Dec 2024 02:32
scientist, storyteller, philosopher
computingthehumanexperience.com
Andrea Magnorsky
Registered:15 Nov 2024 23:30
Follow date:28 Dec 2024 02:32
I am a Programmer I like cats, otters and llamas...
Books are awesome. Into Functional Programming and thinking about Systems.
Web: http://www.roundcrisis.com
Masto: @roundcrisis@types.pl
Poblacht na hÉireann, An Nua-Shéalainn, Airgintín agus Sasana
Andrew Harmel-Law
Registered:1 Aug 2023 16:57
Follow date:28 Dec 2024 02:32
They/them. Technical Principal at Thoughtworks UK. All opinions are my own (at least I sourced them myself) and don't reflect those of my employer.
Diana Montalion
!! Invalid Handle !!
Registered:12 Oct 2023 07:59
Follow date:28 Dec 2024 02:32
Systems, thinking, writing, software and doggos. montalion.com, mentrixgroup.com, learningsystemsthinking.com
Steve Read
Registered:16 Nov 2024 21:02
Follow date:28 Dec 2024 02:32
Technical/Solutions/Enterprise Architect, depending on what day it is. I basically do all the things. DDD, coding, leadership, testing, devops, strategy, data. I even talk to people.
Nick Tune
Registered:28 Dec 2023 20:11
Follow date:28 Dec 2024 02:32
Author of Architecture Modernization
Curator of legacy-modernization.io
Check out my DDD list to find lots of DDD people on here
- nick-tune.me
- @nick_tune@hachyderm.io
- https://www.linkedin.com/in/ni...
#legacyModernization #ddDesign
Nate Schutta
Registered:22 Jun 2023 21:22
Follow date:28 Dec 2024 02:32
Java Champion. Speaker. Author. Architecture Monkey. Storyteller.
http://ntschutta.io
Trond Hjorteland
Registered:2 Nov 2024 19:04
Follow date:28 Dec 2024 02:32
A student of open sociotechnical systems at Capra with a ghoulish sense of post-punk and a geeky interest in science and systems thinking. He/him.
#DDDesign
#SocioTechnical
#SoftwareArchitecture
trond.hjorteland.com
Black Tulip
Registered:22 Oct 2024 22:33
Follow date:28 Dec 2024 02:32
Complexity Science & Software Design PhD. Creator of residuality theory. Philosophy of Software Architecture.
LeanPub.com/residuality
Indu Alagarsamy
Registered:2 Nov 2024 20:22
Follow date:28 Dec 2024 02:32
I enjoy designing distributed systems using event-driven architecture style and DDD. I’m a Principal Engineer at CircleCI. You can find my takes on complexity at https://domainanalysis.io/
Zsófi
Registered:2 Nov 2024 18:42
Follow date:28 Dec 2024 02:32
I’m a visual thinker and solution-focused facilitator passionate about helping teams innovate. As a Product Manager and DDD advocate, I simplify complexity with diagrams and flows. I lead Hungary’s DDD community, connect people to ideas.
Chris Simon
Registered:5 Sep 2023 05:46
Follow date:28 Dec 2024 02:32
Empowering technology teams to drive business success.
On an allyship journey | Speaker | Founder | Non-executive Director
Created @contextive.tech, co-founded https://www.meetup.com/en-AU/d...
Also@ChrisSimonAu@hachyderm.io
Eoin Woods
Registered:19 Nov 2023 22:33
Follow date:28 Dec 2024 02:32
Software architecture consultant, family, software architecture, devops & security in between, trumpet and quick cars whenever I can. Also at threads/@eoinwoodz.
James Ward
Registered:29 Apr 2023 13:08
Follow date:28 Dec 2024 02:32
Just another nerd with a podcast: happypathprogramming.com
And a book:
effectorientedprogramming.com
Russ Miles
Registered:13 Nov 2024 16:51
Follow date:28 Dec 2024 02:32
Listener, learner, reader & writer; tech raconteur: founder of the Software Inklings & Co-founder of the Eastbourne Literary Festival
Michael Plöd
Registered:6 May 2023 17:26
Follow date:28 Dec 2024 02:32
Independent Tech Consultant. Regular conference speaker and author. Translator of the German edition of Team Topologies for O‘Reilly. INNOQ Fellow and Team Topologies Advocate.
Jessica Kerr
Registered:29 Apr 2023 21:48
Follow date:28 Dec 2024 02:32
Symmathecist, in the medium of code.
Software, systems thinking, observability, process philosophy, enactivism. She/her
Vlad Khononov
Registered:25 Nov 2023 09:27
Follow date:28 Dec 2024 02:32
Author of Balancing Coupling in Software Design and Learning Domain-Driven Design 🐒