iiinova — where your digital self keeps evolving

Monads get a bad rap for consistently being explained badly and from a point of feldspars and olivine formulae but I've forgotten a lot about unification algorithms and relearning them to communicate them better has raised my hackles pretty strongly.

110

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 · 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

Oops, I mean still stuck on typst 0.14 😅

000

Fallible Algebra @algebra.fallible.net · 19/06/2026

I've also updated "bevy_typst_textures" to Bevy 0.19, though it's still stuck on typst 0.15 until either typst-as-lib updates or I write my own typst glue code. 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

1122

Fallible Algebra @algebra.fallible.net · 19/06/2026

I had a thread a bit ago about how easy it is to compose stuff now (the syntax is now a bit out of date, ignore those colons further down!) bsky.app/profile/alge...

120

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.…

7343129

Fallible Algebra @algebra.fallible.net · 15/06/2026

it's how we treat it though ig 🙃

010

Fallible Algebra @algebra.fallible.net · 15/06/2026

I get the motivator of "I'm teaching you the sacred, secret, divine foundations of the universe" but also that's not what maths is.

120

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 3. I mopped up the interesting problems last year and all I'm left with is UI stuff, and all I want to do in this world is avoid spending too much time making things that look like Websites in a Video Game.

020

Fallible Algebra @algebra.fallible.net · 13/06/2026

I should "probably" split this up into more bevy plugin subcrates but it feels like such a "fiddling with the font style" activity 😭

130

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

Your λωₒᵣₖ is your λωₒᵣₜₕ

020

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

Mostly contributing documentation has me so sheepish when my exclusive doc comment changes triggers the whole CI pipeline on massive projects.

040

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

Horrible way to describe this, I know. Now imagine if HTML didn't exist and we only had javascript and the DOM. That's what pre-BSN felt like :) follow for deeply flawed comparisons.

000

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

"what would you use it for" nothing. updating a single blog post. one thing. but I genuinely miss it.

020

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

Why We Hate AI A summary of the emotional states and their material causes for us on the "luddite" side of this. I talked to a fair few people about these positions at rustweek, and that's helped me further develop this framing. Follow-up argument when? blog.fallible.net/why-we-hate-...

blog.fallible.net

Why We Hate AI

Why do we hate AI? It feels emotionally obvious. It's because it's an affront to humanity and our ways of expression; but this is not a way of explaining ...

031

Fallible Algebra @algebra.fallible.net · 29/05/2026

Everyone's a Syndicate Release post of an RSS widget for websites. More and more websites refuse VPS requests on their RSS feeds now though, so this tool has become less useful. I want to maybe work the algorithms into a custom bluesky feed. blog.fallible.net/everyones-a-...

blog.fallible.net

Everyone's a Syndicate | RSS/Atom Reader widget for your website

tl;dr: go to here and put a widget on your website. If you want to look at the source code, it's available here Update 2024-12-20: Added on-blog-page exam...

150

Fallible Algebra @algebra.fallible.net · 29/05/2026

Programming isn't Enough Blog post from last year, "I need BSN" the blog post. We have BSN now, but now we need BSN usage patterns + the asset format :') all that said, there's been so much progress. blog.fallible.net/programming-...

blog.fallible.net

Programming isn't enough

I've been working on a digital, competitive card game for a year now. I started this project with intent to illustrate how to do this kind of thing via some ...

130

Fallible Algebra @algebra.fallible.net · 29/05/2026

Outlining Typechecking for your Toy Language / Feeding the Lambda Calculus its Own Tail This is a pair of effortposts I did on Cohost in 2023, based on the stuff I went on a rabbit hole on during undergrad, but geared towards a beginner. fallible.net/projects/typ...

fallible.net

Outlining Typechecking for your Toy Language / Feeding the lambda calculus its own tail - Fallible

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

and this doesn't just apply to `Node`, but that's the easy bridge from webdev to point to.

020

Fallible Algebra @algebra.fallible.net · 28/05/2026

It's somewhat understated, but like we can now build "tailwind" style composition functions for things like, ui nodes.

An example of bsn patching, that takes a display: flex scene and a width: 100% height 100% scene and combines the specified fields.

140

Fallible Algebra @algebra.fallible.net · 28/05/2026

This is *slightly* artificial, in that your whole game won't look like this, but this makes a lot of boilerplate disappear. Also, this post doesn't even show off patching syntax.

130

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

In early 2023 I got my first macbook and suddenly a lot of clunky developer tools worked at Normal Speed. Language server feedback was slick. I couldn't feel the sluggishness of Popular Websites (other than youtube). The class aspect of developer tool access is something that you can forget quickly.

030

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