Posts by Tag

• Grammar 50
• Language Theory 26
• OS 20
• Proof 12
• Hardware 12
• Framework 9
• HDL 8
• ORM 5
• Runtime 4

Grammar

Unsafe Rust

March 16, 2024

Pinned Value

March 16, 2024

Rust Asynchronous Runtime

March 15, 2024

Rust FP Features

March 14, 2024

Rust OOP Features

March 14, 2024

Rust Lifetime

March 14, 2024

Rust Reference

March 14, 2024

Rust Ownership

March 14, 2024

Rust Mutability

March 14, 2024

Rust Basic Terminology

March 14, 2024

Rust Future

March 14, 2024

Asynchronous Rust

March 14, 2024

SQLAlchemy SQL Expressions

December 21, 2023

Verilog Synthesize

August 29, 2023

Verilog Module

August 29, 2023

Verilog Block

August 29, 2023

Verilog Basics

August 29, 2023

Amaranth

August 29, 2023

Coq Tactics

July 1, 2023

Coq Proof Mode

July 1, 2023

Coq Implicit Arguments

July 1, 2023

Coq Existential Variables

July 1, 2023

Coq Induction

July 1, 2023

Coq Pattern Matching

July 1, 2023

Coq Typing

July 1, 2023

Coq Conversion

July 1, 2023

Coq Functions

July 1, 2023

Coq Sorts

July 1, 2023

Coq Language Basics

July 1, 2023

Structured Query Language

June 28, 2023

Python Decorator

September 10, 2021

Python Closure

September 10, 2021

Python Class Creation

September 10, 2021

Abstract Base Class (ABC)

September 10, 2021

Special Attributes & Methods

September 10, 2021

Python Built In Functions

September 10, 2021

Python Built In Types

September 10, 2021

Python Context Manager

September 10, 2021

Python Generator

September 10, 2021

Python Iterator

September 10, 2021

Coroutine

September 10, 2021

Method Resolution Order (MRO)

September 10, 2021

Descriptor

September 10, 2021

Python Attribute

September 10, 2021

Metaclass

September 10, 2021

Type Object

September 10, 2021

Python Object

September 10, 2021

Python Namespace

September 10, 2021

Bluespec Basics 2

August 26, 2021

Bluespec Basics 1

August 26, 2021

Back to top ↑

Language Theory

Simply Typed Lambda Calculus

July 1, 2023

Smallstep Type System

July 1, 2023

Smallstep Operational Semantics

July 1, 2023

Hoare Logic

July 1, 2023

Coq Simple Imperative Program

July 1, 2023

Indutively Defined Propositions

July 1, 2023

Constructive Logic

July 1, 2023

Software Foundations

July 1, 2023

Coq Tactics

July 1, 2023

Coq Proof Mode

July 1, 2023

Coq Implicit Arguments

July 1, 2023

Coq Existential Variables

July 1, 2023

Coq Induction

July 1, 2023

Coq Pattern Matching

July 1, 2023

Coq Typing

July 1, 2023

Coq Conversion

July 1, 2023

Coq Functions

July 1, 2023

Coq Sorts

July 1, 2023

Coq Language Basics

July 1, 2023

Coq Basics

July 1, 2023

Class vs. Object vs. Instance vs. Type

September 5, 2021

OOP Features

September 5, 2021

Type Theory

December 28, 2018

Lambda Calculus

December 28, 2018

Formal Logic

December 28, 2018

Programming Language

December 28, 2018

Back to top ↑

OS

Read Copy Update (RCU)

March 6, 2022

MCS Locks

March 6, 2022

Memory Ordering

March 6, 2022

Atomic Instructions

March 6, 2022

Lock Implementations

March 6, 2022

Interprocess Communication (IPC)

March 6, 2022

Shell

March 6, 2022

Upcall (UNIX Signal)

March 6, 2022

System Call

March 6, 2022

Interrupt

March 6, 2022

OS Kernel

March 6, 2022

Operating Systems

March 6, 2022

Thread

March 6, 2022

Demand Paging

November 28, 2021

Translation Lookup Buffer

November 28, 2021

Sparse Address Space

November 28, 2021

Page Translation

November 28, 2021

Address Translation

November 28, 2021

Virtual Memory Concept

November 28, 2021

UNIX History

October 25, 2021

Back to top ↑

Proof

Simply Typed Lambda Calculus

July 1, 2023

Smallstep Type System

July 1, 2023

Smallstep Operational Semantics

July 1, 2023

Hoare Logic

July 1, 2023

Coq Simple Imperative Program

July 1, 2023

Indutively Defined Propositions

July 1, 2023

Constructive Logic

July 1, 2023

Software Foundations

July 1, 2023

Coq Tactics

July 1, 2023

Coq Proof Mode

July 1, 2023

Lambda Calculus

December 28, 2018

Formal Logic

December 28, 2018

Back to top ↑

Hardware

DRAM Access

August 29, 2023

Systolic Array (SA)

August 29, 2023

Hardware Matrix Multiplication (MM)

August 29, 2023

Physical Storage System

June 28, 2023

Flash Drive (a.k.a SSD)

June 21, 2021

Disk Drive

June 21, 2021

Random Access Memory (RAM)

June 21, 2021

Memory Hierarchy

June 21, 2021

Multilevel Cache

June 21, 2021

Cache

June 21, 2021

Pipeline Hazard

May 31, 2021

Pipeline

May 31, 2021

Back to top ↑

Framework

Axum

March 16, 2024

FastAPI Others

December 21, 2023

FastAPI Testing

December 21, 2023

FastAPI WebSocket

December 21, 2023

FastAPI Security

December 21, 2023

FastAPI Error Handling

December 21, 2023

FastAPI Dependency

December 21, 2023

FastAPI Path Operation

December 21, 2023

FastAPI Basics

December 21, 2023

Back to top ↑

HDL

Verilog Synthesize

August 29, 2023

Verilog Module

August 29, 2023

Verilog Block

August 29, 2023

Verilog Basics

August 29, 2023

Amaranth

August 29, 2023

Hardware Description Language (HDL)

August 26, 2021

Bluespec Basics 2

August 26, 2021

Bluespec Basics 1

August 26, 2021

Back to top ↑

ORM

SQLAlchemy SQL Expressions

December 21, 2023

SQLAlchemy Mapped Class

December 21, 2023

SQLAlchemy Database Metadata

December 21, 2023

SQLAlchemy Session

December 21, 2023

SQLAlchemy Basics

December 21, 2023

Back to top ↑

Runtime

Poetry

April 2, 2024

Global Interpreter Lock (GIL)

September 3, 2021

CPython

September 3, 2021

Virtual Environment

September 3, 2021

Back to top ↑