| | 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 |