⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

An Assessment Of the Year So Far
cool-as-heck.blog·15h
⭐Awesome lists
Gunnar Wolf: The comedy of computation, or, how I learned to stop worrying and love obsolescence
gwolf.org·3d
🧲Magnetic Philosophy
New methodology for editing existing code files using LLM generated snippets
community.openai.com·1d·
Discuss: Hacker News
📝Compiler Design
Hmf4j parallelizes as well as orders message processing
handy-messaging-framework.github.io·1d·
Discuss: Hacker News
🌊Apache Kafka
Finding Bugs in a Coding Agent with Lightweight DST
wickstrom.tech·1d·
Discuss: Lobsters, Hacker News, Hacker News
🐛Fuzzing
Heartbreak as a Service?
syntheticauth.ai·1d·
Discuss: Hacker News
🏛Digital humanities
Context Engineering 101: What We Can Learn from Anthropic
omnigeorgio.beehiiv.com·12h·
Discuss: Hacker News
✨Algebraic Effects
I was wrong about tidymodels and LLMs
simonpcouch.com·21h·
Discuss: Hacker News
✨Effect Handlers
Malleable Software Will Eat the SaaS World
mdubakov.me·2d·
Discuss: Hacker News
⚡Incremental Computation
Lethe: Purifying Backdoored Large Language Models with Knowledge Dilution
arxiv.org·5h
💻Local LLMs
The Conversational Shift: Are We Ready to Talk to a Device?
dev.to·1d·
Discuss: DEV
🌍Cultural Algorithms
ATM-GAD: Adaptive Temporal Motif Graph Anomaly Detection for Financial Transaction Networks
arxiv.org·5h
🔍Vector Forensics
Automated Cognitive Mapping via Hierarchical Semantic Graph Refinement and Reinforcement Learning
dev.to·16h·
Discuss: DEV
🔲Cellular Automata
What Are Pointers in Go? A Simple Guide for Beginners
dev.to·37m·
Discuss: DEV
🔗Concatenative Programming
TabResFlow: A Normalizing Spline Flow Model for Probabilistic Univariate Tabular Regression
arxiv.org·3d
📊Count-Min Sketch
AI Product Value Assessment Model: An Interdisciplinary Integration Based on Information Theory, Economics, and Psychology
arxiv.org·3d
🧠Intelligence Compression
A Dynamic Approach to Collaborative Document Writing
arxiv.org·3d
🔗Parser Combinators
aria - Event Driven websocket framework
dev.to·2d·
Discuss: DEV
🔌Interface Evolution
Parallel Nodal Interior-Penalty Discontinuous Galerkin Methods for the Subsonic Compressible Navier-Stokes Equations: Applications to Vortical Flows and VIV Pro...
arxiv.org·3d
🎯Performance Proofs
Reliable Weak-to-Strong Monitoring of LLM Agents
arxiv.org·1d
🎯Threat Hunting