nbulka

I use File -> Save Page As ... does a good enough job, I just have to keep a folder on my computer.

The absolute worst and the reason I switched from Anthropic to Codex. Codex caught wind of it of course and now they do use the unsuspecting message: We are reviewing this request (do you mean hoping to train on it? or reviewing?) and if you would like to use a different model, press the "any" key. I wonder if they collect the data they make a point to collect, that would make so much sense ... we need to speak out against these type of data collection patterns. Terrible UX and a dark pattern for them to use the same "accept" buttons of 1, 2, 3 etc. The irony is that THESE feedback messages are the sole thing driving me to consider running open source models locally.

Incidentally by design, I'd bet. "Ooo Lean! Terrence Tao could be trying to break RSA or elliptic curve cryptography! /s" Conveniently for the PR team, we need this data to train on to make sure America has the biggest and best math.

What are the similarities and differences with something like the BP oil spill? Were people charged for that? Corporations are the closest analogue we have to cancer, unfortunately. They grow at all costs and forget their humanity.

Not necessarily monkeys but thinking in Lean first is quite plausible

If you’ve tried any formalizing in codex Astra often works solely in Lean

At first I was mad you beat me to the punch but I guess order doesn't matter.

I really wish the models were smart enough to "tail their own logs" and tell us whose work/papers/chats were the catalyst for these math insights. What makes their "internal" model so much better at math? Must be trained on a whole lot of honesty.

He seems genuinely interested in Surreal numbers. Seems like he found value in exploring them and the Lean process, devoting time and interest to it and understanding what it's like to be a mathematician. I think a lot of people who go into Computer Science may have been mathematicians in the 30s before they became separate majors at the university level.

Shouldn't the cybersecurity tests be done on an airgapped, company-internal intranet? A network meant to mock the internet. Do not "test in production" like OpenAI did.

I'm mulling over if that be a good SaaS product or not - something mixing the Internet Archive with Tor, and Cloudflare ... seems like here is the place to suggest it and have others poke holes at the idea.

When I drive by a Flock camera, my streaming music in my 2014 Rav starts to get scrambled. These cameras are intercepting bluetooth. It seems Toyota didn't account for that latency :facepalm:

Seriously ... the more things they flag as 'suspicious' the more data they can train on!! Brilliant reason for the internal AI to go rogue

Or everyone is stealing from everyone, including users... maybe why all the ethics people are leaving or getting fired. What a fiasco

There's a loophole in the terms of service at least for Anthropic which allows the use of dark patterns to "borrow" your (even paid) data.

talking about this... Was this chat helpful? 1 That button you always click, gotcha! 2 Slightly 3 Good 0 Dismiss

PLEASE DO NOT TRAIN ON OUR PAID ACCOUNTS. There is a fundamental trust violation at stake here, no wonder mathematicians are mad. Using our data should be opt - IN!

And people give Platonists a hard time …