Agda, Coq, Isabelle, Lean, Theorem Proving, Interactive Verification
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·16h
Guessing Game: Haskell Style
entropicthoughts.com·22h
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·8h
Is Math Discovered or Invented?
curtispoe.org·13h
5 Tiny Phrases Every Engineer Should Use With AI
read.highgrowthengineer.com·2d
How experienced engineers get unstuck in coding interviews
newsletter.pragmaticengineer.com·3h
Functional Programming in Python: Leveraging Lambda Functions and Higher-Order Functions
kdnuggets.com·4h
Loading...Loading more...