Posts
- Unusual Tips for Parenting Toddlers
2024-04-01
#april cools - Tabletop Games Based on Math Problems
2024-03-08
#tabletop games
#mathematics
#set
#card games - MLIR — A Global Optimization and Dataflow Analysis
2023-11-15
#compilers
#heir
#mathematics
#mlir
#optimization
#primer
#programming - MLIR — Lowering through LLVM
2023-11-01
#compilers
#heir
#llvm
#mathematics
#mlir
#primer
#programming - MLIR — Dialect Conversion
2023-10-23
#cryptography
#heir
#mathematics
#mlir
#polynomial ring
#polynomials
#primer
#programming - Socks, a matching game based on an additive combinatorics problem
2023-10-14
#additive combinatorics
#board games
#card game
#games
#Group Theory
#mathematics - MLIR — Canonicalizers and Declarative Rewrite Patterns
2023-09-20
#c++
#canonicalization
#compilers
#complex numbers
#mathematics
#mlir
#polynomials
#primer
#programming - Encoding Schemes in FHE
2023-09-18
#complex numbers
#cryptography
#encoding
#fhe
#fully homomorphic encryption
#learning with errors
#lwe
#mathematics
#Number Theory
#programming
#residue number system
#rlwe - MLIR — Verifiers
2023-09-13
#c++
#compilers
#mathematics
#mlir
#primer
#programming - MLIR — Folders and Constant Propagation
2023-09-11
#c++
#compilers
#folding
#heir
#mathematics
#mlir
#programming - MLIR — Using Traits
2023-09-07
#c++
#heir
#mathematics
#mlir
#programming - Computing Percentages Easier
2023-09-05
#arithmetic
#mathematics - MLIR — Defining a New Dialect
2023-08-21
#compilers
#define
#endif
#ifdef
#include
#mathematics
#mlir
#polynomials
#programming
#undef - MLIR — Using Tablegen for Passes
2023-08-10
#compilers
#cryptography
#define
#endif
#fhe
#fully homomorphic encryption
#heir
#ifdef
#include
#llvm
#mathematics
#mlir
#programming
#tablegen
#undef - MLIR — Writing Our First Pass
2023-08-10
#compilers
#cryptography
#fhe
#fully homomorphic encryption
#heir
#llvm
#mathematics
#programming - MLIR — Running and Testing a Lowering
2023-08-10
#c++
#compilers
#fhe
#fully homomorphic encryption
#heir
#llvm
#mathematics
#mlir
#programming - MLIR — Getting Started
2023-08-10
#compilers
#cryptography
#fhe
#fully homomorphic encryption
#heir
#llvm
#mathematics
#mlir
#programming - Google's Recent FHE work, and starting HEIR
2023-08-10
- Two's Complement and Group Theory
2023-07-10
#abelian groups
#circuits
#groups
#mathematics
#programming
#quotients
#symmetry
#twos complement - We're Knot Friends
2023-04-01
#april cools - Sample Extraction from RLWE to LWE
2023-02-27
#cryptography
#fhe
#fully homomorphic encryption
#linear algebra
#lwe
#mathematics
#programming
#rlwe - Google's Fully Homomorphic Encryption Compiler — A Primer
2023-02-13
- Estimating the Security of Ring Learning with Errors (RLWE)
2022-12-28
#cod
#cryptography
#lattice cryptography
#learning with errors
#lwe
#mathematics
#programming
#ring learning with errors
#rlwe
#sage
#security
#test
#top - Negacyclic Polynomial Multiplication
2022-12-09
#complex twist
#cryptography
#fourier transform
#mathematics
#negacyclic
#polynomial ring
#polynomials
#programming
#python - Polynomial Multiplication Using the FFT
2022-11-16
#fft
#fourier transform
#mathematics
#polynomial interpolation
#polynomials
#programming
#python - Carnival of Mathematics #209
2022-10-02
#carnival
#knot theory
#mathematics
#sieve
#umap - Key Switching in LWE
2022-08-29
#cryptography
#fully homomorphic encryption
#gadget decomposition
#learning with errors
#mathematics
#real analysis - Modulus Switching in LWE
2022-07-16
#cryptography
#fhe
#learning with errors
#mathematics
#modulus switching
#programming - "Practical Math" Preview: Collect Sensitive Survey Responses Privately
2022-05-14
#differential privacy
#mathematics
#politics
#practical math
#programming
#python
#randomized algorithm - Cocktails
2022-04-01
#april cools - Silent Duels—Constructing the Solution part 2
2022-03-24
- My next book will be "Practical Math for Programmers"
2022-03-16
- The Gadget Decomposition in FHE
2021-12-11
#fhe
#fully homomorphic encryption
#gadget decomposition
#Group Theory
#linear algebra
#mathematics
#Number Theory
#programming
#python - Group Actions and Hashing Unordered Multisets
2021-10-14
#abelian groups
#group actions
#groups
#hashing
#mathematics
#multisets
#xor - Carnival of Mathematics #197
2021-09-01
#carnival
#knot theory
#mathematics
#sieve
#umap - Searching for RH Counterexamples — Exploring Data
2021-06-14
#data visualization
#databases
#machine learning
#mathematics
#postgres
#programming
#python
#regression
#riemann hypothesis
#superabundant numbers
#visualization - Regression and Linear Combinations
2021-03-29
#gradient descent
#kernelization
#linear algebra
#linear combination
#linear regression
#mathematics
#programming - Searching for RH Counterexamples — Productionizing
2021-03-06
- Searching for RH Counterexamples — Scaling Up
2021-02-16
#hashing
#mathematics
#postgres
#programming
#riemann hypothesis
#software - Searching for RH Counterexamples — Performance Profiling
2021-02-02
#databases
#debugging
#docker
#mathematics
#postgres
#profiling
#programming
#riemann hypothesis
#software - Searching for RH Counterexamples — Deploying with Docker
2021-01-04
#aws
#docker
#mathematics
#programming
#riemann hypothesis
#software - Optimization Models for Subset Cover
2020-10-20
#boolean satisfiability
#Combinatorics
#integer programming
#mathematics
#optimization
#programming
#python
#smt
#subset cover
#z3 - Searching for RH Counterexamples — Unbounded Integers
2020-10-13
#arbitrary-precision arithmetic
#databases
#mathematics
#Number Theory
#open-closed
#postgres
#riemann hypothesis
#software
#superabundant numbers - Searching for RH Counterexamples — Search Strategies
2020-09-28
#interface
#riemann hypothesis
#software
#superabundant numbers - Searching for RH Counterexamples — Adding a Database
2020-09-11
#databases
#interface
#mathematics
#Number Theory
#programming
#riemann hypothesis
#software
#sql - Searching for RH Counterexamples — Setting up Pytest
2020-09-11
#mathematics
#Number Theory
#programming
#pytest
#riemann hypothesis
#software
#testing - Taylor Series and Accelerometers
2020-07-26
#accelerometers
#capacitors
#mathematics
#physics
#taylor series - Contextual Symbols in Math
2020-05-22
- Musings on A New Interface for Mathematics
2020-05-17
- Second Edition of A Programmer's Introduction to Mathematics
2020-05-17
- The Communicative Value of Using Git Well
2020-01-14
- A Good Year for "A Programmer's Introduction to Mathematics"
2019-12-01
- Silent Duels—Constructing the Solution part 1
2019-06-30
- Math Versus Dirty Data
2019-06-08
- A Working Mathematician's Guide to Parsing
2019-04-20
- Silent Duels—Parsing the Construction
2019-01-28
#induction
#integration
#linear programming
#mathematics
#minimax theorem
#papers
#silent duel
#zero sum games - Silent Duels and an Old Paper of Restrepo
2018-12-31
- A Programmer's Introduction to Mathematics
2018-12-01
- Hanabi: a card game for logicians
2018-08-10
- Visualizing an Assassin Puzzle
2018-07-24
#d3
#javascript
#mathematics
#programming
#torus
#visualization - For mathematicians, = does not mean equality
2018-04-13
- A parlor trick for SET
2018-03-25
#finite fields
#invariant
#linear algebra
#mathematics
#SET - Earthmover Distance
2018-03-05
#earthmover distance
#gerrymandering
#linear programming
#mathematics
#optimal transport
#optimization
#probability theory
#python
#wasserstein metric - NP-hard does not mean hard
2017-12-29
#completeness
#complexity theory
#mario
#mathematics
#np-completeness
#np-hard
#regular languages - Binary Search on Graphs
2017-11-08
#binary search
#dijkstra
#equivalence queries
#learning theory
#mathematics
#programming
#python - Linear Programming and Healthy Diets — Part 2
2017-09-24
- Notes on Math and Gerrymandering
2017-08-14
- Boolean Logic in Polynomials
2017-07-24
#boolean satisfiability
#optimization
#polynomials - Mathematical Genealogy
2017-06-22
- Duality for the SVM
2017-06-12
- Formulating the Support Vector Machine Optimization Problem
2017-06-05
#data visualization
#inner product
#javascript
#mathematics
#programming
#support vector machines - The Inner Product as a Decision Rule
2017-05-22
#inner product
#javascript
#linear algebra
#machine learning
#mathematics
#programming
#projection
#support vector machines - Testing Polynomial Equality
2017-04-24
- Bayesian Ranking for Rated Items
2017-03-13
#conjugate prior
#Dirichlet distribution
#inference
#mathematics
#probability theory
#python
#ranking
#sorting
#statistics - The Reasonable Effectiveness of the Multiplicative Weights Update Algorithm
2017-02-27
#javascript
#linear programming
#mathematics
#multiplicative weights update algorithm
#mwua
#optimization
#programming
#python - A Spectral Analysis of Moore Graphs
2016-11-03
#adjacency matrix
#eigenvalues
#eigenvectors
#math
#moore graph
#spectral graph theory - Voltage, Temperature, and Harmonic Functions
2016-09-26
- Guest post, "What's up with graph Laplacians?"
2016-09-20
- Zero-Knowledge: Definitions and Theory
2016-09-19
- Zero Knowledge Proofs for NP
2016-08-01
#computational complexity
#cryptography
#mathematics
#one-way functions
#programming
#python
#random number generators
#zero knowledge - The Blum-Blum-Shub Pseudorandom Generator
2016-07-11
- Zero Knowledge Proofs — A Primer
2016-07-05
#complexity theory
#cryptography
#graph isomorphism
#mathematics
#programming
#python
#zero knowledge - Singular Value Decomposition Part 2: Theorem, Proof, Algorithm
2016-05-16
#greedy algorithm
#mathematics
#optimization
#programming
#python
#singular value decomposition - Singular Value Decomposition Part 1: Perspectives on Linear Algebra
2016-04-18
#algorithms
#linear algebra
#mathematics
#singular value decomposition - Tensorphobia and the Outer Product
2016-03-28
#mathematics
#matrices
#primer
#tensors - My Graduate Career in Math
2016-03-05
#essays - Big Dimensions, and What You Can Do About It
2016-02-08
- Concrete Examples of Quantum Gates
2016-01-11
#linear maps
#mathematics
#matrices
#python
#quantum computing - Hashing to Estimate the Size of a Stream
2016-01-04
#approximation algorithms
#hashing
#mathematics
#programming
#python
#sublinear algorithms - Load Balancing and the Power of Hashing
2015-12-28
#chebyshev
#hashing
#load balancing
#mathematics
#programming
#python - The Inequality
2015-11-23
#calculus
#cauchy-schwarz
#euler's number
#mathematics
#taylor series - A Quasipolynomial Time Algorithm for Graph Isomorphism: The Details
2015-11-12
#automorphism groups
#babai
#breakthrough
#divide and conquer
#graph isomorphism
#johnson graph
#mathematics
#permutation groups
#quasipolynomial - Serial Dictatorships and House Allocation
2015-10-26
#economics
#mathematics
#mechanism design
#pareto-optimality
#programming
#python
#stable marriages - One definition of algorithmic fairness: statistical parity
2015-10-19
#algorithms
#bias
#conditional probability
#discrimination
#fairness
#machine learning
#mathematics
#programming
#python
#research
#reverse tokenism
#self-fulfilling prophecy
#statistics - The Boosting Margin, or Why Boosting Doesn't Overfit
2015-09-21
#boosting
#chernoff bound
#classficiation
#conditional probability
#machine learning
#margins
#mathematics
#occam's razor
#overfitting
#vc-dimension - The Welch-Berlekamp Algorithm for Correcting Errors in Data
2015-09-07
#berlekamp-welsh
#error correcting codes
#finite fields
#graphics
#image analysis
#mathematics
#polynomials
#programming
#python - The Čech Complex and the Vietoris-Rips Complex
2015-08-06
#cech complex
#computational topology
#data mining
#data science
#homology
#mathematics
#simplicial complex
#vietoris-rips complex - What does it mean for an algorithm to be fair?
2015-07-13
#accountability
#data mining
#deep learning
#disparate impact
#fairness
#law
#machine learning
#mathematics
#neural networks
#transparency - Methods of Proof — Diagonalization
2015-06-08
#diagonalization
#halting problem
#mathematics
#methods of proof
#turing machines
#uncountability - Weak Learning, Boosting, and the AdaBoost algorithm
2015-05-18
- The Many Faces of Set Cover
2015-05-04
#mathematics
#programming
#regex golf
#regular expressions
#set cover - Markov Chain Monte Carlo Without all the Bullshit
2015-04-06
#markov chain
#mathematics
#MCMC
#monte carlo
#random walk - The Codes of Solomon, Reed, and Muller
2015-03-23
#coding theory
#information theory
#reed-muller code
#reed-solomon code - Finding the majority element of a stream
2015-03-09
#data mining
#frequency moments
#mathematics
#programming
#python
#streaming algorithms
#streaming data
#sublinear space - Hamming's Code
2015-03-02
#coding theory
#compression
#computing
#hamming code
#hypercube
#information theory
#linear codes
#np-hard
#reed-solomon codes - A Proofless Introduction to Information Theory
2015-02-16
#coding theory
#compression
#entropy
#error correction
#hamming
#information theory
#mathematics
#probabilistic method
#shannon - Zero-One Laws for Random Graphs
2015-02-09
#big-o notation
#countability
#erdos-renyi
#logic
#mathematics
#model theory
#network science
#random graph - The Giant Component and Explosive Percolation
2015-02-02
#big-o notation
#erdos-renyi
#first moment method
#giant component
#method of moments
#network science
#percolation
#probability theory
#random graphs
#random variables - Multiple Qubits and the Quantum Circuit
2015-01-26
#circuits
#entanglement
#linear algebra
#quantum computing
#tensor product
#tensors - The Quantum Bit
2014-12-15
#circuits
#mathematics
#measurement
#quantum computing
#quantum mechanics
#qubit
#unitary matrices - A Motivation for Quantum Computing
2014-12-08
#experiments
#mathematics
#physics
#quantum computing
#quantum mechanics
#unitary matrices - Linear Programming and the Simplex Algorithm
2014-12-01
#exponential time algorithms
#integer programming
#linear algebra
#linear programming
#lp-relaxation
#optimization
#row reduction
#simplex algorithm - Learning a single-variable polynomial, or the power of adaptive queries
2014-11-18
#adaptive queries
#learning theory
#polynomial identity testing
#polynomial interpolation - The Complexity of Communication
2014-11-10
#communication complexity
#computational complexity
#information theory
#log-rank conjecture
#lower bounds
#matrices - On the Computational Complexity of MapReduce
2014-10-05
#circuit complexity
#computational complexity
#distributed computing
#exponential time hypothesis
#hierarchy
#karloff
#L vs P
#map reduce
#padding
#research - Making Hybrid Images
2014-09-29
#albert einstein
#art
#design
#fourier analysis
#hybrid images
#image manipulation
#marilyn monroe
#mathematics
#mona lisa
#programming
#python
#salvador dali
#signal processing - Occam's Razor and PAC-learning
2014-09-19
#chernoff
#computational learning theory
#occam's razor
#pac-learning
#vc-dimension - A Rook Game
2014-08-31
#board games
#chessboard
#games
#symmetry - When Greedy Algorithms are Perfect: the Matroid
2014-08-26
#greedy
#kruskal's algorithm
#linear independence
#matroids
#minimum spanning trees - Parameterizing the Vertex Cover Problem
2014-08-25
#complexity theory
#computational complexity
#conferences
#fixed parameter tractability
#kernelization
#vertex cover - An Update on "Coloring Resilient Graphs"
2014-07-14
#boolean satisfiability
#np-hard
#research
#resilience - When Greedy Algorithms are Good Enough: Submodularity and the (1—1/e)-Approximation
2014-07-07
#approximation algorithms
#greedy algorithm
#optimization
#submodularity - The Mathematics of Secret Sharing
2014-06-23
#cryptography
#haskell
#polynomial interpolation
#secret sharing - Linear Programming and Healthy Diets — Part 1
2014-06-02
#duality
#linear programming
#mathematics
#nutrition
#optimization
#primal
#programming - Learning to Love Complex Numbers
2014-05-26
#complex numbers
#fractals
#graphics
#mandelbrot set
#python
#trigonometry - Community Detection in Graphs — a Casual Tour
2014-05-19
#approximation algorithms
#cliques
#clustering
#community detection
#erdos-renyi
#modularity
#newman
#np-hard
#power-law distribution
#random graph
#randomized algorithm
#walktrap - A problem that is not (properly) PAC-learnable
2014-04-21
#boolean satisfiability
#computational complexity
#computational learning theory
#mathematics
#NP
#np-completeness
#pac-learning
#reduction
#rp - Sending and Authenticating Messages with Elliptic Curves
2014-04-14
#diffie-hellman
#digital signature
#discrete logarithm
#elliptic curves
#encryption
#public-key
#python
#shamir-massey-omura - Stable Marriages and Designing Markets
2014-04-02
#bipartite graphs
#economics
#matchings
#mathematics
#network science
#programming
#python
#stable marriage - Elliptic Curve Diffie-Hellman
2014-03-31
#cryptography
#diffie-hellman
#discrete logarithm
#elliptic curves
#rsa - Connecting Elliptic Curves with Finite Fields
2014-03-19
- Want to make a great puzzle game? Get inspired by theoretical computer science.
2014-03-17
#art gallery problem
#bin-packing
#board games
#exp
#games
#games on graphs
#graph coloring
#greedy spiders
#mario
#nintendo
#np-completeness
#np-hard
#pancake flipping
#pspace
#starcraft
#video games - Programming with Finite Fields
2014-03-13
#classes
#decorators
#division algorithm
#euclidean algorithm
#euclidean domain
#factoring
#field characteristic
#finite fields
#gcd
#operator overloading
#polynomial ring
#python
#randomized algorithm
#typecasting - Martingales and the Optional Stopping Theorem
2014-03-03
#2-sat
#conditional probability
#expectation
#gambling
#martingales
#mathematics
#optional stopping theorem
#primer
#random variables
#randomized algorithm
#stochastic processes - (Finite) Fields — A Primer
2014-02-26
#cryptography
#euclidean domains
#field characteristic
#finite fields
#ideals
#mathematics
#polynomial ring
#vector spaces - Elliptic Curves as Python Objects
2014-02-24
#elliptic curves
#groups
#python - On Coloring Resilient Graphs
2014-02-21
#approximation algorithms
#computational complexity
#graph coloring
#greedy algorithm
#mathematics
#np-hard
#research
#resilience - Elliptic Curves as Algebraic Structures
2014-02-16
- Simulating a Biased Coin with a Fair Coin
2014-02-12
#calculus
#coins
#convergent series
#mathematics
#programming
#python - Elliptic Curves as Elementary Equations
2014-02-10
#algebra
#cryptography
#elliptic curves
#mathematica
#mathematics - Simulating a Fair Coin with a Biased Coin
2014-02-08
#coins
#mathematics
#python
#random number generators - Introducing Elliptic Curves
2014-02-08
#cryptography
#elliptic curves
#nsa
#rsa - Fixing Bugs in "Computing Homology"
2014-01-23
#homology
#linear algebra
#mathematics
#persistent homology
#programming
#python
#quotients
#row reduction - RealityMining, a Case Study in the Woes of Data Processing
2014-01-21
#big data
#data analysis
#data mining
#matlab
#python
#reality mining
#research
#social networks - How to Conquer Tensorphobia
2014-01-17
#np-completeness
#primer
#tensor product
#tensors
#universal properties - Probably Approximately Correct — a Formal Theory of Learning
2014-01-02
#learning theory
#mathematics
#pac-learning - The Two-Dimensional Fourier Transform and Digital Watermarking
2013-12-30
#animations
#big-o notation
#calculus
#dimension
#fourier analysis
#fourier transform
#graphics
#image manipulation
#james hance
#mathematics
#matrices
#programming
#python
#star wars
#Up - Bandits and Stocks
2013-12-09
#bandit learning
#bandits
#exp3
#finance
#machine learning
#programming
#python
#stocks
#ucb1 - Lagrangians for the Amnesiac
2013-11-30
#convex functions
#gradient descent
#lagrange
#lagrange multipliers
#optimization - Adversarial Bandits and the Exp3 Algorithm
2013-11-08
#bandit learning
#exp3
#mathematics
#multiplicative weights update algorithm
#programming
#python - Optimism in the Face of Uncertainty: the UCB1 Algorithm
2013-10-28
#bandit learning
#big-o notation
#calculus
#confidence bounds
#machine learning
#mathematics
#programming
#python
#random variables
#randomized algorithm - The Universal Properties of Map, Fold, and Filter
2013-09-30
#categories
#foldr
#free object
#functional programming
#monoids
#Standard ML
#universal properties - Anti-Coordination Games and Stable Graph Colorings
2013-09-09
#anti-coordination
#games on graphs
#graph coloring
#np-completeness - The Erdős-Rényi Random Graph
2013-08-22
#erdos
#giant component
#graph coloring
#random graph
#renyi
#social networks - Linear Regression
2013-08-18
#conditional probability
#covariance
#expectation
#linear regression
#python
#statistics
#variance - Cauchy-Schwarz Inequality (and Amplification)
2013-07-23
#cauchy-schwarz - Functoriality
2013-07-14
#categories
#functor
#ML
#morphisms - Reservoir Sampling
2013-07-05
#induction
#programming
#python
#randomized algorithm
#reservoir sampling
#streaming algorithms
#streaming data - Guest Post: Torus-Knotted Baklava
2013-06-28
#algorithms
#baking
#baklava
#mathematics
#nondeterminism
#topology
#torus - Miller-Rabin Primality Test
2013-06-16
#computational complexity
#miller-rabin
#primes
#programming
#python
#random number generators
#randomized algorithm - Why Theoretical Computer Scientists Aren't Worried About Privacy
2013-06-10
#cryptography
#differential privacy
#homomorphic encryption
#politics
#privacy - Conferences, Summer Work, and an Advisor
2013-06-03
#conferences - Rings — A Second Primer
2013-06-01
#commutative algebra
#hilbert basis theorem
#ideals
#mathematics
#polynomial ring - Universal Properties
2013-05-24
#categories
#coproducts
#mathematics
#ML
#product
#programming
#quotients
#universal properties - Properties of Morphisms
2013-05-15
#categories
#epimorphism
#mathematics
#monomorphism
#morphisms - Bezier Curves and Picasso
2013-05-11
#art
#bezier curves
#de Casteljau
#graphics
#javascript
#math
#picasso
#programming
#svg - Categories as Types
2013-05-04
#categories
#mathematics
#ML
#programming - Rings — A Primer
2013-04-30
#abelian groups
#algebraic geometry
#division algorithm
#euclidean domain
#mathematics
#polynomial ring
#UFD - Introducing Categories
2013-04-24
#categories - Categories, What's the Point?
2013-04-16
#categories
#mathematics - Probabilistic Bounds — A Primer
2013-04-15
#chebyshev
#chernoff
#markov
#mathematics
#probabilistic method
#random variables
#variance - Computing Homology
2013-04-10
#algebraic topology
#homology
#linear maps
#matrices
#row reduction - A Sample of Standard ML, the TreeSort Algorithm, and Monoids
2013-04-07
#functional programming
#mathematics
#ML
#programming
#sorting
#trees
#universal properties - Homology Theory — A Primer
2013-04-03
#algebraic topology
#homology
#linear algebra
#mathematics
#primer
#simplicial complex
#topological invariant - Conditional (Partitioned) Probability — A Primer
2013-03-28
#bayes theorem
#conditional probability
#mathematics
#primer - Methods of Proof — Induction
2013-03-21
#induction
#mathematics
#methods of proof - Seam Carving for Content-Aware Image Scaling
2013-03-04
#calculus
#graphics
#javascript
#mathematics
#photoshop
#processing
#programming
#seam carving - Methods of Proof — Contradiction
2013-02-28
#bijections
#countability
#diagonalization
#mathematics
#methods of proof
#proof by contradiction - Methods of Proof — Contrapositive
2013-02-22
#contrapositive
#injective functions
#methods of proof
#pigeonhole principle
#truth tables - Methods of Proof — Direct Implication
2013-02-16
#direct implication
#mathematics
#methods of proof - Why there is no Hitchhiker's Guide to Mathematics for Programmers
2013-02-08
- k-Means Clustering and Birth Rates
2013-02-04
#clustering
#heuristic algorithm
#mathematica
#mathematics
#metrics
#programming
#python
#unsupervised learning - Depth- and Breadth-First Search
2013-01-22
#breadth-first search
#depth-first search
#mathematics
#optimization
#programming
#queue
#stack - The Fundamental Group — A Primer
2013-01-12
#algebraic topology
#fundamental group
#homotopy
#mathematics - Probability Theory — A Primer
2013-01-04
#expectation
#mathematics
#primer
#random variables
#variance - Groups — A Second Primer
2012-12-22
#abelian groups
#classification
#group presentations
#groups
#mathematics
#universal properties - Neural Networks and the Backpropagation Algorithm
2012-12-09
#gradient descent
#machine learning
#neural networks - Groups — A Primer
2012-12-08
#group actions
#groups
#lagrange
#mathematics
#symmetry - Information Distance — A Primer
2012-12-04
#compression
#computing
#information theory
#kolmogorov complexity
#metric
#turing machines
#universality - Ramsey Number Lower Bound
2012-12-02
#computational complexity
#graph coloring
#probabilistic method
#ramsey numbers - Constructing Topological Spaces — A Primer
2012-11-11
- There are Infinitely Many Primes (Erdős)
2012-11-10
#primes - Topological Spaces — A Primer
2012-11-04
#functions
#klein bottle
#metric
#projective plane
#torus
#zariski topology - Decision Trees and Political Party Classification
2012-10-08
#decision trees
#machine learning
#mathematics
#politics
#python
#voting prediction - Complete Sequences and Magic Tricks
2012-10-02
#greedy algorithm
#javascript
#numberphile
#primes
#programming - Infinitely Many Primes (Using Topology)
2012-09-26
#primes - Trees—A Primer
2012-09-16
#mathematics
#programming
#python
#trees - K-Nearest-Neighbors and Handwritten Digit Classification
2012-08-26
#dimension
#machine learning
#mathematics
#metric
#programming - Metric Spaces — A Primer
2012-08-26
#levenshtein distance
#mathematics
#metric
#triangle inequality - Machine Learning — Introduction
2012-08-04
- The Cellular Automaton Method for Cave Generation
2012-07-29
#cellular automata
#javascript
#mathematica
#procedural generation
#programming
#video games - Dynamic Time Warping for Sequence Comparison
2012-07-25
#dynamic programming
#mathematics
#programming
#python - The Fast Fourier Transform
2012-07-18
#divide and conquer
#fourier analysis
#fourier transform
#mathematics
#programming
#python
#sound - Principal Component Analysis
2012-06-28
#mathematics
#principal component analysis
#programming
#python - The Discrete Fourier Transform — A Primer
2012-06-23
#fourier analysis
#fourier transform
#mathematics
#vector spaces - Streaming Median
2012-06-14
#big data
#data analysis
#mathematics
#median
#programming
#python
#streaming data - Thoughts after a Year of Math ∩ Programming
2012-06-12
#mathematics
#programming - Generalized Functions — A Primer
2012-06-06
#fourier analysis
#fourier transform
#functional analysis
#generalized functions - The Fourier Transform — A Primer
2012-05-27
#convolution
#duality
#fourier analysis
#fourier transform
#mathematics
#primer - Double Angle Trigonometric Formulas
2012-05-19
#double angle identities
#geometric transformations
#mathematics
#matrices
#trigonometry - False Proof – 2 = 4, As the Limit of an Infinite Power Tower
2012-05-05
#false proof
#mathematics - The Fourier Series—A Primer
2012-04-25
#complex analysis
#fourier analysis
#heat equation
#mathematics
#orthogonality
#primer - Kolmogorov Complexity—A Primer
2012-04-21
#computability theory
#computational complexity
#kolmogorov complexity
#mathematics
#primer - Optimally Stacking the Deck—Texas Hold 'Em
2012-04-09
#poker
#steepest ascent
#texas hold 'em - Classic Nintendo Games are NP-Hard
2012-03-22
#computational complexity
#donkey kong
#games
#mario
#mathematics
#metroid
#np-completeness
#pokemon
#video games
#zelda - Caching (and Memoization)
2012-03-22
- In Place Uniform Shuffle
2012-03-18
#python - Learning Programming — Finger-Painting and Killing Zombies
2012-03-15
#calculus
#java
#mathematics
#programming - Other Complexity Classes
2012-02-29
#computational complexity
#kolmogorov complexity
#primer - P vs. NP, A Primer (And a Proof Written in Racket)
2012-02-23
#big-o notation
#computational complexity
#np-completeness
#P versus NP
#racket - Busy Beavers, and the Quest for Big Numbers
2012-02-08
#ackermann function
#busy beaver
#primer
#turing machine - Fundamental Theorem of Algebra (With Picard's Little Theorem)
2012-02-07
#complex analysis
#fundamental theorem of algebra
#mathematics - Cryptanalysis with N-Grams
2012-02-03
#cryptanalysis
#linguistics
#mathematics
#natural language data
#ngrams
#programming
#python
#substitution cipher - The Fundamental Theorem of Algebra (with Galois Theory)
2012-02-02
#fundamental theorem of algebra
#galois theory
#mathematics - Handshake Lemma
2012-01-29
#mathematics - The Fundamental Theorem of Algebra (with the Fundamental Group)
2012-01-22
#algebraic topology
#fundamental group
#fundamental theorem of algebra
#homotopy - The Fundamental Theorem of Algebra (with Liouville)
2012-01-17
#complex analysis
#fundamental theorem of algebra - Word Segmentation, or Makingsenseofthis
2012-01-15
#linguistics
#mathematics
#naive bayes
#ngrams
#programming
#python - A Spoonful of Python (and Dynamic Programming)
2012-01-12
#dynamic programming
#fibonacci
#memoized recursion
#primer
#python - Numerical Integration
2012-01-08
#calculus
#mathematica
#mathematics
#numerical analysis
#programming
#simpson's rule
#trapezoidal rule - Random (Psychedelic) Art
2012-01-01
#art
#kolmogorov complexity
#primer
#python
#random number generators - Row Reduction Over A Field
2011-12-30
#mathematics
#programming
#python
#row reduction - Metrics on Words
2011-12-19
#dynamic programming
#functional programming
#levenshtein distance
#linguistics
#mathematics
#metric
#monoids
#ngrams
#programming
#python - Holidays and Homicide
2011-11-25
#crime
#data visualization
#holidays
#homicide
#mathematics
#programming
#thanksgiving - Tiling a Chessboard with Dominoes (Opposite Colors Removed)
2011-11-18
#chessboard
#dominoes
#proofs without words
#tiling - Z[√2] has Infinitely Many Units
2011-11-07
#euclidean domains
#mathematics
#programming - Conway's Game of Life in Conway's Game of Life
2011-11-03
#conway
#life - False Proof: 1 = 2 (with Calculus)
2011-10-25
#calculus
#false proof - The Smallest Non-Cyclic Simple Group has Order 60
2011-10-08
#mathematics
#simple groups - A Taste of Racket
2011-10-02
#functional programming
#racket - N Choose 2 is the Sum of the First N-1 Integers
2011-10-02
#proofs without words - n-Colorability is Equivalent to Finite n-Colorability (A Formal Logic Proof)
2011-09-04
#graph coloring - Graduate Studies
2011-08-17
- The Square Root of 2 is Irrational (Geometric Proof)
2011-08-14
#irrationality
#mathematics - The Perceptron, and All the Things it Can't Perceive
2011-08-11
#machine learning
#mathematics
#neural networks
#perceptron
#programming
#pseudocode - A Dash of Python
2011-08-10
#primer
#programming
#python - Programming Primers—An Introduction
2011-08-06
- Number Theory—A Primer
2011-07-30
#mathematics
#primer
#primes
#programming - Encryption & RSA
2011-07-29
#encryption
#java
#mathematics
#primes
#programming
#rsa - False Proof—All Numbers are Describable in at Most Twenty Words
2011-07-28
#false proof
#kolmogorov complexity
#mathematics
#well-ordering - Eigenfaces, for Facial Recognition
2011-07-27
#covariance
#eigenfaces
#facial recognition
#mathematics
#programming - Inner Product Spaces—A Primer
2011-07-25
#big-o notation
#eigenvectors
#mathematics
#matrices
#orthogonality
#vector spaces - Möbius Transformations are Isometries of a Sphere
2011-07-23
#complex analysis
#moebius transformations
#proofs without words - Hunting Serial Killers
2011-07-20
#crime
#geographic profiling
#history
#mathematica
#mathematics
#programming
#serial killers - False Proof—The Reals are Countable
2011-07-19
#axiom of choice
#countability
#false proof
#mathematics
#well-ordering - False Proof—All Horses are the Same Color
2011-07-16
#false proof
#induction - Graph Coloring, or Proof by Crayon
2011-07-14
#graph coloring
#mathematics
#primer
#pseudocode - Three Circles and Collinear Centers of Dilation
2011-07-13
- Optimally Stacking the Deck—Kicsi Poker
2011-07-11
#cut data
#games
#mathematica
#mathematics
#programming - Set Theory—A Primer
2011-07-09
#axiom of choice
#bijections
#countability
#functions
#mathematics
#power set
#primer - False Proof—31.5 = 32.5
2011-07-07
#false proof
#mathematics
#proofs without words - False Proof—There are Finitely Many Primes
2011-07-05
#countability
#false proof
#mathematics
#power set
#primes - False Proof—1 = 2
2011-07-05
#algebra
#division by zero
#false proof
#mathematics - Geometric Series with Geometric Proofs
2011-07-05
#geometric series
#mathematics
#proofs without words - Turing Machines—A Primer
2011-07-04
#acceptance
#computability theory
#decidability
#halting problem
#mathematics
#primer
#turing machines - Determinism and Finite Automata—A Primer
2011-07-02
#computability theory
#computing
#context-free languages
#deterministic finite automata
#finite state machines
#mathematics
#nondeterministic finite automata
#primer
#pushdown automata
#regular languages
#turing machines - Sums of k Powers
2011-07-01
- Turing Machines and Conway's Dreams
2011-06-30
#cellular automata
#computability theory
#computational complexity
#conway
#life
#mathematics
#programming
#turing machines - The Wild World of Cellular Automata
2011-06-29
#cellular automata
#computability theory
#conus
#conway
#life
#mathematica
#mathematics
#patterns
#programming
#turing machine - Tiling a Chessboard
2011-06-26
#chessboard
#dominoes
#mathematics
#tiling - Teaching Mathematics—Graph Theory
2011-06-26
#campolindo
#google
#introspection
#mathematics
#primer
#seven bridges
#seven hills - Area of a Triangle
2011-06-24
#mathematics - Sums of the first n numbers, squares
2011-06-24
#mathematics - The Party Problem
2011-06-23
#mathematics - Number of Games in a Tournament
2011-06-23
#mathematics - Google's Page Rank—Why it Doesn't Work Anymore
2011-06-21
#google
#history
#page rank - Google's Page Rank—The Final Product
2011-06-20
#computational complexity
#eigenvalues
#eigenvectors
#google
#mathematics
#page rank
#programming
#pseudocode
#search engine
#web - Featured Posts
2011-06-20
#featured
#mathematics
#programming - Linear Algebra—A Primer
2011-06-19
#eigenvalues
#eigenvectors
#history
#linear independence
#linear maps
#mathematics
#matrices
#primer
#vector spaces - Google's PageRank—A First Attempt
2011-06-18
#eigenvalues
#eigenvectors
#google
#mathematics
#page rank
#search engine
#web - Big-O Notation—A Primer
2011-06-14
#big-o notation
#big-theta notation
#computational complexity
#limits
#mathematics
#primer
#real analysis - Well Orderings and Search
2011-06-14
#axiom of choice
#binary search
#mathematica
#mathematics
#pseudocode
#sorting
#well-ordering - Prime Design
2011-06-13
#bash
#css
#graphics
#html
#mathematics
#patterns
#primes
#programming - Google's PageRank—Introduction
2011-06-12
#crawler
#google
#history
#indexer
#page rank
#query engine
#search engine