creata

79 ms·

961.
by creata 6y ago
Which one's figure 4? They're not numbered. Also, can you point out what my misunderstanding is? That'd help a lot.
962.
by creata 6y ago
Sorry, I totally misinterpreted your comment before you edited it. I still don't understand a few things though. > Profession like engineering, arts, temple building, city planning were all done by the 4th class. What's the use
963.
by creata 6y ago
What stresses do you have in mind? (I'm a third-year right now and I've had nothing to stress about and nothing to do. I just read HN and developer blogs all day. I'd definitely hesitate to say I'm an adult.)
964.
by creata 6y ago
If the employer chose them to manage, then the employer found them to be qualified. I doubt that your silly ideas on racial profiling would improve their hiring process. Ironically, you, with your wish that foreigners would just be straight
965.
by creata 6y ago
Please don't assume motives for downvotes, it's a fruitless endeavor that only makes you look bitter. You were not "merely stating the origins of [the] caste system." You justified it, by stating that "all mature
966.
by creata 6y ago
* So is it appropriate to say that in linear types a callee says "I will use this exactly once", and in uniqueness types a callee says "I need exclusive access to this"? * Is there an obvious way to translate from one to
967.
by creata 6y ago
Many distributions (Ubuntu, etc.) treat GTK as the platform's native GUI toolkit, at least in terms of customization and accessibility features. And, from what I've read on @raphlinus' blog, one of the goals is to integrate w
968.
by creata 6y ago
Are you sure that minimalism is a design principle of Zig's, and not just the current state of the project? @andrewrk's comments at https://github.com/ziglang/zig/issues/130 lead me to believe that
969.
by creata 6y ago
Yeah, I guess I overreacted to the verbosity — it's definitely a huge improvement over the current state of Java. But is there a reason not to add NonNull annotations to the fields of type Expr?
970.
by creata 6y ago
> With generics added 15 years ago, In my experience, Java's generics were horribly confusing and not quite type-safe, in contrast to the dead-simple polymorphism in Haskell. But feel free to correct me here. > ADTs and pattern-m
971.
by creata 6y ago
Sure, type inference isn't always better, but it's usually clearer — I almost always already know the type of the thing, so explicit types are just noise — and languages with inference still let you write let me: Person
972.
by creata 6y ago
> Without the annotations, you can't look at code and know what is going on. In Rust, type inference is only inside the function, which I think gets you the best of both worlds. > In addition to that, you get the pain in the ass
973.
by creata 6y ago
That's the same as tying the consequences a person faces for a crime to their wealth (given how predictable the severity of these "2nd order consequences" are!) and that is, to me, terribly unjust.
974.
by creata 6y ago
Well no, the punishment should fit the crime. It's just that punishing a poor person by taking $1000 could kill them, and punishing a rich person by taking $1000 is barely even a punishment.
975.
by creata 6y ago
In the vaguest sense, sure. But if a file is a list of lines, this "ambiguous file" is a digraph of lines. If a file is instead a tree of strings, what does an "ambiguous file" look like? See this paper which was the sou
976.
by creata 6y ago
You say Pijul's pushouts are unrelated, but their construction depends on a very line-centric definition of patches. Wouldn't it need to be made more complex to accomodate tree patches?
977.
by creata 6y ago
> The biggest programs ever verified "end-to-end" were ~10KLOC, or 1/5 the size of jQuery, and required years of work by world experts. Out of curiosity, what programs are you referring to? seL4 seems to fit the descriptio
978.
by creata 6y ago
The unit of change in Pijul is also a file, which is a finite sequence of lines, generalized to a finite directed graph of lines to deal with conflicts. The idea of a patch-based VCS is as old as the idea of a VCS. Pijul's theory of
979.
by creata 6y ago
You can find an explanation of how it works at [0]. The vague notion of "patch commutation" is central to both operational CRDTs and Pijul's theory of patches, but other than that, I don't really see any similarities. [0
980.
by creata 6y ago
I understand that conflicts are inevitable, but wouldn't tree-diffing at least be an improvement over line-diffing? I recall that Pijul's theory of generalized files (arbitrary digraphs of lines IIRC) is already fairly complicated
981.
by creata 6y ago
I think that's fair to say for Linux, since it aims for syscall compatibility, but I don't think that's true for Windows or macOS, where (unless I'm mistaken) your only options are to use libc (or an equivalent) or to co
982.
by creata 6y ago
I doubt I can convince you, but yes , no cancer patient should have to beg for their treatment. And yes , I think it is good that the government takes money from its people to that end. The alternative is that the rich people decide who l
983.
by creata 6y ago
If you don't mind, what are your grievances with Rust's borrow checker, and do you have any ideas on how it could be improved, or any alternative implementations of the idea of "ownership" and "borrowing" that
984.
by creata 6y ago
1. That's not a lot. 2. It's a forum, not everything has to be a direct response. 3. Either way, this was a direct response: CPython does not have a JIT because there's little reason for it to have a JIT, and many good reas
985.
by creata 6y ago
What other means are you referring to here? Arenas are all that comes to mind.
986.
by creata 6y ago
Why should CPython have a JIT? A good JIT is hard to write, and harder to retrofit. It usually increases startup times, attack surface, and code complexity. Besides, Python already has a handful of JIT-based implementations, and I don'
987.
by creata 6y ago
I think I've worded things very poorly. In Rust, the functions Result::and_then, Result::map, Option::and_then, Option::map, etc. are pretty much all saying the exact same thing, but they need to be reimplemented over and over again. W
988.
by creata 6y ago
> There is an underlying connection between Freedom of Speech and Freedom of Software Freedom of speech includes the freedom to call for your boss to quit, for any reason at all. > If we can't talk about and rationally discuss id
989.
How to implement type theory in an hour(vimeo.com)
2 points by creata 6y ago|0 comments
990.
by creata 6y ago
> Haskell is a bit weird from a Category theory standpoint (currying isn't that natural, and is in fact a deeply abstract property that only some categories have). Care to expand? As far as I know, the main "weird" thing a

More ›