red_trumpet

6 ms·

61.
by red_trumpet 2y ago
That's a nice post, and it actually reinforces my thoughts: You already need a foundational theory before coming to category theory.
62.
by red_trumpet 2y ago
I always find it a bit weird, when people compare set theory to category theory like this. When talking about set theory as a foundation for mathematics, I always think of Zermelo-Fraenkel[1] set theory (possibly with Choice), which is an a
63.
by red_trumpet 2y ago
> and it's very readable No it's not. Computer Modern is way to thin to be considered readable. This is because it was originally designed with print in mind, which used to have ink bleeding, making thin lines thicker on paper.
64.
by red_trumpet 2y ago
Funny typo in the subtitle. > Ed Simon on What Sven Birkerts Got Right in “The Guttenberg Elegies" The book is called "The Gutenberg Elegies". Gutenberg was the inventor of the printing press. Guttenberg[1] is a german pol
65.
by red_trumpet 2y ago
Were does the notation T^2 for oriented real projective space come from? That's just bad, because it is not a torus but a sphere, and the two are topologically very different!
66.
by red_trumpet 2y ago
What's the problem with stock buybacks?
67.
by red_trumpet 2y ago
Getting around a congested city is probably way faster than using a car. It's called CityAirbus for a reason ;-) Then again, it's an individual solution to a societal problem. I would prefer a solution for the masses, like getting
68.
by red_trumpet 2y ago
Serious question: Is there any legitimate reason for such a document to exist? Why would you want to waive your right to remain silent, or your right to consult a lawyer?
69.
by red_trumpet 2y ago
Care to explain that? Apparently, Shannon worked against the Nazis, being contracted by the National Defense Research Committee[1]. [1] https://en.wikipedia.org/wiki/Claude_Shannon#Wartime_researc...
70.
by red_trumpet 2y ago
Is that true? I'm not a lawyer but AFAIU, you don't have to provide incriminating evidence against yourself?
71.
by red_trumpet 2y ago
K-9 Mail is on F-Droid, if you want to give it a try.
72.
by red_trumpet 2y ago
The result of a prove is a theorem. I don't see any claim in the article that any two proofs of the same theorem are essentially the same?
73.
by red_trumpet 2y ago
There is TikZJax[1], which apparently compiles TeX to WebAssembly, to run TikZ in the browser. [1] https://tikzjax.com/
74.
by red_trumpet 2y ago
Support for ``hanging-punctuation`` is not there yet.
75.
by red_trumpet 2y ago
From the article: > It maintains the beer cold through the most primitive of the processes: due to its low capacity, the beer is consumed so quickly it has no time to get warm.
76.
by red_trumpet 2y ago
> you should be reasonable about it. I don't get it. Shouldn't it be the seller's obligation to give a reasonable lifetime estimate? Like, give me a five year warranty, if you want to advertise your socks last for five yea
77.
by red_trumpet 2y ago
Do you mean states of the USA or states as in "country"? Which ones?
78.
by red_trumpet 2y ago
> think about all of the ways your proof is going to be used beforehand What do you mean by that? I don't know much about theorem provers, but my POV would be that a proof is used to verify a statement. What other uses are there one
79.
by red_trumpet 2y ago
It still expands, just not as much as before.
80.
by red_trumpet 2y ago
I'm not sure I understand what you mean. AFAIU, Ireland just refused to demand the money from Apple. I'm not sure what that has to do with vetoes. Can you point to a concrete instance relating to the Apple case, in which Ireland u
81.
by red_trumpet 2y ago
Well, they had Ireland on their side. > "Ireland granted Apple unlawful aid which Ireland is required to recover," the Court of Justice said on Tuesday.
82.
by red_trumpet 2y ago
That's an interesting read, but I didn't find anything relating to > ascend upwards depending upon the length of the word Did I just miss it?
83.
by red_trumpet 2y ago
> Let alone exotic languages such as Urdu/Persian that are highly cursive and ascend upwards depending upon the length of the word I've never heard about this. Where can I read more about it?
84.
by red_trumpet 2y ago
> Plug-and-play solar panels [...] sound scary But they already exist and are pretty popular in Germany to put on your balcony.
85.
by red_trumpet 2y ago
Not sure I get your point. Total Cookie Protection doesn't get rid of third party cookies.
86.
by red_trumpet 2y ago
Care to elaborate? It looks like Threads is available in Europe.
87.
by red_trumpet 2y ago
Yeah sure, just don't claim it's open source if the actual source is not open.
88.
by red_trumpet 2y ago
> he knew there was a warrant in France to get him Do you have a reference for this claim? I've read this here or there, but always without any evidence. Was the arrest warrant public before he decided to land in France?
89.
by red_trumpet 2y ago
> Also wow Google has completely erased this concept from its search results For me, it replaces the search with "brick text", but allows you to change to "bricktext" again, at which point it does give the catb.org re
90.
by red_trumpet 2y ago
Yes it does. Click the wrench at the bottom of the window ("Tools"), and the first option is "Insert Vertical Space".

More ›