iso-8859-1

10 ms·

61.
by iso-8859-1 7y ago
I couldn't parse: > it’s a just so story commingling Explanations: In science and philosophy, a just-so story is an unverifiable narrative explanation for a cultural practice, a biological trait, or behavior of humans or other anima
62.
by iso-8859-1 7y ago
That discussion doesn't contain any high quality posts, why not link the actual article? http://hal2020.com/2013/02/14/winfs-integratedunified-storag...
63.
by iso-8859-1 7y ago
Declarative layouting is in fashion, which works well with scene graphs. GUI frameworks have usually been tied to inheritance-based object oriented systems.
64.
by iso-8859-1 7y ago
Needs more newlines.
65.
by iso-8859-1 7y ago
Which means, that if you flip some of those operators, it will be True... Won't make sense though.
66.
by iso-8859-1 7y ago
$ /lib64/ld-linux-x86-64.so.2 /bin/true --version true (GNU coreutils) 8.28 [...] If you run it without arguments it will tell you usage.
67.
by iso-8859-1 7y ago
I am glad Mozilla took their time, because their implementation is better than the one in Chrome. If I open https://codepen.io/rachelandrew/pen/vwMyMr in Chrome and use the scrollbar arrow buttons to scroll up fro
68.
by iso-8859-1 7y ago
It's funny how Concepts are not mentioned at all. Given that they are the C++ equivalent of type classes and a common example is the "EqualityConstraint", I can't believe there isn't some interplay. Concepts are als
69.
by iso-8859-1 7y ago
To enforce correctness, you'd need to demand proofs. I think the most common approach for this is dependent types. I think you'll have to wait another 20 years before they become mainstream.
70.
by iso-8859-1 7y ago
This is so overkill. What if I am just moving and reporting my new address? What if I am 20 years old and never had any income?
71.
by iso-8859-1 7y ago
Well, that page doesn't render correctly in Firefox, so I wouldn't say it is implemented by "browsers".
72.
by iso-8859-1 7y ago
I imagined while reading the article that SVG must be implemented using these techniques. You imply it differs. How?
73.
by iso-8859-1 7y ago
That's such a vague statement. The cost of living is way higher than Mexico City, Cairo, Mumbai or New Delhi. I know they don't have the same kind of public transport, but it just seems absurd to me to call the cost of living &quo
74.
by iso-8859-1 7y ago
If I am not online and don't use a watch tower, how is the breach remedy transaction published in time?
75.
by iso-8859-1 7y ago
It's common practise. It's how web pages commonly work for the last 15 years. Do you prefer Gopher over HTTP/HTML as well? I actually do. This page lives in some in-between universe where all users have their own client side
76.
by iso-8859-1 7y ago
Your link shows how dang doesn't doesn't like comments complaining about blog layouts. I disagree with dang. Now what? Am I expected to stop using this site because I disagree with the admin? Does this mean I will be banned if I c
77.
by iso-8859-1 7y ago
If you are not online, you can't receive or send at all (this is why I said "Another disadvantage") The channel state appears on the blockchain once either party closes the channel.
78.
by iso-8859-1 7y ago
The downside is that there is no market for watchtowers yet (so you need be online while having channels open). Another disadvantage is that if you control your key, you must be online. Like, if you run an HTTP server, you must have a machi
79.
by iso-8859-1 7y ago
Semantic is in Haskell, but since it doesn't use GHC, it cannot handle Haskell well (can't e.g. resolve type classes). If I wanted good code reviewing with Haskell, I figure it would be best to translate HIE files ( https:/&#
80.
by iso-8859-1 7y ago
How does this compare to using LSIF files? https://code.visualstudio.com/blogs/2018/12/04/rich-navigati...
81.
by iso-8859-1 7y ago
Do you realize that Wayland is a protocol and it involves a compositor (which is NOT called Wayland)?
82.
by iso-8859-1 7y ago
> How can we prevent this in the future? Software is dependent on hardware. If the hardware changes, as it did since X11 was invented, the software stack has to change too. You cannot prevent progress in technology. Xorg is in a better s
83.
by iso-8859-1 7y ago
What's the value of saving the environment? It doesn't make sense to look at just the balance sheet in matters like these. PS your website is down
84.
by iso-8859-1 7y ago
See the court records, he claims he can't do it because he distributed the key parts or something. Since it is hard to prove that someone cannot do something, yes, technically you are wrong.
85.
by iso-8859-1 7y ago
Lamdu supports switching human language on-the-fly now, good luck doing that with a text-based programming language! https://www.youtube.com/watch?v=viF1bVTOO6k
86.
by iso-8859-1 7y ago
> If the U7 went to Tegel It won't go to Tegel, but might be extended to the BER! https://www.morgenpost.de/berlin/article215847355/U-Bahn-Der... You are thinking of the U6 though (see linked article)
87.
by iso-8859-1 7y ago
> Schönefeld/BER, which is rather far out Depends where in the city you need to go to. Ostbahnhof to Schönefeld is 16 minutes with the RB 14, 17 minutes with the RE 7. A vastly better experience than the TXL bus which is often crowd
88.
by iso-8859-1 7y ago
The Raspberry Pi is so powerful, you don't feel the process isolation in practice. If Xorg is sucking too many resources, you can use KMS/DRM directly. If you insist on having no protection, you can build your code as a kernel mod
89.
by iso-8859-1 7y ago
You can prove a merge sort correct with dependent types. However, a typed implementation of merge sort will arguably be more difficult to mold into a TimSort if it isn't dependently typed. What you say?
90.
by iso-8859-1 7y ago
got-dang? Is this atheist slang?

More ›