Jocoletter
Today's Letter 1. Mistral, Leanstral 1.5 for Lean 4 released 2. DeepSeek, V4 Preview with 1M Context Released Mistral, Leanstral 1.5 for Lean 4 released * Mistral AI released Leanstral 1.5, a free Apache-2.0 licensed model for proof engineering in Lean 4. * The model has
Jocoletter
오늘의 레터 1. Mistral AI, Leanstral 1.5 공개 2. DeepSeek, V4 Preview 공개 및 API 지원 Mistral AI, Leanstral 1.5 공개 * Mistral AI가 7월 2일 Lean 4용 정형 검증 모델 Leanstral 1.5를 공개함 * Apache-2.0 라이선스의 무료 공개 모델이며, 총 119B 파라미터 중 6B만 활성화되는 구조라고 밝힘
Jocoletter
Today's Letter 1. Google Cloud, Gemini Code Assist GitHub consumer tier sunset set for July 17 2. GitHub, Kimi K2.7 Code in GitHub Copilot 3. Vercel, Flags segments management added to CLI 4. GitHub, Copilot usage metrics reports updated Google Cloud, Gemini Code Assist GitHub consumer tier
Jocoletter
오늘의 레터 1. Google Cloud, Gemini Code Assist 소비자 버전 종료 예고 2. Kimi K2.7 Code, GitHub Copilot 정식 제공 3. Vercel, Flags 세그먼트 CLI 관리 지원 4. GitHub, Copilot 사용량 지표 정확도 개선 Google Cloud, Gemini Code Assist 소비자 버전 종료 예고 * Google Cloud 문서에 따르면 Gemini Code
Jocoletter
Today's Letter 1. AWS Bedrock adds GPT OSS and Nemotron in GovCloud 2. Vercel adds Service Bindings for internal service calls 3. GitHub Copilot adds Kimi K2.7 Code as first open-weight model AWS Bedrock adds GPT OSS and Nemotron in GovCloud * Amazon Bedrock in AWS GovCloud (US)
Jocoletter
오늘의 레터 1. AWS, GovCloud에 GPT OSS·Nemotron 추가 2. Vercel, 서비스 간 내부 통신 바인딩 공개 3. GitHub Copilot, Kimi K2.7 Code 정식 제공 AWS, GovCloud에 GPT OSS·Nemotron 추가 * AWS가 7월 1일 Amazon Bedrock의 AWS GovCloud(US) 환경에 OpenAI GPT OSS와 NVIDIA Nemotron 오픈웨이트 모델 지원을 추가함
Jocoletter
Today's Letter 1. GitHub Copilot adds Claude Sonnet 5 GA 2. Google, Nano Banana 2 Lite and Gemini Omni Flash introduced 3. Vercel adds Dockerfile deployments on Fluid Compute GitHub Copilot adds Claude Sonnet 5 GA * GitHub made Anthropic's Claude Sonnet 5 generally available in GitHub
Jocoletter
오늘의 레터 1. GitHub Copilot, Claude Sonnet 5 정식 지원 2. Google, Nano Banana 2 Lite·Gemini Omni Flash 공개 3. Vercel, Dockerfile 기반 컨테이너 배포 지원 GitHub Copilot, Claude Sonnet 5 정식 지원 * GitHub가 2026년 6월 30일 GitHub Copilot에서 Anthropic의 Claude Sonnet 5를 정식 지원한다고 발표함 * Claude Sonnet 5는
Jocoletter
Today's Letter 1. GitHub Copilot adds Claude Opus 4.8 fast mode preview 2. Vercel adds Dockerfile deployment on Fluid Compute 3. Hugging Face adds EEE eval results to model pages GitHub Copilot adds Claude Opus 4.8 fast mode preview * GitHub started rolling out Claude Opus 4.
Jocoletter
오늘의 레터 1. GitHub Copilot, Claude Opus 4.8 빠른 모드 프리뷰 2. Vercel, Dockerfile 기반 컨테이너 배포 지원 3. Hugging Face, 모델 페이지에 EEE 평가 연동 GitHub Copilot, Claude Opus 4.8 빠른 모드 프리뷰 * GitHub이 6월 29일 GitHub Copilot에서 Claude Opus 4.8 빠른 모드 프리뷰 롤아웃을 시작함
Jocoletter
Today's Letter 1. OpenAI previews GPT-5.6 Sol, Terra, and Luna 2. Vercel CLI, Speed Insights query support added OpenAI previews GPT-5.6 Sol, Terra, and Luna * OpenAI introduced the GPT-5.6 family with three tiers: Sol, Terra, and Luna. * Initial access is limited to about 20 partner
Jocoletter
오늘의 레터 1. OpenAI, GPT-5.6 Sol·Terra·Luna 프리뷰 공개 2. Vercel, CLI에서 Speed Insights 조회 지원 OpenAI, GPT-5.6 Sol·Terra·Luna 프리뷰 공개 * OpenAI가 GPT-5.6 계열 3종 Sol·Terra·Luna를 제한적 프리뷰 형태로 공개함 * Sol은 복잡한 코딩·보안 연구용, Terra는 고객지원·문서 분석 같은 대량 업무용,