Newest stories submitted by 5d22b.

  1. 3
    Cloudflare's AI Audit Helps Websites Beat Bots ai web spectrum.ieee.org
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 4
    How to make your papers run: Executable formal semantics for your language (2019) plt tweag.io
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  3. 5
    Don't Snark (2020) culture practices typesanitizer.com
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 3
    Declare your AIndependence [includes "AI bot activity today" and "How we find AI bots"] ai web blog.cloudflare.com
    5d22b avatar via 5d22b 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  5. 2
    Defeating Coherence in Rust with Tacit Trait Parameters rust willcrichton.net
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 31
    Current zlib-rs performance performance rust trifectatech.org
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | 16 comments
  7. 11
    aya-dev: A proof assistant and a dependently-typed language formalmethods plt github.com/aya-prover
    5d22b avatar via 5d22b 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 10
    Linux memory overcommit (2007) linux opsmonkey.blogspot.com
    5d22b avatar via 5d22b 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  9. 8
    Recursion: a quick introduction (2023) rust recursion.wtf
    5d22b avatar via 5d22b 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 29
    Rust for filesystems linux rust lwn.net
    5d22b avatar via 5d22b 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 8 comments
  11. 27
    sans-IO: The secret to effective Rust for network services networking rust firezone.dev
    5d22b avatar via 5d22b 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 10 comments
  12. 3
    Generalized Autoref-Based Specialization (2019) rust lukaskalbertodt.github.io
    5d22b avatar via 5d22b 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 3
    effing-mad: Algebraic effects for Rust plt rust github.com/rosefromthedead
    5d22b avatar via 5d22b 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  14. 8
    isolate: Sandbox for securely executing untrusted programs c security github.com/ioi
    5d22b avatar via 5d22b 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  15. 9
    Effects, capabilities, and boxes: from scope-based reasoning to type-based reasoning and back (2022) ☶ pdf plt dl.acm.org
    5d22b avatar via 5d22b 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 5
    The size-change principle for program termination (2001) plt dl.acm.org
    5d22b avatar via 5d22b 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 1
    benchexec: BenchExec: A Framework for Reliable Benchmarking and Resource Measurement linux performance github.com/sosy-lab
    5d22b avatar via 5d22b 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  18. 4
    cpu-energy-meter: A tool for measuring energy consumption of Intel CPUs performance github.com/sosy-lab
    5d22b avatar via 5d22b 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  19. 10
    Extending Rust's Effect System transcript plt rust blog.yoshuawuyts.com
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  20. 3
    Function Contracts for Kani formalmethods rust model-checking.github.io
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  21. 5
    Making Async Rust Reliable plt rust tmandry.gitlab.io
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments
  22. 35
    Identifying Rust’s collect::<Vec>() memory leak footgun performance rust blog.polybdenum.com
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  23. -2
    Raising the bar for software security: GitHub 2FA begins March 13 security vcs github.blog
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  24. 3
    From Capabilities to Regions: Enabling Efficient Compilation of Lexical Effect Handlers compilers performance plt dl.acm.org
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 6
    A Grounded Conceptual Model for Ownership Types in Rust education plt rust blog.brownplt.org
    5d22b avatar via 5d22b 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
Page 2 >>