📚 Proof Pedagogy

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

The Chip That Spoke Lisp
jxself.org·1d
🤖Lisp Machines
This Puzzle Shows Just How Far LLMs Have Progressed in a Little Over a Year
towardsdatascience.com·1d
📐Mathematical Art
You don't need an AI agent framework, or why frameworks are the new Juicero
konvu.com·16h·
Discuss: Hacker News
🔬Refinement Types
Origami Patterns Solve a Major Physics Riddle
quantamagazine.org·1d·
Discuss: Hacker News, Hacker News
📐Mathematical Art
The Power of Three: Ternary Logic, Triolectics, and Three Sided Football
sothismedias.com·2d·
Discuss: Hacker News
🧮Theoretical Computer Science
Math Is the Bridge: Axiom's Signal Flare and the Coming Reasoning Renaissance
zakelfassi.com·5d·
Discuss: Hacker News
⚙️Proof Engineering
Revisiting Long-context Modeling from Context Denoising Perspective
arxiv.org·9h
🔢Denotational Semantics
Quantifying the Accuracy-Interpretability Trade-Off in Concept-Based Sidechannel Models
arxiv.org·9h
🧠Machine Learning
Taming Imperfect Process Verifiers: A Sampling Perspective on Backtracking
arxiv.org·2d
🧮Kolmogorov Complexity
SwiReasoning: Switch-Thinking in Latent and Explicit for Pareto-Superior Reasoning LLMs
arxiv.org·1d
💻Local LLMs
Use 'Think, Pair, Share' for Effective Group Studying
lifehacker.com·1d
🧠Personal Knowledge Base
Context Length Alone Hurts LLM Performance Despite Perfect Retrieval
arxiv.org·9h
🧮Kolmogorov Complexity
Beyond Transformers: Can MLPs Unlock the Potential of In-Context Learning?
dev.to·17h·
Discuss: DEV
🌳Context free grammars
Unlocking Uniqueness: Mastering the Unique Character Algorithm in Go
dev.to·1d·
Discuss: DEV
🌳Trie Structures
You Can Get a Lifetime Subscription to Qlango for Just $32 Right Now
lifehacker.com·12h
🌳Context free grammars
PsycholexTherapy: Simulating Reasoning in Psychotherapy with Small Language Models in Persian
arxiv.org·1d
💻Programming languages
Lightweight Prompt Engineering for Cognitive Alignment in Educational AI: A OneClickQuiz Case Study
arxiv.org·1d
🤖AI Curation
H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference
arxiv.org·9h
💨Cache Optimization
Krish Naik: Complete RAG Crash Course With Langchain In 2 Hours
dev.to·9h·
Discuss: DEV
⏰Temporal Logic
LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language
arxiv.org·9h
🧮Kolmogorov Complexity