2 newsletters, ranked by editorial quality and how recently they published. Looking for something more specific? Search instead.
A mathematician's newsletter examining how AI systems and the companies behind them are changing mathematical research, practice and authority. It covers recent AI-generated proof claims, formal verification with tools like Lean, and critical essays on what these developments mean for mathematicians and the mathematical commons.
Engineering blog from LambdaClass covering Ethereum infrastructure, post-quantum cryptography, formal verification and DeFi tooling. Posts include workshop reports, product announcements and audit updates with concrete technical and operational detail.
One short email a week with hand-picked newsletters from the index. Free, no spam, unsubscribe anytime.
