👑 Coq Tactics

Dependent Types, Proof Development, Ltac Programming, Mathematical Verification

Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·16h
🎯Performance Proofs
Structural vs. Mathematical “Under” (2023)
dyalog.com·20h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·8h
✅Format Verification
Guessing Game: Haskell Style
entropicthoughts.com·22h
👑Dependent Haskell
noble-curves: audited and minimal elliptic curve cryptography in JavaScript
github.com·1d·
Discuss: Hacker News
🔱Galois Cryptography
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·3h·
Discuss: DEV
🔲Cellular Automata
TypeScript Cookbook • Stefan Baumgartner & Peter Kröner
youtube.com·8h
🎯Gradual Typing
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Abhinav Sarkar: A Fast Bytecode VM for Arithmetic: The Compiler
abhinavsarkar.net·2d
🔗Functional Compilers
Is Math Discovered or Invented?
curtispoe.org·13h
🔲Proof Irrelevance
Capture Checking in Scala
nrinaudo.github.io·1d·
Discuss: Lobsters, Hacker News, r/programming
🧪Binary Fuzzing
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·1h·
Discuss: Hacker News
🧮Algebraic Datatypes
Reimagining Web3 Interactions: How Gaia Powers Smart Token Creation on Linea with MetaMask Delegation Toolkit
dev.to·7h·
Discuss: DEV
🔒WASM Capabilities
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
Knowledge and Common Knowledge in a Distributed Environment, Part 2
emptysqua.re·1d
🤝Paxos Consensus
Did GPT-5 Solve 'New Math'?
tech2geek.net·10h·
Discuss: Hacker News
🎯Performance Proofs
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Model-based Testing Distributed Systems with P Language (2021)
mydistributed.systems·6h·
Discuss: Lobsters, Hacker News, r/programming
📞Session Types
Positional Embeddings in Transformers: A Math Guide to RoPE & ALiBi
towardsdatascience.com·6h
📐Geometric Hashing
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·4h
⬆️Lambda Lifting