Smaug123

35 ms·

301.
by Smaug123 2y ago
I care about LEM because I'm not very happy with the computational content of LEM. I know it can be interpreted as "proceed according to $not-A$; if you find a contradiction by building an $A$, wind back the universe and proceed w
302.
by Smaug123 2y ago
> If you’re still tempted to quibble, then consider the following parallel question: > Let n equal 3 if God exists, or 5 if God does not exist. Is n prime? Sure, I'll happily quibble! You're using excluded middle to assert t
303.
by Smaug123 2y ago
golangci-lint finds three errors in rebuf.go at commit 615209d. It's never safe to write golang without the linters!
304.
by Smaug123 2y ago
This is one of the absolutely classic cases where I'd expect a very small amount of property-based testing to flush out a very large number of bugs, by the way.
305.
by Smaug123 2y ago
I am certainly no expert and couldn't have even begun to put an order of magnitude estimate on any of the quantities involved, but it sounded plausible. Source appears to be https://arxiv.org/abs/cond-mat/9711
306.
Algorithm and Abstraction in Formal Mathematics(arxiv.org)
3 points by Smaug123 2y ago|0 comments
307.
by Smaug123 2y ago
Indeed, she was very explicit that she interpreted it, and she specifically said several times in her rendition that this was not a translation because she only had word-by-word translations and other people's translations to go off.
308.
by Smaug123 2y ago
Does that issue mention F#? I may be blind but I see no evidence that it does. In general the F# way is to write completely different stuff, right, either hiding away the underlying C# or completely replacing it. Witness the existence of
309.
by Smaug123 2y ago
Ah, now you mention it I did try Coyote once; it crashed out instantly on F#, which is why I forgot about it.
310.
by Smaug123 2y ago
Not quite accurate with the Parallel example, if I understand you correctly. Don Syme is explicit that applicative `async` should not implicitly start work in the thread pool ( https://github.com/dotnet/fsharp/iss
311.
by Smaug123 2y ago
Is it common to work in a runtime that lets the test harness control the order in which threads race to access mutable state? I wouldn't be surprised if Haskell could do it, but I think I'd have to write a custom interpreter of
312.
by Smaug123 2y ago
I had a quick look through the linked "Testing Telecoms Software with Quviq QuickCheck" paper, but couldn't immediately see anything to answer my question: "why is this stateful stuff not better rolled by hand?". Th
313.
Exorcising Us of the Primer(andymatuschak.org)
48 points by Smaug123 2y ago|14 comments
314.
by Smaug123 2y ago
Did you have anything in mind? I must say, "we added LLMs to LLVM" is a scenario that fills me with horror.
315.
by Smaug123 2y ago
I'd expect them to do better when the input uses words that appear more in the training data. This very thread is the fifth hit on Google for `"forques" geometric algebra`; the third and fourth hit are the same paper as eac
316.
by Smaug123 2y ago
I have a mathematics (though not physics) degree and I didn't understand your question at all; "forques" appears to be either a place in France, Old French, or Catalan. I assume ChatGPT was correct in re-spelling "forq
317.
by Smaug123 2y ago
> a very large percentage of people living today are also not thinking/understanding/sentient This isn't that big a bullet to bite ( https://www.lesswrong.com/posts/4AHXDwcGab5PhKhHT/humans-who..
318.
by Smaug123 2y ago
This piece is a good advert for the book it's reviewing. I had no idea the critics thought poorly of her in her time - how could anyone listen and not think she's sublime!
319.
by Smaug123 2y ago
Come now, you can have guidelines that aren't enforceable but which you expect people to adhere to. After all, you asked them to adhere to them, and they're (hopefully) not arseholes.
320.
by Smaug123 2y ago
> So the wise soul does without doing, teaches without talking. Ursula Le Guin translating the Tao Te Ching, verse 2.
321.
by Smaug123 2y ago
By the way, a classic: > A functional programmer is one who calls their variables `f` and `x`, and their design patterns "zygohistomorphic prepromorphism".
322.
by Smaug123 2y ago
I claim the visitor pattern isn't that weird. The `visit` function is the natural way to move from continuation-passing style to direct style, being of type signature `forall 'ret . (MyObject -> 'ret) -> 'ret`.
323.
by Smaug123 2y ago
Pff, sometimes the official things are just completely cursed and you need to create your own little garden. Even if it does turn into twenty acres and a crop-rotation schedule, sometimes that's better than a volcano.
324.
by Smaug123 2y ago
> In English, do you "need" to learn if a word takes "o" or "u"? English semi-famously remains comprehensible if you replace every vowel with a schwa. So sure you'll have an extremely weird accent, but
325.
by Smaug123 2y ago
That is, there are now only 2833 Turing machines whose behaviour is not yet proved before we know the five-state Busy Beaver number ( https://en.wikipedia.org/wiki/Busy_beaver ).
326.
Busy Beaver Challenge: Releasing bouncers: only 2833 machines to go(discuss.bbchallenge.org)
8 points by Smaug123 2y ago|1 comments
327.
by Smaug123 2y ago
(If the source were available to you, then it would be available to all the other funds, and so it would instantly stop making money.)
328.
by Smaug123 2y ago
The first line of the question says "real".
329.
by Smaug123 2y ago
It's explained at considerable length in the section _A “Minimalist Implementation” of DQ: a modified RAG Pipeline_.
330.
by Smaug123 2y ago
Talent selection's not easy to do. Supply and demand must forever be one; The lowest-end jobs got demand by the ton, And something must cut the supply, so we moo!

More ›