A Plea for Lean Software (1995) [pdf]
2021-10-29
Using Lightweight Formal Methods to Validate a Key-Value Storage Node in AWS S3 [pdf]
2021-10-27
Thoughtworks Technology Radar, Volume 25 [pdf]
2021-10-27
What every compiler writer should know about programmers [pdf]
2021-10-27
Covid-19 mRNA myopericarditis: intravenous injection likely cause?
2021-10-27
Some Were Meant for C (2017) [pdf]
2021-10-27
Gaseous Fission Products in the Stable Salt Reactor [pdf]
2021-10-27
Tesla AI introduces their new configurable floating point formats
2021-10-27
Unredacted Google antitrust docs [pdf]
2021-10-27
Technical Specifications for EU Digital Covid Certificates [pdf]
2021-10-27