41554 blogs · [ { "id": "01a08799-c980-70f3-8949-76be852b4290", "title": "Nazrin: A Transposing Atomization Algorithm", "url": "https://leni.sh/post/260802-nazrin", "published_at": "2026-08-02T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be86015d7e", "title": "Announcing the release of Prismriver.lean", "url": "https://leni.sh/post/260801-prismriver", "published_at": "2026-08-01T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be86ab35cf", "title": "Self-Host Concourse CI with NixOS", "url": "https://leni.sh/post/260705-concourse", "published_at": "2026-07-05T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be877b5181", "title": "Parametric Cosplay Design - Toyosatomimi no Miko (豊聡耳神子)", "url": "https://leni.sh/post/260601-cosplay-toyosatomimi-no-miko", "published_at": "2026-06-01T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be87d53f4c", "title": "Interlude: Fixture ACME Testing a NixOS Configuration", "url": "https://leni.sh/post/260411-nixos-acme-test", "published_at": "2026-04-11T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be88919b81", "title": "Topological Intersection Stackup Diagrams", "url": "https://leni.sh/post/260410-sewing-tisd", "published_at": "2026-04-10T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be89720f1c", "title": "Cosplay Special Effects in Blender", "url": "https://leni.sh/post/260310-cosplay-fx", "published_at": "2026-03-10T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8a03c558", "title": "Supersinographic MATP Terminologies / 機械定理証明之超漢文語彙", "url": "https://leni.sh/post/260223-matp-supersinography", "published_at": "2026-02-23T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8a523050", "title": "A Reproducible Nix-Forgejo Server", "url": "https://leni.sh/post/250901-nix-git-server", "published_at": "2025-09-01T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8abcec05", "title": "We Must Develop White-Box Artificial Intelligence", "url": "https://leni.sh/post/250831-white-box", "published_at": "2025-08-31T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8ae6d2ce", "title": "The Future Directions of MATP", "url": "https://leni.sh/post/250720-research-matp", "published_at": "2025-07-20T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8bbb9a6d", "title": "Parametric Cosplay Design - Yasaka Kanako (八坂神奈子)", "url": "https://leni.sh/post/250708-cosplay-yasaka-kanako", "published_at": "2025-07-09T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8c76afbb", "title": "A Course in Lean 4 at Stanford University", "url": "https://leni.sh/post/250201-cs99", "published_at": "2025-02-01T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8cc29b24", "title": "Information Sign: Satisfiability Modulo Theory", "url": "https://leni.sh/post/information-sign.02-smt", "published_at": "2024-12-15T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8d0bb2ce", "title": "Information Sign: Search and Coupling", "url": "https://leni.sh/post/information-sign.01-coupling", "published_at": "2024-11-15T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8de8baaa", "title": "Singularity for the Impatient", "url": "https://leni.sh/post/241105-singularity", "published_at": "2024-11-05T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8ed379fc", "title": "Announcing the Release of Pantograph and PyPantograph", "url": "https://leni.sh/post/241024-pantograph", "published_at": "2024-10-24T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be8f609690", "title": "Cooking: Yuzu Ice Jelly", "url": "https://leni.sh/post/241013-cooking-yuzu-ice-jelly", "published_at": "2024-10-13T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be90490b43", "title": "Unofficial Lean Nix Flake", "url": "https://leni.sh/post/241011-lean-nix", "published_at": "2024-10-11T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be907f60cd", "title": "Lowering the Barrier of Entry of Cosplaying", "url": "https://leni.sh/post/240927-cosplay-barrier", "published_at": "2024-09-27T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be909f301c", "title": "New Website", "url": "https://leni.sh/post/240917-new-website", "published_at": "2024-09-17T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be917cba81", "title": "Hyprland/Swayfx and Eww Desktop Environment", "url": "https://leni.sh/post/240602-eww", "published_at": "2024-06-02T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be91d7756c", "title": "Announcing the Release of Pantograph v0.2.13", "url": "https://leni.sh/post/240317-pantograph", "published_at": "2024-03-17T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be92875fce", "title": "Trillium Devlog: Calling Lean from Rust", "url": "https://leni.sh/post/240304-rust-call-lean", "published_at": "2024-03-04T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be937d0854", "title": "How I got into Computer Science", "url": "https://leni.sh/post/231130-how-i-got-into-cs", "published_at": "2023-11-30T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be93d46e61", "title": "Trillium Devlog: A Rust development environment in Nix", "url": "https://leni.sh/post/231021-rust-nix-environment", "published_at": "2023-10-21T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be94b5f6de", "title": "LatexMk relative directory compilation hook", "url": "https://leni.sh/post/230917-emacs-latex-hook", "published_at": "2023-09-17T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be95327770", "title": "Hyprland/Waybar Desktop Environment", "url": "https://leni.sh/post/230429-hyprland", "published_at": "2023-04-29T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be95997e94", "title": "The Philosophy of Colours", "url": "https://leni.sh/post/230223-philosophy-colours", "published_at": "2023-02-23T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be95b35c05", "title": "Cooking: Sichuan Fried Pork", "url": "https://leni.sh/post/230213-cooking-friedpork", "published_at": "2023-02-13T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be96b25dee", "title": "Cooking: Curry", "url": "https://leni.sh/post/230212-cooking-curry", "published_at": "2023-02-12T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be9719c2b6", "title": "Doom Emacs", "url": "https://leni.sh/post/230212-doomemacs", "published_at": "2023-02-12T00:00:00+00:00" }, { "id": "01a08799-c980-70f3-8949-76be97829962", "title": "Creation of the Stanford Photography Club", "url": "https://leni.sh/post/230203-photography", "published_at": "2023-02-03T00:00:00+00:00" } ] posts Claim your blog

