⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·1d
🔗Concatenative Programming
Trust Spanning Protocol (TSP) Specification
trustoverip.github.io·1d·
Discuss: Hacker News
🌳Archive Merkle Trees
Introduction to Artificial Neural Networks – Part 1 (2013)
theprojectspot.com·5h·
Discuss: Hacker News
🧠Machine Learning
Rediscovering joy in learning: Jason Lengstorf on the state of development
github.blog·17h
⚙️Build Archaeology
Which Programming Language Should I Teach First?
parentheticallyspeaking.org·2d·
Discuss: Lobsters, Hacker News, Hacker News
💻Programming languages
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·15h
🔍Concolic Testing
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, Hacker News, r/programming
💧Liquid Types
The Debugging Mindset That Turned Me Into a Better Coder
dev.to·3h·
Discuss: DEV
👁️System Observability
The Coding Agent Metagame
calv.info·18h·
Discuss: Hacker News
🦀Rust Macros
HV Metric For Time-Domain Full Waveform Inversion
arxiv.org·1d
📊Rate-Distortion Theory
Sapir-Whorf does not apply to Programming Languages
buttondown.com·5d·
Discuss: Hacker News
💻Programming languages
Scalable Fairness Shaping with LLM-Guided Multi-Agent Reinforcement Learning for Peer-to-Peer Electricity Markets
arxiv.org·5h
🤝Consensus Protocols
A Praxis of Influence: Framing the Observation and Measurement of Information Power
arxiv.org·5h
📰Content Curation
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·2d
💾Binary Linguistics
FOSSAI: An Open-Source Manifesto Against Digital Inequality — v0.1
dev.to·6h·
Discuss: DEV
🌍Cultural Computing
Trials and tribulations of learning how to code and navigate databases in an AI world
dev.to·14h·
Discuss: DEV
🔄Language Evolution
Spoon-Bending, a logical framework for analyzing GPT-5 alignment behavior
github.com·2d·
Discuss: Hacker News
💾Binary Linguistics
Exploring Assumptions of K-means Clustering using R
dev.to·1h·
Discuss: DEV
📚Document Clustering
Enabling Multi-Agent Systems as Learning Designers: Applying Learning Sciences to AI Instructional Design
arxiv.org·1d
🗺️Competency Maps
Of the People, By the Algorithm: How AI Transforms Democratic Representation
arxiv.org·5h
🌍Cultural Algorithms