Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video]youtube.com·2 pts·5rest·1
Samidh's notes on FB internal memo “Our position on Polarization and Elections”threadreaderapp.com·1 pts·5rest·0
Automatic Speech Recognition in Sanskrit: Speech Corpus and Modelling Insightsarxiv.org·1 pts·5rest·0
Ashwagandha takes the lead to be the mother nature’s Covid-19 warrior: Studyhome.iitd.ac.in·3 pts·5rest·0