HOL, Proof Development, Mathematical Logic, Interactive Verification
To be a better programmer, write little proofs in your head
the-nerve-blog.ghost.io·13h
Historical highlights?
logicmatters.net·1h
Pointwise definable end-extensions of models of arithmetic and set theory, Changchun, China, July 2025
jdh.hamkins.org·22h
W1seGuy | TryHackMe Walkthrough — XOR? BrUt3_F0rC3 iT
infosecwriteups.com·1d
Binary Search in a 2D Matrix
mmhaskell.com·1d
FSM Library for Embedded C Projects
hackster.io·1d
RFC 7711 - PKIX over Secure HTTP (POSH)
datatracker.ietf.org·1d
Beyond the Hype: Real Talk on AI-Assisted Development • Jessica Kerr & Diana Montalion • GOTO 2025
youtube.com·13m
Extensions and Shadows (6)
sites.psu.edu·18h
What can we expect of LLMs as Software Engineers?
chelseatroy.com·15h
Loading...Loading more...