📚 Proof Pedagogy

Teaching Formal Methods, Interactive Learning, Mathematical Education, Verification Training, Beginner Proofs

The Chip That Spoke Lisp
jxself.org·23h
🤖Lisp Machines
Roll your own bot detection: fingerprinting/JavaScript
blog.castle.io·2h·
Discuss: Hacker News
🔗Binary Similarity
Learning in Temporally Complex Problems: The Role of External Knowledge
pubsonline.informs.org·21h·
Discuss: Hacker News
🔲Cellular Automata
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
📐Mathematical Art
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com·13h·
Discuss: Hacker News
🔬Refinement Types
JEPAs Unveiled: How Your AI Implicitly Knows Your Data's Secrets
dev.to·2h·
Discuss: DEV
🔍Vector Forensics
PoLi-RL: A Point-to-List Reinforcement Learning Framework for Conditional Semantic Textual Similarity
arxiv.org·1d
🗂️Vector Search
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·2d·
Discuss: Hacker News
🧮Theoretical Computer Science
CAM: A Constructivist View of Agentic Memory for LLM-Based Reading Comprehension
arxiv.org·6h
📝Concrete Syntax
Mitigating Premature Exploitation in Particle-based Monte Carlo for Inference-Time Scaling
arxiv.org·6h
🧮Kolmogorov Bounds
Presenting a Paper is an Art: Self-Improvement Aesthetic Agents for Academic Presentations
arxiv.org·6h
🏛Digital humanities
StaMo: Unsupervised Learning of Generalizable Robot Motion from Compact State Representation
arxiv.org·1d
🧠Machine Learning
Chronological Thinking in Full-Duplex Spoken Dialogue Language Models
arxiv.org·6h
⏱️Interval Parsing
Test Case Generation from Bug Reports via Large Language Models: A Cognitive Layered Evaluation Framework
arxiv.org·6h
🔍Concolic Testing
SECA: Semantically Equivalent and Coherent Attacks for Eliciting LLM Hallucinations
arxiv.org·1d
👑Coq Tactics
PRISM-Physics: Causal DAG-Based Process Evaluation for Physics Reasoning
arxiv.org·2d
✨Effect Handlers
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.org·6h
🔢Denotational Semantics
Math Is the Bridge: Axiom's Signal Flare and the Coming Reasoning Renaissance
zakelfassi.com·4d·
Discuss: Hacker News
⚙️Proof Engineering
Quantifying the Accuracy-Interpretability Trade-Off in Concept-Based Sidechannel Models
arxiv.org·6h
🧠Machine Learning
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2d
🧮Kolmogorov Complexity