Cats-as-Code @catsascode
Typed Functional Programming Joined December 2020-
Tweets135
-
Followers153
-
Following614
-
Likes67
"System design is a fundamentally recursive process, including a decompositional phase which identifies components and their requirements and a compositional phase of integration and testing." Compositional Models for Complex Systems by Breiner, Sriram & Subrahmanian 2019
The ACT conference is in full swing! Check out the program here: cl.cam.ac.uk/events/act2021/ @wires_wires will be talking about @statebox categories from 4pm CEST onwards 😎😎
Time-lapse footage of neurons growing and making connections with each other. This is literally how minds are made. youtube.com/watch?v=hb7tjq…
I'm pleased to announce Practical #FP in #Scala - 2nd Edition is now available 🚀 With your purchase, you'll also be helping India fight the ongoing crisis, as I plan to donate 100% of the profits made from now until the end of this Friday. leanpub.com/pfp-scala
"The coarser-grained the [compositionality] building blocks, the harder it is to create something useful." Some design patterns as universal abstractions by Mark Seemann @ploeh
Blogged: Some design patterns as universal abstractions ift.tt/2FeBMeF
@Miller_Geek Mainstream OOP is what went wrong over the years. But Alan Kay also saw objects as algebraic structures, which make certain mathematically provable guarantees about their behaviors and forms the basis for objects such as promises and lenses, both inspired by category theory.
In some ways applied category theory shouldn't be significantly different to, say, applied PDEs. Interesting on its own but ultimately useless in isolation, just a tool to be combined with domain knowledge To misquote Girard, category theory alone is like an engine without a car
ME: hm, i think i should rearrange some of my game engine code, should be a simple fix HASKELL: learn category theory ME: yeah good idea
@piq9117 All complex systems must grow to sustain themselves. Otherwise, small system failures compound over time and the system fails.
A visual IDE for pure Functional Programming by Alexander Darlington alexdarlington.com/demo0.html
Josh Vera (@joshvera) has written an lucid introduction on system design from the perspective of category theory. He elucidates concepts like galois connections and monotonicity pretty neatly with the help of visual illustrations! Check it out: github.com/joshvera/gener…
Best-performing teams "accomplish remarkable feats not simply because of the individual qualifications of their members but because those members coalesce into a [complex system] single organism." —Stanley McChrystal Skelton, Matthew; Pais, Manuel. Team Topologies
Quick question. Is there a formal name for the most important component or system in a complex system? For example: core system, main system, vital organs?
"You can never understand everything. But, you should push yourself to understand the system." —Ryan Dahl (Creator of NodeJS)
Hot take... String diagrams are more intuitive for high level architecture and detailed design than non-formal UML stuff.
How can Applied Category Theory be useful for engineering? youtube.com/watch?v=GbB0eA…
"This work is grounded in the belief that a framework that augments scientific workflows without requiring a wholesale reimplementation in a Domain Specific Language (DSL) is most effective for real world application by scientists." arxiv.org/pdf/1907.03536…
In response to this tweet, people recommended their favorite design-focused books, which I'll list. But read on to the end because I want more :) "Growing Object-Oriented Software, Guided by Tests" by @natpryce & @sf105 "Practical Object-Oriented Design" by @sandimetz 1/n
In response to this tweet, people recommended their favorite design-focused books, which I'll list. But read on to the end because I want more :) "Growing Object-Oriented Software, Guided by Tests" by @natpryce & @sf105 "Practical Object-Oriented Design" by @sandimetz 1/n

davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
Paweł Szulc @EncodePanda
3K Followers 655 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Stephen Diehl @smdiehl
55K Followers 3K Following Left this hellsite for BlueSky. https://t.co/jct5Pfs2NT
Eigil Fjeldgren Risch... @Ayegill
2K Followers 543 Following @ayegill.bsky.social (bluesky) @ayegill.schelling.pt (mastodon) Applied algebraic abstractologist. Trying to get the heavens into my head
FRG @fabgenovese
4K Followers 373 Following PGP: 0xED9B08618551099B 💹 🧮 💵 @ https://t.co/IHls61vyV1 ⚛️ 💫 ⚛️ @nvrlcl 🏨 🛎️ 🗂️ @napuleth 🦆
「El Pako」 @pacoworks
3K Followers 3K Following Three idiots in a trench coat. Mistake-driven learning. Mostly fancy types, gamedev and other computer science. Emeritus @arrow_kt
Pawel Sobocinski @PawSob
1K Followers 802 Following Academic. Fan of concurrency, string diagrams and linear algebra (https://t.co/kvk4u228p2). Head of Compositionality Group at Taltech (https://t.co/W0XAIhMCAK).
Susan Potter @SusanPotter
7K Followers 2K Following Antifascist. Anti-authoritarian. Pro-privacy. Functional programmer. Recovering SRE. Micro-SaaS, real estate & trading. Outsider. Gay af. Genocide is terrible.
Mulunesh Balcha @MBalcha34266
6 Followers 351 Following
sibiri Poda @SibiriPoda
23 Followers 1K Following
Femi Ayodele @afemi087
60 Followers 338 Following
sadiq m kadai @sadiqmkadai
4 Followers 112 Following
Bashir ishaq @Bashirisha17260
2 Followers 18 Following
Hassan Hadiza @HassanHadi40166
2 Followers 219 Following
IBRAHIM OLAMILEKAN IS... @IBRAHIMOLA83121
0 Followers 105 Following
Ken Fortune @Kenofortune
2 Followers 589 Following
yakubu fred $RCADE go... @Fredyaks11
13 Followers 311 Following I'm a simple and amazing guy to be with..
Adisa Abdullateef Aka... @alaluwala4real
47 Followers 2K Following A heart that cares for the success of other people will surely live a better life
React Online @react_online
359 Followers 1K Following Bij React Online bedenken, ontwerpen en ontwikkelen we grensverleggende digitale oplossingen die het leven van mensen makkelijker maken.
Akka Sayfdne @sayfdne
58 Followers 512 Following
BigSur Dao @BigSur_Dao
5K Followers 170 Following The DAO for Next-Gen Massive-Scalable Blockchains Tweets by the public bigsur community.
Matteo Tavano @TavanoMatteo
9 Followers 200 Following
name cannot be blank @nihil2501
174 Followers 3K Following
The 🐠 BblFish @bblfish
2K Followers 3K Following Enabling cooperation of sovereign actors with #hyperApps that read/write #hyperData on the Web 👍 Cat-herding ❌ Phishing 🎣 👷 Scala 🚀 Reality Distortion Field
comonoidal esotericis... @adamnemecek1
3K Followers 3K Following Fixing machine learning @ https://t.co/x06CbGClKL. There is no AGI, without energy-based models. As seen on HN: https://t.co/WpbTAjLvPv
renghen @renghenKornel
338 Followers 916 Following I am not a geek or nerd, likes comics, programming, movies,science
Arbutus Tree @aphercotropist
2K Followers 560 Following 🇨🇦🌳 trees, the meaning of being, and category theory
Nicole Tomay @lecotominay87
10 Followers 256 Following French 🇫🇷, Composition Student 🎼, Violinist 🎻, I love Italy 🇮🇹, #Vegan 🥑🍉, based in #Florence.
Md Bacchu Mim @BacchuMim
5 Followers 89 Following Hello, I am Md. Bacchu Mia, an experienced digital marketer, social media marketing expert. #DigitalMarketing #Socialmediamarketing #FacebookMarketing
Lisa-Christina Winter... @lisachwinter
18K Followers 10K Following #DataScience #ProductResearch and #GrowthHacking Co-Founder of Two Kermis GmbH and @GrowthStrapping – Swiss Growth Hacking
Hamza Waseem @quantum_physics
2K Followers 1K Following Oxford Physics DPhil (Rhodes Scholar) | Disclaimer: All views expressed here are my own and do not represent the views of my employer
Matios Incompleteness... @MatiosTV
2K Followers 5K Following BG:@atrinassa TwitterArtDirector JxRConsulting FlatSun Jada💋WGMIdance RadicalCentrist SpacePaladin OCEANTRUTHER Matriot CalTrad MaineFrameworksTwitter DTA
Frank Grimm @frankgrimm
122 Followers 674 Following CS professor at University of Applied Sciences Zwickau
Paul-André Melliès @pamellies
638 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
Person @prsn_uk
4 Followers 226 Following
Rosario Pulella @RosarioPulella
5 Followers 145 Following
Leonhard R @l7r7_
178 Followers 659 Following I run on music | writing functions for a living | Scala by day, Haskell at night
roadside_picnic @poadside_ricnic
12 Followers 2K Following
Giovanni Londero @GiovanniLondero
32 Followers 348 Following
jose romero @scalajos
923 Followers 5K Following Functional Programming brings some sanity in this quick&dirty IT world. Scala (ZIO, KYO), Rust. Constantly learning. Fighting entropy. @fpjos@fosstodon
yury @tancorko
34 Followers 421 Following
Valentin Robert ❤�... @Ptival
220 Followers 355 Following He/Him. Research Engineer at @Galois. Static types and mechanized theorem proving enthusiast.
Vlad Patryshev 🇺�... @vpatryshev
1K Followers 751 Following Programmer. Taught logic etc at Santa Clara University. My slides and talks: https://t.co/YaBLuKh2Ir
Tom Lynch @machineslearn
84 Followers 3K Following
Steven Shaw @steshaw
1K Followers 609 Following Loves programming, PLs, & all-the-systems: type, build, dist, & db! 🇬🇧🇦🇺👨💻 https://t.co/u1UnqzeigK https://t.co/KkRIYds9TA
xd009642 @xd009642
103 Followers 974 Following Rarely tweets, mostly lurks. Also on bsky https://t.co/r1ljA1naPH and mastodon https://t.co/0qE23WEU2u
Adil Akhter @adilakhter
609 Followers 604 Following (λ) Functional Programmer | Minimalist | Futuring Data Analytics Platforms at Adyen
Konstantinos Meichane... @konstantinosmei
600 Followers 598 Following Quantum computing and artificial intelligence. The most important scientific problem is death, every other problem is secondary.
julesh @_julesh_
10K Followers 137 Following Applied Compositional Thinking. Also at @CyberCatInst and @[email protected]
Matteo Capucci @mattecapu
6K Followers 820 Following 🇮🇹, PhD @mspstrath, mathematician @ARIA_research (category theory for systems theory & cybernetics), aspiring psycohistorian. shitposting isn't endorsement.
Rúnar @runarorama
12K Followers 103 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
davidad 🎇 @davidad
20K Followers 9K Following Programme Director @ARIA_research | accelerate mathematical modelling with AI and categorical systems theory » build safe transformative AI » cancel heat death
John A De Goes @jdegoes
18K Followers 1K Following CEO @ZivergeTech, CEO @GolemCloud, Exec Producer & Creator @TheUltCoder, OSS contributor @zioscala, speaker, writer. Accelerating human dominion. ✝️
ieva @HyperboIeva
12K Followers 738 Following Quantum information, useless information, generally informed. Quantum algorithms researcher @PhasecraftLtd. All views are my own.
Bruno Gavranović @bgavran3
9K Followers 923 Following Building structured neural networks using principles from category theory.
bOb cOeCke @coecke
9K Followers 602 Following Chief Scientist @ Quantinuum - Ex Prof @ Oxford - Em Prof @ Wolfson College - Distinguished Visit Res Chair @ Perimeter - Composer @ Black Tish
alexis.toumi @AlexisToumi
1K Followers 257 Following If all you have is a functor, everything looks like a diagram. quantum computing // artificial intelligence // monoidal categories @[email protected]
Matt Parsons @mattoflambda
5K Followers 523 Following Haskell and SQL. Team Lead for Backend Developer UX at @mercury. I wrote @prodhaskell so you can get a Haskell job!
Zanzi Tangle, now at ... @tangled_zans
3K Followers 327 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
Satnam Singh @satnam6502
19K Followers 3K Following Punjabi-Scottish-American computer scientist, cook, cyclist, Lost In Music. ∃🇮🇳 ∧ ∀🇬🇧 ∧ ∃🇪🇺 ∧ ∀🇺🇸 #celiac ex-{Microsoft, Google, Facebook, Xilinx}
Functional Scala 2024 @FunScalaConf
3K Followers 70 Following An annual conference dedicated to helping people effectively use the functional programming language, Scala, to do more. Online - December 5th and 6th.Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Erik Meijer @headinthebox
31K Followers 2 Following
Jakub Kozłowski @kubukoz
5K Followers 298 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Colin Barrett (NEET a... @cbarrett
5K Followers 4K Following Unemployed tech worker. Ex @Apple @Mozilla et al. 🏳️🌈 (any/all)
Aleks Kissinger @AleksKissinger
2K Followers 290 Following Assoc Prof of Quantum Computing. Co-author of Picturing Quantum Processes a.k.a. "the dodo book". Likes to teach, learn, prove, and calculate stuff w pictures.
Serokell @serokell
7K Followers 5K Following The most bizarre company with brave ideas of functional programming application. #Haskell #Nix #Elixir #Rust #Agda #ML #AI
varkor @varkora
391 Followers 254 Following Category theorist and type theorist. I make https://t.co/HNSuFc5oOW. Rust compiler team alumnus.
Vlad Patryshev 🇺�... @vpatryshev
1K Followers 751 Following Programmer. Taught logic etc at Santa Clara University. My slides and talks: https://t.co/YaBLuKh2Ir
Adil Akhter @adilakhter
609 Followers 604 Following (λ) Functional Programmer | Minimalist | Futuring Data Analytics Platforms at Adyen
Blake Pollard @B_lak_aye
67 Followers 207 Following
Mohamed Barakat @math_barakat
1K Followers 2K Following Professor of mathematics, (all views personal, retweets and likes do not imply endorsement)
JCesar @JElyphas
203 Followers 2K Following
J @EremondiJoey
634 Followers 489 Following This account is deprecated. Find me as @[email protected]
Alex Archambault @alxarchambault
1K Followers 529 Following Sofware engineer, turned physicist, turned software engineer again. coursier (https://t.co/LlhkvVCiZM), almond (https://t.co/9E7LGdY2FH), Scala CLI (https://t.co/apyuE20xvY)
Dejan Mijic @dejan_mijic
345 Followers 467 Following
Daniel Firth (Inspect... @locallycompact
1K Followers 773 Following Hydra @ Input Output. Haskell, Agda, Cardano, Mathematics, Analytic Idealism. Opinions my own.
dalton @DaltonSakthi
904 Followers 857 Following Topology, probability, and physics @VERSESAI, @GC_CUNY. En français aussi
James Francese @baleofDGAs
280 Followers 743 Following Higher structures in geometry, logic, and the foundations of mathematics. Epistemology, action, and theories of truth. He/him/his.
wes @whynotwes
750 Followers 636 Following Radical change demands radical compassion | math PhD candidate | he/him
Noam Zeilberger @noamzoam
738 Followers 546 Following Computer scientist interested in the connections between things. Assistant professor at @LIX_lab @Polytechnique. https://t.co/idhOknEIRO
Konstantinos Meichane... @konstantinosmei
600 Followers 598 Following Quantum computing and artificial intelligence. The most important scientific problem is death, every other problem is secondary.
Paul-André Melliès @pamellies
638 Followers 1K Following logician and computer scientist at work @CNRS @IRIF_Paris @Inria_Paris
ℙierangelo ℂecche... @pierangelocecc
708 Followers 4K Following Software developer, loves FP and dynamical systems. Family guy, occasionally party guy. Amateur guitarist, amateur baker
Dmitry Karlinsky @dkarlinsky
522 Followers 1K Following Scala developer at https://t.co/Pr4d4XGM1g (@WixEng) https://t.co/kE153zoPJc
Steven Shaw @steshaw
1K Followers 609 Following Loves programming, PLs, & all-the-systems: type, build, dist, & db! 🇬🇧🇦🇺👨💻 https://t.co/u1UnqzeigK https://t.co/KkRIYds9TA
Mark Hopkins @antiselfdual
1K Followers 2K Following Maths PhD, Haskeller, @symbolica @SydneyTypes @SydneyPaperClub Passionate thaumatoneirodule, entry-level hypnerotomachist
Apolo Conway @apoloconway
156 Followers 348 Following Mathematician: Mathematical Logic | Category Theory | Theory of computation
José A. Alonso @Jose_A_Alonso
4K Followers 3K Following Mathematician interested in the study and teaching of computational logic, functional programming and interactive theorem proving.
Tim Put @Tim_Put
112 Followers 575 Following
Vincent Wang-Maścian... @vinnylarouge
636 Followers 417 Following CS Dr. @ Oxford, aspirant friend of diagrams
Uipalent transport @OwoTizusa
2K Followers 1K Following 4th best 3A yoyo thrower in the US. No longer posting type theory on main -- if you see anything related, I'm not serious, and I'm sorry.
✨ Jean Yang ✨ @jeanqasaur
24K Followers 4K Following API observability product @getpostman. Founded @akitasoftware (acquired 2023). Programming, APIs, and developer experience. Former professor @CSDatCMU.
Dan Marsden @StringDiagram
1K Followers 184 Following Categories, computer science and logic. @[email protected]
Tushar Mathur @tusharmath
1K Followers 892 Following Building @forgecodehq @tailcallhq https://t.co/VUELUJzPb1
Jason Hise @JasonHise64
2K Followers 919 Following ℂℍ ≅ Cl(3) ≅ M₂₂(ℂ) ≅ SU(2) ⊕ SU(2)i. 4D geometry enthusiast. Physics programmer: https://t.co/0Cfon7p87D
Joshua Silva @silvascientist
1K Followers 748 Following Software developer with a math background | I teach math @Wyzant | M.S. Mathematics from @calpolypomona | ADHD | Math, science, programming & origami | JW
Functional Conference @FnConf
920 Followers 64 Following Asia's Premier Functional Programming Conference. 24-25 January 2025
ICFP Conference @icfp_conference
4K Followers 18 Following ACM SIGPLAN International Conference on Functional Programming. Tweets by @shwestrick.
Compose Conference @composeconf
669 Followers 189 Following Haskell, F#, OCaml, sml. NYC, June 24-25 2019
Melbourne :: C◦mp�... @ComposeMelb
313 Followers 264 Following Sister conference to @composeconf. Sep 2nd 2019. Talks & workshops on functional programming of all stripes!
(have-YER カンデ�... @candeira
2K Followers 4K Following A person in the world, fan of @pyconau. Spanish/English/French/Catalan | にほんご learner | he/him. Opinions are my own.
Jurie Horneman @JurieHorneman
4K Followers 2K Following Making games since 91 (Thalion, Albion). Into interactive storytelling, PCG, narrative systems, AI. Dutch immigrant in Toronto. Contact me elsewhere.
David Wickes (@dave@d... @gypsydave5
677 Followers 1K Following Fullstack software developer. Analyst (& Metaphysician). Stunned Father. A great example of where two degrees in Philosophy can get you. he/him
Steve Freeman @sf105
5K Followers 488 Following Software developer, coach, and trainer. London UK. Co-author of https://t.co/SZ0gW70e3t
itsbdell 🔎 @itsbdell
1K Followers 1K Following @LowesLabs 🛠️| https://t.co/jaXFf8IFsR 🧭 @ConsenSysMesh, @TachyonAccel, @qz
Terra Field is not he... @RainofTerra
11K Followers 6K Following Find me on BlueSky and Mastodon. Link is my BSky, Mastodon is @[email protected]