Background on the Liskov Substitution Principle of SOLID. An in-depth look at Barbara Liskov's footprint and her contributions to abstract data types and distributed systems.
Through specific examples such as KPIs, school education, social media, and AI evaluation, we deeply explore how metrics that become targets lose their original value and cause systems to collapse.
From Lamport Clocks to Paxos and the Byzantine Generals Problem. Tracing the footsteps of computer science giant Leslie Lamport.
Exploring HTTP, HTML, and the philosophy of the open Web.
Japan's unique success and the transition to the smartphone era.
The foundation of semiconductor and computer history. An in-depth explanation of everything from the limits of vacuum tubes to the invention at Bell Labs, and the birth of Silicon Valley.
The story of the invention of the GUI, mouse, Ethernet, and Smalltalk.
Crossing the corporate histories of Intel, AMD, Apple, and NVIDIA. Delving deeply into the historical architectural battles of x86, ARM, and RISC-V, hegemony in the mobile market, the impact of Apple Silicon, the emergence of the open-source ISA RISC-V, and its geopolitical and technological significance.
The connection between discrete cosine transform and human vision. Delving into the mathematical foundations of JPEG compression to the genealogy of modern WebP/AVIF.
Starting with Adobe's PostScript, going through the Camelot Project that enabled document sharing across different OSs, we unravel the history and technical evolution of PDF, which became the global standard for digital documents.
The story from ASCII, Shift_JIS, and UTF-8 to Emoji.
Standard proliferation, power delivery, and the relationship with Thunderbolt.
Across networking, security, and performance analysis.
An operational guide to a vendor-agnostic standard observability platform.
An enterprise migration guide and crypto-agility following NIST standardization
A complete guide to supply chain defense in GitHub Actions and CI/CD. From the lessons of the SolarWinds incident, we thoroughly explain the generation and management of SBOM (SPDX/CycloneDX), the 4 levels of SLSA, and how to implement signature verification using Sigstore.
An in-depth explanation of the high-speed search technology underpinning RAG.
Standardization of APIs, agents, and security.
A comprehensive guide to building next-generation AI systems, covering AI agent evolution, ReAct patterns, Plan-and-Solve, memory mechanisms, reflection, and multi-agent systems.
A deep dive into llama.cpp and quantization. From the memory bandwidth wall to PagedAttention and Speculative Decoding, we thoroughly explain the bottlenecks of Transformer inference and the latest optimization technologies.