5rest

4 ms·

1.
CUDA kernel writing dev agent(twitter.com)
1 points by 5rest 1y ago|1 comments
2.
by 5rest 1y ago
MakoGenerate is a CUDA kernel dev agent.
3.
Terence Tao: Formalizing a proof in Lean using GitHub Copilot and canonical [video](youtube.com)
2 points by 5rest 1y ago|1 comments
4.
by 5rest 1y ago
Terrent Tao's video description: In this experiment, I took a statement in universal algebra that a collaborator of mine (Bruno Le Floch) on the Equational Theories Project had written a one-page human proof of, and set the task of for
5.
by 5rest 1y ago
The demo looks really appealing. I have a real-world use case in mind: analyzing an Excel file and asking questions about its contents. The current approach ( https://github.com/pydantic/pydantic-ai/blob/main&#
6.
by 5rest 3y ago
Could you also elaborate on how companies can reach out to you and Eric? What are the key criteria or 'table stakes' you look for in a project or team?
7.
by 5rest 3y ago
Jeremy, you've taken a bold, open initiative. Thank you for calling on all the small, innovative teams. To better understand the types of projects or applications that excite you and Eric most, could you share examples of companies or
8.
How the Indian Ocean Geoid Low Was Formed?(agupubs.onlinelibrary.wiley.com)
1 points by 5rest 3y ago|1 comments
9.
by 5rest 3y ago
A summary of this paper is at https://www.scientificamerican.com/article/giant-gravity-hol...
10.
The Daily Routines of Famous Creatives(visualcapitalist.com)
1 points by 5rest 3y ago|0 comments
11.
Abstraction Laddering(untools.co)
2 points by 5rest 4y ago|1 comments
12.
by 5rest 4y ago
Ask why and you may reach a higher abstraction. Ask how and you may device a better solution.
13.
Sanskrit Reader(ambuda.org)
3 points by 5rest 4y ago|0 comments
14.
2022, March 28: Rare Planet Alignment(whenthecurveslineup.com)
1 points by 5rest 5y ago|0 comments
15.
Welcome to ‘Web3.’ What’s That?(nytimes.com)
2 points by 5rest 5y ago|0 comments
16.
by 5rest 5y ago
I work in similar area. Giving them space and time to stream their creativity into some tangible artifact is the first step. This can be cash or a long chat on random topics. Some talented folks resign in their life due to day-to-day grind.
17.
by 5rest 5y ago
Not all contributors look for returns. There are people who are willing to contribute to a cause instead of say buying a TV. We see such contributions on gofundme to help out people in need.
18.
by 5rest 5y ago
Nice project!! Artists, traditional medicine practitioners, philosophers, social service volunteers, natural farmers, conservationists, and researchers in many obscure areas are people who come to mind while reading about Mothminds. A huge
19.
PyTorch Tutorial(pytorch.org)
1 points by 5rest 5y ago|0 comments
20.
Samidh's notes on FB internal memo “Our position on Polarization and Elections”(threadreaderapp.com)
1 points by 5rest 5y ago|0 comments
21.
Automatic Speech Recognition in Sanskrit: Speech Corpus and Modelling Insights(arxiv.org)
1 points by 5rest 5y ago|0 comments
22.
Brain-Computer Interface Smashes Previous Record for Typing Speed(spectrum.ieee.org)
161 points by 5rest 5y ago|126 comments
23.
Suspected China Hack of Microsoft Shows Signs of Prior Reconnaissance(wsj.com)
5 points by 5rest 5y ago|0 comments
24.
Mouse embryos grown outside the uterus(phys.org)
2 points by 5rest 6y ago|0 comments
25.
by 5rest 6y ago
Western yoga has been evolving over the last couple of centuries. An age-old proverb says - Truth is one, wise express it in many ways. Indian teachers came to the West and Westerners went to India to learn about Indian Philosophy - Yoga. I
26.
How to Feed Crowds in a Protest or Pandemic? The Sikhs Know(nytimes.com)
1 points by 5rest 6y ago|0 comments
27.
Ashwagandha takes the lead to be the mother nature’s Covid-19 warrior: Study(home.iitd.ac.in)
3 points by 5rest 6y ago|0 comments
28.
Corona Virus Realtime Stats(youtube.com)
2 points by 5rest 7y ago|0 comments
29.
Uncertainty in a Time of Coronavirus(blogs.scientificamerican.com)
3 points by 5rest 7y ago|0 comments
30.
New China virus: Five questions scientists are asking(nature.com)
2 points by 5rest 7y ago|0 comments

More ›