Mastodawn

PyCon US 2026 Typing Summit Recap

PyCon US 2026 Typing Summit에서는 Python 타입 시스템의 최신 연구와 발전 방향이 논의되었다. Meta의 Pyrefly 팀은 AI 코딩 에이전트에 타입 체커를 통합해 잘 타입된 코드에서 성공률과 효율성을 개선하는 실험 결과를 발표했다. Douglas Creager는 Python 제네릭 함수 호출의 타입 제약을 다루는 새로운 solver 전략을 소개했고, Jia Chen은 Lean 4를 활용한 Python 타입 시스템의 형식적 검증 프로젝트를 공유했다. 또한, 타입 시스템 확장과 AI 도구 활용에 관한 여러 오픈 이슈가 제기되었다.

https://bernat.tech/posts/pycon-us-2026-typing-summit-recap/

#python #typing #aicodingagents #formalverification #pyrefly

PyCon US 2026 Typing Summit Recap

Per-talk notes from the PyCon US 2026 Typing Summit in Long Beach: Pyrefly and AI agents, ty constraint sets, Lean formalization, tensor shape types, intersection types, PEP 827, Guido on the direction of typing, and the Typing Council Q&A.

Bernát Gábor — Python packaging, tox, virtualenv & open source

NERDS.xyz – Real Tech News for Real Nerds [Unofficial]3d ago

OpenAI says Windows lacked the sandboxing tools Linux already had

https://fed.brid.gy/r/https://nerds.xyz/2026/05/openai-linux-windows-codex-sandbox/

Codeaholicguy 3d ago

The new 10x Engineer with AI

The idea of the “10x engineer” has always been a bit controversial. Some people see it as a myth. Some people see it as a harmful label that creates hero culture. Some people have worked with engineers who clearly create much more impact than others, and believe the idea is real. I sit somewhere in the middle. I don’t think a 10x engineer means someone who writes 10x more code than everyone else. That version of the idea was never useful to me. Writing more code is not the same as […]

https://codeaholicguy.com/2026/05/13/the-new-10x-engineer-with-ai/

sayzard 5d ago

MartinLoop – budget caps and audit trails for AI coding agents

MartinLoop은 자율 AI 코딩 에이전트의 무한 재시도 문제를 해결하기 위한 거버넌스 레이어로, 예산 한도, 정책 검사, 검증 게이트, 롤백 증거, 실행 기록을 제공한다. 이를 통해 예산 초과 지출, 무한 반복, 안전하지 않은 작업 실행을 방지하고, 작업 실패 시 명확한 감사 추적을 남겨 신뢰성과 안전성을 높인다. NVIDIA Inception 프로그램에 선정되었으며, CLI와 SDK 형태로 제공되어 즉시 활용 가능하다. Ralph 스타일의 무한 루프 문제를 사전에 차단하여 AI 코딩 에이전트 운영의 경제성과 안정성을 크게 개선한다.

https://github.com/Keesan12/Martin-Loop

#aicodingagents #autonomousagents #budgetgovernance #audittrail #martinloop

GitHub - Keesan12/martin-loop: Martin Loop — The control plane for autonomous AI coding agents.

Martin Loop — The control plane for autonomous AI coding agents. - Keesan12/martin-loop

GitHub

sayzard May 8

Agentic Coding at ClickHouse

ClickHouse는 2025년부터 AI 코딩 에이전트를 도입해 내부 도구 개발과 반복 작업 자동화에 활용해왔다. 특히 Claude Opus 4.5 모델 도입 이후 C++ 대형 코드베이스 작업에도 에이전트가 실무에 유용하다는 평가를 받았다. 현재는 CLI 기반 에이전트를 주로 사용하며, 다중 에이전트 자율 코딩 단계로 발전 중이다. AI 코딩은 단순 코드 복사 수준을 넘어 IDE 및 CLI 통합, 자동화된 피드백 루프 등 다양한 수준으로 진화하고 있다. ClickHouse는 AI 활용을 강제하지 않고 실무에 맞는 활용 사례를 중심으로 점진적 도입을 권장한다.

https://clickhouse.com/blog/agentic-coding

#agenticcoding #clickhouse #claudecode #aicodingagents #cpp

Agentic coding at ClickHouse

How to remain competitive in the AI era of software engineering

ClickHouse

HackerNoon May 8

Why IDEs remain central to AI-assisted software development despite the rise of coding agents, CLIs, and autonomous tooling. https://hackernoon.com/the-ide-isnt-dead #aicodingagents

The IDE Isn't Dead! | HackerNoon

Why IDEs remain central to AI-assisted software development despite the rise of coding agents, CLIs, and autonomous tooling.

Analyst207 May 7

Cline Kanban Flaw Exposes AI Coding Agents to Website Hijacking

A critical vulnerability in Cline Kanban's WebSocket endpoints lets hackers hijack websites visited by developers, silently interacting with local AI agents - and it's a flaw that requires zero phishing, malware, or social engineering. This severe flaw, scoring 9.7 on the CVSS scale, puts AI coding agents at risk of website…

https://osintsights.com/cline-kanban-flaw-exposes-ai-coding-agents-to-website-hijacking?utm_source=mastodon&utm_medium=social

#WebsiteHijacking #AiCodingAgents #Vulnerability #ClineKanban #WebsocketEndpoints

Cline Kanban Flaw Exposes AI Coding Agents to Website Hijacking

Learn how the Cline Kanban flaw exposes AI coding agents to website hijacking and take immediate action to secure your project management interface now.

OSINTSights

sayzard May 6

Programming Is Real Engineering, and AI Proves It
이 글은 프로그래밍이 진정한 공학 분야임을 강조하며, AI 코딩 에이전트의 성공이 이를 증명한다고 주장한다. 소프트웨어 공학은 단위 테스트, 통합 테스트, 소스 제어 등 체계적인 공학적 프로세스를 갖추고 있어 AI가 효과적으로 작동할 수 있는 환경을 제공한다. 다른 공학 분야는 이러한 수준의 자동화 및 자기 개선 메커니즘을 갖추기 어려워, 프로그래밍 분야만의 독특한 강점으로 작용한다. 따라서 프로그래밍은 단순한 코딩을 넘어 진정한 공학으로 인정받아야 한다는 메시지를 전달한다.

https://jerf.org/iri/post/2026/programming_is_engineering/

#softwareengineering #aicodingagents #programming #automation #testing