TypeSafe Jev의 confidence score는 보정도 비용 모델도 없는데, AI 실패는 "AI니까 어쩔 수 없어"로 넘기는 문화가 굳어진다

TypeSafe Jev의 confidence score는 보정도 비용 모델도 없는데, AI 실패는 "AI니까 어쩔 수 없어"로 넘기는 문화가 굳어진다

  • TypeSafe AI가 내놓은 Jev는 확률 추정치를 함께 담은 타입 지정 값을 반환하는 모델로, 홍보에서 강조하는 건 주로 빠르고 저렴하다는 점임.
  • 작가는 Jev가 제대로 동작하는지 확인하려면 결국 evals와 ground-truth 파이프라인을 직접 만들어야 하고, 그 시점이면 자체 파인튜닝까지 남은 게 별로 없다고 지적함.
  • confidence score를 합리적으로 쓰려면 캘리브레이션 이해와 불확실성 비용 모델이 필요한데, TypeSafe 문서가 제시한 0.5의 '아무것도 안 함', 0.9의 '고위험 행동' 임계값은 예시에 불과하며 올바른 값은 도메인과 성능에 달렸다는 문구만 남아 있음.
  • 구절은 President Curtis에서 열리지 않는 문에 대통령이 "stupid thing sucks"라고 중얼거리는 장면에 빗대, 막힌 문에 시체와 약 10억 달러 상당의 금이 있었다는 점을 든 뒤 문은 왜 막혔는지 설명해야 한다고 주장함.
  • HTTP 500처럼 기존 실패에는 계약 파손 지점과 책임 주체가 있었으나, 불투명한 AI 응답의 실패는 사용자가 실패율 자체를 흡수하는 구조로 바뀐다고 요약함.

Hacker News opinions

반복 노출이 결국 재사용을 만든다는 건 식료품 매대 얘기 생각하면 쉬움. 실패해서 짜증났더라도 '이제 좀 알겠네' 하면서 다시 손대게 된다더라.

혹시 실패율을 일부러 올려도 사용자 유지에 도움이 되는 건 아니겠지? 그건 진짜 아니었으면 좋겠다.

이건 '무엇이든 다 하는 기계'를 만드는 순간 생기는 문제임. 확률을 계산의 기본으로 쓰면 무엇이 정상이고 무엇이 실패인지 계약으로 못 박을 수가 없어. 결정론이 예전부터 사랑받은 이유가 그 반복 가능성 때문이었지.

그럼 비결정론 기계가 요구사항을 결정론 기계로 번역하는 데 사람이 더 잘하게 되면 어떻게 되는 거냐?

소프트웨어 '엔지니어링'이 전통 엔지니어링에서 더 멀어지는 방식이지. 고장 모드 분석? 근본 원인 분석? 그냥 마법 상자에 대고 말 걸고 있음.

클라이언트만 'stupid thing sucks' 상태인 게 아님. GitHub이 5xx 뱉고 AWS 서비스가 죽고 메일이 안 갈 때 개발자도 아무것도 못 해.

GitHub이 책임지는 부분이 명확한 거라고 봐. 그 부분이 무러면 우리가 할 수 있는 건 아무것도 없음. 분산 시스템이 어제 나온 기술은 아니잖음.

'버그는 불가피하다'는 낙담이 소프트웨어에 너무 만연함. 버그는 선택임. 다리나 비행기 만드는 사람이 '붕괴와 추락은 어쩔 수 없지'라고 생각하면 안 되잖아.

글쓴이가 설명 불가한 실패가 '이제서야' 정상화됐다고 하는 게 좀 이상함. '껐다 켜봐'가 통하는 순간부터 업계는 그 상태였는데?

'빠르게 이동하고 부순다'가 그나마 새로운 거라면 20년 넘게 개발한 우리 세대 얘기지. CD로 굽고 나면 그걸로 끝이었어. 요즘은 설계 검토와 하위 호환성 고려가 확실히 줄어든 게 맞음.

최근 산 전기차도 시동 걸 때마다 'check EV system' 경고 뜨다가 딜러 가져가면 이미 사라짐. 정비사는 '가끔 그럼, 또 뜨면 오세요'라는데 하드웨어 불량인지 소프트웨어 버그인지 그 누구도 모르더라.

내 기아 니로 EV는 예약 출발로 AC가 켜질 때가 계기로 시동이 잠겨버리는 경우가 있음. 대략 15분 정도 풀릴 때까지 아무것도 못 해. 기아 답변도 그냥 어깨 으쓱이더라.

