ahelwer.ca: 18 stories from 2 submitters

  1. 18
    FOSS I Love: Local game streaming with Sunshine and Moonlight games ahelwer.ca
    ahelwer avatar authored by ahelwer 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  2. 19
    Inlining SVGs for Dark Mode css ahelwer.ca
    ahelwer avatar authored by ahelwer 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  3. 18
    Using TLA⁺ at Work: Designing a Snapshot Coordination System distributed formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 1 month ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  4. 12
    Pseudocode Showdown: Python vs. PlusCal & TLA+ formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  5. 61
    Google Groups has been left to die culture ahelwer.ca
    ahelwer avatar authored by ahelwer 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 52 comments
  6. 9
    Checking Firewall Equivalence with Z3 (2018) compsci networking ahelwer.ca
    peter avatar via peter 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 15
    Can sanitizers find the two bugs I wrote in C++? c c++ ahelwer.ca
    ahelwer avatar authored by ahelwer 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 19 comments
  8. 17
    Two C++ bugs I found c c++ ahelwer.ca
    ahelwer avatar authored by ahelwer 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  9. 19
    Writing a TLA⁺ tree-sitter grammar: my foray into free software formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 4 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  10. 16
    What's the difference between a computer and a rock? philosophy ahelwer.ca
    ahelwer avatar authored by ahelwer 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 21 comments
  11. 15
    The Missing Prelude to The Little Typer's Trickiest Chapter formalmethods plt ahelwer.ca
    ahelwer avatar authored by ahelwer 7 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  12. 4
    Two pictures of quantum computation compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 7
    How do you reason about a probabilistic distributed system? distributed formalmethods ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  14. 50
    Taking my home work setup seriously: ergonomics and settling in for the long haul hardware ahelwer.ca
    ahelwer avatar authored by ahelwer 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 38 comments
  15. 17
    Doing a math assignment with the Lean theorem prover formalmethods math ahelwer.ca
    ahelwer avatar authored by ahelwer 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  16. 11
    Walking the faster-than-light tightrope: quantum entanglement and the CHSH game compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  17. 9
    Simulating physical reality with a quantum computer compsci ahelwer.ca
    ahelwer avatar authored by ahelwer 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 6 comments