Michał Płachta
@mplachta.com
λ coder • 📙 Author of "Grokking Functional Programming" • #Scala • Learning through teaching • https://michalplachta.com
It's hard to talk about what different AI tools and projects can do and where they fit. I found this article by @martinfowler.com very helpful for defining the terms to use: martinfowler.com/articles/har...
Harness engineering for coding agent users
A mental model for building trust in coding agents through feedforward guides, feedback sensors, and iterative harness engineering.
martinfowler.com
Just read martinfowler.com/bliki/Agenti... Setting up things like OpenClaw to access your email is not safe but there's something even worse about the whole "personal agents" hype: email becomes just another transport layer between agents. That's not something humans will want to engage with.
bliki: Agentic Email
Giving an LLM access to email is extremely risky
martinfowler.com
"Curated skills help smaller models punch above their weight class in terms of task completion. Anthropic's Claude Haiku 4.5 model with skills (27.7 percent) outperformed Haiku 4.5 without skills (11 percent) and also Claude Opus 4.5 without skills (22 percent)." www.theregister.com/software/202...
AI agents can't teach themselves new tricks – people can
: Self-generated skills don't do much for AI agents, study finds, but human-curated skills do
theregister.com
New Metals release is out! It includes support for stdio in the Metals MCP server, as well as a new way to decompile class files. Take a look at the features and bug fixes: scalameta.org/metals/blog...
Metals v1.6.7 - Osmium | Metals
We're happy to announce the release of Metals v1.6.7, which mostly focuses on
scalameta.org
great essay! we're just starting to glimpse (& enable) what's possible by combining: ~~~~~~~~~~~~~~~~~~~ | ✨ personal websites ✨ | ~~~~~~~~~~~~~~~~~~~ + ——————————— | 🌱 open social web 🌱 | ——————————— from interoperable comments sections & blogrings, to learning networks & creative communities…
you’re right! it feels mostly awful to Go Online™, these days. the internet in a sad state, for reason after reason after reason. but there is a way to fix it; to trade the voidful howling for a quiet & joyful song. here’s how to win the war for the soul of the internet, and build the Web We Want.
What a wonderful and well-researched opinion on the current AI bubble: www.wreflection.com/p/ai-dial-up...
AI's Dial-Up Era
It is 1995.
wreflection.com
Ever wonder why you can't just override #sbt settings in a task? They're immutable, but there's a workaround 👀 Wrote up a quick #TIL on using `Project.extract` to run tasks with custom settings. #Scala blog.michal.pawlik.dev/posts/til/sb...
Slides from our #ScalaDays talk with @kubukoz.mstdn.party.ap.brid.gy are out! polyvariant.github.io/are-you-tall... #Scala #Smithy4s
Are You Tall Enough for This Ride? - Slidev
"## Are You Tall Enough for This Ride? Real-world Challenges in Code Generation\n\n[Michał Pawlik](https://michal.pawlik.dev)\n[Jakub Kozłowski](https://kubukoz.com)\n"
polyvariant.github.io
Some time ago I made a presentation that wasn't recorded... But at least some of the points from it could be showcased with this gist gist.github.com/MateuszKubus...
Newtypes and tagged types
Newtypes and tagged types. GitHub Gist: instantly share code, notes, and snippets.
gist.github.com
If you're missing some feature in Chimney - contribute it! github.com/scalalandio/...
The future of Chimney · scalalandio chimney · Discussion #762
TL;DR - I intent to develop only what is necessary to keep the library working (when changes in the compiler would make the currently working code make it no-longer working code, like with 3.7-give...
github.com
it is impossible to generate code comments from source code because good comments are definitionally based on things not in the source code (intent, counterfactuals, experiments, etc.)
Fantastic meetup yesterday! Shout out to the organizers and speakers for putting it all together. It was like looking into my CV: first job - Futures, next job - Actors, then monad transformers, and now tagless final. 😂
Functional #JVM Meetup in Prague 🇨🇿 was a blast! It was awesome to meet fellow #functional programmers and discuss #scala over great Czech beer 🍻
Fantastic meetup yesterday! Shout out to the organizers and speakers for putting it all together. It was like looking into my CV: first job - Futures, next job - Actors, then monad transformers, and now tagless final. 😂
Pick your track! As always, we're giving you lots of incredible talks to choose from. But don't worry if some that you're interested in overlap - after the conference you get access to all recorded presentations. #lambdadays
The slides for both "Virtual Threads, 2 years later" and "What is Functional Programming" are available on my website: warski.org/talks/
Talks | Adam Warski: programming articles & videos
Architecture, distributed systems, functional programming, event sourcing, developer experience & more.
warski.org
Good morning @lambdadays.bsky.social! Today, together with @michal.pawlik.dev, we will go through the history of Scala: there will monads, transformers, actors, singers and the meaning of being in a startup! Come coin us in Track 2 @13:30!
🤣 CV driven presentation! Thanks for attending! We really enjoyed giving the talk to the wonderful crowd in Prague yesterday! Hope to see you soon again! 🇨🇿
Fantastic meetup yesterday! Shout out to the organizers and speakers for putting it all together. It was like looking into my CV: first job - Futures, next job - Actors, then monad transformers, and now tagless final. 😂
The design is based on what @mplachta.com presented during @scalar-conf.com this year: www.youtube.com/watch?v=RWvT...
Retrying the retry design by Michał Płachta | Scalar Conference 2025
YouTube video by SoftwareMill
youtube.com
Flavours of Scala with @mplachta.com & @michal.pawlik.dev at #LambdaDays! 🌶️ Explore "better Java," #Haskell for humans, and more as they guide you through 2 decades of #Scala evolution. Spice up your coding style! 🔥 📅 12-13 June 2025 in Krakow, Poland! 🎟️ www.lambdadays.org
Model Contex Protocol coming soon to Metals for even better #Scala IDE experience. Give it a try!
As promised we are working hard on providing you with the Scala MCP server, we already have a WiP pull request ready and some courageous souls are actually testing it! You can take a look and already give some feedback at github.com/scalameta/m...
With our new Scala MCP server we are able to eliminate hallucinations and unproductive guesswork for code that LLMs aren't familiar with by exposing API shapes from the caches of Metals and the Scala compiler.
Two great talks on building languages at #LambdaDays 2025: Nicolas Rinaudo will show you how to create a programming language from scratch and level up your tools and #DSL. 💻 Zainab Ali will treat docs like code, improving your workflow. #Racket #Elixir #Scala 📝 🎟️ Register here: www.lambdadays.org
Just added slides for my talk "Tagless Final for Humans" to my page of talks: noelwelsh.com/landing/talks/ I gave this talk today at @scalar-conf.com. The core is a new encoding for tagless final in Scala, which makes much better use of Scala's features than the standard encoding.
Noel Welsh: Talks
noelwelsh.com
I had a fantastic time at the conference—connecting with Scala enthusiasts, enjoying great talks, and sharing ideas. Special thanks to the @Softwaremill for an amazing event! I was honored to speak this year, and I’m sharing my slides here: majk-p.github.io/functor-on-a... #Scalar2025 #Scala
Self-balancing tree called B-tree is a popular way to implement indexing in databases
majk-p.github.io
Thank you, @scalar-conf.com! I had a blast! Here are the slides for my talk "Retrying the retry design": michalplachta.com/slides/retries You can find the code (PoC!) at Github: github.com/polyvariant/... ("o rety!" is Polish for "yikes!" 💥) Blog post and hopefully some PRs coming next week 🤞