Twisol

11 ms·

91.
by Twisol 2y ago
> they're alluding to math[1] but they're not doing math. So they're applying the math somebody else already put together? It isn't clear what your opinion is. Are you saying it's not valid if it's not math?
92.
by Twisol 2y ago
You're correct that they aren't defining the concept of paramorphisms in that section -- but that's because paramorphisms have been present in the literature for a long time: > for a detailed review of paramorphisms from a
93.
by Twisol 2y ago
The alternative not making sense doesn't automatically make this solution make sense :( It just highlights how many corners C++ has backed its design into.
94.
by Twisol 2y ago
I think it was a joke about compilers removing code by reasoning about undefined behavior.
95.
by Twisol 2y ago
"Pointwise squaring on an interval x" is just a weird way of describing the usual function f(x) = x^2 with domain restricted to an interval. It's pointwise because that's how functions f : R -> R are defined: given a
96.
by Twisol 2y ago
I think the key ingredient you're looking for is mutability. If you take advantage of the ability to implicitly modify state, your declared interfaces reduce in size because you don't need to model the threading of state through t
97.
by Twisol 2y ago
You might be surprised how many people would exclude languages like HTML on the basis that they don't describe computations . (I am more of a PL maximalist: any syntax that allows you to describe and manipulate some class of semantic
98.
by Twisol 2y ago
> substitute error with whatever type you want there - null, Error, or your own thing And if I want `error` to be `string` so I can just provide an error message? Proper disjoint sum types let me keep the two sides disjoint, even if they
99.
by Twisol 2y ago
> You should use a `Result` or `Either` type for that like everyone does. You have missed the thread context, which is whether `Either a a` (also written `a + a`) has any merits over simply `a` (which is identical to `a | a`). If you&#x2
100.
by Twisol 2y ago
Big-O notation is a famous example where = is some flavor of (asymptotic) proportionality, and it catches a lot of people out when they first learn about it.
101.
by Twisol 2y ago
No, it isn't "completely useless". If you have a function that will normally return a string, but can sometimes fail due to reasons, you may wish to yield an error message in the latter case. So you're going to be return
102.
by Twisol 2y ago
I suspect you'd notice simply because scrolling to the top of your history isn't sufficient anymore to find the first error. (Assuming one clears their shell history before compilation, which is very nearly required in this contex
103.
by Twisol 2y ago
"Tengen Toppa Gurren Lagann", from upthread; the GL is for "Gurren Lagann", which is how it's usually known.
104.
by Twisol 2y ago
Sometimes you'll have nested Options just because you're mapping a fallible operation over a fallible input. You don't want the resulting `Option<Option<T>>` to immediately collapse; then you wouldn't know w
105.
by Twisol 2y ago
Silence is not consent. As in many things, consent must be enthusiastic.
106.
by Twisol 3y ago
Ah, but now you've lost the asterisks in the transfer to HN! This art has been <gasp> defaced! /s Yes, maybe I should have just posted it, but I'd rather people click through and actually read the OP. There's somet
107.
by Twisol 3y ago
The best part is a ways down -- I'd quote it here but that would just be karma farming. Look for "With patch applied".
108.
by Twisol 3y ago
I have this issue on occasion with older mixed C/C++ codebases that use `.c` for C files and `.C` for C++ files. Maddening.
109.
by Twisol 3y ago
Right -- they happen in "screen space", not "world space", to use a graphics analogy.
110.
by Twisol 3y ago
Even in English, the term "lily-livered" is an insult (meaning "cowardly", apparently).
111.
by Twisol 3y ago
You've described something extraordinarily similar to my own mental topology for processing problems. I'm also autistic, although I think our sensitivities differ somewhat. I also try to (and mostly succeed at) hold a whole proble
112.
by Twisol 3y ago
It would be kinder to assume that "I think about how to solve the problem" doesn't capture the nuances of actually doing that thinking to the satisfaction of the commenter, and this is their attempt to articulate it to match
113.
by Twisol 3y ago
I don't think that term has been appropriate for a long time... Wikipedia seems to indicate similarly. https://en.m.wikipedia.org/wiki/Mongolian_idiocy I saw someone on Rocket League use that term as an insult. Wh
114.
by Twisol 3y ago
From what I understand, a more direct analogue to "danger" is "abunai". The word "yabai" almost seems to be usable as a generic intensifier, like many English speakers might use the s-word. (I'm extremely
115.
by Twisol 3y ago
And Quiver itself exports to LaTeX that uses the `tikz-cd` package ("cd" for "commutative diagrams"), if you'd like to use that directly.
116.
by Twisol 3y ago
The OSS CAD Suite [0] is a good open-source toolchain for this stuff. You can then write hardware designs in the SytemVerilog language (VSCode has some plugins, I believe, but I've just been using a basic text editor) and use the build
117.
by Twisol 3y ago
Alright, you've nerd-sniped me. Our assumption is that the ratio of people with autism and ADHD to people with just autism is greater than the ratio of people with ADHD to people in general. Using your variables, that is: W / (W +
118.
by Twisol 3y ago
Heh, and that subtitle is a link to a page that says: > Meet Ayaha Hideri, the official anime mascot of Hysteria I'm sure this would grate on many people, but honestly, I'm here for it.
119.
by Twisol 3y ago
I can't even get past the captcha on that mirror. Same story reported by Ars: https://arstechnica.com/tech-policy/2023/10/41-states-sue-me...
120.
by Twisol 3y ago
Not, apparently, to be confused with the identically named Unison language. (I was wondering what unison-lang had to do with the OP until I clicked through.)

More ›