cho.sh

뉴스 알림

새 알림

내 알림

로그인하고 알림을 만들어 보시기 바랍니다

전체 알림

Dune제욱 님AI제욱 님해커뉴스성현 님
해커뉴스
CS 장학생이 쓴 'AI가 내 학위를 부수고 있다': 대학의 AI 정책 널뛰기와 과제 설계 붕괴 폭로가죽 조각 장사에서 라디오셱까지, 찰스 태디와 세 개의 유통망후지필름, AI발 데이터 폭증에 LTO 테이프 생산 5배로 늘린다, 100억 엔 투자메트 미술관 실물 소장품 581점을 굴려 담는 웹게임 KatamariMet 공개오카도 고객센터 AI 답변에 1점 설문 항의했더니 사람이 쓴 듯한 답장, 해커뉴스는 그마저 AI라고 의심4년 알파 끝낸 임베디드 언어 Toit v2.0.0 공개, 회사는 2024년 문 닫고 자원봉사자가 유지200MHz 펜티엄 프로에 Stockfish를 돌리니 Elo 3300, 1996년 딥블루 없이도 카스파로프를 이길 수 있었다엔비디아, LLM으로 온톨로지 자동 생성하는 오픈소스 auto-ontology 공개Astra의 Qwen 가중치 수정 주장 반박: '가중치만 보고' 실험은 17K~172K 소형망뿐, Qwen 개선은 파이썬 프로그램과 50회 실행 결과Polyend, 오리지널 Tracker와 Tracker+, Mini 펌웨어 소스코드를 GitHub에 공개하고 Community Edition 1.0 배포에이전트 출력을 그대로 받아들이는 '인지적 항복' 경고한 에세이, HN에서 코드 리뷰 붕괴 논쟁으로 번져Windows 2000 런칭 리허설에 몰래 들어간 Raymond Chen, 진행자가 Patrick Stewart임을 미리 알다Momentic(YC W24), 프롬프트로 앱을 E2E 테스트하는 AI QA 에이전트 Mo 공개테렌스 타오 블로그에 게스트 글 'AI 시대의 무아 수학', 수학은 성과가 아니라 독립적으로 존재하는 진리라는 플라톤 관점 제시DiscImageStudio, CD와 DVD 데이터면에 눈에 보이는 그림 굽는 오픈소스 도구OpenAI, 새 Git 백엔드 Pando 공개: push 지연 5배 단축, 하루 1페타바이트 처리NIST, 1인 사업자용 사이버보안 안내서 CSWP 50 공개: 소기업 전반 다룬 NISTIR 7621 대체Show HN: 해커뉴스를 뉴욕타임스 지면처럼 재편한 Hacker Times 공개SEC는 Anthropic의 IPO를 막아야 한다는 주장, $895B 약정과 미감사 재무제표가 근거Cloudflare, DNS 타깃 빌드로 피크 메모리 85% 줄이고 빌드 지연 절반 단축오라클, AI 인프라 자금 조달 위해 주식 100억 달러·채권 100억 달러 발행 신고PostHog, DuckDB 웨어하우스 5개월 만에 접고 Trino·HogLake로 재구축해커뉴스 11월 Who is hiring? 스레드, 6시간 만에 147포인트·댓글 121개바르샤바 도심을 1m 복셀로 만든 인터랙티브 3D 지도, Show HN에 올라와 성능 논쟁까지1936~2025년 미국 아기 이름 분석, 남아용에서 여아용으로 넘어간 이름 42개 vs 반대 12개우분투 LTS 커널, CVSS 9.8 CVE-2026-98432 패치 3주째 없음... 22.04부터 26.04까지 미배포웹 아카이빙 종사자의 당부: 좋아하는 사이트는 직접 백업하라, teapuppies.com은 도박 광고 도메인이 됐다YC F26 팀이 전파로 입 안 움직임을 읽어 소리 없이 입력하는 스마트 안경 Subvocal을 공개, 2027년 1분기 출시 목표MIT CSAIL, LLM이 가중치를 직접 읽고 쓴다: GPT-6 Astra가 Qwen3.5-0.8B 가중치 0.016%를 고쳐 MATH-500을 7.9%에서 48.1%로3D 프린팅 열투명 망토, 적외선 카메라에서 복잡한 물체까지 숨겨중국 상무부 48호 공고, 모델 가중치와 에이전트 포함 AI 23개 기술 수출 통제 추진리눅스 시스템 콜 테이블 사이트 syscall.sh 갱신, 27개 아키텍처와 JSON API 공개Trigger.dev 고객 환경변수 노출 사고, 원인 미공개 상태로 상태 페이지는 'resolved' 표시유럽 7개국 슈퍼마켓 냉동고 또 털려, 온도 50C까지 치솟아BSD Unix 3편 공개: 1977년 Bill Joy가 테이프 30장으로 시작한 첫 BSD 이야기전력망이 매분 정각에 흔들리는 이유는 대형 배터리 저장장치의 충전 상태 점검생쥐 다리뼈를 주 2회 압박했더니 수명 3개월 연장, 뼈가 노화 속도를 정하는 기관이라는 연구Ubuntu, 커널 원격 루트 취약점 CVE-2026-98432 패치를 2주 넘게 미뤄정전 중 양방향 충전은 현재 테슬라 Cybertruck뿐, 글쓴이는 비상용 소형 배터리로 선회AFL++ 퍼징 체크리스트: ASan 할당 전체 채우기, persistent mode, 소스 파일 직접 includeRaph Levien, RP2350 DVI 실험에서 출발한 초고속 복호화 이미지 포맷 nibnib 공개LeCun·Balestriero, 플라토닉 표현 가설을 JEPA로 증명: 좋은 뷰가 스케일보다 중요전 세계 전력망에 1분 주기 주파수 진동, 원인은 UPS와 배터리 저장장치의 동기화된 자가진단한 사람이 C 대체용으로 만든 최소주의 언어 Copper, 해커뉴스에서 메모리 모델과 GC 질문이 쏟아져RadiaCode 사용자 2,708명이 만든 세계 방사선 지도, 측정점 5,002만 개해고된 엔지니어들이 AI로 상용 SaaS 대체품 만든다, Auth0·Salesforce 호환 프로젝트 OccupySaaS 공개해커뉴스 '프라이버시 지키는 TV' 질문에 289개 댓글, 결론은 네트워크 차단과 루팅PostgreSQL 19, LLM이 버그를 쏟아내면서 11월로 연기영국 구리선 전화망 2027년 1월 31일 종료, Openreach '연기 없다'서울바이오시스, 희토류 없는 백색 LED 양산 시작... 10µm 마이크로 LED까지Rust로 만든 콘텐츠 인식 Git difftool OmniDiff, AGPL로 공개Show HN: 카메라로 지형을 비추면 지질도를 AR로 그려주는 Outcrop, 안드로이드 정식 출시와 아이폰 베타 진행프런티어 항공 예약 정보 유출 의혹, 실제 예약 내역 담긴 사기 메일 확산테리 타오 블로그, OpenAI의 700편 수학 논문 공개 이후 수학자들은 슬퍼할 때가 아니라고 주장Opus 5.5로 JS 프레임워크 6종 벤치마크: Astro가 최단 시간, Angular는 앱 생성 두 번 실패레노버 지문 USB, 뜯어보니 암호화 없는 SD 카드를 케이스에 넣은 것HN에서 언급된 책 16,542권 순위 매긴 HackerBooks 공개, 책장은 매일 새로 섞임read와 write는 대칭이 아니다, 오류는 read에서 즉시 드러나고 write에서는 나중에 터진다콜린 퍼시벌, 인텔 하이퍼스레딩 캐시 유출로 RSA 키 복원하고 6개월 조율 끝에 2005년 공개CPU 100%인데 실제 retire는 16%: DRAM 50-100ns 지연이 GROUP BY 쿼리를 3.9초로 만든 이유Memdoor team-solve, Qwen3.8-27B 5개 팀으로 LiveCodeBench Hard 첫 10문제에서 Fable 5를 앞서Jepsen, ParticleDB 1.1.4 분석에서 96개 결함 보고... 'Full ACID' 주장은 시기상조사용자 "Anthropic이 RFT·SFT 언급만으로 차단, Opus 5.5를 Opus 5로 다운그레이드"이탈리아 농부가 다락방에서 주운 씨앗, 키 1.8m에 이삭 7개 달린 고대 밀로 밝혀져리눅스 IPv4 TCP use-after-free CVE-2026-98432, CVSS 9.8인데 우분투와 RHEL은 수정 커널 미배포카파시, HN 추천 영상 6,454개 모은 HackerTube 공개: Opus 5.5로 2시간 제작76세 남성 돌연사 전 웨어러블 심박 데이터에 계단식 변화가 나타난 JACC 증례 보고뉴런 4개와 연결 2개로 빛을 좇는 가상 생물, 흥분성 배선을 억제성으로 바꾸면 돌진이 정지로skeeto, C++·Dear ImGui로 만든 초경량 코딩 하네스 Prospero 공개Lean 창시자 Leo de Moura, AI가 쓴 코드를 누가 증명하는가: 명세와 형식 검증의 부상GCC switch lowering: 점프 테이블 임계값은 case당 약 8개, gcc가 못 찾는 8로 나누기와 perfect hash 부재ESP32와 NFC로 만든 오픈소스 스토리 박스 Marelleo, 댓글은 LLM 문체 논쟁으로 번짐Molly(Signal 포크), 7월 31일 릴리스 이후 3개월째 방치... 본가 Signal에서 고친 취약점 그대로 남아비탈릭 부테린, X 인터페이스 떠나 Firefly로 옮기고 100일간 휴대폰 비행기 모드 실험ChatGPT 공개 공유 링크만 열면 계정 탈취: MathLive postMessage와 YouTube JSONP를 엮은 샌드박스 우회세르비아 총선서 학생 주도 '학생 명단' 250석 중 141석 확보, 의원 절반 이상이 박사나 의학박사블랙홀 사진은 어떻게 찍었나: 지구 크기 전파망원경 EHT와 다음 목표인 블랙홀 동영상출판사가 거부한 쥘 베른의 《20세기의 파리》, 131년 뒤 공개된 1960년 파리 예언Firezone, sans-IO 설계의 Rust WireGuard 구현 sanstun 공개가장 오래된 얼음이 녹으면서 노르웨이 산에서 5,000~6,000년 전 석기 시대 화살 48점이 나오기 시작FurtherAI, 엔지니어 1인당 코드 변경 5배·AI 리뷰 99% 기록한 AI 네이티브 조직 9개월Infinite Mac에서 BeOS R5까지 브라우저 실행, DingusPPC에 호환성 수정 다수 업스트림Scribd 모회사 보안 사고 통지: 이메일·카드 끝 4자리·결제 내역 노출 가능, 10월 1일 공지 후 순차 발송Cisco 사장, 27세 전 창업자에게 무제한 AI 토큰 주고 레거시 코드 98% 재작성 맡겨헤드리스 브라우저 없이 Cloudflare Turnstile을 푸는 Rust 라이브러리 cfsolve 공개패트릭 스튜어트 추모 TNG 에피소드 맞히기 게임, HN에 공개돼 에피소드 제목 난이도 논쟁구글 리서치, LLM이 잠으로 지식을 굳히는 Sleep 프레임워크 공개패트릭 스튜어트 별세, 보스턴글로브 두 기자가 돌아본 피카드의 지도자상과 취약함스텔스 봇 금지법 반대 칼럼: 익명 크롤러 신원 공개 의무화가 나쁜 봇은 못 막고 언론 조사와 아카이빙을 겨눈다NES 6502 CPU와 RAM, ROM을 Qwen3.5 가중치로 컴파일한 nesformer 공개, 실제 콘솔보다 150~290배 느림Bunny CDN, 제공사 침해로 아르메니아 노드 폐기하고 TLS 인증서 전면 재발급LaTeX 여백에 시드마다 다른 꽃을 키우는 Florilegium, Ghostscript가 인쇄 시점에 정원을 그림AT Protocol 기반 분산 코드 포지 Tangled, bobbin 인덱서 11개 리전 배포와 knot2 Rust 재작성 공개Mac OS 9.2.2가 Wii에서 부팅, ArtX 칩셋 클래식 맥 OS 포팅이 데스크톱까지 도달Northflank 보안 침해: 전 사용자에게 환경변수 복호화 가정하고 키 교체 권고AI가 SRE를 대체하는 게 아니라 실력을 퇴화시킨다는 1983년 '자동화의 역설' 재조명Artificial Analysis v5 공개, 단일 지능 지수에 남는 벤치마크 딜레마ICE 대신 나선 ZeroFox의 삭제 요구, 호스팅은 거부했지만 등록기관이 도메인을 죽였다배치 파일로 실행하면 오류, 더블클릭하면 정상. 원인은 탐색기가 몰래 맞춰주던 현재 디렉터리심장마비엔 5만 달러 내는 Medicare, 100달러짜리 CAC 검사는 안 된다
테렌스 타오 블로그에 게스트 글 'AI 시대의 무아 수학', 수학은 성과가 아니라 독립적으로 존재하는 진리라는 플라톤 관점 제시

