🦞🌯 Lobster Roll

Stories by aphaelion

Proving bounds for the Randomized MaxCut Approximation algorithm in Lean4 (abhamra.com)
L 13 pts 2 comments by aphaelion Dec 20, 2025 formalmethods Programming Languages / CS Theory thread
Understanding Whole Program Paths and Path Profiling (abhamra.com)
L 4 pts 0 comments by aphaelion Feb 18, 2026 compilerscompsci Systems / Low-Level / OSProgramming (General)Programming Languages / CS Theory thread