8 ms·
Huawei's software development practices seem quite horrifying. Critical systems like these ideally would be written in specially-designed programming languages
by winter_blue 7y ago
Huawei's software development practices seem quite horrifying. Critical systems like these ideally would be written in specially-designed programming languages that support mathematically proving correctness (Coq comes to mind). There's probably still room in the programming language design field to create new languages that are user-friendly but also integrate Coq-like systems plus other verifiability and correctness techniques into the language itself.
- Semaphor 7y agoIf you find that horrifying, don't look at Cisco CVEs ;)
- metildaa 7y agoOr Juniper's constant flow of new CVEs, they are a popular alternative to Cisco that many ISPs use heavily :P Network security is piss poor, most of these vendors add vulnerabilties atop secure distros (OpenWRT, Debian, etc) and flog it as the best thing since sliced bread.