giornogiovanna

16 ms·

31.
by giornogiovanna 7y ago
> what it means in practice. What do you mean? Do they think it's boring, or that it's too complicated, or that it's useless, or something else?
32.
by giornogiovanna 7y ago
Make is very nice, but I wouldn't call it language-agnostic. In particular, it has quite a few shortcuts for languages like C and Fortran. https://www.gnu.org/software/make/manual/html_node/Catalogue
33.
by giornogiovanna 7y ago
Yes, it's a very nice overview of Postgres data types. My only question is: if the "money" type is bad, what should we use instead? The author proposed a new "currency" type, but that doesn't exist yet. OT: I i
34.
by giornogiovanna 7y ago
I'm pretty sure that use of the word "antiproduct" is unrelated to this use. Here, the "geometric antiproduct" is defined as the dual of the "geometric product". I haven't been paying much attention,
35.
by giornogiovanna 7y ago
> inflated and full of jargon to make themselves seem important or worthy It's simply a lot harder to explain things in simple language, so I'd hesitate to ascribe such intent.
36.
by giornogiovanna 7y ago
What kinds of service jobs do you have in mind?
37.
by giornogiovanna 7y ago
The advice I've received is to just set the isolation level to serializable and stick with that until you get performance problems, which you likely won't. If you stick to that advice, I doubt you're going to get "lots o
38.
by giornogiovanna 7y ago
Yep! Most of the allocations die very young.
39.
Pollen: the book is a program(docs.racket-lang.org)
254 points by giornogiovanna 7y ago|56 comments
40.
by giornogiovanna 7y ago
What should I do in Go or C if I want a red-black tree? As far as I know, my options are: - Download one that uses interface{} / void pointers - okay, but not very efficient or type-safe. - Download one that's intrusive - okay, bu
41.
by giornogiovanna 7y ago
People have probably reinvented generics thousands of times in C, mostly using function pointers or macro hacks. Edit: And the intrusive data structures commonly used in C are way more complicated than the equivalent generic code (in my opi
42.
by giornogiovanna 7y ago
Literally everyone else uses prefix await, so this will be a problem. But, - this is a lot easier to chain, which is very useful, and - the "future expansion" might bring a prefix await anyway (although introducing two syntaxes fo
43.
by giornogiovanna 7y ago
Thanks, so lifetimes can definitely be inferred for safe code (although just like type inference, they can lead to leaky abstractions). But aren't lifetime annotations necessary for unsafe code? How could you cast a pointer into a stru
44.
by giornogiovanna 7y ago
But how would you distinguish between struct A<'a, 'b>(&'a u8, &'b u8); and struct B<'a>(&'a u8, &'a u8); without lifetime annotations?
45.
by giornogiovanna 7y ago
Do random rows get pushed from the bottom on purpose? It looks like a bug. It's still fun though. :) Edit: It's definitely on purpose.
46.
by giornogiovanna 7y ago
The introduction mentions "view propagation", which does borrow checking without annotations. Is this documented anywhere? Also, I wish more languages had homepages like the Go one[0]. It takes a lot of reading to get to the point
47.
by giornogiovanna 7y ago
The bad guy could be your evil sister on your home network. It could be anyone in your university. What if they replaced the like button under your cat photo with a like button for something evil? Or what if they put their own ads and track
48.
by giornogiovanna 7y ago
That's incredible. Flutter seems to have a modern API, a great, customizable look, and a growing ecosystem. My only concern is, what are the executable sizes and performance like?
49.
by giornogiovanna 7y ago
But then why won't Pinterest let me match whatever the advertisers are paying for my eyeballs for this year , and continue to gather data on me, just without showing me any ads? Oh, and maybe they could throw in some little inconseque
50.
by giornogiovanna 7y ago
Firstly, that's ridiculous, vegetarians are definitely a minority on HN. And secondly, that's ridiculous, the people on that website are attributing all kinds of unrelated things to a "carnivore diet". Are you seriously
51.
by giornogiovanna 8y ago
Yeah, I think they'd be better served by something like `CC BY-ND 4.0`.
52.
by giornogiovanna 8y ago
The simplest place to start, in my opinion, is [0]. If you understand that, then the fact that types are propositions and proofs are values of those types seems pretty obvious. [0]: https://en.wikipedia.org/wiki/Brouwer
53.
by giornogiovanna 8y ago
? doesn't transform anything back into a runtime error. It's explicitly saying "I don't know how to handle any errors that happen here, so give it back to the caller." The "potential unhandled errors" are
54.
by giornogiovanna 8y ago
Why is that a bad idea? I mean, if you're downloading 1GB, your file is split into 1MB chunks, and each hash is 256 bits, that's only 32KB. I doubt anyone would complain about that.
55.
by giornogiovanna 8y ago
I don't know if such a thing exists yet, but how would Java compare to a shared Electron? [ Found the issue. https://github.com/electron/electron/issues/673 ]
56.
by giornogiovanna 8y ago
Still, by your logic, every app must be translated into every language. It's okay to exclude people, especially when you're small and don't have the resources to cater for the needs of every single person.
57.
by giornogiovanna 8y ago
Isn't it more like CoffeeScript and JavaScript than C and Assembly? I mean, if Assembly was more portable than C, better standardized, and adopted on most of the features in C, to the point where it was basically just a somewhat uglier
58.
by giornogiovanna 8y ago
Yes, they're effectively the same, but one is slightly more ergonomic, and the other saves you 30KB (which isn't much, in my opinion) and the pain of managing yet another dependency.
59.
by giornogiovanna 8y ago
The limit definition of differentiation is definitely intuitive, but epsilon-delta refers to the most common definition of what it means to take a limit. It's also simple, because when you say it in words it makes perfect sense, but it
60.
by giornogiovanna 8y ago
Sorry for my ignorance, but what JSON craze?

More ›