| 1. | | Starlink satellites on ion thrusters to raise orbit; incomplete 2nd stage burn (twitter.com/spacex) |
| 3 points by saurabh20n on July 12, 2024 | past |
|
| 2. | | New Scientist: Arc-AGI (newscientist.com) |
| 1 point by saurabh20n on June 26, 2024 | past |
|
| 3. | | Qwen OSS 7B,14B models; techreport - Code-Qwen, Math-Qwen [sep28'23] (arxiv.org) |
| 1 point by saurabh20n on Nov 30, 2023 | past | 1 comment |
|
| 4. | | Modular: Unified Matrix Multiplication (modular.com) |
| 3 points by saurabh20n on April 21, 2023 | past |
|
| 5. | | Teaching Large Language Models to Self-Debug (arxiv.org) |
| 95 points by saurabh20n on April 12, 2023 | past | 60 comments |
|
| 6. | | Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4 (arxiv.org) |
| 44 points by saurabh20n on April 10, 2023 | past | 60 comments |
|
| 7. | | Self-Refine: Iterative Refinement with Self-Feedback (arxiv.org) |
| 3 points by saurabh20n on April 10, 2023 | past |
|
| 8. | | Binance chain bug postmortem – Proof verifier bug (twitter.com/samczsun) |
| 3 points by saurabh20n on Oct 7, 2022 | past |
|
| 9. | | DeFi Flash Loans: Why Flash Attacks Will Be the New Normal (medium.com/dragonfly-research) |
| 4 points by saurabh20n on Nov 22, 2021 | past | 1 comment |
|
| 10. | | What Are DeFi Flash Loan Attacks? (coinmarketcap.com) |
| 2 points by saurabh20n on Nov 22, 2021 | past | 1 comment |
|
| 11. | | Asteroid 2020SO to make near earth approach could be 1966 Centaur rocket booster (sciencealert.com) |
| 3 points by saurabh20n on Sept 22, 2020 | past |
|
| 12. | | Synthesizing small programs for big impact – most influential paper (POPL 2020) (sigplan.org) |
| 2 points by saurabh20n on Aug 12, 2020 | past |
|
| 13. | | New star and planet that are ‘mirror image’ of Earth and Sun (express.co.uk) |
| 1 point by saurabh20n on June 8, 2020 | past |
|
| 14. | | SpaceX Starship Prototype Collapses in Third Failed Test (gizmodo.com) |
| 5 points by saurabh20n on April 3, 2020 | past | 1 comment |
|
| 15. | | State of the art in Program Synthesis: Sep 19-20, 2019 (synthetic-minds.com) |
| 4 points by saurabh20n on Sept 18, 2019 | past |
|
| 16. | | Verifying smart contracts in Libra’s Move language (synthetic-minds.com) |
| 21 points by saurabh20n on Sept 12, 2019 | past | 5 comments |
|
| 17. | | Verifying smart contracts in Libra's Move language (synthetic-minds.com) |
| 4 points by saurabh20n on Sept 11, 2019 | past |
|
| 18. | | Tell HN: Learn about the state-of-the-art in Program Synthesis |
| 24 points by saurabh20n on Aug 23, 2019 | past | 7 comments |
|
| 19. | | Using program synthesis to secure smart contracts (2018) (synthetic-minds.com) |
| 41 points by saurabh20n on May 14, 2019 | past |
|
| 20. | | Tesla is raising the price of its full self driving option (techcrunch.com) |
| 2 points by saurabh20n on April 15, 2019 | past | 1 comment |
|
| 21. | | Facebook's Cryptocurrency (techcrunch.com) |
| 2 points by saurabh20n on March 3, 2019 | past |
|
| 22. | | From Sudoku Solver to Program Synthesis (synthetic-minds.com) |
| 48 points by saurabh20n on Feb 21, 2019 | past | 22 comments |
|
| 23. | | Stereoscopic Images of Ultima Thule from New Horizons (wired.com) |
| 4 points by saurabh20n on Jan 4, 2019 | past |
|
| 24. | | Incredible videos of SpaceX's failed landing (wired.com) |
| 2 points by saurabh20n on Dec 6, 2018 | past | 1 comment |
|
| 25. | | [dupe] NASA Insight is on Mars (twitter.com/nasainsight) |
| 72 points by saurabh20n on Nov 26, 2018 | past | 4 comments |
|
| 26. | | Launch HN: Synthetic Minds (YC S18) – Program Synthesis to Protect Dapps |
| 99 points by saurabh20n on July 11, 2018 | past | 42 comments |
|
| 27. | | Ask HN: How you prevent accidental leaks of your company's data? |
| 1 point by saurabh20n on Oct 25, 2017 | past | 1 comment |
|
| 28. | | Difficulty, block time, mining wastage in Ethereum and Bitcoin (facilelogin.com) |
| 1 point by saurabh20n on Oct 19, 2017 | past |
|
| 29. | | Ask HN: Why was SAT-solving discarded as an Ethereum proof-of-work? |
| 16 points by saurabh20n on Oct 15, 2017 | past | 2 comments |
|
| 30. | | Neural programmer: AI that writes code (sparkz.org) |
| 1 point by saurabh20n on Oct 15, 2017 | past |
|
|
| More |
