venillalemon
About Blog Posts

Blog

2026

Player Hell Writeup

2026-06-07

Solving the Shortest Vector Problem in 2^n Time via Discrete Gaussian Sampling

2026-05-11

Secure Multi-Party Computation

2026-03-15

Libra

2026-03-14

Linear PCP and Recursive SNARKs

2026-02-04

Polynomial Commitment Schemes and Fiat-Shamir

2026-01-26

Polynomial IOPs for Circuit SAT and PLONK

2026-01-20

SNARK Foundations and Functional Commitments

2026-01-14

Harmonic Analysis in Coding Theory

2026-01-11

2025

Kuperberg's Algorithm

2025-11-17

Uncertainty Principle and Applications

2025-11-01

On semantic check, types, namespaces and control flows in Rx

2025-09-16

Belief propagation

2025-08-20

Something about Rust & Rx*

2025-08-18

Dirichlet theorem: using cyclotomic polynomials

2025-07-18

Average case complexity: Levin’s theory - 0x12

2025-07-16

The Polynomial Hierarchy and Alternations - 0x05

2025-07-15

Reduction & Diagonal Method - 0x03

2025-07-14

Modal logic

2025-07-12

Properties of LLL Basis

2025-07-09

Two simple proofs

2025-07-06

Linear algebra methods

2025-05-26

Distinct Distances and Property B

2025-05-21

Crossing lemma

2025-05-19

Probabilistic method

2025-04-28

Happy Ending Problem

2025-04-27

Ramsey Theory and Probabilistic Method Intro

2025-04-21

Graph Coloring and Intro to Ramsey

2025-04-14

Tree Embedding and Erdos-Sos

2025-04-07

More on turan and trees

2025-03-31

Turan's Theorem

2025-03-24

Computation Theory - 0x00

2025-01-14

2024

Untyped lambda calculus

2024-06-24

Measurable functions

2024-06-14

Measures

2024-06-13

Field Extensions

2024-04-26

Blog begin

2024-04-25

GitHub Email Feed Blog Sitemap
© 2026 venillalemon · built with Jekyll