Feeds to Scour
SubscribedAll
Majority Element: Easy Problem, Sneaky Insight
dev.to·5h·
Discuss: DEV
🎯Performance Proofs
Preview
Report Post
Formal Axiomatization of Advaita Vedanta in Lean 4
github.com·1d·
Discuss: Hacker News
⚔️Lean Theorem
Preview
Report Post
Fast Sequence Iteration in Common Lisp
world-playground-deceit.net·1d·
Discuss: Hacker News
🧠Lisp Dialects
Preview
Report Post
A very unscientific guide to the security of various PQC algorithms
keymaterial.net·20h·
Discuss: Lobsters
🔲Lattice Cryptography
Preview
Report Post
String Theory Inspires a Brilliant, Baffling New Math Proof
quantamagazine.org·2d
📐Mathematical Art
Preview
Report Post
From Alternation to FPRAS: Toward a Complexity Classification of Approximate Counting
arxiv.org·2d
🎯Performance Proofs
Preview
Report Post
Adapting Lessons Part 3: Engaging with Word Problem Contexts
kgmathminds.com·2d
📚Proof Pedagogy
Preview
Report Post
The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale
terrytao.wordpress.com·5d
🧮Theorem Proving
Preview
Report Post
AI‑Assisted Writing as Search (Not Draft Generation)
dev.to·13h·
Discuss: DEV
⚡Proof Automation
Preview
Report Post
The Problem With Grothendieck’s Use Of Equality
hackernoon.com·4d
🔲Proof Irrelevance
Preview
Report Post
A critique of mathematical objectivity
lapcatsoftware.com·3d
🔲Proof Irrelevance
Preview
Report Post
Translating Informal Proofs into Formal Proofs Using a Chain of States
arxiv.org·2d
⚔️Lean Tactics
Preview
Report Post
Given Two Points????
pballew.blogspot.com·3d·
Discuss: www.blogger.com
⚔️Lean Theorem
Preview
Report Post
As Answers Get Cheaper, Questions Grow Dearer
cacm.acm.org·3d
🧲Magnetic Philosophy
Preview
Report Post
An Intro to Large Language Models and the Transformer Architecture: Talking to a calculator
dev.to·12h·
Discuss: DEV
💻Local LLMs
Preview
Report Post
Certifying Concavity and Monotonicity in Games via Sum-of-Squares Hierarchies
arxiv.org·2d
🎯Performance Proofs
Preview
Report Post
Deconstructing the `CAP theorem' for CM and DevOps
markburgess.org·3d·
Discuss: Hacker News
⚙️Proof Engineering
Preview
Report Post
Defining the Scope of Learning Analytics: An Axiomatic Approach for Analytic Practice and Measurable Learning Phenomena
arxiv.org·2d
🗺️Competency Maps
Preview
Report Post
One more on sphere packing/cap set/Turan
quomodocumque.wordpress.com·6d
💎Information Crystallography
Preview
Report Post
Unambiguisability and Register Minimisation of Min-Plus Models
arxiv.org·3d
⚙️Syntactic Monoids
Preview
Report Post