jinwoo68

7 ms·

31.
by jinwoo68 2y ago
Standard Chartered also uses their variation of Haskell.
32.
by jinwoo68 2y ago
I'm not sure what you mean with "an exponentially-complex primitive". In my opinion, Prolog lets you start with simple relations (n-squared, using your terms) and then enables you to build more complex relations using them.
33.
by jinwoo68 2y ago
It's not very convincing to me when the article talks about truly relational language but fails to mention Prolog and anything that we learned from it.
34.
by jinwoo68 2y ago
> With scientifically validated sensing capabilities, ... What does scientifically validating mean here? In my opinion, that just makes this article sound like marketing.
35.
by jinwoo68 2y ago
They don't even mention the Eiffel language [1] while writing about Design by Contract? [1] https://en.wikipedia.org/wiki/Eiffel_(programming_language)
36.
by jinwoo68 2y ago
That's essentially what Knuth did before he started writing The Art of Computer Programming -- build a publishing software, TeX.
37.
by jinwoo68 2y ago
OCaml? It has an advanced type system but you almost never have to annotate types in your code. So it feels like writing in a dynamic language, like Python.
38.
by jinwoo68 2y ago
Seems to be in the same tradition as GNU being "GNU is Not Unix".
39.
by jinwoo68 2y ago
I recently started to use Hanson razor [1]. I never cut myself since. It feels like a modern disposable razor. I strongly recommend. [1] https://hensonshaving.com/
40.
by jinwoo68 2y ago
The similarity I noticed was the fact that in the Fourier transform, when the time domain graph is focused in a small time range, its frequency domain graph is spread out in a wide frequency range, and vice versa, like the position and the
41.
by jinwoo68 2y ago
When I learned the Uncertainty Principle, I noticed its similarity with the characteristics of the Fourier transform, but couldn't understand why. This paper says: > In quantum mechanics, the wave function of position is the Fourier
42.
by jinwoo68 2y ago
I can imagine a series of events at MS like below (A pure imagination): 1. A new UX head is hired and looks for something that will make them look important. 2. Initiate a usability research across all the features in the Windows UI. 3. Mak
43.
by jinwoo68 2y ago
(2021)?
44.
by jinwoo68 3y ago
Their GitHub repo seems still active though: https://github.com/ecere/ecere-sdk/
45.
by jinwoo68 3y ago
The article mentions Korean but vertical writing is not used at all in Korea. It went out of fashion many decades ago. I'm not sure why safari decided to add this feature...
46.
by jinwoo68 3y ago
It might be just that he uses Emacs for writing emails. Emacs uses double space after periods by default.
47.
by jinwoo68 3y ago
Prolog is based on "unification" in large part, which can be considered advanced pattern matching.
48.
by jinwoo68 3y ago
He was joking, I believe.
49.
by jinwoo68 3y ago
See https://github.com/rabbibotton/clog .
50.
by jinwoo68 3y ago
I don't think the bottom-up model denies the importance of the top-down architecture. In practice, you have pressures from both sides. You need to explore what's possible at the bottom but also respect what's required from th
51.
by jinwoo68 3y ago
I don't think what the author says is the intent of the code. isNaN() returns true not just for NaN but for anything that is "not a number"[1]. For example, it returns true for things like "hello". So it just canoni
52.
by jinwoo68 3y ago
Korea once allowed people to report a certain kind of traffic violations. It caused a lot of abuses. Paparazzi style stuff... Intentionally making other drivers violate traffic rules... etc.
53.
by jinwoo68 3y ago
Hey. Book titles are how you represent your book with a limited number of words. They don't always have to be accurate. I think it's pretty spot on.
54.
by jinwoo68 3y ago
It feels so natural because yin and yang are not two separate things but two sides of the same thing, just like two entangled particles are.
55.
by jinwoo68 3y ago
I think you're basically correct. But wasm isn't tightly coupled with a single programming language, like Java did. Of course, other languages can target JVM too, but there's not much momentum there. With wasm, we have many d
56.
by jinwoo68 3y ago
At least for Korean, it was right to left only when written top to bottom. Then it changed to left to right. It's never been right to left horizontally. I think it's the same with Chinese. I'm not sure about Japanese.
57.
by jinwoo68 3y ago
Close. But 드시게 is not correct in that place because its an honorific form given to yourself when you're trying to honor the other person. And I'd rather use 감히 instead of 겸손히, which can be roughly translated into "dare to&quo
58.
by jinwoo68 4y ago
My understanding is that when particles are entangled with each other, they must be described together with one wave function rather than one wave function for each of them. So once you measure particle A, the wave function collapses both f
59.
by jinwoo68 4y ago
Measuring spin up of particle A is NOT a cause of measuring spin down of its entangled particle B.
60.
by jinwoo68 4y ago
Kernighan & Ritchie: https://www.amazon.com/Programming-Language-2nd-Brian-Kernig...

More ›