Outer Web | Explore

/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
\|	\|	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).	8.4 parsecs away Travel
\|	\|	bartoszmilewski.com F-Algebras \| Bartosz Milewski's Programming Cafe	8.4 parsecs away Travel
\|	\|	This is part 24 of Categories for Programmers. Previously: Comonads. See the Table of Contents. We've seen several formulations of a monoid: as a set, as a single-object category, as an object in a monoidal category. How much more juice can we squeeze out of this simple concept? Let's try. Take this definition of a...	8.4 parsecs away Travel
\|	\|	stefansf.de Endiana Jones: Raiders of the Lost Byte Order	7.2 parsecs away Travel
\|	\|		7.2 parsecs away Travel
\|	\|	kobzol.github.io Writing Python like it's Rust \| Kobzol's blog	22.0 parsecs away Travel
\|		You can check out a YouTube recording of a talk based on this blog post.	22.0 parsecs away Travel