wyager

64 ms·

901.
by wyager 4y ago
> If your gun shows up in a crime, you get indicted as well. This is A) obviously nonsense B) does not incentivize any positive behavioral changes C) equivalent to banning re-selling your guns. We already have the ability to prosecute p
902.
by wyager 4y ago
> But now they're saying that owning guns makes them a target for crime? They're saying that the government leaking their personal information makes them a target for crime. Is this comment a joke? I'm having trouble bel
903.
by wyager 4y ago
> I'm not sure if they produce better software I will say that of the very few pieces of software I actually actively like (as opposed to begrudgingly tolerate), most are either written in Haskell or C. C software includes openSSH,
904.
by wyager 4y ago
A nice thing about optics is that they are strongly typed enough that it's pretty hard to make them do the "wrong" thing. The type errors can be confusing (because the underlying types are rich), but I've rarely/nev
905.
by wyager 4y ago
For (typed) optics to work well you need HKTs and universal quantification over those types, which rules out many of the languages you listed. Haskell and PureScript should be fine. I don't see how it would work in TS, scala, ocaml. Li
906.
by wyager 4y ago
I certainly did!
907.
by wyager 4y ago
If software engineering was available as a monastic vocation, we'd probably have a lot of significantly higher-quality software available. I would much rather use something written by a stylite with an esolang compiler than shat out by
908.
by wyager 4y ago
Ikea uses zigbee. Better for this purpose than wifi or BT (but sadly not much).
909.
by wyager 4y ago
> just with a heavier syntax. Ok, I'm glad we agree on that. > I can see how writing Eta reduction is one example, but a great deal of code is cleanly expressed as e.g. vecLen = sum . map (^2) And ocaml's type syste
910.
by wyager 4y ago
I don't really consider those separate things. Bounded polymorphism is parametric polymorphism, plus a type subset relationship. A quick sanity check on wikipedia is consistent with this model. BP is PP plus what's required to m
911.
by wyager 4y ago
I can imagine several strategies compatible with western and near-eastern jurisprudence, such as considering parents to be (temporary) trustees with certain fiduciary duties to their children. I'm by no means an expert in propertarian
912.
by wyager 4y ago
My original comment is not addressed at people like you; sorry if that was not clear. You don't appear to be claiming to have a property ethic, and are instead using various ad-hoc lines of reasoning (e.g. what strikes you as qualitati
913.
by wyager 4y ago
> they only matter with GADTs and local modules Local modules (assuming this means e.g. a module passed in as a function argument, constrained to have one of its types match the type of another argument) are how you write non-trivial pol
914.
by wyager 4y ago
It's not that space leaks are not a concern; it's that it's actually quite easy to avoid creating them, and if you manage to do so and it becomes a problem, it's usually easy to track down. I don't know any experien
915.
by wyager 4y ago
> but it would take a lot of careful evaluation This is what I was doing for a number of years. > The most salient counterexample that comes to mind is modularity and namespacing. Polymorphic variants and ocaml namespacing are nice, g
916.
by wyager 4y ago
You're failing the "consistent propertarian" test hard
917.
by wyager 4y ago
People fixate on this, and all I can say is * it has never been an issue for me * I don't think the performance implications are nearly as hard to understand as often implied * in the extreme you can just enable the STRICT language pra
918.
by wyager 4y ago
I wrote up a bunch of grievance examples for a blog post I never got around to publishing, but I'm traveling at the moment so can't pull up my laptop. I'll see if I can find them later. > The syntax for annotation for poly
919.
by wyager 4y ago
There is definitely an autistically propertarian argument in favor of abortion, which I personally consider fairly compelling, but 99.9% of people are not nearly as propertarian as I am, and I'm not willing to give people a pass to use
920.
by wyager 4y ago
Logos are for people who are insecure about status. Next level up involves partial counter-signaling by avoiding logos entirely. There are many layers of status displays. I think SSC's analysis of fashion as cellular automata is the mo
921.
by wyager 4y ago
> OCaml does not require more annotations than Haskell for polymorphic functions? A) I am fairly confident this is not actually true in a technical sense, although it's been several years since I've thought about it B) In any c
922.
by wyager 4y ago
Strong disagree; I have thousands of hours with both and I would essentially never recommend ocaml over haskell unless your company already has an ocaml codebase/ocaml expert employees. I'm very conscious of the existence of paret
923.
by wyager 4y ago
That's one aspect of it. The ergonomics are dogshit. I remember having to use explicit quantification all the time when writing polymorphic library code. Also, without typeclasses, polymorphism is super inconvenient, to the point where
924.
by wyager 4y ago
There are many similar warts in the ocaml type system. Parametric polymorphism in ocaml sucks as well. If you haven't tried haskell, you probably should. Its type system is much cleaner (and more powerful, if you want) than ocaml&#x27
925.
by wyager 4y ago
Using centralized shitcoin casinos, why would you expect to take advantage of the "promises of crypto"?
926.
by wyager 4y ago
You need to acquire rights for copy/pasting my code and selling it in a book, for example.
927.
by wyager 4y ago
They intentionally opted in to sharing their work with you in a certain way. If someone copy pasted stack overflow answers and made them into a book, which they sold for money, that would be wrong.
928.
by wyager 4y ago
That seems crazy to me. Word produces such ugly documents (poor line breaks, poor kerning, poor quality rendering, etc.). I would never publish something formatted in word just on an aesthetic basis, not to mention the downsides of using a
929.
by wyager 4y ago
Thanks, that is all very coherent. I would like to read your version of the article :)
930.
by wyager 4y ago
Which comment are you referring to? I can't find it. Whoever it is is wrong though; fuji stuff works better than anything else I've tried, except for dedicated cine cameras.

More ›