Newest stories submitted by brendan.

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