Newest stories submitted by 5d22b.

  1. 7
    Flux -- Liquid Types for Rust video plt rust youtube.com
    5d22b avatar via 5d22b 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 5
    Giving, lending, and async closures plt rust smallcultfollowing.com
    5d22b avatar via 5d22b 10 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 5
    Wyvern: A Language for Usable Design Driven Assurance (2017) plt security github.com
    5d22b avatar via 5d22b 11 days ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 10
    RFC 6920: Naming Things with Hashes (2013) cryptography web rfc-editor.org
    5d22b avatar via 5d22b 11 days ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  5. 30
    You should be reading academic computer science papers (2022) compsci practices stackoverflow.blog
    5d22b avatar via 5d22b 13 days ago |
    Archive.org Archive.today Ghostarchive
    | 31 comments
  6. 8
    A guide to test parametrization in Rust rust testing unterwaditzer.net
    5d22b avatar via 5d22b 16 days ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  7. 20
    Iterator, Generator rust without.boats
    5d22b avatar via 5d22b 16 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 19
    The 2023 Developer Survey is now live programming stackoverflow.blog
    5d22b avatar via 5d22b 18 days ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  9. 2
    Specifying and Verifying Higher-order Rust Iterators formalmethods rust hal.science
    5d22b avatar via 5d22b 24 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 2
    Writing Code with ChatGPT? Improve it with Kani ai formalmethods rust model-checking.github.io
    5d22b avatar via 5d22b 24 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 6
    Coherence and Orphan Rules in Rust: An unofficial, experimental place for documenting … plt rust github.com
    5d22b avatar via 5d22b 27 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 9
    First-Class Modules and Modular Implicits in OCaml (2017) ml tycon.github.io
    5d22b avatar via 5d22b 29 days ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  13. 1
    Understanding tracing's macros by rebuilding them from scratch rust dietcode.io
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 2
    Restructuring Patterns rust catmonad.xyz
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  15. 2
    cargo-cut-diagnostics: Cargo subcommand to display only the first page of diagnostics rust github.com
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  16. 8
    Rustls 0.21.0 Released With Exciting New Features networking release rust security memorysafety.org
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 6
    Linear Types One-Pager plt rust blog.yoshuawuyts.com
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  18. 9
    Linearity and Control [linear types proposal for Rust] plt rust blog.yoshuawuyts.com
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  19. 1
    A Proposal for Safe Window Handles android rust notgull.github.io
    5d22b avatar via 5d22b 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 23
    Must move types [Linear types proposed for Rust] plt rust smallcultfollowing.com
    5d22b avatar via 5d22b 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  21. 2
    Optimizing a parser/compiler with data-oriented design: a case study compilers performance rust tweedegolf.nl
    5d22b avatar via 5d22b 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  22. 7
    Hygienic Resugaring of Compositional Desugaring plt cs.brown.edu
    5d22b avatar via 5d22b 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  23. 22
    \Device\Afd, or, the Deal with the Devil that makes async Rust work on Windows rust windows notgull.github.io
    5d22b avatar via 5d22b 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 4
    How to implement type theory in an hour (2018) ml plt math.andrej.com
    5d22b avatar via 5d22b 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 5
    Faking Algebraic Effects and Handlers With Traits: A Rust Design Pattern plt rust blog.shtsoft.eu
    5d22b avatar via 5d22b 3 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>