Today ClickUp reduced headcount by 22%

프로젝트 관리 SaaS 기업 ClickUp이 전체 인력의 22%를 감원했다고 CEO Zeb Evans가 밝혔다. 그는 이번 결정이 비용 절감이 아니라 AI 시대에 맞는 '100배 조직(100x org)' 재편을 위한 것이라고 강조했다. 절감된 재원은 잔류 직원에게 재투자하며, AI로 탁월한 성과를 낸 직원에게는 기존 급여 체계를 초과하는 '밀리언달러 샐러리 밴드'를 도입할 계획이다. Evans는 AI가 모든 엔지니어를 생산적으로 만든다는 통념에 반박하며, 실제로는 에이전트를 오케스트레이션·리뷰할 수 있는 최고 엔지니어만 100배의 생산성을 발휘하고, 그 외 인력은 오히려 병목이 된다고 주장했다. PM과 디자이너 역할도 통합되고 있으며, 고객 접점 인력('Front-liner')만큼은 AI로 대체하지 않겠다는 입장이다. 그는 기존 시스템을 점진적으로 개선하는 전략으로는 AI 네이티브 경쟁에서 뒤처진다며, 기존 시스템을 완전히 폐기하고 새로 구축하는 파괴적 전환이 필요하다고 역설했다.

How SpaceX's IPO Cements Elon Musk's Grip on the Company

SpaceX가 기업공개(IPO)를 앞두고 Elon Musk와 내부 경영진에게 사실상 무제한의 경영권을 부여하는 지배구조 정책을 채택했다. 복수의결권 주식(supervoting shares), 주주 제안 강화 요건, 의무적 중재 조항, 텍사스 주법 적용 등을 조합해 일반 주주의 이의 제기 수단을 대폭 제한하는 구조로 설계된 것으로 보인다. 이러한 설계는 Musk 및 내부 경영진의 통제권을 상장 이후에도 사실상 영구적으로 보호하는 효과를 낸다.

Cheap code means formal verification is reasonable now

코딩 에이전트를 효과적으로 활용하는 핵심 기법 중 하나는 검증 가능한 문제를 목표로 에이전트를 '언덕 오르기(hill climb)'하게 하는 것이다. 유닛 테스트 수천 개를 체크리스트로 제공하거나 특정 지표를 최적화하도록 유도하는 방식이 대표적이다. 분산·동시성 시스템 모델링 언어인 TLA+는 이 접근의 유력한 도구로 부상하고 있다. TLA+는 시스템의 가능한 모든 상태를 탐색하는 모델 체커를 갖춰 레이스 컨디션 같은 교묘한 버그를 잡아낼 수 있다. Antfly 개발팀은 에이전트와 TLA+를 결합해 분산 스토리지 시스템의 잠재적 결함을 발견·수정하는 워크플로우를 구축했다. 구체적 절차는 ①모델링 범위 설정(assumptions.md·boundaries.md 작성) → ②에이전트가 TLA+ 스펙 작성 및 체커 실행 → ③버그 발견 시 재현 테스트 작성 후 수정 → ④평신도·CEO·CTO·유지보수 엔지니어 등 다양한 페르소나 대상 설명서 작성 순으로 진행한다. 코드 생성 비용이 급격히 낮아진 현 시점에서 형식 검증은 더 이상 학술적 사치가 아닌 실용적 선택지가 됐다는 주장이다.

What's new in web extensions: I/O 2026 recap

