Knuth의 ‘Claude Cycles’ 문제에서 인간·AI·증명 보조기의 협업 진전 | GeekNews
news.hada.ioNo discussions yet
More from news.hada.io
LinkedIn이 두 개의 탭에서 2.4GB RAM을 사용함 | GeekNews
LinkedIn 웹사이트가 두 개의 브라우저 탭만 열었을 때 2.4GB의 메모리를 소비웹 애플리케이션의 비효율적인 리소스 사용 문제로 지적됨브라우저 성능과 사용자 경험 저하 가능성 제기대규모 프론트엔드 프레임워크나…
CERN, 초소형 AI 모델을 FPGA에 내장해 실시간 LHC 데이터 필터링 수행 | GeekNews
대형 강입자 충돌기에서 발생하는 방대한 데이터를 실리콘 칩에 직접 구현된 초소형 AI 모델로 실시간 필터링해 과학적으로 의미 있는 사건만 선별함초당 수백 테라바이트의 데이터 스트림을 처리하기 위해 GPU나 TPU 대…
CSS로 구현한 3D DOOM 렌더링 | GeekNews
CSS만으로 3D DOOM을 렌더링한 실험으로, 모든 벽과 오브젝트를 <div>와 3D 변환(transform) 으로 구성한 프로젝트게임 로직은 JavaScript가 담당하지만, 렌더링은 전적으로 CSS가 수행되며…
한국, 공영주차장에 태양광 패널 설치 의무화 | GeekNews
2026년 3월 26일 서울 여의도 국회의사당 부지의 공영주차장에서 태양광 발전 설비 설치 작업이 진행됨새 시행령에 따라 80면 이상 중·대형 공영주차장은 최소 100킬로와트(kW) 용량의 태양광 설비를 설치해야 함…
Discover
smcleod.netNew Apple Silicon M4 & M5 HiDPI Limitation on 4K External Displays | smcleod.net
A regression in external display support on Apple Silicon M4/M5 generation chips prevents full HiDPI modes on 4K monitor…
theregister.comSycophantic behavior in AI affects us all, say researchers • The Register
: Sycophantic bots coach users into selfish, antisocial behavior, say researchers, and they love it
github.comGitHub - chrisryugj/korean-law-mcp: 64 tools for Korean law — statutes, preceden…
64 tools for Korean law — statutes, precedents, ordinances, interpretations | MCP Server · CLI · npm - chrisryugj/korean…
github.comGitHub - BryanLunduke/DoesItAgeVerify: The age verification status of Open Sourc…
The age verification status of Open Source Operating Systems - BryanLunduke/DoesItAgeVerify
fi-le.netfi-le.net
fi-le.net, the Fiefdom of Files.