cubefox

18 ms·

481.
by cubefox 5mo ago
This was simply a lie: > No new DRAM fabs are being built. See https://manufacturing.economictimes.indiatimes.com/news/hi-t...
482.
by cubefox 5mo ago
John David Pressman makes the case that "predicting the next token" is at the heart of intelligence, since it is a fully general task that requires a system to infer and model the causal structure of the world. This has an intrigu
483.
Implications of Predicting the Next Token(lesswrong.com)
3 points by cubefox 5mo ago|1 comments
484.
by cubefox 5mo ago
> I see no indication that current human intelligence is at anything close to a historical pinnacle. Human knowledge, yes, but intelligence? No. Collectively, we're dumb and trending dumber We are at a peak in absolute terms, though
485.
by cubefox 5mo ago
They say around 2028. See https://manufacturing.economictimes.indiatimes.com/news/hi-t... Original source (paid): https://asia.nikkei.com/business/tech/semiconductors/memory-...
486.
by cubefox 5mo ago
What would they be doing with their enormous profits instead?
487.
by cubefox 5mo ago
Seems unlikely. Increased demand usually causes increased investment in increasing supply.
488.
by cubefox 5mo ago
For some reason I still haven't heard any predictions on when new fabs will come online to meet the current demand. This shouldn't be too hard to find out, since the building time of fabs is very predictable process. The difficult
489.
by cubefox 5mo ago
> they do have comparable uses, so it makes sense to wish for similar syntax to reduce cognitive overhead No this makes no sense at all. Set theoretic types don't use special constructors, there is no way to make them look remotely
490.
by cubefox 5mo ago
> But no one is actually confused. Wrong, see this comment: https://news.ycombinator.com/item?id=48251896 Clearly he thought that it's the same kind of union as in TypeScript and that in C# just the syntax is weird.
491.
by cubefox 5mo ago
See my edit above. There is the C terminology, and the TypeScript et al terminology, and it's the same "untagged" terminology for two different things. In any case, both these kinds of "untagged" unions are differen
492.
by cubefox 5mo ago
> You cannot go around claiming that 'technically' unions are not unions I never said this. I said that there are two different kinds of unions with quite different definitions and behaviors. > A tagged union is so called be
493.
by cubefox 5mo ago
That's like saying Haskell is really an imperative language just because it's written in C. But it doesn't matter how it is implemented, it matters how it behaves on the surface.
494.
by cubefox 5mo ago
> Discriminated union types are a really fundamental building block of a type system. It's a sad state of matters that many mainstream languages don't have them. "Non-discriminated" unions (i.e. untagged unions) are e
495.
by cubefox 5mo ago
Most people don't know that there are fundamentally two different kinds of "union" types: "tagged unions" and "untagged unions". Now .NET is introducing tagged unions, but unfortunately they stick to the
496.
by cubefox 5mo ago
Good idea. Together with ::after / ::before and content: (which can insert text into the website) it might then be possible to create a website without any HTML, only CSS.
497.
by cubefox 5mo ago
The word "explains" is ambiguous. Compare: Jack's girlfriend explains why the sky is blue. Rayleigh scattering explains why the sky is blue. "Rayleigh scattering explains the blueness of the sky", Jack's girlfr
498.
by cubefox 5mo ago
After Terry Pratchett and later my grandmother died from it, I'm a bit scared of Alzheimer's. There is a lot of evidence that shingles vaccines (particularly Shingrix) reduce dementia risk: https://hn.algolia.com/?
499.
by cubefox 5mo ago
The headline is ambiguous and misleading. The reason that different types of pasta have different structural integrity is not that they scatter neutrons differently. Neutron scattering was merely the tool with which they investigated the di
500.
by cubefox 5mo ago
Unlike fusion, driverless cars are already a reality, there are just have a few kinks to work out. LLMs are also pretty close to AGI already. 50 years are more than enough to figure it out.
501.
by cubefox 5mo ago
The rapid progress in the last few years in this regard is pretty strong evidence in my opinion.
502.
by cubefox 5mo ago
I agree, it was very useful, also because the final response often omitted details that were acknowledged in the CoT. Though I think DeepSeek might still show the reasoning trace.
503.
by cubefox 5mo ago
Breakthroughs in pure mathematics aren't scientific though. They say us nothing about the world, and they are not useful.
504.
by cubefox 5mo ago
There is a long and interesting recent essay on that topic by a mathematician: https://davidbessis.substack.com/p/the-fall-of-the-theorem-e...
505.
by cubefox 5mo ago
All inventions are discoveries, though not all discoveries are inventions.
506.
by cubefox 5mo ago
> It seems like they use Gemini 3.1 Pro to run their production decisions. They said they are already using Gemini 3.5 Pro internally.
507.
by cubefox 5mo ago
The world will get a lot crazier in the years ahead, on the path to superhuman intelligence. Disruptions caused by past inventions, like the printing press, the steam engine, electricity or the Internet, will look unremarkable by comparison
508.
by cubefox 5mo ago
That's just animation like an animated GIF: a series of static frames. What's more interesting is animation in the sense of deformation, as in skeletal/skinned meshes. These deformations require minimal data and can be genera
509.
by cubefox 5mo ago
> If someone figures out a way to pass in animation time to a sampler, sample along geometry/wireframe or something else, and keep it from overly twinkling it might change everything. Not sure that's what you mean, but there wa
510.
by cubefox 5mo ago
Vertex skinning is essential for animation and it only works with polygons.

More ›