hope-striker

11 ms·

1.
by hope-striker 6y ago
It has a lot to do with GraphQL the ecosystem, though, doesn't it? SQL injection is a particularly bad problem because concatenating strings is the easy path to getting queries working, and parameterization takes (a tiny bit) more ef
2.
by hope-striker 6y ago
Ah, whoops. That seems even more useless, though.
3.
by hope-striker 6y ago
Small note: people often (but don't always) assume that a ring is unital (has an identity element), and that an algebra over a field is unital and associative. Also, the label "algebra" is vague here, and refers to an "a
4.
by hope-striker 6y ago
What would you do with that? For example, I can see the use of commutativity (ab = ba) and anticommutativity (ab = -ba), but I'm not sure what I'd do with the negation of commutativity (ab ≠ ba).
5.
by hope-striker 6y ago
As mentioned below, he has a blog at https://www.iquilezles.org/blog/ and it's WordPress, so there's a feed at https://www.iquilezles.org/blog/wp-rss2.php .
6.
by hope-striker 6y ago
1. How do they live on charity? 2. So what if they live on charity? I don't see how that would invalidate anything being said.
7.
by hope-striker 6y ago
• Sure, it could come under the umbrella of "declarative programming", but that's an enormous umbrella, so that doesn't really say much. • I fail to see how differentiable programming (the idea of expressing the desire
8.
by hope-striker 6y ago
> These let you build all sorts of language constructs that you couldn't build in other programming languages. Many languages (e.g. Rust[0]) let you write procedural macros, even if their grammar is much more complex than that of a
9.
by hope-striker 6y ago
Yep, GP mentions in another comment that they misinterpreted the error.[0] Anyway, Python replaces the prompt ">>> " with "... " if the input is mid-statement, and I suppose it would be nice if Eshell did the sa
10.
by hope-striker 7y ago
Wow, that's quite the list, but it's a bit weird to see Kaczynski thrown in after all of these mathematical legends. Also, there was quite a bit more to Godel's death than simply dying "from starvation and exhaustion&quo
11.
by hope-striker 7y ago
It means that it's opaque to your ISP and other people on your network, which is at the very least useful for people using it at McDonald's or a university.
12.
by hope-striker 7y ago
Didn't most old operating systems use cooperative multitasking? I remember, at least, that classic Mac OS (i.e. pre-OSX) didn't use preemptive multitasking, either. Anyway, this SO answer[0] explains why early Linux, much like the
13.
by hope-striker 7y ago
It is already known that there is some association between intelligence and, for example, race. The underlying causes, whether they're wealth disparities, cultural attitudes toward intelligence, or genetics, don't change whether i
14.
by hope-striker 7y ago
Right, I mostly end up using Haskell's lists as an extremely ergonomic counterpart to iterators / generators in languages like Python and Rust.
15.
by hope-striker 7y ago
There are better alternatives to linked lists for this use case. 1. Clojure uses wide balanced trees as its general-purpose ordered collection.[0] These have probably already been adapted for Haskell, and they offer persistence and fast r
16.
by hope-striker 7y ago
Does this really work? I see no reason why my local "representative" would bother listening to me.
17.
by hope-striker 7y ago
> If you don't box all your closures, functional programming in Rust gets tedious quite quickly. Somewhat true, but argument position and return position impl Trait have made that slightly nicer.
18.
by hope-striker 7y ago
> The bigger problem is laziness. How is laziness implemented? A value is represented as an unevaluated thunk, a closure to compute the value. When the value is needed, the closure is run and then replaced by the resulting data. This is
19.
by hope-striker 7y ago
Really? I have no experience with Haskell's internals, but self-referential objects are fairly common in Haskell thanks to its non-strictness. The simplest one is probably the list with one element repeated forever. ones = 1:ones
20.
by hope-striker 7y ago
They are the exact same sense! The exact same idea of shadowing is also present in, for example, sentences in first order logic.
21.
by hope-striker 7y ago
Shadowing is when you have two separate variables with the same identifier . It is beyond obvious that all the x's refer to the same variable in dilap's example. Contrast that with an actual example of shadowing[0], in which it i
22.
by hope-striker 7y ago
The value in Rust does not depend on f. I will be precise. There is no definition of f such that this function will print anything other than "4". fn main() { let mut x = 4; f(x); println!("{}&
23.
by hope-striker 7y ago
You seem to be confusing mutable variables with mutable references . A name, in Python, is a mutable cell that holds a reference. Python names definitely correspond to mutable, not immutable variables in Rust.
24.
by hope-striker 7y ago
Here is the most common definition of strong typing, and below it an assertion that "Smalltalk, Perl, Ruby, Python, and Self are all strongly typed". https://en.wikipedia.org/wiki/Strong_and_weak_typing#Implic
25.
by hope-striker 7y ago
Reassignment isn't shadowing. See https://news.ycombinator.com/item?id=22444824 .
26.
by hope-striker 7y ago
It's not about whether or not it's command-line based, it's that a lot of pain can be patched over by a good IDE.
27.
by hope-striker 7y ago
They enumerate a finite set of disjoint cases, so in some sense they are an enumeration. But the real reason is, of course, that sum types can be seen a generalization of C enums, so the syntax was chosen to maximize familiarity.
28.
by hope-striker 7y ago
I guess it's comparable to Maven, but people usually use Maven with an IDE, and Stack on the command line, so that's not very encouraging. Anyway, compared to something like NPM (Node.js) or Cargo (Rust), its user experience is e
29.
by hope-striker 7y ago
But by your very comment, it only makes sense to hate the politicians! If all they care about is that they keep their jobs, then isn't trying to get the politicians fired for threatening our privacy the best way to get them to care abo
30.
by hope-striker 7y ago
I agree, it's a very strange use of the word, and I'm confused as to how it became so popular, but concerted by whom and to what end?

More ›