svat

113 ms·

931.
by svat 7y ago
Now for the flip side. IMO the post also contains "enough rope" to hang static typing with. The picture that emerges is that programming in a statically typed language, as the author conceives it, consists of separate phases of &q
932.
by svat 7y ago
After giving it enough time and rereading, I feel I have a better understanding. The crux IMO is here: > The above JavaScript code makes all the same assumptions our Haskell code does: it assumes event payloads are JSON objects with an
933.
by svat 7y ago
Six notable things I took away from this post: - Structural typing, i.e. instead of "you eagerly write a schema for the whole universe", just limit to what you need (basically, encode only the same kinds of assumptions you would m
934.
by svat 7y ago
> "Writing is Nature's way of showing you how sloppy your thinking is" Also: • "You write to find out what you believe… When I write, things occur to me. It's a way of thinking. But you can perform your thinking
935.
by svat 7y ago
See also (with no overlap in authors): The case for medical nihilism and “gentle medicine” (Richard Smith's review of book by Jacob Stegenga): https://blogs.bmj.com/bmj/2018/06/04/richard-smith-the-c
936.
by svat 7y ago
More precisely, all well-defined computable functions are continuous. For another exposition of the same (or similar) results, see also Dan Piponi's post from 2008 "What does topology have to do with computability?" at http:
937.
by svat 7y ago
Also: https://news.ycombinator.com/item?id=19303082 -- a survey of Google engineers on what they like and dislike about this.
938.
by svat 7y ago
He is still actively publishing! TAOCP Vol 4 Fascicle 5 (which is going to be the first one-third of Volume 4B) came out less than a month ago, and it contains a lot of material and ideas that have never been published anywhere before. To
939.
by svat 7y ago
Yes your data is purged when you delete it from your activity ( https://myactivity.google.com/ ) (not instantly because there are many systems involved, but within a strict deadline). This is taken seriously, and there are te
940.
by svat 7y ago
Actually this is only partly true. Here's a compressed timeline of books and other works of Knuth: 1962: Starts writing TAOCP. 1968, 1969, 1973: Volume 1, 1st edition. 1969: Volume 2, 1st edition. 1973: Volume 3, 1st edition. 1974: Tur
941.
by svat 7y ago
http://scholars-stage.blogspot.com/2019/10/a-non-western-can... -- A Non-Western Canon (along with some words on Harold Bloom)
942.
by svat 7y ago
> a comparison of TAOCP and CLRS The two are hard to compare, IMO, because their approaches and intended audience are different. CLRS is an undergraduate/graduate textbook on algorithms, where the authors have selected a broad range
943.
by svat 7y ago
TeX is not a "language"; it's just a tool for typesetting when you want to go the last mile of achieving book-quality printing. The fact that it turns out to be possible to (ab)use its macros (originally designed merely to sa
944.
by svat 7y ago
Every single one of them seems to be a case of Google Books misunderstanding the date of a publication -- in some cases, because several volumes have been bound together into a single physical book, and Google Books is showing the earliest
945.
by svat 7y ago
See also the paper by Knuth and his student Luis Trabb Pardo, "The Early Development of Programming Languages" (1976) -- its long story ends in 1957, the year this speculation is about. There's a typewritten version availab
946.
by svat 7y ago
Exactly this issue of "you're free to make changes but please don't use the same name" keeps cropping up again and again -- take a look at the case of TeX/LaTeX: https://www.latex-project.org/publica
947.
by svat 7y ago
Yes as some other people pointed out (and also one of the authors: https://github.com/SwiftLaTeX/SwiftLaTeX/issues/12 ), the source is available at https://github.com/SwiftLaTeX/PdfTeXLite
948.
by svat 7y ago
This is amazing. • This seems to be their main page: https://www.swiftlatex.com/ • Not all the source code is on GitHub; crucially their modification of the TeX engine seems to be distributed only as the two `.wasm` binary
949.
by svat 7y ago
I don't know much, and sorry for a terse repl (If I try to write out proper sentences and look up references this may take me more time): - You can search for comments by modern scholars about it; e.g. search for [witzel "tape rec
950.
by svat 7y ago
Small nitpick, finding/generating primes is already very efficient/easy, e.g. if you want a 1000-digit prime, then in that range about one in every 2300 is prime (by standard heuristics based on the prime number theorem), so if yo
951.
by svat 7y ago
Haha just read the page again properly: > Do not get fooled by Knuth’s apparent good results. They specifically target dot printers and do not give terribly good results on a computer screen. But of course! Knuth, as is his wont, was obv
952.
by svat 7y ago
It's possibly the same (I'm not an expert, just aware of this reference from skimming through the book). Also, the first sentence of the abstract is "This paper describes a technique for approximating real-valued pixels by tw
953.
by svat 7y ago
> combining error diffusion with ordered dithering must already exist. > people saying "oh yeah, [...] Knuth mentions it on page X" Though the following answers your question only in a literal sense, you might find it in
954.
by svat 7y ago
Note that headlines are almost never written by the authors of articles, whether in a publication like this or the New York Times . (Something to remember before reacting to a headline.) The headlines are written by someone at the public
955.
by svat 7y ago
Though I don't know much about this topic, this seems an underrated post. I think it would get more readership/discussion if it followed the principle of proceeding from the concrete to the abstract. Specifically, in its initial p
956.
by svat 7y ago
That is cool no doubt, but to be clear I was referring to rendering markdown in the editor itself, as you're typing. (Not in a separate pane or browser, which almost every Markdown editor does.) For example, if you type asterisk-foo-as
957.
by svat 7y ago
> Try pasting in 10 * characters and you'll see that it's almost impossible. Works fine for me: https://i.imgur.com/QssB5YV.gif Note that: • The premise of the app is that you type or paste in Markdown syntax,
958.
by svat 7y ago
The important feature worth mentioning (more than “simple and elegant” and “focused on speed and usability”) is that it directly renders the Markdown (in the editor itself, not in a separate pane or window), giving a WYSIWYG feel while stil
959.
by svat 7y ago
I wrote a comparison of the quality of this autogenerated C2rust code versus the original sources (WEB code in this case), the last time this was posted: https://news.ycombinator.com/item?id=21176806 (Though it's not a
960.
by svat 7y ago
If you really want to know: https://quantum.country/qcvc (previous discussion: https://news.ycombinator.com/item?id=19426573 )

More ›