Kevin Lacker

@lacker

Working on math + AI at acornprover.org and telescope software at deepsynoptic.org. Formerly: Parse cofounder, Facebook, Google

Piedmont, California

lacker.io

Replies Reposts Media

Kevin Lacker
@lacker
12h
As I gave Muse some permissions, I was thinking, I would much rather this have zero chance of doing weird stuff, than be superintelligent. I don't need my assistant to have a 200 IQ just to order more trash bags.
Kevin Lacker
@lacker
Sep 15
I'm not sure if the AIs are making progress on "management skills". For example, consider the basics of "managing up", like accurate time estimation, or pushing back when the boss is asking for too much. Are ChatGPT and Claude getting better at these things over time?
1
Kevin Lacker
@lacker
Sep 14
Wouldn't it be funny if in a few years, the limiting factor on software development was not the actual writing of code, but just repeatedly running the tests?
Agentic coding is straining CI. Here’s how we scaled test impact analysis at Anthropic | Claude by...
From claude.com
2
Kevin Lacker
@lacker
Sep 13
This is a good idea beyond just AI. Right now, we don't penalize companies when their bad cybersecurity hurts others. There are millions of hacked webcams and routers out there, because their manufacturers ignore basic security, and there's basically no penalty.
Wojtek Kopczuk 🇵🇱🇺🇦 and 🇺🇲
@wwwojtekk
Sep 13
I suggest simply enforcing penalties for gross negligence due to damages caused by your half-baked products. That would generate a pause without any new regulations or cartel-like agreements.
Kevin Lacker
@lacker
Sep 13
The NP problems are the ones whose answers can be efficiently graded. Thus, post-training an LLM is optimizing an algorithm in P to solve NP problems. So in a sense, working on P vs NP algorithms ended up solving a different one of the Millennium problems.
1