Y Hacker News new | ask | show | jobs

user: 5rest created: 2016-09-12 karma: 106 6faff3 submissions: 0 points | 0 comments CUDA kernel writing dev agent 1 points | 1 comments 0 points | 0 comments Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video] 2 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments How the Indian Ocean Geoid Low Was Formed? 1 points | 1 comments The Daily Routines of Famous Creatives 1 points | 0 comments 0 points | 0 comments Abstraction Laddering 2 points | 1 comments Sanskrit Reader 3 points | 0 comments 2022, March 28: Rare Planet Alignment 1 points | 0 comments Welcome to ‘Web3.’ What’s That? 2 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments PyTorch Tutorial 1 points | 0 comments Samidh's notes on FB internal memo “Our position on Polarization and Elections” 1 points | 0 comments Automatic Speech Recognition in Sanskrit: Speech Corpus and Modelling Insights 1 points | 0 comments Brain-Computer Interface Smashes Previous Record for Typing Speed 161 points | 126 comments Suspected China Hack of Microsoft Shows Signs of Prior Reconnaissance 5 points | 0 comments Mouse embryos grown outside the uterus 2 points | 0 comments 0 points | 0 comments How to Feed Crowds in a Protest or Pandemic? The Sikhs Know 1 points | 0 comments Ashwagandha takes the lead to be the mother nature’s Covid-19 warrior: Study 3 points | 0 comments Corona Virus Realtime Stats 2 points | 0 comments Uncertainty in a Time of Coronavirus 3 points | 0 comments New China virus: Five questions scientists are asking 2 points | 0 comments