Skip to content

Instantly share code, notes, and snippets.

View MangaD's full-sized avatar
📚
studying

David Gonçalves MangaD

📚
studying
View GitHub Profile
@MangaD
MangaD / apache_kafka_hadoop.md
Created November 2, 2025 21:28
Understanding Apache Kafka and Apache Hadoop: The Backbone of Modern Data Systems

Understanding Apache Kafka and Apache Hadoop: The Backbone of Modern Data Systems

CC0

Disclaimer: ChatGPT generated document.

In today’s data-driven world, two names consistently stand out when talking about large-scale data processing: Apache Kafka and Apache Hadoop. Both are open-source projects from the Apache Software Foundation, and while they often appear in the same ecosystem, they serve fundamentally different purposes.

This article explains what each technology does, how they differ, and how they can work together to power modern data architectures.

@MangaD
MangaD / ServerlessComputing.md
Created November 2, 2025 19:00
Serverless Computing

Serverless Computing

CC0

Disclaimer: ChatGPT generated document.

In Computer Science, the term "serverless" refers to a cloud computing execution model in which the cloud provider dynamically manages the allocation and provisioning of servers. Despite the name, servers still exist—but the key idea is that developers don’t have to manage them directly.

Let’s unpack this carefully and technically:

@MangaD
MangaD / programming_paradigms.md
Created November 2, 2025 14:54
Programming Paradigms Explained: From Functional to Imperative and Beyond

Programming Paradigms Explained: From Functional to Imperative and Beyond

CC0

Disclaimer: ChatGPT generated document.

When people talk about programming languages, they often mention functional, imperative, or object-oriented styles. These aren’t just buzzwords — they describe different ways of thinking about computation. Understanding these paradigms helps you see why languages look and behave the way they do, and how to choose the right tool for your next project.


@MangaD
MangaD / lambda_evolution.md
Last active November 2, 2025 10:51
The Evolution of “Lambda”: From Alonzo Church’s Calculus to Modern Programming Functions

The Evolution of “Lambda”: From Alonzo Church’s Calculus to Modern Programming Functions

CC0

Disclaimer: ChatGPT generated document.

Excellent question — and one with a surprisingly deep intellectual history that stretches back nearly a century, crossing logic, mathematics, and computer science. Let’s go through it step-by-step, from its origins in mathematical logic, through its adoption in programming languages, and up to the modern concept of “lambda functions” across today’s languages.


@MangaD
MangaD / Gray_2PC.md
Created October 28, 2025 23:10
Gray’s 2PC (Two-Phase Commit)

Gray’s 2PC (Two-Phase Commit)

CC0

Disclaimer: Grok generated document.

The Classic Atomic Commitment Protocol for Distributed Transactions


@MangaD
MangaD / CAP_Theorem.md
Created October 28, 2025 23:05
What is the CAP Theorem?

What is the CAP Theorem?

CC0

Disclaimer: Grok generated document.

The CAP theorem (also known as Brewer's theorem) is a fundamental principle in distributed systems that describes the inherent trade-offs when designing databases or data stores that operate across multiple networked nodes. It was conjectured by computer scientist Eric Brewer in 2000 during a keynote at the PODC symposium, and formally proved in 2002 by Seth Gilbert and Nancy Lynch at MIT.

The theorem states:

@MangaD
MangaD / tcp_features_internal_workings.md
Created October 27, 2025 23:31
Understanding TCP: A Comprehensive Guide to Its Features and Internal Workings

Understanding TCP: A Comprehensive Guide to Its Features and Internal Workings

CC0

Disclaimer: Grok generated document.

The Transmission Control Protocol (TCP) is a cornerstone of the Internet, ensuring reliable, ordered, and error-free data delivery between applications over IP networks. Operating at the transport layer (Layer 4 of the OSI model), TCP is used in applications like web browsing (HTTP/HTTPS), email (SMTP), and file transfers (FTP), where data integrity is critical. Unlike the lightweight, connectionless UDP, TCP establishes a virtual connection, guarantees delivery, and manages network congestion, trading some speed for robustness. In this post, we'll dive into TCP's features, mechanisms, and internal workings, including its sliding window protocol for managing data flow.

TCP Header: The Blueprint of Every Segment

@MangaD
MangaD / gRPC_vs_alternatives.md
Last active October 23, 2025 18:15
📘 Comparison of gRPC and All Major Communication Frameworks — REST, GraphQL, Thrift, Cap’n Proto, and More (2025 Edition)

📘 Comparison of gRPC and All Major Communication Frameworks — REST, GraphQL, Thrift, Cap’n Proto, and More (2025 Edition)

CC0

Disclaimer: ChatGPT generated document.

Here is a comprehensive comparison of gRPC (from Google) against its major alternatives — covering what gRPC is, when to use it, how it stacks up versus others, and what trade-offs exist. If you like, I can also pull in benchmark numbers and ecosystem maturity per language.


@MangaD
MangaD / protobuf_vs_alternatives.md
Created October 20, 2025 14:51
Comparison of Protocol Buffers (Protobuf) and All Major Serialization Alternatives

📘 Comparison of Protocol Buffers (Protobuf) and All Major Serialization Alternatives

CC0

Disclaimer: ChatGPT generated document.

Below is a single, exhaustive, expert-level comparison of Protocol Buffers (Protobuf) versus all mainstream serialization and data-interchange approaches — including both textual and binary, schema-based and schema-less, auto-generated and manual ones.


@MangaD
MangaD / cpp_google_stack.md
Created October 18, 2025 12:14
A Comprehensive Architectural Review of the Google C++ Stack: Foundational Libraries, Monorepo Management, and the Abseil Deep Dive

A Comprehensive Architectural Review of the Google C++ Stack: Foundational Libraries, Monorepo Management, and the Abseil Deep Dive

CC0

Disclaimer: Gemini generated document.

Part I: The Google Engineering Context and C++ Philosophy

I.1. C++ at Scale: Rationale for High-Performance Infrastructure