Sign in

Fallible Algebra

@algebra.fallible.net
24 followers 27 following 45 posts

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

PostsRepliesMedia
Reposted by Fallible Algebra
Fallible Things @fallible.net · 09/09/2026
Nausea blog.fallible.net/it-breaks-a-...
blog.fallible.net
It Breaks a Village: Bevy's 6th Birthday
This post, like all my posts, was written by me. It came out of a lot of conversation and reflection with many people. It is long. I promise you there's valu...
03319
Reposted by Fallible Algebra
waffle .-. @waffle.pet · 25/08/2026
blog.ihatereality.space/0C-never-type/
blog.ihatereality.space
I stabilized never type | I hate reality
yeah
2122737
Fallible Algebra @algebra.fallible.net · 24/08/2026
I'm doing this to myself, nobody is forcing me
A graph of 4 nodes, C connects to D_1, B connects to D_2. Nodes C and B each have approval functions that check D values, curved arrows point from B and C to both D values, all approving except C's approval of D_2.
000
Fallible Algebra @algebra.fallible.net · 11/08/2026
Svelte is a static site generator, to me.
120
Fallible Algebra @algebra.fallible.net · 05/08/2026
Ruining the 6 reposts / 7 likes on this to share it on this account as well.
000
Fallible Algebra @algebra.fallible.net · 15/07/2026
My technical life is overrun by constraint graph solving.
150
Fallible Algebra @algebra.fallible.net · 13/07/2026
Living the clown life: I'm writing type checker code again.
110
Fallible Algebra @algebra.fallible.net · 02/07/2026
Was 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.
010
Fallible Algebra @algebra.fallible.net · 02/07/2026
A second bevy 0.19 release of "bevy_typst_textures", this time for updating to Typst 0.15 properly :) crates.io/crates/bevy_... #bevy #rust #gamedev
crates.io
crates.io: Rust Package Registry
crates.io serves as a central registry for sharing crates, which are packages or libraries written in Rust that you can use to enhance your projects
080
Fallible Algebra @algebra.fallible.net · 28/06/2026
In the mind of a linux DE programmer we need 1000 shortcuts for window & virtual desktop management and 3 for application use.
020
Fallible Algebra @algebra.fallible.net · 19/06/2026
This update is Huge for gamedev in Rust, genuinely check it out if you can. #bevy
180
Reposted by Fallible Algebra
Bevy @bevy.org · 19/06/2026
Bevy 0.19 is out now! It features Next Generation Scenes, Render Bigger Scenes Faster, Contact Shadows, More Feathers Widgets, Text Input, Richer Text, App Settings, Post Processing Effects, Improved Skinned Mesh Culling, and more! bevy.org/news/bevy-0-19
bevy.org
Bevy 0.19
Thanks to 261 contributors, 1185 pull requests, community reviewers, and our generous donors, we're happy to announce the Bevy 0.19 release on crates.…
7343128
Fallible Algebra @algebra.fallible.net · 15/06/2026
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.
131
Reposted by Fallible Algebra
Chris Biscardi @chrisbiscardi.bsky.social · 15/06/2026
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.app
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...
0181
Fallible Algebra @algebra.fallible.net · 13/06/2026
Problem 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.
1110
Fallible Algebra @algebra.fallible.net · 05/06/2026
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
130
Fallible Algebra @algebra.fallible.net · 03/06/2026
We need researchers on the ground finding answers to why when you cut material from a document the word count goes up.
010
Fallible Algebra @algebra.fallible.net · 03/06/2026
Very 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."
150
Reposted by Fallible Algebra
Alice I Cecile @alice-i-cecile.bsky.social · 02/06/2026
Back from RustWeek, where my colleagues got through a earth-shattering 200 PRs over two days in the largest undocumented #bevymergetrain to date. Today, I have a mere 23 open source Rust PRs to go through with you: gist.github.com/alice-i-ceci... Do follow along, there's some neat details!
gist.github.com
Bevy Merge Train for 2026-06-01
Bevy Merge Train for 2026-06-01. GitHub Gist: instantly share code, notes, and snippets.
1443
Fallible Algebra @algebra.fallible.net · 30/05/2026
I'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.
110
Fallible Algebra @algebra.fallible.net · 29/05/2026
"Rust needs higher-kinded types for [functors, applicatives, monads] for useful reasons" wrong. We need it so we can have Data.Fix hackage.haskell.org/package/data...
hackage.haskell.org
Data.Fix
141
Fallible Algebra @algebra.fallible.net · 29/05/2026
"Tech-y" blog posts of mine, short thread
140
Reposted by Fallible Algebra
Rust Language @rust-lang.org · 28/05/2026
Rust 1.96.0 has been released! 🌈 🦀✨ This release includes assert_matches!(), new range types in core::range::*, and fixes for a medium and a low severity vulnerability in Cargo (that didn't affect crates​.io users). Check out the blog post for details: blog.rust-lang.org/2026/05/28/R...
blog.rust-lang.org
Announcing Rust 1.96.0 | Rust Blog
Empowering everyone to build reliable and efficient software.
329142
Fallible Algebra @algebra.fallible.net · 28/05/2026
The 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).
A main function for a bevy app that adds default plugins and a startup scene. This is paired with a startup_scene function that shows off the in-code BSN syntax. A camera is spawned in by this, plus an image node that takes up the entire screen. The notable factors are how only the fields with user-set values are specified (no ..default() at the end of the struct) and how the image being used is specified only be a string, not a call to an asset server.A basic bevy window with an image of a baking paper scan that matches the height of the window.
170
Fallible Algebra @algebra.fallible.net · 28/05/2026
One of the annoying things about rust is that you do need a good computer. This also translates to people with worse computers bouncing earlier.
120
Fallible Algebra @algebra.fallible.net · 28/05/2026
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)
180
Fallible Algebra @algebra.fallible.net · 28/05/2026
Programming the computer / writing about programming the computer.
040