YouTube video by Martin Kleppmann
Distributed Systems 6.2: Raft
๐บ "Distributed Systems 6.2: Raft"
Enjoyed this intro to the Raft consensus algorithm, part of a larger DistSys lecture series by @martin.kleppmann.com. The pseudo-code makes it actually digestible really well. Great watch!
www.youtube.com/watch?v=uXEY...
22.11.2025 21:56 โ ๐ 79 ๐ 8 ๐ฌ 0 ๐ 0
AI and the ironies of automation - Part 1
Some (well-known) consequences of automating work
i just released a new blog post (part 1 of 2) discussing the well-known paper "the ironies of automation" and what its findings mean for the current agentic ai automation move (spoiler: quite some questions we still need to find answers for). enjoy if you like ... ;)
www.ufried.com/blog/ironies...
23.11.2025 09:50 โ ๐ 7 ๐ 4 ๐ฌ 0 ๐ 0
Today, instead of announcing a new feature, we would like to ask you about a possible new one. ๐
In some other languages, it's possible to evaluate inline with the `>>>` symbol in a comment. This gives you a quick ability to evaluate some code. Should we add it to Metals?
21.11.2025 17:40 โ ๐ 4 ๐ 2 ๐ฌ 1 ๐ 0
A language might be brilliant but community health is the most important factor to its survival/growth (see python, rust even java), and right now scala steering committee and Odersky does not care at all about it
08.11.2025 13:29 โ ๐ 3 ๐ 0 ๐ฌ 0 ๐ 0
more and more like this; to my great despair because I love the language and invested so much of my time in it. Still hoping things could improve so many great contributors who left would come back but I'm afraid it'll go the haskell way (extreme ivory tower syndrome).
08.11.2025 13:29 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
scala if its community management was a true opened and welcoming meritocracy and not driven by politics
08.11.2025 10:20 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0
It is your fault if your application is down
Do not blame the infrastructure provider
released a new blog post in the light of the recent aws outage, discussing why blaming aws is exhibiting outdated thinking patterns and what you need to do instead if you want to build reliable systems today: www.ufried.com/blog/it_is_y.... enjoy if you like ... ;)
01.11.2025 10:34 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0
I love the language which is beautiful and incredibly powerful, invested a lot on it, know how much better than anything else it is on the jvm... But I seriously ponder to move to other stacks (mainly ocaml and rust) where community steering seems much less ivory-tower inclined
29.10.2025 14:33 โ ๐ 2 ๐ 0 ๐ฌ 1 ๐ 0
Honest question: is there still a chance scala community steering will stop its self-destruction management soon ? (zio excluded, kyo excluded and now abandoned, key innovators and evangelists leaving, ...) Seriously, community is shrinking, innovation is leaving, commercial opportunity is vanishing
29.10.2025 14:33 โ ๐ 1 ๐ 0 ๐ฌ 1 ๐ 0
Solving the wrong problem
The nagging feeling that something does not fit
i released a new blog post discussing that using genai agents for coding โ while impressive in their capabilities โ primarily seem to be a technological distraction from underlying, deeper problems (again): www.ufried.com/blog/ai_assi.... enjoy if you like ... ;)
17.10.2025 14:56 โ ๐ 3 ๐ 4 ๐ฌ 5 ๐ 0
page not found
17.10.2025 13:11 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
scalaxb 1.12.4 | scalaxb
released scalaxb 1.12.4
scalaxb.org/scalaxb-1.12.4 #Scala
11.10.2025 06:01 โ ๐ 1 ๐ 1 ๐ฌ 0 ๐ 0
same here, maybe it's unfamiliarity, time will tell, but I find kyo effect system easier to understand and to read
11.09.2025 07:24 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
scalaxb 1.12.3 | scalaxb
released scalaxb 1.12.3 featuring
- sbt plugin cross built to sbt 1.x and 2.x
- fixes Dispatch 2.x support
- updates to Log4j 2.x
scalaxb.org/scalaxb-1.12.3 #Scala
08.09.2025 04:03 โ ๐ 5 ๐ 1 ๐ฌ 0 ๐ 0
GitHub - softwaremill/realworld-tapir-zio: RealWorld.io with tapir and ZIO
RealWorld.io with tapir and ZIO. Contribute to softwaremill/realworld-tapir-zio development by creating an account on GitHub.
ZIO+Tapir+Quill combo template with CRUD operations, authentication, routing, pagination, monitoring and more. AKA type-safe, purely functional alternative to the Spring Boot ecosystem. #scala #zio github.com/softwaremill...
08.09.2025 19:39 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0
Guido van Rossum acted as a wise leader, welcoming a truly diverse community. Does scala leadership? Currently this is not the impression it gives. Continue to deny the discomfort would be a grim and fatal answer. Up to you Mr Odersky, choose a direction so we can decide our fate
06.09.2025 18:34 โ ๐ 1 ๐ 0 ๐ฌ 0 ๐ 0
Comparing python vs scala community steering : one is incredibly successful, the other 'not so much'. Python also had to overcome similar challenges (eg: v2 to v3). Scala Center should take some inspiration from them.
06.09.2025 18:34 โ ๐ 0 ๐ 0 ๐ฌ 1 ๐ 0
Langton, Degoes, Brasil are also taking some distance. Sectarian behavior from Scala Center actively boycotting ZIO&KYO (fear of concurrents, maybe just childish behavior ?) is so unhealthy. They act in a self destructive manner & in the same time would deny any problems. When will this change ?
04.09.2025 19:46 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
And I think M. Odersky has a huge responsibility on what's happening to the community right now
04.09.2025 11:55 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
04.09.2025 11:47 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Utterly disgusted by Scala Center people and toxic 'culture' : they are so 'welcoming' and 'successful' that they push Kit Langton, John Degoes (ZIO) or Flavio Brasil (KYO) and many other to leave or take distance from scala. I'm so disgusted right now. They are actively killing Scala
04.09.2025 11:44 โ ๐ 0 ๐ 0 ๐ฌ 2 ๐ 0
GitHub - seroperson/zio-http-pac4j: zio-http wrapper for pac4j, security framework to protect your web applications
zio-http wrapper for pac4j, security framework to protect your web applications - seroperson/zio-http-pac4j
I want to introduce to you my very recent library: zio-http wrapper for pac4j. pac4j is an easy and powerful security framework for authenticating users, getting their profiles, and managing authorizations to secure web applications and services.
github.com/seroperson/z...
#scala #zio #pac4j
31.08.2025 10:55 โ ๐ 1 ๐ 1 ๐ฌ 0 ๐ 0
Implementing a JWT-based authorization for zio-http
Hassle-free implementation of JWT-based authorization for a zio-http web server in Scala using pac4j.
To support the very first zio-http-pac4j release, I also wrote an article:
๐ seroperson.me/2025/09/03/z...
It shows in details how to implement a JWT-based authorization for zio-http and also covers such features as token expiration, encryption, roles and custom payload.
#scala #zio #jwt #pac4j
03.09.2025 16:03 โ ๐ 2 ๐ 1 ๐ฌ 0 ๐ 0
I believe that regarding the deep fractures in the scala community no one can say Scala Center demonstrated a successful leadership (to say the least) and we're now in really serious danger zone. Hope people in charge will overcome denial and change direction for the best
03.09.2025 16:06 โ ๐ 0 ๐ 0 ๐ฌ 0 ๐ 0
Unison for Scala devs ยท Unison programming language
Very nice side-by-side #Unison - #Scala language guide
www.unison-lang.org/compare-lang...
@unison-lang.org
22.08.2025 23:07 โ ๐ 8 ๐ 4 ๐ฌ 0 ๐ 0
IntelliJ 2025.2 with the Scala Plugin is out! ๐ Some of the new features include:
- support for named context bounds, e.g., def reduce[A: Monoid as m](xs: List[A]): A
- highlighting for duplicated field names in a named tuple
- support for referenceable package objects
#scala
04.08.2025 18:21 โ ๐ 5 ๐ 2 ๐ฌ 1 ๐ 0
Thoughts on AI and software development - Part 5
Hedging our options and moving on
i released the 5th and last post of my series that reflects upon (purely) AI-agent-based software development, containing a summary from a different angle, recommendations how to hedge options as developers and some final thoughts in general: www.ufried.com/blog/ai_and_...
enjoy if you like ... ;)
20.07.2025 08:50 โ ๐ 5 ๐ 1 ๐ฌ 0 ๐ 0
Lead Developer at Scott Logic by day, Architecturally curious, techno freak by night. Creator of Higher-Kinded-J https://higher-kinded-j.github.io
#higher-kinded-j #hkj #java #scala
Views are frequently my own
https://sake.ba
https://flowrun.io CEO
https://github.com/sake92 scala enthusiast
Developer, software crafter and DDD practitioner, space addict.
Personal blog: https://berthon.dev
https://drafts.interfluidity.com/
https://www.interfluidity.com/
https://tech.interfluidity.com/
https://zirk.us/@interfluidity
Backend dev with ๐ซ| F# | TS | C# on Debian 13 and Nix-OS.
Decisions are temporary.
Currently playing nothing
Comics pulled kicking and screaming from a designerโs head.
https://designthinking.lol
Free comics newsletter: https://designthinkingcomic.substack.com
Patreon: https://www.patreon.com/cw/designthinkingcomic
assistant professor @NYU Courant CS :: programming languages :: parallel computing :: music :: lead dev of the MaPLe compiler (https://github.com/mpllang/mpl)
https://cs.nyu.edu/~shw8119/
Front-End @unison-lang.org (Leading UCM Desktop and Unison Share)
https://github.com/hojberg
Web: hojberg.dev
Writing: https://programming-is-collaboration.com
Dance more!
Your friendly neighborhood anarcho-cynicalist. I do things with computers and occasionally succeed. ๐ฆ๐น in ๐น๐ญ since 2013. Fan of 1990s pop culture. I delete old posts.
I'm more active on Mastodon: https://chaos.social/@citizen428
Software developer
Blog : yannmoisan.com
https://apidia.net
Growing collection of high-quality Java API documentation. Interlinked. No tracking. Ready to use. #APIdoc #APIdia #Java #JavaDoc #APIbrowser
Impressum: https://apidia.net/#impressum Privacy Policy: https://apidia.net/#privacy
Technology-focused link-aggregation community.
Using /newest.rss feed. Not affiliated with lobste.rs.
Currently beta; by @mycroft.mkz.me
Software Developer, Coffee Drinker
Updates from a true open source distributed application database
ย ย trusted by thousands of successful companies for
ย ย ย best-in-class scalability, availability, performance
ย ย ย ย ย and unbeatable fault-tolerance + reliability.
(I follow my PMC)
Technical Agile Coach in Paris.
Software Engineer | AI | Scala Back-end | Google Summer Of Code 2024 & 2025 Org Admin & Mentor @Scala Center | Global Speaker | llm4s maintainer | AI Community Builder
โ ๏ธIโm on the job market for 2026!โ ๏ธ
PL researcher thinking about the future of distributed systems
> PhD from UIUC
> Postdoc at SDU
> Cohost of the Type Theory Forall podcast
> dplyukhin.github.io
s/w development is what I am passionate about
https://fpilluminated.org
https://speakerdeck.com/philipschwarz
https://github.com/philipschwarz
https://flying-officer-peter-bate.co.uk
A collection of resources to help you modernize your legacy systems confidently.
Where developers come together to innovate and inspire | May 6th & 7th 2025
Watch all the recorded talks from previous years on our YouTube channel: http://youtube.com/DevoxxUK