Observed arrival · 2026-11-02
Samson Fraser: proofs, checks, tools
An independent researcher’s site spanning mathematics, security research, writing, and developer tools.
○Open
⊠Login
$Paid
†Ads
✦Pretty
●Pro
◎Niche
◉Human
⚑Risk
ƒJS
- For
- Readers of mathematics and security research
- Worth noticing
- The theta-function result includes an explicit power-of-log error bound and is labeled with a Lean 4 formalization.
Field notes
The homepage groups the work into cyber research, mathematics, writing and books, and web-development tools. Its selected papers include a number-theory result with an explicit error bound, a combinatorics result about rowmotion, and an optimization-rate bound; one entry is labeled “Lean 4,” and the page says formalizations are linked where they exist. The tools section names a paper search, PDF reader, and plain-language translator.
Observed signals
Read the marks
Editorial observations of this landing page, not a rating.
○OpenPublic substance visible
✦PrettyNotable craft visible
●ProPolished or operationally mature
◎NicheUnusually specific use
◉HumanPersonal, local, civic, or handmade
ƒJavaScriptBrowser-side code central
One card from the complete issue