Tomas Mikula @tomas_mikula
Into functional programming. Lifelong learner. continuously.dev London Joined September 2008-
Tweets2K
-
Followers785
-
Following511
-
Likes7K
Tomas Mikula retweeted
the latest in gc technology is to just have chat track which values can be freed or not
0
2
4
999
0
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. ✝️
Pierre Ricadat @ghostdogpr
1K Followers 92 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)
Tushar Mathur @tusharmath
1K Followers 892 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 656 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!
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 427 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
Voytek Pituła 💙/�... @Krever01
1K Followers 1K Following Staff Engineer at @SwissBorg • Crapposter • Occasional conference speaker • Chaotic good • #Scala developer • Books addict • Building @Business4scala
Besmir Beqiri @besmir_beqiri
16 Followers 138 Following Software engineer, CEO and co-founder of @logicbind.
Liam Anders @Firstcopytrade
208 Followers 2K Following TA CHART, Consultant Meme,Stock,Metals,Forex and Crypto Analyst.
Nabil Abdel-Hafeez @987Nabil
362 Followers 482 Following Love Scala. Maintainer of zio-http. Work at rewe-digital
Cthulhu Jar @CthulhuJar
1 Followers 9 Following
Leosha Trushin @leoshatrushin1
199 Followers 843 Following Highest decoupler | Kotlin @ https://t.co/Uvw6ynvsjx | shitpost/acc lurker Epistemic status: fucking around
Mateusz Kubuszok @MateuszKubuszok
1K Followers 243 Following Blog @ https://t.co/mmI5J0pCp0 JVM-Scala Book @ https://t.co/QXUc0o81PO Chimney @ https://t.co/62Asinadbz
Fanta @fantayeneh
340 Followers 2K Following
Joanne Hana @KiidrauhlMyidol
139 Followers 857 Following
ؘ @makiloop
33 Followers 2K Following
Sandra williams @tos12040
14 Followers 164 Following
Dragisa Krsmanovic @dragisak
266 Followers 2K Following Scala developer at @crunchbase, geek, dad. Belgrade - San Francisco
Alessandro @ImGrayMouser
25 Followers 203 Following
Diego Casella @polentino911
122 Followers 559 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
100 Followers 2K Following
Blaize D'souza ❤️ @blaizedsouza
4K Followers 6K Following technologist | distributed systems | reactive systems | edge computing | ml | ai | agentic computing | multi-cloud | k8s | embedded systems | iot
Erik Eklund @knorreman
5 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
282 Followers 923 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
Siyavash Habashi @SiyavashHabashi
115 Followers 482 Following Lean Scala Coder, Rocket Scientist, Cat Owner, Crazy Rockstar, Nerd 🦁o☀️!
Peng Cheng, asking λ... @tribbloid
488 Followers 416 Following doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
Quophah2eeXeing5 @QXeing571299
0 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
738 Followers 2K Following Symmorphmetry(tm) art project Peace Love Happiness PLH Only One Earth OOE
Emily @Emily8Em
885 Followers 840 Following Scotland（Medical beauty industry） "Chasing dreams, embracing change, and living unapologetically."
Philip Stutz @PhilipStutz
37 Followers 323 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 420 Following
Jan Boerman 🚂 @JanBoerman95
324 Followers 791 Following Computer Science MSc - Un deux trois Miranda! - 51💕
xander @rulebreak3
45 Followers 212 Following
Markus @markusheilig2
49 Followers 304 Following
Magnus Berglund @magnusberglund
63 Followers 403 Following Software engineer https://t.co/DoQ51obsg1
Degen @degenartifact
64 Followers 658 Following
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 102 Following Icelander. Eudaimonist. Individualist. Cofounder, @unisonweb. Author of Functional Programming in Scala.
Alexander Ioffe @deusaquilus
2K Followers 178 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
1K Followers 92 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 368 Following BDFL @EffectTS_, CEO @EffectfulTech, Co-Founder @matechsdigital. Expect posts about TS & FP. Personal alt @OptVegaPunk
Eric Torreborre @etorreborre
7K Followers 1K Following Haskell / Scala / Rust developer (author of the specs2 and registry libraries)
Besmir Beqiri @besmir_beqiri
16 Followers 138 Following Software engineer, CEO and co-founder of @logicbind.
Nabil Abdel-Hafeez @987Nabil
362 Followers 482 Following Love Scala. Maintainer of zio-http. Work at rewe-digital
Mitchell Hashimoto @mitchellh
141K Followers 139 Following Working on a new terminal: Ghostty. 👻 Prev: founded @HashiCorp. Created Vagrant, Terraform, Vault, and others. Vision Jet Pilot. 👨✈️
Slava 🇺🇦 @Heroiam_Slava
104K Followers 39 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
73K Followers 43 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
360 Followers 15 Following Formerly the Scala Symposium. See you 2025 in Singapore ;-)
Esteban Marin @Esteban08240516
282 Followers 923 Following #Scala #Haskell #Nix #Typescript Engineer @ZivergeTech In love with functional programming { . . . ❤️} All opinions are my own.
Peng Cheng, asking λ... @tribbloid
488 Followers 416 Following doubling down on Scala ♨️ and Apache Spark 🌟 for ML ∇, provers ∀ & swarms 🐝. maintainer of shapesafe, spookystuff and splain plugin
λoλcat @katzenstrophe
287 Followers 440 Following
Calvin L F @cal_fern
517 Followers 938 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 918 Following #IStandWithUkraine 🇺🇦 Internal Developer Platform @SamsungFoodApp. Independent consultant with passion for DDD. Ufa - Moscow - Barcelona
David Deutsch @DavidDeutschOxf
157K Followers 71 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
91K Followers 3K Following 344 vehicles delivered to Ukrainian soldiers on the frontline, and counting.
Mateusz Kubuszok @MateuszKubuszok
1K Followers 243 Following Blog @ https://t.co/mmI5J0pCp0 JVM-Scala Book @ https://t.co/QXUc0o81PO Chimney @ https://t.co/62Asinadbz
Jake Broe @RealJakeBroe
68K Followers 466 Following Fmr. Nuclear & Missile Operations Officer US Air Force 🇺🇸 🇺🇦 ~ YouTuber ~ 600,000+ Subscribers ~ Keep Defending the Truth ~ Keep Defending Democracy
Bricktop_NAFO @Bricktop_NAFO
77K Followers 13K Following NAFO Head Of Tea Drinking Division, Boinker Of Vatniks, Master of Bastards, Maker of Memes @bricktopnafo.bsky.social
FIRE @TheFIREorg
213K 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
24K Followers 130 Following Software Architect, Design Thinker, Java Champion. https://t.co/s4Vz7PU2CL
Michał Pałka @mchlpalka
174 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
40K Followers 3K Following Medic-Armed Forces of Ukraine and tacmed instructor in Ukraine THIS IS MY ONLY ACCOUNT #USAforUkraine
Juan Manuel @babui_
438 Followers 605 Following Hoy es un día perfecto para morir, antes de que la vida me duela demasiado.
Gabrielius Landsbergi... @GLandsbergis
184K Followers 910 Following Former Foreign Minister of Lithuania. Values-based policymaker. Founder of Friends of Democracy. https://t.co/1Nq19S7e1I Bookings: [email protected]
Dimko Zhluktenko 🇺... @dim0kq
106K 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 125 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 Yes, I can see some risk that your threat to jail Internet company executives for not censorsing aggressively enough could backfire.
Yishan @yishan
93K Followers 423 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 223 Following Just another PMC little green UMC space man trying to make it in America
JP Lindsley | Journal... @JPLindsley
30K 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
499K 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
196K 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
80K Followers 986 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 327 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
246 Followers 347 Following Software crafter▪️Functionnal Programming▪️Scala▪️Rust▪️Java▪️Nix
Turso @tursodatabase
14K Followers 318 Following The next evolution of SQLite https://t.co/LsugLYx8qw https://t.co/Zn4AwNBEVp
Matej Cerny @matej_cerny
381 Followers 322 Following Functional programming enthusiast with strong foundations in the relational databases world
Ben Ford @commandodev
3K Followers 5K Following Organisational Engineering as a service for scaling tech companies | OODA | Former Royal Marine Commando | ADAPT. RESPOND. WIN!
Oto @otobrglez
3K Followers 4K Following Building impressive products w/ #Scala && incredible people. Host of Slovenian tech/dev podcast #Ogrodje - https://t.co/QGDbiHv7sD
Ergo @ergo_platform
58K Followers 597 Following Ergo is the next-gen smart contract platform! Bringing economic freedom to ordinary people through decentralized financial tools.Trends for United States
7.109 posts
56,6 B posts
52 B posts
10,5 B posts
75,2 B posts
14,6 B posts
6.710 posts
217 B posts
33,3 B posts
22,6 B posts
11,7 B posts
3.665 posts
2.102 posts
1.063 posts
7.632 posts
1.298 posts
You might like
ziverge
@zivergetech
3K Followers
Oli Dinov 💙
@olidinov
2K Followers
Kit Langton
@kitlangton
7K Followers
Alexander Ioffe
@deusaquilus
2K Followers
Scalameta
@scalameta
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
1K 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
973 Followers