1To Have Machines Make Math Proofs, Turn Them into a Puzzle (opens in new tab)(quantamagazine.org)3oldgradstudent7mo ago0Save
2I Tried the Robot That's Coming to Live with You. It's Still Part Human (opens in new tab)(wsj.com)5oldgradstudent7mo ago2Save
3Barclays tells customers to contact food banks as IT disruption enters third day (opens in new tab)(news.sky.com)6oldgradstudent1y ago0Save
4Robert K. Brayton, pioneer in logic synthesis and formal verification, has died (opens in new tab)(eecs.berkeley.edu)5oldgradstudent1y ago2Save
5Updates Spark Uproar: Google's AlphaChip "updates" reignite criticisms (opens in new tab)(cacm.acm.org)1oldgradstudent1y ago0Save
6Reevaluating Google's Reinforcement Learning for IC Macro Placement (opens in new tab)(newscientist.com)2oldgradstudent1y ago0Save
