Newest stories submitted by jakob.

  1. 23
    What I've Learned About Formal Methods In Half a Year formalmethods jakob.space
    jakob avatar authored by jakob 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  2. 11
    Custom allocators in Rust rust nical.github.io
    jakob avatar via jakob 1 month ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 30
    a world to win: webassembly for the rest of us lisp wasm wingolog.org
    jakob avatar via jakob 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 9 comments
  4. 64
    Use GNU Emacs emacs lib.uchicago.edu
    jakob avatar via jakob 2 months ago |
    Archive.org Archive.today Ghostarchive
    | 35 comments
  5. 8
    Catbird: An experimental game engine for Scheme programmers games lisp dthompson.us
    jakob avatar via jakob 6 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  6. 18
    The Hitchhiker’s Guide to Logical Verification pdf formalmethods math browncs1951x.github.io
    jakob avatar via jakob 8 months ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  7. 23
    I Love My PinePhone linux mobile jakob.space
    jakob avatar via jakob 9 months ago |
    Archive.org Archive.today Ghostarchive
    | 13 comments
  8. 4
    DoD Open Source Software FAQ law security dodcio.defense.gov
    jakob avatar via jakob 10 months ago |
    Archive.org Archive.today Ghostarchive
    | 7 comments
  9. 3
    SFUZZ: High Performance Coverage-guided Greybox Fuzzer with Custom JIT Engine assembly security seal9055.com
    jakob avatar via jakob 11 months ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  10. 3
    Three Years of Tetra games rust seventeencups.net
    jakob avatar via jakob 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  11. 10
    Weaponizing an NFC reader for basic timing attacks reversing ceres-c.it
    jakob avatar via jakob 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  12. 1
    Creating a vDSO: the Colonel's Other Chicken (2012) linux linuxjournal.com
    jakob avatar via jakob 1 year ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  13. 2
    Anatomy of a simple and popular packer reversing windows fumik0.com
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  14. 10
    Announcing Rizin release reversing rizin.re
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 4 comments
  15. 10
    Irrational Numbers math blog.demofox.org
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  16. 4
    Status Report on the Second Round of NIST Post-Quantum Cryptography Standardization pdf cryptography nvlpubs.nist.gov
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  17. 73
    The evolution of a Scheme programmer lisp erkin.party
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 17 comments
  18. 9
    Logic, before ICs hardware northcoastsynthesis.com
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  19. 8
    Building TodoMVC With vgtk rust bodil.lol
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  20. 15
    Gerald Jay Sussman & Chris Hanson: Adventures In Advanced Symbolic Programming video lisp archive.org
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  21. 2
    A Link Between Russian Roulette and Rejection Sampling / Importance Sampling math blog.demofox.org
    jakob avatar via jakob 2 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  22. 3
    Conway’s Game of Life on the NES in Rust rust gridbugs.org
    jakob avatar via jakob 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  23. 24
    Rust's Runtime rust blog.mgattozzi.dev
    jakob avatar via jakob 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  24. 6
    Oxidizing the technical interview rust satire blog.mgattozzi.dev
    jakob avatar via jakob 3 years ago |
    Archive.org Archive.today Ghostarchive
    | 1 comment
  25. 4
    How to use Trend Micro's Rootkit Remover to Install a Rootkit security windows d4stiny.github.io
    jakob avatar via jakob 3 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
Page 2 >>