Byzantine Generals Problem

August 16, 2024 by Marcos Benevides

Type-Driven Developmet with Idris

July 15, 2024 by Marcos Benevides

CAP Theorem

July 11, 2024 by Marcos Benevides

Designing for Scalability with Erlang/Otp: Implement Robust, Fault-Tolerant Systems

July 6, 2024 by Marcos Benevides

Introducing Erlang: Getting Started in Functional Programming

July 6, 2024 by Marcos Benevides

Programming Erlang: Software for a Concurrent World

July 6, 2024 by Marcos Benevides

Erlang

June 19, 2024 by Marcos Benevides

Monad

June 19, 2024 by Marcos Benevides

Monoid

October 8, 2023 by Marcos Benevides

Abelian Group

October 7, 2023 by Marcos Benevides

Commutative Ring

October 7, 2023 by Marcos Benevides

Left R-Module

October 7, 2023 by Marcos Benevides

R-Module Homomorphism

October 7, 2023 by Marcos Benevides

Algebraic Models for Accouting Systems

October 5, 2023 by Marcos Benevides

Managing a Programming Project

April 11, 2023 by Marcos Benevides

Distributed Systems

November 20, 2021 by Marcos Benevides

History of Logic: From Aristotle to Taski

November 11, 2021 by Marcos Benevides