Viewing profile — Mathnerd314

A philosophical task manager, based on notable philosophers such as Baudrillard, Foucault, etc. It's been a fun game of reading these works, trying to distill their essence, and pu…

It sounds like that was a good outcome, they sold out and got rich? There's definitely a stage that comes where a startup no longer needs founders.

Paper is easier to read https://www.researchgate.net/publication/410906746_The_Havel...

I think this calculation is bad? I mean, they take sand and produce AI chips, and then the AI chips turn electricity into entertainment. So highly productive use of resources. Glob…

There are some state laws - California, Virginia and Colorado, a bunch of others. And the SECURE Data Act currently in Congress. https://statescoop.com/house-subcommittee-secure-da…

So I'm looking at Figure 2 of the study and it shows that risk is negative (I.e. it's a benefit) below 7 drinks per week or 1 drink per day. And then they say "There was no protect…

This may help https://www.workboat.com/white-house-budget-would-slash-noaa... The administration wanted to eliminate everything ocean-related, seems like they are doing it program …

It is probably like with smart TV's where the value of the telemetry data ends up subsidizing a significant fraction of the hardware. Car manufacturers seem to be doing a lot of ex…

Maybe we need Uber for airlines. Pilots don't lose their skills, passengers always have demand, the issue is that pricing is too predictable. You could see this with skiplagged, th…

The author sounds like he actually responds to feature requests, though. Typical behavior I'm seeing is that the maintainer just never checks the issue tracker, or has it disabled,…

website is not up to date, https://www.youtube.com/watch?v=lqVN1fGNpZw is not on there

"Inference consumes 60–90% of total AI lifecycle costs." So shovel is not the right analogy, more like GPU = coal burning engine. And yes, coal was a big railroad expense, more so …

The author is named Alok, so I would expect alokscript to be a self-authored programming language. But I checked the GitHub profile and I don't see anything.

Well, it's a little more than that, like they agreed to issue him a debit card

Yeah, it's like just ignoring the actual conclusions. I mean, it's easier to hit and then it hits less hard, which is actually good because professional baseball players generally …

to quote: "in the Persian Gulf today, the Navy grasps the reality of the circumstances, recognizing that it simply can’t sail into the strait without risk getting blown to smithere…

It is on Wikipedia under T-Bank, this seems the best source that announces the resolution: https://web.archive.org/web/20220905212700/https://www.tinko...

Well, if you come at it from the mindfulness angle, there are real studies showing that mindfulness works. https://pmc.ncbi.nlm.nih.gov/articles/PMC8083197/ and similarly, if you c…

There's a specific writing style for globalized English that AI's use. And then this post also had none of the stylistic flourishes that a real author might add. And then simple th…

Well, I mean, you can certainly say economic value doesn't capture all of the value. But you can also say that there are metrics of value that do capture everything. Thermodynamic …

At least with Gemini, I found the trick is to add anything in any system instruction about a task list. Then the follow-up prompt will always be, do you want to add a task for that…

https://doi.org/10.1038/s41591-025-03622-w this is the paper they're basing the research on. So in primary care, the accuracy rates are in the 80s. So that's something like a 17% f…

https://www.federalregister.gov/documents/2025/11/20/2025-20... Well apparently Congress passed a law that said TSA could just demand money as long as they published a notice in th…

If you are flipping through the reading to find a quote, then printed readings are hard to beat, unless you can search for a word with digital search. But speed reading RSVP presen…

I tried a thread, I got that both LLMs and humans optimize for the same goal, working programs, and the key is verifiability. So it recommended Rust or Haskell combined with formal…