1. 28
    Rash: The Reckless Racket Shell lisp unix docs.racket-lang.org
    bwr avatar via bwr 2 months ago | cached | 3 comments
  2. 14
    Theorem Proving in Lean ☶ formalmethods math leanprover.github.io
    bwr avatar via bwr 3 months ago | cached | 1 comment
  3. 5
    Advice regarding a modern, paranoid, personal computing setup? ☶ ask security
    bwr avatar authored by bwr 3 months ago | 15 comments
  4. 8
    GStreamer & Rust – A perfect match video rust youtube.com
    bwr avatar via bwr 1 year ago | cached | no comments