🔬 Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

New Membership Tiers: One-on-One Mentorship
denisegaskins.com·7h
⚔️Lean Tactics
Spontaneous (dis)fluency
languagelog.ldc.upenn.edu·20h
🏛Digital humanities
Teaching programming languages
kmjn.org·2d
💻Programming languages
Proposal: Better CSS Text Justification
blog.glyphdrawing.club·18h·
Discuss: Hacker News
🖋Typography
Outlandish Recursive Query Examples
sqlite.org·1d·
Discuss: Lobsters, r/programming
🗄️SQLite Internals
Heterogeneous LLM Methods for Ontology Learning (Few-Shot Prompting, Ensemble Typing, and Attention-Based Taxonomies)
arxiv.org·5h
🤖Grammar Induction
Reinforcement Learning for Search Tree Size Minimization in Constraint Programming: New Results on Scheduling Benchmarks
arxiv.org·5h
🔗Constraint Handling
Real-Time Anomaly Detection in Friction Stir Welding using Multi-Modal Sensor Fusion and Bayesian Inference
dev.to·11h·
Discuss: DEV
📄Document Digitization
Pushing Blocks without Fixed Blocks via Checkable Gizmos: Push-1 is PSPACE-Complete
arxiv.org·5h
🧮SMT Solvers
The Emacs thread-related code needs a maintainer
lists.gnu.org·1d·
Discuss: Hacker News
🦀Rust Macros
The Best Programmer I Know • Daniel Terhorst-North • GOTO 2024
youtube.com·21h
🦀Rust Macros
Geopolitical Parallax: Beyond Walter Lippmann Just After Large Language Models
arxiv.org·5h
🚀SIMD Text Processing
Aggregate Fictitious Play for Learning in Anonymous Polymatrix Games (Extended Version)
arxiv.org·5h
🔲Cellular Automata
Paying attention to feature distribution alignment (pun intended)
alexshtf.github.io·3d·
Discuss: Hacker News
📐Linear Algebra
Latent Self-Consistency for Reliable Majority-Set Selection in Short- and Long-Answer Reasoning
arxiv.org·1d
🧠Intelligence Compression
Chatting with Unmesh about building language with LLMs
martinfowler.com·1d
💻Programming languages
Universal Algorithmic Intelligence
uaiasi.com·1d·
Discuss: Hacker News
🔲Cellular Automata
Boss-Ship vs. Management and Math
medium.com·1d·
Discuss: Hacker News
⚙️Proof Engineering
From Principles to Rules: A Regulatory Approach for Frontier AI
arxiv.org·1d
🔲Cellular Automata
ReSURE: Regularizing Supervision Unreliability for Multi-turn Dialogue Fine-tuning
arxiv.org·5h
✨Effect Handlers