⚔️ 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·10h·
Discuss: Hacker News
🌀Differential Geometry
Flag this post
Graphing the Ransomware Payment Ecosystem Using STIX Objects
dogesec.com·3h·
Discuss: Hacker News
🔗Hash Chains
Flag this post
Code Supernova is shutting down. Here's what to use instead
blog.kilocode.ai·2h·
Discuss: Hacker News
🔄Sync Engine
Flag this post
Agile and the Long Crisis of Software
logicmag.io·5h·
Discuss: Hacker News
🔄Language Evolution
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·17h
🕳️Information Leakage
Flag this post
Introduction to Python Module Three Part Two: Loops
dev.to·6h·
Discuss: DEV
🔗Lisp
Flag this post
Why I'm doubling down on Rust (as a CS student)
crtse.dev·22h·
Discuss: Hacker News
🦀Rust Macros
Flag this post
Verifiable Delay Functions: A brief and gentle introduction
medium.com·4d·
Discuss: Hacker News
🌊Stream Ciphers
Flag this post
Few-Shot Knowledge Distillation of LLMs With Counterfactual Explanations
arxiv.org·17h
💻Local LLMs
Flag this post
Dependent Session Types for Verified Concurrent Programming
arxiv.org·4d
📞Session Types
Flag this post
The ORM for LLM
github.com·2h·
Discuss: Hacker News
📋Document Grammar
Flag this post
SQL Mandelbrot Benchmark
github.com·1d·
Discuss: Hacker News
🗃️Database Storage
Flag this post
Reagami: a Reagent-like library in less than 100 lines of Squint CLJS
blog.michielborkent.nl·2d·
Discuss: Hacker News
🎯Gradual Typing
Flag this post
LLMs Are Bottlenecked by Linear Interfaces
handmadeoasis.com·22h·
Discuss: Hacker News
📏Linear Logic
Flag this post
Dependencies, Inputs, Outputs: My Shortcut to Write Tests
remy.duthu.org·5h·
Discuss: Hacker News
🧪Property-Based Testing
Flag this post
Book review: Overfitting and heuristics in philosophy
ndpr.nd.edu·2d·
Discuss: Hacker News
🔲Proof Irrelevance
Flag this post
Programming Languages as Languages (2014)
programmingzen.com·1d·
Discuss: Lobsters, Hacker News
💻Programming languages
Flag this post
Mastering Lock-Free Data Structures in Go: Ring Buffers, Queues, and Performance Optimization
dev.to·22h·
Discuss: DEV
⚡Hardware Transactional Memory
Flag this post