⚔️ Lean Theorem

Mathematical Reasoning, Interactive Proving, Type Theory, Formal Mathematics

Title: Algorithmic Discrepancy Theory
informatics.ed.ac.uk·4d
🎯Performance Proofs
Flag this post
Solver for hydrodynamic sensitivity analysis of wave-structure interactions
sciencedirect.com·6h·
Discuss: Hacker News
🌀Differential Geometry
Flag this post
Epistemic Deference to AI
arxiv.org·14h
🧮Theoretical Computer Science
Flag this post
OpenTelemetry Collector: The Backbone of Modern Observability Pipelines
blog.devops.dev·5h
👁️System Observability
Flag this post
Day v3: Late Starts, Git Revisions, and the Chaos of Balancing Everything
dev.to·3h·
Discuss: DEV
🌿git
Flag this post
Interpretability Framework for LLMs in Undergraduate Calculus
arxiv.org·5d
🏗️Constructive Logic
Flag this post
Why I'm doubling down on Rust (as a CS student)
crtse.dev·18h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
The Renaissance of written coding conventions: Because AI reads manuals, too
brokenrobot.xyz·3h·
Discuss: Hacker News
🔄Language Evolution
Flag this post
Believability in Practice (2021)
commoncog.com·1d·
Discuss: Hacker News
🛡️Proof-Carrying Archives
Flag this post
Corecursion
en.wikipedia.org·3d·
Discuss: Hacker News
λLambda Encodings
Flag this post
Dependencies, Inputs, Outputs: My Shortcut to Write Tests
remy.duthu.org·2h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Show HN: Rethinking the Interface for Vibe Coding
mauriciogomes.com·3h·
Discuss: Hacker News
🔌Interface Evolution
Flag this post
Graphing the Ransomware Payment Ecosystem Using STIX Objects
dogesec.com·20m·
Discuss: Hacker News
🔗Hash Chains
Flag this post
Empirical Partial Derivatives
brianschrader.com·3d·
Discuss: Hacker News
📚Archive Mathematics
Flag this post
Agile and the Long Crisis of Software
logicmag.io·2h·
Discuss: Hacker News
🔄Language Evolution
Flag this post
Amortized Active Generation of Pareto Sets
arxiv.org·14h
🔲Cellular Automata
Flag this post
html-is-a-tree
glfmn.io·3d·
Discuss: Lobsters, Hacker News, Hacker News
📝Concrete Syntax
Flag this post
Rationalizable Screening and Disclosure under Unawareness
arxiv.org·14h
🕳️Information Leakage
Flag this post
Introduction to Python Module Three Part Two: Loops
dev.to·3h·
Discuss: DEV
🔗Lisp
Flag this post
Verifiable Delay Functions: A brief and gentle introduction
medium.com·4d·
Discuss: Hacker News
🌊Stream Ciphers
Flag this post