_dain_

27 ms·

331.
by _dain_ 3y ago
>inb4 pitchfork raising amongst the anti-car rabble I don't know why you think anti-car people would raise pitchforks at that. In fact this was my criticism of the proposal when I lived in Wales; there seemed to be little attempt
332.
by _dain_ 3y ago
backlinks, or "see also"
333.
by _dain_ 3y ago
>Hydro is green, renewable energy with solid baseline capacity. It's also the most dangerous, by an absurd margin. Dam collapses have killed more people than every other power generation source combined. https://en.wiki
334.
by _dain_ 3y ago
why should anyone spend a single second of their lives thinking about this?
335.
by _dain_ 3y ago
that would be an improvement.
336.
by _dain_ 3y ago
Imagine how many people must have been unjustly accused of not RTFMing because of this bug. Maddening. It's preposterous that we have to resort to such primitive text search methods just to find the information for command line argumen
337.
by _dain_ 3y ago
https://based.cooking/
338.
by _dain_ 3y ago
have you verified that the country of belgium exists? have you ever been there?
339.
by _dain_ 3y ago
Microsoft deliberately named it "C:\Program Files" for exactly this reason.
340.
by _dain_ 3y ago
Some banks, especially newer ones, don't even have a browser version. Or they do, but they require you to use the app for 2FA.
341.
by _dain_ 3y ago
If you're not formatting a numerical date in the user's preferred date format then you're probably not localizing the month name to the user's language either. How would 2012 ноябрь 12 feel to you?
342.
by _dain_ 3y ago
The T makes it hard to visually parse. Whenever I try to read a timestamp using the T I have to scan it very carefully to see the date-time boundary. It'sWasWifWweWusedWaW"W"WtoWdenoteWwordWboundaries. I beg you people, use a
343.
by _dain_ 3y ago
Never programmed with Wayland (or X) before but this doesn't look so terrible. Let's say I want to do something only slightly more complicated than this article, e.g. have a few static rectangles on the screen showing images and t
344.
by _dain_ 3y ago
>Should we take this to mean that pedestrians may enter the flow of traffic willy nilly and drivers will always be found at fault in a collision? I assume not. Pedestrians may enter the flow of traffic whenever they like, and the law w
345.
by _dain_ 3y ago
Pedestrians have to ask to cross the road by pressing a button, so that the usual signal cycle for cars is interrupted, to let them cross. Cars don't have to ask. That means the crossing inherently prioritizes cars, and pedestrians are
346.
by _dain_ 3y ago
This is not how it works in the UK. There is no such thing as "right of way" on a road in the way you have described it. It does not refer to any kind of legal priority of one kind of road user over another. You will sometimes hea
347.
by _dain_ 3y ago
>The rule of thumb I have seen is that anything under 100ms is perceived as instantaneous by a user. for typing characters into a text box this is not imperceptible. it should happen in a single frame.
348.
by _dain_ 3y ago
>It is like going back to insisting you can and should be absolutely safe from HIV by making certain lifestyle choices. In the '80s we knew that the answer was being safer, not being safe. This is a singularly bad analogy. HIV use
349.
by _dain_ 3y ago
>Because type errors in unit tested code are basically non existent. this is short-sighted. I am not talking about trivial string-instead-of-an-integer errors here. powerful type systems let you encode far more sophisticated constrain
350.
by _dain_ 3y ago
>And then most of those "type" errors would be errors that no reasonable type system would have a chance of catching - like keys missing from associative arrays. what? in a language with ADTs and exhaustiveness checking, acce
351.
by _dain_ 3y ago
>You are assuming type errors are caught by tests explicitly written to detect them, as opposed to being found by other kinds of tests. I am not assuming that. honest question: what language do you have in mind when you think "sta
352.
by _dain_ 3y ago
The comment you're replying to is criticizing dynamic typing here, not static typing.
353.
by _dain_ 3y ago
I like type systems as much as anyone but I can't see how your type system will check that sin(pi) == 0 if you have a type system expressive enough to do things like that, you've basically got another turing-complete layer on top
354.
by _dain_ 3y ago
you can't ensure that you hit every possible case in your test suite. type errors can still slip through in production, just like logic bugs do. it happens all the time in real-life code. that "adequately" is a no-true-scotsm
355.
by _dain_ 3y ago
why can't I write it in a statically-typed language and also write end-to-end tests? also it's pretty ridiculous to say "static type systems are handholding" and then say the remedy is to write your code with AI ..
356.
by _dain_ 3y ago
idk about the others but much of Guido's development energies the past few years have been spent building Python's gradual static typing system.
357.
by _dain_ 3y ago
Some people can, but it's not common. For me the image isn't stable or detailed enough. I imagine it would get better with practice.
358.
by _dain_ 3y ago
I had a visceral negative reaction to the idea that computers should be presumed to be working correctly, but I was having trouble articulating in precise words what was wrong with it. I mean, obviously we get work done with use computers e
359.
by _dain_ 3y ago
>unrelated to traffic [doubt]
360.
by _dain_ 3y ago
well where is your mental imagery? can you not do it with your eyes open?

More ›