테렌스 타오 블로그에 게스트 글 'AI 시대의 무아 수학', 수학은 성과가 아니라 독립적으로 존재하는 진리라는 플라톤 관점 제시

  • 테렌스 타오 블로그에 Karthik C. S., Amit Sahai, Jie Xue가 게스트 글로 'AI 시대의 무아 수학'을 올려, 수학은 연구자가 만들어내는 산출물이 아니라 우리와 무관하게 존재하는 진리라는 플라톤 관점을 편다고 주장함
  • AI가 수학자를 대체할지 모른다는 불안은 AI 이전에 수학을 논문, 인용, 수상 같은 성과 지표로 재단해온 관점에서 이미 시작됐고, AI는 그 결과를 드러냈을 뿐이라고 지적함
  • 고생물학자 비유를 들어, 화석은 탐사 전에 존재했지만 발견에는 상상력과 기술이 필요하듯 수학적 발견도 새 언어와 체계의 발명을 요구하되 그 진리를 개인의 창조물로 만들지는 않는다고 주장함
  • 공리계는 무한히 많은 연역을 허용하지만 어떤 정의가 조명적이고 어떤 정리가 근본적인지는 추론 능력만으로 정해지지 않으며, 추론을 더 길게 이어가는 능력이 무엇이 알 가치가 있는지를 결정하지 않는다고 봄
  • 이 게스트 글은 원래 다른 파일 형식으로 작성돼 AI로 변환됐다고 타오가 각주에 밝힘

