mathematics
- Carnival of Mathematics #233
November 1, 2024 - Packing Matrix-Vector Multiplication in Fully Homomorphic Encryption
September 6, 2024 - Shift Networks
September 2, 2024 - MLIR — Defining Patterns with PDLL
August 4, 2024 - Fully Homomorphic Encryption in Production Systems
July 31, 2024 - A High-Level Technical Overview of Fully Homomorphic Encryption
May 4, 2024 - Tabletop Games Based on Math Problems
March 8, 2024 - MLIR — A Global Optimization and Dataflow Analysis
November 15, 2023 - MLIR — Lowering through LLVM
November 1, 2023 - MLIR — Dialect Conversion
October 23, 2023 - Socks, a matching game based on an additive combinatorics problem
October 14, 2023 - MLIR — Canonicalizers and Declarative Rewrite Patterns
September 20, 2023 - Encoding Schemes in FHE
September 18, 2023 - MLIR — Verifiers
September 13, 2023 - MLIR — Folders and Constant Propagation
September 11, 2023 - MLIR — Using Traits
September 7, 2023 - Computing Percentages Easier
September 5, 2023 - MLIR — Defining a New Dialect
August 21, 2023 - MLIR — Using Tablegen for Passes
August 10, 2023 - MLIR — Writing Our First Pass
August 10, 2023 - MLIR — Running and Testing a Lowering
August 10, 2023 - MLIR — Getting Started
August 10, 2023 - Two's Complement and Group Theory
July 10, 2023 - Sample Extraction from RLWE to LWE
February 27, 2023 - Estimating the Security of Ring Learning with Errors (RLWE)
December 28, 2022 - Negacyclic Polynomial Multiplication
December 9, 2022 - Polynomial Multiplication Using the FFT
November 16, 2022 - Carnival of Mathematics #209
October 2, 2022 - Key Switching in LWE
August 29, 2022 - Modulus Switching in LWE
July 16, 2022 - "Practical Math" Preview: Collect Sensitive Survey Responses Privately
May 14, 2022 - The Gadget Decomposition in FHE
December 11, 2021 - Group Actions and Hashing Unordered Multisets
October 14, 2021 - Carnival of Mathematics #197
September 1, 2021 - Searching for RH Counterexamples — Exploring Data
June 14, 2021 - Regression and Linear Combinations
March 29, 2021 - Searching for RH Counterexamples — Scaling Up
February 16, 2021 - Searching for RH Counterexamples — Performance Profiling
February 2, 2021 - Searching for RH Counterexamples — Deploying with Docker
January 4, 2021 - Optimization Models for Subset Cover
October 20, 2020 - Searching for RH Counterexamples — Unbounded Integers
October 13, 2020 - Searching for RH Counterexamples — Adding a Database
September 11, 2020 - Searching for RH Counterexamples — Setting up Pytest
September 11, 2020 - Taylor Series and Accelerometers
July 26, 2020 - Silent Duels—Parsing the Construction
January 28, 2019 - Visualizing an Assassin Puzzle
July 24, 2018 - A parlor trick for SET
March 25, 2018 - Earthmover Distance
March 5, 2018 - NP-hard does not mean hard
December 29, 2017 - Binary Search on Graphs
November 8, 2017 - Formulating the Support Vector Machine Optimization Problem
June 5, 2017 - The Inner Product as a Decision Rule
May 22, 2017 - Bayesian Ranking for Rated Items
March 13, 2017 - The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm
February 27, 2017 - Zero Knowledge Proofs for NP
August 1, 2016 - Zero Knowledge Proofs — A Primer
July 5, 2016 - Singular Value Decomposition Part 2: Theorem, Proof, Algorithm
May 16, 2016 - Singular Value Decomposition Part 1: Perspectives on Linear Algebra
April 18, 2016 - Tensorphobia and the Outer Product
March 28, 2016 - Concrete Examples of Quantum Gates
January 11, 2016 - Hashing to Estimate the Size of a Stream
January 4, 2016 - Load Balancing and the Power of Hashing
December 28, 2015 - The Inequality
November 23, 2015 - A Quasipolynomial Time Algorithm for Graph Isomorphism: The Details
November 12, 2015 - Serial Dictatorships and House Allocation
October 26, 2015 - One definition of algorithmic fairness: statistical parity
October 19, 2015 - The Boosting Margin, or Why Boosting Doesn't Overfit
September 21, 2015 - The Welch-Berlekamp Algorithm for Correcting Errors in Data
September 7, 2015 - The Čech Complex and the Vietoris-Rips Complex
August 6, 2015 - What does it mean for an algorithm to be fair?
July 13, 2015 - Methods of Proof — Diagonalization
June 8, 2015 - The Many Faces of Set Cover
May 4, 2015 - Markov Chain Monte Carlo Without all the Bullshit
April 6, 2015 - Finding the majority element of a stream
March 9, 2015 - A Proofless Introduction to Information Theory
February 16, 2015 - Zero-One Laws for Random Graphs
February 9, 2015 - The Quantum Bit
December 15, 2014 - A Motivation for Quantum Computing
December 8, 2014 - Making Hybrid Images
September 29, 2014 - Linear Programming and Healthy Diets — Part 1
June 2, 2014 - A problem that is not (properly) PAC-learnable
April 21, 2014 - Stable Marriages and Designing Markets
April 2, 2014 - Martingales and the Optional Stopping Theorem
March 3, 2014 - (Finite) Fields — A Primer
February 26, 2014 - On Coloring Resilient Graphs
February 21, 2014 - Simulating a Biased Coin with a Fair Coin
February 12, 2014 - Elliptic Curves as Elementary Equations
February 10, 2014 - Simulating a Fair Coin with a Biased Coin
February 8, 2014 - Fixing Bugs in "Computing Homology"
January 23, 2014 - Probably Approximately Correct — a Formal Theory of Learning
January 2, 2014 - The Two-Dimensional Fourier Transform and Digital Watermarking
December 30, 2013 - Adversarial Bandits and the Exp3 Algorithm
November 8, 2013 - Optimism in the Face of Uncertainty: the UCB1 Algorithm
October 28, 2013 - Guest Post: Torus-Knotted Baklava
June 28, 2013 - Rings — A Second Primer
June 1, 2013 - Universal Properties
May 24, 2013 - Properties of Morphisms
May 15, 2013 - Categories as Types
May 4, 2013 - Rings — A Primer
April 30, 2013 - Categories, What's the Point?
April 16, 2013 - Probabilistic Bounds — A Primer
April 15, 2013 - A Sample of Standard ML, the TreeSort Algorithm, and Monoids
April 7, 2013 - Homology Theory — A Primer
April 3, 2013 - Conditional (Partitioned) Probability — A Primer
March 28, 2013 - Methods of Proof — Induction
March 21, 2013 - Seam Carving for Content-Aware Image Scaling
March 4, 2013 - Methods of Proof — Contradiction
February 28, 2013 - Methods of Proof — Direct Implication
February 16, 2013 - k-Means Clustering and Birth Rates
February 4, 2013 - Depth- and Breadth-First Search
January 22, 2013 - The Fundamental Group — A Primer
January 12, 2013 - Probability Theory — A Primer
January 4, 2013 - Groups — A Second Primer
December 22, 2012 - Groups — A Primer
December 8, 2012 - Decision Trees and Political Party Classification
October 8, 2012 - Trees—A Primer
September 16, 2012 - K-Nearest-Neighbors and Handwritten Digit Classification
August 26, 2012 - Metric Spaces — A Primer
August 26, 2012 - Dynamic Time Warping for Sequence Comparison
July 25, 2012 - The Fast Fourier Transform
July 18, 2012 - Principal Component Analysis
June 28, 2012 - The Discrete Fourier Transform — A Primer
June 23, 2012 - Streaming Median
June 14, 2012 - Thoughts after a Year of Math ∩ Programming
June 12, 2012 - The Fourier Transform — A Primer
May 27, 2012 - Double Angle Trigonometric Formulas
May 19, 2012 - False Proof – 2 = 4, As the Limit of an Infinite Power Tower
May 5, 2012 - The Fourier Series—A Primer
April 25, 2012 - Kolmogorov Complexity—A Primer
April 21, 2012 - Classic Nintendo Games are NP-Hard
March 22, 2012 - Learning Programming — Finger-Painting and Killing Zombies
March 15, 2012 - Fundamental Theorem of Algebra (With Picard's Little Theorem)
February 7, 2012 - Cryptanalysis with N-Grams
February 3, 2012 - The Fundamental Theorem of Algebra (with Galois Theory)
February 2, 2012 - Handshake Lemma
January 29, 2012 - Word Segmentation, or Makingsenseofthis
January 15, 2012 - Numerical Integration
January 8, 2012 - Row Reduction Over A Field
December 30, 2011 - Metrics on Words
December 19, 2011 - Holidays and Homicide
November 25, 2011 - Z[√2] has Infinitely Many Units
November 7, 2011 - The Smallest Non-Cyclic Simple Group has Order 60
October 8, 2011 - The Square Root of 2 is Irrational (Geometric Proof)
August 14, 2011 - The Perceptron, and All the Things it Can't Perceive
August 11, 2011 - Number Theory—A Primer
July 30, 2011 - Encryption & RSA
July 29, 2011 - False Proof—All Numbers are Describable in at Most Twenty Words
July 28, 2011 - Eigenfaces, for Facial Recognition
July 27, 2011 - Inner Product Spaces—A Primer
July 25, 2011 - Hunting Serial Killers
July 20, 2011 - False Proof—The Reals are Countable
July 19, 2011 - Graph Coloring, or Proof by Crayon
July 14, 2011 - Optimally Stacking the Deck—Kicsi Poker
July 11, 2011 - Set Theory—A Primer
July 9, 2011 - False Proof—31.5 = 32.5
July 7, 2011 - False Proof—There are Finitely Many Primes
July 5, 2011 - False Proof—1 = 2
July 5, 2011 - Geometric Series with Geometric Proofs
July 5, 2011 - Turing Machines—A Primer
July 4, 2011 - Determinism and Finite Automata—A Primer
July 2, 2011 - Turing Machines and Conway's Dreams
June 30, 2011 - The Wild World of Cellular Automata
June 29, 2011 - Tiling a Chessboard
June 26, 2011 - Teaching Mathematics—Graph Theory
June 26, 2011 - Area of a Triangle
June 24, 2011 - Sums of the first n numbers, squares
June 24, 2011 - The Party Problem
June 23, 2011 - Number of Games in a Tournament
June 23, 2011 - Google's Page Rank—The Final Product
June 20, 2011 - Linear Algebra—A Primer
June 19, 2011 - Google's PageRank—A First Attempt
June 18, 2011 - Big-O Notation—A Primer
June 14, 2011 - Well Orderings and Search
June 14, 2011 - Prime Design
June 13, 2011