schoen

104 ms·

931.
by schoen 3y ago
It's really not very common in typical online writing about science and engineering, but I'm happy to share ᴬᴮᵃᵇ and ₁₂ in case they're also useful to anybody.
932.
by schoen 3y ago
Here are some Unicode exponents for your future needs: ⁰¹²³⁴⁵⁶⁷⁸⁹
933.
by schoen 3y ago
I'd like to add belatedly that I think it's cool that you introduce the Curry-Howard stuff so early on, basically from the very beginning.
934.
by schoen 3y ago
This is a nice reminder of the importance of having your software be a "user-agent"!
935.
by schoen 3y ago
I've done Logical Foundations and part of Programming Language Foundations , and some of the stuff in your tutorial is new to me (especially dependent types). Your tutorial is very interesting, but in comparison to the Software Fou
936.
by schoen 3y ago
My father owns a used bookstore and he's always finding objects in books left there by previous owners. One time he found a folded handwritten page in Latin which he sent me because I know Latin. It said registrum baptizatorum succursa
937.
by schoen 3y ago
It's Anguilla (ai).
938.
by schoen 3y ago
Weren't there a couple of other companies recently using UAVs to detect and/or fight wildfires? I wonder if there would ever be a way to get paid both to detect wildfires and to perform utility line inspections at the same time. I
939.
by schoen 3y ago
Maybe the question is "can you avoid contributing to the risk of igniting a wildfire?". Suppose you have a crash (due to a leak or something?); is there a high danger that you would set off a wildfire if you landed in an area of d
940.
by schoen 3y ago
When you said that you were using the hydrogen as a fuel source as well, I also thought of the negative connotation of igniting it with a "lighter". This connotation is too bad because HyLighter is a great multi-way pun (highlight
941.
by schoen 3y ago
Other games that do this: https://en.wikipedia.org/wiki/Planarity https://web.mit.edu/xiphmont/Public/gPlanarity.html Untangle (in sgt-puzzles)
942.
by schoen 3y ago
I have it. It's my first time with COVID, or at least my first symptomatic infection. It's really sad not to be able to say that the pandemic is "over" (though strictly speaking I guess this is called "endemic COVID
943.
by schoen 3y ago
Maybe I'm too used to Coq's higher-order theory now, but I think it's not really that bad to say that we have to be careful about whether statements have existential import. https://en.wikipedia.org/wiki/
944.
by schoen 3y ago
I've used the insane dictionaries a number of times for puzzle stuff and I never knew that they were derived from OCR output. Thanks for mentioning that!
945.
by schoen 3y ago
If you enjoy that, you might also enjoy this version that I wrote https://godexperiment.org/beginnings-an-alliterative-rewrite... It was inspired by these versions: https://llamasandmystegosaurus.blogspot.com&#x2
946.
by schoen 3y ago
I hired someone on Craigslist for something (I don't remember now exactly what it was for) and he turned out to have a breathalyzer interlock on his car, presumably ordered by a judge or something after multiple DUIs. If I remember cor
947.
by schoen 3y ago
Maybe not "well", as that page cites Wikipedia as saying she was "seriously ill with leukemia" last December. :-(
948.
by schoen 3y ago
Maybe, compared to those in more developed countries, more of the trains in Thailand and India run through rights-of-way with less separation from places that people and animals are commonly found? Or maybe more of their crossings used to l
949.
by schoen 3y ago
I'm not dark-skinned or Middle Eastern, but I was stopped and questioned by transit police at Penn Station in New York for taking a photo of an OS error message on a train status monitor. About 2010 or so? They seemed to be alarmed by
950.
by schoen 3y ago
In a way, C and G are the same letter! https://en.wikipedia.org/wiki/G#History
951.
by schoen 3y ago
In the time before COVID I frequently spoke at conferences and would go in person to several conferences per year, often in foreign countries. This year is family visits and vacations. My travel patterns were still rather low for self-consc
952.
by schoen 3y ago
I ride a bike (have never owned a car) and am vegan and I think both of those are awesome, at least if you live in a place where both are common so that things are at least moderately convenient. But I also flew about 100,000 km per year in
953.
by schoen 3y ago
Yes, and hopefully we can use that kind of mechanism to allocate 240/4 in a way that achieves very high utilization.
954.
by schoen 3y ago
I gave a couple of talks promoting IPv6 in 1999 and I'm happy that I finally have it at home as a residential customer. (I didn't until this year.) I'm also working on a project to reclaim some IPv4 address space, which peopl
955.
by schoen 3y ago
We should probably have auctions for IPv4 space to encourage more efficient use. Not that we have some kind of authority to require this, but we've often suggested this in connection with our proposal to prepare to allocate 240/4.
956.
by schoen 3y ago
None! But you could say "ko lete", "walo lete", "ijo lete", or "lete", I guess. Or "telo lete pi kiwen mute ala" which is kind of a nuisance. ("Not-very-hard cold water.") I think
957.
by schoen 3y ago
Maybe that's covered as a 3a distribution by this additional language? > If distribution of executable or object code is made by offering access to copy from a designated place, then offering equivalent access to copy the source cod
958.
by schoen 3y ago
Presumably it's based on https://en.wiktionary.org/wiki/flatus although the combination makes a Latin-Greek hybrid, traditionally potentially controversial. https://en.wikipedia.org/wiki/Hybri
959.
by schoen 3y ago
That language is referring to copyright permissions (i.e. promising not to sue people for copyright infringement for using or distributing the software in accordance with the GPL). It doesn't refer to providing access. A trickier thing
960.
Interview with the ETSI Standards Organization That Created Tetra “Backdoor”(zetter.substack.com)
2 points by schoen 3y ago|0 comments

More ›