HN Explorer

saurabh20n

↗ HN profile [ 78.2 ms ] full profile
Karma
575
Created
October 13, 2014 (11y ago)
Submissions
0
2022- Independent program synthesis research.

Founder, Synthetic Minds YC S'18 - Program synthesis for desktop automation https://warpdrive.co

Founder, 20n YC W'15 - Program synthesis for synthetic biology: http://20n.com

Postdoc (UC Berkeley): Program synthesis for cell designs to engineer cells using synthetic biology.

PhD (University of Maryland): Program synthesis.

Personal page: http://www.saurabh-srivastava.com

  1. Starlink satellites on ion thrusters to raise orbit; incomplete 2nd stage burn (twitter.com)
    3 points 1
  2. New Scientist: Arc-AGI (newscientist.com)
    1 points 0
  3. Qwen OSS 7B,14B models; techreport - Code-Qwen, Math-Qwen [sep28'23] (arxiv.org)
    1 points 1
  4. Modular: Unified Matrix Multiplication (modular.com)
    3 points 0
  5. 1 points 0
  6. Teaching Large Language Models to Self-Debug (arxiv.org)
    95 points 60
  7. Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4 (arxiv.org)
    44 points 61
  8. Self-Refine: Iterative Refinement with Self-Feedback (arxiv.org)
    3 points 0
  9. Binance chain bug postmortem – Proof verifier bug (twitter.com)
    3 points 0
  10. DeFi Flash Loans: Why Flash Attacks Will Be the New Normal (medium.com)
    4 points 1
  11. What Are DeFi Flash Loan Attacks? (coinmarketcap.com)
    2 points 1
  12. Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis (workatastartup.com)
    1 points 0 job
  13. Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis (workatastartup.com)
    1 points 0 job
  14. Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis (workatastartup.com)
    1 points 0 job
  15. Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis (workatastartup.com)
    1 points 0 job
  16. Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis (workatastartup.com)
    1 points 0 job
  17. Asteroid 2020SO to make near earth approach could be 1966 Centaur rocket booster (sciencealert.com)
    3 points 0
  18. Synthesizing small programs for big impact – most influential paper (POPL 2020) (blog.sigplan.org)
    2 points 0
  19. New star and planet that are ‘mirror image’ of Earth and Sun (express.co.uk)
    1 points 0
  20. SpaceX Starship Prototype Collapses in Third Failed Test (gizmodo.com)
    5 points 1
  21. State of the art in Program Synthesis: Sep 19-20, 2019 (synthetic-minds.com)
    4 points 0
  22. Verifying smart contracts in Libra’s Move language (synthetic-minds.com)
    21 points 5
  23. Verifying smart contracts in Libra's Move language (synthetic-minds.com)
    4 points 0
  24. Tell HN: Learn about the state-of-the-art in Program Synthesis

    Hi HN: Program synthesis generates code from specifications: test-cases, I-O examples, and assertions. On September 19-20, synthesis experts will speak about recent breakthroughs and practical tools. The talks will be…

    24 points 8
  25. Using program synthesis to secure smart contracts (2018) (synthetic-minds.com)
    41 points 0