Format Proofs, Archive Correctness, Preservation Logic, Type-safe Storage
Formal Methods for Stellar DeFi: Verifying Lending Protocol with Certora Sunbeam Prover
blog.positive.com·20h
Certificates and Witnesses for Multi-objective {\omega}-regular Queries in Markov Decision Processes
arxiv.org·1d
The Glorious Future of the Book
honest-broker.com·12h
LibreOffice Stakes Claim as Strategic Sovereignty Tool For Governments
news.slashdot.org·16h
Guessing Game: Haskell Style
entropicthoughts.com·1d
Google’s URL Context Grounding: Another Nail in RAG’s Coffin?
towardsdatascience.com·19h
It takes 26 yottabytes of RAM to typecheck a union of Safe Integers
playfulprogramming.com·2d
Claude Code's 19 cent Parser
blogger.com·1d
Loading...Loading more...