Commit Graph

21 Commits (main)

Author SHA1 Message Date
Joshua Potter e87168b297 Additional lambda calculus notes. 2024-05-26 17:06:33 -06:00
Joshua Potter 5eb338be7e Predicate transformers, set axioms, `leaq`. 2024-05-15 07:59:08 -06:00
Joshua Potter a9d0925080 Copenhagen notes. 2024-05-09 14:29:12 -06:00
Joshua Potter 09d6c5c1b8 Finished notes on heapsort. 2024-04-29 11:12:56 -06:00
Joshua Potter d04bd101ad Heaps and science of programming notes. 2024-04-29 07:29:03 -06:00
Joshua Potter f3b59d77f6 Ordered/binary trees. 2024-04-14 11:58:01 -06:00
Joshua Potter 4b65764c89 Rename "References" section to "Bibliography". 2024-03-22 09:26:41 -06:00
Joshua Potter 091521c382 Start adding x86-64 notes. 2024-03-22 08:10:08 -06:00
Joshua Potter 74e7b8df0c Reorganize `awk` notes. 2024-03-20 07:16:45 -06:00
Joshua Potter 33466a2583 Notes on graphs. 2024-03-18 18:28:34 -06:00
Joshua Potter 1651c9d6c3 Add notes on next lexicographic ordering. 2024-03-06 13:25:34 -07:00
Joshua Potter 0c698311d5 Notes on sequences. 2024-03-01 07:12:43 -07:00
Joshua Potter 2663b97c55 Add merge sort and more notes on floors/ceilings. 2024-02-23 19:43:29 -07:00
Joshua Potter 27adc88529 More notes on combinations/binomial coefficients. 2024-02-19 16:16:53 -07:00
Joshua Potter 30c6fb97b5 Additional notes on binary shifting. 2024-02-15 16:23:53 -07:00
Joshua Potter 49fbfb0ec5 Nest journal entries into months. 2024-02-11 05:33:02 -07:00
Joshua Potter 4982b6e21f Add more sorting algorithm details. Bubble sort. 2024-02-09 11:50:56 -07:00
Joshua Potter 00f23d5f94 Add notes on sorting algorithms and equiv-trans. 2024-02-08 07:02:59 -07:00
Joshua Potter 3e5bb9b9a7 More "Science of Programming" and `awk`. 2024-02-07 06:18:19 -07:00
Joshua Potter 5d4313023a Merge 2023-02-03 (#3)
Science of programming and `awk`.

Reviewed-on: #3
Co-authored-by: Joshua Potter <jrpotter2112@gmail.com>
Co-committed-by: Joshua Potter <jrpotter2112@gmail.com>
2024-02-04 00:20:31 +00:00
Joshua Potter 5425627df1 Merge 2024-02-02 (#2)
Insertion sort and `awk`.

Reviewed-on: #2
Co-authored-by: Joshua Potter <jrpotter2112@gmail.com>
Co-committed-by: Joshua Potter <jrpotter2112@gmail.com>
2024-02-03 03:36:20 +00:00