"Writing is nothing more than a guided dream."
Home
Blog
Notes
CV
BlogRoll
Benevides' Blog
This is the place where I dump my
Org ROAM
notes.
Property-Based Testing
Distributed Replicated Block Device
JSON (PostgreSQL)
Natural Deduction
Performance Optimization (PostgreSQL)
Erlang Interface
Elixir
Lambda Calculus
inode
Distributed Computing Through Combinatorial Topology
cgroups
Dune
Distributed Systems
The Mother of All Demos
Category Theory
Supervisor
XMPP
MNESIA
Formal Methods
Phoenix.LiveView
CAP Theorem
Quorum
Dealers of Lightning
Dependent Types
Balance Vectors
Warren's Abstract Machine
Digraph
Patch Theory
FFmpeg
System Columns (PostgreSQL)
NixOS
Gleam
Hypermedia Systems
Left R-Module
ghci
Distributed Erlang
Commutative Ring
pgvector
Relation
SELinux
Type-Driven Development with Idris
Helm
Ansible
R-Module Homomorphism
Task (Elixir)
Kripke Structures
Agent (Elixir)
PostgreSQL Cluster
Data Types (PostgreSQL)
PostGIS
Linux Networking
Aristotle's Categories
NixOS Modules
Partial Order
Architectural Styles and the Design of Network-based Software Architectures
SQL
TCP/IP
Split Brain
PropEr
Application (OTP)
Isagoge
pgroll
Erlang Shell
Kubernetes-Storage
Functions and Operators (PostgreSQL)
Bitcoin
Cluster
OCaml Basics
Concurrent Erlang
Bitcoin: A Peer-to-Peer Electronic Cash System
Monoidal Finite-State Automaton
Management
Internet Small Computer Systems Interface
Algebraic Models for Accounting Systems
Error Handling in Erlang
Sequential Elixir
Kubernetes-ConfigMaps
HOSTS.TXT
Index (PostgreSQL)
ERTS
König's Lemma
Combinatory Logic
Window Functions (PostgreSQL)
ICMP
Dializer
IEx
OPAM
STONITH
Pi-Calculus
Monoid
History of Logic
Base (OCaml)
The Two Generals' Problem
Managing a Programming Project
Kubernetes-Ingress
Bash
systemd
Nix
Functional Declarative Design
kubectl
Hypervisor
Byzantine Generals Problem
Linux
Gen Event
Relational Algebra
Linux File Management
Abelian Group
Program Graph
OSI Model
Relational Theory
Fallacies of Distributed Computing
Nerves
LiveBook
Sequential Erlang
Monad
Immutable Architectures
GitOps
As We May Think
Curry-Howard Isomorphism
Erlang Term Storage
Gen Server
Kubernetes
Erlang
Kubernetes-Secrets
mandarin-chinese
Full Text Search (PostgreSQL)
Functional Programming
Boolean Algebra
Traditional Logic
LFE
Statements (PostgreSQL)
The Effective Manager
PostgreSQL REPL
CTE (PostgreSQL)
Blockchain
SCSI
OCaml
Linux Memory Management
LUKS
DNS
Frontend/Backend Protocol (PostgresSQL)
OTP Logging
sys Module (OTP)
Simple Authentication and Security Layer
SCRAM
PostgreSQL
OTP
Gen FSM
Gen StateM
Property-Based Testing
Property-Based Testing
Distributed Replicated Block Device
Distributed Replicated Block Device
JSON (PostgreSQL)
JSON (PostgreSQL)
Natural Deduction
Natural Deduction
Performance Optimization (PostgreSQL)
Performance Optimization (PostgreSQL)
Erlang Interface
Erlang Interface
Elixir
Elixir
Lambda Calculus
Lambda Calculus
inode
inode
Distributed Computing Through Combinatorial Topology
Distributed Computing Through Combinatorial Topology
cgroups
cgroups
Dune
Dune
Distributed Systems
Distributed Systems
The Mother of All Demos
The Mother of All Demos
Category Theory
Category Theory
Supervisor
Supervisor
XMPP
XMPP
MNESIA
MNESIA
Formal Methods
Formal Methods
Phoenix.LiveView
Phoenix.LiveView
CAP Theorem
CAP Theorem
Quorum
Quorum
Dealers of Lightning
Dealers of Lightning
Dependent Types
Dependent Types
Balance Vectors
Balance Vectors
Warren's Abstract Machine
Warren's Abstract Machine
Digraph
Digraph
Patch Theory
Patch Theory
FFmpeg
FFmpeg
System Columns (PostgreSQL)
System Columns (PostgreSQL)
NixOS
NixOS
Gleam
Gleam
Hypermedia Systems
Hypermedia Systems
Left R-Module
Left R-Module
ghci
ghci
Distributed Erlang
Distributed Erlang
Commutative Ring
Commutative Ring
pgvector
pgvector
Relation
Relation
SELinux
SELinux
Type-Driven Development with Idris
Type-Driven Development with Idris
Helm
Helm
Ansible
Ansible
R-Module Homomorphism
R-Module Homomorphism
Task (Elixir)
Task (Elixir)
Kripke Structures
Kripke Structures
Agent (Elixir)
Agent (Elixir)
PostgreSQL Cluster
PostgreSQL Cluster
Data Types (PostgreSQL)
Data Types (PostgreSQL)
PostGIS
PostGIS
Linux Networking
Linux Networking
Aristotle's Categories
Aristotle's Categories
NixOS Modules
NixOS Modules
Partial Order
Partial Order
Architectural Styles and the Design of Network-based Software Architectures
Architectural Styles and the Design of Network-based Software Architectures
SQL
SQL
TCP/IP
TCP/IP
Split Brain
Split Brain
PropEr
PropEr
Application (OTP)
Application (OTP)
Isagoge
Isagoge
pgroll
pgroll
Erlang Shell
Erlang Shell
Kubernetes-Storage
Kubernetes-Storage
Functions and Operators (PostgreSQL)
Functions and Operators (PostgreSQL)
Bitcoin
Bitcoin
Cluster
Cluster
OCaml Basics
OCaml Basics
Concurrent Erlang
Concurrent Erlang
Bitcoin: A Peer-to-Peer Electronic Cash System
Bitcoin: A Peer-to-Peer Electronic Cash System
Monoidal Finite-State Automaton
Monoidal Finite-State Automaton
Management
Management
Internet Small Computer Systems Interface
Internet Small Computer Systems Interface
Algebraic Models for Accounting Systems
Algebraic Models for Accounting Systems
Error Handling in Erlang
Error Handling in Erlang
Sequential Elixir
Sequential Elixir
Kubernetes-ConfigMaps
Kubernetes-ConfigMaps
HOSTS.TXT
HOSTS.TXT
Index (PostgreSQL)
Index (PostgreSQL)
ERTS
ERTS
König's Lemma
König's Lemma
Combinatory Logic
Combinatory Logic
Window Functions (PostgreSQL)
Window Functions (PostgreSQL)
ICMP
ICMP
Dializer
Dializer
IEx
IEx
OPAM
OPAM
STONITH
STONITH
Pi-Calculus
Pi-Calculus
Monoid
Monoid
History of Logic
History of Logic
Base (OCaml)
Base (OCaml)
The Two Generals' Problem
The Two Generals' Problem
Managing a Programming Project
Managing a Programming Project
Kubernetes-Ingress
Kubernetes-Ingress
Bash
Bash
systemd
systemd
Nix
Nix
Functional Declarative Design
Functional Declarative Design
kubectl
kubectl
Hypervisor
Hypervisor
Byzantine Generals Problem
Byzantine Generals Problem
Linux
Linux
Gen Event
Gen Event
Relational Algebra
Relational Algebra
Linux File Management
Linux File Management
Abelian Group
Abelian Group
Program Graph
Program Graph
OSI Model
OSI Model
Relational Theory
Relational Theory
Fallacies of Distributed Computing
Fallacies of Distributed Computing
Nerves
Nerves
LiveBook
LiveBook
Sequential Erlang
Sequential Erlang
Monad
Monad
Immutable Architectures
Immutable Architectures
GitOps
GitOps
As We May Think
As We May Think
Curry-Howard Isomorphism
Curry-Howard Isomorphism
Erlang Term Storage
Erlang Term Storage
Gen Server
Gen Server
Kubernetes
Kubernetes
Erlang
Erlang
Kubernetes-Secrets
Kubernetes-Secrets
mandarin-chinese
mandarin-chinese
Full Text Search (PostgreSQL)
Full Text Search (PostgreSQL)
Functional Programming
Functional Programming
Boolean Algebra
Boolean Algebra
Traditional Logic
Traditional Logic
LFE
LFE
Statements (PostgreSQL)
Statements (PostgreSQL)
The Effective Manager
The Effective Manager
PostgreSQL REPL
PostgreSQL REPL
CTE (PostgreSQL)
CTE (PostgreSQL)
Blockchain
Blockchain
SCSI
SCSI
OCaml
OCaml
Linux Memory Management
Linux Memory Management
LUKS
LUKS
DNS
DNS
Frontend/Backend Protocol (PostgresSQL)
Frontend/Backend Protocol (PostgresSQL)
OTP Logging
OTP Logging
sys Module (OTP)
sys Module (OTP)
Simple Authentication and Security Layer
Simple Authentication and Security Layer
SCRAM
SCRAM
PostgreSQL
PostgreSQL
OTP
OTP
Gen FSM
Gen FSM
Gen StateM
Gen StateM
Gen FSM
2025-04-07
Simple Authentication and Security Layer
2025-04-05
sys Module (OTP)
2025-04-05
SCRAM
2025-03-29
Frontend/Backend Protocol (PostgresSQL)
2025-03-29
LUKS
2025-03-29
PostGIS
2025-03-28
FFmpeg
2025-03-27
OCaml Basics
2025-03-23
Dune
2025-03-22
OPAM
2025-03-22
Base (OCaml)
2025-03-22
HOSTS.TXT
2025-03-19
pgroll
2025-03-18
pgvector
2025-03-13
JSON (PostgreSQL)
2025-03-13
Full Text Search (PostgreSQL)
2025-03-13
Warren's Abstract Machine
2025-03-01
Performance Optimization (PostgreSQL)
2025-02-27
System Columns (PostgreSQL)
2025-02-27
Ansible
2025-02-27
SELinux
2025-02-26
Hypervisor
2025-02-26
Pi-Calculus
2025-02-22
Monoidal Finite-State Automaton
2025-02-22
Kripke Structures
2025-02-21
Program Graph
2025-02-20
Data Types (PostgreSQL)
2025-02-20
PostgreSQL REPL
2025-02-19
Aristotle's Categories
2025-02-18
Formal Methods
2025-02-17
Gleam
2025-02-14
Functional Declarative Design
2025-02-14
Linux File Management
2025-02-14
Nerves
2025-02-14
LiveBook
2025-02-14
Dealers of Lightning
2025-02-13
Phoenix.LiveView
2025-02-11
Agent (Elixir)
2025-02-11
Task (Elixir)
2025-02-11
Linux Memory Management
2025-02-06
cgroups
2025-02-06
OCaml
2025-02-06
Patch Theory
2025-02-05
IEx
2025-02-04
Sequential Elixir
2025-02-04
Digraph
2025-02-03
Distributed Computing Through Combinatorial Topology
2025-02-01
XMPP
2025-02-01
PropEr
2025-01-31
Property-Based Testing
2025-01-31
ICMP
2025-01-31
Linux Networking
2025-01-31
Blockchain
2025-01-31
Bitcoin: A Peer-to-Peer Electronic Cash System
2025-01-30
Bitcoin
2025-01-30
Category Theory
2025-01-26
Gen StateM
2025-01-24
Isagoge
2025-01-21
Combinatory Logic
2025-01-20
Balance Vectors
2025-01-19
Traditional Logic
2025-01-19
Curry-Howard Isomorphism
2025-01-19
Lambda Calculus
2025-01-19
Bash
2025-01-18
LFE
2025-01-16
ERTS
2025-01-14
ghci
2025-01-07
Boolean Algebra
2025-01-04
inode
2025-01-03
Application (OTP)
2025-01-02
Distributed Erlang
2024-12-26
systemd
2024-12-26
OTP Logging
2024-12-19
Gen Event
2024-12-19
MNESIA
2024-12-17
Erlang Interface
2024-11-29
Natural Deduction
2024-10-16
TCP/IP
2024-10-16
König's Lemma
2024-10-16
OSI Model
2024-10-15
Partial Order
2024-10-13
Relation
2024-10-13
Supervisor
2024-10-13
Dependent Types
2024-10-11
Functional Programming
2024-10-11
Relational Algebra
2024-10-10
Gen Server
2024-10-10
Erlang Term Storage
2024-10-10
Relational Theory
2024-10-09
Management
2024-10-09
The Two Generals' Problem
2024-10-09
Immutable Architectures
2024-10-09
Fallacies of Distributed Computing
2024-10-09
Dializer
2024-10-09
Haskell
2024-10-08
NixOS
2024-10-07
Elixir
2024-10-06
Erlang Shell
2024-10-04
Error Handling in Erlang
2024-10-01
SCSI
2024-10-01
PostgreSQL Cluster
2024-10-01
Concurrent Erlang
2024-09-30
SQL
2024-09-28
OTP
2024-09-28
Split Brain
2024-09-28
STONITH
2024-09-26
Cluster
2024-09-26
Quorum
2024-09-25
Internet Small Computer Systems Interface
2024-09-24
Distributed Replicated Block Device
2024-09-24
Sequential Erlang
2024-09-24
Linux
2024-09-24
Window Functions (PostgreSQL)
2024-09-23
NixOS Modules
2024-09-22
Nix
2024-09-22
Index (PostgreSQL)
2024-09-21
Functions and Operators (PostgreSQL)
2024-09-21
CTE (PostgreSQL)
2024-09-21
Statements (PostgreSQL)
2024-09-18
PostgreSQL
2024-08-20
Byzantine Generals Problem
2024-08-16
Type-Driven Development with Idris
2024-07-15
CAP Theorem
2024-07-11
Monad
2024-06-19
Erlang
2024-06-19
Architectural Styles and the Design of Network-based Software Architectures
2023-10-18
The Mother of All Demos
2023-10-18
As We May Think
2023-10-18
Hypermedia Systems
2023-10-15
Monoid
2023-10-08
R-Module Homomorphism
2023-10-07
Left R-Module
2023-10-07
Commutative Ring
2023-10-07
Abelian Group
2023-10-07
Algebraic Models for Accounting Systems
2023-10-05
Managing a Programming Project
2023-04-11
mandarin-chinese
2022-02-04
Kubernetes-Ingress
2021-12-08
Distributed Systems
2021-12-02
GitOps
2021-12-01
Kubernetes-Secrets
2021-11-08
The Effective Manager
2021-11-07
History of Logic
2021-11-04
Kubernetes-ConfigMaps
2021-11-03
Kubernetes-Storage
2021-11-03
DNS
2021-10-29
Helm
2021-10-23
kubectl
2021-10-13
Kubernetes
2021-10-12