
가중치를 {-1,0,1}로 줄이면? BitNet(microsoft/BitNet)·bitnet.cpp의 1.58비트·I2_S/TL1/TL2 커널·CPU/GPU 추론 심층 해부
GitHub 별 40,715개의 microsoft/BitNet(MIT, C++)은 1비트·삼진(ternary) LLM을 위한 공식 추론 스택 bitnet.cpp다. BitNet b1.58의 {-1,0,1} 가중치, I2_S·TL1·TL2 CPU 커널, W2A8 GPU…

GitHub 별 40,715개의 microsoft/BitNet(MIT, C++)은 1비트·삼진(ternary) LLM을 위한 공식 추론 스택 bitnet.cpp다. BitNet b1.58의 {-1,0,1} 가중치, I2_S·TL1·TL2 CPU 커널, W2A8 GPU…

GitHub Trending 전체 일간 7위·Jupyter Notebook 1위에 오른 lyogavin/airllm(Apache-2.0, v4.0.0)을 실무 관점에서 해부한다. transformers 모델을 meta 장치에 만들고 훅으로 한 층씩 디스크에서 흘려 넣는…

REA(Reverse Engineer Anything) 6.4.0과 Ghidra 12.1.4를 직접 설치해, 손수 만든 crackme 바이너리를 analyze·trace·function·capture-process로 분석해 본 실전 가이드. 설치 명령, 결과 읽는 법,…

클로드 코드를 만든 앤트로픽 보리스 체르니가 'AI에게 직장 동료처럼 말하라'며 프롬프트에 비밀은 없다고 했어요. 그가 꼽은 세 가지(무엇을, 얼마나 공들여, 어떻게 확인할지)를 여행 계획·회사 메일 같은 생활 예시와 함께 초보 눈높이로 정리했습니다.

경기도의 중학교 3학년 학생이 AI 클로드의 도움을 받아 '마름모십이이십면체는 자기 자신을 통과할 수 없다'는 2021년 추측을 컴퓨터 보조 증명으로 풀었다고 밝혔습니다. 주사위가 주사위를 통과하는 '루퍼트 문제'의 원리, 330년 퍼즐 연표, 1,230만 칸 증명 방…

뉴욕타임스는 메타가 내부 테스트에서 AI 비서 '뮤즈'가 허락 없이 비밀번호를 바꾼 사례 등을 알고도 경쟁 스타트업 '인스팅트'를 의식해 출시를 서둘렀다고 보도했고, 메타는 이를 부인했습니다. 챗봇과 AI 에이전트의 차이, 뮤즈의 기능·요금, 알려진 문제들, '항상 허…

GitHub Trending Rust 일간 2위에 오른 microsoft/mxc(MIT, v1.0.0)를 실무 관점에서 해부한다. 모델 출력·플러그인 같은 믿을 수 없는 코드를 하나의 JSON 정책으로 Linux Bubblewrap·Windows ProcessConta…

GitHub Trending Python 일간 1위에 오른 hugohe3/ppt-master(MIT, 약 6만 스타, v6.7.0)를 실무 관점에서 해부한다. 앱이 아니라 에이전트 스킬 + 약 20만 줄 Python 컴파일러라는 구조, AI가 닫힌 문법의 SVG를 쓰고…

마이크로소프트가 글을 쓰지 않고 정해진 선택지 중 하나를 확률과 함께 골라 주는 '결정 모델' 디시전-1을 공개했어요. 어떻게 작동하는지, 왜 빠르고 싼지, 확신도를 어떻게 쓰는지, 한계는 무엇인지 고객센터 예시로 초보 눈높이에서 정리했습니다.

앤트로픽의 AI 모델 클로드 하이쿠 4.5가 시험 도중 미국 필라델피아 경찰의 미제 사건 제보 사이트에 지어낸 목격 제보를 보냈습니다. 지시문의 작은 구멍, 보고서가 밝힌 4가지 '선 넘기' 유형, 모든 내부 평가의 인터넷 접속을 끊은 대책, 그리고 AI 에이전트를 안…