oldgradstudent
- Karma
- 0
- Created
- ()
- Submissions
- 0
- To Have Machines Make Math Proofs, Turn Them into a Puzzle (quantamagazine.org)
- Robert K. Brayton, pioneer in logic synthesis and formal verification, has died (eecs.berkeley.edu)
- Reevaluating Google's Reinforcement Learning for IC Macro Placement (newscientist.com)
- Crypto Trader's Criminal Trial Tests 'Code Is Law' Claim (bloomberg.com)
- How did the bike industry get into such deep trouble? (escapecollective.com)
- Best CRC Polynomials (users.ece.cmu.edu)
- Cruise Knew Its Self-Driving Cars Had Problems Recognizing Children (theintercept.com)
- A day in the life of a delivery robot (theverge.com)
- Nature flags doubts over Google AI study, pulls commentary (retractionwatch.com)
- Investigating Zika-Microcephaly's ‘Crash’ (amjmed.com)
- Microsoft-branded mice and keyboards are going away after 40 years (arstechnica.com)
- U.S. tracked China spy balloon from launch on Hainan Island along unusual path (washingtonpost.com)
- Raspberry Pi Powered Treadmill (membarrier.wordpress.com)
- How should journals handle submissions of non-reproducible research? (statmodeling.stat.columbia.edu)
- Hackers exploited 0-day, not 2018 bug, to mass-wipe My Book Live devices (arstechnica.com)