lanstin

19 ms·

421.
by lanstin 2y ago
I think GDP/economic output/labor productivity continues to rise briskly. The government accounts are in debt because people in the US refuse to consistently vote for [people advocating] high enough taxes. But we could tax more (s
422.
by lanstin 2y ago
That sounds nice.
423.
by lanstin 2y ago
You can see it just here - Paul Graham made money making a web store in the 1990s (which I can tell you wasn't that hard), then investing his money in a bunch of internet startup (a bit rarer, but I feel like a large percentage of the
424.
by lanstin 2y ago
Except for people that live near research libraries, which is a lot of people. I use sci-hub and don't like Springer, but it's hard to see how most government [research] institutions haven't advanced our knowledge in decades.
425.
by lanstin 2y ago
Your entire post is untrue statements linked together. > >Covid response in the US wasn't that bad > Lockdowns were in violation of the right to free assembly, and more broadly the emergency powers used for protracted timefram
426.
by lanstin 2y ago
> I'm okay with the CDC being torn down. They lied and lost all trust. Unfortunately, advanced technological based civilization is not "ok" with destroying the collective and knowledge based activities of scientific resear
427.
by lanstin 2y ago
So should we move to Thailand or Canada or ???
428.
by lanstin 2y ago
More fucking morons. The gap with biomedical research isn't in the realm of language models, but in the amount of information that exists in biology that we don't know. I'm not sure what percentage of all the genetic data on
429.
by lanstin 2y ago
Like the old Mencken quote: `Democracy is the theory that the common people know what they want, and deserve to get it good and hard.`
430.
by lanstin 2y ago
The weird spanner in the works is that while people may be unhappy, they are unhappy because of things they believe that aren't true. Covid response in the US wasn't that bad; global warming really is causing the floods and fires
431.
by lanstin 2y ago
And really who would choose to stay in 1938 Germany if you could leave. Even if you are some rich upper class Herr Doktor Professor, life for the next 20 years in Germany wasn't that great compared to England or the US. Why risk having
432.
by lanstin 2y ago
Or noisy RTO code shops.
433.
by lanstin 2y ago
The rebellious authentic music from the current middle-aged or old people's youth is todays elevator music. I've heard the Pink Floyd's the Wall being played at a soothing volume in the grocery store as I tried to find lacto
434.
by lanstin 2y ago
I don't know that much about current music, but I do spend a lot of time listening to LoFi study girl live stream, is that music the genre being discussed here? Perhaps it's just the normal hype cycle and then things settle out?
435.
by lanstin 2y ago
They got the Congressional Gold Medal award, and every time I heard Nancy Pelosi speaking of them, she sounded personally grateful. Also, it was their job to keep Congress safe, and there are a lot of people that take their job and their ho
436.
by lanstin 2y ago
Actually I just did one of my test questions on GPT o3-mini-high and it got it. Very nice. Back in the lead over Claude. (My last check was with o1; although if they used the whole chat history to train or fine tune I gave the answer and in
437.
by lanstin 2y ago
Yeah they aren't that good at spotting wrong questions (tho better than a year ago). Claude is especially likely to do this correctly. GPT o whatever will do this push back wrongly. Something in Gemini is positioning Gemini as an all k
438.
by lanstin 2y ago
It isn't that good at maths tho, at least compared to Claude, at least for diophantine approximation and numerical linear algebra.
439.
by lanstin 2y ago
In practice communities of research mathematicians develop latex styles, similar to what they name the variables and like which proofs can be taken for granted. Collaborations are a method to synchronize the latex as are professor/grad
440.
by lanstin 2y ago
You really don't want a financial crisis in banking. All those regulations that crypto folks want to get rid of keep things like what happened to Japan in 1990 from happening with more regularity. Even 2008 in the US was painful and ve
441.
by lanstin 2y ago
But it isn’t just the military and the taxes, it is the labor of all the people who are willing to work for US dollars that give it value. While the majority of people paid in dollars are hard working and generally honest, it seems that the
442.
by lanstin 2y ago
One reason LLMs are better at commercial coding than maths.
443.
by lanstin 2y ago
Having worked in big corporations and been married to and friends with a number of NIH folks, I can assure you that the government has 10x the openness of even the most transparent corporation, has a bunch of people trying to maximize the r
444.
by lanstin 2y ago
The best videos would be those where you accidentally start recording and you get 2 hours of naturalistic conversation between real people in reality. Not sure how often they are uploaded to YouTube. Part of the reason that kids need less
445.
by lanstin 2y ago
Such a biased source of data-that gets them all the LaTeX source for my homeworks, but not my professor's grading of the homework, and not the invaluable words I get from my professor at office hours. No wonder the LLMs have bizarre b
446.
by lanstin 2y ago
Do you not have code reviews?
447.
by lanstin 2y ago
My rule for a long time has been anytime I add a print or log, except for the first time I am writing some new cide with tricky logic, which I try not to do, never delete it. Lower it to the lowest possible debug or trace level but if it wa
448.
by lanstin 2y ago
I can’t tell if this is crazy or brilliant. Math has been working diligently for a long time to reduce the axioms. Most of the obvious Gödel sentences are stupid things like there is a number that is the proof of itself. The whole project i
449.
by lanstin 2y ago
I read a book on recursively enumerable degrees once, which IIRC was a sort of introduction to complexity classes of various computable functions, but I never imagined it having practical use; so this post is eye-opening. I've been na
450.
by lanstin 2y ago
sets of reals, not traps.

More ›