HNHacker News
TopNewBestAskShowJobs

Mathnerd314

3,005 karma · joined November 1, 2009

Making the ultimate programming language https://mathnerd314.github.io/stroscot/

In the past I developed SuperTux (http://supertux.lethargik.org) when I was bored.

submissionscomments
Mathnerd314··on Ordinals aren't much worse than Quaternions
Surreal arithmetic is much nicer than ordinal arithmetic, it is commutative for example. I've always thought that a surreal number library supporting infinite numbers would be useful. Surreal numbers include ordinals but a lot more, they are the largest totally ordered field.

The only library I know of that supports infinite surreal numbers is CGSuite, you can see its hierarchy here: https://github.com/aaron-siegel/cgsuite/blob/e909ab8bc330e39...

Mathnerd314··on Flaw has Microsoft Authenticator overwriting MFA accounts, locking users out
> This report lists trackers signatures found by static analysis in this APK. This is not a proof of activity of these trackers.
Mathnerd314··on Flaw has Microsoft Authenticator overwriting MFA accounts, locking users out
I've scanned two Facebook codes in sequence, the second Facebook code overwrote the first. Maybe that is the issue.
Mathnerd314··on Military sexual assaults far exceed DoD estimates, new report finds
> The military can’t question the orders they receive

They can present a report on why the orders are a bad idea, IIRC. That could be seen as "questioning". And there is the possibility of disobeying illegal orders. But it is true, if the orders are legal and final then they have to be carried out. (And if they're illegal... better be prepared to prove it at a court-martial)

Mathnerd314··on Keep uBlock Origin in Chrome for another year by enabling Enterprise policy
It's true that in normal use you don't reboot a Chromebook that often, and developer mode offers other advantages as well. And apparently it is possible to "neuter" the screen https://web.archive.org/web/20170711043202/https://johnlewis.... Probably the only real solution long-term...
Mathnerd314··on Keep uBlock Origin in Chrome for another year by enabling Enterprise policy
You need a Google Workspace account - personal doesn't work. Which is admittedly only $6/month on the starter plan, but signing up just to get uBO working seems a bit much.
Mathnerd314··on Keep uBlock Origin in Chrome for another year by enabling Enterprise policy
It was gifted to me...
Mathnerd314··on Keep uBlock Origin in Chrome for another year by enabling Enterprise policy
AFAICT there is no way to set this on a Chromebook though - and since Chrome is embedded into the OS using Firefox is really painful in comparison. I guess I will have to use uBO Lite.

edit: There is apparently a way to set it by enabling Developer Mode, but Developer Mode is itself really annoying - it shows a popup screen every boot.

Mathnerd314··on Show HN: If YouTube had actual channels
Yeah, for me loading the homepage and clicking the top-left video is almost an automatic reflex at this point.
Mathnerd314··on LLM-based sentiment analysis of Hacker News posts between Jan 2020 and June 2023
> Reply only the tags

LLM's are really sensitive to bad or even slightly ambiguous grammar. I wonder if the numbers would differ significantly with "Reply only with the tags, in the following format".

Mathnerd314··on Does Astrology Work?
Well, putting aside for now whether it is religion-shaped, let's assume that there is a hole and that filling the hole is like writing an essay. When I'm writing an essay. I can stare at the blank screen and start writing, or I can generate a draft essay with ChatGPT and start from there. For me I've found ChatGPT is a better starting point. It is kind of the same thing with astrology - let's say the prompt is defining your personality when you're making a dating profile. You might start from scratch, but a lot of people don't know their personality. Whereas, you start from an astrological sign, you can say "I'm a Capricorn but feisty" or whatever. Now obviously based on this study and the previous, the signs are meaningless. But the personality descriptions people build around them are not - even if you think Capricorn or whatever is meaningless, you can ask someone who says they're such a sign what they think the traits of a Capricorn are, and they will most likely be giving you true descriptions of themselves. There is actually a known effect in psychology where if you ask someone (A) to fill out a personality quiz as though they were a friend (B) filling out the survey while they (B) answer as though they were the person (A), sort of a double-remove perspective thing, then the answers more accurately reflect one's true personality and perceptions. I wonder if perhaps astrology fills a similar role here of allowing one to look at oneself from the outside.
Mathnerd314··on Does Astrology Work?
Arguably, birth date and astrology are only tangentially related. Iirc I looked into it and there was little empirical evidence for 12 groups, it is more like 4 groups spring/summer/fall/winter.
Mathnerd314··on Does Astrology Work?
I don't think they have enough data to tell, but that seems like a logical next step - determine just how random it is and perform all of the statistical tests of randomness.
Mathnerd314··on Does Astrology Work?
tl;dr No, it doesn't work - statistically it's identical to random guessing.
Mathnerd314··on The Gervais Principle, or the Office According to “The Office” (2009)
Well, big banks. Like Wells Fargo, still limping along. And maybe Boeing is in the "complacent industry" category, also recently in the news.
Mathnerd314··on The Gervais Principle, or the Office According to “The Office” (2009)
He did: > Universities, government agencies, big tech monopolies, public sector unions, complacent companies in industries that haven't changed in 50 years

so: Harvard, FDA, Google, American Postal Workers Union, State Farm. Also banks, I would say.

Mathnerd314··on Limits to running speed in dogs, horses and human
Yeah, I was hoping for something building on this kind of work: https://simtk.org/projects/runningsim There is definitely a speed at which your muscles would have to exert more force than bones/tendons can handle, for example. And then there is probably a muscle/weight tradeoff.
Mathnerd314··on There's Just One Problem: AI Isn't Intelligent, and That's a Systemic Risk
I would be quite happy brain-wise with ChatGPT being able to answer any multiple choice question with 100% accuracy. Such an ability is not creativity as I understand the term, but it is difficult.

Regarding your argument, "the first 3 are essentially different from the 4th", the point is you (and the article) haven't shown why. Your argument is that "Such behaviors are extremely far away from what an AI can do today. They might become possible some day" which is exactly what was said about chess in the 70s.

Mathnerd314··on There's Just One Problem: AI Isn't Intelligent, and That's a Systemic Risk
First they came for chess, and the AI played so poorly that even a beginner could defeat them. Then Gary Kasparov lost.

Then they came for Go, and professionals could defeat these programs even given handicaps of 10+ stones in favor of the AI. Then Lee Sedol lost.

Then they came for vision, and there were so many features that it never worked. Then it became cheaper to make computer generated imagery than practical special effects.

Then they came for the brain—and the braniacs said the programs didn't actually understand, despite the programs doing better than the average person on standardized tests. Then...

Mathnerd314··on Costco membership scanners coming to clubs in sharing crackdown
At least at our Costco store, there was no person at the entrance. I could and did just walk in and look around the store before I decided to get a membership. Honestly if I had wanted to swipe something and stick it in my pocket I might have gotten away with it. But now it's a scanner. So certainly an improvement to security in that respect.
Mathnerd314··on Written by a 16 year old, a book on how computers work
Well, I've enjoyed our conversation, I didn't feel it was particularly hostile. Certainly compared to Linus's old flames it was very civil. It's a pity dang is frustrated.
Mathnerd314··on Puget Systems' Perspective on Intel CPU Instability Issues
It would certainly be interesting to see if Intel can get sued for their "don't ask, don't tell" policy, but practically I view warranties as a joke anyway. What I meant was really stuff like Amazon's 30-day return policy. Those are no questions asked and 30 days is plenty of time to see if overclocking works.
Mathnerd314··on How the music industry learned to love piracy
There was a classic study, https://www.princeton.edu/~mjs3/salganik_dodds_watts06_full...., quality is pretty significantly correlated to success. It is not everything - there are random factors, marketing, etc. - but I would certainly say there is significant evidence that how good a musician is does in fact matter and contributes to their success. Besides "Friday" or the "so bad it's good" category, terrible song = terrible sales.
Mathnerd314··on Written by a 16 year old, a book on how computers work
I'm learning... I worked in a political survey call center and I actually got fired for being too rude but it's hard to unlearn bad habits. I try to be honest but then people take it as an insult...
Mathnerd314··on Puget Systems' Perspective on Intel CPU Instability Issues
I don't think it is as cut and dried as "you should not and can not expect stability out of the box". If it doesn't overclock, you RMA it, if the new one doesn't overclock either, either you are bad at overclocking or you got really unlucky in the silicon lottery. It just doesn't fit the facts to say that you shouldn't expect 5400 Mhz ram to work at 5400 Mhz, even if Intel says the spec is 4800 or whatever. Now 7200 Mhz, that is pushing it and is a lot more like snake oil.
Mathnerd314··on Written by a 16 year old, a book on how computers work
> I couldn't resist

The common refrain of a teenager... https://www.npr.org/2016/04/15/474348291/why-teens-are-impul... honestly at that age I never went out of my room, and I still got in trouble. If you do develop some self-control, you could look at https://blog.benjojo.co.uk/post/dive-into-the-world-of-dos-v... or https://www.sciencedirect.com/science/article/abs/pii/B97801... (c.f. also https://hackmd.io/@_01X9rimQmWH33Djf8QhoA/SkygF9WdP which is based on that book)

Mathnerd314··on Written by a 16 year old, a book on how computers work
> Unexpected tidbit: If you abbreviate the term 'interrupt descriptor table'. Then reverse it - You get 'TDI', which stands for Turbo Charged Diesel Injection, an engine developed by Volkswagen fo- Okay. Ethically, believe it or not but computers emit more CO2 than cars.

Does this really help people learn the material? I am doing a presentation on networking in a week or two for a high school group. Certainly I could include stuff like this, but to me it seems more like a distraction. If I was writing this I would rather include something like a sample table of how IDT's were used by old DOS video games. (Disclaimer: I'm 30)

Mathnerd314··on What is going wrong for Intel?
Better question: what is going right for Intel?
Mathnerd314··on Functional languages should be so much better at mutation than they are
Say you have an array x = [1,2,3]. You do x[2] = 4. Now you have two arrays, x_1 = [1,2,3] and x_2 = [1,2,4]. x_2 is a "copy" with all elements the same except one. The "always copy" here means that (semantically at least) every array modification creates a copy of the array like this. Naturally this is slow, if you implemented it as-is, but then there are the optimizations I mentioned. And it is much easier to optimize a simple semantics consistently than to debug a more complex one. It is somewhat similar to Swift's value semantics.
Mathnerd314··on Proposed rule would ban airlines from charging parents to sit with children
That's certainly one of the issues - if having children was separate from raising them, like how pet breeders are generally not pet owners, children would be more of a fungible commodity and everything would be a lot simpler. I'm not saying it should be like that, just that economically it's one of the reasons the child business is not an efficient free market.
← PreviousPage 6 of 34Next →