Toggle navigation
HN
Paper
All
Show
Ask
Jobs
Top stories
Today
Last 7 days
Last months
This year
Stats
Stories by jeremyscanvic
Decomposing a factorial into large factors (second version)
2 points
jeremyscanvic
2025-06-04T06:26:06Z
terrytao.wordpress.com
A Lean companion to Analysis I
292 points
jeremyscanvic
2025-05-31T16:55:37Z
terrytao.wordpress.com
A proof of concept tool to verify estimates
2 points
jeremyscanvic
2025-05-02T09:35:20Z
terrytao.wordpress.com
Aliasing and Image Resizing
2 points
jeremyscanvic
2025-04-25T11:42:06Z
blogs.mathworks.com