https://yayuwang.org/This is my cool siteHugo -- gohugo.ioenhttps://yayuwang.org/posts/email (Yayu Wang)https://yayuwang.org/posts/email (Yayu Wang)Wed, 04 Mar 2026 23:19:29 +0000https://yayuwang.org/v8/Wed, 04 Mar 2026 23:19:29 +0000Yayu Wanghttps://yayuwang.org/v8/为什么我之前没写过 V8 呢https://yayuwang.org/elliptic_curve_cryptography/Tue, 17 Jun 2025 10:33:43 +0000Yayu Wanghttps://yayuwang.org/elliptic_curve_cryptography/Elliptic Curve Cryptographyhttps://yayuwang.org/agda/Sun, 17 Mar 2024 22:16:08 +0000Yayu Wanghttps://yayuwang.org/agda/Agdahttps://yayuwang.org/programming_language/Sun, 14 Jan 2024 04:12:00 +0000Yayu Wanghttps://yayuwang.org/programming_language/Programming Languagehttps://yayuwang.org/coq/Sun, 14 Jan 2024 04:11:19 +0000Yayu Wanghttps://yayuwang.org/coq/Coqhttps://yayuwang.org/memory/Sun, 07 Jan 2024 00:00:00 +0000Yayu Wanghttps://yayuwang.org/memory/爷的memory烂到受不了了https://yayuwang.org/ocaml/Wed, 11 Oct 2023 16:08:40 +0000Yayu Wanghttps://yayuwang.org/ocaml/OCamlhttps://yayuwang.org/webdav/Sat, 30 Sep 2023 19:04:20 +0000Yayu Wanghttps://yayuwang.org/webdav/WebDAVhttps://yayuwang.org/krita/Sat, 09 Sep 2023 18:07:16 +0000Yayu Wanghttps://yayuwang.org/krita/Kritahttps://yayuwang.org/acgn/Thu, 24 Aug 2023 17:08:55 +0000Yayu Wanghttps://yayuwang.org/acgn/ACGN