| | Shift Networks (jeremykun.com) |
|
26 points by boltzmann64 16 days ago | past | 7 comments
|
|
| | MLIR – Defining Patterns with PDLL (jeremykun.com) |
|
3 points by matt_d 45 days ago | past
|
|
| | Group actions and hashing unordered multisets (2021) (jeremykun.com) |
|
67 points by KqAmJQ7 88 days ago | past | 5 comments
|
|
| | The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm (jeremykun.com) |
|
13 points by signa11 3 months ago | past | 2 comments
|
|
| | A High-Level Technical Overview of Homomorphic Encryption (jeremykun.com) |
|
220 points by ggeorgovassilis 4 months ago | past | 44 comments
|
|
| | Tabletop Games Based on Math Problems –| Math ∩ Programming (jeremykun.com) |
|
9 points by furcyd 6 months ago | past | 1 comment
|
|
| | Kolmogorov Complexity – A Primer (2012) (jeremykun.com) |
|
3 points by Tomte 7 months ago | past
|
|
| | Singular Value Decomposition Part 1: Perspectives on Linear Algebra (jeremykun.com) |
|
2 points by jxmorris12 7 months ago | past
|
|
| | MLIR – A Global Optimization and Dataflow Analysis (jeremykun.com) |
|
1 point by matt_d 10 months ago | past
|
|
| | MLIR – Lowering Through LLVM (jeremykun.com) |
|
2 points by matt_d 10 months ago | past
|
|
| | Socks, a matching game based on an additive combinatorics problem (jeremykun.com) |
|
2 points by bertman 11 months ago | past
|
|
| | MLIR – Using Traits (jeremykun.com) |
|
2 points by matt_d on Sept 8, 2023 | past
|
|
| | Computing Percentages Easier (jeremykun.com) |
|
2 points by warrenm on Sept 6, 2023 | past
|
|
| | Proof Gallery (jeremykun.com) |
|
18 points by Tomte on Sept 3, 2023 | past
|
|
| | MLIR for Beginners – Defining a New Dialect (jeremykun.com) |
|
3 points by matt_d on Aug 22, 2023 | past
|
|
| | NP-hard does not mean hard (2017) (jeremykun.com) |
|
128 points by stefanpie on Aug 17, 2023 | past | 93 comments
|
|
| | We're Knot Friends (jeremykun.com) |
|
177 points by edo-codes on April 3, 2023 | past | 14 comments
|
|
| | Google’s fully homomorphic encryption compiler – a primer (jeremykun.com) |
|
458 points by mmastrac on Feb 14, 2023 | past | 158 comments
|
|
| | The Fundamental Group – A Primer (jeremykun.com) |
|
1 point by gone35 on Jan 11, 2023 | past | 1 comment
|
|
| | Markov chain Monte Carlo without the bullshit (2015) (jeremykun.com) |
|
233 points by larve on Oct 25, 2022 | past | 53 comments
|
|
| | “Practical Math” Preview: Collect Sensitive Survey Responses Privately (jeremykun.com) |
|
2 points by signa11 on May 16, 2022 | past
|
|
| | Collect Sensitive Survey Responses Privately (jeremykun.com) |
|
1 point by beefman on May 15, 2022 | past
|
|
| | Why there is no Hitchhiker’s Guide to Mathematics for Programmers (2013) (jeremykun.com) |
|
3 points by graderjs on March 14, 2022 | past
|
|
| | Musings on a New Interface for Mathematics (2020) (jeremykun.com) |
|
4 points by blewboarwastake on March 11, 2022 | past
|
|
| | All Horses Are the Same Color (jeremykun.com) |
|
153 points by poetically on Dec 4, 2021 | past | 179 comments
|
|
| | Why there is no Hitchhiker’s Guide to Mathematics for Programmers (2013) (jeremykun.com) |
|
5 points by Jtsummers on Oct 1, 2021 | past
|
|
| | Bezier Curves and Picasso (2013) (jeremykun.com) |
|
1 point by lnyan on July 8, 2021 | past
|
|
| | Probably Approximately Correct – A Formal Theory of Learning (2014) (jeremykun.com) |
|
116 points by lnyan on July 5, 2021 | past | 14 comments
|
|
| | Reasonable Effectiveness of the Multiplicative Weights Update Algorithm (2017) (jeremykun.com) |
|
130 points by signa11 on July 4, 2021 | past | 16 comments
|
|
| | Searching for RH Counterexamples – Exploring Data (jeremykun.com) |
|
1 point by signa11 on June 17, 2021 | past
|
|
|
|
More |
