agile_jordi's profile picture. Functional programmer with an agile background, Agilogy founder. I only (re)tweet about sw dev. Scala and Kotlin. Personal account, in catalan: @JordiPradel

Jordi Pradel - @[email protected]

@agile_jordi

Functional programmer with an agile background, Agilogy founder. I only (re)tweet about sw dev. Scala and Kotlin. Personal account, in catalan: @JordiPradel

置頂

New blog post!! 📢📢 This time I catch up with Java (lambdas, vars, etc) to design and implement a toy Jdbc library. blog.agilogy.com/2023-03-17-wri… #java #jdbc #swdesign


Jordi Pradel - @[email protected] 已轉發

Estic sense feina, no arribo a final de mes. He decidit ensenyar català a través d'un canal de YouTube per poder-me dedicar al que m'agrada i per evitar que la nostra llengua mori. Estic segura que molta gent vol aprendre a parlar català o millorar el català que parla. Necessito…


Jordi Pradel - @[email protected] 已轉發

It’s been a tough few months for Sonos. A redesign of the app caused outrage. So when a friend tipped me off to the r/Sonos subreddit filled with 261K angry people, I braced for impact. I found the expected complaints—but I also noticed they really liked an employee named Keith.


Jordi Pradel - @[email protected] 已轉發

The tutorial on implementing a type checker (with code in Kotlin and Haskell) that I gave at @Lambda_World is now available at my webpage -> serranofp.com/#tutorials


Jordi Pradel - @[email protected] 已轉發

Could not hold myself any longer... I started an experimental library using #Kotlin's Context Receivers. A #typesafe DSL to do request validation in a @JetBrainsKtor descriptive, and elegant way using @arrow_kt's new accumulating DSL by @trupill 🔥 github.com/nomisRev/arrow…

vergauwen_simon's tweet image. Could not hold myself any longer... I started an experimental library using #Kotlin's Context Receivers.

A #typesafe DSL to do request validation in a @JetBrainsKtor descriptive, and elegant way using @arrow_kt's new accumulating DSL by @trupill 🔥

github.com/nomisRev/arrow…

Jordi Pradel - @[email protected] 已轉發

What's really really wrong with current AI trends in a nutshell.

mariofusco's tweet image. What's really really wrong with current AI trends in a nutshell.

Jordi Pradel - @[email protected] 已轉發

this is a lovely speech. Congrats to the way this man has matured.

“Don’t ever, ever call me a self-made man” - Arnold Schwarzenegger



Jordi Pradel - @[email protected] 已轉發

The evolution of concurrent programming models 🧵 Here's a curated list of seminal papers that explore the two dominant models: thread-based & event-based concurrency. These models converge in async await, combining the best of both worlds.

DominikTornow's tweet image. The evolution of concurrent programming models 🧵

Here's a curated list of seminal papers that explore the two dominant models: thread-based & event-based concurrency.

These models converge in async await, combining the best of both worlds.

Jordi Pradel - @[email protected] 已轉發

This sounds great. Regarding the current usage of Object types, there is an alternative github.com/michaelbull/ko… which uses inline value classes to reduce overhead


Jordi Pradel - @[email protected] 已轉發

The Lead Kotlin Designer announced the biggest change to Kotlin in years: union types with errors. That might significantly change how we deal with exceptional cases and how we use Kotlin. Let me show you how it works and what support we can expect. Thread 🧵 👇

marcinmoskala's tweet image. The Lead Kotlin Designer announced the biggest change to Kotlin in years: union types with errors. That might significantly change how we deal with exceptional cases and how we use Kotlin. Let me show you how it works and what support we can expect. Thread 🧵 👇

Jordi Pradel - @[email protected] 已轉發

Very happy to see this feature arriving to Kotlin. Union types are the cleanest, most efficient, and most idiomatic approach to handle code branching in a type safe manner. Every program has a happy path and an alternative one that we need to handle and type accordingly.

The Lead Kotlin Designer announced the biggest change to Kotlin in years: union types with errors. That might significantly change how we deal with exceptional cases and how we use Kotlin. Let me show you how it works and what support we can expect. Thread 🧵 👇

marcinmoskala's tweet image. The Lead Kotlin Designer announced the biggest change to Kotlin in years: union types with errors. That might significantly change how we deal with exceptional cases and how we use Kotlin. Let me show you how it works and what support we can expect. Thread 🧵 👇


Jordi Pradel - @[email protected] 已轉發

The changelog file is: 2289 loc 😱 **A lot** of long awaited fixes, and improvements! Incredible work everyone that was involved #Kotlin 👏👏👏


Jordi Pradel - @[email protected] 已轉發

🤩🤩 proglang news: @unisonweb just announced (mail) that their dependents functionality (i.e. "Which functions use this function?" - correct by design) will become available from the (open sourced) graphical code browsing interface. 🧠🚴 Big jump up the mind-bicycle score!😇

mechadense's tweet image. 🤩🤩 proglang news:
@unisonweb just announced (mail) that their  dependents functionality (i.e. "Which functions use this function?" - correct by design) will become available from the (open sourced) graphical code browsing interface. 
🧠🚴 Big jump up the 
mind-bicycle score!😇

Jordi Pradel - @[email protected] 已轉發

This is a 49-pager so far. Not only that I admire the entire Kotlin team for such a historical release to come, but I’m also specifically impressed by our Tech writing team!

var_lynx's tweet image. This is a 49-pager so far. Not only that I admire the entire Kotlin team for such a historical release to come, but I’m also specifically impressed by our Tech writing team!

Jordi Pradel - @[email protected] 已轉發

If you don't need the full expressive power of regular expressions, Kaleidoscope also provides a "glob" extractor. So instead of case r"foo/([^/]*)/baz" => ... write, case g"foo/*/baz" => ...


If you are agile you are supposed to support the needs of your enterprise, both long-term and short-term. Aren’t you?

You can be agile yet still support the long-term needs of your enterprise.



Jordi Pradel - @[email protected] 已轉發

Feliz y combativo #8M by @pintamonas

isabeliita90's tweet image. Feliz y combativo #8M by @pintamonas

New blog post! In Testing the Agilogy Way I introduce the software testing strategy we've been refining and using at Agilogy helping several teams enhance their software quality and maintenability. blog.agilogy.com/2024-02-02-tes… #SoftwareTesting #SoftwareDesign #Software #Kotlin


Loading...

Something went wrong.


Something went wrong.