Viewing profile — saithound

While their math results are impressive, vibe coding their own web UIs with their subpar design models is really going to backfire if their plan is to attract new users with better…

I don't think that's it. Multiple or my friends from the target audience (academic mathematicians) admitted to scrolling past because the title made it sound like a review of last …

It looks like Zach Weinersmith predicted this exact line of research 11 years ago [1], when he suggested testing the liar sentence using fMRI. The same analysis applies: the probe …

You're confused because the word kernel is used in two different senses. The "generated kernel" refers to a "geometric modeling kernel", which has absolutely nothing to do with the…

> . You can't formally verify your application works correctly under transient network error conditions if you never thought about what your application should do under those condi…

> Really unnecessary levels of snark here. [..] Have you ever heard of prolog? Why do you look at the speck of sawdust in your brother's eye and pay no attention to the plank in yo…

> The two big discoveries both came from the negligible handful of mathematicians working at OpenAI/Anthropic in spite of many orders of magnitude more mathematicians using them ou…

> This does not sit well with personal experience and I wonder if it is just one of these questions of AI people being unaware of the level of skill that exists in domains they thi…

Going from "current mainstream culture is not perfect" to "there should be more experiments in alternative ways of life" requires the assumption namely, that the average experiment…

> What happens to the whole AI value proposition when instead of it being a way to pump out lines of code for crazy cheap it becomes a way for each line of code to become vastly mo…

Astrology didn't really freeze. The apparent position of celestial objects was important for mundane reasons such as navigation until the 1970s, and the people who compiled nautica…

A horoscope is a fine mixture of fortune-telling bullshit and verifiable astronomical facts. The latter have the form of "where the celestial bodies could be seen at the hour of th…

The starting point of casting a horoscope is calculating the apparent locations (this means "where you would have seen them had you looked up there and then") of a whole bunch of c…

Astrology is a mixture of factual verifiable information (such as apparent positions of celestial bodies at the time and location a certain person was born) and random baseless div…

Astrology and Haskell are quite similar in that both are much much easier to do if you have a math degree.

> If you consider the "discipline" to be mathematics broadly, even this level of knowledge is actually quite uncommon. Fwiw, I am in full agreement, and it's commendable when peopl…

For the working logician or the constructive mathematician, the distinction that matters is whether an argument uses a constructively invalid instance of the law of excluded middle…

"It's only proof by contradiction if you prove P by assuming ¬P and deriving a contradiction" was a neologism introduced by Andrej Bauer in a 2010 discussion with Timothy Gowers. M…

I use Pangram quite extensively (burning through my 600 token allowance every month). They managed to get their false positive rate impressively low: if Pangram says something is 1…

[dead]

It seems like everybody (including you) knew precisely what I meant: the models available for ChatGPT Plus or Pro subscribers, i.e. GPT-5.5 Thinking Extended and the latest Pro. I'…

It's an AI-written slop article, which is hugged to death by HN in any case. It claims to be an evidence-based investigation, but basically invents the contents of the documents th…

It's pretty clear at this point that Mythos' capability to discover and exploit zero-day vulnerabilities at scale is but an incremental improvement over existing models like the on…

Questions which have never been asked or answered before, but to which practitioners have immediately obvious answers, are dime a dozen in mathematics. You can find thousands of su…