I love to automate stuffs, mostly using web pages nowadays
Most venezuelans would gladly give all the oil if it meant this criminals left power
Most venezuelans would gladly give all the oil if it meant this criminals left power
is it 10% safer?
100%?
10x safer?
100x safer?
What are the orders of magnitudes we are dealing with?
is it 10% safer?
100%?
10x safer?
100x safer?
What are the orders of magnitudes we are dealing with?
And to verify you need to know some stuffs
And to verify you need to know some stuffs
Anti money laundering laws usually look like a medicine that is worst than the disease
Anti money laundering laws usually look like a medicine that is worst than the disease
the skill to read your blog and extract skills from each one of your posts
the skill to read your blog and extract skills from each one of your posts
"welcoming ass chick posture"
"welcoming ass chick posture"
Seems like something I want to replicate
Seems like something I want to replicate
What is the tool doing?
It seems like a bunch of prompts to encourage Claude to follow a specific type of process, but is it doing more than that? or am I failing to see the potential in that?
What is the tool doing?
It seems like a bunch of prompts to encourage Claude to follow a specific type of process, but is it doing more than that? or am I failing to see the potential in that?
It's forwarding the code to a server where Lean runs.
BTW, can lean 4 run on the browser via WASM? Is there any plan for it?
It's forwarding the code to a server where Lean runs.
BTW, can lean 4 run on the browser via WASM? Is there any plan for it?
I find it a bit counterintuitive that this ☝️strategy performs worse 🫤
I find it a bit counterintuitive that this ☝️strategy performs worse 🫤
increase your "trust score" toward people who liked that reply.
I don't think that's a good idea
people like things motivated by different reasons, and sometimes there's misunderstandings and lack of context, which means the signal-to-noise ratio of that signal is low
increase your "trust score" toward people who liked that reply.
I don't think that's a good idea
people like things motivated by different reasons, and sometimes there's misunderstandings and lack of context, which means the signal-to-noise ratio of that signal is low
I assume that includes RL
Of course, that doesn't rule out that it could be reduced to negligible amounts and make it work in practice, is this what you mean?
I assume that includes RL
Of course, that doesn't rule out that it could be reduced to negligible amounts and make it work in practice, is this what you mean?