tantalor

The Natural Numbers Game is amazing, highly recommended.

In this game you recreate the natural numbers N from the Peano axioms, learning the basics about theorem proving in Lean.

https://adam.math.hhu.de/

Then where do new ideas come from? Do the muses bestow divine creativity upon artists, poets, and musicians?

posted a video that got a few million views

Anybody got a link to that?

Is it this?

https://www.instagram.com/armaan.gomes/reel/DatqWKChtnw/?hl=...

I was expecting a real video, not some 9 second clip posted to random social media website.

That's not why.

It's because counterexamples are easy compared to proofs which require new mathematics.

GenAI is great at combining existing things in new ways (interpolation). It's terrible at creating new things from scratch (extrapolation).

https://news.ycombinator.com/item?id=48973697

Losing because some collision off screen seems a bit unfair.

Nice homage to Flight Control (2009)

Is this real? Or did they concoct this vulnerability just to write a blog post?

I'm not seeing any mention where they report this to WP or the patch.

What fake online shopping site?

What is /goal?

Windows is malware

My guess is this is a warning generated by a library trying desperately to reach the webmaster.

The server response header needs to be fixed:

permissions-policy: camera=(), microphone=(), geolocation=(), payment=()

It's just really funny/confusing because now visitors to the site are seeing it, and the message is not meant for visitors.

It works in Safari because Safari does not support the header:

https://caniuse.com/mdn-http_headers_permissions-policy_micr...

Then write a blog post and make your point there, not in the title of the submission.

Flagged, editorialized title

The outputs

Embarrassing!

You can still delete this, there is time.

Cherry picking data and poor choices in presentation.

We should really standardize on Time Cube

https://www.timecube.net/

These arguments aren't very convincing.

Compared to i++ from C/C++ or forEach from JavaScript, Python's version just works.

Comparing to forEach in JS is incorrect because forEach is an method of Array.

You should compare it to `for...of` in JS. Both operate on iterators.

Article is missing an important distinction between iterators and other "array like" types (including strings):

Iterators don't have to stop, e.g., they can take from a generator that never ceases.

Both Python and JS are happy to loop forever if the iterator never stops.

Yes but that's more of a mitigation than prevention. It's an additional step, you have to remember to do it, and under the pressure of the situation you might easily forget to do it.

Could be prevented by more advanced "AI detection", especially on calls from unknown numbers.

It doesn't even have to be based on watermarking. It could be as simple as, "hold on a sec your AI countermeasure was listening and noticed you got this suspicious call, please be aware this may be a scam. Here is what you should do next..."

I think that En Dash is supposed to be Tilde

  –$1.3k -> ~$1.3k

The "score" feels arbitrary. My polygon matches the community map pretty well, but I still get a bad score. How is it computed?

lol

It's a bit late. Should have done that years ago.

tldr, not much because we can't measure it to begin with

TIL Consolas is a Windows font

It likely comes with instructions like "hold directly in front of you, at exactly 15cm distance, with your left eye closed".

It doesn't make much sense to tie this to Chrome itself.

If an app or site uses too much bandwidth, it would be better to control this at the OS level, perhaps with a required user notification and consent. Or throttle certain apps.

It's common to set an alert for total data usage, which makes sense so you don't get surprised when you run out of data. That could be extended to watch the usage rate and alert by some threshold, or a projection on the total, like "hey at the current rate, you are going to hit your limit in N minutes".