Viewing profile — s-phi-nl

If they did that, everyone would worry about registering all the domains with a Levenshtein distance of 1 from theirs, in case of typos.

A paragraph from the previous essay by the OP comes to mind: > Less sardonically, there is a lesson here: systems which intermediate between cultures are useful. Intermediating bet…

Mandatory citation of XKCD: https://what-if.xkcd.com/48/

It sounds like the symbol "≹" just means "incomparable", which is a well-known concept in math. https://en.wikipedia.org/wiki/Comparability This symbol for it may be useful, but it…

The Logic Alphabet (linked to above at http://www.logic-alphabet.net/images/flipstick_2347_2.jpg ), which has a similar concept, seems to have better support: it can represent twel…

A bit late to the party, but you have written excellent documentation at https://hubris.oxide.computer/reference/ . It immediately answered the questions I had after reading 'Anima…

There's a (10 year old) post saying it could support utf-8. https://news.ycombinator.com/item?id=111100

Point taken, although there, of course, is at least one exception https://en.wikipedia.org/wiki/Falkland_Islands_sovereignty_r...

I once sent him a letter (snail mail) addressed to Donald Knuth, c/o Stanford Computer Science Department (address at bottom of http://www-cs.stanford.edu/ ). He got back within a …

FiveThirtyEight had an interesting piece on how politicians have stronger incentives to provide relief after disasters than prepare for them before hand. You can read it at https:/…

Do you know of any source that compares the coefficients for bubble sort, insertion sort, and selection sort? This sounds interesting.

Anecdotally, the professor of my algorithms class had us all sort cards manually and asked us to describe the algorithm we used when we began studying sorting algorithms. Most of u…

That's true, but many users are still affected by that Python 2 remains the default. Any user can install a tool for Python 2 with pip install --user but the user might need root p…

Your untrained eye took the # for comments, but I'm not sure that generalized to anyone's. Plenty of languages use # for other things: Smalltalk uses them for symbols, Clojure uses…

According to the US State Department > Gibraltar is adjacent to known drug trafficking and human smuggling routes, but the territory is heavily policed on land and at sea due to th…

I think my question is now answered by https://news.ycombinator.com/item?id=13383171 , in particular https://news.ycombinator.com/item?id=13383211 .

Could you give an example of "problems you'd otherwise use AES passphrase-encrypted ZIP files to solve"? Do any of them involve sending the data anywhere (i.e., the sender and rece…

All throughout the talk there were statements like "Let p be an odd prime and…" My friend asked, “what is an odd prime?”—thinking it must be special in some way. The answer back wa…

Thanks! Yes, with excluded middle is what I meant.

Could you point to a reference for the non-confluence of logic without excluded middle? It sounds interesting and a quick Google search did not find anything.

Because that's what the US Constitution requires [1]: "To promote the Progress of Science and useful Arts, by securing for limited Times to Authors and Inventors the exclusive Righ…

Along similar lines, "The King's English" http://holyjoe.org/poetry/anonA.htm

To add some data to this discussion, in 2015 FiveThirtyEight found that Delta flights typically took 4 minutes less compared to other airlines, whereas Southwest flights typically …