Hacker News 의견들

AI는 인류가 받은 네 번째 나르시시즘 상처임. 코페르니쿠스, 다윈, 프로이트가 앞의 셋이고, 위키백과 'Narcissistic injury' 항목에 배경이 나옴.

솔직히 그건 세 번째임. 프로이트 건은 프로이트가 자기 업적을 코페르니쿠스나 다윈급으로 만들려는 나르시시즘에서 나온 거라서.

수학 PhD 마치고 학계 접고 스타트업으로 갔는데, 나이 들수록 플라톤주의자가 됨. 애들 홈스쿨에서 수학 가르치면서 더 그렇게 됐고, 이제는 누가 먼저 발견했는지 신경 안 씀. 외계 수학자들과 그쪽 AI들도 같은 발견을 계속 반복하게 될 거라고 봄.

그럼 애들한테 수학은 왜 가르침? 그냥 AI에 프롬프트 넣게 하지.

자기 머리로 직접 발견하는 게 재밌으니까 하는 거지.

플라톤 원전을 읽거나 버섯을 하면 됨. 둘 다 되면 더 좋고.

창작에도 같은 논리를 적용함. 최고의 작품들은 수학처럼 에고 없는 아름다움이 있고, 예술가가 만든 게 아니라 우주의 진리를 발견한 것처럼 느껴짐.

