The Origins of “Artificial Intelligence” (2018)
2020-06-05
Show HN: Fast and Simple U.S. Business Formation – Blook
2020-06-05
“Improving Compiler Construction Using Formal Methods” – Jubi Taneja
2020-06-05
Comprehensive Formal Verification of an OS Microkernel [pdf]
2020-06-04
Hubble data suggest star formation was even earlier than thought
2020-06-04
Ask HN: Best file format for archiving photos
2020-06-04
Decompression Routines for Ancient Formats
2020-06-03
Foxit Reader update removes Print to PDF
2020-06-03
Protests and Covid responses are normalizing mass surveillance
2020-06-03
Why are the first four bytes of the Java class file format CAFEBABE
2020-06-03