GN⁺는 무엇인가요?  
741
▲

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

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

AI가 오픈소스를 파괴하고 있다, 아직 제대로 작동하지도 않는데

 (jeffgeerling.com)
코드 머지를 거부한 것에 AI가 비난성 글을 게시하고, 허위 인용문 기사가 철회되는 등, AI가 오픈소스 생태계에 미치는 부정적 영향이 드러남 오...
14 points by GN⁺ 2달전 | 댓글 3개
743
▲

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

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

AI 피로는 실제로 존재하지만 아무도 이야기하지 않는다

 (siddhantkhare.com)
AI 도입 이후 생산성은 높아졌지만 피로감은 심화되는 현상이 엔지니어들 사이에서 확산 작업 속도는 빨라졌지만 업무량과 기대치가 함께 증가하며...
17 points by GN⁺ 3달전 | 댓글 5개
745
▲

25년간의 소프트웨어 개발 이야기

 (susam.net)
대학 시절부터 이어진 25년간의 프로그래밍 여정을 돌아보며, 기술 자체보다 사람과 관계, 경험에 초점을 둔 회고 대학 컴퓨터실에서 우연히 배운 ...
17 points by GN⁺ 3달전 | 댓글 1개
746
▲

오라클, 3만 명 해고 단행

 (rollingout.com)
전 세계 직원 약 2만~3만 명(전체의 18%) 이 화요일 오전 6시 이메일 한 통으로 해고 통보를 받음 이메일은 “Oracle Leadership” 명의로 발송됐으...
3 points by GN⁺ 1달전 | 댓글 2개
747
▲

AI 이전 글쓰기 시대가 그리워진다

 (lesswrong.com)
LLM을 이용해 초안을 다듬었지만 AI 작성물로 판정되어 게시가 거부된 경험을 통해, 글쓰기의 진정성에 대한 문제의식을 제기 과거에는 AI 없이도 ...
3 points by GN⁺ 1달전 | 댓글 1개
748
▲

지미 헨드릭스는 시스템 엔지니어였다

 (spectrum.ieee.org)
1967년 녹음된 ‘Purple Haze’ 는 전자기타를 단순한 현악기가 아닌 아날로그 신시사이저 수준의 음향 시스템으로 확장한 사례였음 헨드릭스는 Fuzz...
11 points by GN⁺ 2달전 | 댓글 2개
749
▲

LiftKit - 완벽주의자를 위한 UI 프레임워크

(chainlift.io)
대칭성과 비율 문제를 해결하는 오픈소스 UI 프레임워크로, 모든 요소가 황금비에서 파생되는 구조 버튼, 카드, 입력창 등에서 시각적 균형과 공간...
16 points by GN⁺ 3달전 | 댓글 3개
750
▲

코딩 에이전트가 내가 사용하던 모든 프레임워크를 대체했다

 (blog.alaindichiappari.dev)
"소프트웨어 엔지니어링이 돌아왔다" 프론티어 AI 모델과 코딩 에이전트의 발전으로 자동화 프로그래밍 시대가 열리면서, 코드를 한 줄씩 직접 타...
17 points by GN⁺ 3달전 | 댓글 5개
751
▲

Moonshine - 엣지 디바이스용 고속·고정확도 음성 인식(ASR) 오픈소스

 (github.com/moonshine-ai)
모든 처리를 온디바이스에서 수행하는 실시간 음성 인식 프레임워크 스트리밍 기반 모델 구조를 통해 사용자가 말하는 동안에도 실시간으로 텍스트...
10 points by GN⁺ 2달전 | 댓글 1개
752
▲

ArXiv, 코넬 대학교로부터의 독립을 선언

 (science.org)
1991년 설립된 선구적인 논문 사전 공개 서버 ArXiv.org가 7월 1일부터 Cornell University로부터 독립한 비영리 법인으로 전환 독립을 통해 기부...
5 points by GN⁺ 1달전 | 댓글 1개
753
▲

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

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

15년이 지나 Microsoft가 내 다이어그램을 ‘morged’했다

 (nvie.com)
Microsoft의 공식 Learn 포털에 게시된 다이어그램이 과거 널리 알려진 Git 브랜칭 모델 도식과 매우 유사하다는 지적이 제기됨 원작자는 2010년에...
13 points by GN⁺ 2달전 | 댓글 1개
755
▲

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

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

머신러닝 시각적 입문 (2015)

 (r2d3.us)
컴퓨터가 통계적 학습(statistical learning) 기법을 이용해 데이터에서 패턴을 자동으로 식별하고 예측을 수행하는 과정을 시각적으로 설명함 주...
6 points by GN⁺ 2달전 | 댓글 1개
757
▲

DaVinci Resolve – Photo

 (blackmagicdesign.com)
헐리우드 수준의 색보정 기술을 정지 사진 편집에 적용해, 사진가가 영상용 툴셋을 그대로 활용할 수 있는 기능 Canon, Sony, iPhone ProRAW 등 다...
1 point by GN⁺ 17일전 | 댓글 1개
758
▲

AI 이후의 데이터 엔지니어링

 (dataengineeringweekly.com)
AI가 코드 작성과 파이프라인 생성을 자동화하면서, 데이터 엔지니어링의 핵심은 단순한 데이터 이동이 아니라 의미(meaning) 를 다루는 일로 이동...
11 points by GN⁺ 2달전 | 댓글 1개
759
▲

Copilot이 내 Pull Request에 광고를 삽입했어요

 (notes.zachmanson.com)
팀원이 Copilot을 사용해 PR의 오타를 수정하는 과정에서, Copilot이 PR 설명에 자기 자신과 Raycast의 광고 문구를 자동 추가함 작성자는 이를 “...
3 points by GN⁺ 1달전 | 댓글 2개
760
▲

KittenTTS - 25MB 이하의 SOTA 음성 합성(TTS) 모델

 (github.com/KittenML)
ONNX 기반의 State-of-the-art 경량 텍스트-음성 변환(TTS) 라이브러리로, CPU만으로 고품질 음성 합성을 수행 모델 크기는 15M~80M 파라미터(25~8...
5 points by GN⁺ 1달전 | 댓글 1개