mixedmath

Joined 11 years ago

Karma
1,397
Submissions
275
Member since
Jan 11
[ my public key: https://keybase.io/davidlowryduda; my proof: https://keybase.io/davidlowryduda/sigs/fJDhN1ncn9yUYjFl2nw2r-mskFwuufeYD-dczdCuXpE ]

I'm a mathematician and software developer. Now I work with libraries (as in books, not as in software --- though I do software for the libraries) in many varied ways.

View on Hacker News

Recent submissions

Comment · 1 month ago
Claude models seem to work far better in Anthropic harnesses. I don't know if this is because they are trained in that context or because they offer different models through external APIs.
Comment · 3 months ago
Would someone be interested in explaining what in the world is going on in that article?
Comment · 4 months ago
This is true in my case! I've had more people actually buy me a coffee after interacting with my site than to click on my Buy Me a Coffee button.
Comment · 4 months ago
I find a link to "Buy me a Coffee" to not at all look like an ad. It's a funny-shaped "donate" button. And I much prefer it to actual ads.
Comment · 6 months ago
I wasn't aware that there were any public, commonly-used voting machines that we could check.
Comment · 6 months ago
I was very surprised to see that the article explicitly says it will not consider this answer!
Comment · 8 months ago
Are there leaderboards that you follow or trust?

Also, do you have preferred OCR models in your experience? I've had some success with dots.OCR, but I'm only beginning to need to work with OCR.

Comment · 8 months ago
How does this relate to the mean entropy of 1 noted in the OP article?
Comment · 9 months ago
Comment · 10 months ago
Comment · 11 months ago
I'm not very familiar with proper exception usage in C++. Would you mind expanding a bit on this comment and describing the misunderstanding?
Comment · 1 year ago
That seemed to me like a radically high estimate of people who use ad blockers. But I see that the first page of results on MyFavoriteWebSearchEngine support that claim.
Comment · 1 year ago
> This was a tough decision, having used Gmail since 2007/2008. However, I had to draw the line and stop giving Google my data for free. > > The problem with email is that everything is transmitted in plain text.

Interestingly, one of my biggest problems with Gmail is that they don't allow actual plaintext. I used to routinely collaborate with developers who were vision-impaired, and the official Gmail phone app wouldn't let me send them plaintext email. Instead, it was some sort of HTML thing. Unfortunately, we sometimes sent code snippets to each other over email, and though admittedly it looked more or less fine, Gmail changed the underlying representation enough that my collaborators' screen readers would mess up on the parsing.

This led to me leaving Gmail on my phone, which led ultimately to me leaving Gmail entirely.

Comment · 1 year ago
Google is completely inadequate at mathematical search. But here is a concrete problem that no search seems to handle: given some complicated integral (say, some contour integral involving a K-Bessel function), find where it appears in the literature.

Most search will totally fail, because this is made of math symbols. Embedding-based search will give various related things involving, say, integrals and Bessel functions. But then I end up opening Gradshteyn and Ryzhik and trying to find where in this book the relevant terrible integrals appear.

This is a common experience for analytic number theorists. And it's a lousy experience.

Live from the official Hacker News API

A modern reader for Hacker News · SvelteKit + Skeleton