Recovered chronical un-executor.
www
Joined January 2018
- Tweets37
- Following456
- Followers106
- Likes507
from now on, more knowledge will be created by the machines than us
how long will we be able to think for a living for?
22
Francesco U retweeted
Bend 2 is here!
It is a new programming language that blocks AI mistakes via *proof checking* - the same technique big AI labs used to solve open math problems, like Navier-Stokes.
It is also very fast, and runs on GPUs.
Watch the video. Link in the comments.
RELEASE DAY
After almost 10 years of hard work, tireless research, and a dive deep into the kernels of computer science, I finally realized a dream: running a high-level language on GPUs. And I'm giving it to the world!
Bend compiles modern programming features, including:
- Lambdas with full closure support
- Unrestricted recursion and loops
- Fast object allocations of all kinds
- Folds, ADTs, continuations and much more
To HVM2, a new runtime capable of spreading that workload across 1000's of cores, in a thread-safe, low-overhead fashion. As a result, we finally have a true high-level language that runs natively on GPUs!
Here's a quick demo:
At the monastery, monks answering questions.
Everyone asks: how do I make decisions?
Monk answered: you either change yourself (accept) or change the world (act)
25
The noblest pursuit
BREAKING: Google is planning to release 32 million mosquitoes across Florida and California.
The company has asked the EPA for permission to proceed, with the public given until June 5 to respond.
The mosquitoes are infected with Wolbachia bacteria, which stops them from reproducing and slowly collapses the wild population from within.
Google's previous Debug Project trial in California's Central Valley nearly eliminated mosquitoes from three test sites entirely. A separate trial in Singapore cut dengue cases by 70% within 12 months.
Google has now released over 1 billion mosquitoes across four continents. This new proposal is the largest deployment in US history.
32
