Newest stories submitted by jado.

  1. 4
    Rune is a programming language developed to test ideas for improving security and efficiency plt github.com
    jado avatar via jado 3 days ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  2. 4
    Zero-Cost Memory Safety with Vale Regions (Preview) plt verdagon.dev
    jado avatar via jado 14 days ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 11
    Hash Codes, Non-Determinism, and Other Eldritch Horrors plt verdagon.dev
    jado avatar via jado 21 days ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  4. 20
    What I meant by the "soul of Rust" rust smallcultfollowing.com
    jado avatar via jado 2 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  5. 37
    Cemu, a Wii U emulator, is now Open Source release reversing github.com
    jado avatar via jado 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  6. 38
    Roc is a language for making delightful software plt github.com
    jado avatar via jado 3 months ago |
    Archive.org Archive.today Ghostarchive
    | 38 comments
  7. 6
    (Ab)using Rust traits to write silly things rust ihatereality.space
    jado avatar via jado 5 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  8. 2
    Quantum Photonics — Strawberry Fields ai compsci python strawberryfields.ai
    jado avatar via jado 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  9. 8
    Yuzu Progress Report January 2021 reversing yuzu-emu.org
    jado avatar via jado 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  10. 16
    The most thoroughly commented linker script (probably) c blog.thea.codes
    jado avatar via jado 1 year ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  11. 2
    Replicating Safari's Link Preview Animation browsers ios programming shadowfacts.net
    jado avatar via jado 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 7
    ZetZ - a symbolic verifier and transpiler to bare metal C c compilers formalmethods plt github.com
    jado avatar via jado 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  13. 2
    Hacklang at Slack: A Better PHP php practices slack.engineering
    jado avatar via jado 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 31
    Row Polymorphism without the Jargon plt jadon.io
    jado avatar authored by jado 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 15 comments