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