HN Explorer

cmrx64

↗ HN profile [ 752 ms ] full profile
Karma
0
Created
()
Submissions
0
  1. Show HN: CakeML-based self-verifying, self-improving system (emberian.github.io)

    based on a conversation I had with Ramana Kumar in 2016.

    4 points 0
  2. Blosc2: Faster-than-memcpy multidimensional arrays (blosc.org)
    4 points 0
  3. Bibliography of Recent BFT Algorithms (github.com)

    I put together this bibliography of recent BFT systems and supporting theory. The field has moved pretty far in the past few years, and the design space has many tradeoffs identified now. Collectively they paint a…

    6 points 1
  4. Blosc2: Faster-than-memcpy multidimensional arrays (blosc.org)
    3 points 0
  5. A framework for securing software update systems (theupdateframework.github.io)
    4 points 1
  6. TCP-ENO: Encryption Negotiation Option (datatracker.ietf.org)
    3 points 1
  7. James Webb Space Telescope Exposure Time Calculator (jwst.etc.stsci.edu)
    2 points 0
  8. This Year in Robigalia (robigalia.org)
    61 points 6
  9. Putting the Rust in Trust: A Path to Rust Verification (robigalia.org)
    10 points 0
  10. Epitaph. A text game (mkremins.github.io)
    5 points 0
  11. Verified software can (and will) be cheaper than buggy stuff (microkerneldude.wordpress.com)
    4 points 0
  12. The Optical Illusion That’s So Good, It Even Fools DanKam (dankaminsky.com)
    3 points 1
  13. Habsup developers refuse to use secure crypto (github.com)
    1 points 0
  14. State of Rust 0.11.0 (blog.octayn.net)
    170 points 114
  15. This Week in Rust (blog.octayn.net)
    52 points 7
  16. This Week in Rust (cmr.github.io)
    5 points 0
  17. This Week in Rust (cmr.github.io)
    68 points 21
  18. This Week in Rust (cmr.github.io)
    91 points 69
  19. This Week in Rust (cmr.github.io)
    70 points 27
  20. This Week in Rust (cmr.github.io)
    2 points 0
  21. This Week in Rust - LTO, dead code lint, and more (cmr.github.io)
    3 points 0
  22. This Week in Rust – Static linking, Win64 (cmr.github.io)
    57 points 23
  23. Ask HN: What do you expect in a language's 1.0 release?

    It can be hard to decide when to release. So, when you see a "1.0" as a language's version number, what do you expect to find?

    8 points 3
  24. The State of Rust 0.8 (cmr.github.io)
    8 points 0
  25. Rust's new documentation generator: 95% done (mail.mozilla.org)
    80 points 29