Submissions from lambdaclass.com

		How to code FRI from scratch (lambdaclass.com)
		1 point by hmrtn 9 months ago \| past
		Interview about Austral, a systems programming language with linear types (lambdaclass.com)
		111 points by unbalancedparen 11 months ago \| 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