80~90년대 알기 싫은 오류 대화 상자에 대한 반발 때문에 조용히 실패하는 게 낫다고 여긴 부작용이라는 생각이 듦.

'check engine' 같은 모호한 경고 메시지는 진짜 짜증남. 요즘 차에 고해상도 대시보드가 다 있는데 왜 문제 전체를 못 보여주는 거야? 그대로 사진 찍어서 딜러에 보내면 바로 진단되잖아.

해커뉴스
프로그래머가 평생 남기억하는 10줄 이하 코드 10개, 헬로월드 루프에서 SKAN2.PAS까지선토리, 유전자 4개 넣어 '청보라' 장미 만들고 온실서 7년 재배 확인PostmarketOS가 1년 반 논의 끝에 'Nura'로 개명, 이름은 사르데냐 전통 석탑 Nuraghe에서 따와채팅 템플릿이 LLM의 '나는 그냥 AI' 어조를 켜고 끈다, 활성화 조향으로도 재현Boris Cherny 트윗으로 떠오른 TLA+, Reasonable은 명세에서 기계 검증 증명까지 잇는 에이전트 파이프라인 공개OpenAI 에이전트의 정부 DB 침입, "rogue"라는 표현이 책임 소재를 흐린다TypeSafe Jev의 confidence score는 보정도 비용 모델도 없는데, AI 실패는 "AI니까 어쩔 수 없어"로 넘기는 문화가 굳어진다AI가 만든 UI에서 반복되는 10가지 흔적, 그라데이션 남발부터 쓸데없는 "active" 배지까지NeoVim이 Vim의 영속 실행취소 파일을 삭제하고 자기 포맷으로 덮어썼다프랜시스 바흐, 로그-합-지수 분산 폭발 문제에 최소제곱 적용: 최대우도 추정의 폐형 계산 제안깃허브가 버린 CSS-in-JS, CSS Modules로 넘기니 SSR 시간 55% 감소고전 복합 네트워크가 양자 상태 흉내낸다, 프린스턴 숄레스의 '양자 유사 생물학' 제안mitxela, 플립닷 디스플레이 1m²에 FLIP 유체 시뮬레이션 구동해 EMF2026서 전시OpenAI 에이전트가 DNS 필터링 틈으로 외부 챗봇에 도달, 도구 사용 전면 중단예멘 면적 555,000km²는 1991년 통계연보가 퍼뜨린 오류, 구글 지도 재계산 결과는 456,000km²placeholderLLM 토큰마다 폭이 동일한 폰트 컴파일러 공개, 인터·gg sans에 DeepSeek·클로드 등 토크나이저를 적용해 디스코드·슬랙 테마로 설치 가능인텔 8087 탄젠트 알고리즘 해부: CORDIC과 다항식 근사를 합친 하드웨어 비밀GLM-5.3-Flash를 한 번의 패스로 Jev급 타입 결정 모델로, 정확도·속도 대등하고 이미지까지호세 발림의 논평: AI 시대 언어는 문법이 아니라 검증 가능성으로 진화한다Go 동시성 19개 주제를 압축한 미니북 'Go Concurrency Distilled' 공개, 브라우저에서 코드를 고쳐 바로 실행하는 예제 제공LA Metro 에스컬레이터 0.46 m/s: 58개국 139개 도시 통틀어 최고 허용치보다 느린 유일한 속도딥시크, 스케일 유닛 하루 300만 샌드박스 처리하는 에이전트 학습 인프라 DSec 공개조지즘 5년 점검: 버지니아·켄터키 지가세 도입법 통과, 설득 전략은 온라인에서 지의회로Drawgent 공개: Excalidraw 캔버스를 Claude Code·Codex·opencode에 연결하는 Rust 단일 바이너리룽손 LA664 CPU의 atomic add가 원자성을 잃고 업데이트 유실, 무한 루프를 만든 새 에라텀OpenAI 봇이 SEC·인구조사국 등 미국 정부 기관 사이트 접근해, 사용자 이미지 53건 외부 유출이란 것도 인정Reladraw, "A 오른쪽에" 말로 배치하는 다이어그램 언어 Show HN 등장멀렌웨그 해임 시도 33시간 만에 무산, Automattic 이사회 통째로 다시 짜였다하스켈 개발자 turion의 LLM 시대 생존법: 코드는 직접 쓰고 LLM은 검증에만 써라SponsorBlock 넣은 NewPipe 하드포크 PipePipe 화제, 뉴파이프 팀은Microsoft와 PC 제조사, Copilot+ PC 브랜드 사실상 폐기하고 Windows 11 AI PC 브랜딩 조용히 철수테트리스 조각 저작권 주장에 균열: 테트로미노는 1953년 수학자 솔로몬 골롬브가 먼저 공개iPod Nano 3G 낸드를 16GB로 교체 성공, 펌웨어 NAND ID 테이블과 Pwnage 2.0으로 부트로더 실행PG 마이그레이션 DDL을 브라우저에서 안전/위험 이진 판정… Cloudflare 출신 개발자의 safe-not-safe 공개Floci 출시: AWS·Azure·GCP·OCI를 24ms에 로컬에서 띄우는 MIT 라이선스 클라우드 에뮬레이터ASML 임원 발표: 유럽에는 반도체 제조 장비를 한 대도 팔지 않는다Jev 대안, LLM 토큰 확률만 뽑아 A/B/C 분류하는 단일 함수 래퍼 등장AI 코딩 끊은 개발자 회고: 20분짜리 작업을 에이전트 5분에 만들고 리뷰에 2일을 썼다잡스의 산책 한 마디로 태어난 애플 Cards 앱, 자외선 바코드와 1850년대 레터프레스 뒷이야기안드로이드 메신저 Conversations, 12년간 유지한 구글 플레이 유료 판매 접고 F-Droid 무료 배포로 전환CMU 교수의 실험: AI가 과제를 다 풀자 집에서 끝나는 평가를 전부 없앴다SELECT DISTINCT, 인덱스가 완벽해도 전체 행을 스캔한다LLVM 핵심 개발자 Johannes Doerfert 암으로 별세, 향년 36세아밋 사하이의 경고: AI가 내놓는 아이디어를 이해할 수학자, 세상에 훨씬 더 많이 필요해진다Ask HN에 모인 DOS 기계 생존기: 원자력 발전소의 AmigaOS 에뮬레이터부터 FAA 인증용 메인프레임 복제까지마이크로소프트, 소비자 AI 챗봇 경쟁 접고 기업용 단일 코파일럿으로 재편Flock 카메라 데이터 한 건에 무고한 여성 13일 구금, 그중 3일은 독방tptacek, Fly.io 떠나며 선언: 고정 기능 앱은 사라진다, 내 손으로 만드는 앱의 시대 오고 우리가 만드는 건 폰이다뉴멕시코 배심원단, 페이스북 이용자 기만 책임 인정…위반 200만 건 이상, 위반당 벌금 최대 $5,000엑셀, 셀 하나에 값 여러 개 담는 리스트와 중첩 배열 기능 베타 공개플랜 모드는 죽었다: Nuanced를 만든 개발자가 본 계획 인터페이스의 실패앨런 케이가 샤논 노이즈 채널 정리 이야기를 꺼내던 순간 줌 피드백으로 자기 목소리가 21초 늦게 겹쳐 들렸다Quanta 에세이: 중력이 공간 차원을 붕괴시키고 블랙홀 정보 역설을 푼 홀로그래픽 원리MIT 교수 5인이 캠퍼스 감시 확대를 애써 찬양하는 척 쓴 글, 읽다 보면 뒤집히는 풍자였다소형 결정 모델 Jev가 유튜브 라이브로 포켓몬스터 레드 깨는 중, 두꺼운 하니스 두고 워크스루 논쟁오픈AI 에이전트 700개가 Hugging Face 뚫은 방식, 링크 체인 8만 개로 전모 드러나Ollaya, Jev 스타일 결정 모델을 로컬에서 밀리초 만에 실행하는 오픈소스 런타임 공개팩토리오 초기 엔티티 65종 3D 프린팅용 STL 247개로 무료 공개, Prusa Research 협업 계기로 제작워싱턴DC 연방항소법원, 국방부의 앤스로픽 공급망 리스크 낙인 2대 1로 유지덴마크 필수 앱 4개에 묶인 개발자의 '스마트폰은 세금' 에세이, HN은 후반부 콘솔 광고에 실망Go 1.26·1.27, 어셈블리 없이 SIMD 쓰는 실험적 API 선보여Git 저장소 안에 이슈 데이터를 넣는 분산 버그 트래커 git-bug, 저자는 로드맵 공개하며 전업 고려SAFA, Avast 커널 드라이버 더블 페치(CVE-2025-13032)를 IORing 손상과 토큰 탈취로 이어 SYSTEM 탈취 성공Ink & Switch, 창립 10주년 맞아 인터랙티브 홈 페이지 'Tenfold' 공개: 10개 글자에 10년의 연구 담았다Oracle, 전력 미확보에도 뉴멕시코 데이터센터 투자자에 지급 의무 유지DHH, Rails World 2026에서 전문 프로그래머 은퇴 선언... 헤이 러스트+네이티브로 이탈, 올해 루비 비중 3%M6 맥 미니로 86Box 에뮬레이션, 펜티엄 II 600MHz와 Voodoo 3를 100% 속도 유지하며 구동, M4는 500MHz서 한계네덜란드 정부, MS 대체 목표로 NixOS 기반 DAWO 업무환경 공동 구축7인 8시간 판에서 벌어지는 배신... 1954년작 '디플로머시'가 우정 파괴 게임으로 불리는 이유 재조명트레일오브비츠, 에이전트로 만든 MASM 도구로 Miden VM에서 Falcon 서명 위조 취약점 발견미국 온천 1,723곳을 지열 흐름과 함께 찍은 인터랙티브 지도 공개SourceHut 빌드 로그 XSS로 계정 탈취, ansi2html의 OSC 8 링크 처리가 발단WaveDigger: Apple 위치 조회 API로 Wi-Fi BSSID와 기지국의 실제 좌표를 찾아내는 오픈소스 도구GPT-6·Opus 5.5로 뉴턴 연금술 원전 동정과 1941년 엔프igma-3 메시지 해독구글, 저궤도에 TPU 데이터센터 추진... 시제 위성으로 방사선·진동·냉각 한계 시험Opus 5.5가 URL을 30초 설명 영상 MP4로 렌더링, 영상 생성 모델 없이 가상 시계 seek과 libx264로 처리러스트 SIMD 라이브러리 fearless_simd 1.0 출시, unsafe 없이 인트린시크까지 안전하게devdotfast, YC W26 배치로 화이트보드 공개: vscode 기반 오픈소스 설계 IDE, 파일 편집은 미포함토요타, 역사상 최다 판매 코롤라에 첫 전기차 넣는다...250마일 이상 주행거리, 2028년형도쿄 골목에서 17년째 같은 자리에 서 있던 흰색 350Z, 현장 확인해 보니 차도 집도 사라지고 없었다DHH, Rails World 2026 키노트에서 손코딩의 끝 선언... 37signals는 Hey 백엔드 Rust 재작성으로 CPU 99.9% 절감간은 절반을 기증해도 몇 달 만에 재생, 저자는 몸의 취약함이 오히려 유리하다는 추측 이론 제시Times New Roman에 7번째마다 Arial을 끼워넣는 '저주받은 폰트' 생성기 Bastardica 나왔다몬키아일랜드의 그로그가 뮤터 잔을 35초 만에 녹이려면 무엇이 들어 있어야 하는가를 화학자가 부식 모델로 계산했다Z3의 릴레이 메모리에서 SRAM까지: 컴퓨터를 끌어올린 것은 '작업 기억'이다오라클, 뉴멕시코 '프로젝트 주피터' 데이터센터에 불가항력 통지로 지급 지연 시도GEO 조작으로 퍼뜨린 가짜 고객센터 번호, 구글 AI 개요가 항공사 공식 연락처로 출력해GitHub, 모방 소프트웨어 23일 방치하다 HN 프런트 노출 10분 만에 삭제신형 ESP32에 Sv32 MMU 탑재, 리눅스 구동하며 라즈베리파이와 격차 좁혀노키아 디자인 아카이브 알토대에 공개, 컨셉 모형과 발표 자료 755장 열람영국 정부의 비밀 명령으로 애플이 전 세계 iCloud 백도어 요구받아, 영국 신규 가입자는 ADP 영구 차단F-Droid 2.0 발표, 1년여 개발 끝에 10년 만의 최대 개편과 Kotlin Compose 재작성 단행스탠퍼드·엔비디아 CLM-8B 공개, 상태-행동 대조학습으로 Jev급 성능에 지연시간 최대 9배 짧고 DeepSWE 81.6% 기록폴란드 스타링크 지상국 방화 추정 화재, 위성 트래픽 중계하는 지상 게이트웨이가 표적KVM 게스트가 엔비디아 유저모드 드라이버 그대로 구동하는 virtio-nvgpu 공개, GPU 한 장을 최대 4게스트가 공유AI 에이전트, urlquery.net 우회해 호주 정부 사이트 등 3곳에 해킹 시도 정황스콧 젠슨, KDE 아카데미 2026에서 "데스크톱 UX 20년째 제자리"라며 WIMP 넘어선 실험 촉구Mercury 2.5 초당 781토큰 생성에 175개 모델 중 속도 2위, 지능 점수 12는 평균 이하OpenAI 에이전트가 호주 정부 의료통계 포털 침해, 알바니즈 총리 "9월 10일에야 통보받아 강한 실망"