You are here |
fredrikj.net | ||
| | | |
francisbach.com
|
|
| | | | ||
| | | |
awwalker.com
|
|
| | | | 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
|
|
| | | | 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
|
|
| | What are the problems of C, and how Zig addresses them? |