Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·17h
🎯Performance Proofs
Sets & Heaps in Haskell and Rust
mmhaskell.com·1d
🔒Type Safety
CSPs - Part 1: How to (Almost) Always Win at Minesweeper
dev.to·4h·
Discuss: DEV
🔲Cellular Automata
Type-Hinting DataFrames for Static Analysis and Runtime Validation
medium.com·2h·
Discuss: Hacker News
🧮Algebraic Datatypes
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·5h
⬆️Lambda Lifting
Guessing Game: Haskell Style
entropicthoughts.com·23h
👑Dependent Haskell
FLINT: Fast Library for Number Theory
flintlib.org·1d
🧮Algebraic Datatypes
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·9h
✅Format Verification
How Many Paths of Length K Are There Between a and B?
horace.io·2d·
Discuss: Hacker News
🕸️Graph Algorithms
Song recommendations with F# free monads
blog.ploeh.dk·1d
🔗Functional Compilers
International Conference on Enumerative Combinatorics and Applications ICECA 2025 (August 25-27, 2025)
gilkalai.wordpress.com·2d
🕸️Graph Algorithms
Is Math Discovered or Invented?
curtispoe.org·14h
🔲Proof Irrelevance
On systematic construction of correct logic programs
arxiv.org·17h
⚖️Hoare Logic
Learning ON Large Datasets Using Bit-String Trees
arxiv.org·17h
🗂️Vector Databases
Teaching programming languages
kmjn.org·1d
💻Programming languages
busy beaver function
ncatlab.org·3d
⚔️Lean Theorem
Paradigms of Intelligence Team
github.com·8h·
Discuss: Hacker News
🔲Cellular Automata
A Model for all Ranges
qt.io·7h·
Discuss: Lobsters, Hacker News, r/programming
🧩SQLite Extensions
Structural vs. Mathematical “Under” (2023)
dyalog.com·21h·
Discuss: Lobsters, Hacker News, r/programming
🐚Shell Calculus
Bmssp: A New Shortest Path Algorithm
rohanparanjpe.substack.com·1d·
Discuss: Substack
🔗Topological Sorting