Zmodexp
january 2008 by randombit
Zmodexp is a library for fast integer modular exponentiation.
crypto
math
djb
optimization
january 2008 by randombit
TLA - The Temporal Logic of Actions
december 2007 by randombit
TLA (the Temporal Logic of Actions) is a logic for specifying and reasoning about concurrent and reactive systems.
concurrency
distributed
lamport
math
logic
verification
specification
december 2007 by randombit
David MacKay: Information Theory, Pattern Recognition and Neural Networks: The Book
february 2006 by randombit
Recommended by graydon on his advogato blog
math
book
theory
stats
february 2006 by randombit
related tags
algorithm ⊕ benchmarks ⊕ blog ⊕ book ⊕ complexity ⊕ computing ⊕ concurrency ⊕ crypto ⊕ cs ⊕ culture ⊕ cycle-finding ⊕ distributed ⊕ djb ⊕ ecc ⊕ education ⊕ eurocrypt ⊕ fec ⊕ galoisfield ⊕ hardware ⊕ history ⊕ implementation ⊕ interview ⊕ journal ⊕ lamport ⊕ learning ⊕ lectures ⊕ logic ⊕ math ⊖ news ⊕ numbertheory ⊕ optimization ⊕ papers ⊕ person ⊕ philosophy ⊕ physics ⊕ pollard ⊕ practice ⊕ primes ⊕ puzzle ⊕ quantum ⊕ rho ⊕ rijndael ⊕ rsa ⊕ science ⊕ sieve ⊕ simd ⊕ specification ⊕ sse ⊕ stats ⊕ tahoe ⊕ theory ⊕ toprint ⊕ verification ⊕ x86 ⊕Copy this bookmark: