๐Ÿ”ฌ Lean

Mathematical Reasoning, Theorem Proving, Type Theory, Formal Mathematics

humanely dealing with humungus crawlers
flak.tedunangst.comยท22h
๐ŸงFOSS
Trumpโ€™s Formula to Conquer the Economy, and Everything Else
theatlantic.comยท2h
๐ŸŽฏProof Tactics
izzyreal/vmpc-juce
github.comยท1d
๐ŸŽฎGameboy Emulation
Show HN: TrustGlance โ€“ See any business's trust level in seconds
trustglance.comยท2hยท
Discuss: Hacker News
๐ŸŽฏContent Recommendation
FastComments is Now Globally Distributed (and more rusty)
blog.fastcomments.comยท17hยท
Discuss: Hacker News
๐ŸŒŠStreaming Systems
Reshaped is now open source
reshaped.soยท5hยท
Discuss: Hacker News
๐Ÿ”“Open Source Software
Parameters and binding forms should be mutually recursive
samestep.comยท5dยท
Discuss: Hacker News
๐Ÿ”—Concatenative Programming
Manifesto for AI Software Development: Code Is Cattle, Not Pets
metamagic.substack.comยท3dยท
Discuss: Substack
๐Ÿ“Code Metrics
Resources, Laziness, and Continuation-Passing Style
journal.infinitenegativeutility.comยท4dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”’Linear Types
The exceptionalism of software is unwarranted
overbring.comยท2dยท
Discuss: Hacker News
๐Ÿ“Code Metrics
Claude AI just became the ultimate work companion, and it might tempt me to switch from ChatGPT
techradar.comยท3h
โšกProof Automation
RepViT-CXR: A Channel Replication Strategy for Vision Transformers in Chest X-ray Tuberculosis and Pneumonia Classification
arxiv.orgยท10h
๐Ÿง Machine Learning
Gromov-Wasserstein and optimal transport: from assignment problems to probabilistic numeric
arxiv.orgยท6d
๐Ÿ“Compression Bounds
Automated Analysis of X-ray Scattering Anomalies using Bayesian Neural Networks for Material Characterization
dev.toยท21hยท
Discuss: DEV
๐Ÿ”Vector Forensics
Automated Semantic Parsing & Feature Extraction for ์„ ๋ฐ• ์ค‘์•™ ํšก๋‹จ๋ฉด๋„ Design Optimization
dev.toยท3dยท
Discuss: DEV
๐Ÿง Intelligence Compression
Tell-Tale Watermarks for Explanatory Reasoning in Synthetic Media Forensics
arxiv.orgยท2d
๐Ÿ”Vector Forensics
Analyzing Finnish Inflectional Classes through Discriminative Lexicon and Deep Learning Models
arxiv.orgยท3d
๐Ÿ”—Monadic Parsing
RECAP: REwriting Conversations for Intent Understanding in Agentic Planning
arxiv.orgยท3d
๐Ÿ”—Parser Combinators
AI Code Alchemist: Transmuting Research Ideas into Working Software
dev.toยท2dยท
Discuss: DEV
๐Ÿค–AI Curation
GenAI Foundations โ€“ Chapter 4: Model Customization & Evaluation โ€“ Can We Trust the Outputs?
dev.toยท1dยท
Discuss: DEV
โšกIncremental Computation