Newest stories submitted by 5d22b.

  1. -2
    Raising the bar for software security: GitHub 2FA begins March 13 security vcs github.blog
    5d22b avatar via 5d22b 10 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 3
    From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers compilers performance plt dl.acm.org
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 6
    A Grounded Conceptual Model for Ownership Types in Rust education plt rust blog.brownplt.org
    5d22b avatar via 5d22b 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  4. 2
    Elevate Your Rust Code: The Art of Separating Actions and Calculations rust rusty-ferris.pages.dev
    5d22b avatar via 5d22b 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 5
    Using Kani to Validate Security Boundaries in AWS Firecracker formalmethods rust security virtualization model-checking.github.io
    5d22b avatar via 5d22b 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 80
    Debian Celebrates 30 years linux bits.debian.org
    5d22b avatar via 5d22b 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 28 comments
  7. 5
    LL(1) Parsing: Write your own context-free grammar and see an LL(1) parser in action! (2022) compilers cs.princeton.edu
    5d22b avatar via 5d22b 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  8. 4
    Programming with Implicit Values, Functions, and Control (2019) pdf plt microsoft.com
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  9. 8
    effects-bibliography: A collaborative bibliography of work related to the theory and practice of computational effects plt github.com
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  10. 19
    Counterexamples in Type Systems plt github.com
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 12
    Soufflé: A Datalog Synthesis Tool for Static Analysis compilers math souffle-lang.github.io
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  12. 5
    Five stages of accepting constructive mathematics pdf math ams.org
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  13. 13
    What's between a set and a sequence? math buttondown.email
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  14. 4
    Friend or Foe Inside? Exploring In-Process Isolation to Maintain Memory Safety for Unsafe Rust ☶ pdf rust security arxiv.org
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 9
    The Update Framework: A framework for securing software update systems security theupdateframework.io
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 1
    Uptane: Securing Software Updates for Automobiles event security uptane.github.io
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 32
    Merging bcachefs linux lwn.net
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  18. 7
    How to implement dependent type theory I (2012) compilers ml plt math.andrej.com
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 5
    The Computational Content of Isomorphisms (2013) ☶ pdf compsci plt media.proquest.com
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  20. 8
    WebSub (2018) web w3.org
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  21. 33
    OCaml Programming: Correct + Efficient + Beautiful [a textbook] book education ml cs3110.github.io
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  22. 7
    Flux -- Liquid Types for Rust video plt rust youtube.com
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  23. 5
    Giving, lending, and async closures plt rust smallcultfollowing.com
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 5
    Wyvern: A Language for Usable Design Driven Assurance (2017) plt security github.com
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  25. 11
    RFC 6920: Naming Things with Hashes (2013) cryptography web rfc-editor.org
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
Page 2 >>