Explore >> Select a destination


You are here

fredrikj.net
| | francisbach.com
16.0 parsecs away

Travel
| |
| | awwalker.com
15.3 parsecs away

Travel
| | Most factorization algorithms in use today fit in one of two camps: sieve-based methods based on congruences of squares, and algorithms based on decompositions of algebraic groups. In this article, we trace the common thread connecting the latter.
| | pchaigno.github.io
20.9 parsecs away

Travel
| | This post summarizes the PREVAIL paper from PLDI 2019. PREVAIL is a new verifier for eBPF based on abstract interpretation and now used by Microsoft in eBPF-for-Windows.
| | avestura.dev
92.6 parsecs away

Travel
| What are the problems of C, and how Zig addresses them?