IsTom

7 ms·

91.
by IsTom 2mo ago
Aren't they still bad at understanding how bicycle frame works? Especially the steering part?
92.
by IsTom 2mo ago
And still that requires X to not be particularly large. It could conceivably be in ballpark of BB(40).
93.
by IsTom 2mo ago
I might be an old man yelling at cloud, but for things coming after win98 era this feels demonstrably false in many cases.
94.
by IsTom 2mo ago
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).
95.
by IsTom 2mo ago
So that link( https://infosec.exchange/@0xabad1dea/117002106099986943 ) buried in the comments of comments sounds pretty damning.
96.
by IsTom 2mo ago
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
97.
by IsTom 2mo ago
That kind of sounds like a branch predictor in a CPU.
98.
by IsTom 2mo ago
Have they factored 21 yet? That metric hasn't changed for some time.
99.
by IsTom 2mo ago
You could read it through internet archive if it's this important.
100.
by IsTom 2mo ago
Especially as browser History API allows you to change the hash without making new history entries.
101.
by IsTom 2mo ago
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.
102.
by IsTom 2mo ago
That sounds like Haskell's ST monad and yeah, that could work. These are very specific "escape hatches" though and typically people want more.
103.
by IsTom 2mo ago
> 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.
104.
by IsTom 2mo ago
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 a
105.
by IsTom 2mo ago
EULAs are restricted in power in EU and at least to me these cookie banners are similar in spirit.
106.
by IsTom 3mo ago
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.
107.
by IsTom 3mo ago
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.
108.
by IsTom 3mo ago
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.
109.
by IsTom 3mo ago
Are dogfights still relevant? Isn't it mostly shooting missiles outside of visual range these days?
110.
by IsTom 3mo ago
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 adbloc
111.
by IsTom 3mo ago
Yeah, this happens broadly in shell with globbing. It's a bit ridiculous.
112.
by IsTom 3mo ago
To be pendantic ls -- **/*.sh Otherwise it will fail if you've got a file named e.g. --help
113.
by IsTom 3mo ago
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.
114.
by IsTom 3mo ago
> 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.
115.
by IsTom 3mo ago
To be fair, they don't have the text editor highlighting all the matching parens. I'd be lost too.
116.
by IsTom 3mo ago
The scale current of money-burning is just wild. I'm not sure you can compare it to anything else this century.
117.
by IsTom 3mo ago
My memory is pretty spotty, but wasn't it similar with other hype-cycle topics like cryptocurrencies?
118.
by IsTom 3mo ago
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.
119.
by IsTom 3mo ago
It would be nice, but I don't have much hope as it doesn't help next quarter's profits.
120.
by IsTom 3mo ago
To be able to propose interesting conjectures you need to walk the walk of trying to prove things yourself. That's not great for future generations.

More ›