Tomas Mikula @tomas_mikula
Into functional programming. Lifelong learner. continuously.dev London Joined September 2008-
Tweets2K
-
Followers789
-
Following513
-
Likes7K
Tomas Mikula retweeted
My final post on Jon's final post. Either Mr. Pretty is fabricating these recollections and transcripts to a Dostoevskian degree of verisimilitude—which, though possible, is falsifiable and, thus far, has only been corroborated—or his accusers have bent the truth into an…
My final post on Jon's final post. Either Mr. Pretty is fabricating these recollections and transcripts to a Dostoevskian degree of verisimilitude—which, though possible, is falsifiable and, thus far, has only been corroborated—or his accusers have bent the truth into an… https://t.co/Silk5nOfxS
0
11
82
21K
11
Is this bit true, @scala_lang Center, @darjutak? > the Scala Center's director decided to label me "clinically insane" for reporting harassment.
Is this bit true, @scala_lang Center, @darjutak? > the Scala Center's director decided to label me "clinically insane" for reporting harassment.
Tomas Mikula retweeted
the latest in gc technology is to just have chat track which values can be freed or not
Tomas Mikula retweeted
@tomas_mikula presenting a very cool library, but most importantly explaining some design decisions behind it - really insightful talk about library API design in modern Scala! @scaladays
The code is at github.com/TomasMikula/ji…
Scala superpower unlocked: Spec-first APIs *without* a separate codegen pass. ⚡Just Import 'N' Go!⚡ Typesafe and IDE assisted. Pictured is my prototype for OpenAPI, but can be done for GraphQL, Smithy, Protobuf/gRPC, Avro, ... #Scala #Metaprogramming #OpenAPI
A new (this time successful) recording by @FunctionalWorld is now available: youtube.com/watch?v=YZZtca…
A new (this time successful) recording by @FunctionalWorld is now available: youtube.com/watch?v=YZZtca… https://t.co/mpHJG0jMsS
Tomas Mikula retweeted
Ready to push pattern matching to the next level? @tomas_mikula will show you how to repurpose Scala’s pattern matching for deeply embedded DSLs - without compiler modifications or macros. Check out the details: scalac.io/functional-wor…
Unfortunately, due to technical failures, the conference recording is missing ~15 mins in the middle of my talk, and has no slide synchronization. I might need to re-record the talk myself 😮💨
Unfortunately, due to technical failures, the conference recording is missing ~15 mins in the middle of my talk, and has no slide synchronization. I might need to re-record the talk myself 😮💨
Just like we have embraced Automatic Memory Management for most use cases, we will embrace Automatic Concurrency Management when programming languages make it a reality. No more manual thread/actor management.
OPEN TO WORK London/remote FP in Scala, or a related field 🙂 Dear Twitterverse, I'll be moving to London (for my wife to pursue a career opportunity), which means I am now search a job there. Appreciate if you share a job opening with me, or retweet for reach. Yours truly …
Slides from my @ScalaIO_FR talk Repurposing Scala's Pattern Matching for Deeply Embedded DSLs are now available: continuously.dev/presentations/…
Slides from my @ScalaIO_FR talk Repurposing Scala's Pattern Matching for Deeply Embedded DSLs are now available: continuously.dev/presentations/…
I heard you like making Illegal States Unrepresentable. What about making Non-exhaustive Pattern Matching Unrepresentable in the AST? That and more in my @ScalaIO_FR talk this Thursday.
I heard you like making Illegal States Unrepresentable. What about making Non-exhaustive Pattern Matching Unrepresentable in the AST? That and more in my @ScalaIO_FR talk this Thursday.
I'm pleased that there'll be no less than 3 talks dedicated to DSLs at @ScalaIO_FR , incl. @NicolasRinaudo's keynote. Mine is about pimping up your DSL with pattern matching which reads almost like Scala's, but constructs a reified AST of your *DSL*. scala.io/sessions/paris…
What a figure! 1944: Joins Slovak National Uprising against the nazi-collaborating government. 2024: Raises funds for Ammo for Ukraine, despite a Russia-appeasing government. "Aggressor cannot be negotiated with. He must be defeated." @MierUkrajine youtube.com/watch?v=JpExHB…
Now, I still want a powerful meta-programming system. I just don't ever want to deal with trees of the host language. 🤷♂️
Now, I still want a powerful meta-programming system. I just don't ever want to deal with trees of the host language. 🤷♂️
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. ✝️
Igal Tabachnik @hmemcpy
11K Followers 532 Following Professional vibe coder. Scala / Rust 🦀 (btw) Will you halt this eclipse in me?
Pierre Ricadat @ghostdogpr
2K Followers 93 Following Software Architect | Scala Lover | Creator of Caliban and Shardcake
Flavio Brasil @fbrasisil
3K Followers 3K Following Principal eng @Nubank + working on https://t.co/1d2vug8xx7 he/him
Jules Ivanic @guizmaii
2K Followers 2K Following | Software Engineer | Functional Programmer | 🇨🇵 citizen | 🇦🇺 permanent resident | 🌊 🏄🏻♂️ ❤️ | @guizmaii.bsky.social | I talk about Software Engineering
∃ugene -Yokota 🥙... @eed3si9n
5K Followers 568 Following enjoys music, good food, coding, and talking about them. learning machines at employer. @scala_sbt core dev. mastodon: @[email protected]
zio @zioscala
4K Followers 131 Following ZIO is a Type-safe composable asynchronous and concurrent programming library for Scala that is based on pure functional programming
Jakub Kozłowski @kubukoz
5K Followers 298 Following Functional Scala developer, small-time content creator, brainrot enjoyer. https://t.co/i99bvhwYNi he/him
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Sandra De Goes @sandradegoes
2K Followers 1K Following Saved by God’s Grace. Christian wife and mom. Homemaker and servant of Christ. Partnering with my husband @jdegoes in running our business.
Tushar Mathur @tusharmath
1K Followers 891 Following Building @forgecodehq @tailcallhq https://t.co/VUELUJzPb1
James Ward @JamesWard
18K Followers 3K Following My book: https://t.co/QGevhw6nyE | My podcast: @HappyPathProg | Working on Agentic Architectures at @AWSCloud | My opinions are mine
Paweł Szulc @EncodePanda
3K Followers 657 Following Haskell, 范畴论, λ, Distributed Systems, Formal Methods
Scala Jobs @ScalaJobsDev
3K Followers 2K Following Follow us for the latest #Scala jobs from https://t.co/1evuxzwIPo. Are you hiring or looking for a job? Tag us to get retweeted!
Tomasz Godzik 🍉 @TomekGodzik
995 Followers 198 Following Team lead of the Scala Open source at @virtuslab. Coordinator and VirtusLab representative in the Scala Core governance team https://t.co/4lPT0BikFQ
Alexy 🤍💙🤍 @ChiefScientist
6K Followers 7K Following AI Community Architect @Neo4j. Chair, OSSci @NumFOCUS. Cofounder, AI Alliance, GenAI Commons. Run @scalebythebay: https://t.co/VG37Z4xowL. Join https://t.co/1CPrpnF1KU!
Oleg Nizhnik @Odomontois
1K Followers 426 Following Scala Developer at https://t.co/BBA5zEjpIq Open source projects: https://t.co/1DqROquY1Y https://t.co/abOevclBCM
scalac.io @scalac_io
3K Followers 543 Following Over 10 years of aiding Tech Companies to scale. Specializing in #Scala, #Java, #Spark, #Rust, #Akka, #React, #Angular #Kafka #blockchain
Jennifer Flores @pretty_nan11706
123 Followers 3K Following
Priejo @Priejo4532480
34 Followers 2K Following
JaniceAdam @FR90h6Z14hv1Oz6
60 Followers 2K Following
GriseldaDaniel @3aOj81vBIDEu4
9 Followers 496 Following
Mariano Gonzalez @eschizoid1
116 Followers 909 Following Software Engineer. Always looking for the best burger.
Besmir Beqiri @besmir_beqiri
15 Followers 138 Following Software engineer, CEO and co-founder of @logicbind.
Liam Anders @Firstcopytrade
197 Followers 2K Following TA CHART, Consultant Meme,Stock,Metals,Forex and Crypto Analyst.
Nabil Abdel-Hafeez @987Nabil
363 Followers 357 Following Love Scala. Maintainer of zio-http. Work at rewe-digital
Cthulhu Jar @CthulhuJar
0 Followers 13 Following
Leosha Trushin @leoshatrushin1
201 Followers 871 Following I like human psychology and programming High decoupling Building AI prototyping on any existing website @ https://t.co/NNEUBdlaO0 in Kotlin + TS
Mateusz Kubuszok @MateuszKubuszok
1K Followers 241 Following Blog @ https://t.co/mmI5J0pCp0 JVM-Scala Book @ https://t.co/QXUc0o81PO Chimney @ https://t.co/62Asinadbz
Fanta @fantayeneh
338 Followers 2K Following
Joanne Hana @KiidrauhlMyidol
151 Followers 1K Following
ؘ @makiloop
42 Followers 3K Following
Sandra williams @tos12040
13 Followers 162 Following
Dragisa Krsmanovic @dragisak
273 Followers 2K Following Scala developer at @crunchbase, geek, dad. Belgrade - San Francisco
Alessandro @ImGrayMouser
26 Followers 203 Following
Diego Casella @polentino911
132 Followers 574 Following I develop/build/break stuff.The Rant is strong with this one. Italian.Husband.Senior Software Engineer in Leuven, Belgium. Chaotic goose. Prima de parlar, tasi.
Yuri Pavlov ✡️ �... @yuripav2002
102 Followers 2K Following
Blaize D'souza ❤️ @blaizedsouza
3K Followers 6K Following technologist | distributed systems | reactive systems | edge computing | ml | ai | agentic computing | multi-cloud | k8s | embedded systems | iot
Erik Eklund @knorreman
4 Followers 172 Following
Mark de Jong @fristi1986
0 Followers 41 Following
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
Esteban Marin @Esteban08240516
289 Followers 934 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
Siyavash Habashi @SiyavashHabashi
114 Followers 481 Following Lean Scala Coder, Rocket Scientist, Cat Owner, Crazy Rockstar, Nerd 🦁o☀️!
Peng Cheng, asking λ... @tribbloid
501 Followers 441 Following doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
Quophah2eeXeing5 @QXeing571299
1 Followers 33 Following
Paweł Kaczor @PavelKaczor
182 Followers 28 Following Software Developer, passionate about Functional Programming, Scala and DDD/CQRS/ES architecture.
Art Scott @Semasiographic
725 Followers 2K Following Symmorphmetry(tm) art project Peace Love Happiness PLH Only One Earth OOE
Emily @Emily8Em
800 Followers 801 Following Scotland（Medical beauty industry） "Chasing dreams, embracing change, and living unapologetically."
Philip Stutz @PhilipStutz
41 Followers 336 Following Founder of https://t.co/XNOO8WtRgr, building advanced legal research tools for Swiss lawyers. Passionate about Scala, knowledge modeling, and LLM-based agents.
mitep @_mitep
23 Followers 421 Following
Jan Boerman 🚂 @JanBoerman95
322 Followers 796 Following Computer Science MSc - Un deux trois Miranda! - 51💕
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. ✝️
Rúnar @runarorama
12K Followers 106 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Igal Tabachnik @hmemcpy
11K Followers 532 Following Professional vibe coder. Scala / Rust 🦀 (btw) Will you halt this eclipse in me?
Alexander Ioffe @deusaquilus
2K Followers 194 Following Take control of your database with https://t.co/mmLqyE5130 the only LINQ for Kotlin!
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.
Adam Warski @adamwarski
7K Followers 185 Following Sharing elegant solutions to everyday problems | R&D @ SoftwareMill | #Scala / functional programmer #FP | Blogger | #OSS developer
Rock the JVM @rockthejvm
9K Followers 252 Following Teaching #Scala, #Kotlin, #Spark, #Flink and tech on the JVM. 📹 Videos at https://t.co/1ODhzZCpb9 🔖 Articles at https://t.co/gK3x49Bxk5
Bartosz Milewski @BartoszMilewski
35K Followers 34 Following Physicist, programmer, mathematician. Author of Category Theory for Programmers. @[email protected]
Pierre Ricadat @ghostdogpr
2K Followers 93 Following Software Architect | Scala Lover | Creator of Caliban and Shardcake
Flavio Brasil @fbrasisil
3K Followers 3K Following Principal eng @Nubank + working on https://t.co/1d2vug8xx7 he/him
Jules Ivanic @guizmaii
2K Followers 2K Following | Software Engineer | Functional Programmer | 🇨🇵 citizen | 🇦🇺 permanent resident | 🌊 🏄🏻♂️ ❤️ | @guizmaii.bsky.social | I talk about Software Engineering
∃ugene -Yokota 🥙... @eed3si9n
5K Followers 568 Following enjoys music, good food, coding, and talking about them. learning machines at employer. @scala_sbt core dev. mastodon: @[email protected]
zio @zioscala
4K Followers 131 Following ZIO is a Type-safe composable asynchronous and concurrent programming library for Scala that is based on pure functional programming
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
Michael Arnaldi @MichaelArnaldi
5K Followers 380 Following BDFL @EffectTS_, CEO @EffectfulTech, Co-Founder @matechsdigital.
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Sandra De Goes @sandradegoes
2K Followers 1K Following Saved by God’s Grace. Christian wife and mom. Homemaker and servant of Christ. Partnering with my husband @jdegoes in running our business.
414 Magyar's Birds @414magyarbirds
29K Followers 36 Following Official account of the 414th Separate Unmanned Strike Aviation System Brigade "Magyar's Birds". The cutting edge of Ukraine’s drone warfare. Combat approved.
Tomasz Godzik 🍉 @TomekGodzik
995 Followers 198 Following Team lead of the Scala Open source at @virtuslab. Coordinator and VirtusLab representative in the Scala Core governance team https://t.co/4lPT0BikFQ
Garry Tan @garrytan
609K Followers 5K Following President & CEO @ycombinator —Founder @Initialized—designer/engineer who helps founders—San Francisco Dem accelerating the boom loop—e/acc—technology brother
Besmir Beqiri @besmir_beqiri
15 Followers 138 Following Software engineer, CEO and co-founder of @logicbind.
Nabil Abdel-Hafeez @987Nabil
363 Followers 357 Following Love Scala. Maintainer of zio-http. Work at rewe-digital
Mitchell Hashimoto @mitchellh
146K Followers 141 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Slava 🇺🇦 @Heroiam_Slava
105K Followers 38 Following Passionate Ukrainian news sharer, championing Ukraine’s fight for sovereignty while exposing Russian aggression Tip: https://t.co/H5eYvhFgMz [email protected]
Prisma Postgres @prisma
74K Followers 42 Following Serverless Postgres db, ORM & more. From idea to scale, simplified. npx prisma@latest init --db 📚 https://t.co/jPVvgllHKl 💬 https://t.co/GSSBwEHTOv
The Scala Workshop @scala_workshop
359 Followers 15 Following Formerly the Scala Symposium. See you 2025 in Singapore ;-)
Esteban Marin @Esteban08240516
289 Followers 934 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
Peng Cheng, asking λ... @tribbloid
501 Followers 441 Following doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
λoλcat @katzenstrophe
289 Followers 439 Following
Calvin L F @cal_fern
531 Followers 941 Following Permanent student and learner with a great interest in building reasonable, reliable and maintainable systems that can sustain failure. Co-organizer of @scalato
Denís Mikháilov @notxcain
498 Followers 916 Following #IStandWithUkraine 🇺🇦 Internal Developer Platform @SamsungFoodApp. Independent consultant with passion for DDD. Ufa - Moscow - Barcelona
David Deutsch @DavidDeutschOxf
159K Followers 72 Following Physicist. Author of The Fabric of Reality and The Beginning of Infinity
Aram Hăvărneanu @aramh
3K Followers 1K Following Mathematical engineer bringing type safety to the cloud. Previously worked on CUE @cue_lang. JSR PC, @(R6)+; I wrote the arm64, sparc64, and Solaris Go ports.
Exen 🇵🇱 @Exen
92K Followers 3K Following 350 vehicles delivered to Ukrainian soldiers on the frontline, and counting.
Mateusz Kubuszok @MateuszKubuszok
1K Followers 241 Following Blog @ https://t.co/mmI5J0pCp0 JVM-Scala Book @ https://t.co/QXUc0o81PO Chimney @ https://t.co/62Asinadbz
Jake Broe @RealJakeBroe
70K Followers 478 Following Fmr. Nuclear & Missile Operations Officer US Air Force 🇺🇸 🇺🇦 ~ YouTuber ~ 600,000+ Subscribers ~ Keep Defending the Truth ~ Keep Defending Democracy
Bricktop_NAFO @Bricktop_NAFO
80K Followers 13K Following NAFO Head Of Tea Drinking Division, Boinker Of Vatniks, Master of Bastards, Maker of Memes @bricktopnafo.bsky.social
FIRE @TheFIREorg
218K Followers 3K Following We defend and promote free speech for all Americans in our courtrooms, on our campuses, and in our culture.
Jakob Jenkov @jjenkov
25K Followers 131 Following Software Architect, Design Thinker, Java Champion. https://t.co/s4Vz7PU2CL
Michał Pałka @mchlpalka
173 Followers 78 Following #scala dev and enthusiast @VirtusLab Trying to make the world a better place (at least for programmers) by working on #scala3 (#dotty) compiler
Paweł Kaczor @PavelKaczor
182 Followers 28 Following Software Developer, passionate about Functional Programming, Scala and DDD/CQRS/ES architecture.
Rima Med 🇺🇸🇱... @rima_medUA
41K Followers 3K Following Medic-Armed Forces of Ukraine and tacmed instructor in Ukraine THIS IS MY ONLY ACCOUNT #USAforUkraine
Juan Manuel @babui_
439 Followers 629 Following Hoy es un día perfecto para morir, antes de que la vida me duela demasiado.
Gabrielius Landsbergi... @GLandsbergis
186K Followers 914 Following Former Foreign Minister of Lithuania. Values-based policymaker. Founder of Friends of Democracy. https://t.co/1Nq19S7e1I Bookings: [email protected]
Dimko Zhluktenko 🇺... @dim0kq
107K Followers 3K Following Soldier of Ukraine's Armed Forces, callsign Liber🫡. @dzygaspaw founder - we bring tech to 🇺🇦 Defenders. Former Software guy. Freedom lover. Writer, book ⬇️
Dzyga's Paw @dzygaspaw
13K Followers 124 Following We bring tech to Ukraine's defense — over $4M delivered thanks to your support. Join our mission to defend the free world!
Marc Andreessen 🇺�... @pmarca
1.9M Followers 27K Following First name Andreessen, last name Horowitz.
Yishan @yishan
93K Followers 425 Following I run Terraformation, and I was once the CEO of Reddit. Both are very interesting challenges. Views are mine alone, but also yours if I do my job right.
Ozmodiar @cmonjussthetip
2K Followers 231 Following Just another PMC little green UMC space man trying to make it in America
JP Lindsley | Journal... @JPLindsley
31K Followers 3K Following 🎙️Ukrainian Freedom News | American in Ukraine every day since 2022. | On a long truth-seeking journey that began in the dark halls of American power
David Sinclair @davidasinclair
504K Followers 1K Following Professor @Harvard researching why we age & how to reverse it. Author & host of Lifespan. Mission: Extend healthy life for all. Views are entirely his own 🙏✌️
Sabine Hossenfelder @skdh
197K Followers 787 Following German Physicist. Author of "Lost in Math" & "Existential Physics". There is no strength in numbers, have no such misconception.
Joni Askola @joni_askola
81K Followers 980 Following Finnish PhD candidate @FSV_UK trying to help Ukraine with the @69thSB and by mocking disinformation. Opinions are my own
Zanzi Tangle, now at ... @tangled_zans
3K Followers 325 Following Turning Category Theory into code she/her Find me at: https://t.co/B0egvR0lmb @zanzi.bsky.social
Chomba Bupe @ChombaBupe
11K Followers 3K Following Tech entrepreneur | machine intelligence https://t.co/zzD5ZNb0OW https://t.co/h0mJxdVxQq
scalac.io @scalac_io
3K Followers 543 Following Over 10 years of aiding Tech Companies to scale. Specializing in #Scala, #Java, #Spark, #Rust, #Akka, #React, #Angular #Kafka #blockchain
David Crosson @crodav
244 Followers 350 Following Software crafter▪️Functionnal Programming▪️Scala▪️Rust▪️Java▪️Nix
Turso @tursodatabase
14K Followers 319 Following The next evolution of SQLite https://t.co/LsugLYx8qw https://t.co/Zn4AwNBEVp
Trends for United States
4.251 posts
17,9 B posts
134 B posts
394 B posts
1.902 posts
1.200 posts
18,9 B posts
7.947 posts
5.890 posts
92,8 B posts
458 B posts
15,1 B posts
3.462 posts
46,9 B posts
46,1 B posts
10,9 B posts
You might like
ziverge
@zivergetech
3K Followers
Oli Dinov 💙
@olidinov
2K Followers
Kit Langton
@kitlangton
7K Followers
Alexander Ioffe
@deusaquilus
2K Followers
scalac.io
@scalac_io
3K Followers
Scala Space
@ScalaSpace
2K Followers
Jules Ivanic
@guizmaii
2K Followers
Paweł Szulc
@EncodePanda
3K Followers
Pierre Ricadat
@ghostdogpr
2K Followers
Julien Truffaut
@JulienTruffaut
3K Followers
Ólafur Páll Geirsso...
@olafurpg
3K Followers
Itamar Ravid
@iravid_
2K Followers
Mateusz Kubuszok
@MateuszKubuszok
1K Followers
Tomasz Godzik 🍉
@TomekGodzik
995 Followers
Afsal Thaj
@afsalt2
638 Followers