Park, Geon re-st

If this site slow-loads please e-mail me.

Organizations

(강연 요약) AI시대 성공적인 커리어에 관하여

(강연 요약) AI시대 성공적인 커리어에 관하여

Created Tue, 16 Sep 2025 18:44:35 +0900
[분류] 내 janestreet puzzle 풀이

My solutions for janestreet puzzles (Currently only 2 of them)

Created Fri, 12 Sep 2025 15:25:23 +0900
[분류] Lean

[분류] Lean

Created Fri, 12 Sep 2025 15:14:57 +0900
(북마크) Lean 게임 서버

Lean Game Server (adam.math.hhu.de)

Created Fri, 12 Sep 2025 14:47:07 +0900
(방법) AFL (AFL++) 디버깅 - ASAN으로 instrument하고 돌리기

(방법) AFL (AFL++) 디버깅 - ASAN으로 instrument하고 돌리기

Created Wed, 03 Sep 2025 14:00:00 +0900
(펌) Why Lean 4 replaced OCaml as my Primary Language

(펌) Why Lean 4 replaced OCaml as my Primary Language

Created Fri, 29 Aug 2025 12:00:00 +0900
(강연 요약) Introduction to Razborov's Flag Algebra

(강연 요약) Introduction to Razborov’s Flag Algebra

Created Wed, 27 Aug 2025 15:30:00 +0900
(조교) 2025년도 여름학기 Co-op을 하며

(조교) 2025년도 여름학기 Co-op을 하며

Created Thu, 14 Aug 2025 18:00:00 +0900
Seed-Prover

Seed-Prover

Created Wed, 06 Aug 2025 13:47:44 +0900
(에세이) PLDI 2025에 가서

(Essay) My trip to PLDI 2025

Created Sun, 29 Jun 2025 21:00:00 +0900

Previous Next