Newest stories submitted by ahelwer.

  1. 7
    Systems Correctness Practices at AWS: Leveraging Formal and Semi-formal Methods formalmethods dl.acm.org
    ahelwer avatar via ahelwer 6 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 9
    Quint Deserves Rust formalmethods rust informal.systems
    ahelwer avatar via ahelwer 19 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  3. 15
    TLA+ Monthly Development Update - December 2024 formalmethods foundation.tlapl.us
    ahelwer avatar authored by ahelwer 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  4. 13
    What implementation-independent test file formats exist for language tooling? ☶ ask testing
    ahelwer avatar authored by ahelwer 3 months ago | 24 comments
  5. 12
    Huawei develops 72TB SSD-tape hybrid storage device ☶ hardware tomshardware.com
    ahelwer avatar via ahelwer 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  6. 3
    Model checking safety of Ben-Or’s Byzantine consensus with Apalache ☶ distributed formalmethods protocols-made-fun.com
    ahelwer avatar via ahelwer 4 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  7. 23
    TLA⁺ is more than a DSL for breadth-first search formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 14 comments
  8. 33
    AI models collapse when trained on recursively generated data ai nature.com
    ahelwer avatar via ahelwer 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  9. 27
    Seattle’s Living Computers Museum logs off for good as Paul Allen estate will auction vintage items hardware geekwire.com
    ahelwer avatar via ahelwer 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments
  10. 12
    TLA⁺ Unicode support: Learning to work with others in open source formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  11. 2
    NixOS/nixpkgs: There isn't a clear canonical way to refer to a specific package version [2020] ☶ nix github.com/nixos
    ahelwer avatar via ahelwer 11 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 2
    Neural Spline Fields for Burst Image Fusion and Layer Separation ai light.princeton.edu
    ahelwer avatar via ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 17
    Typing "nix-env -i" should not try to install every single package [2014] nix github.com/nixos
    ahelwer avatar via ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  14. 29
    The Full-Source Bootstrap: Building from source all the way down nix guix.gnu.org
    ahelwer avatar via ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  15. 12
    Wrangling monotonic systems in TLA+ distributed formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  16. 12
    Pitfalls of Programming with Dependent Types formalmethods plt lean-lang.org
    ahelwer avatar via ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  17. 6
    Textbook Review - Performance Modeling and Design of Computer Systems: Queueing Theory in Action ☶ distributed emptysqua.re
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  18. 16
    Which Parsing Approach? (2020) compilers tratt.net
    ahelwer avatar via ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 11 comments
  19. 17
    Functional Programming in Lean ☶ formalmethods programming leanprover.github.io
    ahelwer avatar via ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  20. 18
    FOSS I Love: Local game streaming with Sunshine and Moonlight games ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  21. 22
    Linux Foundation Announces Launch of TLA+ Foundation formalmethods linuxfoundation.org
    ahelwer avatar via ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 12 comments
  22. 19
    Inlining SVGs for Dark Mode css ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  23. 18
    Using TLA⁺ at Work: Designing a Snapshot Coordination System distributed formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  24. 12
    Pseudocode Showdown: Python vs. PlusCal & TLA+ formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  25. 61
    Google Groups has been left to die culture ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 51 comments
Page 2 >>