Create accountLogin

Recent searches

No recent searches

Search options

Only available when logged in.
mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Administered by:

Server stats:

3K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

Public
Glyph

If you don't mind, could you reply to this toot with something you have accomplished recently? Work, hobby, whatever, but especially if it's something fiddly and technical that required quiet contemplation or problem solving.

Right now my feed is flooded with the omni-catastrophe even more than it was in, like, March of 2020, and I just want (and suspect we could all use) some reminders that progress is still happening and being effective is still possible

Jeremy Kun

@glyph I migrated a project to Bazel 8!!!! With Bazelmod!!! A slog, but it's done.

Feb 21, 2025, 05:09 AM·Quiet public·Tusky
2boosts·4favorites
Quiet public
David Reed

@j2kun @glyph Woof. I'm in the middle of migrating a Bazel 4 project to Bazel 7 (w/WORKSPACE), leaving Bazelmod for a separate effort. Congrats on finishing.

Quiet public
Jeremy Kun

@aoristdual @glyph we have some lingering deps in the WORKSPACE.bzlmod, but they have a path to bzlmod-ifying, and its surprisingly straightforward to do a hybrid bzlmod/workspace setup

Quiet public
David Reed

@j2kun @glyph I did not know that, and that's actually quite reassuring! I have a _ton_ of old dependencies.

SearchLive feeds
About