saurabh20n

15 ms·

91.
by saurabh20n 8y ago
Ah, sorry. Happy to explain any pieces in more detail. I hope the core is clear: If you think of Dapps as servers, then it synthesizes its clients (specifically ones that cause assertion failures). For bugs: The demo videos on the FAQ page
92.
Launch HN: Synthetic Minds (YC S18) – Program Synthesis to Protect Dapps
99 points by saurabh20n 8y ago|42 comments
93.
by saurabh20n 8y ago
10-50 lines of code. You have to pick the right domain. Sumit is doing a lot of work [1] on integrating these ideas into Microsoft's products, e.g., Excel's flash fill. Ras [2] is synthesizing biology models and architecture desig
94.
Ask HN: How you prevent accidental leaks of your company's data?
1 points by saurabh20n 9y ago|1 comments
95.
Difficulty, block time, mining wastage in Ethereum and Bitcoin(medium.facilelogin.com)
1 points by saurabh20n 9y ago|0 comments
96.
by saurabh20n 9y ago
Actual work towards this: http://sparkz.org/ai/program-synthesis/2017/10/11/neural-pro...
97.
by saurabh20n 9y ago
There are few comments here: https://www.reddit.com/r/ethereum/comments/2l0ht4/alternativ... , but seems unlikely that was the entirety of the discussion.
98.
Ask HN: Why was SAT-solving discarded as an Ethereum proof-of-work?
16 points by saurabh20n 9y ago|2 comments
99.
Neural programmer: AI that writes code(sparkz.org)
1 points by saurabh20n 9y ago|0 comments
100.
by saurabh20n 9y ago
Agree. Deep learning does not bring us closer to AGI. It might get us closer to other proxies of "mechanical intelligence" that will be very productive. I now believe we are 3 years from building an AI that writes Python well enou
101.
Neural programmer: AI that writes code(sparkz.org)
3 points by saurabh20n 9y ago|0 comments
102.
Deep learning augmented with theorem proving enables new apps(sparkz.org)
3 points by saurabh20n 9y ago|0 comments
103.
Neural programmer: AI that writes code(sparkz.org)
2 points by saurabh20n 9y ago|0 comments
104.
Usafacts.org is live – Big picture summary(usafacts.org)
2 points by saurabh20n 9y ago|0 comments
105.
Usafacts.org – summary slides(usafacts.org)
1 points by saurabh20n 9y ago|0 comments
106.
by saurabh20n 10y ago
Very interesting. I work in AI. Curious about trends in your industry. Please ping me at the email address in my profile.
107.
20n's prediction platform for synthetic biology is now open source(20n.com)
2 points by saurabh20n 10y ago|0 comments
108.
An open source platform for engineering biology: 20n/act(20n.com)
3 points by saurabh20n 10y ago|2 comments
109.
USPTO decides in favor of MIT in CRISPR patent case(theatlantic.com)
2 points by saurabh20n 10y ago|0 comments
110.
Ford to invest $1B over 5 years in self driving startup Argo AI(usatoday.com)
6 points by saurabh20n 10y ago|1 comments
111.
Tesla Model S P100DL Motor Trend all-time world record 60mph in 2.27s(twitter.com)
81 points by saurabh20n 10y ago|87 comments
112.
Cruise (GM) demos autonomous driving on SF streets(theverge.com)
9 points by saurabh20n 10y ago|2 comments
113.
by saurabh20n 10y ago
#22 - "system should write code that sorts a list, rather than just being able to sort lists." Using symbolic techniques, synthesizing algorithms is tractable. See Sec5.3 on pg11- of http://saurabh-srivastava.com/p
114.
FRBs: Burst of Radio Waves Arose in Tiny Galaxy(space.com)
1 points by saurabh20n 10y ago|0 comments
115.
by saurabh20n 10y ago
One possibility is as an extension of the untargeted analysis: run the analysis over different kinds of samples. The output for each sample is the list of major peaks (and intensities). Use this as the "image" to train a (shallow)
116.
by saurabh20n 10y ago
Agree that this is not written with the rigor of a journal paper. Our intention was to communicate the simple wins we've had employing deep learning in comparison to the tools of the prior generation. XCMS is the most widely used libra
117.
Deep learning can debug biology(20n.com)
119 points by saurabh20n 10y ago|11 comments
118.
Deep learning helps debug biology(20n.com)
13 points by saurabh20n 10y ago|1 comments
119.
by saurabh20n 11y ago
20n | San Francisco | Full Time, ONSITE | http://20n.com | Genetic engineering, Machine learning, Data Mining, and Bioinformatics Biology is severely under-utilized. 20n (YC W15) fixes that using software predictions to create c
120.
by saurabh20n 11y ago
20n | San Francisco | Full Time, ONSITE | http://20n.com | Machine learning, Data Mining, Bioinformatics, Microbial engineering Biology is severely under-utilized. 20n (YC W15) fixes that using software predictions to create cel

More ›