|
|
|
|
|
|
by justinmeiners
2532 days ago
|
|
|
This article is not about formal verification. Why would mathematical thinking involve rejecting physical realities? If there is a performance constraint you are trying to optimize, account for it. > Write a program that captures network packets and stores them on disk as fast as possible How are you going to do that without formulas involving: - network bandwidth
- disk bandwidth
- SATA bandwidth
- packet ordering
- compression time and ratios
- amdahl's law This sounds ripe for mathematical reasoning! Absolutely the way you model the problem is informed your knowledge of the hardware. |
|
|