Posts categorized under: notes

Notes on lectures, articles, and so on.

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