Posts categorized under: notes

Notes on lectures, articles, and so on.

1. 2026-01-26 notes Printer troubleshooting (personal notes)
2. 2020-05-10 notes Distributed systems: causal broadcast
3. 2020-05-09 notes Distributed systems: delivery guarantees
4. 2020-04-22 notes DNA Chisel: library for DNA constraint optimization
5. 2020-04-09 notes KLEE: symbolic execution for software testing
6. 2020-04-08 notes Distributed systems: vector clocks
7. 2020-04-08 notes Neural network model extraction
8. 2020-04-07 notes Distributed systems: partial orders and Lamport clocks
9. 2019-01-29 notes Queuing theory basics part 2: multiple servers
10. 2019-01-29 notes Queuing theory basics part 1: single server