neolog

39 ms·

331.
by neolog 5y ago
Could you explain the significance of the distinction you're making?
332.
by neolog 5y ago
> The checking of the type happens at runtime. Mypy checks the type before runtime, just like GHC does. Python also checks during runtime, but Haskell doesn't have that feature. Right? > This is major reason why languages like Py
333.
by neolog 5y ago
Sure, I'm just saying that Mypy is a real type checker. The distinction is one of degree, not of kind. Writing a spec for Mypy wouldn't make its types more "true", just as deleting Haskell's spec wouldn't make
334.
by neolog 5y ago
> I believe GP means that they are not checked at runtime. Haskell types aren't checked at runtime either, so that can't be it. Python has runtime type checks that do happen at runtime, so maybe it's Haskell that doesn&#x2
335.
by neolog 5y ago
> The thing with Python types is that they are “type hints” and not true types Python has several type checkers, as does Haskell, each with different soundness properties. What makes GHC's type checking more "true" than My
336.
by neolog 5y ago
I'm curious if tank man posts got flagged an unusual amount of times?
337.
by neolog 5y ago
What do you think consent means?
338.
by neolog 5y ago
> I don't understand why this innovation doesn't get more love. It's been in the Prius since 2003.
339.
by neolog 5y ago
TIL
340.
by neolog 5y ago
> An Evaluation of Location Encoding Systems https://github.com/google/open-location-code/wiki/Evaluation...
341.
by neolog 5y ago
Those numbers are so big, I'm curious what your use case is for them.
342.
by neolog 5y ago
My receiver doesn't know how to turn on the TV.
343.
by neolog 5y ago
GP is saying disregard for the population's interests (plural "you") is equivalent to intending to harm many individual "you"s.
344.
by neolog 5y ago
> Logitech Just Killed the Universal Remote Control Industry https://mattstoller.substack.com/p/why-logitech-just-killed-...
345.
by neolog 5y ago
After the profile is built, there is only one link that needs to be changed to activate it, so it's atomic.
346.
by neolog 5y ago
> LoUD pIpEs sAvE LiVeS (they don't) Where can I learn about this?
347.
by neolog 5y ago
https://en.wikipedia.org/wiki/List_of_journalists_killed_in_...
348.
by neolog 5y ago
> Wikipedia has already been bleeding editors for a long time Where can I learn about this?
349.
by neolog 5y ago
Why is that called non-euclidean?
350.
by neolog 5y ago
maybe because of https://longnow.org/
351.
by neolog 5y ago
https://en.wikipedia.org/wiki/Loitering_munition
352.
by neolog 5y ago
Do you know other people who agree with your last sentence? I'm curious how widespread this view is.
353.
by neolog 5y ago
> It was marketed as vitamin water because it does focus on providing additional vitamins. water + vitamins = vitamin water. But that's not what this is. So it's a misleading name. People shouldn't have to be educated in o
354.
by neolog 5y ago
Note this works only if the audience actually does the homework in advance. I heard Amazon has people do the reading at the start of the meeting?
355.
by neolog 5y ago
Ouch. Did you find a good investor eventually?
356.
by neolog 5y ago
Isn't it the writer's job to make the connection?
357.
by neolog 5y ago
Dang, Why is there a total upvote count for users? I think it makes me focus excessively on social status -- after all, it's right next to my name. What would you think about removing it?
358.
by neolog 5y ago
What are the risks that the biggest Matrix servers get acquired by hostile entities like happened to freenode?
359.
by neolog 5y ago
Off to Libera, the new home of the freenode community. https://libera.chat/news/welcome-to-libera-chat
360.
by neolog 5y ago
This covers most of the listed features. https://github.com/Aloxaf/fzf-tab

More ›