induction b with d hd
rw [add_zero, zero_add]
rfl
rw [add_succ, succ_add]
rw [hd]
rfl
i really enjoyed finally internalizing dependent type theory. it helped a lot with that.HN user
nh23423fefe
It doesn't mis-represent it. If you think that, then you think log plots misrepresent rates.
if humans could do it, it would be called beautiful. defining something to be ugly is cope
Those aren't good reasons at all.
i dont see how compressing the past ruins the present day extrapolation? How does the conclusion change for you if the graph was 3x wider on the left? The title is "rates are rising" is that not true?
Owning productive assets is passe?
Why is this skeptical property anti-realism useful? This argument obviously proves too much.
every instance of a reference to "end of history" is always repeating a misunderstanding of Fukuyama's argument.
end of history doesn't mean nothing will ever happen again
This isn't a good example at all. Those interfaces are subtypes.
It's not in the weights. Sounds to me like jspace is the "positive cone" over relevant (large norm) j-lenses, and j-lenses are gradients wrt tokens on the residual stream when you average over some training data.
Weird not to mention Elm's massive breaking change that killed the project?
Why would your lack of innovation and imagination be an argument against? Aren't you just proving that your intellectual output is low value and replaceable by AI?
Even worse, you are probably lying, you can think of pro-AI arguments but you refuse to give them assent because of bad motivated reasoning?
You are double bad.
Surrogate slavery is going to be a large business one day.
If you are telling me that one day I'll have a robot that cooks, cleans, is a personal assistant, a therapist. Eventually it'll be a chauffeur, babysitter, and obviously sex slave.
Why wouldn't i pay 50000 for that, besides the obvious "you are a creep" like why do I care when it's coming and market forces are going to make it an indistinguishable substitute human a la Joi from blade runner?
Not create an account. Pay money to be on membership tier. The author wants money.
Has anyone done AOP outside of Spring Framework? That's my only exposure and it feels very library level. Nothing I would use as a the primary way to structure the code.
obviously you should go first
Yes yes focus on the mundane and repeat the same low value criticisms ad infinitum.
I only care what the market is at >25 years from now
nah talking to you sucks.
Our main target is the Blackwell generation,
misleading?
speedrun unemployment and destitution for "morals"
dont listen to insane people obsessed with llm hatred. thanks for the article
The endgame is owning equity assets which represent ownership in companies that make profits? I hold these valuable assets and then sell them in the future. What else could it be?
The assets are valuable because they represent ownership of the most productive companies on the planet?
As if being addicted is somehow exonerating. Inverting the valence doesn't work.
its cope
Yes. If you want to avoid paying taxes, ERISA says plan administrators must act as fiduciaries and provide options across risk/reward spectrum.
If you elect "total market index" then you want to own SPCX.
Open a brokerage account and pay taxes if you want something more specific.
If you want your 401k to have an "I hate Elon plan" then what point are you making?
They literally did. Investing in a broad market index means you want to own everything because you can't pick winners.
You just imagine you can pick for no good reason.
cool assertion from 2023
This kind of argument doesn't bother to demonstrate the parallel in the logic. This bad form of argumentation should be labelled non rigorous. Then I would've have read it at all.
You never bothered explaining why saltwater is ai writing and readers are cells, nor what the parallel of immersion or osmotic pressure would be.
You lazily wanted me to fill in the details and be convinced. Why did you create this bad argument and leave it unlabelled.
lol bigotry isnt real