Reading List

Holding a program in one's head

"The reason to finish is to start something new."

Here is the format

#### dd-mm-yy

[Status (, Status date)*]  <br>
Title/link. Short description.

Status is one of these:
    Plan    to be read
    Cancel  remove from to be read, give your reason
    Start   started reading
    Pause   stop for now, will continue later
    Drop    not continuing again, give your reason
    Done    finished
    Review  wrote a review
    Impl    built a project from the book

05-04-25

[Plan]
Creating the Bolt Compiler. 11 parts tutorial with OCaml and LLVM.

04-04-25

[Start]
OCaml From the Very Beginning. John Whitington.

[Plan]
Mathematical Logic Through Python. 2022. https://www.logicthrupython.org/

03-04-25

[Start]
C Traps and Pitfalls.

[Plan]
5000 Years of Geometry. Christoph J. Scriba, Peter Schreiber. Birkhauser.

01-04-25

[Start, Done 03]
Misra-C:2024. I have been looking for this. Got from X comment section. This looks easier to read than SEI CERT.