쌓인 기록에서 찾기
무엇을 찾으세요? 날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위 2026년 8월 13일 (목) 부터 2026년 10월 30일 (금)까지 3636건
8건 · "컴퓨터과학"조건 지우기 ×
001 18:11 ▲ 125 · 댓글 91 OpenAI의 '빠른 푸리에 변환'은 수학적 속임수일 뿐 OpenAI가 수학 저장소에서 공개한 푸리에 변환(FFT) 알고리즘이 더 빠르다고 주장하지만, 실제로는 현실에서 작동 불가능한 방식이다. AI · 머신러닝 · A look at the math that OpenAI claims computes faster Fourier transforms
Key Point 이론 수학과 실무 컴퓨팅 사이의 괴리를 적나라하게 보여주는 사례로, 점근적 복잡도 표기만으로는 현실 성능을 판단할 수 없음을 명확히 한다.
핵심 요약
OpenAI가 수학 저장소에서 공개한 푸리에 변환(FFT) 알고리즘이 더 빠르다고 주장하지만, 실제로는 현실에서 작동 불가능한 방식이다. 기존 FFT는 1965년 쿨리-튜키 알고리즘으로 n²에서 5n log n 연산으로 개선했으며, n=1,000일 때 20배, n=1,000,000일 때 10,000배 속도 향상을 제공한다. OpenAI 알고리즘의 상수는 n=10¹²일 때 약 10¹⁰⁰으로 추정되므로, 실제로 더 빠른 n값은 우주의 원자 개수(10⁸⁰)보다 크다. 전체 요약 8문장 읽기 → 002 06:11 ▲ 108 · 댓글 39 20년 전 Knuth 오류 상금 받은 이야기 저자가 Donald Knuth의 『Computer Modern Typefaces』에서 오류를 발견해 Knuth로부터 상금 수표를 받은 경험을 공유하고 있다. 오픈소스 · 도구 · Knuth reward check
Key Point Knuth의 오류상금 프로그램은 컴퓨터과학 역사에서 가장 유명한 품질관리 사례이며, 실제 독자가 20년 전의 경험을 증거와 함께 공개하는 드문 기록이다.
핵심 요약
저자가 Donald Knuth의 『Computer Modern Typefaces』에서 오류를 발견해 Knuth로부터 상금 수표를 받은 경험을 공유하고 있다. Knuth는 자신의 책에서 발견된 모든 오류(오타 포함)에 대해 상금을 지급하는 것으로 유명하며, 이는 컴퓨터과학 커뮤니티의 folklore가 되어 있다. 저자는 오류를 발견한 후 수 개월간 재확인하고 신중하게 검토한 후에야 제보했는데, 심지어 대학의 천재에게 말해도 무시당했다. 전체 요약 6문장 읽기 → 003 00:11 ▲ 106 · 댓글 32 Rust를 가독성 높은 C 코드로 변환하는 Eurydice Rust 컴파일러의 다양화 추세 속에서 Eurydice는 Rust 코드를 깔끔한 C 코드로 변환하는 야심찬 목표를 지닌 최신 프로젝트다. 인프라 · 데브옵스 · Compiling Rust to readable C with Eurydice
Key Point Rust에서 C로의 자동 변환이 고보증 소프트웨어나 C 기반 환경으로의 이식 시 검증 도구 호환성을 유지하면서 코드 동기화를 가능하게 한다.
핵심 요약
Rust 컴파일러의 다양화 추세 속에서 Eurydice는 Rust 코드를 깔끔한 C 코드로 변환하는 야심찬 목표를 지닌 최신 프로젝트다. 고보증 소프트웨어(high-assurance software) 분야에서 기존 검증·규정준수 도구들이 C를 기대하므로, Eurydice는 이러한 프로젝트들의 부드러운 전환을 가능하게 한다. 2023년 시작된 Eurydice는 Inria(프랑스 국립 컴퓨터과학연구원)와 Microsoft 직원들이 유지보수하는 Aeneas 프로젝트의 일부이며, MIT와 Apache-2.0 라이선스 코드를 포함한다. 전체 요약 13문장 읽기 → 004 18:33 ▲ 109 · 댓글 49 10년 난제 풀었다, 정렬·최단경로 알고리즘 다항식 고속화 Josh Alman과 Virginia Vassilevska Williams는 3SUM과 All-Pairs Shortest Paths(APSP) 문제를 처음으로 교과서 알고리즘보다 다항식만큼 빠르게 풀 수 있음을 증명했다. 오픈소스 · 도구 · Subquadratic 3SUM and Subcubic APSP
Key Point 30년 이상 컴퓨터과학에서 풀리지 않던 기본 문제들의 다항식 고속화로, 정렬·최단경로 등 실제 알고리즘에 영향을 미칠 수 있는 이론적 진전이다.
핵심 요약
Josh Alman과 Virginia Vassilevska Williams는 3SUM과 All-Pairs Shortest Paths(APSP) 문제를 처음으로 교과서 알고리즘보다 다항식만큼 빠르게 풀 수 있음을 증명했다. 3SUM은 n개의 정수를 O(n^1.9992) 시간에, APSP는 방향 그래프를 O(n^2.9995) 시간에 결정적으로 풀 수 있으며, 이는 각각 O(n²)과 O(n³)의 오래된 한계를 깼다. 이 결과는 3SUM과 APSP 추측(가설)뿐 아니라 실수 버전의 같은 문제들, Exact Triangle 추측, Zero-Weight k-Clique 추측 등 관련 문제 여러 개를 동시에 반박한다. 전체 요약 8문장 읽기 → 005 18:11 ▲ 54 · 댓글 2 AI 생성 논문의 "과학적 결함" 탐지하고 개선하는 벤치마크 AI가 생성한 과학 논문의 문제(슬롭)는 개별 문장은 그럴듯하지만 과학적 추론의 연결이 무너지는 특수한 형태로 나타나며, 기존 토큰 기반 AI 탐지기로는 쉽게 포착되지 않는다. AI · 머신러닝 · Science or Slop?: Benchmarking and Mitigating Scientific Slop in AI-Generated Papers
Key Point 학위 논문 등에서 AI 생성 논문 채용이 늘면서, 개별 문장의 그럴듯함으로 위장한 과학적 추론의 결함을 탐지하고 교정하는 방법이 학계와 편집자에게 실질적으로 필요해지는 상황이다.
핵심 요약
AI가 생성한 과학 논문의 문제(슬롭)는 개별 문장은 그럴듯하지만 과학적 추론의 연결이 무너지는 특수한 형태로 나타나며, 기존 토큰 기반 AI 탐지기로는 쉽게 포착되지 않는다. 연구팀은 구조·논리·근거 6가지 지표로 AI 논문의 과학적 결함을 평가하는 SciSlopBench를 구축했으며, 컴퓨터과학 중심의 AI 생성 논문 390편과 연구 문제·기여도가 일치하는 인간 작성 논문 390편을 쌍으로 구성했다. 개발한 6가지 지표는 논문 쌍에서 AI 논문을 85.9% 정확도로 식별했으며, 기존 최고 도구인 Binoculars의 68.7%보다 크게 우월하다. 전체 요약 7문장 읽기 → 006 03:11 ▲ 11 · 댓글 2 논문 검색 벤치마크 ScholarCatalyst 공개 Hugging Face에서 논문 검색 벤치마크 ScholarCatalyst를 발표했다. 과학자들이 새로운 연구를 할 때 어떤 선행 논문을 참고하는지 연구하기 위해 만들어졌다. AI · 머신러닝 · ScholarCatalyst: A Benchmark for Retrieving Papers That Inspire New Research
Key Point 현재의 LLM과 에이전트 기술도 논문 검색에서 전문가 수준의 성능을 내지 못하고 있으며, 이는 과학 AI 모델 개발의 새로운 과제를 드러낸다.
핵심 요약
Hugging Face에서 논문 검색 벤치마크 ScholarCatalyst를 발표했다. 과학자들이 새로운 연구를 할 때 어떤 선행 논문을 참고하는지 연구하기 위해 만들어졌다. 컴퓨터과학 분야 최근 논문 207편의 제1저자 184명이 자신의 프로젝트를 진행할 때 도움이 된 논문들을 직접 라벨링했으며, 각각 상세한 근거를 제공했다. 과제 시작 당시 공개된 논문만 사용해 주어진 연구 질문으로부터 도움이 될 만한 논문을 검색하는 태스크로 구성했다. 전체 요약 6문장 읽기 → 007 22:29 ▲ 122 · 댓글 15 arXiv, 독립 비영리법인 전환 위해 1720만 달러 펀딩 확보 arXiv가 Simons Foundation International, XTX Markets, Siegel Family Endowment로부터 3~5년 동안 지원받을 1720만 달러 규모의 다년도 펀딩을 확보했다. 오픈소스 · 도구 · ArXiv receives multiyear commitments to support it as an independent nonprofit
Key Point arXiv가 학술 교육, 인공지능 연구, 오픈 사이언스의 기반이 되는 플랫폼인 만큼, 그 독립화와 장기적 안정성 확보는 전 세계 연구자와 개발자에게 영향을 미친다.
핵심 요약
arXiv가 Simons Foundation International, XTX Markets, Siegel Family Endowment로부터 3~5년 동안 지원받을 1720만 달러 규모의 다년도 펀딩을 확보했다. 이 자금은 기술 인프라 강화, 운영 비용, 연구자 서비스 개선을 통해 arXiv의 독립 비영리법인 전환을 지원한다. arXiv는 35년간 물리학, 수학, 컴퓨터과학, 정량생물학, 정량금융, 통계학, 전기공학, 경제학 분야에서 연구자들의 과학 성과 공유 및 접근을 지원해왔다. 전체 요약 7문장 읽기 → 008 21:11 ▲ 100 · 댓글 20 Cloudflare 기반을 닦은 천재 CTO, 질병으로 사라지다 Cloudflare의 공동 창립자이자 CTO인 Lee Holloway는 실리콘밸리에서 태어나 Apple 임직원인 아버지의 영향으로 어려서부터 컴퓨터에 접했다. 스타트업 · 비즈니스 · A Biography of Lee Holloway, the Architect of Cloudflare's Technology (Part 1)
Key Point Cloudflare라는 거대 기술 기업의 기반을 설계한 핵심 개발자의 삶과 성취, 그리고 그를 빼앗아간 질병의 이야기로, 기술 리더십과 개인의 한계를 마주하는 현실을 보여준다.
핵심 요약
Cloudflare의 공동 창립자이자 CTO인 Lee Holloway는 실리콘밸리에서 태어나 Apple 임직원인 아버지의 영향으로 어려서부터 컴퓨터에 접했다. UC Santa Cruz에서 컴퓨터과학을 전공한 후 Matthew Prince가 창립한 스팸 방지 회사 Unspam Technologies에서 수석 소프트웨어 아키텍트로 활동했고, 개인 주택 지하에서 식사와 숙소를 받으며 일했다. Lee는 Unspam 시절 스팸 정보를 수집하는 오픈소스 프로젝트 'Project Honey Pot'을 함께 개발했다. 전체 요약 6문장 읽기 → 
