Proof Development, Tactic Languages, Theorem Proving, Mathematical Verification
Newly-Retired Andrew Appel Reflects on his Voting Machine Advocacy
blog.citp.princeton.edu·1d
Authenticate Update 38211: Introducing the Perspective Filter, Improvements to the Video Mode, and More!
blog.ampedsoftware.com·1d
Metacrap
people.well.com·1d
Lewis Carroll and Zero Knowledge Proofs
johndcook.com·15h
Trying out Qwen3 Coder Flash using LM Studio and Open WebUI and LLM
simonwillison.net·1d
Vulnerability Mitigation System (VMS): LLM Agent and Evaluation Framework for Autonomous Penetration Testing
arxiv.org·3d
Loading...Loading more...