⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Calibrating an Ultrasonic Humidifier for Glycol Vapors
jefftk.com·16h
☕Precision Brewing
Representative Line: Not What They Meant By Watching "AndOr"
thedailywtf.com·22h
🔗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·1h·
Discuss: Hacker News
🧠Machine Learning
Rediscovering joy in learning: Jason Lengstorf on the state of development
github.blog·12h
⚙️Build Archaeology
How to Develop Powerful Internal LLM Benchmarks
towardsdatascience.com·11h
🔍Concolic Testing
Sharing Is Scaring: Why Is Cloud File-Sharing Hard?
blog.brownplt.org·1d·
Discuss: Lobsters, Hacker News, r/programming
💧Liquid Types
Quantum-Circuit-Based Visual Fractal Image Generation in Qiskit and Analytics
arxiv.org·1h
📐Mathematical Art
nodeWSNsec: A hybrid metaheuristic approach for reliable security and node deployment in WSNs
arxiv.org·1d
🕸️Network Topology
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·15h·
Discuss: DEV
🔒WASM Capabilities
The Great Inversion: Why Everything You Know About Software Is Now Wrong
medium.com·2h·
Discuss: Hacker News
🔄Language Evolution
Solving advection equations with reduction multigrids on GPUs
arxiv.org·1d
⚡Parallel Computing
Meta-R1: Empowering Large Reasoning Models with Metacognition
arxiv.org·1d
🧠Intelligence Compression
A Laplace diffusion-based transformer model for heart rate forecasting within daily activity context
arxiv.org·1d
🎙️Whisper
The Coding Agent Metagame
calv.info·13h·
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·1h
🤝Consensus Protocols
A Praxis of Influence: Framing the Observation and Measurement of Information Power
arxiv.org·1h
📰Content Curation
Exhaustive Generation of Pattern-Avoiding s-Words
arxiv.org·2d
💾Binary Linguistics