If you believe in ADTs, limiting mutation, & a type system that goes beyond Rust’s affine types + lack of refinements (including a interleaved proof system), you could be writing kernel code in ATS which compiles to C.

There’s a small learning curve I wish some bothered to understand first. Does this app help? The part of this I don’t like is vacationers leaving useless names like ‘Mango lady’, ‘many street vendors’ for a block, or ‘local restaurant’ since they can’t read the sign as opposed marking up the cuisine type, maybe adding an English description, & leaving the name blank. Nobody expects uploads to be perfect but Bangkok is littered with this noise that makes it hard to follow or find things.

While the greater knowledge tells us the jack integration costs the manufacturer less than a greenback, the narrator buys @ 20× the price a dangling dongle whose DAC quality is an unknown. Strolling with cellular apparatus in hand, the narrator’s new phone tails are inserted—one side waving in the wind & the other causing a weird, uncomfortable cinch in the junction with 3.5mm jack. Additional stress is forced upon the singlar USB-C port. Who will last longer on this phone, port, battery, screen? “This is fine” he tells himself lifting the screen searching “best Bluetooth headphone 2024” just to see what’s out there—even tho his headphones have no performance issues & a replaceable, detachable cable already built to last.

Flimsy awkward adapters + having to choose between charging or audio? But they had matching earbuds with irreplaceable batteries to sell…

Embrace your forefather ALGOL: 🤚‍ and, && 👉 ∧

5a is EoL so no headphone jack for you. This is a nonstarter for portable devices to me.

Responding broadly to the thread of folks talking about userScripts & add-ons. This effort would be better put to getting folks to a different protocol where client modification & alternate clients are the norm.

Why put the effort into such a hostile service?

I literally used to say this last decade, but as I grew experienced with more languages/paradigms/systems, it became 3rd best, then 4th, until I realized it actually not really great at anything other than there is an large ecosystem around it (wildly varying in quality). To some that might be enough, & going outside what you know isn’t typically the most wise thing to do, but it’s not particularly simple, or readble, or performance, or composable, or offering great patterns. Anything that used Python in Nixpkgs tend to be the most unreliable software for actually building & using.

This is so true & unfortunately everyone keeps telling beginners to start at Python

Why folks always say this as if it won’t connect to your neighbor’s open WiFi? Some of these are being built with cellular access like those Nspresso machines—or LoRa—so you can’t just not connect it. These devices don’t need any network access.

I had to buy a washing machine recently. I asked if I could get one without the smart features (this was a half joke thinking there was no shot in hell, but at least I got to express disinterest). They looked in the back to find that they did have the previous model. They said it was basically the same but without the smart features—then they said it would still be under the same warranty & would cost me $150 less. I got real lucky that day—& the fact that I need a new TV has caused me dread knowing you basically can’t find ’em anymore.

How long til they can get a Rust Kernel committee to really decelerate progress?

But seriously, great to see progress keep chugging.

One day they will wake up & provide an OLED option with 100% DCI-P3