Stories by saurabh20n

Starlink satellites on ion thrusters to raise orbit; incomplete 2nd stage burn

New Scientist: Arc-AGI

Qwen OSS 7B,14B models; techreport - Code-Qwen, Math-Qwen [sep28'23]

Modular: Unified Matrix Multiplication

Teaching Large Language Models to Self-Debug

Evaluating the Logical Reasoning Ability of ChatGPT and GPT-4

Self-Refine: Iterative Refinement with Self-Feedback

Binance chain bug postmortem – Proof verifier bug

DeFi Flash Loans: Why Flash Attacks Will Be the New Normal

What Are DeFi Flash Loan Attacks?

Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis

Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis

Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis

Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis

Synthetic Minds (YC S18) is hiring a compiler engineer for program synthesis

Asteroid 2020SO to make near earth approach could be 1966 Centaur rocket booster

Synthesizing small programs for big impact – most influential paper (POPL 2020)

New star and planet that are ‘mirror image’ of Earth and Sun

SpaceX Starship Prototype Collapses in Third Failed Test

1