JadeNB

16 ms·

211.
by JadeNB 1y ago
It's a long game for the Weird Al Yankovic tie-in, but I'll take it. https://en.wikipedia.org/wiki/UHF_(film)
212.
by JadeNB 1y ago
Oh, sorry, due to agreements with providers, SmartHome One™ Plus still requires a limited number of curated ads in certain markets.
213.
by JadeNB 1y ago
Yeah, going back and telling 2000 me and 2012 me that the Cheneys and Mitt Romney would become the conscience of the Republican party would have been interesting.
214.
by JadeNB 1y ago
When I grew up, I found history boring, and didn't understand why we were made to study it. I'd like to think it's partly because I was taught typical jingoistic rah-rah US history, but that's at best only part of the r
215.
by JadeNB 1y ago
My favorite thing about Wilhoit's law, aside from the law itself in its elegant simplicity, is that it is by Frank Wilhoit, but not that Frank Wilhoit ( https://en.wikipedia.org/wiki/Francis_M._Wilhoit ). Instead,
216.
by JadeNB 1y ago
XeTeX handles Unicode fine, but that's definitely one area where TeX shows its age and its extensibility didn't, I think, allow Lamport to make a real difference.
217.
by JadeNB 1y ago
I appreciate your postscript. I don't use TeX or vim out of nostalgia; I didn't discover TeX until I was a senior in undergrad, and I think I didn't discover vim until after I finished my Ph.D. I use vim because it seems best
218.
by JadeNB 1y ago
> For example, TUI (text user interface) and CLI (command-line interface) are quite different. "CLI Text Editor" sounds more like someone editing a file using ECHO commands. Sounds like ed, or edlin for the DOS oldies, to me.
219.
by JadeNB 1y ago
Also a brief survey in the linked Scientific Reports article.
220.
by JadeNB 1y ago
I'm not sure why 'Android' got auto-capitalized, but it's about a robot simulating yawning, not a phone.
221.
by JadeNB 1y ago
> Most audio players these days have an option to listen to the media at higher speeds. Through some FFT magic, I think, the tone doesn't go up either; it's just faster. I watch most of my YT vids at ~2x now and most podcasts a
222.
by JadeNB 1y ago
> The patterns and rhythm only exist when spoken. Pattern can definitely exist in writing without being spoken. (Sometimes only in writing, and not when spoken; see, for example, https://en.wikipedia.org/wiki/Conc
223.
by JadeNB 1y ago
> Poetry is literally defined by its characteristics when spoken. That's what "poetry" means. Wiktionary ( https://en.wiktionary.org/wiki/poetry ) tells me that its etymology is through "poet,&quot
224.
by JadeNB 1y ago
> Why not both? Listen and read along. Have you done that successfully for any book? I've never tried, but it seems likely to me to be very difficult, unless you happen to read at exactly the narrator's pace.
225.
by JadeNB 1y ago
I think that is rather different. The traditional meaning of "proofs without words" is that the picture is the proof, or at least, if you believe that a proof can only be in words, that the picture should convey the idea so tra
226.
by JadeNB 1y ago
Probably mostly the fact that this was started (according to the website) in 1996 and essentially frozen in 2004, which I believe predates the public announcement of Asymptote. Does Asymptote get much use these days? I thought it was prett
227.
by JadeNB 1y ago
Bill Casselman is an amazing mathematician with a diversity of interests. As this makes clear, he's been embracing computation and computational mathematics "since before it was cool." He also has an interest in mathematica
228.
by JadeNB 1y ago
> AI is generally predictable quality, and it's not going to go down. "Not going to go down" does not seem consistent with the way other tech trends have developed: magical at first, then subject to endless churn to seem d
229.
by JadeNB 1y ago
> But how can you prove that P(n) for all n without induction? Maybe I misinterpret what you're saying, or I'm naive about something in formal languages, but if we can prove P(n) for all n. then `∀n P(n)` just looks like a triv
230.
by JadeNB 1y ago
> The "Fisher-Price" design language was unpopular, but ISTR you could turn off most of the eye candy and get a the Windows 2000 design language. Pretty sure that was like the first or second thing I did with both XP and Vista.
231.
by JadeNB 1y ago
> Apple now is entering their Windows XP design era. Is Windows XP universally understood to be bad design? I remember it as somewhere between blandly unremarkable and slightly pleasant.
232.
by JadeNB 1y ago
I think that the plan isn't to make money, but to make real progress on solving housing availability.
233.
by JadeNB 1y ago
> What are they gonna do evict working families? Good luck This seems optimistic.
234.
by JadeNB 1y ago
> I am not sure this is true for "all" mathematics. You're still using some metalogical axioms that are always true. In particular, laws of untyped lambda calculus (or any other model of universal computation) are "ax
235.
by JadeNB 1y ago
> I don't like how they give and example of a geometric axiom and then give a number theory result. This makes it seem that the number theory result follows from the geometric axions. This isn't some weird gloss on their part;
236.
by JadeNB 1y ago
I think your parent said that they look good at some sizes and bad at others, and pointed out that this could be explained by their only being tested at the larger sizes, but didn't say that they necessarily believed that's what h
237.
by JadeNB 1y ago
> Is Pierre Menard's Quixote a repetition of Cervantes' or is it a completely different work that just happens to contain the same words? I think that that is not the right question. It is a repetition of Cervantes's work
238.
by JadeNB 1y ago
> It's not, there is nothing essential a regular desktop user needs to edit in the registry directly. I think that this reads better "there is nothing that Microsoft wants regular users to touch that they need to edit in the re
239.
by JadeNB 1y ago
The repetition of the end of lou1306's comment ( https://news.ycombinator.com/item?id=44190054 ) "By the way, I highly suggest Borges's 'Pierre Menard, Author of the Quixote' as a great story on the t
240.
by JadeNB 1y ago
> "We are in discussions with Google to address a potential miscommunication regarding the application of their policies," a Meta spokesperson told The Register. "Upon becoming aware of the concerns, we decided to pause th

More ›