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