63 Followers
345 Following
47 Posts

The Rust Programming Language with community. 🦀
Music, playing piano. 🎹
Engineering & math & electronics. π
Environment & sustainability. ♲

#Rust #piano #systhemsthinking

githubhttps://github.com/bluss

@christianp I setup a systemd service to start jupyter-lab as a service everytime I reboot, so it's always available. (auth set to password, so the token thing is not used.)

It creates an always-on experience. Reboot and jupyter is still there (Firefox remembers the tab as open.) :)

@pieselpriemel maybe the only robust solution is to get interfaces and apps to change their defaults for replies?

To be honest, what I really want is more conversations about math here on Mathstodon. Will asking questions like this help?

I remember the good old days of sci.math and then sci.math.research. These days it seems hard to get that kind of interesting, mostly friendly math conversation online! MathOverflow doesn't seem to allow it. At times blogs have been great, but maybe less lately? Twitter sometimes came close, but now I'm pessimistic about that place. It may be up to us!

(3/n, n = 3)

@wilfredh well, isn't loop at least neutral then since it does explicitly loop.. "until told otherwise" which would make forever kind of a misnomer if used for the same thing.
I learned that flights are generally faster going east due to jet streams. So.. is there a flight that's so long that you just go east both for the there and the return trip? It turns out yes, New York - Singapore is long enough that this saves time. https://www.flightradar24.com/blog/winter-winds-how-singapore-airlines-new-worlds-longest-flight-is-saving-time-and-fuel-by-flying-farther/ #aviation #flying #jetstream
Winter Winds: How Singapore Airlines’ New World’s Longest Flight is Saving Time (and Fuel) by Flying Farther

When Singapore Airlines relaunched its Singapore-New York flights last week, the route retook the title of world’s longest flight by distance.

Flightradar24 Blog

@brion What about this addon? That's at least some help https://github.com/rugk/mastodon-simplified-federation And I agree, of course one should not log in through such a pop-up.

What I'd be looking for now is actually a meta-mastodon web client. Something that avoids visually involving lots of different instance websites, and pulls everything into one interface. Similar to what Tusky does.

GitHub - rugk/mastodon-simplified-federation: Simplifies following and interacting with remote users on other Mastodon instances.

Simplifies following and interacting with remote users on other Mastodon instances. - rugk/mastodon-simplified-federation

GitHub

A great analogy for SIMD just developed over on /r/rust/: SIMW: Single Iron, Multiple Waffles

https://www.reddit.com/r/rust/comments/qucind/stdsimd_is_now_available_on_nightly/hkpy4y4/

std::simd is now available on nightly

Posted in r/rust by u/dragostis • 369 points and 57 comments

@wilfredh See LuaJIT, that's one example of an exception. I'm not sure it's exceptional but there are certainly reasons we can point to in that case. Exceptional attention to detail, high quality and a unique product (i.e world class JIT).
GitHub - CeleritasCelery/rune: Rust VM for Emacs

Rust VM for Emacs. Contribute to CeleritasCelery/rune development by creating an account on GitHub.

GitHub
@unfa This resounding vote for bcachefs by other fs developer Dave Chinner was interesting, see https://lwn.net/Articles/867427/ #bcachefs
The Btrfs inode-number epic (part 2: solutions) [LWN.net]