Tainnor

25 ms·

451.
by Tainnor 2y ago
If you win the case, the landlord would have to cover your legal fees.
452.
by Tainnor 2y ago
Any source code in any programming language can in theory be encoded in unary, requiring only a single symbol (and without any need for extra grouping or whitespace). It's not gonna be efficient, though.
453.
by Tainnor 2y ago
> I've never seen anyone reach great heights without being in control of their own feelings and understanding the feelings of others. I think there are enough historical and present-day counterexamples to this, unfortunately.
454.
by Tainnor 2y ago
Why don't you put a short version of this explanation on your main website instead of a vague "democratising functions"? What you wrote makes sense, but if all I see when I'm visiting your website is "democratizing
455.
by Tainnor 2y ago
> Plus the ancient mathematicians did very well with just their intuition. They did. But they also got things wrong, such as thinking that pointwise limits are enough to carry over continuity (see here for this and other examples: https
456.
by Tainnor 2y ago
> Or simply because the alternative is being homeless? As I already mentioned, you can simply sign a contract and then proceed to ignore all the illegal clauses. They're not binding. > And why should the default for foreigners be
457.
by Tainnor 2y ago
> partly because of legal reasons where a company can sue your or at least send you scary legal letters for libel if you damage their brand online like that in Germany. Or at lest, the company can simply demand the social media platform
458.
by Tainnor 2y ago
That's true in probably every jurisdiction, though? At least in Germany you can often get free legal advice for many things (Verbraucherschutz, Mietrechtsberatung etc.) and there's insurance you can buy that covers your legal fees
459.
by Tainnor 2y ago
Foreigners are typically getting screwed in Germany precisely because they don't know their rights or where to go to ask for (free) legal advice. If your landlord puts something in the contract that is against the law you can sign it a
460.
by Tainnor 2y ago
Even just defining the hyperreals and showing why statements about them are also valid for the reals needs to go through either ultrafilters (which are some rather abstract objects) or model theory. Of course you can just handwave all of th
461.
by Tainnor 2y ago
> this sort of “hole” in the function is called a removable singularity It's called "removable" because it can be removed by a continuous extension - the original function itself is still formally discontinuous (of course,
462.
by Tainnor 2y ago
It happens all the time. The US supreme court stopped a recount of the elections in Florida in 2000. In Berlin, the 2021 state elections went so wrong that they had to be repeated two years later. And so on.
463.
by Tainnor 2y ago
> are called tagged unions in most other languages Not sure about that. Swift also calls them enums, in Java and Kotlin (and maybe Scala? I forget) they're sealed classes/interfaces and in PL theory and many typed FP languages
464.
by Tainnor 2y ago
Other languages can't help you track that a function that transitively calls 100 other functions is side-effect free, Haskell can. > UUID::fromWords(getRandom(), getRandom(), getRandom(), getRandom()) This ignores that getRandom() i
465.
by Tainnor 2y ago
https://hoogle.haskell.org/ can help you find the function that you're looking for. As for "words"... yes, possibly not the best name. But also so common that everyone that has ever written any Haskell code k
466.
by Tainnor 2y ago
For a real use case, consider using a parser library. If you ignore the boilerplate import stuff, it's IMHO rather short and elegant - and not very imperative: {-# LANGUAGE OverloadedStrings #-} import Data.Text (Text) import
467.
by Tainnor 2y ago
That doesn't exactly give a good error message, though: > strSum "10 20 x" Left "Prelude.read: no parse" But yeah, I didn't remember "mapM". mapM f = sequence . fmap f, which is what I use
468.
by Tainnor 2y ago
Sure, you can improve this by e.g. import Data.Either.Combinators -- from the either package strSum :: String -> Either String Int strSum = fmap sum . sequence . fmap tryReadInt . words where tryReadInt w = maybeToRigh
469.
by Tainnor 2y ago
The Haskell examples at the beginning are a bit weirdly chosen. You wouldn't want to write code like that except in scripts etc. because it would crash the program if you encounter bad input. The first example could be more idiomatical
470.
by Tainnor 2y ago
what does that have to do with purity?
471.
by Tainnor 2y ago
I'll agree about the weird Haskell indentation rules. But do notation really is just syntactic sugar for a chain of >> and >>= applications (plus "fail" for invalid pattern matches). It's not usually pretty o
472.
by Tainnor 2y ago
> (Also, if you wanna go even more meta, there isn't even a widely agreed upon definition for what a word even is in linguistics!) To be even more precise, there are several competing definitions of what "word" should mean
473.
by Tainnor 2y ago
Pugh's exercises aren't trivial calculations, they're the proof kind of exercise. If you manage to do 10 a day consistently and still have time for your other courses, congrats. I also don't think that people who develop
474.
by Tainnor 2y ago
An undergraduate text like Pugh's Real Mathematical Analysis can have over 500 exercises. Trying to do them all on top of your regular workload seems excessive, unless maybe it's an area you really want to specialise in. I also te
475.
by Tainnor 2y ago
Well, you're comparing a concrete algorithm from applied mathematics (simplex) to a term from abstract algebra. I'm not exactly sure how you'd expect such a general concept to be described. Where in your work do terms like &q
476.
by Tainnor 2y ago
Alphabets may only have been invented once, but writing systems that have a (roughly, it's never perfect) 1:1 correspondence with the sounds of the language have been invented several times independently, e.g. in syllabaries (Japanese
477.
by Tainnor 2y ago
Nobody has found a contradiction in (first or second order) ZFC in over a hundred years. You're out of your depth.
478.
by Tainnor 2y ago
Your very first sentence is simply wrong, I don't know what more there is to say other than that you clearly don't understand what Gödel's results are about (hint: they're called "incompleteness theorems", not
479.
by Tainnor 2y ago
Just come on. The square root of 2 is the easiest example of an irrational number, this has been known since Ancient Greece. You can't compute distances in Euclidean spaces without the square root. "Solving equations by roots&quot
480.
by Tainnor 2y ago
None of what you wrote is true.

More ›