|
|
| | AMO-Lean: Towards Formally Verified Optimization via Equality Saturation in Lean (lambdaclass.com) | | 1 point by matt_d 6 days ago | past | discuss | |
| | An interview with the creator of Gleam: an ML like language for the Erlang VM (lambdaclass.com) | | 2 points by Alupis 9 months ago | past | |
| | How to code FRI from scratch (lambdaclass.com) | | 1 point by hmrtn on Feb 19, 2024 | past | |
| | Interview about Austral, a systems programming language with linear types (lambdaclass.com) | | 111 points by unbalancedparen on Dec 24, 2023 | past | 43 comments | |
| | An Overview of the Stone Cairo Stark Prover (lambdaclass.com) | | 1 point by l2c on Sept 28, 2023 | past | |
| | Lambda’s Engineering Philosophy (lambdaclass.com) | | 2 points by todsacerdoti on Sept 27, 2023 | past | |
| | Lambda Crypto Doctrine (lambdaclass.com) | | 2 points by l2c on Aug 25, 2023 | past | |
| | Inner Product Argument (IPA) and a Polynomial Commitment Scheme (lambdaclass.com) | | 1 point by l2c on Aug 25, 2023 | past | |
| | First Lambda-Ingo ZK CTF: ZK Challenges Using LambdaWorks (lambdaclass.com) | | 2 points by l2c on Aug 3, 2023 | past | |
| | Don't Bet on an Expected Value (lambdaclass.com) | | 5 points by unbalancedparen on Jan 3, 2020 | past | 1 comment | |
| | The Central Limit Theorem and Its Misuse (lambdaclass.com) | | 176 points by lelf on Dec 29, 2019 | past | 67 comments | |
|
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact
|
