Tainnor

20 ms·

331.
by Tainnor 2y ago
> Whole book is English Amusingly, I think this phrase illustrates your point. To the best of my knowledge, a native speaker (which I'm not) would always say "The whole book is (in?) English", leaving off articles seems to
332.
by Tainnor 2y ago
LLM certainly does write perfectly grammatical and idiomatic English (I haven't tried enough other languages to know if this is true for, say, Japanese, too). But regular people all have their own idiosyncratic styles - words and turns
333.
by Tainnor 2y ago
Sequent calculus is way older than Lean or any similar such language. It's a bit like saying "this looks like Haskell" when reading about the Lambda Calculus.
334.
by Tainnor 2y ago
It may help, if you're familiar with set notation, to remember that x ∈ A ∩ B iff x ∈ A ∧ x ∈ B - the symbols mirror each other.
335.
by Tainnor 2y ago
We have Shannon's "Communication Theory of Secrecy Systems" as arguably the beginning of modern cryptography and then Diffie & Hellman's "New Directions in Cryptography" which first introduced public-key cr
336.
by Tainnor 2y ago
> He sketches out a hypothetical “Turing Machine,” proving that, if something is computable at all, a machine (in principle) can handle it. That's not what Turing proved. Instead, what he proved in his paper was that there are some
337.
by Tainnor 2y ago
> That might be what you meant by devilishly hard to write. No, that's a separate problem. I agree that we don't always know what we need our code to do very precisely - although I think we could still increase the number of kn
338.
by Tainnor 2y ago
Linguistically, Spanish and French are Western Romance languages and technically should be closer to each other than Spanish and Italian. However, French also underwent certain significant changes (possibly due to Germanic and/or Celti
339.
by Tainnor 2y ago
The person you're replying to mentioned Lean4. In such a language, types can definitely assert that a change didn't break anything, in the sense that you can write down the property you want as a type, and if there is an implement
340.
by Tainnor 2y ago
I grew up speaking a dialect that people normally didn't regularly put into writing (and there still is no standard spelling) before the advent of text messaging.
341.
by Tainnor 2y ago
Ok, but it literally means "without person", so is equally unsuprising.
342.
by Tainnor 2y ago
> Societies in their late stages of decadence and decline have done all sorts of crazy things. So we have you on record saying that traditional Native American societies like the Zuni were "in their late stages of decadence and decl
343.
by Tainnor 2y ago
> The proper response is -- in the spirit of the new era of free speech -- to firmly state your opposition to their beliefs. This doesn't really work because social networks are designed to amplify the most "engaging" thin
344.
by Tainnor 2y ago
> Gay men do not wait to 'realize' they are gay until their 30s, 40s, 50s, or 60s. That is patently false, there are many such cases.
345.
by Tainnor 2y ago
IIRC, formally "personne" has to be used with the "ne" negation in order to mean 'nobody', such as "personne ne l'a vu", which makes a certain kind of sense ('a person hasn't seen it&#x
346.
by Tainnor 2y ago
It's not just Github, Gitlab uses the same mess of YAML-programming with custom extensions. So do, I believe, many other systems. Ironically, Jenkins does this one correctly, they just give you a regular programming language. It's
347.
by Tainnor 2y ago
The reason why many CI configs devolve into such a mess isn't typically that they don't extract complicated logic into scripts, it's about all the interactions with the CI system itself. This includes caching, sharing of arti
348.
by Tainnor 2y ago
> but I assume language existed way before that Way, way, way older. Writing is an incredibly novel development. There are still today linguistic communities without writing, although they're becoming much rarer. Writing was unkno
349.
by Tainnor 2y ago
> is this important rescheduling information or just nagging me to buy an upgraded seat yeah, I feel like airlines (and other companies) get away with declaring emails as transactional that are 80% just promotional material.
350.
by Tainnor 2y ago
My problem isn't spam emails, it's transactional emails that are just a bit too chatty nowadays. I can't buy anything online without getting 5 different emails, it seems. Or 20 online check-in reminders for flights. Often, I
351.
by Tainnor 2y ago
That's neat. Venn Diagrams are one of these things you always take for granted but never stop to think how or why they work. They seem so "obvious" to us that it's easy to forget that someone must have invented them.
352.
by Tainnor 2y ago
That's not what the passages that I quoted say.
353.
by Tainnor 2y ago
> Tactically speaking, I’m halfway convinced the folks who came up with Defund The Police and think everyone supports Mangione have architected the pro-Palestinian movement in the West. It started as a solid expression of sympathy. The p
354.
by Tainnor 2y ago
I'll agree with you that the conflict, as well as the Ukraine war, has shown that the UN is largely irrelevant for conflicts of this proportion. I don't think that's good news for Palestine however - it just means that, in ce
355.
by Tainnor 2y ago
You seem to be arguing some point completely unrelated to what I was responding to.
356.
by Tainnor 2y ago
> Nahoul lectures to the audience that "we will liberate Al-Aqsa from the filth of the criminal Jews." [...] Later, Izz Al-Din from Ramallah calls in and Nahoul suggests that "we will go on Jihad when we grow up > Nassu
357.
by Tainnor 2y ago
It may be surprising to you that I've actually read a good portion of that text as well as other books on the subject. Or that I actually do understand what a cardinality is in a "pragmatic computing science context" (whateve
358.
by Tainnor 2y ago
> nowadays however, Hamas are hailed as resistance and freedom fighters. Only jewish hasbara still calls them terrorists, everyone else is sympathetic to Hamas, even Donald Trump, given his zionist position I don't think this is any
359.
by Tainnor 2y ago
> No country in the 20th century has survived carrying out a genocide. Turkey and Rwanda still exist.
360.
by Tainnor 2y ago
It's not just gang-downvoting, I've seen perfectly reasonable and civil comments being flagged for no apparent reason. I remain convinced that HN is simply not the place to have a reasoned discussion about this conflict, and proba

More ›