fpjos's Avatar

fpjos

@fpjos.bsky.social

Functional Programming brings some sanity in this quick&dirty IT world. Scala3 (ZIO, KYO), Learning Rust & Ocaml. Constantly learning. Fighting entropy. X: @scalajos mastodon: @fpjos@fosstodon

40 Followers  |  325 Following  |  19 Posts  |  Joined: 22.10.2024  |  1.9367

Latest posts by fpjos.bsky.social on Bluesky

Distributed Systems 6.2: Raft
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
Post image

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
Post image

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
Post image

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
Preview
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
Post image 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
Preview
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
Preview
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
Preview
GitHub - com-lihaoyi/utest: A simple testing framework for Scala A simple testing framework for Scala. Contribute to com-lihaoyi/utest development by creating an account on GitHub.

Version 0.9.0 of the uTest #Scala testing framework is out, now with pretty-printed logging, diffs, and auto-updating golden-tests! github.com/com-lihaoyi/...

29.07.2025 05:21 โ€” ๐Ÿ‘ 2    ๐Ÿ” 1    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0
Preview
Release Kyo 1.0-RC1: A New Era of Simplicity and Stability ยท getkyo/kyo ยท GitHub We're excited to announce that Kyo is finally entering a period of API stabilization! ๐Ÿš€ Over the past three years, we've quickly iterated on the abstractions of the library to ensure they're reliab...

The release candidate of Kyo 1.0 is a huge success, and as Flavio wrote, it's a significant evolutionary step in Scala. But remember, based on the last survey, only about 30% of commercial projects have migrated to Scala 3 ๐Ÿ˜ฌ #scala github.com/getkyo/kyo/r...

14.07.2025 07:45 โ€” ๐Ÿ‘ 2    ๐Ÿ” 2    ๐Ÿ’ฌ 0    ๐Ÿ“Œ 0

@fpjos is following 20 prominent accounts