The papers describing lean and it's core operations are deliberately small. The kernel of a theorem prover is meant to be such that a human can check it for correctness. The kernel does not include things like type…
Hey now... If you have a formulation in type theory (lean is not set theory), then you can translate to homotopy type theory fairly easily
of course it has a read write head. In fact it has N read / write heads equal to the size of the context since each latent state is updated with the results of the cross attention mechanism at each step. Alternatively,…
It's not contradictory at all. The dfa at each step of the turing machine model is also o(1).
For the umpteenth time a transformer is an arbitrary turning machine due to the fact that it has a theoretically limitless tape (the context). A single transformer step is simply O(1) (for a particular parameter size),…
This is why I bought real estate in the bull market of the last decade.
That's a surmountable political problem
No because companies trade at multiples of revenue. A $10/yr in revenue company would trade at a total market cap of like $200. That $190 is new money.
Completely false. If I start a company spending $5 in capital and issue ten shares worth 50 cents each, and later on my revenue from that company reaches $10 through my labor (or the labor of the employees I paid), then…
I mean ... The thing about formal verification is that you can write the extremely slow but correct version of your code and then have an optimizer write a much more efficient version with a proof of correctness. For…
Triangles are the simplest 2-d polytope?
Nice performance. Just looking at the triangles, some of them seem a bit tiny. Does that cause rendering problems at all?
I mean I've been part of many community organizations so I'm not surprised, but interesting to note nonetheless!
You mean you joined the party leadership by going to meetings and such? I'm curious. Can you expand on what you mean by disengagement?
Welcome to fatherhood.
And in that time, if not for COVID, people would have been choosing to live in cities for one of the first times in American history. Before COVID America was seeing a resurgence of city life.
Not really. Third world countries have more orderly cities than America with people in much more destitution. I've lived in many and my parents grew up in one. The idea that it's just that is just silly imo.
> Ethnonationalism is the last refuge of scoundrels It is but we must also realize that 'land acknowledgements' , 'indigenous reservations', etc are also ethnonationalisms.
Except India and China are places where the 'american dream' are taking place in droves today. > When you become homeless the first thing to go are dignity, self-confidence and in short order The data on American…
Not really. Real estate is exceptionally easy because of how ridiculous mortgage terms are. I'm a bit of a heterodox in my thinking. If people want to do it then it is definitely made easy. I mean a 600-800k duplex can…
It's a personality thing. I literally don't need anything and hate spending money and am miserly as a hobby.
On the other hand most of this stuff is much less work than you think.
The marxists are correct there is the wage earning class and also the ownership class They are incorrect in that there is no strict separation of the two. Anyone in tech can easily enter the ownership class. American…
Waking up suddenly in anxiety is a classic symptom. My main symptom was daytime drowsiness, esp while driving despite feeling fine. That plus just not performing my best. Speaking of the running.. I would get winded…
I was like you. A year ago, I was tired as hell despite sleeping (well, not enough, but I've never slept 'enough'). A few people said sleep apnea but i was not overweight and didn't snore. I tried the test anyway, and…
The papers describing lean and it's core operations are deliberately small. The kernel of a theorem prover is meant to be such that a human can check it for correctness. The kernel does not include things like type…
Hey now... If you have a formulation in type theory (lean is not set theory), then you can translate to homotopy type theory fairly easily
of course it has a read write head. In fact it has N read / write heads equal to the size of the context since each latent state is updated with the results of the cross attention mechanism at each step. Alternatively,…
It's not contradictory at all. The dfa at each step of the turing machine model is also o(1).
For the umpteenth time a transformer is an arbitrary turning machine due to the fact that it has a theoretically limitless tape (the context). A single transformer step is simply O(1) (for a particular parameter size),…
This is why I bought real estate in the bull market of the last decade.
That's a surmountable political problem
No because companies trade at multiples of revenue. A $10/yr in revenue company would trade at a total market cap of like $200. That $190 is new money.
Completely false. If I start a company spending $5 in capital and issue ten shares worth 50 cents each, and later on my revenue from that company reaches $10 through my labor (or the labor of the employees I paid), then…
I mean ... The thing about formal verification is that you can write the extremely slow but correct version of your code and then have an optimizer write a much more efficient version with a proof of correctness. For…
Triangles are the simplest 2-d polytope?
Nice performance. Just looking at the triangles, some of them seem a bit tiny. Does that cause rendering problems at all?
I mean I've been part of many community organizations so I'm not surprised, but interesting to note nonetheless!
You mean you joined the party leadership by going to meetings and such? I'm curious. Can you expand on what you mean by disengagement?
Welcome to fatherhood.
And in that time, if not for COVID, people would have been choosing to live in cities for one of the first times in American history. Before COVID America was seeing a resurgence of city life.
Not really. Third world countries have more orderly cities than America with people in much more destitution. I've lived in many and my parents grew up in one. The idea that it's just that is just silly imo.
> Ethnonationalism is the last refuge of scoundrels It is but we must also realize that 'land acknowledgements' , 'indigenous reservations', etc are also ethnonationalisms.
Except India and China are places where the 'american dream' are taking place in droves today. > When you become homeless the first thing to go are dignity, self-confidence and in short order The data on American…
Not really. Real estate is exceptionally easy because of how ridiculous mortgage terms are. I'm a bit of a heterodox in my thinking. If people want to do it then it is definitely made easy. I mean a 600-800k duplex can…
It's a personality thing. I literally don't need anything and hate spending money and am miserly as a hobby.
On the other hand most of this stuff is much less work than you think.
The marxists are correct there is the wage earning class and also the ownership class They are incorrect in that there is no strict separation of the two. Anyone in tech can easily enter the ownership class. American…
Waking up suddenly in anxiety is a classic symptom. My main symptom was daytime drowsiness, esp while driving despite feeling fine. That plus just not performing my best. Speaking of the running.. I would get winded…
I was like you. A year ago, I was tired as hell despite sleeping (well, not enough, but I've never slept 'enough'). A few people said sleep apnea but i was not overweight and didn't snore. I tried the test anyway, and…