Apps on your tiny computer are engineered to get you hooked. The time that you spend on it is time that you cannot spend making and cultivating face-to-face friendships.
As far as I can tell, friendships are necessary for mental health. So those apps have a negative effect on your mental health.
In principle, they could also have a positive effect that counterbalances the negative. But in my personal experience, that's dubious.
@dang Could I ask why this topic gets systematically penalized in the HN ranking? There have been 15 submissions so far, I assume partly because previous submissions are not shown on the main page so HN users keep re-submitting it. This topic is both newsworthy and high interest.
(I was going to link to the 14 other submissions but the list is too long and it'd just come across as obnoxious.)
It seems like it’s not only function overloading (which, as you point out, Haskell does too by way of typeclasses) but also the implicit conversion between Int and Double. OCaml, Haskell, and Rust all require you to convert between them explicitly so they don’t need to figure out whether each 1 in the expression is an Int or a Double.
Am I seeing this correctly? Is HM + polymorphic literals + implicit type conversion the cause of Swift’s exploding compile time in such cases?
That’s an Xwayland thing. If your Obsidian has no Wayland support, it will be blurry with any distro. It looks like newer versions use a newer version of Electron that supports Wayland:
Emacs doesn’t have to be the most popular editor in order to find contributors. It is under active development and I don’t see signs that it would be left behind anytime soon.
> say, by clicking on the display itself, clicking "Menu -> Layout -> Options" selecting the layout we want, and seeing it displayed immediately
Maybe I am misunderstanding what you are saying. Isn’t this the same as LibreOffice Writer and Microsoft Word? What is the existing problem that such an interface would solve?
> if your hedgefund trading software runs 1% faster
Jane Street has used OCaml for about 20 years.
Last year, OCaml merged an improvement to its GC that reduced latency by 75% (by one measure), and reduced execution time by 23% when compiling OCaml and around 6 to 7% when compiling Coq libraries:
I think what I got confused by is the idea that a proposal that is “popular with the market” is popular because it reduces inequality and not because it has good financial returns.
Take the inequality example that you mention. Reducing inequality might require large government spending, like free higher education, or extensive government-provided healthcare. This requires funding which pushes up interest rates.
Someone in the prediction market might agree that free higher education reduces inequality but might also think that it will increase the government’s cost of financing its spending. The latter is what usually gives politicians trouble with financial markets. How would a prediction market resolve this issue?
This is an interesting idea. Although if anyone has enough money to single-handedly move the market price, it devolves into a dictatorship of that person.
As far as I can tell, friendships are necessary for mental health. So those apps have a negative effect on your mental health.
In principle, they could also have a positive effect that counterbalances the negative. But in my personal experience, that's dubious.