인간의 탐구는 인간이랑 분리 안 됨. 결국 사람을 움직이는 건 자기가 이해할 수 있는 것이고 거기서 오는 의미임. 플라톤적 지식을 그 자체로 추구한다는 사람들도 다른 방식으로 에고를 채우는 것뿐임.

그 '인간적 탐구' 어쩌고는 버리고 시장과 돈이 전부라는 메시지가 요즘 오고 있음. 기술 리더들은 사람이 뭘 이해하고 뭘 느끼는지는 신경 안 씀.

진짜 플라톤주의자면 저 비난 자체가 메타 수사로 자기 에고를 채우는 거라고 지적할 거임. 양쪽 다 철학적으로 좀 더 둥글었으면 이런 말이 안 나옴.

학계에서 에고 없는 태도 받아들이기 힘듦. publish or perish에 연구비는 빠듯하고 안전망이 없음. 연구자한테 SF 급 연봉을 주거나, 아니면 계속 줄타기하거나 둘 중 하나임.

TNG에서 'level 3 diagnostic' 같은 대사를 듣고 저게 뭔지 궁금했는데, 이제 보니 LLM effort level 같은 거였나 싶음. 그럼 엔터프라이즈 승무원들은 대체 뭘 하는 거지.

그건 그냥 테크노베이블임. 대본에 [tech] 넣고 나중에 채운 거고. SSD의 SMART 자가진단처럼 미리 짜인 진단 절차라고 보는 게 더 현실적임.

이 에세이는 사람은 중요하지 않고 진리만 중요하다는 얘기로 읽힘. 수학이 그런 관점으로 굳어지면 무서움.

그 미래가 어떤 모습인지는 proofsandprompts.com의 'Lean Me Softly' 풍자 글이 잘 보여줌. 실제로 일부 테뉴어 교수들이 그걸 밀고 있음.