Google I/O 2026에서 Chrome 확장 프로그램 생태계의 대규모 업데이트가 공개됐다. AI의 영향이 개발 현장에서 뚜렷이 나타나고 있는데, 지난 1년간 월간 개발자 등록 수가 두 배 이상 증가했으며 Chrome Web Store 신규 확장 프로그램의 17%가 AI 기능을 탑재하고 있다. Google은 올해 안에 개발자 등록 가능 국가를 120개국 이상으로 확대할 계획이다. AI 코딩 에이전트를 위한 'Modern Web Guidance(MWG)' 확장 프로그램 스킬이 출시됐으며, Chrome DevTools for agents가 확장 프로그램 설치·리로드·디버깅을 지원한다. 팀 협업 측면에서는 Developer Dashboard에 Admin·Item Manager·Viewer 등 세분화된 역할 권한이 도입됐다. 엔터프라이즈 배포 옵션도 개선돼 개발자가 자사뿐 아니라 외부 기업에도 비공개로 확장 프로그램을 배포할 수 있게 됐다. 아울러 Chrome 런타임이 타 주요 브라우저와 동일한 `browser` 전역 네임스페이스를 지원하기 시작해 크로스 브라우저 개발이 수월해질 전망이다.

Google Pushes AI-Generated Ads Further Into Search Results

구글이 기존 표준 검색과 AI Mode 양쪽에서 새로운 광고 포맷 테스트를 시작했다. AI Mode에서는 일부 프롬프트 응답 하단에 브랜드·제품 대상 AI 생성 광고가 노출되며, 표준 검색 결과에는 할인 상품 직접 제안형 광고가 게재된다. 당분간 Gemini에는 광고가 적용되지 않는다. 구글은 AI 환각(hallucination)으로 인한 광고 오류를 방지하기 위해 강력한 보호 장치를 함께 도입한다고 밝혔다.

The Internet can't stop watching Figure AI's humanoid robots handling packages

로보틱스 스타트업 Figure AI가 5월 13일부터 최신 Figure 03 휴머노이드 로봇이 패키지를 컨베이어 벨트에 올리는 장면을 라이브스트림으로 공개해 전 세계적인 화제를 모았다. 원래 8시간 데모로 기획됐으나 폭발적인 반응에 24/7 무중단 스트리밍으로 전환됐다. 로봇은 Helix 02 신경망 시스템으로 구동되며, 1,000시간 이상의 인체 동작 데이터와 20만 개 이상의 병렬 시뮬레이션 환경에서 훈련됐다. 각 로봇은 완전 자율로 작동하며, 배터리 충전이 필요할 때 다른 로봇에게 교대를 자동 요청할 수 있다. 5월 17일에는 인턴 직원 Aimé Gérard와의 '인간 대 기계' 10시간 대결이 펼쳐졌고, 인간이 12,924개 대 12,732개로 간신히 앞섰다(인간 2.79초/개 vs 로봇 2.83초/개). CEO Brett Adcock은 '인간이 이길 마지막 순간'이라고 예측했다. 5월 21일 종료 시 로봇들은 200시간 무결함 작동하며 총 249,560개의 패키지를 처리했다. 일각에서는 진정한 자율성 여부와 독립적 검증 부재에 대한 의구심도 제기됐다.

Experimental Drug Yields Dramatic Weight Loss

제약사 Eli Lilly가 개발 중인 실험적 주사제 retatrutide가 임상시험에서 극적인 체중감량 효과를 보였다. 일부 참가자들은 체중이 지나치게 빠르게 줄어든다는 이유로 스스로 투약을 중단하기도 했다. 가장 고도비만 환자 그룹에서는 위 우회술(gastric bypass surgery)과 견줄 만한 수준의 결과가 나타났다. 다만 고용량 투약 시 위장관 계통의 불쾌한 이상반응이 보고됐으며, 이 부작용으로 인해 임상을 중도 포기한 환자도 있었다.

SpaceX Postpones Launch of Newly Redesigned Starship

스페이스X가 새롭게 재설계한 스타십 로켓의 발사를 연기했다. 발사대 내 부품 오작동이 원인이며, 당일 수정이 완료될 경우 재시도가 가능한 것으로 알려졌다. 이번 시험 임무에는 스타링크 시뮬레이터 20기 배치와 대기권 재진입 시 우주선 표면을 보호하는 내열 타일의 성능 스트레스 테스트가 포함된다. 재설계된 신형 스타십은 저지구궤도(LEO)에 최대 100메트릭톤의 화물을 운반할 수 있도록 설계됐다.