Back to leni.sh

Blog · corpus.blog/blogs/leni.sh/posts

leni.sh

leni.sh

2026

Nazrin: A Transposing Atomization Algorithm original ↗

2 Aug 2026

Announcing the release of Prismriver.lean original ↗

1 Aug 2026

Self-Host Concourse CI with NixOS original ↗

5 Jul 2026

Parametric Cosplay Design - Toyosatomimi no Miko (豊聡耳神子)original ↗

1 Jun 2026

Interlude: Fixture ACME Testing a NixOS Configuration original ↗

11 Apr 2026

Topological Intersection Stackup Diagrams original ↗

10 Apr 2026

Cosplay Special Effects in Blender original ↗

10 Mar 2026

Supersinographic MATP Terminologies / 機械定理証明之超漢文語彙 original ↗

23 Feb 2026

2025

A Reproducible Nix-Forgejo Server original ↗

1 Sept 2025

We Must Develop White-Box Artificial Intelligence original ↗

31 Aug 2025

The Future Directions of MATP original ↗

20 Jul 2025

Parametric Cosplay Design - Yasaka Kanako (八坂神奈子)original ↗

9 Jul 2025

A Course in Lean 4 at Stanford University original ↗

1 Feb 2025

2024

Information Sign: Satisfiability Modulo Theory original ↗

15 Dec 2024

Information Sign: Search and Coupling original ↗

15 Nov 2024

Singularity for the Impatient original ↗

5 Nov 2024

Announcing the Release of Pantograph and PyPantograph original ↗

24 Oct 2024

Cooking: Yuzu Ice Jelly original ↗

13 Oct 2024

Unofficial Lean Nix Flake original ↗

11 Oct 2024

Lowering the Barrier of Entry of Cosplaying original ↗

27 Sept 2024

New Website original ↗

17 Sept 2024

Hyprland/Swayfx and Eww Desktop Environment original ↗

2 Jun 2024

Announcing the Release of Pantograph v0.2.13 original ↗

17 Mar 2024

Trillium Devlog: Calling Lean from Rust original ↗

4 Mar 2024

2023

How I got into Computer Science original ↗

30 Nov 2023

Trillium Devlog: A Rust development environment in Nix original ↗

21 Oct 2023

LatexMk relative directory compilation hook original ↗

17 Sept 2023

Hyprland/Waybar Desktop Environment original ↗

29 Apr 2023

The Philosophy of Colours original ↗

23 Feb 2023

Cooking: Sichuan Fried Pork original ↗

13 Feb 2023

Cooking: Curry original ↗

12 Feb 2023

Doom Emacs original ↗

12 Feb 2023

Creation of the Stanford Photography Club original ↗

3 Feb 2023