IsTom

There is a limit how much you can squeeze out of given hardware. Betting on it being closer to 100t/s than 6t/s is only that, a bet.

Aren't they still bad at understanding how bicycle frame works? Especially the steering part?

And still that requires X to not be particularly large. It could conceivably be in ballpark of BB(40).

I might be an old man yelling at cloud, but for things coming after win98 era this feels demonstrably false in many cases.

Intuitionistic logic can prove less than classical logic, but what you gain is that proofs are constructive. Also you can use it to reason about things for which law of excluded middle doesn't hold (typically types).

So that link(https://infosec.exchange/@0xabad1dea/117002106099986943) buried in the comments of comments sounds pretty damning.

I think it's just that we have hard time pinning down what is it that intelligence factor that isn't well-covered by LLMs. Just like we've had trouble with discerning human intelligence in the past.

It turns out that a savant with all the knowledge isn't "it".

That kind of sounds like a branch predictor in a CPU.

Have they factored 21 yet? That metric hasn't changed for some time.

You could read it through internet archive if it's this important.

Especially as browser History API allows you to change the hash without making new history entries.

If what they're claiming is true then what were they supposed to do? Go "Hey guys, it's the biggest project in Zig and it sucks, don't look at it"? Not exactly a good PR move.

That sounds like Haskell's ST monad and yeah, that could work. These are very specific "escape hatches" though and typically people want more.

> escape hatches for performance

These allow the model to cheat in ways that are harder to detect. In actually pure FP you can be sure that it's not counting function invocations to bypass tests.

I feel that this is because people have been reinventing the wheel a lot in IT.

A lot of innovation that finally lands in programming languages has been done decades earlier, but now it's mostly awkwardly bolted on existing languages and frameworks.

EULAs are restricted in power in EU and at least to me these cookie banners are similar in spirit.

Physical strings have some stiffness and it causes overtones to not have perfect integer ratios of frequency. It's one of many things to consider that makes it sound a bit more natural.

Considering that there's a pickup in the model, air doesn't matter. And in typical string instruments the loud part you mostly hear is coming from sound box through bridge, not from strings themselves.

Does it take nonlinearity of strings into account? In the demo I can't really hear it and to me it ends up sounding like the comb filter synths you get without it.

Are dogfights still relevant? Isn't it mostly shooting missiles outside of visual range these days?

I think it kind of makes sense. Casual users won't even know about things that aren't chatgpt or gemini and they don't really need much more than gpt3 level of performance. They're also the ones who don't use adblockers and are used to ads being everywhere on the web.

Yeah, this happens broadly in shell with globbing. It's a bit ridiculous.

To be pendantic

    ls -- **/*.sh

Otherwise it will fail if you've got a file named e.g. --help

I don't think this is how this works. The next step is to determine for what kinds of polynomials the jacobian conjecture is true and for what kinds of polynomials it's false.

> Creating should be done like:

That's some bold statements when a lot of great art came from a place that isn't joy and rainbows like author would want it to.

To be fair, they don't have the text editor highlighting all the matching parens. I'd be lost too.

The scale current of money-burning is just wild. I'm not sure you can compare it to anything else this century.

My memory is pretty spotty, but wasn't it similar with other hype-cycle topics like cryptocurrencies?

Is this like, a real sum of money americans pay for a degree? Overhead must be mind-boggiling if like just two students are needed to pay educator's salary for the period.

It would be nice, but I don't have much hope as it doesn't help next quarter's profits.