Smaug123

23 ms·

361.
Claude 3 picks the correct answer in a counterfactual mugging(twitter.com)
1 points by Smaug123 3y ago|1 comments
362.
by Smaug123 3y ago
Instances of Claude 3 Opus are capable of coordinating with other (possibly counterfactual) instances of themselves. ChatGPT 4 was able to do the same in my testing, but only when it was prompted to be a "decision theorist" rather
363.
JPEG DCT Text Lossifizer(lcamtuf.coredump.cx)
12 points by Smaug123 3y ago|2 comments
364.
by Smaug123 3y ago
I don't at all see why "How to redesign this particular database design (tables/partitioning/indexes/queries) so that it can handle expected load in next 5 years" is a problem that only a human can solve becaus
365.
by Smaug123 3y ago
Ah, now you're talking price! How many years do you bet before this happens - three? Five?
366.
by Smaug123 3y ago
The world contains a great many arguments invoking Rice (or equivalently the halting problem) to "prove" non-mathematical statements, and they are almost all specious. a) the mere fact that there is no fully general procedure to d
367.
by Smaug123 3y ago
.NET AOT really is not designed for deployment, in my experience - for example, the compilation is very hard to do in Nix-land, because a critical part of the compilation is to download a compiler from NuGet at build-time. It's arc
368.
by Smaug123 3y ago
To a novice it appears not to work if you've hit Ctrl+S in your terminal to suspend output, for example. Ctrl+Q to release your terminal, Ctrl+C to return control to Vi if something else has it, Esc to get into normal mode if you'
369.
by Smaug123 3y ago
Good Lord that sounds terrifying - I do in general prefer my type definitions to be at least approximately deterministic.
370.
by Smaug123 3y ago
Honestly I'm not sure it would be terrible for television; I'm just not sure they tried. I think it would be possible to convey the grand arc of history, retain the pre-recorded nature of the Vault, show the different approaches
371.
by Smaug123 3y ago
The list of primes below 600851475143 contains 23038900221 elements. If each element is a long, that takes a little over 184GB (decimal) of storage. May I ask how you managed it without running out of memory? (Project Euler 3 asks for a
372.
by Smaug123 3y ago
This is a good thing in the context of the article (it even explicitly says "They’re not made to give you verifiable facts or to say 'I don’t know'" in a context which suggests this is in fact a bad trait). Better to r
373.
by Smaug123 3y ago
Along similar lines, Mario Carneiro wrote a formalisation of a subset of x86 in MetaMath Zero ( https://github.com/digama0/mm0/blob/master/examples/x86.mm0 ) with the ultimate goal of proving that the
374.
General Relativistic Hydrodynamics in Discrete Spacetime(arxiv.org)
2 points by Smaug123 3y ago|1 comments
375.
by Smaug123 3y ago
I haven't read this yet (and my GR chops are almost certainly not good enough), but Gorard claims that the Wolfram model of physics may make predictions about material accretion around a spinning black hole. Discovered from Gorard&#x27
376.
by Smaug123 3y ago
More tersely, returning errors is not the problem. Returning errors and results simultaneously (and relying on context to distinguish them) is the problem. Sums are not well modelled by products.
377.
by Smaug123 3y ago
(Phrase originally coined by Yaron Minsky; the earliest text mention I know of is https://blog.janestreet.com/effective-ml-revisited/ ) To be pedantic, "date of birth" does not actually imply "age".
378.
Nix-direnv is a quality of life improvement(ianthehenry.com)
18 points by Smaug123 3y ago|9 comments
379.
by Smaug123 3y ago
What, twice, in an "I can do X to Y, you can do X to me" structure?
380.
by Smaug123 3y ago
If you keep a patch in a branch, then you have to keep merging the upstream and your commit hashes become different from what everyone else sees, for example.
381.
by Smaug123 3y ago
(I am really really hoping Apple Vision Pro makes this easier, and that someone gets round to keyboard-gloves so that you can type with your arms by your sides! I saw a project for this just today, called "wandering.computer", but
382.
by Smaug123 3y ago
`Ln` isn't a built-in (and is syntax-highlighted as "undefined"), and searching the docs for "Ln" (or looking up the symbol with F12) gives as the first hit "Log: Log[z] gives the natural logarithm of z (logari
383.
by Smaug123 3y ago
The MIT Mystery Hunt starts today, and Mathematica is my go-to language and environment for puzzle hunts. As the saying goes, it's the second-best tool for everything. Fast iteration on ill-specified problems, trivial visualisation and
384.
by Smaug123 3y ago
(By the way, [the Austral spec]( https://austral-lang.org/spec/spec.html#rationale-errors ) discusses in great detail the available tradeoffs in this area of language design.)
385.
by Smaug123 3y ago
You should find that vice versa also errors. After all, in principle I guess it's possible to store data in a directory (it looks like EXT2 in particular would let you store data in between entries, https://tldp.org/L
386.
by Smaug123 3y ago
Eh? With a gun to my head I'd say the CCP cares more about censorship than the NYT does about plagiarism, but it's not an easy call. The problems are the same ("training set contains lots of stuff I don't want the LLM to
387.
by Smaug123 3y ago
> you can also usually tell when the air quality drops through your senses Only when you're paying attention. If I'm not paying attention, I end up in a sufficiently depressed state that I can't notice, which is extremely
388.
by Smaug123 3y ago
Yeah, ChatGPT can't reliably generate poetry which scans. (It can't count syllables in words, so this would be a bit much to expect of it.) I haven't read the entire poem, but the bits I have seen at least have the right syll
389.
by Smaug123 3y ago
FWIW I didn't read snark. I read "I am sad to see…", much as I might be sad to see the history of any other ancient thing forgotten.
390.
by Smaug123 3y ago
(Of course, since this is undefined behaviour - https://www.open-std.org/jtc1/sc22/wg14/www/docs/n1570.pdf , section 6.4.5 para 7 - literally any behaviour from any implementation is perfectly compl

More ›