Fallible Algebra

"Tech-y" blog posts of mine, short thread

I'm so glad almost all of what I've ever done is a static site right now.

Fallible Algebra reposted

netspooky

@vacci.ne

4 son, or php daughter?

In delft for rust reasons. what a small village.

crates.iocrates.io: Rust Package Registrycrates.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

Bevy Typst Textures has been updated to 0.7.0, matching the new Bevy 0.20 update crates.io/crates/bevy_... #bevy

Fallible Algebra reposted

Chris Biscardi

@chrisbiscardi.bsky.social

I am looking for my next thing. If you think you know where that could be please reach out.

blog.fallible.netIt Breaks a Village: Bevy's 6th BirthdayThis 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...

Working with `Box<dyn Trait: Any>` is so annoying. "downcast_ref is failing for no reason, why?" it's because I was trying to downcast `Box<dyn Trait: Any>` and not `dyn Trait: Any`. Fantastic stuff.

Fallible Algebra reposted

Fallible Things

@fallible.net

9 Sept

Nausea blog.fallible.net/it-breaks-a-...

Fallible Algebra reposted

waffle?

@waffle.pet

24 Aug

blog.ihatereality.space/0C-never-type/

blog.ihatereality.spaceI stabilized never type | I hate realityyeah

24 Aug

I'm doing this to myself, nobody is forcing me

11 Aug

Svelte is a static site generator, to me.

11 Aug

Ill probably have to use it for a Frontend someday. Unless I don't, because it's a static site generator.

creative.bevians.comCreative Bevians – an "AI-sober" community

5 Aug

Ruining the 6 reposts / 7 likes on this to share it on this account as well.

Fallible Things@fallible.net

I've opened up "Creative Bevians," an "AI-Sober" space for Bevy community members to work on the engine, their projects, their ecosystem crates, and their related artistic practices creative.bevians.com #bevy #rustgamedev

15 July

My technical life is overrun by constraint graph solving.

15 July

Work life? constraint graph solving chatter, documentation. home life? constraint graph solving implementation.

13 July

Living the clown life: I'm writing type checker code again.

13 July

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.

13 July

I'm glad I'm the kind of person who writes documents that I can then go back and read to suffer slightly less.

2 July

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.

crates.iocrates.io: Rust Package Registrycrates.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

2 July

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

Fallible Algebra@algebra.fallible.net

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.iocrates.io: Rust Package Registrycrates.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

28 June

In the mind of a linux DE programmer we need 1000 shortcuts for window & virtual desktop management and 3 for application use.

bevy.orgBevy 0.19Thanks to 261 contributors, 1185 pull requests, community reviewers, and our generous donors, we're happy to announce the Bevy 0.19 release on crates.…

This update is Huge for gamedev in Rust, genuinely check it out if you can. #bevy

Bevy@bevy.org

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

View full thread

crates.iocrates.io: Rust Package Registrycrates.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

Oops, I mean still stuck on typst 0.14 😅

bevy.orgBevy 0.19Thanks to 261 contributors, 1185 pull requests, community reviewers, and our generous donors, we're happy to announce the Bevy 0.19 release on crates.…

This update is Huge for gamedev in Rust, genuinely check it out if you can. #bevy

Bevy@bevy.org

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

Fallible Algebra@algebra.fallible.net

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

Fallible Algebra reposted

Bevy

@bevy.org

bevy.orgBevy 0.19Thanks to 261 contributors, 1185 pull requests, community reviewers, and our generous donors, we're happy to announce the Bevy 0.19 release on crates.…

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.

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.

@chrisbiscardi.bsky.social

it's how we treat it though ig 🙃

Fallible Algebra reposted

Chris Biscardi

typst.appTypst: Typst 0.15 contains multitudes – Typst BlogBetween 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...

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

13 June

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.

13 June

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

13 June

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.

5 June

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

5 June

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

3 June

We need researchers on the ground finding answers to why when you cut material from a document the word count goes up.

3 June

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

@alice-i-cecile.bsky.social

3 June

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

Fallible Algebra reposted

Alice I Cecile

2 June

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.comBevy Merge Train for 2026-06-01Bevy Merge Train for 2026-06-01. GitHub Gist: instantly share code, notes, and snippets.

30 May

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.

Fallible Algebra@algebra.fallible.net

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

30 May

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.

hackage.haskell.orgData.Fix

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

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

"Tech-y" blog posts of mine, short thread

View full thread

blog.fallible.netEveryone's a Syndicate | RSS/Atom Reader widget for your websitetl;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...

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.netWhy We Hate AIWhy 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 ...

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

"Tech-y" blog posts of mine, short thread

fallible.netOutlining Typechecking for your Toy Language / Feeding the lambda calculus its own tail - Fallible

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