Synthetic Minds

Stealth mode YC S'18 company working on program synthesis

[Vinod Khosla @vkhosla]

Exciting. I've always been intrigued by what Program Synthesis can do. Now synthesis + AI synthesis may lead us to exciting places!

[Saurabh Srivastava @_saurabh]

10 years ago I started working on program synthesis, coz I was curious if I could build a system that would surprise me, on the tiniest of intellectual tasks.

We wrote a paper about it.

I’m glad the community found it useful. Humbled by the most influential paper award.

[Synthetic Minds @_syntheticminds]

The engineering team is super strong. Msg us if you're interested in working with us. https://t.co/toWMMT1SaL

[Synthetic Minds @_syntheticminds]

We are working on something new, release this Fall. Front-end engineers, UI/UX designers, production engineers, and product people. Come build with us.

[Synthetic Minds @_syntheticminds]

You'll get to work with a very interesting hardtech backend. Define and build its customer-facing interaction.

[Synthetic Minds @_syntheticminds]

Languages can avoid a few pitfalls, but eventually we need to be delegate code creation to synthesis. Human energy should be spent on specifying *what* we want the code to do.

[Synthetic Minds @_syntheticminds]

Only way to build software in the future will be through automation.

We built a synthesizer + verifier for Move. Have one for Solidity too. Synthesis is the fastest way to build safe apps.

The financial infrastructure of the future will be built by automation not manual coding.

[Synthetic Minds @_syntheticminds]

Language specifics matter little, as most programmers will agree. Even more so the case when its an automation that is writing the code or proving it correct.

[Synthetic Minds @_syntheticminds]

Come to our conference on the "State-of-the-art in Program Synthesis", Sep 19-20 in SF. The entirely technical program has some of the most interesting results in the field. https://t.co/YLe65Jzp4e

[Matthew Green @matthew_d_green]

300 *million* watts. I cry for humanity. https://t.co/Et5ag2paez

[Synthetic Minds @_syntheticminds]

@khoslaventures' inspiring portfolio of deep tech companies. Synthetic minds on slide 99. Proud to be part of this cohort.

[Vinod Khosla @vkhosla]

Who says innovation in Silicon Valley is dead? 100 amazing, mostly deep tech companies in our @khoslaventures portfolio doing unusual things described in 25 minutes! Excited to share some of them in the hopes of motivating other entrepreneurs https://t.co/nRA46p6y7K

[Synthetic Minds @_syntheticminds]

@alapisco We got ya. You can turn it off! DM you soon.

[Synthetic Minds @_syntheticminds]

Synthetic Minds at the Playstation Theater at https://t.co/ttIHFhBF5n. Try out our fun exercise at https://t.co/8J58RW9Wr6.

[Synthetic Minds @_syntheticminds]

Alex @vidiborvc worked with us this winter. He learnt a few things about program synthesis in the process. Can the promise of program synthesis be realized to create real business value? His thoughts: https://t.co/YWsjYXCbFw

[Synthetic Minds @_syntheticminds]

@rbhar90 4/4 Predict adoption of end-to-end specs, rather than statement/fn level spec annotations.

[Synthetic Minds @_syntheticminds]

@rbhar90 2/4 Bearish on intellectually attractive, but developer unfriendly annotation-based *new* languages.

3/4 Bullish on languages that have easier on-ramp (e.g., JS derivatives) but infrastructure to permit heavy weight verification.