Software Verification and Analysis Using Z3
(research.nccgroup.com)
January 2021 Archive
1081.
1083.
Facebook's role in Capitol protest larger than previously thought
(washingtonpost.com)
1084.
Excess protein enabled dog domestication during severe Ice Age winters
(scientificamerican.com)
1085.
1086.
Internet 3.0 and the Beginning of (Tech) History
(stratechery.com)
1087.
1088.
Jwz: I told you so, 2021 edition
(web.archive.org)
1089.
Internet outages hit the East Coast, causing issues for Verizon, Zoom, etc.
(washingtonpost.com)
1090.
1091.
Show HN: I made a job board that doesn't allow HackerRank tests
(borderline.biz)
1092.
1093.
Logical Fallacies
(logicalfallacies.org)
1094.
Hotwire: A new old way to build web apps
(delitescere.medium.com)
1095.
Pixel Shaders in Windows Terminal
(github.com)
1096.
1097.
Designing Engineering Organizations
(jacobian.org)
1098.
PBRT in Rust
(github.com)
1099.
Black Bart – The Buried TV Sequel to Blazing Saddles
(reprobatepress.com)
1100.
Peter M. Neumann has died
(rjlipton.wordpress.com)
1101.
Leaked memos Amazon warn 'be vigilant' due to threats to blow up data centers
(businessinsider.com)
1102.
1103.
A framework that makes things worse on purpose
(postmodernize.telnet.asia)
1104.
A few HiDPI tricks for Linux
(blog.yossarian.net)
1105.
Parable of Alien Chess
(lukesmith.xyz)
1106.
Magic Mushrooms Injected into Man's Veins Started to Grow in Blood
(iflscience.com)
1107.
Jonathan Blow – Preventing the Collapse of Civilization
(youtube.com)
1108.
Göbekli Tepe
(en.wikipedia.org)
1109.
Plotnine: Grammar of Graphics for Python (2019)
(datascienceworkshops.com)
1110.
DNS Key Value Storage
(dnskv.com)