5rest

CUDA kernel writing dev agent

1 point by 5rest 1 week ago | 1 comment

Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video]

2 points by 5rest 1 month ago | 1 comment

How the Indian Ocean Geoid Low Was Formed?

1 point by 5rest 2 years ago | 1 comment

The Daily Routines of Famous Creatives

1 point by 5rest 2 years ago | 0 comments

Abstraction Laddering

2 points by 5rest 2 years ago | 1 comment

Sanskrit Reader

3 points by 5rest 2 years ago | 0 comments

2022, March 28: Rare Planet Alignment

1 point by 5rest 3 years ago | 0 comments

Welcome to ‘Web3.’ What’s That?

2 points by 5rest 3 years ago | 0 comments

PyTorch Tutorial

1 point by 5rest 3 years ago | 0 comments

Samidh's notes on FB internal memo “Our position on Polarization and Elections”

1 point by 5rest 3 years ago | 0 comments

Automatic Speech Recognition in Sanskrit: Speech Corpus and Modelling Insights

1 point by 5rest 3 years ago | 0 comments

Brain-Computer Interface Smashes Previous Record for Typing Speed

161 points by 5rest 4 years ago | 126 comments

Suspected China Hack of Microsoft Shows Signs of Prior Reconnaissance

5 points by 5rest 4 years ago | 0 comments

Mouse embryos grown outside the uterus

2 points by 5rest 4 years ago | 0 comments

How to Feed Crowds in a Protest or Pandemic? The Sikhs Know

1 point by 5rest 5 years ago | 0 comments

Ashwagandha takes the lead to be the mother nature’s Covid-19 warrior: Study

3 points by 5rest 5 years ago | 0 comments

Corona Virus Realtime Stats

2 points by 5rest 5 years ago | 0 comments

Uncertainty in a Time of Coronavirus

3 points by 5rest 5 years ago | 0 comments

New China virus: Five questions scientists are asking

2 points by 5rest 5 years ago | 0 comments