schoen

24 ms·

331.
by schoen 1y ago
A great and inspiring example is the SOPA/PIPA thing. https://en.wikipedia.org/wiki/Stop_Online_Piracy_Act#Opposit... Now, there are other less inspiring examples (e.g. SESTA/FOSTA)! and this didn't some
332.
by schoen 1y ago
Paul Graham wrote an influential essay in 2001 arguing that online hosted software was going to be great: https://www.paulgraham.com/road.html The benefits that he described did come to pass, but the costs to user autonomy
333.
by schoen 1y ago
https://en.wikipedia.org/wiki/David_Heinemeier_Hansson
334.
by schoen 1y ago
https://news.mit.edu/2014/algorithm-recovers-speech-from-vib...
335.
by schoen 1y ago
The founder seems to have missed the opportunity to make a classical reference to Ovid's writing on love, instead constructing some ungrammatical Latin. https://en.wikipedia.org/wiki/Ars_Amatoria
336.
by schoen 1y ago
A reference to the Wizard of Oz movie? I hadn't heard this jargon before.
337.
by schoen 1y ago
Generally monastics rather than all clergy.
338.
by schoen 1y ago
I thought it was likely to be like the onion sales story. https://news.ycombinator.com/item?id=19728132
339.
by schoen 1y ago
Maybe it could be called "Bus-caneer"?
340.
by schoen 1y ago
I think we have to distinguish between "the Navy proposed using it this way for this reason" (clearly they did, in writing!) and "the government actively uses it this way for this reason" (extremely hard to confirm). I&#
341.
by schoen 1y ago
These are always amazing when juxtaposed with apparently impressive LLM reasoning, knowledge, and creativity. You can trivially get them to make the most basic mistakes about words and numbers, and double down on those mistakes, repeatedly
342.
by schoen 1y ago
I'm going to reply to my own comment to make a digression. It's an intuitionistic logic theorem that the excluded middle is "irrefutable", that is, that you can never exhibit a counterexample. You can prove this construc
343.
by schoen 1y ago
> Somewhat similar to intuitionism and constructivism - interesting to people interested in computability but considered almost silly or at least niche by “mainstream” math theoreticians. This was a source of minor culture clash for me:
344.
by schoen 1y ago
The @ for shift-2 replaced the earlier " which you would see on many 1980s-era PCs. I forget the story about what changed for shift-6 through shift-9. When I say "traditional U.S. keyboard layout" I mean to contrast this with
345.
by schoen 1y ago
You'll also see "AQAB" a lot. This is the base64 version of the integer representation of 65537, the usual public exponent parameter e in modern RSA implementations.
346.
by schoen 1y ago
I should just have put the printable character chart right here in the post for people to compare: 0 1 2 3 4 5 6 7 8 9 A B C D E F .. 2 ! " # $ % & ' ( ) * + , - . / 3 0 1 2 3 4 5 6 7 8 9 : ; < = >
347.
by schoen 1y ago
For anyone here who's never pondered it ("today's lucky 10,000"?), there's a lot of intentional structure in the organization of ASCII that comes through readily in binary or hex. https://altcodeunicode.c
348.
by schoen 1y ago
"It's miiiii! And I can prove it !"
349.
by schoen 1y ago
I remember also having the intuition that copyright should be seen as a free speech violation, and the existence of a major tension between them should be obvious. Although the Supreme Court said in Harper and Row v. Nation that copyright i
350.
by schoen 1y ago
I just ran some code over the CMU pronouncing dictionary and the longest words identified as single-syllable that are English-origin and not proper names or possessives were 9 SCRATCHED 9 SCREECHED 9 SCROUNGED 9 SCRUNCHED 9 SQUE
351.
by schoen 1y ago
The math community surely expects a proof of that, and ChatGPT surely doesn't (yet) have one. (Maybe some day it will, as Kevin Buzzard and others are experimenting with asking language models to produce formal proofs.) You could get L
352.
by schoen 1y ago
After all, you're explicitly restricted from bringing large Li-ions on planes! https://www.tsa.gov/travel/security-screening/whatcanibring/...
353.
by schoen 1y ago
Grant Sanderson's mathematical animations and visualizations are famously excellent, though. He developed his own mathematics animation software just for his channel. I wouldn't think of video as preferable to textbooks for math e
354.
by schoen 1y ago
You would still need some significant magnification. And there might also be a measurement latency issue if the disc is in motion (the camera CCD might not be fast enough to capture the image before it rotates away). The optics of a CD-ROM
355.
by schoen 1y ago
I don't think so. The total data on a CD-ROM including the error correcting redundancy exceeds 800 MB, or 6.4 Gb. If you could imagine getting 1 bit from the optical disc per pixel (which is way too optimistic physically), you would ne
356.
by schoen 1y ago
ThinkPad X1 Carbon.
357.
by schoen 1y ago
It's really clever, but the screen detection is overconfident; it gave me the green "calibrated" box while guessing a completely wrong display size for my laptop.
358.
by schoen 1y ago
This reminds me of the idea that we know more about some aspects of space than about the ocean. At least, more people have been to the moon than to the deepest point of the ocean!
359.
by schoen 1y ago
It continues to confuse me that the publisher/distributor distinction that section 230 was meant to remove (created by prior Federal court decisions) gets so frequently interpreted as if section 230 had been intended to establish i
360.
by schoen 1y ago
Huh, I never thought of that as the reason for the small number of long-distance platforms in, for example, Berlin Hauptbahnhof (all through-running) compared to some other big-city stations that are terminal.

More ›