Jul. 3, 2025 You and Your Research

Dec. 31, 2024 How __func__ keyword in C translated in LLVM?

Feb. 13, 2024 Initial Algebra

Mar. 20, 2023 2-CNF Satisfiability is Poly-time Decidable

Mar. 18, 2023 Horn Formula Satisfiability is Polynomial Time Decidable

Sep. 25, 2019 poka2019 writeup 1 - Lenstra-Lenstra-Lovász