lanstin

8 ms·

91.
by lanstin 3mo ago
Glue layers are fun and easy to write - and often worth doing.
92.
by lanstin 3mo ago
It was after decades of stripping money from work into larger pools of capital, thanks to Reagan and Thachter style deregulation; so much money looking for unreasonably high ROI and unencumbered by the need to get consent from the governed
93.
by lanstin 3mo ago
And good taste.
94.
by lanstin 3mo ago
There is nothing in the LLM architecture than can implement this except as a post model attempt, which both the persuasive tricky humans and the persuasive tricky models trained on human language will be able to bypass. Not only do the mode
95.
by lanstin 3mo ago
As an avid consumer of Western Buddhism, this is pretty standard understanding. Concentration and insight, another complementary aspect of practice, like the dichotomy between sitting alone and sitting in a group, or between a steady daily
96.
by lanstin 3mo ago
I would say that if the mind stays away from negative ruminations when set free, that is a sign of a balanced and healthy life. Many people lack balance and health, and for them changing the conditions a bit might be helpful. Knowing and pr
97.
by lanstin 3mo ago
I used to spend a lot of time imagining myself as the captain of a Federation starship :) but I did also read a lot of books. But also, the availability of YouTube changes the utility of descriptive writing. Moby Dick can have pages of text
98.
by lanstin 3mo ago
https://en.wikipedia.org/wiki/Bodhidharma#Wall-gazing
99.
by lanstin 3mo ago
I read my black on white eink reader on walks and occasionally run into poles and things in the sidewalk. Mostly I look up when crossing a street. When I was a kid I would walk slowly around with a Sci Fi book and read it. Never been hit by
100.
by lanstin 3mo ago
Grey scale is amazingly less compelling experience. I have it on for a while but then give in an turn color back on just for the thrill.
101.
by lanstin 3mo ago
I have been doing this new practice I heard on some podcast or something - taking a short brisk walk like every thirty minutes. It was promoted for cardiovascular health, trying to compensate for sitting too much, but I also find it is incr
102.
by lanstin 3mo ago
A formal polynomial over Z is an array of integers with addition and multiplication defined as in the spec above, derived from the ring operations and the normal rules of exponents of variables.
103.
by lanstin 3mo ago
I thought the model was the one person company with enough usage to be worth 1 billion USD. Badly designed systems can hit bottle necks at like a few thousand DB calls per second which a well designed system can handle on one container. Get
104.
by lanstin 3mo ago
There might be a few industries where a technical fix is needed, but having to replace all our infrastructure is always a huge decades long win for the economy. Solar and batteries are made from abundant materials and cheaper than anything
105.
by lanstin 3mo ago
Both unfamiliar and hard. :)
106.
by lanstin 3mo ago
I agree with this - real analysis and functional analysis with have the cognitive complexity of three months worth of the cognitive of software puzzles in each weekly problem set.
107.
by lanstin 3mo ago
And Wikipedia is particularly bad for this. It is a good reference for things I already learned, but for learning, if I am not able to get to a professor, I find math/stack overflow to have many more examples and explanations, and some
108.
by lanstin 3mo ago
I can’t help but believe that reality will keep the interactions more useful when coming from a person with expertise in the field, e At least for technical questions. For things like sickness, old age and death, generally the lacks are not
109.
by lanstin 3mo ago
He is well known for the large numbers of collaborators he has worked with to develop new math in all sorts of fields. Grad students in general wouldn’t be sharp enough to benefit maximally from his skills, but other math professors.
110.
by lanstin 3mo ago
That would only be physically possible if all the data about biology was accessible. Given we routinely find new biological facts that contradict prior beliefs about how cells work, it seems likely that this day of total biological informat
111.
by lanstin 3mo ago
Not likely. You run the risk of bleeding into the crank mathematics language pool which is well represented in the training. I mean the prompts may sound good to you and me, but they will have low probability words in respect to the Tao lev
112.
by lanstin 3mo ago
As long as that N is high enough for each market, it’s good enough. When you are down to 3 producers, well there are reports of tigers there.
113.
by lanstin 3mo ago
Had you heard of these “famous unsolved problems” before now? If you aren’t a trained mathematician, you won’t know where to point the LLM towards achievable goals. Having it solve some Erdos problems is pretty different than a Millenium pr
114.
by lanstin 3mo ago
Like it was so correlated back in 1600? Under the Romans? But perhaps you just mean that the increased financialization of the US economy means that the percentage of economic wealth devoted to actions without value is increasing? Sort of a
115.
by lanstin 3mo ago
The architecture of our modern technological society lies on top of pure maths. One cannot say “resolving the physicality of the Navier-Stokes equation” will lead to x, y or Zed human improvements, but for hundreds of years it has. It is li
116.
by lanstin 3mo ago
For Professor Tao, I think that step is reading thru it once. Which is why the tool is more powerful for him than for us.
117.
by lanstin 3mo ago
One of the concerns of the new LLM made lean proofs is ensuring they are using standard MathLib formulations in the theorem, so (quoting something in I longer recall the source of) a Grothendieck scheme is indeed what the reader and world k
118.
by lanstin 3mo ago
That seems only partially true. I have no doubt it could crank out a UI like Facebook, but having it work for high volume is less well represented in the training data. Things that seems obvious to us, like sharding, using asynchronous mess
119.
by lanstin 3mo ago
And for the harder maths you want something not just to explain the answer but to diagnose your conceptual error behind your questions. Asking the teacher after class or tutorial type systems work efficiently for a reason.
120.
by lanstin 3mo ago
Math professors are remarkably good at answering math questions or solving ad hoc math puzzles correctly. Also at stepping back and asking, why are you trying to show this result, what do you think it has to do with the thing we are trying

More ›