All blogs / Functional / PL theory
Unnamed Website
minFac '⓫'.toNat|>λ_11↦(·+97)[0/0,_11,-(⟨1,0,2,4⟩:ℍ[ℤ])^2|>.re.toNat,defaultMaxRecDepth%101,catalan 4,_11,(φ∘φ∘φ∘φ∘φ∘φ.Group]
- Posts
- 113 from 9 Nov 2018 to 27 Aug 2026
- Posting
- monthly (12 in the last year)
- Kind
- personal blog
- Feed
- https://unnamed.website/index.xml
2026 8
2025 30
- Haskelling My Typst
- Dumb Cipher Solver
- Combinatorial Species
- Installing Every NixOS Package
- What's the Derivative of a Data Type?
- ICan'tBelieveICanProveItCanSort!
- Unhinged ThinkPad Repair Guide
- Proving Fermat's Last Theorem in Dafny
- Even More Travel Photos
- "Bad Apple!!" But It's 3288 Lean Tactics Spamming VS Code
- Doing Math With Lean
- Random St. Louis Facts
- MIT Dining, Two Years Later
- Cosine in the BEST LANGUAGE EVER
- Nixvm
- RNG and Cosine in Nix
- Proving That Fenwick Trees are Fast
- The Only Correct Way to Open Bananas (100% Reliable Confirmed)
- Haskelling My Python
- Doing Something Actually Useful With Formal Verification
- Formally Verifying Fenwick Trees
- Ali’s Part 3
- Ali’s Part 2
- ICanProveItCanSort!
- ASI Self-Hacking Argument
- Mandarin Learning Resources
- Book Review: The Unicode Standard 4.0
- Book Review: The Manga Guide to Databases
- @kevin Ali’s Uyghur Kitchen Megathread
- Fenwick Trees are Awesome!
2024 33
- My Backup Strategy
- Solving Shortest Paths With Transformers
- Inessential XVM
- New Domain!
- ICan’tBelieveItCanSort!
- An Obscure Chinese OS Saved My Computer From Saddam Hussein’s LinkedIn
- Automatically Switching the Virtual Keyboard in KDE Plasma
- More Vacation Photos
- Extreme Epilepsend
- The End
- Guest Post: Short Story 5
- “Bad Apple!!” But It’s An Animated QR Code of “Bad Apple!!”
- PAM Authentication Without Access to /etc/shadow
- Fast Multipole Methods
- A Solar Eclipse
- April Fools’ Day Puzzle
- Short Story 4
- Guest Post: Short Story 3
- Kung Fu Panda 4 Review
- Plasma 6 Fingerprint Bug
- Short Story 2
- An Origami Puzzle
- A Useful Command
- PulseAudioDB
- Floats Are Weird
- 854 Rap
- Asian Bayesian 2
- Hong Kong, China, and Taiwan Vacation Photos
- Miasma
- Calumny
- Maseeh
- Extremal Graph Theory
- A Logic Puzzle
2023 15
- Forge Federation Design Discussion
- Asian Bayesian
- Dead Pixels
- Spelling Reform is Hard, NP-Hard
- Ethics Test for AIs
- The Hangry Guide to MIT Dining
- Ennui
- Abusing systemd-nspawn With Nested Containers
- Azerbaijan
- Beavers
- We’re Missing Half ActivityPub’s Potential!
- Beating the Time Limit
- ActivityPub Eats Your Brain!
- Why Does My Forgejo Instance Have Thousands of Accounts?
- Answering Forgejo Federation Questions
2022 12
- Finally Learning 汉字
- The AInion
- Laptop Necromancy
- Sketchy Websites Save the Day
- Forge Federation Myths
- Emojis I Hate
- DC Megathread
- Where are All the Forge Federation Developers?
- Gitea Actually Joins the Fediverse
- Gitea Federation… Coming Soon to an Instance Near You!
- Installing Every Arch Package
- Make Wayland Scaling Less Painful
2021 11
- Find Deleted Matrix Messages
- Redesigning My Website
- Fixing Bugs Isn’t Hard!
- Worst First Build - Live on PCPartPicker!
- Worst First Build - How to Get a Free GPU During the World’s Worst GPU Shortage Ever
- Worst First Build - The Quest for a GPU
- Worst First Build - The Sad Saga Continues
- How to Get Better at Competitive Programming
- Worst First Build
- Fun with QEMU/KVM! - The Sequel
- How to Hibernate