Automatic Rust verification tools (2021)
(alastairreid.github.io)
June 2021 Archive
13021.
13022.
Dad built an adaptive USB keyboard for his son with muscular conditions
(blog.arduino.cc)
13023.
Kakoune
(kakoune.org)
13024.
Orange boss under pressure over French telecoms outage
(reuters.com)
13025.
13026.
Micron Ships First 1-Alpha DRAM: Extreme Density Without EUV
(tomshardware.com)
13027.
A humble bunch of handy scripts
(gitlab.com)
13028.
China's gigantic multi-modal AI is no one-trick pony
(engadget.com)
13029.
A Literal Pyramid Scheme
(satoshipyramid.com)
13030.
Arm Launches the DSU-110 for New Armv9 CPU Clusters – WikiChip Fuse
(fuse.wikichip.org)
13031.
David Deutsch on Multiple Worlds and Our Place in Them with Tyler Cowen
(podcasts.apple.com)
13032.
13033.
Making the Most Out of iOS Crash Reports with LLDB
(guardsquare.com)
13034.
13036.
13037.
Trigonometric Functions in CSS
(tympanus.net)
13038.
Passwordless Login: Reengaging Business Owners with Less Friction
(engineeringblog.yelp.com)
13039.
Roundup of unique storage hosting options
(changelog.complete.org)
13040.
Is it time to give up on consciousness as 'the ghost in the machine'?
(theconversation.com)
13041.
Smart Bike Predicts Cars' Trajectories, Honks to Warn of Impending Crash
(spectrum.ieee.org)
13042.
Python Annotations Best Practices
(docs.python.org)
13043.
Cast Int as String C++
(kodlogs.com)
13044.
Customers Love Free Stuff but That’s Not Your Problem
(abovethecrowd.com)
13045.
Amazon to Stop Testing Workers for Marijuana and Will Lobby Federal Legalization
(marijuanamoment.net)
13046.
GraalVM 21.1 Released – What's New?
(i-programmer.info)
13047.
13048.
A genetic link to Covid-19 loss of smell and taste
(medrxiv.org)
13049.