Group Theory Application: Boolean Function Counting

Updated at 5/31/2023

Abstract algebra is often challenging to understand initially because of its abstract nature. This article introduces an application of group theory: counting boolean functions.

Brief Notes on 6.824 Lab 1

Updated at 5/31/2023

Brief notes on my implementation of 6.824 Lab 1.

Happy 1024

Updated at 10/24/2022

1024

Happy 1024! Here's a picture for everyone. I hope everyone is happy.

Extract type from `Option` in ProcMacro of Rust

Updated at 10/1/2022

Rust

ProcMacro

Recently I was learning Rust ProcMacro, and I was trying to complete the exercises of proc-macro-workshop. In the exercises, I encountered a problem, that is, how to extract the type from `Option`. Here I record the solution.

Hamming Code

Updated at 8/25/2022

Encode

Relearned the classic Hamming code recently. Share the process and principles here.

Hello, World

Updated at 5/10/2023

LoD is finally built Here will be updated the experience of building LoD.