From Paper to Proof: How We Can Formally Verify Blockchain Protocols with Lean4
medium.com·3h·
Discuss: Hacker News
🤝Distributed Consensus
Python Fundamentals: case
dev.to·4h·
Discuss: DEV
✅Format Verification
Issue 481
haskellweekly.news·4h
🔗Functional Compilers
Let's Think in Two Steps: Mitigating Agreement Bias in MLLMs with Self-Grounded Verification
arxiv.org·12h
📏Linear Logic
Types That Count: Journey across Qualitative and Quantitative Intersection Types
iris.unito.it·2d·
Discuss: Hacker News
🔍Type Inference
How to actually use Model Context Protocol
seangoedecke.com·16h
⚡Proof Automation
Cactus Language • Stylistics 4
inquiryintoinquiry.com·2d
🌳Context free grammars
AwesomeAssertions/AwesomeAssertions
github.com·1d
✅Format Verification
About our proof-of-concept LLM tool for navigating Debian's manpages
gwolf.org·5h
🦀Rust Macros
Detection Engineering: Practicing Detection-as-Code – Repository – Part 2
blog.nviso.eu·8h
🔄Reproducible Builds
LLMs Are Bad at Being Forced
morphllm.com·4h·
Discuss: Hacker News
💻Local LLMs
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·3d
🏗️Constructive Mathematics
Functional Abstract Interpretation
simon.peytonjones.org·2d·
Discuss: Hacker News
🔗Functional Compilers
A Wide Reduction Trick (2022)
words.filippo.io·14h·
Discuss: Lobsters, Hacker News
🌳Archive Merkle Trees
Undone Computer Science
undonecs.org·4h·
Discuss: Hacker News
🌍Cultural Algorithms
The Architecture of Open Source Applications (Volume 1) Battle for Wesnoth
aosabook.org·41m·
Discuss: Hacker News
🔒WASM Capabilities
State of the Art of Prompt Engineering • Mike Taylor • GOTO 2025
youtube.com·4h
🖥️Terminal Renaissance
Students, here are 5 key things to know when learning how to train large language models
techradar.com·1d
💻Local LLMs
Reactive Java Operator-fusion (2016)
akarnokd.blogspot.com·21h·
Discuss: Hacker News
✨Algebraic Effects
A distributed systems reliability glossary
antithesis.com·2d·
Discuss: Lobsters, Hacker News, r/programming
✅Archive Fixity