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:

2.8K
active users

mathstodon.xyz: AboutStatusProfiles directoryPrivacy policy

Mastodon: AboutGet the appKeyboard shortcutsView source codev4.3.7

#uses

1 post1 participant0 posts today
Public
Caleb Hearth :d6:

📝:ivory_boost: Using Starship for the Same Prompt, but Faster

Starship is a highly-configurable, cross-shell prompt. I recently switched to using it and it sped up my prompt rendering from being noticably slow and taking probably half a second to render to an imperceptible 0.03s rendering time. It actually does slightly more than my old prompt did as well...

#NaBloPoMo #Rust #Uses #NaBloPoMo2024 #Shell #dotfiles
calebhearth.com/m/starship-pro

HearthsideUsing Starship for the Same Prompt, but Faster
More from Caleb Hearth :d6:
Public
Caleb Hearth :d6:

📝:ivory_boost: Search and Sync Your #Shell History With Atuin

Atuin is a tool that runs in the background to capture commands you’ve entered. It stores these locally in a SQLite database and provides a great CLI tool to search through that history, provide stats of what commands you frequently run, and optionally syncs this history across devices.

#NaBloPoMo #Rust #Uses #NaBloPoMo2024 #dotfiles
calebhearth.com/m/search-sync-

HearthsideSearch and Sync Your Shell History With Atuin
More from Caleb Hearth :d6:
Public *
Henry

Important update to my #uses page: henryleach.com/2024/04/uses-20 Turns out the office pot #plant I've been the steward of the last 12 years is not an Hypoestes Phyllostachya, but almost certainly a Aglaonema (Chinese Evergreen), as identified by a colleague. That is all. About your business.

www.henryleach.comUses | Notes There's a trend to share what equipment you use, mostly as a developer, collected at uses.tech. I find these pages a strange combination of fascinating and boring. Most of the pages are just a parade of new and expensive equipment, with no insight into why or how they appeared in the person's life. Anything we use is a compromise of utility, availability and price. With time, most of what you end up using is just…what you somehow ended up with. You grow used to the items, having become used to their quirks, and that's true of hardware and software. So what would a 'Uses' page I want to read look like? Hopefully something like this.
Public
Henry

I find #uses pages potentially really interesting, but I feel most miss the stories the items tell about the owner and their history. I tried to write one more in the style I hope to see more of:
henryleach.com/2024/04/uses-20

www.henryleach.comUses | Notes There's a trend to share what equipment you use, mostly as a developer, collected at uses.tech. I find these pages a strange combination of fascinating and boring. Most of the pages are just a parade of new and expensive equipment, with no insight into why or how they appeared in the person's life. Anything we use is a compromise of utility, availability and price. With time, most of what you end up using is just…what you somehow ended up with. You grow used to the items, having become used to their quirks, and that's true of hardware and software. So what would a 'Uses' page I want to read look like? Hopefully something like this.
SearchLive feeds
About