2Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video] (opens in new tab)(youtube.com)25rest10mo ago1
3How the Indian Ocean Geoid Low Was Formed? (opens in new tab)(agupubs.onlinelibrary.wiley.com)15rest2y ago1
10Samidh's notes on FB internal memo “Our position on Polarization and Elections” (opens in new tab)(threadreaderapp.com)15rest4y ago0
11Automatic Speech Recognition in Sanskrit: Speech Corpus and Modelling Insights (opens in new tab)(arxiv.org)15rest4y ago0
12Brain-Computer Interface Smashes Previous Record for Typing Speed (opens in new tab)(spectrum.ieee.org)1615rest4y ago126
13Suspected China Hack of Microsoft Shows Signs of Prior Reconnaissance (opens in new tab)(wsj.com)55rest4y ago0
15How to Feed Crowds in a Protest or Pandemic? The Sikhs Know (opens in new tab)(nytimes.com)15rest5y ago0