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