It’s also funny because it’s a small, incomplete, incompatible subset of c++… seems like a perfect LLVM / clang rewriter case too, it would be easy to convert and be pure c++. Hell even a clang plugin to put the compile time into one process wouldn’t be awful. But i wonder looking at the rewrites if there’s not a terribly janky way to not need a compiler, if at some runtime cost of contextual control flow info.

Not even that, this should more or less be directly translateable to C++ 20 coroutines.

Also of course years older than them.

It’s exactly the same to try to use pixel buds on an Apple phone too. I don’t blame Apple or Google so much as the ridiculous pissing matches of a society that refuses to find ways to cooperate efficiently. So much energy is wasted in the name of vendor lock-in and related. Would it take more energy for Google and Apple to share in expanding into the Bluetooth capabilities in a shared way? Sure for their developers, in the short run. In less than a year the society wide savings far outweighs that. Apple people might cross pollinate and buy pixel buds. Android people will get airpods. Both companies could make even more money and save us all sanity. But we are organized for short term gains. Gradient descent without knowing or using the topology of the global complex. This isn’t Apple or Google’s job to fix, not even the government. it’s an issue at the social fabric level to have deep conscientiousness… so none of this is ever gonna change in our lives.

> It’s exactly the same to try to use pixel buds on an Apple phone too.

Is it? You have to link me to the iOS patches that iPhone users have written to enable Pixel Buds on iOS.

Or maybe it's not exactly the same.

I wonder which APIs aren't accessible on the iPhone so the same features can't be implemented on a iOS pixel buds app.

Whataboutism and cynicism about the status quo notwithstanding, I do agree BT protocol and adherence to it could be improved though.

No one is really mentioning this article in from a highschooler. Awesome job! I'm happy to read this today and really hope she will continue to see such inspiring stories and maybe some day make some.

Is there any succinct publication of his observations?

There's a "general audience" review by the man himself.

> https://arxiv.org/abs/2211.04492

That's the only part I care about dang. I still use WSL1 and have done a number of interesting hacks to cross the ABI and tunnel windows into "Linux" userspace and I'd like to make that easier/more direct

I'm very interested in knowing about your hacks! Would you mind sharing a bit more?

I'm also still using WSL1 and was hoping to be able to fix some of it's quirks :(

Definitely out of date, e.g. the 3SUM subquadratic conjecture (probably 11) has been solved and improved on [1].

If it's not been already there's immediate application, e.g. problem 41.

[1]:https://link.springer.com/article/10.1007/s00453-015-0079-6

There's a book that's explicitly about this, "Program = Proof", and though it's not beginner and needs maybe a light version for earlier learners, is an excellent example.

My story: it's a joke to be a grad student. Salary in 2012: $10,800 per year without housing.

I've really had a pet peeve about footnotes on mobile and this does the crime. If you click a footnote and it jumps very far away and doesn't have a return navigation, I have left your page usually after the second time I see a footnote and didn't note my exact scroll. A small thing but pretty please don't make me have to hunt for where I was...

Oh, it turns out we already do this! A small bugfix to make these always-visible on mobile displays :)

https://github.com/jupyter-book/myst-theme/issues/513

Nice! Glad to see. Huge quality of life improvement

Not me mining HN for feature requests... ;)

Elliott Conal has to covered there: http://conal.net/papers/convolution/