GN⁺는 무엇인가요?  
841
▲

Lean이 프로그램의 정확성을 증명했지만, 그 안에서 버그가 발견됨

 (kirancodes.me)
형식 검증된 zlib 구현체를 퍼징한 결과, Lean 4 런타임의 leanallocsarray에서 힙 버퍼 오버플로우가 발견됨 AI 퍼저 Claude와 AFL++, AddressSan...
1 point by GN⁺ 20일전 | 댓글 1개
842
▲

Mistral Voxtral Realtime 4B 음성 인식 모델의 순수 C 기반 CPU 전용 추론 구현

 (github.com/antirez)
Mistral Voxtral Realtime 4B 모델을 C 언어만으로 구현한 추론 파이프라인으로, 외부 의존성이 전혀 없는 독립 실행형 구조 Metal GPU 가속(MPS) ...
13 points by GN⁺ 3달전 | 댓글 1개
843
▲

레고의 0.002mm 사양과 제조업에 미치는 영향

 (thewave.engineer)
1958년에 생산된 레고 블록이 오늘날 전 세계 공장에서 생산된 블록과 완벽히 호환되는 것은 수십억 개의 부품을 연간 0.01mm 정밀도로 유지한 결...
6 points by GN⁺ 2달전 | 댓글 1개
844
▲

Django에는 토큰이 아니라 시간과 돈을 투자하라

 (better-simple.com)
LLM을 이용해 Django 티켓을 처리하는 방식은 도움이 되지 않으며, 그 자원을 Django Software Foundation에 직접 기부하는 편이 더 유익함 Django...
5 points by GN⁺ 2달전 | 댓글 1개
845
▲

zclaw - ESP32에서 888KB로 구동되는 개인용 AI 비서

 (github.com/tnm)
ESP32 보드에서 동작하는 초경량 AI 비서로, 전체 펌웨어 크기가 888KiB 이하로 제한 C 언어로 작성되었으며, GPIO 제어·스케줄링(cron)·지속 메모...
10 points by GN⁺ 2달전 | 댓글 1개
846
▲

캘리포니아의 3D 프린팅 검열 법안의 위험성

 (eff.org)
A.B. 2047 법안은 모든 3D 프린터에 검열 소프트웨어 설치를 의무화하고, 이를 우회하거나 오픈소스 대안을 사용하는 행위를 형사처벌 대상으로 규...
1 point by GN⁺ 20일전 | 댓글 1개
847
▲

오픈AI는 어떻게 경쟁할 것인가?

 (ben-evans.com)
OpenAI는 독자적 기술 우위 없이 대규모 사용자 기반을 확보했지만, 사용자 참여도와 지속성이 낮고 네트워크 효과가 부재한 구조임 현재 6개 이상...
9 points by GN⁺ 2달전 | 댓글 1개
848
▲

AMD Ryzen 9 9950X3D2 Dual Edition, 단일 칩에 208MB 캐시 탑재

 (arstechnica.com)
AMD가 Ryzen 9 9950X3D2 Dual Edition을 공개, 단일 칩에 208MB의 캐시 메모리를 통합 기존 X3D 시리즈의 3D V-Cache 기술을 확장해 캐시 용량을 ...
3 points by GN⁺ 1달전 | 댓글 1개
849
▲

BrowserStack에서 사용자 이메일 주소가 유출되고 있음

 (shkspr.mobi)
서비스별로 고유 이메일 주소를 생성해 추적한 결과, BrowserStack 전용 주소로 제3자 발신 메일이 도착함 BrowserStack 오픈소스 프로그램 가입 ...
2 points by GN⁺ 29일전 | 댓글 1개
850
▲

아르테미스 II 승무원, 달의 뒷면 첫 관측

 (bbc.com)
NASA의 아르테미스 II 임무 승무원이 인류 최초로 달의 뒷면을 직접 관측하며 역사적 순간을 기록함 오리온(Orion) 우주선을 이용해 달의 뒷면을 ...
2 points by GN⁺ 29일전 | 댓글 1개
851
▲

