Submissions from notamonadtutorial.com

		How to get a true headache: brute forcing NTRU (notamonadtutorial.com)
		1 point by todsacerdoti on April 25, 2023 \| past
		Symmetric Encryption (notamonadtutorial.com)
		2 points by l2c on April 10, 2023 \| past
		Using Metal and Rust to make FFT even faster (notamonadtutorial.com)
		1 point by todsacerdoti on March 21, 2023 \| past
		Champagne SuperNova, incrementally verifiable computation (notamonadtutorial.com)
		1 point by l2c on Feb 2, 2023 \| past \| 2 comments
		Proof aggregation schemes: SnarkPack and aPlonk (notamonadtutorial.com)
		1 point by l2c on Jan 30, 2023 \| past
		Message Authentication Codes (notamonadtutorial.com)
		1 point by todsacerdoti on Jan 18, 2023 \| past
		Arithmetization Schemes for ZK-SNARKs (notamonadtutorial.com)
		1 point by todsacerdoti on Jan 16, 2023 \| past
		How to transform code into arithmetic circuits (notamonadtutorial.com)
		47 points by todsacerdoti on Jan 16, 2023 \| past \| 1 comment
		Pinocchio Virtual Machine: Nearly Practical Verifiable Computation (notamonadtutorial.com)
		2 points by cinthialedesma on Jan 16, 2023 \| past
		Nearly Practical Verifiable Computation with a Pinocchio Virtual Machine (notamonadtutorial.com)
		1 point by todsacerdoti on Jan 14, 2023 \| past
		Decentralized private computation: ZEXE and VERI-ZEXE (notamonadtutorial.com)
		1 point by cinthialedesma on Jan 13, 2023 \| past
		The Hunting of the (ZK)-Snark (notamonadtutorial.com)
		1 point by cinthialedesma on Jan 11, 2023 \| past
		Verifiable AES: encryption using zero-knowledge proofs (notamonadtutorial.com)
		1 point by cinthialedesma on Jan 9, 2023 \| past
		Verifiable AES: encryption using zero-knowledge proofs (notamonadtutorial.com)
		2 points by shantanu_sharma on Jan 7, 2023 \| past
		Weird ways to multiply fast with Karatsuba, Toom–Cook and Fourier (notamonadtutorial.com)
		2 points by signa11 on Jan 5, 2023 \| past
		Fully-homomorphic encryption, zero-knowledge proofs, and multiparty computation (notamonadtutorial.com)
		2 points by todsacerdoti on Dec 23, 2022 \| past
		Rebuilding the Racket Compiler with Chez Scheme (2020) (notamonadtutorial.com)
		1 point by fspeech on Aug 25, 2022 \| past
		Rebuilding the Racket Compiler with Chez Scheme (2020) (notamonadtutorial.com)
		3 points by michaelsbradley on July 24, 2022 \| past
		Secure Computation in Rust: Using Intel's SGX Instructions (notamonadtutorial.com)
		1 point by lukastyrychtr on May 16, 2022 \| past
		ClojErl: Implementation of Clojure on the Erlang Virtual Machine (notamonadtutorial.com)
		2 points by signa11 on July 16, 2021 \| past
		Beam all the things ClojErl, an implementation of Clojure on the Erlang Virtua (notamonadtutorial.com)
		3 points by todsacerdoti on July 15, 2021 \| past
		How to pretend you have social skills (notamonadtutorial.com)
		2 points by zeeshanqureshi on June 3, 2021 \| past
		Modeling complexity with Symbolics.jl and ModelingToolkit.jl – Interview with C (notamonadtutorial.com)
		4 points by todsacerdoti on March 18, 2021 \| past
		Lam: An actor-model VM for WebAssembly and native (notamonadtutorial.com)
		3 points by todsacerdoti on Feb 26, 2021 \| past
		Ballista, a distributed compute platform made with Rust and Apache Arrow (notamonadtutorial.com)
		4 points by delmatte on Jan 28, 2021 \| past
		Rebuilding the Racket Compiler with Chez Scheme (notamonadtutorial.com)
		106 points by AlexeyBrin on Nov 27, 2020 \| past \| 34 comments
		Rebuilding the Racket Compiler with Chez Scheme (notamonadtutorial.com)
		18 points by delmatte on Nov 26, 2020 \| past
		Scientific Machine Learning with Julia: The SciML Ecosystem (notamonadtutorial.com)
		4 points by delmatte on Nov 13, 2020 \| past
		Stumpy: Unleashing the Power of the Matrix Profile on Time Series Analysis (notamonadtutorial.com)
		3 points by seanlaw on Nov 2, 2020 \| past
		Julia GPU (notamonadtutorial.com)
		131 points by cdsousa on Oct 20, 2020 \| past \| 26 comments
		More

HN For You