Software Craftsman. Simplicity evangelist, legacy wranlger. Father of twins twice (efficient). Married to an amazon. Not so smart. Don't know that much.
Tilburg, Nederland
Joined September 2011
- Tweets2.6K
- Following508
- Followers154
- Likes2.6K
Pinned Tweet
I'm keeping this quote for eternity.
"Aim high, jump the fence, yeah. Just make sure you are not setting the bar too high."
@jasonhand #MSIgniteTheTour
Yeray Cabello retweeted
Full story in @JYCabello's new article, production horror story included (a Friday deploy, a database index, and a two-week holiday):
predictablemachines.com/blog…
Worst bug a green CI ever hid from you?
Yeray Cabello retweeted
Introducing NeoHaskell: A beacon of joy in a greyed tech world
dev.to/neohaskell/introducin…
#haskell #opensource #programming
I want this docking station!
#giveaway Spread out! Come win new GuliKit SNES themed docking station for your Steam Deck, ROG Ally, Switch or Ayaneo! Retweet and say " I want this docking station!" 5 winners picked on 5th Sep! Send out when available. #gamescom2023 #GuliKit #Newlaunch
I want this new controller!
#giveaway Spread out! Come win new controller GuliKit KK3! Retweet and say " I want this new controller!" 5 winners picked on 5th Sep! Send out when available. #gamescom2023 #GuliKit #Newlaunch
Yeray Cabello retweeted
#giveaway Spread out! Come win new controller GuliKit KK3! Retweet and say " I want this new controller!" 5 winners picked on 5th Sep! Send out when available. #gamescom2023 #GuliKit #Newlaunch
Yeray Cabello retweeted
7 graphs that will challenge your intuition:
1. The Relative Value of Higher Education
Yeray Cabello retweeted
We're adding a new "Whitepapers" section to our website discussing topics related to #eventdrivenarchitectures, #eventsourcing, and related topics. The first is a work by @JYCabello on abstractions for system integrations in event sourcing. boosterframework.com/whitepa…
Yeray Cabello retweeted
This week, @JYCabello published this whitepaper on safe #integrations in #eventsourcing systems. He not only shows specific algorithms that you can use right away, but even proves them valid using #TLA+.
Integrations with third party services or other #microservices are a frequent source of challenges and errors, and having patterns like these could save a lot of time and struggle.
The algorithms have been documented to be usable from any programming language or framework, but we're planning to build the proposed abstractions in @boostthecloud to make them transparently available with nice-to-use interfaces.
It's a #longread, but if you work with an #eventdrivenarchitecture, it's totally worth it. Let us know your thoughts!
dev.to/theagilemonkeys/railw…
Not every device has to be as easy to repair as the Steam Deck, I'd love that, but I'd settle for some ease.
I'm replacing the battery of one of my kid's tablet, and I'm using a tool meant to remove painted paper from the wall, I'm using all my strength, and I'm struggling.
Here we go again, modelling an optimistic lock algorithm for integrations that have a 2+ step process.
twitch.tv/booster_framework/…
#tla #eventsourcing #eventmodelling #distributedsystems
Starting right now!
Around 12 AM Amsterdam time I will be streaming more formal methods.
The goal is to prove an algorithm for optimistic concurrency handling in integrations with systems that have two step processes to be correct.
#streaming #formalverification #eventsourcing #eventmodelling #TLA
Around 12 AM Amsterdam time I will be streaming more formal methods.
The goal is to prove an algorithm for optimistic concurrency handling in integrations with systems that have two step processes to be correct.
#streaming #formalverification #eventsourcing #eventmodelling #TLA
This is part of a whitepaper in the works at The Agile Monkeys that aims to provide an abstraction to integrations in event sourced systems as part of a bigger effort in turning Booster Framework into the ultimate Event Modelling framework.
m.twitch.tv/booster_framewor…
Around 12 AM Amsterdam time I will be streaming more formal methods.
The goal is to prove an algorithm for optimistic concurrency handling in integrations with systems that have two step processes to be correct.
#streaming #formalverification #eventsourcing #eventmodelling
This is part of a whitepaper in the works at The Agile Monkeys that aims to provide an abstraction to integrations in event sourced systems as part of a bigger effort in turning Booster Framework into the ultimate Event Modelling framework.
m.twitch.tv/booster_framewor…
I'm going to be streaming some formal methods design for the next hour, check it out:
twitch.tv/booster_framework
(it's about integrations in event sourcing)
#formalMethods #TLA #eventSourcing #eventModelling
