Rodolfo Hansen – Medium

Pinned

Rodolfo Hansen

The Unanticipated Powers of Total Program Cardinality

Total Program Cardinality (TPC) remains a largely under-explored facet of software engineering, but it holds transformative potential. It…

5 min readJan 16, 2024

--

--

Pinned

Rodolfo Hansen

The most common mistake we make as Systems Thinkers.

How the Reification Fallacy applies to software and leads to three types of bad abstractions: Leaky, Sparse, and Useless.

9 min readNov 24, 2023

--

An image of leaky pipes representing how bad abstractions in code can leak

--

Pinned

Rodolfo Hansen
in
Level Up Coding

Poor man’s Pi (types)

Dependent (Pi) types are extremely useful when writing mission critical code. They allow you to easily write a function that reads an input…

3 min readMar 15, 2023

--

Poor man’s Pi (types)

--

Rodolfo Hansen

The Hidden Powers of Total Program Cardinality (2 of 2)

Recap of part 1

6 min readFeb 9, 2024

--

The Hidden Powers of Total Program Cardinality (2 of 2)

--

Rodolfo Hansen

Unit Tests give you Observability!

Measure the unobservable subspace of your program

3 min readJul 28, 2021

--

Unit Tests give you Observability!

--

Rodolfo Hansen
in
Geek Culture

Blockchain Is the End of Money.

Decentralization fixes humanities concentration of power problem…

4 min readMay 2, 2021

--

--

Rodolfo Hansen

Type System Savings

How dynamically typed languages can slow us down after the first couple of functions

5 min readNov 19, 2020

--

1

Type System Savings

--

1

Rodolfo Hansen

Show Me the Laws

Software Architecture is getting too complicated…

5 min readSep 7, 2020

--

Show Me the Laws

--

Rodolfo Hansen

We Need More Optics

I want to chime in on the sleeping Giant that are Lenses and Prisms in software development:

4 min readAug 14, 2020

--

We Need More Optics

--

Rodolfo Hansen

TDD is about making evolution explicit

In functional programming, and fervent advocates of strongly typed languages it is common to hear phrases like: “It compiles; ship it!” or…

3 min readAug 12, 2020

--

1

TDD is about making evolution explicit

--

1

Rodolfo Hansen

Rodolfo Hansen

Constructive Programming Advocate. Looking for new ways to leverage the connection between categories, logic, language, and lambdas…

Following

Help
Status
About
Careers
Blog
Privacy
Terms
Text to speech
Teams