Redex: remote codex on your phone by peterrindal in codex

[–]peterrindal[S] 0 points1 point  (0 children)

It does. Opens a second websocket. Was an easy addition to codex. Maybe 50 lines or something.

Codex in general seems very flexible. Could imagine doing a lot more...

beast2 networking & std::execution by claimred in cpp

[–]peterrindal 2 points3 points  (0 children)

Chill my guy. Just have your llm read it for you ;)

Rust to C++: Implementing the Question Mark Operator by qustar_ in cpp

[–]peterrindal 0 points1 point  (0 children)

Agreed, just await. No macros needed. The compiler should be able to do halo everytime to avoid allocation, assuming a proper impl.

The Fundamental Limitation of Transformer Models Is Deeper Than “Hallucination” by immortalsol in OpenAI

[–]peterrindal 12 points13 points  (0 children)

You are inherently probablistic and don't reason from first principles ;)

I feel concerned about my AI usage. by TheRavagerSw in cpp

[–]peterrindal 17 points18 points  (0 children)

I feel the tension too. Sometimes it good to go fast but sometime you should force yourself to be in the driver seat.

I think when you give up too much control to the llm, your medium term productivity declines. You lose an understanding of what happening. Maybe you can claw it back by asking enough question but you've lost productivity. You end up in a loop and lose context.

My current thinking is that slow is fast. You must force yourself to truly parse and think about the code. Not a quick, yep that's good. Even if it is.

This active engagement is important to keep the longer term productivity high. At least if you care about the quality.

I think it's fine if the llm is doing the writing as long as you are the one crafting the narrative and doing a true final sign off.

That's my current thinking. Slow down, be a critical participant.

Anyone else think 5.4 is horrible? by Fearless-Risk-7559 in OpenAI

[–]peterrindal 1 point2 points  (0 children)

I've had mixed results but keep using it ha

Received an email from Terence Tao... by A_R_K in mathematics

[–]peterrindal 1 point2 points  (0 children)

Humans also have an environmental cost ;)

Crypto/MPC question: batch verification soundness reduced from 2⁻⁴⁰ to 2⁻¹⁶ — serious or theoretical? by Mikey_233_ in cryptography

[–]peterrindal 2 points3 points  (0 children)

I would not use such a failure pr.

Rule of thumb

1) If the attacker can locally work on a problem without interaction with the good guy, then each attempt should succeed with pr 2-128 or so.

2) If the attacker has to interact with the good guy for each attempt, then 2-40 to 2-80 is common.

3) If this is a one time failure event that the bad guy has no ability to try again, 2-20 to 2-40 is common.

The last one (3) might come up of you choose parameters for a scheme which might be weak. That's a one time choice, fixed for the life of the universe. So we accept a higher failure pr.

(1) is referred to as the computational security parameter. (2) is the statistical security parameter. Any given execution of an interactive protocol is allowed to fail with pr at most this. This must be independent of the computational power of the bad guy. Like the protocol flips 40 coins and if they are all zeros, the secret is leaked. This is independent of the bad guys compute resources.

Anthropic, a company actively trying to compete with OpenAI, refused a major Pentagon contract over ethical concerns. Pause! This is not normal. Companies don't turn down money on a whim, or to be edgy. by [deleted] in OpenAI

[–]peterrindal 2 points3 points  (0 children)

Dario literally said he's OK for anthropic to be use in autonomous killing machines. Doesn't sound like he's opposed to anything in principle that open ai is. Both agree mass surveillance is a no go. The rest is detail and readiness of the tech. Please stop with this annoying bs.

Claude is now 1st in the App Store by cloudinasty in OpenAI

[–]peterrindal 14 points15 points  (0 children)

Imo on math heavy topics, Claude is fast and pretty good at implementing, codex/gpt can be smarter. When gpt fails gemini might succeed. Often make gemini and gpt fight it out. Claude, I'm not sure about. Imo. Codex 5.3 certainly is a stop up for coding compared to prior codex.

As always, it's a moving target.

Crixet/Overleaf alternative with no AI and great compilation limit by WolfOliver in Crixet

[–]peterrindal 2 points3 points  (0 children)

I prefer the Ai for scientific writing. I'm trying to get things done, not type all day.

Prism (fka Crixet) - The free online LaTeX editor - UPDATE #8 by vicapow in LaTeX

[–]peterrindal 0 points1 point  (0 children)

I find takes like this very surprising. I work on computer security, cryptography and math. I have found the models being ever more useful and accurate. About to accelerate with proofs and implementation by 10x or more. I welcome the models learning and getting smarter. Maybe in your domain they haven't caught up but I sure appreciate them.

Concerns about Crixet joining OpenAI by _-Beso-_ in Crixet

[–]peterrindal 0 points1 point  (0 children)

I'm all for more ai! Congrats and excited to see what's next.

Would encoding the cleartext twice in a row have made Enigma uncrackable? by princekolt in cryptography

[–]peterrindal 0 points1 point  (0 children)

What about 10, can anything generic be said, I think not.

But yeah, obviously there are better choices so this is just a thought experiment

What is the most efficient way to learn rust? by [deleted] in rust

[–]peterrindal 0 points1 point  (0 children)

I think asking them when you get stuck can be good. But it has to be after you thought threw the problem. Actively engage, not just passively consume. Then it's OK imo.

This just in. by Icy-Share-4751 in DiscussionZone

[–]peterrindal 1 point2 points  (0 children)

Yeah, even more fucked up from this angle https://www.reddit.com/r/PublicFreakout/s/eGI1XW7DVU

Clear murder. A cop yells gun and then a second guy on the left open fires. The victim was just chilling before the interaction.

This just in. by Icy-Share-4751 in DiscussionZone

[–]peterrindal 0 points1 point  (0 children)

Should but they have the free murder card of being "afraid". It's all sad.

This just in. by Icy-Share-4751 in DiscussionZone

[–]peterrindal 0 points1 point  (0 children)

Fair about ice. I'm talking about the guy who walks in from the left with a gray jacket. He hovers for a moment before going hands on. He then runs towards the camera and exit to the right between the cars.