Fallible Algebra

@algebra.fallible.net

Maths+tech persona of @fallible.net. Do not worship technical artefacts. Mostly doing technical writing. opinions my own. she/her https://github.com/fallible-algebra https://tangled.org/algebra.fallible.net

So many maths resources still speak with the voice of a priest giving a sermon on divine mystery and beauty rather than the mechanic who has already had several apprentices in her shop over the years all of which have gone on to solve a lot of people's real problems.

lots to be excited about in the new typst 0.15 release. Multiple bibliographies is likely an immediate win for me though, and variable fonts is always nice. Typst's docs are now using their own html export features too, which is very exciting to see progress. typst.app/blog/2026/ty...

Typst: Typst 0.15 contains multitudes – Typst Blog

Between myriads of instances of the same font, multi-file output, multiple bibliographies, and support for more than one PDF standard at once, Typst 0.15 is all...

typst.app

By age 30 you should have: - Algebraic Data Types - HM Type Inference - Type Classes with Functional Dependencies - Higher Kinded Types - First-class syntactic support for function currying

Downside of coming back from rustweek is I've been convinced to try out a bunch of Sickos Software (jj, kagi, tangled etc.) and baby I have strong muscle memory of the software I don't like using (git, duckduckgo, github)