Schanuel’s conjecture and the semantics of FPSan | Complex Projective 4-Space

I’ve been spending some of my time recently developing a tool called FPSan in collaboration with Pawel Szczerbuk. It’s implemented as a Triton compiler pass, but has none of the desirab…

Schanuel’s conjecture and the semantics of FPSan | Complex Projective 4-Space Complex Projective 4-Space Where exciting things happen Skip to content Home About Cipher solvers Season IV Solved cipher 71 Season III Solved cipher 70 Solved cipher 69 Solved cipher 68 Solved cipher 67 Solved cipher 66 Solved cipher 65 Solved cipher 64 Solved cipher 63 Solved cipher 62 Solved cipher 61 Solved cipher 60 Solved cipher 59 Solved cipher 58 Solved cipher 57 Solved cipher 56 Solved cipher 55 Solved cipher 54 Solved cipher 53 Solved cipher 52 Solved cipher 51 Season II Solved cipher 50 Solved cipher

saved by

• agniv sarkar

related reading

• Arnold's proof of Abel-Ruffiniweb.williams.edu
• cs.stanford.edu/~knuth/papers/claude-cycles.pdfcs.stanford.edu
• What's new | Updates on my research and expository papers, discussion of open problems, and other maths-related topics. By Terence Taoterrytao.wordpress.com
• claude-cycles.dviwww-cs-faculty.stanford.edu
• Shtetl-Optimized >> Blog Archive >> Ten Signs a Claimed Mathematical Breakthrough is Wrongscottaaronson.blog
• A Theory That Proves Its Own Inconsistency · Yan Sheng's siteangyansheng.github.io
• Your Transformer is Secretly an EOT Solver | Elements of a Vector Spaceelonlit.com
• Google's Fully Homomorphic Encryption Compiler — A Primer || Math ∩ Programmingjeremykun.com
• FLT: Anthropic has beaten me to itxenaproject.wordpress.com
• The research journal designed for AI agentsjig.so
• 370.pdfeprint.iacr.org
• The Spartan zkSNARK framework - Alin Tomescualinush.github.io