indigo945

7 ms·

1.
by indigo945 7d ago
Right, mathematicians care about clout and tenure, which is a much higher purpose.
2.
by indigo945 8d ago
What? The article states: > Drawing on extensive prior research by mathematicians over the past decades, it > [Claude] has increased this bound [for the fraction of zeros of the Riemann zeta > function that satisfy
3.
by indigo945 9d ago
No, what I mean is this part of your comment is unrelated: > We should stop using the word alignment. It's a BS term for a concept which > simply cannot make sense if alignment is both to mean an AI which we control a
4.
by indigo945 10d ago
I think they're saying the model is designed to hide the chain of thought because this prevents it from learning how to pursue goals and motivations in a way that doesn't show up in the train of thought. For example, if somebody a
5.
by indigo945 10d ago
I think it is worth noting that the article addresses this.
6.
by indigo945 14d ago
This is a European company, there absolutely is legal liability. The GDPR expressly prohibits using customer data for a purpose other than the one the customer intended and consented to.
7.
by indigo945 2mo ago
There's no inherent, technological reason to feed the historic data into the prompt, though. You could train a network with a second input for model-states, and during inference, feed into that input historic model-states that occured
8.
by indigo945 2mo ago
> And it kind of assumes that qualia have an ultimate > physical manifestation - rather than being merely a > rhetorical device. Denial of Qualia has long been an outlier position in the philosophy of mind, so th
9.
by indigo945 2mo ago
This is exactly the thought-terminating cliché that I see everywhere, and it's driving me up a wall. We have absolutely no idea what consciousness is, but everybody is 100% sure that LLMs don't "have any form" of it. Y
10.
by indigo945 2mo ago
I fully agree with this. I find it strange how quickly the novelty of AI chatbots has passed. This used to be a thing of science fiction, that people dreamed, fantasized about. Now they are everywhere, people rely on them for the most munda
11.
by indigo945 2mo ago
That's also great for integration testing their systems, if they have any code in a language where datetimes are a value type.
12.
by indigo945 2mo ago
This doesn't really when the CLI tool needs to access any data in your /home. There isn't a straightforward way using standard POSIX tools to share a directory with another user. (Of course it's possible , but it&#x27
13.
by indigo945 3mo ago
The point is they can't tell.
14.
by indigo945 3mo ago
Mineral oil is what people use these days, but it is much less funny. In practice, any oil will do, although olive oil is not suggested - smells nice at first, but will break down over time.
15.
by indigo945 3mo ago
> The Cray supercomputer were fluid cooled back in the 1980's, the entire > board had an inert liquid flowing across it. You can still do this with any computer, by the way: just submerge the entire board in motor
16.
by indigo945 3mo ago
> The idea that only nerds care about the cost of things is... absurd. For hardware purchases, laypeople may go about it the other way from what nerds would do: instead of deciding what they need in terms of computing power and memory, a
17.
by indigo945 3mo ago
One obvious use case is edge computing, such as in industrial applications that cannot tolerate the risk of a network link or cloud service going down. Even embedded use cases are possible, such as an image classifier model in a security ca
18.
by indigo945 3mo ago
In German, it's also extremely annoying that even common compound words will not be suggested. Google Keyboard has somewhat improved here, but FUTO Keyboard still drops the ball on this completely.
19.
by indigo945 3mo ago
Yes, but Hetzner is not "some low-end provider". They have proper, high-quality datacenters with all the redundancy you want, excellent connectivity, great service, and much better privacy controls than any American company would
20.
by indigo945 4mo ago
Not only is "arguments are evaluated left-to-right" less easy to formalize than you think, it would also make all C code run slower, because the compiler would no longer be able to interleave computations for more efficient pipeli
21.
by indigo945 5mo ago
Yes, this surprised me as well. Credit card and Paypal information should give the police everything they need to identify the criminal (in a way that's much more simple and reliable than via IP address, which may be obfuscated via a V
22.
by indigo945 5mo ago
People are already not using libraries because they'd rather rot their brains on TikTok than read a book. (Also, for information lookup, the internet and search engines exist, and have for a while now.) This has no actual causal relati
23.
by indigo945 5mo ago
This is quite amazing. The quality of the created palettes is surprisingly good. For the fourth iteration (guarding against phantom blue from shadow pixels), I wonder if it may help to also take into account how close the pixels in each clu
24.
by indigo945 5mo ago
You can of course take a SQL dump that is version-independent, but if you're serious about creating backups, you want to take backups of the actual on-disk format of the WAL, because that's more efficient and also the only practic
25.
by indigo945 5mo ago
(I'm kidding, but I'm sure someone has a pie-in-the-sky geoengineering startup about to disrupt topography using either AI, blockchain, or both.) Well, there was that plan to use scores of nuclear bombs to alter the
26.
by indigo945 5mo ago
Late capitalism is when a traditional tea recipe is referred to as "homemade ClubMate (R)".
27.
by indigo945 5mo ago
For the use cases outlined in the OP, a 36% performance gain for an optimization that complex would be considered a waste of time. OP was explicitly not talking about code that cares about the performance of its hot path that much. Most app
28.
by indigo945 5mo ago
Funnily enough, in the blog post you linked Scott Alexander also ruminates about how he never previously questioned journalistic attempts to dox Satoshi Nakamoto.
29.
by indigo945 8mo ago
> Signal insists on using your phone number too, refusing user ids or anything that will make analysis hard. That is no longer true, you can use user IDs now. For the other problem, you can enable self-deleting messages in group chats, l
30.
by indigo945 8mo ago
Great tool that wrote the blog post in the OP also, so it's quite versatile.

More ›