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.nethttps://bsky.app/profile/algebra.fallible.nethttps://bsky.app/profile/algebra.fallible.net/post/3mqomaivzzc2eMy technical life is overrun by constraint graph solving.15 Jul 2026 11:23 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mqomaivzzc2ehttps://bsky.app/profile/algebra.fallible.net/post/3mqjyslw4fs2dLiving the clown life: I'm writing type checker code again.13 Jul 2026 15:24 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mqjyslw4fs2dhttps://bsky.app/profile/algebra.fallible.net/post/3mpon3jn3gk2dWas supposed to give a talk tonight at the local rust meetup on my experiences with #bevy over the last 2 years but I woke up with a cough and my voice completely gone. Second time this has had to be rescheduled lol.02 Jul 2026 18:13 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mpon3jn3gk2dhttps://bsky.app/profile/algebra.fallible.net/post/3mpomzv3a3s2dA second bevy 0.19 release of "bevy_typst_textures", this time for updating to Typst 0.15 properly :) https://crates.io/crates/bevy_typst_textures #bevy #rust #gamedev [contains quote post or other embedded content]02 Jul 2026 18:12 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mpomzv3a3s2dhttps://bsky.app/profile/algebra.fallible.net/post/3mpepcknjjk26In the mind of a linux DE programmer we need 1000 shortcuts for window & virtual desktop management and 3 for application use.28 Jun 2026 19:26 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mpepcknjjk26https://bsky.app/profile/algebra.fallible.net/post/3mooaqr56hc2qThis update is Huge for gamedev in Rust, genuinely check it out if you can. #bevy [contains quote post or other embedded content]19 Jun 2026 21:07 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mooaqr56hc2qhttps://bsky.app/profile/algebra.fallible.net/post/3moealsqju22pSo 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.15 Jun 2026 21:37 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3moealsqju22phttps://bsky.app/profile/algebra.fallible.net/post/3mo6ave5ejk2qProblem 1. This codebase is impossible to reason about, I need to split up the larger files. Problem 2. This codebase now has >60 source files and I cannot reason about it.13 Jun 2026 12:27 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mo6ave5ejk2qhttps://bsky.app/profile/algebra.fallible.net/post/3mnk4xn6ka22xBy 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 currying05 Jun 2026 12:23 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mnk4xn6ka22xhttps://bsky.app/profile/algebra.fallible.net/post/3mnfe6q6jks27We need researchers on the ground finding answers to why when you cut material from a document the word count goes up.03 Jun 2026 14:49 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mnfe6q6jks27https://bsky.app/profile/algebra.fallible.net/post/3mnep3g6osc2iVery unglamorous first rustc pull request of "hey these doc comments didn't have the function argument name updated when the arg was changed last year."03 Jun 2026 08:31 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mnep3g6osc2ihttps://bsky.app/profile/algebra.fallible.net/post/3mn3wem2ia227I'm messing with this a lot more, porting @deadcardgames.bsky.social's UI to something closer to this compositional BSN. I think this is solidly in "usable" territory. It feels way better than Yew, a bit worse than Svelte. I feel like I can actually build out UI design systems now. [contains quote post or other embedded content]30 May 2026 20:48 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mn3wem2ia227https://bsky.app/profile/algebra.fallible.net/post/3mmzm6pppr22c"Rust needs higher-kinded types for [functors, applicatives, monads] for useful reasons" wrong. We need it so we can have Data.Fix https://hackage.haskell.org/package/data-fix-0.3.2/docs/Data-Fix.html29 May 2026 22:40 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mmzm6pppr22chttps://bsky.app/profile/algebra.fallible.net/post/3mmyjcqk6kc27"Tech-y" blog posts of mine, short thread29 May 2026 12:16 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mmyjcqk6kc27https://bsky.app/profile/algebra.fallible.net/post/3mmwkw6w23c2lThe scene format + its helpers from the upcoming version of bevy (0.19) is so slick btw. This is what it takes to spawn in a camera + an image UI node (imports missing ofc).28 May 2026 17:40 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mmwkw6w23c2lhttps://bsky.app/profile/algebra.fallible.net/post/3mmwhhm6kyk23One of the annoying things about rust is that you do need a good computer. This also translates to people with worse computers bouncing earlier.28 May 2026 16:38 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mmwhhm6kyk23https://bsky.app/profile/algebra.fallible.net/post/3mmvpyh67lc22Downside 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)28 May 2026 09:38 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mmvpyh67lc22https://bsky.app/profile/algebra.fallible.net/post/3mmvlwcog6c2nProgramming the computer / writing about programming the computer.28 May 2026 08:25 +0000at://did:plc:drrtobsdvcjyjbvyto4spngc/app.bsky.feed.post/3mmvlwcog6c2n