https://venillalemon.github.io/ https://venillalemon.github.io/sitemap/ https://venillalemon.github.io/blog/ https://venillalemon.github.io/markdown_generator/ https://venillalemon.github.io/articles/Harmonic_Analysis_in_Coding_Theory.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/articles/Largest_Clique_in_a_Random_Graph.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/articles/Uncertainty_Principle.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/articles/cliques_in_random_graphs.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/books/appliedcrypto.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/books/ccama.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/books/introalg.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/books/ipc.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/books/itc.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/books/pragmaticmpc.pdf 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2024_04_25_blog_begin.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2024_04_26_Field_Extensions.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2024_06_13_measures.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2024_06_14_measurable_functions.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2024_06_24_untyped_lambda_calculus.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_01_14_Computation_Theory_-_0x00.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_03_24_Turan's_Theorem.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_03_31_more_on_turan_and_trees.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_04_07_Tree_Embedding_and_Erdos-Sos.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_04_14_Graph_Coloring_and_Intro_to_Ramsey.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_04_21_Ramsey_Theory_and_Probabilistic_Method_Intro.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_04_27_Happy_Ending_Problem.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_04_28_probabilistic_method.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_05_19_crossing_lemma.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_05_21_Distinct_Distances_and_Property_B.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_05_26_linear_algebra_methods.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_07_06_two_simple_proofs.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_07_09_Properties_of_LLL_Basis.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_07_12_modal_logic.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_07_14_Reduction_&_Diagonal_Method_-_0x03.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_07_15_The_Polynomial_Hierarchy_and_Alternations_-_0x05.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_07_16_Average_case_complexity:_Levin%E2%80%99s_theory_-_0x12.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_07_18_Dirichlet_theorem:_using_cyclotomic_polynomials.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_08_18_Something_about_Rust_&_Rx*.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_08_20_belief_propagation.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_09_16_On_semantic_check,_types,_namespaces_and_control_flows_in_Rx.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_11_01_Uncertainty_Principle_and_Applications.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2025_11_17_Kuperberg's_Algorithm.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_01_11_Harmonic_Analysis_in_Coding_Theory.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_01_14_SNARK_Foundations_and_Functional_Commitments.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_01_20_Polynomial_IOPs_for_Circuit_SAT_and_PLONK.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_01_26_Polynomial_Commitment_Schemes_and_Fiat-Shamir.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_02_04_Linear_PCP_and_Recursive_SNARKs.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_03_14_Libra.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_03_15_Secure_Multi-Party_Computation.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_05_11_Solving_the_Shortest_Vector_Problem_in_2%5En_Time_via_Discrete_Gaussian_Sampling.html 2026-08-11T21:58:29-07:00 https://venillalemon.github.io/files/2026_06_07_Player_Hell_Writeup.html 2026-08-11T21:58:29-07:00