A First-Principles-Driven Life

Archive

15 Feb 2025

PatternMatchable, Yoneda Embedding, and Adjunction

21 Sep 2024

What Is Principle and Can We Know It?

28 Nov 2023

Goodbye, the Waystation Crypto Libertarians!

07 Jul 2023

A Solidity Compilers Collection in Nix

28 Feb 2023

My Haskell Tiny Game Jam Submissions: Othello & Lol

27 Jan 2023

Reactive Exchanges - SLAMM dunk with Superfluid

11 Dec 2022

Stop Writing Instructions and Use Nix

28 Oct 2022

Muh L1s (Layer 1 Blockchains)

24 Oct 2022

First Yellowpaper About Superfluid Protocol, the Beginning of Something Greater

18 Aug 2022

Superfluid Tech Deep Dives - Maths of Generalized Distribution Agreements

04 May 2010

[翻译] (Unfinished) 国家民粹主义对比民主

05 Dec 2008

[PAPER] Non-Blocking Algorithms

04 Dec 2008

Timer In Bash

19 Nov 2008

Generic Atomic Object (GAO) - A Non-Blocking FIFO Queue

20 Jul 2008

使用KGDB调试Linux内核

20 May 2008

用ldscript实现编译期功能插入

30 Jun 2007

冲刺ELF极限——最小ELF程序

22 Jul 2005

关于volatile

Creative Commons License
A First-Principles-Driven Life by Miao, ZhiCheng is licensed under a Creative Commons Attribution 3.0 License.