Complex knots can actually be easier to untie than simple ones
newscientist.com·5d
🕸️Algebraic Topology
Can You Meet Me at the Mall?
thefiddler.substack.com·2d·
Discuss: Substack
🎯Interactive Provers
A Poet Completes the Square
denisegaskins.com·3d
⚔️Lean Tactics
Logical implication is a comparison operator
btdmaster.bearblog.dev·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Tao: The Power of the Graph (2013)
engineering.fb.com·2d·
Discuss: Hacker News
🌳B-tree Optimization
Identity vs. Equality in Python
pythonkoans.substack.com·13h·
Discuss: Substack
🔤Type Theory
Effectively Zero-Knowledge Proofs for NP with No Interaction, No Setup
eccc.weizmann.ac.il·4d·
Discuss: Hacker News
🎯Interactive Provers
How to Write Great Prompts for String
pipedream.com·1d·
Discuss: Hacker News
⚡Proof Automation
Xiangqi-R1: Enhancing Spatial Strategic Reasoning in LLMs for Chinese Chess via Reinforcement Learning
arxiv.org·3d
🔲Cellular Automata
Advancing Retrieval-Augmented Generation for Structured Enterprise and Internal Data
arxiv.org·3d
🔍Information Retrieval
[D] Signal/Info Processing Vs. ML Specializations in Master-Level Programs
reddit.com·2d·
Discuss: r/MachineLearning
🧠Machine Learning
Machine Learning Fundamentals: dimensionality reduction tutorial
dev.to·2d·
Discuss: DEV
📐Vector Dimensionality
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·3d
🖥️Terminal Renaissance
CRABS: A syntactic-semantic pincer strategy for bounding LLM interpretation of Python notebooks
arxiv.org·3d
💻Programming languages
Overview of the Sensemaking Task at the ELOQUENT 2025 Lab: LLMs as Teachers, Students and Evaluators
arxiv.org·3d
🌳Context free grammars
From Novelty to Imitation: Self-Distilled Rewards for Offline Reinforcement Learning
arxiv.org·2d
📊Learned Metrics
What's an ORM? (Your Database Translator!) 🗣️
dev.to·19h·
Discuss: DEV
🗄️Database Internals
Heterogeneous Dynamic Logic: Provability Modulo Program Theories
arxiv.org·6d
🧠Computational Logic
Identifying Task Groupings for Multi-Task Learning Using Pointwise V-Usable Information
arxiv.org·2d
🧠Intelligence Compression
WebAssembly Component Model based REPL /w sandboxed multi-language plugin system
github.com·1d·
Discuss: Hacker News
🌐WASI