AI 코딩 (Cursor·Copilot·Claude Code)
Cursor, Copilot, Claude Code, AI 에이전트, 프롬프트 엔지니어링 등 AI 코딩 워크플로우 동향.
최신 업데이트
AI 코딩 관련 글 — 83 페이지
- 0
Show HN: 형식적으로 검증된 3D CSG: 93줄 스펙을 신뢰하고, 1000줄 AI 코드는 믿지 마세요.
이 프로젝트는 Lean 4를 사용하여 3D 메쉬 교차 연산을 형식적으로 검증한 사례로, 인간은 짧은 명세만 검토하고 복잡한 AI 생성 코드는 컴파일러를 통해 신뢰성을 확보합니다. 성능보다는 정확성을 우선시하여 AI가 작성한 방대한 증명과 구현 코드가 수학적 스펙을 준수함을 보장하는 것이 핵심입니다.
Show HN: Formally verified 3D CSG: Trust 93 lines spec, not 1000 lines AI code↗github.com
- 6
마이크로소프트와 위즈의 협력 AI 에이전트, 90% 이상의 버그 포착
마이크록소프트와 위즈는 특정 작업에 최적화된 여러 AI 모델을 결합한 에이전트 시스템(MDASH, Project Atlas)을 통해 보안 취약점 탐지 성능을 90% 이상으로 높였습니다. 이들은 대규모 모델과 경량 모델을 적재적소에 배치함으로써 탐지 정확도를 극대화하는 동시에 운영 비용을 최대 50%까지 절감하는 데 성공했습니다.
Microsoft and Wiz mind-meld agents catch more than 90% of bugs↗theregister.com
- 11
I Built TextRecast: A Local Windows Writing Assistant with .NET and an SLM - 저는 TextRecast를 만들었습니다: .NET과 SLM을 활용한 로컬 윈도우 작문 도구
TextRecast는 사용자가 선택한 텍스트를 별도의 웹사이트 이동 없이 로컬에서 즉시 재작성, 요약, 톤 변경할 수 있는 오픈소스 윈도우 유틸리티입니다. Qwen2.5-1.5B 모델을 활용하여 인터넷 연결 없이도 개인정보 유출 우려 없는 안전한 로컬 추론 환경을 구축했습니다.
I Built TextRecast: A Local Windows Writing Assistant with .NET and an SLM↗dev.to
- 13
AgentCore에서 LangGraph과 Strands를 활용한 시장 감시 에이전트
본 기사는 LangGraph의 워크플로우 오케스트레이션과 Strands의 지능형 추론 엔진을 결합하여 복잡한 금융 시장 감시 에이전트를 구축하는 아키텍처를 설명합니다. 특히 Amazon Bedrock AgentCore를 활용해 보안성과 확장성을 갖춘 생산 환경용 멀티 에이전트 시스템을 배포하는 구체적인 방법론을 다룹니다.
Market surveillance agent with LangGraph and Strands on AgentCore↗aws.amazon.com
- 14
교수, AI 부정행위 적발 위해 프롬프트 숨겼지만 인간 본성은 예상대로였네
미시시피주 알코른 주립대의 한 교수가 과제 프롬프트에 보이지 않는 텍스트로 '마다가스카르'라는 단어를 부자연스럽게 포함하라는 지시를 숨겨 AI 부정행위를 적발했습니다. 조사 결과 학생들의 대다수가 AI 생성물을 검토 없이 그대로 제출했으며, 이는 AI 사용이 학습자의 비판적 사고와 주의력을 저하시킬 수 있다는 우려를 뒷받침합니다.
College prof hides prompt to catch AI cheaters, finds human nature is pretty much as we thought↗theregister.com
- 21
Show HN: Orchard – 프롬프트 하나로 AI 에이전트가 앱 백엔드 설정하도록 합니다.
Orchard는 사용자가 원하는 앱의 기능을 자연어로 설명하면 AI 에이전트가 백엔드 설정을 자동으로 완료해 주는 Agentic Cloud 플랫폼입니다. Cursor, Claude 등 주요 AI 코딩 도구와 연동되어 개발자의 인프라 관리 부담을 획기적으로 줄여줍니다.
Show HN: Orchard – Let AI agents set up your app's back end with one prompt↗orchard-dashboard.pages.dev
















