HN user

occamrazor

1,870 karma
Posts4
Comments698
View on HN

Zopf means “braid” and it also denotes a medium-size bread type, made with some milk and glazed with yolk, shaped like a braid, traditionally eaten on Sunday.

I like:

- “open weights” for no training data and no restrictions on use,

- “weights available” for no training data and restrictions on use, like in this case.

Scholar is heavily used internally, it’s unlikely to be discontinued even if it has never brought any money to Google.

Antarctic English 2 years ago

For German there is an international body. Regional language differences are officially acknowledged. For example, Swiss High German has no Esszet and in Austria January is spelled "Jenner" instead of "Januar".

Microsoft keeps paying the bills

For those who may not know it: SPJ was employed at Microsoft Research for a long time. He recently moved to Epic Games, where he co-developed the Verse language.

Because total dollar cost is dominated by major hurricanes, which are rare, therefore any underlying trend would be invisible under the stochastic noise.

Frequency at a moderate severity level is much more stable and can give better insight.

As other posters already pointed out, the severity of the events should be adjusted for inflation, building characteristics, and total exposure.

Othello Is Solved? 3 years ago

AFAIK there are no good bridge computer programs. A crucial difficulty is making sense of the bidding phase, and of signals during the card playing phase.

KeTeX is faster, but supports a limited subset of LaTeX. MathJax supports essentially everything.

For most mathuses in blog posts KaTeX is going to provide a bettter user experience, but if you want to put a math paper on a webpageMathJax is the way to go.

It is a claim made in the art (around the middle of the text).

There is no reference to the source of that information however.

Has there been any known successful MITM attack with forged certificates since the introduction of CT? I am not aware of any.

OP keeps repeating tha Google is making money from certificates. I don't think Google sells certificates, and even if they do the revenue is insignificant for them. Does anybody know what OP may be referring to?