Claude는 왜 Electron 앱일까?

 (dbreunig.com)
Electron은 HTML·CSS·JS 기반으로 Windows, Mac, Linux를 동시에 지원하는 데스크톱 앱을 만들 수 있는 프레임워크로, Slack·Discord·VS Code 등 ...
10 points by GN⁺ 2달전 | 댓글 1개
852
▲

구글 Glimmer - 투명 스크린을 위한 디자인 방법

 (design.google)
AI 안경용 투명 디스플레이를 위한 새로운 디자인 시스템 Jetpack Compose Glimmer는 현실 세계 위에 자연스럽게 겹쳐지는 인터페이스를 구현함 기...
11 points by GN⁺ 2달전 | 댓글과 토론
853
▲

FFmpeg 101 (2024)

 (blogs.igalia.com)
오디오와 비디오를 인코딩·디코딩·트랜스코딩하고 스트리밍할 수 있는 FFmpeg 프레임워크의 구조와 사용법을 다룸 ffmpeg, ffplay, ffprobe 등 명...
4 points by GN⁺ 1달전 | 댓글 1개
854
▲

금이 미 국채를 제치고 세계 최대 외환보유자산으로 부상

 (economictimes.indiatimes.com)
2026년 금 보유액이 약 4조 달러로 늘며 3.9조 달러 규모의 미 국채를 넘어 세계 최대 외환보유자산으로 자리함 금값은 2025년 한 해 동안 70% 이...
2 points by GN⁺ 29일전 | 댓글 1개
855
▲

Jido 2.0 - Elixir 기반 에이전트 프레임워크 공개

 (jido.run)
순수 함수형 에이전트 아키텍처로, 상태와 행동을 데이터로 정의하고 부작용을 명령형 지시(directive) 로 분리해 테스트와 디버깅을 단순화 간결...
7 points by GN⁺ 2달전 | 댓글 1개
856
▲

Fiverr가 고객 파일을 공개 상태로 두어 검색 가능했던 문제

 (news.ycombinator.com)
Fiverr가 Cloudinary를 통해 주고받은 PDF·이미지 파일을 서명 URL 없이 공개 URL로 제공해, Google 검색에서 수백 건의 고객 문서가 노출됨 노출...
1 point by GN⁺ 20일전 | 댓글과 토론
857
▲

영국, 재생에너지로 전력의 90% 이상 생산

 (grid.iamkate.com)
영국 전력망의 실시간 데이터에 따르면 재생에너지 발전 비중이 51.1%, 화석연료는 8.6% 로, 대부분의 전력이 탄소 배출이 낮은 원천에서 생산됨 ...
3 points by GN⁺ 1달전 | 댓글 1개
858
▲

AI는 개인적인 조언을 구하는 사용자에게 과도하게 긍정적인 반응을 보임

 (news.stanford.edu)
대형 언어 모델이 인간관계나 개인적 갈등 상황에서 사용자의 유해하거나 불법적 행동에도 긍정적으로 반응하는 경향이 확인됨 이러한 ‘아첨적(syc...
3 points by GN⁺ 1달전 | 댓글 2개
859
▲

jai - AI 에이전트를 위한 손쉬운 격리 도구

 (jai.scs.stanford.edu)
Linux 환경에서 AI 에이전트를 격리 실행할 수 있는 경량 도구로, 복잡한 컨테이너 설정 없이 단일 명령으로 안전한 실행 경계 제공 AI 도구가 실...
3 points by GN⁺ 1달전 | 댓글 1개
860
▲

YouTube, 디즈니를 제치고 세계 최대 미디어 기업으로 부상

 (hollywoodreporter.com)
2025년 기준 YouTube 매출이 620억 달러로 Disney 미디어 부문(609억 달러) 을 넘어 세계 최대 미디어 기업으로 평가됨 광고와 구독 서비스가 성장...
1 point by GN⁺ 20일전 | 댓글 2개