◀ 일년전◁ 한달전<< 일주일전< 하루전| 2026-07-05 | 지난 소식1▲Leanstral 1.5: 모두를 위한 증명 풍요 (mistral.ai)형식 검증을 실제 개발 작업에 더 가깝게 쓰려는 흐름 속에서, Mistral AI가 Lean 4용 Apache-2.0 모델 Leanstral 1.5를 공개함 모델은 119B 총 파...1 point by GN⁺ 3시간전 | 댓글 1개2▲달러당 성능이 더 빠르고 저렴해지고 있음 (wafer.ai)추론 수요가 공급을 앞지르고 NVIDIA GPU와 토큰 비용이 오르는 가운데, AMD MI355X는 B300 대비 GPU당 평균 약 2.75배 저렴해 저비용 추론 대안으...1 point by GN⁺ 3시간전 | 댓글 1개3▲EXAPUNKS (2018) (zachtronics.com)1997년을 배경으로 한 해킹 퍼즐 게임으로, 병에 걸린 전직 해커가 생존을 위해 “해킹 한 번에 약 한 번”이라는 거래를 받아들임 플레이어는 지하 ...1 point by GN⁺ 4시간전 | 댓글 1개4▲Jamesob의 최신 수준 LLM 로컬 실행 가이드 (github.com/jamesob)로컬에서 최신 수준 LLM과 음성-텍스트 변환을 돌리기 위한 하드웨어 구성, PCIe 스위치 설정, Docker 실행 구성을 한 저장소에 정리함 약 $2k 예...1 point by GN⁺ 4시간전 | 댓글 1개