Everything you care about in one place
Follow feeds: blogs, news, RSS and more. An effortless way to read and digest content of your choice.
Get Feederjeremykun.com
Math ∩ Programming
Get the latest updates from Math ∩ Programming directly as they happen.
Follow now 360 followers
Latest posts
Last updated 19 days ago
Unusual Tips for Parenting Toddlers
19 days ago
It’s April Cools! Last year I wrote about friendship bracelets and the...
Tabletop Games Based on Math Problems
about 1 month ago
There’s a family of tabletop games that are based directly on a...
MLIR — A Global Optimization and Dataflow Analysis
5 months ago
Table of Contents In this article we’ll implement a global optimization pass,...
MLIR — A Global Optimization and Dataflow Analysis
5 months ago
Table of Contents In this article we’ll implement a global optimization pass...
MLIR — Lowering through LLVM
6 months ago
Table of Contents In the last article we lowered our custom poly...
MLIR — Lowering through LLVM
6 months ago
Table of Contents In the last article we lowered our custom poly...
MLIR — Dialect Conversion
6 months ago
Table of Contents In previous articles we defined a dialect, and wrote...
MLIR — Dialect Conversion
6 months ago
Table of Contents In previous articles we defined a dialect, and wrote...
Socks, a matching game based on an additive combinatorics problem
6 months ago
Can you find a set of cards among these six, such that...
Socks, a matching game based on an additive combinatorics problem
6 months ago
Can you find a set of cards among these six, such that...
MLIR — Canonicalizers and Declarative Rewrite Patterns
7 months ago
Table of Contents In a previous article we defined folding functions, and...
MLIR — Canonicalizers and Declarative Rewrite Patterns
7 months ago
Table of Contents In a previous article we defined folding functions, and...