Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·9h
🎯Performance Proofs
Guessing Game: Haskell Style
entropicthoughts.com·15h
👑Dependent Haskell
Structural vs. Mathematical “Under” (2023)
dyalog.com·13h·
Discuss: Lobsters, Hacker News
🐚Shell Calculus
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·1h
✅Format Verification
FLINT: Fast Library for Number Theory
flintlib.org·19h
🧮Algebraic Datatypes
Paradigms of Intelligence Team
github.com·18m·
Discuss: Hacker News
🔲Cellular Automata
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·1h
🎯Gradual Typing
Reloading classes in python and shared borders
andrewpwheeler.com·2h·
Discuss: Hacker News
🦀Rust Macros
Harnessing MCP Servers with LangChain and LangGraph: A Comprehensive Guide
dev.to·1d·
Discuss: DEV
🔗Constraint Handling
Did GPT-5 Solve 'New Math'?
tech2geek.net·3h·
Discuss: Hacker News
🎯Performance Proofs
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
What writing a failed rock-paper-scissors program taught me (or should have taught me) about sample size and uncertainty
statmodeling.stat.columbia.edu·23h
🧮Kolmogorov Bounds
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Show HN: SecretMemoryLocker – File Encryption Without Static Passwords
news.ycombinator.com·20h·
Discuss: Hacker News
🔐Archive Encryption
The Lobster Programming Language
strlen.com·17h·
Discuss: Hacker News
🔗Concatenative Programming
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
Claude Code Gets a Second Opinion from GPT-5
proxymock.io·23h·
Discuss: Hacker News
⚡Proof Automation
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·9h
🗂️Vector Databases
On systematic construction of correct logic programs
arxiv.org·9h
⚖️Hoare Logic
Learning JavaScript Promises the Feynman Way (With AI Assistance)
jakeworth.com·23m·
Discuss: Hacker News
⚔️Lean Tactics