Inicio/ComunidadWhat we have learned at OpenShell applying formal methods to control AI agentsHacker News (AI)·hace 2 mesesen☆1mesAntigüedad5Puntos1ComentariosPublicado15 sept 2026, 14:40 UTCRecolectado15 sept 2026, 16:10 UTCLee el artículo completo en news.ycombinator.com↗Imagen: Hacker News (AI)overfeed.news indexa y enlaza. Publicamos un extracto breve; el artículo completo sigue en Hacker News (AI).Más de Hacker News (AI)Inicia sesión para seguir esta fuenteHacker News (AI)·hace 40 minutos☆Study Hard, Get a Career, Get Ahead? It's Not What It Used to Be↗en▲ 5Hacker News (AI)·hace 2 horas☆Ask HN: What are you doing now that Claude is down?↗en▲ 5Hacker News (AI)·hace 2 horas☆Elevated errors on claude.ai, Claude Code, and platform.claude.com↗ca▲ 5Hacker News (AI)·hace 3 horas☆Claude AI Is Down↗en▲ 6
Hacker News (AI)·hace 40 minutos☆Study Hard, Get a Career, Get Ahead? It's Not What It Used to Be↗en▲ 5
Hacker News (AI)·hace 2 horas☆Elevated errors on claude.ai, Claude Code, and platform.claude.com↗ca▲ 5
