UL 4600: Developing the Standard for Safety of Autonomous Products [pdf]
2019-04-01
WSJT-X [pdf]
2019-04-01
Zombie (Programming Language): Programming Up to Congruence [pdf]
2019-04-01
Computers without clocks (2002) [pdf]
2019-04-01
Visions of the Future Posters [pdf] Nasa Jet Propulsion Lab
2019-04-01
Let's write a PDF file (2015)
2019-04-01
Dynamic Drawing: Broadening Practice and Participation in Procedural Art (2017) [pdf]
2019-04-01
LIGO and Virgo Resume Search for Ripples in Space and Time [pdf]
2019-04-01
Nick Bostrom's Vulnerable World Hypothesis [pdf]
2019-04-01
Proof Complexity (free book, pdf and corrections)
2019-04-01