1. 58
    Introducing cap-std, a capability-based version of the Rust standard library rust security blog.sunfishcode.online
    brendan avatar via brendan 3 months ago | cached | 22 comments
  2. 34
    You Can't Prove Everything That's True video compsci math youtube.com
    brendan avatar via brendan 4 months ago | cached | 16 comments
  3. 6
    Type-guided development and garden paths haskell testing frasertweedale.github.io
    brendan avatar via brendan 4 months ago | cached | no comments
  4. 7
    Verification = TCB/PB Reduction formalmethods blog.compiler.ai
    brendan avatar via brendan 4 months ago | cached | 1 comment
  5. 11
    Apollo Era Personal Computers video historical math youtube.com
    brendan avatar via brendan 4 months ago | cached | 1 comment
  6. 33
    Query Engines: Push vs. Pull databases justinjaffray.com
    brendan avatar via brendan 5 months ago | cached | 6 comments
  7. 17
    Safe Systems Programming in Rust plt rust cacm.acm.org
    brendan avatar via brendan 6 months ago | cached | no comments
  8. 3
    Computing with metavalues formalmethods math fredrikj.net
    brendan avatar via brendan 7 months ago | cached | no comments
  9. 5
    Friendship ended with Monads: Testing out Algebraic effects in OCaml for Animations ml plt gopiandcode.uk
    brendan avatar via brendan 8 months ago | cached | no comments
  10. 61
    Turning the IDE Inside Out with Datalog databases plt petevilter.me
    brendan avatar via brendan 1 year ago | cached | 13 comments
  11. 7
    Verified Programming with Project Everest video formalmethods plt youtube.com
    brendan avatar via brendan 1 year ago | cached | no comments
  12. 6
    Effects for Less video haskell performance youtube.com
    brendan avatar via brendan 1 year ago | cached | no comments
  13. 34
    Penrose: from mathematical notation to beautiful diagrams graphics math plt programming penrose.ink
    brendan avatar via brendan 1 year ago | cached | 10 comments
  14. 15
    Using Formal Methods to Eliminate Exploitable Bugs video formalmethods security youtube.com
    brendan avatar via brendan 1 year ago | cached | 5 comments
  15. 15
    One-pass Compiler Primer compilers programming keleshev.com
    brendan avatar via brendan 1 year ago | cached | 1 comment
  16. 15
    Diagrams for Composing Compilers compilers programming johnwickerson.wordpress.com
    brendan avatar via brendan 1 year ago | cached | 1 comment
  17. 5
    x86 mov insns & short history of the most popular CPU architecture video assembly hardware youtube.com
    brendan avatar via brendan 1 year ago | cached | no comments
  18. 5
    The organized chaos of programming language design plt programming medium.com
    brendan avatar via brendan 2 years ago | cached | 1 comment
  19. 7
    What's Your Computer Actually Doing? video assembly programming youtube.com
    brendan avatar via brendan 2 years ago | cached | 1 comment
  20. 20
    Rust Creator Graydon Hoare Talks About Security, History, and Rust plt programming rust security thenewstack.io
    brendan avatar via brendan 2 years ago | cached | 1 comment
  21. 15
    Formally Verified Software in the Real World formalmethods programming security cacm.acm.org
    brendan avatar via brendan 2 years ago | cached | 1 comment
  22. 5
    Resources for Teaching with Formal Methods education formalmethods math plt programming avigad.github.io
    brendan avatar via brendan 2 years ago | cached | no comments
  23. 21
    Sketch.systems design formalmethods testing sketch.systems
    brendan avatar via brendan 3 years ago | cached | 8 comments
  24. 16
    KRust: A Formal Executable Semantics of Rust pdf formalmethods plt programming rust arxiv.org
    brendan avatar via brendan 3 years ago | cached | 1 comment
  25. 6
    Effective Programming: Adding an Effect System to OCaml video ml plt programming youtube.com
    brendan avatar via brendan 3 years ago | cached | no comments
Page 2 >>