1. 33
    Penrose: from mathematical notation to beautiful diagrams graphics math plt programming penrose.ink
    brendan avatar via brendan 3 days ago | cached | 4 comments
  2. 13
    Using Formal Methods to Eliminate Exploitable Bugs video formalmethods security youtube.com
    brendan avatar via brendan 3 days ago | cached | 5 comments
  3. 15
    One-pass Compiler Primer compilers programming keleshev.com
    brendan avatar via brendan 15 days ago | cached | 1 comment
  4. 14
    Diagrams for Composing Compilers compilers programming johnwickerson.wordpress.com
    brendan avatar via brendan 15 days ago | cached | 1 comment
  5. 5
    x86 mov insns & short history of the most popular CPU architecture video assembly hardware youtube.com
    brendan avatar via brendan 6 months ago | cached | no comments
  6. 5
    The organized chaos of programming language design plt programming medium.com
    brendan avatar via brendan 9 months ago | cached | 1 comment
  7. 7
    What's Your Computer Actually Doing? video assembly programming youtube.com
    brendan avatar via brendan 10 months ago | cached | 1 comment
  8. 20
    Rust Creator Graydon Hoare Talks About Security, History, and Rust plt programming rust security thenewstack.io
    brendan avatar via brendan 11 months ago | cached | 1 comment
  9. 15
    Formally Verified Software in the Real World formalmethods programming security cacm.acm.org
    brendan avatar via brendan 1 year ago | cached | 1 comment
  10. 5
    Resources for Teaching with Formal Methods education formalmethods math plt programming avigad.github.io
    brendan avatar via brendan 1 year ago | cached | no comments
  11. 21
    Sketch.systems design formalmethods testing sketch.systems
    brendan avatar via brendan 2 years ago | cached | 8 comments
  12. 16
    KRust: A Formal Executable Semantics of Rust pdf formalmethods plt programming rust arxiv.org
    brendan avatar via brendan 2 years ago | cached | 1 comment
  13. 6
    Effective Programming: Adding an Effect System to OCaml video ml plt programming youtube.com
    brendan avatar via brendan 2 years ago | cached | no comments
  14. 5
    Seven Sketches in Compositionality: An Invitation to Applied Category Theory pdf book math arxiv.org
    brendan avatar via brendan 2 years ago | cached | no comments
  15. 7
    YOW! Conference 2017 - Ken Scambler - Adopting FP: A Human-First Approach video practices programming youtube.com
    brendan avatar via brendan 2 years ago | cached | 2 comments
  16. 15
    Implicit functors ml plt jobjo.github.io
    brendan avatar via brendan 2 years ago | cached | 3 comments
  17. 15
    "A (Not So Gentle) Introduction To Systems Programming In ATS" by Aditya Siram video formalmethods programming youtube.com
    brendan avatar via brendan 2 years ago | cached | 2 comments
  18. 9
    Chris Smith: CodeWorld - Teaching Haskell to Children video education haskell programming youtube.com
    brendan avatar via brendan 3 years ago | cached | 1 comment
  19. 21
    Compiling C to printable x86, to make an executable research paper video assembly compilers compsci youtube.com
    brendan avatar via brendan 3 years ago | cached | 2 comments
  20. 6
    Servo Architecture: Safety and Performance video browsers programming rust youtube.com
    brendan avatar via brendan 3 years ago | cached | 1 comment