Spotify, can we add an "exploration editing" mode to playlists (a toggle like shuffle or repeat)? Basically, skipping a song soft-bans it and similar ones from being played (in that list) but playing a song to the end automatically adds it for a (mostly) hands-free experience.

"This describes exactly what happened with web browsers. They cloned each other's new features, while web developers added workarounds for the missing pieces. Not to make it work differently, but to keep it all working exactly the same." - Steven Wittens

There's so much "common knowledge" that knowing all of it isn't actually that common.

Linus secret power is cutting through the bullshit. lore.kernel.org/rust-for-lin...

Ah, brackets!

Is there a good design reason for why async functions are colored? Like is there a technical reason why we can't just have a `yieldcontrol` keyword that is a noop in synchronous contexts and acts as the breakpoint for passing control to the event loop during async?

Probably did better than I can

I've had this thought for a while but I'm not yet smart enough to actually implement it. I eventually want to write an automated solver based primarily on one principle: Logic is bifurcation in a lower dimensional latent space.

Working on a project that will generate a truly random #LeetCode problem, soon to be in a Wordle format. It'll use behavior-based testing (via the @fast-check.dev library) to ensure your implementation matches the random black-box function. Here's a sample.

Most mathematical proofs by contradiction are actually proofs by construction. For example, the proofs for infinite primes takes the (assumed) set of all primes and constructs a new one by adding one to their product.

When your professor says your exam notes must fit on only one side. 💯🧠
#MathSky #iteachmath

"I believe our best chance at preserving the integrity and dignity of our tradition is to return to our Pythagorean roots. We should become a cult."

Really taught me a ton of core concepts like Gödel's incompleteness theorem and finite state machines. I'm really glad one of my dad's coworkers recommended it to me when I was just a kid. Though it is a niche recommendation, lol

#booksky

Watching money being thrown at absolute nonsense technology whilst I try my best to raise a mere 700 pounds for a really important local community project

-_-

Rust should support anonymous structs as a (permanently) unstable feature to allow for rapid prototyping. Moreover, this would pair well with an implementation of structural typing like TS has. It could work like traits and be something like `impl {x: i32, y: i32}`.

You’re still arguing about tabs vs. spaces? May I present…