| FazBrowse GitHub Viewer | Trending | | Home |
| Tools: [Original HTTPS Page] |
Prevent this user from interacting with your repositories and sending you notifications. Learn more about blocking users.
You must be logged in to block users.
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseI'm a9lim! I like studying LLMs and how they work, and a smattering of other things too. My main site is a9l.im.
If you'd like to discuss some of my work, collaborate on anything, or just chat, please reach out to me on Discord, or shoot me an email!
Clifford algebras (with nilpotents) over the field-like subclasses of combinatorial games: nimbers, surreals, surcomplex. Rust core + Python bindings.
Rust
blam — binary lambda machine: classical and quantum algorithmic information theory in binary lambda calculus. Exhaustive censuses, BBλ frontiers, Ω/K measurements, Lean-checked divergence certifica…
Lean
| Back | FazBrowse Home | New Git URL |