The Chrysoberyl https://leni.sh Nazrin: A Transposing Atomization Algorithm Searching for treasure? https://leni.sh/post/260802-nazrin https://leni.sh/post/260802-nazrin Sun, 02 Aug 2026 00:00:00 GMT Announcing the release of Prismriver.lean A Music Formalization Library in Lean 4 https://leni.sh/post/260801-prismriver https://leni.sh/post/260801-prismriver Sat, 01 Aug 2026 00:00:00 GMT Self-Host Concourse CI with NixOS https://leni.sh/post/260705-concourse https://leni.sh/post/260705-concourse Sun, 05 Jul 2026 00:00:00 GMT Parametric Cosplay Design - Toyosatomimi no Miko (豊聡耳 神子) undefined https://leni.sh/post/260601-cosplay-toyosatomimi-no-miko https://leni.sh/post/260601-cosplay-toyosatomimi-no-miko Mon, 01 Jun 2026 00:00:00 GMT Interlude: Fixture ACME Testing a NixOS Configuration No compromise https://leni.sh/post/260411-nixos-acme-test https://leni.sh/post/260411-nixos-acme-test Sat, 11 Apr 2026 00:00:00 GMT Topological Intersection Stackup Diagrams Sewing for the Differential Geometer https://leni.sh/post/260410-sewing-tisd https://leni.sh/post/260410-sewing-tisd Fri, 10 Apr 2026 00:00:00 GMT Cosplay Special Effects in Blender You can do it too https://leni.sh/post/260310-cosplay-fx https://leni.sh/post/260310-cosplay-fx Tue, 10 Mar 2026 00:00:00 GMT Supersinographic MATP Terminologies / 機械定理証明之超漢文語彙 https://leni.sh/post/260223-matp-supersinography https://leni.sh/post/260223-matp-supersinography Mon, 23 Feb 2026 00:00:00 GMT A Reproducible Nix-Forgejo Server https://leni.sh/post/250901-nix-git-server https://leni.sh/post/250901-nix-git-server Mon, 01 Sep 2025 00:00:00 GMT We Must Develop White-Box Artificial Intelligence https://leni.sh/post/250831-white-box https://leni.sh/post/250831-white-box Sun, 31 Aug 2025 00:00:00 GMT The Future Directions of MATP At ICML'25 AI4Math workshop https://leni.sh/post/250720-research-matp https://leni.sh/post/250720-research-matp Sun, 20 Jul 2025 00:00:00 GMT Parametric Cosplay Design - Yasaka Kanako (八坂 神奈子) First step towards declarative cosplay design https://leni.sh/post/250708-cosplay-yasaka-kanako https://leni.sh/post/250708-cosplay-yasaka-kanako Wed, 09 Jul 2025 00:00:00 GMT A Course in Lean 4 at Stanford University The Perfect Math Class https://leni.sh/post/250201-cs99 https://leni.sh/post/250201-cs99 Sat, 01 Feb 2025 00:00:00 GMT Information Sign: Satisfiability Modulo Theory CDCL and Quantifiers https://leni.sh/post/information-sign.02-smt https://leni.sh/post/information-sign.02-smt Sun, 15 Dec 2024 00:00:00 GMT Information Sign: Search and Coupling Metavariables, Coupling, and Formal Proofs https://leni.sh/post/information-sign.01-coupling https://leni.sh/post/information-sign.01-coupling Fri, 15 Nov 2024 00:00:00 GMT Singularity for the Impatient https://leni.sh/post/241105-singularity https://leni.sh/post/241105-singularity Tue, 05 Nov 2024 00:00:00 GMT Announcing the Release of Pantograph and PyPantograph A machine-to-machine proof assistant interface https://leni.sh/post/241024-pantograph https://leni.sh/post/241024-pantograph Thu, 24 Oct 2024 00:00:00 GMT Cooking: Yuzu Ice Jelly undefined https://leni.sh/post/241013-cooking-yuzu-ice-jelly https://leni.sh/post/241013-cooking-yuzu-ice-jelly Sun, 13 Oct 2024 00:00:00 GMT Unofficial Lean Nix Flake Why? https://leni.sh/post/241011-lean-nix https://leni.sh/post/241011-lean-nix Fri, 11 Oct 2024 00:00:00 GMT Lowering the Barrier of Entry of Cosplaying Is it possible? https://leni.sh/post/240927-cosplay-barrier https://leni.sh/post/240927-cosplay-barrier Fri, 27 Sep 2024 00:00:00 GMT New Website Overhauling the website for presentation and clarity https://leni.sh/post/240917-new-website https://leni.sh/post/240917-new-website Tue, 17 Sep 2024 00:00:00 GMT Hyprland/Swayfx and Eww Desktop Environment https://leni.sh/post/240602-eww https://leni.sh/post/240602-eww Sun, 02 Jun 2024 00:00:00 GMT Announcing the Release of Pantograph v0.2.13 A machine-to-machine proof assistant interface https://leni.sh/post/240317-pantograph https://leni.sh/post/240317-pantograph Sun, 17 Mar 2024 00:00:00 GMT Trillium Devlog: Calling Lean from Rust https://leni.sh/post/240304-rust-call-lean https://leni.sh/post/240304-rust-call-lean Mon, 04 Mar 2024 00:00:00 GMT How I got into Computer Science An unbelievable story https://leni.sh/post/231130-how-i-got-into-cs https://leni.sh/post/231130-how-i-got-into-cs Thu, 30 Nov 2023 00:00:00 GMT Trillium Devlog: A Rust development environment in Nix https://leni.sh/post/231021-rust-nix-environment https://leni.sh/post/231021-rust-nix-environment Sat, 21 Oct 2023 00:00:00 GMT LatexMk relative directory compilation hook A method for finding project root in emacs https://leni.sh/post/230917-emacs-latex-hook https://leni.sh/post/230917-emacs-latex-hook Sun, 17 Sep 2023 00:00:00 GMT Hyprland/Waybar Desktop Environment https://leni.sh/post/230429-hyprland https://leni.sh/post/230429-hyprland Sat, 29 Apr 2023 00:00:00 GMT The Philosophy of Colours How colours impact the cognitive load of the reader https://leni.sh/post/230223-philosophy-colours https://leni.sh/post/230223-philosophy-colours Thu, 23 Feb 2023 00:00:00 GMT Cooking: Sichuan Fried Pork Sichuan Style Fried Pork adaptable to frying tofu https://leni.sh/post/230213-cooking-friedpork https://leni.sh/post/230213-cooking-friedpork Mon, 13 Feb 2023 00:00:00 GMT Cooking: Curry Japanese style flank plate, carrot, and potato curry https://leni.sh/post/230212-cooking-curry https://leni.sh/post/230212-cooking-curry Sun, 12 Feb 2023 00:00:00 GMT Doom Emacs https://leni.sh/post/230212-doomemacs https://leni.sh/post/230212-doomemacs Sun, 12 Feb 2023 00:00:00 GMT Creation of the Stanford Photography Club Reloaded https://leni.sh/post/230203-photography https://leni.sh/post/230203-photography Fri, 03 Feb 2023 00:00:00 GMT