/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 danilafe.com
Implementing and Verifying "Static Program Analysis" in Agda, Part 4: The Fixed-Point Algorithm
| | blog.ezyang.com
Well-founded recursion in Agda : ezyang's blog
8.0 parsecs away

Travel
| |
| | stefansf.de
Endiana Jones: Raiders of the Lost Byte Order
7.2 parsecs away

Travel
| |
| | www.leviathansecurity.com
Encoding Bitwise Functions as Polynomials - Leviathan Security Group - Penetration Testing, Security Assessment, Risk Advisory
8.4 parsecs away

Travel
| | Using polynomials to represent Boolean functions, see how they can be solved using generic math, analyze the properties of the representation, and use them to construct an arithmetic logic unit (ALU).
| | yozh.org
Nowhere Differentiable Functions | Rhapsody in Numbers
35.4 parsecs away

Travel
|