Y
HN Search
Hacker News Search
new
|
comments
|
top
|
jobs
brmgb
searching PlanetScale…
1.
▲
2.
▲
3.
▲
4.
▲
5.
▲
6.
▲
32 ms
·
391.
▲
by
brmgb
6y ago
Not having RAID 5 and 6 is not ideal, yes. Then again, I will hasard than most potential users, including home NAS users, have at most two HDD. Btrfs also has some advantages for personal use when you compare it to ZFS: it supports combinin
392.
▲
by
brmgb
6y ago
> it proved its unreliability too many times over the years, and working on it feels like throwing good money after bad. Btrfs has been working fine for years and is used largely at Facebook. RAID 5 and RAID 6 are still unstable (and ma
393.
▲
by
brmgb
6y ago
Well, it is fairly common knowledge that US universities are not worth the price they charge for undergraduate education if you are not in a position allowing you to network heavily. They are very good (and by that I mean very rich) for res
394.
▲
by
brmgb
6y ago
> But absolutely none of this has anything to do with #000 being "too black" that's "not natural". That's just utter nonsense. It would be if that point was made anywhere in the article. Thankfully, it'
395.
▲
by
brmgb
6y ago
> Besides, if you allowed more stores, nothing’s going to get cheaper for the customer If you allowed more stores, they would have to actually compete to attract customers and prices are a fairly common way to do that. It's exactly
396.
▲
by
brmgb
6y ago
> Which seems to contradict what the article says, since the article suggests anyone who registered my `firstnamelastname@gmail.com` would own mine. It doesn't. firstnamelastname@gmail.com is also your address. Nobody could have re
397.
▲
by
brmgb
6y ago
But why would you be doing a bunch of category theory stuff while writing softwares ? Local open with let+ and let* make writing monadic and applicative code very easy when needed. Anything more abstract than that is over complex abstractio
398.
▲
by
brmgb
6y ago
> You seem to have invented some sort of persecution scenario that I'm pretty sure doesn't exist. It's not persecution. It's just that recently you can't have a discussion about OCaml without having an Haskell de
399.
▲
by
brmgb
6y ago
> For example, you could have two logging modules: one that logs to stdout the other that logs json to elasticsearch. Simply change an import, and the logging behavior of your entire app changes. But you can already do that with parametr
400.
▲
by
brmgb
6y ago
> I've said this before and I'll say it again, modular implicits would be a game changer for OCaml. That would be the second time we disagree about that on HN but I still fail to see how modular implicits are supposed to be gam
401.
▲
by
brmgb
6y ago
I see the Haskell community offensive on OCaml is still going strong. Having worked with both, I really like using OCaml but avoid Haskell like the plague. Being lazy by default makes it very difficult to reason about Haskell performance re
402.
▲
by
brmgb
6y ago
> It's harder to do generic polymorphism in OCaml since the language has nothing like C++'s parametric templates or Haskell's type classes. It does have a very nice module system that has the required flexibility, but comp
403.
▲
by
brmgb
6y ago
JaneStreet is not the only user of OCaml. Both INRIA and the CEA uses OCaml heavily (Coq, CompCert, Frama-C). Cambridge uses it for MirageOS, Facebook to write software analysers and now web applications (the web version of Facebook Messeng
404.
▲
by
brmgb
6y ago
> It was a perfectly good asynchronous discussion after that. Yes but if someone asks you if you are there, they most likely want an actual conversation. It's the closest you can get to ringing your phone or droping by your office t
405.
▲
by
brmgb
6y ago
> Due to the way iOS works (dynamic dispatch) private APIs can only be prevented through an App Store review process. That's complete nonsense. Dynamic dispatch has nothing to do with the ability or not of a program to access API. D
406.
▲
by
brmgb
6y ago
You are intentionally muddying the water by bringing code signing (a technicality) and devices for which software distribution was never part of the economics. Nevertheless, yes, I think making ebook readers tied to a single store illegal w
407.
▲
by
brmgb
6y ago
> Do you think that Google, Microsoft, and Sony are also hostile and tone-deaf, then? Yes, they are all trying very hard to get regulated. The situation is not particularly far from the one that gave rise to the Sherman Act. Provided the
408.
▲
by
brmgb
6y ago
> The App Store's exclusivity is precisely the same as that of nearly every video game console. I don't understand why you keep bringing up video game consoles in this discussion. 1. You seem to believe people actually agree wi
409.
▲
by
brmgb
6y ago
There isn't much to fragment to be honest. From what I have seen, there seems to be little buy-in for Reason in the Ocaml community which is not particularly surprising considering it's supposed to solve a pain point no one in the
410.
▲
by
brmgb
6y ago
> the idea of "type-level" programming isn't really a thing in the OCaml community. > I'm very familar with the OCaml module system These two statements don't seem compatible to me. > functors are a poor su
411.
▲
by
brmgb
6y ago
F# literally started as a Caml port to .Net by Don Syme. It's hard to be more derivative than that. It's right there in the historical acknowledgements part of the F# website [1]. [1] https://www.microsoft.com/en-u
412.
▲
by
brmgb
6y ago
From your post, I gather you are not very familiar with Ocaml module system. It's both where type-level programming happens and what F# doesn't have. You might be confusing your lack of knowledge of the languages with lack of the
413.
▲
by
brmgb
6y ago
Come on, everyone knows the old trick of using paid shipments to pretend Microsoft have a large share of the server market. It conveniently discounts all these free installations of Linux.
414.
▲
by
brmgb
6y ago
> we build them so we don't have to use them No, we build them so that we are credible when we threaten, can riposte if we are attacked, are less tempting as a bullying target and win when we wage wars (which we sadly still very muc
415.
▲
by
brmgb
6y ago
> the MIL complex - Our products only kill and maim baddies. Besides, we build them so we don't have to use them. Approximately no one thinks that in the military industrial complex. People are not dumb. They know what they are buil
416.
▲
by
brmgb
6y ago
It's a hand-made design object sold for a high price. That's a luxury good. They don't need to scale. The limited availability is part of what they sell. It's a niche market. Sure, it won't make you a billionaire as
417.
▲
by
brmgb
6y ago
> - ∀x,y ∈ X with x ≠ y, ∃U,V ⊂ X s.t. x ∈ U, y ∈ V and U ∩ V = ∅. Amusingly and to go in the direction of your argument, this is not a very rigorous definition of a Hausdorff space. You should introduce the topology τ associated with X
418.
▲
by
brmgb
6y ago
> Preliminary data is pointing toward covid immunity lasting for only a few months. As far as I know, that's not true at all. A King's College study has shown that the level of B cells in former patients blood declinened quickl
419.
▲
by
brmgb
6y ago
There is no such thing as a "European culture". The European Union is a loosely bound groups of countries with different languages and cultures tied together by varying degrees of relationship and exchanges throughout their histor
420.
▲
by
brmgb
6y ago
Is there an expert who could explain what's novel here ? The layman summary seems to imply specialists are surprised that people judge distance differently which seem crazy to me. I mean we have known for decades that vision is the res
More ›