karatinversion

12 ms·

91.
by karatinversion 4y ago
I thought they famously did the opposite of this by overbooking flights
92.
by karatinversion 4y ago
Well yes, and a proof system with the omega rule also escapes incompleteness, but I never yet saw anyone prove a theorem by checking it held for every natural number.
93.
by karatinversion 4y ago
Infinitary in the sense that a proof of non-halting must be strong enough to establish something about all natural numbers (does not halt after 1 step, does not halt after 2 steps, does not halt after 3 steps…) which cannot be done on a cas
94.
by karatinversion 4y ago
> For example, ZFC+CH might non-constructively predict that some machine M halts, while ZFC+notCH might predict that M does not halt. Just to add, this can only happen for a Turing machine M that does not actually halt. If you take a sys
95.
by karatinversion 4y ago
> because a Turing machine halting or not halting feels like a concrete fact that shouldn't depend on assumptions about weird infinite sets Think about it this way. If a particular Turing machine halts, that’s a finitary fact: you c
96.
by karatinversion 4y ago
Where does the ECB, which doesn’t give loans to individuals, come into it?
97.
by karatinversion 4y ago
There used to be a joke that the model was raise interest rates -> construction projects become unprofitable and get cancelled -> construction workers cannot afford food, reducing demand -> lower prices
98.
by karatinversion 4y ago
The phrase to search is “transmission mechanism of monetary policy”, but generally, your customers’ financing is also more expensive, so they can afford less at current prices, let alone higher ones. Reduced income and increase expense mean
99.
by karatinversion 4y ago
But asset prices aren’t included in inflation indices…
100.
by karatinversion 4y ago
The ECB is printing money to give out loans to itself?
101.
by karatinversion 4y ago
謎だね。
102.
by karatinversion 4y ago
E.g. Joseph Kelly was sentenced this year to 150 hours of unpaid work and 18 months of supervision for a “grossly offensive” tweet which went viral (he deleted it after 20 minutes).
103.
by karatinversion 4y ago
By your criteria, no human before the 18th century (when Carl Linnaeus invented the class “mammalia”) knew what a giraffe was.
104.
by karatinversion 4y ago
Seems unlikely you would get to a million users without having multiple physical locations to start with. Or de minimis a location in a central place in a large city, which would necessitate multiple staff at that location anyway.
105.
by karatinversion 4y ago
Surely we should transliterate it as “actmally pdrtable ekhecmtable”?
106.
by karatinversion 4y ago
> Those price increases incentivize builders to increase the housing stock Of course this does not work if building new housing is illegal, in which case you might as well have the rent control.
107.
by karatinversion 4y ago
On the other hand, Spotify’s most streamed song has been Ed Sheeran’s “Shape of you” since October 2017.
108.
by karatinversion 4y ago
Funny how it goes with the entities that talk like banks but are set up as regulatory bypasses
109.
by karatinversion 4y ago
I always have a concrete example in my mind in any discussion of strategy, to keep it grounded. So: Vision: the unconditional surrender of Nazi German Mission: defeat Germany militarily Strategy: land an army in northern France, liberate Fr
110.
by karatinversion 4y ago
The code base i work on takes a long time to rebuild when crossing certain points in the history, so I have persistent worktrees for the last few versions that we still support. Lets me drop into an older version for a backport without the
111.
by karatinversion 4y ago
The HN title is editorialised, the article itself makes a reasonable case that the regulations are not “compatible with the rights of privacy and data protection under the EU Charter of Fundamental Rights”
112.
by karatinversion 4y ago
The title appears to be heavily editorialised. Perhaps for an American audience? The term “unconstitutional” doesn’t really make sense in the EU context - you can either refer to one of the member state constitutions (TFA contains a passing
113.
by karatinversion 4y ago
Surprised by this comment - in my experience, Spotify is the only application I’ve used which takes a noticeable time to render its window when I alt-tab to it.
114.
by karatinversion 4y ago
“Joe Rogan Experience”
115.
by karatinversion 4y ago
When solving problems with decomposition, it's often important to remember that the way you've decomposed the problem is part of your theory of what the solution will look like. If you feel like you're at a dead end on a subp
116.
by karatinversion 4y ago
This seems a very short sighted attitude to me, like saying that there is no time for testing, there are too many bugs to fix.
117.
by karatinversion 4y ago
For context, Twitter‘S revenue in 2021 was $5 billion, on which they made a loss of $220 million.
118.
by karatinversion 4y ago
As I understand it, because it descends from printed manuals with numbered sections.
119.
by karatinversion 4y ago
Good luck building a system of land law on top of that.
120.
by karatinversion 4y ago
No, this does not enter into it at all. The universities set their assessment policies how they see reasonable, and will generally not allow auto-generated text. Just like it is not illegal to have a smartphone in an exam, but you can still

More ›