saurabh20n

11 ms·

31.
Synthesizing small programs for big impact – most influential paper (POPL 2020)(blog.sigplan.org)
2 points by saurabh20n 6y ago|0 comments
32.
by saurabh20n 6y ago
There are 26-29M software developers in the world [1], which accounts for less than 0.9% of the global workforce. We can do with making programming more accessible. [1] https://www.daxx.com/blog/development-trends/
33.
by saurabh20n 6y ago
Synthetic Minds (YC S18) | REMOTE (for the moment) | $125k-$180k | 7th team member: engineer/designer Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a working prototype in stealth and ar
34.
by saurabh20n 6y ago
Synthetic Minds (YC S18) | REMOTE (for the moment) | $125k-$180k | 6th engineer/designer | All engineering team Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a working prototype in stea
35.
by saurabh20n 6y ago
Most informative takeaway for me: an amazing experiment to "see" saccades: (1) mirror, vs (2) iphone selfie camera, vs (3) macbook photobooth. Scanning my own face, for each of these 3, i tried to see my own saccade, and (1) I am
36.
New star and planet that are ‘mirror image’ of Earth and Sun(express.co.uk)
1 points by saurabh20n 6y ago|0 comments
37.
by saurabh20n 6y ago
Synthetic Minds (YC S18) | REMOTE (for the moment) | $140k+ | 6th engineer/designer | All engineering team Synthetic Minds is building program synthesizers, i.e., automation that can write code. We have a working prototype in stealth a
38.
SpaceX Starship Prototype Collapses in Third Failed Test(gizmodo.com)
5 points by saurabh20n 7y ago|1 comments
39.
by saurabh20n 7y ago
Synthetic Minds (YC S18) | REMOTE will be considered | $120k+ | All engineering team Synthetic Minds is building program synthesizers, i.e., automation that can write code. Think of what we are building as a compiler that takes code and tra
40.
by saurabh20n 7y ago
Synthetic Minds (YC S18) | Engineer #7: commensurate equity and salary | MS PhD | ONSITE, Full Time | SF or Seattle Synthetic Minds builds program synthesizers, i.e., automation that can write code. There is two decades of research that for
41.
State of the art in Program Synthesis: Sep 19-20, 2019(synthetic-minds.com)
4 points by saurabh20n 7y ago|0 comments
42.
by saurabh20n 7y ago
Thanks for the ping. Looking forward to running your contracts through our system.
43.
by saurabh20n 7y ago
Yes. We did all the work together. Was going to talk about that one later, but since you asked: Synthesizing smart contracts from test cases. https://synthetic-minds.com/pages/blog/blog-2019-09-12.html
44.
Verifying smart contracts in Libra’s Move language(synthetic-minds.com)
21 points by saurabh20n 7y ago|5 comments
45.
Verifying smart contracts in Libra's Move language(synthetic-minds.com)
4 points by saurabh20n 7y ago|0 comments
46.
by saurabh20n 7y ago
Thanks for the very kind words. Email me directly / watch our blog. We'll be releasing some new results this week.
47.
by saurabh20n 7y ago
I have a PhD in programming languages; and I hire people with these backgrounds (compilers, PL, verification, synthesis). As others have said, if you've looked at LLVM, I'd find that interesting, but for practical use, there are m
48.
by saurabh20n 7y ago
I am the OP. Along with Ras and Henele, we are leading efforts in program synthesis at Synthetic Minds (YC S’18). I started working on synthesis in 2007; and Ras has been developing these techniques since the late 90s and is an ACM fellow f
49.
Tell HN: Learn about the state-of-the-art in Program Synthesis
24 points by saurabh20n 7y ago|7 comments
50.
Using program synthesis to secure smart contracts (2018)(synthetic-minds.com)
41 points by saurabh20n 7y ago|0 comments
51.
Tesla is raising the price of its full self driving option(techcrunch.com)
2 points by saurabh20n 8y ago|1 comments
52.
by saurabh20n 8y ago
Synthetic Minds (YC S18) | SF + Seattle | $120k+ | Engineer #5: commensurate equity | ONSITE, Full Time The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems. Synthetic Minds will all
53.
Facebook's Cryptocurrency(techcrunch.com)
2 points by saurabh20n 8y ago|0 comments
54.
by saurabh20n 8y ago
Removed! We are not front-end people :) and it wasn't an active choice. Let me know if you see anything else. Sincerely appreciate the help.
55.
by saurabh20n 8y ago
Synthetic Minds (YC S18) | SF + Seattle | $120k+ | First 5 engineers: commensurate equity | ONSITE, Full Time The ideal candidate has a master/phd in systems, compilers, programming languages, or distributed systems. Synthetic Minds wi
56.
by saurabh20n 8y ago
We don't. Which browser/OS are you seeing this on?
57.
by saurabh20n 8y ago
We are looking for people who want to play around with constraint solvers. As others in this thread have mentioned, the vanilla Sudoku is not hard to really need constraint solvers; a generalized version would. We don't expect people t
58.
by saurabh20n 8y ago
This page was just a fun exercise; seems to have missed communicating fully how we use synthesis. My bad. You are right about about "2." and part of "3.". For "2." yes, the smart contracts are indeed simpler (s
59.
by saurabh20n 8y ago
You are absolutely right. Punching "extra holes" in puzzles of certain hardness should make backtracking not as viable. But we'll loose the unique solution property. Might make it more interesting? And maybe even bias it towa
60.
From Sudoku Solver to Program Synthesis(synthetic-minds.com)
48 points by saurabh20n 8y ago|22 comments

More ›