Smaug123

30 ms·

451.
by Smaug123 3y ago
It's what you'd use as an arg to `cp` if you wanted to copy the contents rather than the directory, for example.
452.
Automated Mathematics and the Reconfiguration of Proof and Labor(arxiv.org)
2 points by Smaug123 3y ago|0 comments
453.
by Smaug123 3y ago
(C#'s type inference is so much worse than F#'s. I find it deeply painful to go back.)
454.
by Smaug123 3y ago
Certainly. One puzzle it ever and always entices you with is: "can I do this without allocation?".
455.
by Smaug123 3y ago
Well, in principle one could store solar energy in the form of a flammable fuel which can be used to rapidly spin up a turbine, by constructing ethanol/methane from carbon dioxide and water. We can't do it at scale yet, but this i
456.
by Smaug123 3y ago
Well, you might not know the answer, even if you know some properties the answer must have and some processes that might lead to the answer.
457.
Programming Language Semantics: It's Easy As 1, 2, 3 [pdf](cs.nott.ac.uk)
3 points by Smaug123 3y ago|0 comments
458.
by Smaug123 3y ago
I wouldn't go that far - the paragraph says "yeah, everyone knows this is a thing in humans, maybe it's worse in LLMs, who knows, we really have no idea".
459.
by Smaug123 3y ago
Sure, anyone is free to define anything they like as "good". If you like being unable to change providers for things, then that is certainly your prerogative (and boy do I need to learn how to start selling services to you)! I pre
460.
by Smaug123 3y ago
Ah, but it's not good being tied to one of each service; it's just extremely impractical to have parallel infrastructure in some cases. (I've been without plumbed water before because the water service failed locally. It wo
461.
by Smaug123 3y ago
One of each, but is your point that those are essentially monopolies in many places? Email still isn't a monopoly, even if most people do use Google!
462.
by Smaug123 3y ago
Ah, in that case I don't see what relevance your comments have either to my comment or the paper? Surely nobody in the world disputes that an entity with intelligence that's not always on could still be useful or interesting or wi
463.
by Smaug123 3y ago
You're the first person to suggest that the GPTs can't do that; they obviously can. https://chat.openai.com/share/b94329ce-3607-4cb6-bc21-55d9f2... for example is GPT-4 getting it correct. What the paper is a
464.
by Smaug123 3y ago
(Which is why prompt engineering is a thing! The art/science of phrasing the prompt so that the immediate blurted response is more likely to be correct.)
465.
by Smaug123 3y ago
Most people would agree that human-level intelligence is intelligence! If a human can't reliably do a task, that rather suggests that failure to do the task isn't an indicator of lack-of-intelligence, unless you wish to bite the b
466.
by Smaug123 3y ago
This doesn't seem as damning to me as it does to Gary Marcus. Humans routinely fail to generalise in this way, which is why we routinely use cloze deletion flashcards to train recall of various different permutations of a fact. I could
467.
by Smaug123 3y ago
"Taking money" is a very poor description of a trade, which both parties chose to enter into because they both expect to derive benefit from it. What the parent objects to is presumably the "government/police/milita
468.
by Smaug123 3y ago
In general I am sympathetic to whitespace - I find the argument "whitespace insensitivity means the code now contains two conflicting sources of truth: whitespace which the programmer uses, and braces which are the only one that matter
469.
by Smaug123 3y ago
One of the classic lessons of the Falsehoods Programmers Believe about Time is that in general you can't correctly do better than simply storing the user's input (and the instant and place they entered it from) verbatim, unless yo
470.
by Smaug123 3y ago
Even I'm not so cynical as to claim that a tool is good because it's hard to use correctly so it makes work for us when we inevitably get it wrong!
471.
by Smaug123 3y ago
Not quite unambiguous! It declares how to parse numbers, but of course the "reference implementation" of JSON (insofar as there is one) is Javascript, in which numbers are floats and hence e.g. are bounded in precision, so the spe
472.
by Smaug123 3y ago
As I am fond of saying, there's a common misquotation that runs "YAML is easy for humans to read". The full quote is "YAML is easy for humans to read wrongly ".
473.
by Smaug123 3y ago
As an aside, there are a number of Turing machines defined in Lean's mathlib. https://github.com/leanprover-community/mathlib4/blob/2c3ee3...
474.
by Smaug123 3y ago
Per the article, the Azure bucket was explicitly shared. Azure Storage is generally encrypted at rest ( https://learn.microsoft.com/en-us/azure/storage/common/stora... ).
475.
by Smaug123 3y ago
Raft (at least) goes offline if more than half the replicas are gone, doesn't it? It won't accept writes, and it won't serve reads unless you've explicitly chosen to serve stale reads.
476.
by Smaug123 3y ago
They are not built-in, no. https://github.com/awalterschulze/ccc-talk/blob/1e781326d2e3...
477.
Using uninitialized memory for fun and profit (2008)(research.swtch.com)
120 points by Smaug123 3y ago|67 comments
478.
by Smaug123 3y ago
I've found `ort` (which I believe is now the default) to be better than `recursive` by leaps and bounds. Have you tried `ort`?
479.
by Smaug123 3y ago
Bold move to enable the "ours" merge strategy by default! I presume this is a typo for the "-Xours" merge option to `ort` or `recursive`, but that still seems pretty brave.
480.
by Smaug123 3y ago
There are logics in which vacuous truth is just not a thing (e.g. relevance logics). Your casual dismissal of the less common logics does not cause them not to exist.

More ›