Software | Data | Scala & Functional Programming | Data platforms & systems
Stuttgart, Germany
Joined May 2010
- Tweets9.9K
- Following517
- Followers574
- Likes24.8K
Vitthal Mirji retweeted
⚠️ Security advisory: All JDKs are vulnerable to HTTPS impersonation due to the compromised eMudhra/emSign CA cert.
Update your CI by pointing setup-java at Zulu (Temurin is not fully available yet) or manually distrusting the certificates. Full writeup:
scala-lang.org/blog/jdk-cert…
Vitthal Mirji retweeted
In Málaga today at @Lambda_World giving a live demo of @eezoframework
Already new additions to the framework since Scala Days 2 weeks ago!
Vitthal Mirji retweeted
I don't think I've really shared this, but I built fi-track.com a while ago. It's a #FinancialFreedom / #FIRE calculator that does the usual 4% stuff, but also runs Monte Carlo simulations and has a JSON export/import feature. Shameless ad for @SkaldMaps, though. 🧵
Vitthal Mirji retweeted
Some Scala developers have moved to Rust 🦀, and there are plenty of articles and videos about this transition. But this one is the opposite - a Rust developer moved to Scala! 👇
Vitthal Mirji retweeted
The Scala Summit 2026 recordings are out! 🎥
All 11 talks from our October 19 conference in San Francisco: AI and agents, capture checking, Chisel, ZIO, GPUs for type inference, and more.
watch.softinio.com/w/p/1y91H…
#Scala #ScalaSummit #BayAreaScala #SFScala #FunctionalProgramming
cc @BayAreaScala @sfscala @Winium @higherkindedtpe @adamwarski @lukasz_bialy @RomanowskiKr @liosedhel @VirtusLab @scala_lang @tstokrk
Columnar on disk, in @ApacheDataFusio, @ApacheSpark too - except in the middle, where row-format quietly sneak-in 😉
SIMD, Arrow IPC, mmap'd zero-copy, all safe with no runtime watching. Inside Arrow's buffers, the borrow checker is lethal on bugs JVM/Python GC around🗑️
And of-course how to scaffold data-pipelines that stay in above lane!
Next week, speaking in @JOTBConf / @Lambda_World
Smart people proved a CEO can think clearly and still fire everyone. Why? The company keeps all the money saved, but the cost of lost customers is shared with everybody else. So don't tax the thoughts. Tax the automation. #AILayoffTrap
Vitthal Mirji retweeted
Caught up with @jonhoo at EuroRust! 🦀
• Rust's static checks matter more than ever
• Safety types could let Rust verify unsafe blocks at compile time
• LLMs are great first-pass reviewers, not final approvers
#rustlang #eurorust #interview
Vitthal Mirji retweeted
If you're a curious #Scala dev and want to see a demo of #EEZO, here is the video of our talk at @scaladays. We created and deployed a web app in the cloud (on Fly . io) from scratch in less than 30 minutes 💨
youtube.com/watch?v=IOsSpHu3…
Vitthal Mirji retweeted
Day 2 at #EuroRust, with the people behind RustRover 🦀
We’ve got the booth, the crew, cool merch and plenty of Rust to talk about. Come find us!
Vitthal Mirji retweeted
This week at @scaladays, we presented our new framework, called eezo 🐲. In #EEZO, the models are case classes, and through #Scala 3 derivation machinery, you can easily get CRUD routes over HTTP and persistence in a Postgres table. The example below mounts 7 routes in a Jetty HTTP server and creates the `book` table.
Web development made eezy again ♥️
Check out our site and say 👋: eezo.io
Vitthal Mirji retweeted
My favorite talk from Scala Days 2026 was about baking refinement types right into the compiler.
Unlike libraries like Iron or Refined, it adds a built-in solver that verifies logic and math across multiple variables at compile time with zero runtime cost.
Moving from simple checks to full verification is how Scala's type system should evolve to constrain LLMs - AI code won't compile unless the math holds up.
Vitthal Mirji retweeted
I just published my slides for my talk “Where are we going with the Standard Library?” From ScalaDays 2026 bishabosha.github.io/scalada… @scaladays