Toots for arialdo@mastodon.online account

Written by arialdo on 2025-01-26 at 09:37

Guess how many unit tests are used in the 736 pages of “Patterns, Principles and Practices of #DDD”.

Yes: 0, zero, null, nada.

Even worse: it suggests testing by manually running the application.

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-26 at 08:54

According to the book “Patterns, Principles and Practices of Domain-Driven Design”

“optimistic concurrency control” literally means “last change wins”.

How can books be so sloppy and approximate? #DDD

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-23 at 13:15

Call me idealist but I think that Executive Orders and Presidential Pardons are relics of a bygone era of arbitrary and unchecked power, more in the realm of tyrants than in 2024 democracies.

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-21 at 21:54

Current status: getting my second read of The Book Of Monads by Alejandro Serrano Mena

https://leanpub.com/book-of-monads

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-21 at 20:38

I’m on mastodon.online

How can I learn where it is hosted?

I would like to be sure that my data is in Europe.

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-19 at 15:32

Presented as

“a value that fits into every possible type and that crashes the application when you try to use it”

it’s pretty clear how null was a horrible idea.

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-16 at 18:51

[#]Idris is such an underrated programming language…

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-15 at 19:43

I’ve suggested Kent Beck’s #TDD By Examples to a friend who was completely new to testing and with no previous experience with #Agile.

He decidedly hated it, stating it’s a simple technique not deserving so many words, that Beck can say any silly thing because he knows he’s got an audience of adoring followers.

I’ve been so surprised that I’ve decided to read it again, after so many years.

What do you think about that book folks?

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-14 at 15:17

Some times I wish #Mastodon was a planetary hit, and I am tempted to invite everybody I know to join.

I would them how peaceful, kind, tolerant, open minded and interesting people are here.

But on second thought, perhaps being such a little, nerd, alternative niche is the reason why Mastodon is so special. Maybe it's OK like it is.

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-13 at 05:45

“It's time to abandon the cargo cult metaphor”

http://www.righto.com/2025/01/its-time-to-abandon-cargo-cult-metaphor.html

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-12 at 08:51

Chapter 8 of Type Driven Development with #Idris is really tough and fascinating.

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-10 at 22:12

“Type Driven Development with Idris”book states that in #Idris interfaces can have any number of parameters, even zero.

I struggle to imagine a case where having zero parameters can be useful. Any idea?

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-09 at 09:23

Just installed #jujutsu and giving it a try

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-07 at 16:59

I'm coming to the realization that there is this progression:

TDD -> Property Testing -> Type Driven Development (with Dependent Types) -> Formal Methods

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-07 at 15:12

Why are there discussions about the Tik Tok ban when the problem is clearly Twitter?

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-06 at 21:44

Current status: reading chapter 6 of Type Driven Development with #Idris.

It is wonderful. Pure joy.

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-06 at 09:55

WTF Microsoft?

Super+Ctrl+Alt+Shift opens www.microsoft365.com

Super+Ctrl+Alt+Shift + L opens LinkedIn.com

Super+Ctrl+Alt+Shift + Y opens Yammer

Microsoft hijacked my Windows keybindings creating an idiotic "Office Key".

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-05 at 12:24

I’m reading parallel “Type-Driven Development with #Idris” and “Patterns, Principles and Practices of #DDD”.

The difference is paramount: as serious and rigorous as one is, so vague, unnecessarily verbose, and tree-hugging the other is.

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-05 at 10:08

Why do newspapers refer to Israelite soldiers as being “taken hostage” and Abu Safiya as being “arrested”?

=> More informations about this toot | View the thread

Written by arialdo on 2025-01-04 at 08:36

So far, #Idris looks beautiful: like a simpler and way more expressive #Haskell.

=> More informations about this toot | View the thread

=> This profile with reblog | Go to arialdo@mastodon.online account