Most-recommended programming books
(daolf.com)
April 2020 Archive
1441.
1442.
1444.
Finding Radio Frequency Side Channels
(duo.com)
1445.
C program proofs with Frama-C and its weakest-precondition plugin [pdf]
(allan-blanchard.fr)
1446.
Verified Functional Programming in Agda
(dl.acm.org)
1447.
Multiple Vulnerabilities in IBM Data Risk Manager
(github.com)
1448.
Fear of an impending car-price collapse grips auto industry
(bloomberg.com)
1449.
31% Can’t Pay the Rent: ‘It’s Only Going to Get Worse’
(nytimes.com)
1450.
AMD vs. Intel 2020: Who Makes the Best CPUs?
(tomshardware.com)
1452.
Feynman: making the extraordinary look easy
(the-tls.co.uk)
1453.
1454.
Elfeed with Tiny Tiny RSS
(codingquark.com)
1455.
1456.
1457.
1458.
Khronos Announces OpenCL 3.0
(anandtech.com)
1459.
Vox Media is cutting pay and furloughing 9% of employees
(techcrunch.com)
1461.
1464.
1465.
When debugging, attitude matters
(jvns.ca)
1468.
Towards an ImageNet Moment for Speech-to-Text
(thegradient.pub)
1469.
Photo Ark – An effort to document every species living in zoos and sanctuaries
(nationalgeographic.org)
1470.
AI: Foundations of Computational Agents, Second Edition
(artint.info)