1.
플록의 감시 프로그램 탈퇴하기
(I wrote to Flock's privacy contact to opt out of their domestic spying program)

캘리포니아에 거주하는 커크 스트라우저는 Flock Safety에 자신의 개인 정보를 삭제해 달라고 요청했습니다. 이는 캘리포니아 소비자 개인정보 보호법(CCPA)에 따른 것입니다. 그러나 Flock Safety는 고객의 데이터를 소유하고 있기 때문에 그의 요청을 이행할 수 없다고 답변했습니다. 대신 그가 Flock Safety를 고용한 조직에 직접 연락하라고 조언했습니다.

Flock Safety는 자신들이 데이터를 판매하지 않으며, 고객의 지시에 따라 정보를 처리한다고 설명했습니다. 이들은 차량 번호판 인식 기술을 사용하여 공개적으로 보이는 차량 정보만을 수집하고 개인 정보를 수집하지 않습니다. 일반적으로 데이터는 지역 법률에 의해 수정되지 않는 한 30일 동안 보관됩니다.

커크는 Flock Safety의 답변이 법적으로 잘못되었다고 생각하며, CCPA에 따른 자신의 권리에 대해 변호사와 상담할 것을 고려하고 있습니다.

작성자: speckx | 점수: 231

2.
희귀 콘서트 음원, 인터넷 아카이브에 등장!
(Rare concert recordings are landing on the Internet Archive)

시카고 출신의 음악 애호가 아담 제이콥스는 1980년대부터 콘서트를 녹음해 왔으며, 현재 10,000개 이상의 테이프를 보유하고 있습니다. 59세가 된 그는 인터넷 아카이브의 자원봉사자들과 함께 이 테이프들을 디지털화하고 있습니다. 이는 시간이 지남에 따라 테이프가 퇴색되는 것을 방지하기 위한 작업입니다. 지금까지 약 2,500개의 테이프가 디지털화되었으며, 1989년의 니르바나 공연과 같은 희귀한 공연도 포함되어 있습니다. 이 컬렉션에는 소닉 유스, R.E.M., 리즈 페어와 같은 유명 아티스트의 녹음도 포함되어 있습니다.

제이콥스는 기본적인 녹음 장비를 사용했지만, 자원봉사 오디오 엔지니어들이 음질을 개선해 주었습니다. 자원봉사자 중 한 명인 브라이언 에머릭은 매달 제이콥스를 방문해 더 많은 테이프를 수거합니다. 이 테이프들은 오래된 카세트 데크에서 재생되어 디지털 파일로 변환됩니다. 다른 자원봉사자들은 이러한 녹음을 정리하고 라벨을 붙이는 작업을 도와주며, 때때로 덜 알려진 펑크 밴드의 곡도 식별합니다. 전반적으로 이 프로젝트는 음악 역사를 보존하는 데 있어 인터넷의 긍정적인 영향을 강조하며, 1988년의 트레이시 채프먼 녹음도 포함되어 있습니다.

작성자: jrm-veris | 점수: 354

3.
스페인, 인터넷 차단 확대!
(Spain to expand internet blocks to tennis, golf, movies broadcasting times)

텔레포니카가 스페인에서 스포츠와 관련된 인터넷 차단을 시행할 수 있는 법적 허가를 받았습니다. 2025년 2월부터 라리가 경기 중 인터넷 연결이 영향을 받기 시작했으며, 이제 이러한 차단이 챔피언스 리그, 테니스, 골프와 같은 다른 스포츠 이벤트로 확대될 예정입니다.

IP 주소가 차단되면 많은 합법적인 웹사이트에 접근할 수 없게 되어 인터넷 서비스에 영향을 미칠 수 있습니다. 새로운 차단 시스템은 주요 경기부터 시작되며, 모비스타나 보다폰과 같은 대형 통신사뿐만 아니라 소규모 사업자에게도 영향을 미칠 것입니다. 이는 스포츠 이벤트가 열리는 날에 많은 사용자들이 인터넷에 접근하는 데 어려움을 겪게 될 것임을 의미합니다.

작성자: akyuu | 점수: 274

4.
클로드 코드 루틴
(Claude Code Routines)

루틴은 앤트로픽의 클라우드 인프라에서 자동으로 실행되는 작업으로, 다양한 방식으로 트리거될 수 있습니다. 루틴은 프롬프트, 저장소, 커넥터를 포함한 저장된 구성으로, 자동으로 실행되도록 설계되었습니다.

루틴은 여러 가지 트리거를 가질 수 있습니다. 첫째, 정해진 시간에 실행되는 예약 트리거가 있습니다. 둘째, 특정 엔드포인트에 요청을 보내어 시작하는 API 트리거가 있습니다. 셋째, GitHub 저장소의 이벤트에 따라 활성화되는 GitHub 트리거가 있습니다. 예를 들어, 풀 리퀘스트나 푸시와 같은 이벤트가 이에 해당합니다.

루틴은 여러 가지 작업에 활용될 수 있습니다. 예를 들어, 백로그 유지 관리로 문제를 자동으로 정리하거나, 오류 알림에 응답하여 초안 풀 리퀘스트를 생성하는 경고 분류, 새로운 풀 리퀘스트에 대한 리뷰 체크리스트 적용, 배포 후 점검 실행, 업데이트가 필요한 문서를 식별하고 표시하는 문서 업데이트 등이 있습니다.

루틴은 웹, CLI, 또는 데스크톱 앱을 통해 생성할 수 있으며, 사용자는 트리거를 관리하고 커넥터를 추가하며 이전 실행을 검토할 수 있습니다. 루틴은 계정별로 관리되며, 일일 사용 한도에 포함됩니다.

각 루틴은 활동을 기록하는 세션을 생성하여 사용자가 변경 사항과 결과를 검토할 수 있도록 합니다. 루틴은 특정 GitHub 이벤트에 의해 트리거될 수 있지만, 저장소에 Claude GitHub 앱이 설치되어 있어야 합니다.

루틴은 사용자의 구독 계획에 따라 일일 실행 한도가 있으며, 사용자는 자신의 사용량을 모니터링하고 필요시 추가 용량을 요청할 수 있습니다. 이 요약은 Claude Code에서 루틴이 어떻게 작동하는지, 그 기능 및 효과적으로 사용하는 방법에 대한 간단한 개요를 제공합니다.

작성자: matthieu_bl | 점수: 154

5.
유튜브, 디즈니 제쳤다!
(YouTube now world's largest media company, topping Disney)

유튜브는 2025년까지 세계 최대의 미디어 회사가 될 것으로 예상되며, 예상 수익은 620억 달러에 달해 디즈니의 미디어 사업을 초과할 것으로 보입니다. 지난해 유튜브는 400억 달러 이상의 광고 수익을 올렸고, 구독 서비스인 유튜브 TV는 약 1천만 명의 가입자를 보유하고 있습니다. 유튜브는 콘텐츠 제작자들에게 1천억 달러 이상을 지급하며 그들의 성장과 사업 기회를 지원하고 있습니다.

CEO 닐 모한은 유튜브가 제작자들이 관객과 연결되고 비즈니스를 구축하는 데 중요한 역할을 하고 있다고 강조합니다. 이 플랫폼은 콘텐츠 제작을 향상시키기 위해 인공지능 도구에 투자하고 있으며, 다른 미디어 회사들이 겪고 있는 어려움 속에서도 빠른 성장을 지속할 것으로 예상됩니다. 기술과 스토리텔링의 융합에 강한 집중을 두고 있는 유튜브는 미래의 성공을 위해 좋은 위치에 있습니다.

작성자: bookofjoe | 점수: 22

6.
5NF와 데이터 설계
(5NF and Database Design)

이 글은 알렉세이 마호트킨이 작성한 것으로, 데이터베이스 설계에서 다섯 번째 정규형(5NF)의 개념을 명확히 하려는 목적을 가지고 있습니다. 저자는 전통적인 교육 방법에 대한 비판과 함께 더 논리적인 접근 방식을 제안합니다.

5NF를 이해하는 것은 종종 복잡하게 설명되어 혼란을 초래합니다. 이 글은 관련 예시를 통해 이를 간단하게 설명하려고 합니다. 여러 출처에서 가져온 예시를 검토하는데, 특히 위키백과의 예시는 판매원, 브랜드, 제품 유형이 얽혀 있어 5NF를 이해하는 데 도움이 되지 않는다고 저자는 지적합니다. 대신 두 가지 더 명확한 예시를 소개합니다. 첫 번째는 아이스크림 예시로, 브랜드, 맛, 친구의 선호도를 연결하는 방법을 보여줍니다. 두 번째는 음악가 예시로, 콘서트, 음악가, 악기 간의 관계를 설명합니다.

저자는 물리적 테이블을 설계하기 전에 비즈니스 요구 사항에 기반한 논리적 모델을 먼저 만드는 것이 중요하다고 강조합니다. 이렇게 하면 이해를 복잡하게 만드는 불필요한 테이블 분할을 방지할 수 있습니다. 테이블 설계 패턴으로는 AB-BC-AC 삼각형과 ABC+D 별 패턴이 소개되며, 이는 중복이나 이상 없이 정규화를 보장하는 효과적인 설계 방법입니다.

주요 키에 대해서는 복합 기본 키와 합성 키의 사용에 대해 논의하며, 음악가의 공연 예시를 통해 이를 구현하는 방법을 설명합니다. 또한 아이스크림과 음악가 예시를 확장하여 여러 관계를 모델링하고 특정 선호도를 어떻게 포착할 수 있는지를 보여주는 두 개의 추가 장이 포함되어 있습니다.

결론적으로, 5NF를 이해하는 데는 명확한 비즈니스 논리에서 시작해야 하며, 전통적인 방법이 데이터베이스 설계를 오히려 혼란스럽게 할 수 있다고 저자는 말합니다. 저자는 이 접근 방식에 대한 피드백을 요청합니다. 이 글은 데이터베이스 정규화 개념, 특히 5NF를 보다 쉽게 이해하고 실제 상황에 적용할 수 있도록 돕는 데 초점을 맞추고 있습니다.

작성자: petalmind | 점수: 74

7.
AI 프롬프트 원클릭 도구
(Turn your best AI prompts into one-click tools in Chrome)

구글 크롬이 "스킬"이라는 새로운 기능을 도입합니다. 이 기능은 사용자가 인공지능 프롬프트를 한 번의 클릭으로 저장하고 재사용할 수 있게 해줍니다. 이를 통해 레시피에서 재료 대체를 요청하거나 여러 탭에서 정보를 비교하는 등의 반복적인 작업을 더 쉽게 수행할 수 있습니다.

사용자는 자신의 채팅 기록에서 스킬을 만들 수 있으며, 크롬에서 슬래시 기호(/)를 입력하거나 더하기 기호(+)를 클릭하여 접근할 수 있습니다. 또한, 일반적인 작업을 위한 미리 준비된 스킬 라이브러리도 제공될 예정입니다.

스킬은 사용자의 생산성을 높이도록 설계되었으며, 이메일 전송과 같은 작업을 수행하기 전에 확인 메시지를 포함하여 보안과 개인 정보를 유지합니다. 이 기능은 로그인된 크롬 데스크톱 장치에서 사용할 수 있어 여러 플랫폼에서 쉽게 관리하고 사용할 수 있습니다.

작성자: xnx | 점수: 29

8.
파일질라로 3D 프린터 FTP 문제 해결하기
(Modifying FileZilla to Workaround Bambu 3D Printer's FTP Issue)

이 글에서는 Bambu A1 Mini 3D 프린터를 FTP 클라이언트인 FileZilla에 연결하는 방법에 대해 설명합니다. 프린터의 FTP 서버에 문제가 있어 사용자가 파일 목록을 가져오는 데 어려움을 겪는 경우가 많습니다. 프린터는 파일 업로드와 비디오 다운로드를 위한 FTP 연결을 지원하지만, 연결 과정에서 문제가 발생합니다.

FTP(파일 전송 프로토콜)는 두 가지 모드인 능동 모드와 수동 모드가 있습니다. 일반적으로 수동 모드가 선호되는데, 이는 방화벽 뒤에 있는 클라이언트가 문제 없이 연결할 수 있도록 해주기 때문입니다. 그러나 Bambu 프린터의 FTP 서버는 수동 모드를 사용할 때 잘못된 IP 주소인 0.0.0.0으로 응답하여 연결 실패를 초래합니다.

운영 체제에 따라 0.0.0.0 응답을 처리하는 방식이 다릅니다. Windows는 연결에 실패하고, Linux는 이를 로컬 머신으로 리디렉션하여 연결 거부가 발생합니다. Windows에서는 WinSCP를 사용하여 이 문제를 우회할 수 있지만, Linux 사용자는 FileZilla를 수정해야 합니다. FileZilla의 소스 코드를 수정하여 0.0.0.0을 유효하지 않은 IP로 처리하고 서버의 공인 IP를 사용하도록 설정하는 것이 필요합니다.

FileZilla를 사용하여 프린터에 연결하려면 프린터의 IP 주소(예: ftps://192.168.12.34)를 입력하고, 프린터 설정에 명시된 사용자 이름과 비밀번호를 설정합니다. 포트는 990을 사용하고, 암호화를 위해 "TLS를 통한 암시적 FTP 필요"를 선택해야 합니다. 이러한 수정과 설정을 적용하면 사용자는 Bambu 프린터의 FTP 서비스에 성공적으로 접근할 수 있습니다.

작성자: speckx | 점수: 28

9.
우주 화장실 이야기
(Let's Talk Space Toilets)

우주 비행사들은 우주에서 화장실을 덜 가기 위해 스테이크와 계란으로 구성된 '저잔여식' 아침을 자주 먹습니다. 소유즈나 크루 드래곤 같은 전통적인 우주선에는 기본적인 화장실 키트가 있지만, 비행사들은 장기 임무 동안 화장실 사용을 피하기 위해 약물, 식단, 경험을 조합해 사용합니다. 예를 들어, 프랭크 보먼은 제미니 7 임무 중 화장실을 사용하지 않고 아홉 일 동안 버틴 것으로 유명합니다.

우주 화장실은 초기 우주 여행 시절에 비해 크게 발전했습니다. 아폴로 프로그램에서는 기본적인 시스템을 사용했으며, 더 나은 화장실을 개발하는 데 수년이 걸렸습니다. 무중력 상태에서는 화장실이 독특한 문제를 해결해야 합니다. 신체의 위치를 조정하고, 공기 흡입을 통해 신체에서 배설물을 분리하며, 냄새를 관리해야 합니다.

현재의 우주 화장실은 배설물 수집을 위해 좁은 구멍과 일회용 봉지를 사용하고, 소변은 항균 물질로 처리됩니다. 개선이 있었지만 냄새 제어는 여전히 어려운 문제이며, 비행사들은 화장실 사용 경험이 그리 쾌적하지 않다고 종종 보고합니다.

화성 임무를 앞두고 NASA는 더 큰 도전에 직면해 있습니다. 화장실의 신뢰성은 매우 중요하며, 고장이 나면 승무원의 안전이 위협받을 수 있습니다. 화성 임무에는 여행용과 표면 체류용 두 가지 화장실 시스템이 필요합니다. 이러한 화장실의 설계는 오랜 기간 동안 비활동 상태를 고려하고, 오염 없이 배설물을 관리하는 방법을 포함해야 합니다.

NASA는 화성 임무 동안 승무원의 건강과 안전을 보장하기 위해 배설물 살균 및 혁신적인 처리 방법을 포함한 다양한 폐기물 관리 전략을 탐색하고 있습니다. 전반적으로 효과적인 우주 화장실 설계는 미래의 장기 우주 여행 성공을 위해 필수적입니다.

작성자: zdw | 점수: 59

10.
뒤로가기 방해 스팸 정책
(A new spam policy for “back button hijacking”)

구글이 사용자들이 브라우저를 올바르게 탐색하는 것을 방해하는 "뒤로 가기 버튼 탈취"라는 기만적인 행위를 해결하기 위해 새로운 스팸 정책을 도입합니다. 이 현상은 사용자가 뒤로 가기 버튼을 클릭했을 때 이전 페이지로 돌아가는 것을 방해하고, 종종 예기치 않은 페이지로 리디렉션되거나 원치 않는 광고가 표시되는 경우에 발생합니다.

이 조치의 목적은 사용자 경험을 향상시키기 위함입니다. 뒤로 가기 버튼 탈취는 사용자에게 불편함을 주고 조작당하는 느낌을 줄 수 있습니다. 2026년 6월 15일부터 이러한 행위를 하는 사이트는 수동 조치나 검색 결과에서의 가시성 감소와 같은 처벌을 받을 수 있습니다.

새로운 정책을 준수하기 위해 사이트 소유자는 자신의 웹사이트가 브라우저 탐색을 방해하지 않도록 해야 합니다. 그들은 뒤로 가기 버튼 탈취를 유발하는 스크립트가 있는지 코드를 검토하고 이를 제거해야 합니다. 만약 사이트가 처벌을 받았지만 문제를 해결했다면, 소유자는 구글 서치 콘솔을 통해 재심사를 요청할 수 있습니다. 추가 지원이 필요할 경우 소셜 미디어나 구글의 도움 커뮤니티에 문의할 수 있습니다.

작성자: zdw | 점수: 755

11.
오픈SSL 4.0 출시
(OpenSSL 4.0.0)

OpenSSL 4.0.0은 중요한 새로운 기능과 변화를 도입한 주요 업데이트입니다. 이 버전에서는 몇 가지 핵심 사항이 있습니다.

먼저, SSLv2와 SSLv3에 대한 지원이 제거되었으며, 더 이상 사용되지 않는 함수와 옵션도 함께 삭제되었습니다. 기능적으로는 데이터 출력 방식과 보안 관련 체크 방식이 수정되었습니다. 특히 PKCS5와 X509와 관련된 부분에서 변화가 있습니다.

새로운 기능으로는 암호화된 클라이언트 헬로(Encrypted Client Hello) 지원, 새로운 서명 알고리즘, 그리고 향상된 키 교환 방법이 포함됩니다. 보안 측면에서도 개선이 이루어졌습니다. 인증서와 CRL(인증서 폐기 목록) 검증을 위한 추가 체크가 도입되었고, FIPS 자가 테스트를 연기할 수 있는 기능도 추가되었습니다.

마지막으로, 많은 API 함수의 서명이 업데이트되었고, 특정 기능들이 일관성을 높이기 위해 표준화되었습니다. 전반적으로 이번 릴리스는 OpenSSL을 현대화하면서 보안성과 사용성을 강화하는 데 중점을 두고 있습니다.

작성자: petecooper | 점수: 73

12.
여행 가이드 모음
(guide.world: A compendium of travel guides)

온라인에서 질 좋은 여행 글을 찾는 것은 쉽지 않습니다. 위키피디아는 기본적인 정보를 제공하지만, 더 깊이 있는 통찰을 위해 탐색할 만한 추천 글들이 많습니다. 다음은 국가별로 정리된 주목할 만한 여행 글 목록입니다.

남극에 관한 글로는 마치에이 체글로프스키의 "맥머도에서의 셔플보드"가 있습니다. 아르메니아에 대한 글은 마크시 고린스키의 "아르메니아에 대하여"가 추천됩니다. 아르헨티나에 대해서는 크리스 아르나데의 "부에노스아이레스를 걷다"와 마치에이 체글로프스키의 "하루에 스테이크 두 개로 아르헨티나"가 있습니다. 발칸 지역에 대한 글은 맷 레이커먼의 "발칸에 대한 노트"가 있습니다. 베냉에 대해서도 맷 레이커먼의 "베냉에 대한 노트"가 있습니다.

중국에 대한 글로는 단 왕의 "쿤밍: 비글로벌화된 세계의 일부"가 있습니다. 코트디부아르에 대한 글은 맷 레이커먼의 "코트디부아르에 대한 노트"가 있습니다. 도미니카 공화국에 대해서는 맷 레이커먼의 "도미니카 공화국에 대한 노트"가 있습니다. 엘살바도르에 대한 글도 맷 레이커먼의 "엘살바도르에 대한 노트"가 있습니다. 페로 제도에 대해서는 크리스 아르나데의 "페로 제도를 걷다"와 타일러 코웬의 "페로 제도에서 배울 수 있는 것"이 있습니다.

프랑스에 대한 글은 크리스 아르나데의 "프랑스를 걷다"가 있습니다. 감비아에 대해서는 맷 레이커먼의 "감비아에 대한 노트"가 있습니다. 가나에 대한 글도 맷 레이커먼의 "가나에 대한 노트"가 있습니다. 기니에 대해서는 맷 레이커먼의 "기니에 대한 노트"가 있습니다. 이탈리아에 대한 글은 크리스 아르나데의 "롬바르디아를 걷다"가 있습니다. 케냐에 대해서는 크리스 아르나데의 "나이로비를 걷다"가 있습니다.

가이아나에 대한 글은 맷 레이커먼의 "가이아나에 대한 노트"가 있습니다. 모리타니아에 대해서도 맷 레이커먼의 "모리타니아에 대한 노트"가 있습니다. 멕시코에 대한 글은 맷 레이커먼의 "유카탄에 대한 노트"가 있습니다. 나이지리아에 대해서는 맷 레이커먼의 "나이지리아에 대한 노트"가 있습니다. 파나마에 대한 글은 맷 레이커먼의 "파나마에 대한 노트"가 있습니다.

페루에 대해서는 맷 레이커먼의 "페루에 대한 노트"가 있습니다. 사우디아라비아에 대한 글은 맷 레이커먼의 "사우디아라비아에 대한 노트"가 있습니다. 싱가포르에 대해서는 윌리엄 깁슨의 "사형제와 함께하는 디즈니랜드"가 있습니다. 한국에 대한 글은 크리스 아르나데의 "서울을 걷다"가 있습니다. 스페인에 대해서는 맷 레이커먼의 "스페인에 대한 노트"가 있습니다.

스위스에 대한 글은 다니엘 데이비스의 "세상은 정사각형이다: 스위스"가 있습니다. 타지키스탄에 대해서는 맷 레이커먼의 "타지키스탄에 대한 노트"가 있습니다. 트리니다드와 토바고에 대한 글은 맷 레이커먼의 "트리니다드와 토바고에 대한 노트"가 있습니다. 튀니지에 대해서는 맷 레이커먼의 "튀니지에 대한 노트"가 있습니다. 우크라이나에 대한 글은 맷 레이커먼의 "우크라이나에 대한 노트"가 있습니다.

미국에 대해서는 제프 마노의 "그레이터 로스앤젤레스"와 데본 주겔의 "필드 노트: 마이애미"가 있습니다. 서아프리카에 대한 글은 맷 레이커먼의 "서아프리카에 대한 다른 노트"가 있습니다. 예멘에 대해서는 마치에이 체글로프스키의 "사나"가 있습니다. 기타 다양한 주제에 대해서는 크리스 아르나데의 "세계를 걷다"가 있습니다.

더 많은 글을 추가하고 싶다면 자유롭게 기여해 주세요.

작성자: firloop | 점수: 19

13.
클로드 코드, 월가를 만나다!
(LangAlpha – what if Claude Code was built for Wall Street?)

재무 데이터를 처리하기 위한 도구 개발 과정에서 여러 가지 어려움이 있었습니다. 주요 내용은 다음과 같습니다.

기존의 MCP 도구는 대규모 재무 데이터셋을 처리하는 데 한계를 보이고 있습니다. 하나의 도구가 과도한 데이터를 생성해 비효율적이기 때문에, 팀은 MCP 스키마에서 자동으로 파이썬 모듈을 생성하여 사용을 간소화했습니다.

전통적인 에이전트는 PDF나 스프레드시트와 같은 단일 출력을 최종 목표로 삼지만, 이는 투자 연구에 적합하지 않습니다. 팀은 세션 간 데이터를 유지할 수 있는 작업 공간을 만들어 에이전트가 과거의 발견을 기억하고 분석을 원활하게 이어갈 수 있도록 했습니다.

또한, 에이전트는 포트폴리오와 위험 감수성 같은 관련 재무 정보를 통합하여 기존의 AI 투자 플랫폼보다 기능을 향상시켰습니다.

전반적으로 팀은 상당한 기술적 장애물에 직면했지만, 재무 데이터 관리와 연구의 연속성을 위한 보다 효과적인 솔루션을 개발하였고, 이를 오픈 소스로 공개했습니다.

작성자: zc2610 | 점수: 58

14.
플레인: 인간과 에이전트를 위한 파이썬 프레임워크
(Plain – The full-stack Python framework designed for humans and agents)

Plain은 사람과 AI 에이전트 모두를 위해 설계된 사용자 친화적인 풀스택 파이썬 프레임워크입니다. 새로운 프로젝트를 시작하려면 간단한 명령어로 손쉽게 설정할 수 있습니다.

Plain의 주요 특징은 명확성과 예측 가능성입니다. Plain 코드는 명확하고 타입이 지정되어 있어 사람과 에이전트 모두가 이해하기 쉽습니다. 또한, 일반적인 실수를 방지하는 규칙과 같은 자동화 도구, 명령줄을 통한 접근 가능한 문서화, 간단한 명령으로 시작되는 엔드 투 엔드 워크플로우를 포함하고 있습니다.

코드 구조는 모델, 뷰, URL로 나뉩니다. 모델은 이메일, 비밀번호, 표시 이름과 같은 필드를 가진 User 모델과 같이 데이터 구조를 쉽게 정의할 수 있습니다. 뷰는 웹 요청을 처리하기 위해 클래스 기반 뷰를 사용합니다. URL 관리는 Router 클래스를 통해 이루어집니다.

개발 도구로는 개발 서버 시작, 코드 포맷팅 및 린트, 테스트 실행, 문제 점검 등을 간단한 명령어로 수행할 수 있습니다.

Plain은 Python 3.13 이상, PostgreSQL, 템플릿을 위한 Jinja2, htmx 및 Tailwind CSS와 같은 현대적인 프론트엔드 기술을 기반으로 구축되었습니다.

Plain은 핵심 기능, 백엔드 서비스, 프론트엔드 구성 요소, 개발 도구 및 프로덕션 기능을 포함하는 30개의 1차 패키지를 제공합니다.

Plain은 Django의 포크로, PullApprove에 의해 개발되었으며 AI 기반 애플리케이션의 미래를 위해 진화하도록 설계되었습니다.

문서화, 소스 코드, 시작 가이드 및 라이센스 정보는 각각 Plain Docs, GitHub Repository, Plain Start 링크를 통해 확인할 수 있습니다.

작성자: focom | 점수: 13

15.
백블레이즈, 원드라이브·드롭박스 백업 중단!
(Backblaze has stopped backing up OneDrive and Dropbox folders and maybe others)

백블레이즈는 인기 있는 백업 서비스로, 이전에는 모든 사용자 데이터를 백업한다고 주장했지만, 최근에는 원드라이브와 드롭박스 폴더에 있는 특정 파일의 백업을 조용히 중단했습니다. 이 글의 저자는 백블레이즈의 오랜 사용자로, 처음에는 이 서비스를 칭찬했지만, 중요한 데이터 유형인 .git 폴더가 더 이상 백업되지 않는 것을 발견하고 실망하게 되었습니다.

일부 사용자들은 원드라이브와 드롭박스가 자체 백업 기능을 제공한다고 주장할 수 있지만, 이러한 솔루션은 삭제된 파일에 대한 보존 기간이 짧아 보안성이 떨어집니다. 저자는 백블레이즈가 이러한 변화에 대해 사용자에게 알리지 않은 점을 비판하며, 서비스가 포괄적인 데이터 백업을 약속한 것을 지키지 못했다고 느끼고 있습니다. 전반적으로 저자는 백블레이즈가 더 이상 기대했던 대로 모든 데이터를 완전히 백업하지 않고 있다고 경고하고 있습니다.

작성자: rrreese | 점수: 798

16.
주술 CLI, jj!
(jj – the CLI for Jujutsu)

jj는 Jujutsu의 명령줄 인터페이스로, 분산 버전 관리 시스템(DVCS)입니다. git과 유사하지만, jj는 더 간단하고 사용하기 쉬우면서도 강력한 기능을 제공합니다. jj는 git과 Mercurial(hg)의 장점을 결합하여 더 쉽게 사용할 수 있는 새로운 도구입니다.

jj는 필수 도구가 적고, 이들이 더 잘 협력하여 작동합니다. 이로 인해 고급 기능을 git보다 더 쉽게 접근할 수 있습니다. 또한 jj는 git과 호환되기 때문에, 다른 사람들이 변경할 필요 없이 jj를 사용할 수 있습니다. 이는 jj를 시도해도 기존의 기록을 잃거나 git을 포기할 필요가 없다는 것을 의미합니다.

작성자: tigerlily | 점수: 421

17.
캐롤의 메시지 딜레마
(Carol's Causal Conundrum: a zine intro to causally ordered message delivery)

저희 연구 그룹에서 제작한 짧은 출판물인 '진'에 대한 요약입니다. 진은 특정 대상을 위해 만들어진 소규모 출판물로, 저희 그룹은 다운로드하고 인쇄하며 공유할 수 있는 여러 무료 진을 제작했습니다.

첫 번째 진은 'Carol’s Causal Conundrum'입니다. 이 진은 학생 아유시 마노차와 함께 제작되었으며 2026년 4월에 발행되었습니다. 이 진에서는 분산 프로그래밍에서 중요한 개념인 '인과적으로 정렬된 메시지 전달'을 소개합니다. 이 개념이 무엇인지, 해결하는 문제는 무엇인지, 그리고 세 가지 구현 방법을 설명합니다.

두 번째 진은 'Communicating Chorrectly with a Choreography'입니다. 이 진은 학생 알리 알리와 함께 제작되었고 2024년 12월에 발행되었습니다. 여기서는 '안무 프로그래밍'에 대해 다루며, 프로그래머가 메시지 전달 시스템의 다양한 부분이 어떻게 통합적으로 상호작용하는지를 설명할 수 있도록 합니다.

그 외에도 알리 알리가 만든 'Fighting Faults in Distributed Systems'와 같은 추가 진도 제공되고 있습니다.

진을 교육이나 연구에 활용하고자 하는 교육자 및 연구자들을 위해, 진 제작을 수업에 통합하는 방법에 대한 통찰을 공유했습니다. 제 블로그에서는 이 접근 방식에 대해 논의하며, 진 프로젝트를 지원한 NSF 보조금 제안서와 관련된 자료도 요청 시 제공할 수 있습니다.

작성자: evakhoury | 점수: 24

18.
마우스 프로그래밍 언어
(The Mouse Programming Language on CP/M)

Mouse는 1975년경 피터 그로고노에 의해 만들어진 간단한 해석형 프로그래밍 언어입니다. 이 언어는 마이크로컴퓨터를 위해 설계되었으며, Forth와 유사하지만 사용하기 더 쉽습니다. Mouse는 변수를 사용하고 단일 문자 명령어를 해석하는 데 중점을 두어, CP/M 버전의 크기가 단 2킬로바이트에 불과합니다.

Mouse의 주요 특징으로는 배열, 함수, 프로시저, 지역 및 전역 변수, 재귀, 다양한 매개변수 전달 방법을 지원합니다. 대부분의 명령어는 단일 문자로 구성되어 있으며, 덧셈, 뺄셈, 입력, 출력과 같은 동작을 위한 특정 기호가 있습니다.

예를 들어, 기본 프로그램은 루프를 사용하여 "Hello, World!"를 열 번 출력할 수 있습니다. 사용자는 매크로(서브루틴)를 정의하여 코드를 재사용할 수 있으며, 매개변수를 전달할 수 있는 기능도 제공합니다. 재귀 매크로도 지원되어 함수가 자신을 호출할 수 있습니다.

Mouse는 지역 변수(소문자)와 전역 변수(대문자)를 구분하며, 이들은 특정 메모리 위치에 저장됩니다. Mouse는 월넛 크릭 CD에서 다운로드할 수 있으며, 패키지에는 몇 가지 샘플 프로그램이 포함되어 있습니다. 또한 CP/M에서 Mouse가 작동하는 방식에 대한 동영상도 제공됩니다.

작성자: PaulHoule | 점수: 25

19.
내면의 확산 모델
(Introspective Diffusion Language Models)

이 논문에서는 Introspective Diffusion Language Model(I-DLM)이라는 새로운 유형의 언어 모델을 소개합니다. 이 모델은 과거에 비해 autoregressive(AR) 모델보다 성능이 떨어졌던 diffusion language models(DLMs)의 품질을 개선하는 것을 목표로 합니다. 주요 혁신은 introspective strided decoding(ISD)이라는 방법으로, 이 방법을 통해 모델은 새로운 토큰을 생성하는 동시에 이전에 생성된 토큰을 검증할 수 있습니다.

I-DLM-8B는 AR 모델과 동등한 품질을 달성하며, 다른 DLMs보다 뛰어난 성능을 보여줍니다. AIME-24와 LiveCodeBench-v6와 같은 벤치마크에서 현저히 더 나은 결과를 기록했습니다. 또한, 이 모델은 높은 동시성에서 기존 모델보다 2.9배에서 4.1배 더 높은 처리량을 제공하여 효율성을 높였습니다.

I-DLM은 DLMs의 주요 문제인 일관성 부족을 해결합니다. 이 모델은 생성과 검증을 한 단계에서 통합하여 성능을 향상시킵니다. 훈련 방법으로는 특별한 기술을 사용해 사전 훈련된 AR 모델을 변환하여 introspective consistency를 강화하고, 이를 통해 더 효과적으로 학습할 수 있도록 합니다.

이 모델은 다양한 카테고리의 15개 벤치마크에서 평가되어 그 다재다능함과 효과성을 입증했습니다. 논문은 I-DLM이 기존 AR 시스템을 직접 대체할 수 있으며, 광범위한 인프라 변경 없이도 적용 가능하다고 강조합니다. 전반적으로 I-DLM은 높은 품질과 효율적인 성능을 결합한 언어 모델 기술의 중요한 발전을 나타냅니다.

작성자: zagwdt | 점수: 196

20.
AI 코딩 에이전트의 비밀
(Kontext CLI – Credential broker for AI coding agents in Go)

Kontext CLI는 AI 코딩 에이전트가 GitHub와 Stripe와 같은 서비스에 접근할 때, 장기 API 키를 사용하는 보안 위험 없이 이용할 수 있도록 만들어졌습니다. 현재 많은 팀들이 민감한 키를 파일이나 인터페이스에 붙여넣는 방식으로 관리하고 있어, 누가 어떤 정보에 접근했는지 추적하기 어렵고 보안 정책을 시행하는 데 어려움이 발생하고 있습니다.

Kontext를 사용하면 필요한 자격 증명을 .env.kontext 파일에 지정할 수 있습니다. CLI를 실행하면 OAuth를 통해 단기 액세스 토큰을 생성하여, 민감한 정보가 세션 동안만 메모리에 저장되고 디스크에는 저장되지 않도록 합니다. 이렇게 하면 에이전트가 수행한 모든 작업이 감사 로그에 기록되어, 시도한 내용, 결과, 그리고 누가 시작했는지에 대한 세부 정보가 캡처됩니다.

CLI는 설치가 간편하고 빠른 성능을 위해 설계되었습니다. 현재 Claude Code와 호환되며, 곧 Codex에 대한 지원도 추가될 예정입니다. 팀은 또한 접근을 보다 효과적으로 제어하기 위해 서버 측 정책 시행을 계획하고 있습니다. 다른 팀들이 AI 에이전트의 자격 증명을 어떻게 관리하는지에 대한 피드백도 환영합니다.

자세한 정보는 그들의 GitHub 페이지나 공식 사이트를 방문하면 확인할 수 있습니다.

작성자: mc-serious | 점수: 50

21.
기억의 역설 데이터베이스
(A memory database that forgets, consolidates, and detects contradiction)

벡터 데이터베이스는 기억을 저장하지만 이를 잘 관리하지 못합니다. 약 10,000개의 기억이 쌓이면 중복을 통합하지 않거나 충돌을 해결하지 못해 회상 품질이 저하되는 문제가 발생합니다. YantrikDB는 이러한 기억 관리를 개선하는 인지 메모리 엔진입니다. 이 시스템은 내장형으로 사용하거나 서버로 실행할 수 있으며, MCP를 통해 연결할 수도 있습니다. YantrikDB는 중복된 기억을 병합하고, 모순을 감지하며, 중요하지 않은 기억은 시간이 지나면서 자연스럽게 사라지도록 하여 인간의 기억과 유사하게 기억을 정리합니다.

YantrikDB는 HTTP와 이진 프로토콜을 사용하는 단일 Rust 바이너리입니다. Docker나 Kubernetes를 통해 2명의 투표자와 1명의 증인으로 구성된 클러스터 설정을 지원하여 높은 가용성을 제공합니다. 이 시스템은 장애를 처리하도록 설계되었으며, 실행 중 교착 상태를 감지하고 모니터링 지표를 포함하는 기능을 갖추고 있습니다. 최근에는 신뢰성을 보장하기 위해 광범위한 테스트를 진행했습니다. 현재는 3개의 노드로 구성된 Proxmox 홈랩 클러스터에서 운영되고 있으며, 주 사용자는 개발자로 추가 사용자도 찾고 있습니다.

작성자: pranabsarkar | 점수: 14

22.
40% of lost calories globally are from beef, needing 33 cal of feed per 1 cal
(40% of lost calories globally are from beef, needing 33 cal of feed per 1 cal)

요약이 없습니다.

작성자: randycupertino | 점수: 84

23.
핵심 명사
(Nucleus Nouns)

"핵심 명사"라는 개념은 앱을 정의하는 주요 요소나 특징을 의미합니다. 대부분의 앱은 하나 또는 두 개의 핵심 명사를 중심으로 구성되며, 다른 기능들은 "위성"으로 간주됩니다. 이러한 핵심 명사를 이해하는 것은 기업에 매우 중요합니다. 이는 브랜드와 마케팅 전략을 형성하는 데 큰 영향을 미치기 때문입니다.

프로젝트를 개발할 때 팀은 관련 명사를 식별하고 그 영향을 평가해야 합니다. 새로운 핵심 명사가 도입되면 프로젝트의 방향에 큰 변화를 줄 수 있으므로 신중하게 다루는 것이 중요합니다. 핵심 명사에 집중하는 기업은 특정 분야에서 전문화하고 뛰어난 성과를 내는 경향이 있으며, 여러 분야에서 평균적인 성과를 내기 위해 노력하는 것보다 더 효과적입니다.

결론적으로, 몇 가지 핵심 기능에 강한 집중을 유지하는 것은 기업이 경쟁 시장에서 성공하는 데 도움이 될 수 있습니다.

작성자: bewal416 | 점수: 42

24.
케렛 – LLM 앱의 근본 원인 분석
(Kelet – Root Cause Analysis agent for your LLM apps)

저자는 50개 이상의 AI 에이전트를 개발했으며, 일부는 하루에 100만 건 이상의 세션을 처리합니다. 그러나 가장 큰 도전 과제는 이러한 에이전트가 실패하는 이유를 파악하는 것입니다. 에이전트가 멈추는 대신 잘못된 답변을 제공하는 경우가 많아 문제를 추적하기가 어렵습니다.

이 문제를 해결하기 위해 저자는 AI 에이전트의 실패를 조사하는 자동화 도구인 켈렛(Kelet)을 소개합니다. 켈렛의 작동 방식은 다음과 같습니다. 첫째, 사용자 피드백, 클릭 수 및 기타 신호와 같은 데이터를 연결합니다. 둘째, 켈렛은 이 데이터를 분석하여 각 세션에 대한 정보를 수집합니다. 셋째, 무엇이 잘못되었는지에 대한 가설을 생성합니다. 넷째, 유사한 가설을 그룹화하여 공통 문제를 식별합니다. 마지막으로, 근본 원인을 찾아내고 가능한 해결책을 제안합니다.

개별 실패는 무작위로 보일 수 있지만, 가설을 그룹화하면 패턴이 드러납니다. 켈렛은 기존 시스템에 쉽게 통합할 수 있으며, 현재 베타 단계에서 무료로 제공되고 있습니다. 저자는 특히 실제로 AI 에이전트를 관리하는 사용자들로부터 피드백을 받고 있으며, 오류 분석 자동화가 유용한지 확인하고자 합니다.

작성자: almogbaku | 점수: 34

25.
비순환 e-그래프: 크레인리프트 최적화기
(The acyclic e-graph: Cranelift's mid-end optimizer)

비순환 e-그래프(또는 aegraph)는 2022년에 도입된 Cranelift의 중간 최적화 도구에서 중요한 데이터 구조입니다. e-그래프 커뮤니티 내에서 광범위한 개발과 논의가 이루어진 후, 이 글에서는 aegraph의 목적, 장점 및 구현 세부 사항을 설명합니다.

e-그래프의 주요 목적은 코드 최적화입니다. 여러 동등한 표현을 허용함으로써 더 나은 최적화 결정을 내릴 수 있도록 돕습니다. 그러나 최적화 도구는 "패스 순서 문제"와 같은 여러 가지 문제에 직면했습니다. 이는 서로 다른 최적화 패스들이 보다 효과적으로 조정될 필요가 있음을 의미합니다.

aegraph는 여러 최적화 기법을 결합하여 사용합니다. 첫째, 전역 값 번호 매기기(Global Value Numbering, GVN)는 동일한 계산을 표준화합니다. 둘째, 루프 불변 코드 이동(Loop-Invariant Code Motion, LICM)은 변경되지 않는 계산을 루프 외부로 이동시킵니다. 셋째, 중복 로드 제거는 불필요한 로드를 제거합니다. 마지막으로, 상수 전파(Constant Propagation)는 표현식 내의 상수를 단순화합니다.

aegraph는 "노드의 바다" 모델을 사용하여 계산을 그래프로 표현합니다. 이는 순차적인 방식 대신 더 유연한 최적화를 가능하게 합니다. 최적화 도구는 순수한 작업을 제어 흐름 그래프(Control Flow Graph, CFG)에서 노드의 바다로 끌어올리고, 이러한 작업에 대해 재작성한 후 다시 CFG로 상세화합니다. 이 과정에서 비순환성을 유지하여 효율적인 처리를 보장합니다.

재작성은 노드가 생성될 때 즉시 적용되어 모든 동등한 형태가 나중에 다시 방문할 필요 없이 고려됩니다. 표현식의 가장 효율적인 표현을 선택하는 추출 문제는 동적 프로그래밍 접근 방식을 사용하여 컴파일 시간을 최소화합니다.

평가 결과, aegraph는 실행 시간을 약 0.1% 개선하지만, 전통적인 방법에 비해 컴파일 시간은 약 7-8% 증가합니다. 이는 최적화 품질과 효율성 간의 균형을 나타냅니다. 즉각적인 재작성 접근 방식은 e-그래프 사용의 잠재적 이점을 크게 감소시키지 않습니다.

결론적으로, aegraph는 최적화에서 일부 개선을 제공하지만 현재 구현은 성능에서 미미한 이득만을 가져옵니다. 향후 컴파일러 설계에서 그 유용성을 높이기 위한 추가 탐색과 개선이 필요할 것입니다.

작성자: tekknolagi | 점수: 52

26.
다빈치 포토
(DaVinci Resolve – Photo)

다빈치 리졸브는 정지 사진을 위한 고급 색상 도구를 도입하여 전문 색상 조정자와 사진작가들이 전통적인 응용 프로그램을 넘어 작업을 향상시킬 수 있도록 하고 있습니다. 이 소프트웨어는 화이트 밸런스와 노출 조정과 같은 필수 사진 도구를 지원하며, 할리우드에서 사용되는 강력한 색상 그레이딩 기능을 제공합니다.

주요 기능으로는 전문적인 색상 보정을 위한 도구가 포함되어 있으며, 곡선과 선택기, 복잡한 편집을 위한 노드 기반 워크플로우를 제공합니다. 다양한 카메라 포맷, 예를 들어 캐논과 소니와의 호환성을 갖춘 네이티브 RAW 지원과 비파괴 편집 옵션도 제공됩니다. 클라우드 기반 시스템을 통해 프로젝트에 대한 실시간 협업이 가능하며, 원격 검토와 촬영 중 실시간 색상 그레이딩이 가능합니다.

이미지 관리는 태그와 평점을 통해 쉽게 정리하고 관리할 수 있으며, AI 검색 기능을 통해 특정 이미지를 빠르게 찾을 수 있습니다. 100개 이상의 효과와 AI 도구가 포함되어 있어 얼굴 보정 및 영화 같은 효과를 통해 이미지를 향상시킬 수 있습니다. 카메라 테더링 기능을 통해 카메라를 소프트웨어에 직접 연결하여 실시간으로 캡처하고 즉시 그레이딩 및 정리가 가능합니다. 다양한 형식으로 빠르게 내보낼 수 있는 옵션도 제공되며, 원본 메타데이터를 잃지 않습니다.

또한, GPU 가속 기능이 있어 고해상도 이미지를 신속하게 처리하고 다룰 수 있어 빠른 속도의 사진 작업에 적합합니다. 보다 효율적인 편집을 위한 하드웨어 패널도 제공됩니다. 다빈치 리졸브는 무료로 제공되거나 더 고급 기능을 위한 유료 버전으로 이용할 수 있습니다.

작성자: thebiblelover7 | 점수: 984

27.
도구 호출과 오픈소스 모델의 딜레마
(The M×N problem of tool calling and open-source models)

폐쇄형 모델을 사용하는 도구 호출은 간단합니다. API에 함수 목록을 보내면 모델이 이를 처리하고, 기본 형식에 대해 걱정할 필요 없이 구조화된 JSON 형식으로 결과를 받습니다.

하지만 개방형 모델에서는 상황이 복잡해집니다. 각 모델마다 도구 호출을 인코딩하는 방식이 다르기 때문입니다. 만약 엔진이 모델의 형식을 인식하지 못하면 출력이 엉망이 되어 JSON 형식이 잘못되거나 함수 호출이 누락되는 문제가 발생할 수 있습니다. 이로 인해 개발자들은 지원이 추가되기를 기다리거나 자신만의 파서를 만들어야 하는 경우가 많습니다.

각기 다른 모델은 동일한 함수 호출을 표현하기 위해 다양한 "와이어 형식"을 사용하므로 호환성 문제가 생깁니다. 예를 들어, 쿼리를 검색하는 함수 호출은 사용되는 모델에 따라 완전히 다르게 보일 수 있습니다. 이 때문에 개발자들은 지원하고자 하는 각 모델에 맞는 특정 파서를 작성해야 하며, 이는 작업량을 증가시킵니다.

모든 모델에 적용 가능한 보편적인 파서를 만드는 것은 어렵습니다. 각 모델이 형식 요소를 정의하는 방식이 독특하기 때문입니다. 일반적인 파서를 만들기 위한 시도가 있었지만, 각 모델의 특수성 때문에 어려움을 겪어 디버깅이 힘든 문제가 발생합니다.

새로운 모델이 출시될 때마다 문법 엔진(모델이 출력을 생성하는 방식을 처리하는)과 출력 파서(출력을 사용 가능한 데이터로 형식화하는)는 모델의 특정 형식을 이해해야 합니다. 그러나 이 두 영역은 독립적으로 운영되기 때문에 새로운 모델이 도입될 때마다 형식을 역설계하는 중복 작업이 발생합니다.

이 문제를 해결하기 위해서는 이러한 와이어 형식을 선언적으로 설명할 수 있는 공유 방식이 필요합니다. 이를 통해 문법 엔진과 파서가 공통 사양을 참조할 수 있게 되면 중복 작업을 줄이고 다양한 모델 간의 도구 호출 과정을 간소화할 수 있습니다.

결론적으로, 주요 문제는 다양한 모델 형식의 복잡성, 파싱 및 생성에서의 노력 중복, 그리고 과정을 단순화하기 위한 공유 사양의 필요성입니다.

작성자: remilouf | 점수: 103

28.
페디버스의 그래픽 클라이언트 필요!
(The Fediverse deserves a dumb graphical client)

저자는 유해한 알고리즘이나 감시가 없는 소셜 네트워크인 페디버스를 사랑합니다. 그러나 많은 클라이언트가 무겁고 현대적인 기기와 빠른 인터넷 연결을 요구한다는 점을 발견했습니다. 더 가벼운 명령어 기반 클라이언트도 있지만, 이미지 지원이 부족해 완전한 경험을 제공하지 못합니다.

이 문제를 해결하기 위해 저자는 SmolFedi라는 간단한 PHP 애플리케이션을 만들었습니다. 이 애플리케이션은 자바스크립트 없이 기본 브라우저에서 실행될 수 있습니다. 여러 계정, 타임라인, 알림, 미디어 지원과 같은 필수 기능을 제공하면서도 가볍고 빠릅니다. SmolFedi는 다양한 페디버스 플랫폼과 호환되며, 제한된 기기나 느린 인터넷을 사용하는 사용자에게 적합합니다. 소스 코드는 Codeberg에서 확인할 수 있으며, 데모는 Pollux에서 이용할 수 있습니다.

작성자: speckx | 점수: 58

29.
버그 발견! 프로그램 검증 성공
(Lean proved this program correct; then I found a bug)

최근 실험에서는 AI가 소프트웨어 취약점을 찾는 능력이 점점 더 향상되고 있음을 보여주었습니다. 연구자는 Lean이라는 도구를 사용해 zlib의 새로운 구현체인 lean-zip을 검증한 후, 버그를 발견했습니다. AI인 Claude를 활용해 lean-zip에 대한 퍼징 테스트를 진행한 결과, 중요한 발견이 있었습니다.

첫째, 검증된 lean-zip 코드에는 메모리 취약점이 없었습니다. 이는 긍정적인 결과입니다. 둘째, Lean 4 런타임에서 심각한 힙 버퍼 오버플로우가 발견되었습니다. 이 문제는 할당 크기가 큰 값으로 인해 감싸여 발생하며, 모든 버전에 영향을 미칩니다. 셋째, lean-zip의 아카이브 파서에서 서비스 거부(DoS) 취약점이 발견되었습니다. 이 취약점은 메모리를 할당하기 전에 입력 크기를 제대로 검증하지 않아 발생했습니다.

검증 과정에서는 이러한 버그를 발견하지 못했습니다. 서비스 거부 취약점은 검증되지 않은 코드에 있었고, 힙 오버플로우는 기본 Lean 런타임과 관련이 있었는데, 이 런타임은 올바른 것으로 가정되었지만 결함이 있었습니다.

전반적으로, 결과는 형식 검증이 코드의 안전성을 크게 향상시키고 오류를 줄일 수 있지만, 모든 위험을 제거하지는 못한다는 점을 보여줍니다. 특히 코드베이스의 일부가 검증되지 않은 경우에는 더욱 그렇습니다. 이러한 발견은 소프트웨어 개발에서 철저한 검증과 신뢰할 수 있는 구성 요소에 대한 지속적인 검토의 중요성을 강조합니다.

작성자: bumbledraven | 점수: 363

30.
프랭클린의 애플 II 광고와 사랑받는 모방자
(Franklin's bad ads for Apple II clones and the beloved impersonator they depict)

2026년 4월 8일자 뉴스레터에서는 프랭클린 컴퓨터 코퍼레이션과 그들의 애플 ][ 클론 광고 전략에 대해 다루고 있습니다. 이 회사는 애플 제품의 저렴한 버전을 판매하는 것을 목표로 하였으며, 첫 제품인 ACE 100은 애플 ][와 매우 유사한 디자인을 가지고 있었습니다. 그들은 1982년 애플페스트에서 수영복을 입은 모델들을 등장시킨 눈길을 끄는 광고를 통해 화제를 모았습니다.

프랭클린의 마케팅은 벤자민 프랭클린을 중심으로 구성되었으며, 지역의 유명한 모방자 랠프 아치볼드가 그들의 마스코트 역할을 했습니다. 이 연결은 아이러니한데, 그들은 애플의 디자인을 복사했다는 비난을 받았고, 심지어 메인보드 레이아웃까지 유사하다는 지적을 받았습니다. 그럼에도 불구하고 프랭클린의 ACE 기계는 신뢰성과 저렴한 가격 덕분에 인기를 끌었고, 1983년에는 거의 10만 대가 생산되었습니다.

하지만 회사의 전략은 애플과의 법적 분쟁으로 이어졌고, 1988년에는 클론 제품에서 벗어나 비클론 제품을 만들기로 방향을 전환했습니다. 아치볼드가 등장하는 광고는 기억에 남았지만, 법적 문제가 발생한 후에는 결국 중단되었습니다. 현재 프랭클린은 현대 전자제품을 여전히 제공하고 있지만, 그들의 초기 컴퓨터는 사용자들에게 여전히 애정 어린 기억으로 남아 있습니다.

작성자: rfarley04 | 점수: 112

31.
분산 덕DB 인스턴스
(Distributed DuckDB Instance)

OpenDuck는 MotherDuck에서 영감을 받아 개발된 오픈 소스 프로젝트로, DuckDB의 기능을 향상시키기 위해 차별적 저장, 하이브리드 실행, 원격 데이터베이스에 대한 손쉬운 접근성을 제공합니다. 사용자는 이 아키텍처를 자유롭게 실행하고 확장할 수 있습니다.

OpenDuck의 주요 기능 중 하나는 차별적 저장입니다. 데이터는 변경 불가능한 레이어에 PostgreSQL 메타데이터와 함께 저장되어, 일관된 읽기와 효율적인 데이터 관리를 보장합니다. 하이브리드 실행 기능을 통해 쿼리는 로컬 머신과 원격 서버에서 모두 처리될 수 있어, 필요한 경우 작업을 분할하여 성능을 최적화합니다. 또한, DuckDB 네이티브 카탈로그를 통해 원격 테이블이 로컬 테이블처럼 작동하여 쿼리와 최적화에 원활하게 통합됩니다. OpenDuck은 최소한의 오픈 프로토콜을 사용하여 통신을 수행하며, 백엔드의 유연성을 제공합니다.

OpenDuck을 사용하는 방법은 간단합니다. 먼저 OpenDuck과 그 의존성을 설치한 후, 제공된 파이썬 라이브러리를 사용하여 연결합니다. 이후 쿼리를 실행하면 로컬 데이터와 원격 데이터에 투명하게 접근할 수 있습니다.

MotherDuck와 비교했을 때, MotherDuck은 관리형 클라우드 서비스인 반면, OpenDuck은 자체 호스팅이 가능하고 오픈 소스입니다. OpenDuck은 오픈 프로토콜과 아키텍처를 제공하여, MotherDuck의 독점 시스템과 차별화됩니다.

전반적으로 OpenDuck은 DuckDB의 강력함을 활용하면서도 더 많은 유연성과 개방성을 제공하여, 커뮤니티의 기여와 수정이 장려됩니다.

작성자: citguru | 점수: 141

32.
모든 것의 미래는 거짓?
(The future of everything is lies, I guess: Work)

이 글은 인공지능 기술의 발전, 특히 기계 학습과 대형 언어 모델을 중심으로 미래의 일자리 변화 가능성에 대해 논의합니다. 주요 내용은 다음과 같습니다.

소프트웨어 개발이 기술적인 과정에서 신비로운 과정으로 변화할 수 있다는 점이 강조됩니다. 인공지능 도구가 모호한 지침에 따라 코드를 생성하게 되면 전통적인 프로그래밍 기술이 감소할 수 있습니다.

인공지능이 작업을 자동화할 수 있지만, 이는 근로자들의 기술 저하를 초래하고 모니터링이 어려운 시스템을 만들어 오류와 비효율성을 초래할 수 있다는 우려가 있습니다.

AI가 다양한 산업에서 많은 일자리를 대체할 수 있다는 두려움이 존재합니다. 이로 인해 대규모 실업이 발생할 수 있으며, 안전망이 부족할 경우 상황이 더욱 악화될 수 있습니다. 이러한 일자리 대체 속도에 대한 예측은 다양해 근로자들 사이에 불안감을 조성하고 있습니다.

기업들이 인공지능에 점점 더 의존하게 되면서 부와 권력이 대형 기술 기업에 집중될 위험이 있습니다. 이들 기업이 세금이나 근로자 지원을 통해 사회에 공정하게 기여하지 않을 가능성이 있습니다.

인공지능 기반의 경제 성장이 보편적 기본소득(UBI)으로 이어질 것이라는 생각은 지나치게 낙관적이라는 시각이 있습니다. 역사적으로 소득 불평등이 증가해왔으며, 부유한 기업들이 재분배 정책을 자발적으로 지원할 것인지에 대한 의문이 제기되고 있습니다.

저자는 이러한 기술 변화가 가져올 예측할 수 없는 결과에 대해 깊은 우려를 표명하며, 많은 근로자가 일자리를 잃을 경우 경제적 혼란과 사회적 도전이 발생할 수 있음을 강조합니다.

결론적으로, 직장에서 인공지능의 부상은 상당한 일자리 손실, 부의 집중, 소프트웨어 개발 방식의 변화를 초래할 수 있으며, 이는 일의 미래와 경제적 공정성에 대한 중요한 질문을 제기합니다.

작성자: aphyr | 점수: 215

33.
캘리포니아 유령총 법안, 3D 프린터로 단속!
(California ghost-gun bill wants 3D printers to play cop, EFF says)

캘리포니아에서는 총기 부품의 3D 프린팅을 차단하는 기술을 도입하도록 3D 프린터 제조업체에 요구하는 새로운 법안(AB 2047)을 검토하고 있습니다. 전자 프론티어 재단(EFF)과 같은 디지털 권리 옹호자들은 이 법안이 오픈 소스 도구에 대한 접근을 제한하고 사용자 프린팅 활동에 대한 감시를 증가시킬 수 있다고 주장합니다. 그들은 사용자 프린트에 대한 데이터가 다른 회사와 공유될 경우 저작권 문제로 이어질 수 있다는 우려를 표명하고 있습니다.

이 법안은 불법 총기 부품의 프린팅을 감지하고 방지하기 위해 알고리즘을 활용할 계획이지만, 비판자들은 이 기술이 효과적으로 작동하지 않을 수 있으며, 대체 소프트웨어를 사용하거나 프린터를 수정하려는 개인을 범죄자로 만들 수 있다고 지적합니다. 또한 이로 인해 디자인의 "블랙리스트"가 생성될 수 있으며, 이는 총기 관련 품목뿐만 아니라 장난감이나 교체 부품 등 다른 창작물에도 영향을 미칠 수 있다는 우려도 제기되고 있습니다.

일부는 총기 범죄가 증가함에 따라 유령 총기 제조를 통제하는 것이 필요하다고 믿고 있지만, 반대자들은 이 법안이 범죄자가 아닌 법을 준수하는 시민을 겨냥하고 있다고 주장합니다. 전반적으로 이 논의는 3D 프린터 사용자들의 권리와 안전 사이의 균형, 그리고 오픈 소스 기술에 대한 함의에 초점을 맞추고 있습니다.

작성자: Bender | 점수: 9

34.
워드프레스 플러그인 해킹 사건
(Someone bought 30 WordPress plugins and planted a backdoor in all of them)

최근 보안 사건이 발생하여 여러 워드프레스 플러그인, 특히 Countdown Timer Ultimate가 공급망 공격을 받았습니다. 주요 내용은 다음과 같습니다.

30개 이상의 플러그인이 해킹되어 워드프레스.org에 의해 폐쇄되었습니다. 공격자들은 8개월 동안 비활성 상태였던 백도어를 활성화시켰으며, 이는 그들이 신중하게 계획했음을 시사합니다. 악성 코드는 wp-config.php 파일에 숨겨져 있어 무단 접근을 허용하고, 구글봇만 볼 수 있는 스팸 콘텐츠를 제공했습니다. 이 악성 코드는 정교하게 설계되어 이더리움 스마트 계약을 이용해 차단하기 어렵게 만들었습니다.

이 플러그인들은 처음에는 합법적인 팀에 의해 개발되었으나, 이후 의심스러운 배경을 가진 구매자에게 Flippa에서 판매되었고, 구매자는 인수 직후 악성 코드를 주입했습니다. 워드프레스.org 팀은 일부 플러그인에 대해 강제로 업데이트를 시행했지만, 모든 영향을 받은 사이트에서 백도어를 완전히 제거하지는 못했습니다. 이번 공격은 워드프레스 플러그인 마켓플레이스 내에서 신뢰 문제를 드러내며, 소유권 이전에 대한 적절한 감독이 부족해 악의적인 행위자들이 기존 플러그인을 악용할 수 있는 상황을 초래했습니다.

워드프레스 사이트를 관리하는 사용자들은 영향을 받은 플러그인을 점검하고, 패치를 적용하며, wp-config.php 파일에서 무단 변경 사항이 없는지 확인하는 것이 중요합니다.

작성자: speckx | 점수: 1125

35.
위핀 – 닌텐도 Wii 젤리핀 클라이언트
(WiiFin – Jellyfin Client for Nintendo Wii)

WiiFin은 닌텐도 Wii를 위한 홈브류 애플리케이션으로, 사용자가 Jellyfin 미디어 서버에 접근할 수 있도록 설계되었습니다. 이 앱은 영화, TV 프로그램, 음악 등을 간편하게 탐색하고 재생할 수 있는 방법을 제공합니다.

현재 이 프로젝트는 실험적인 단계에 있으며, 개발이 진행 중입니다. 기능은 작동하지만 실제 Wii 기기에서 몇 가지 문제가 발생할 수 있습니다.

WiiFin의 주요 기능으로는 사용자 로그인 지원이 있습니다. 사용자 이름과 비밀번호로 로그인하거나 QuickConnect 기능을 이용할 수 있습니다. 여러 사용자 계정을 안전하게 저장할 수 있는 프로필 기능도 제공됩니다. 사용자는 영화, TV 프로그램, 음악을 커버 아트와 함께 탐색할 수 있으며, 상세 정보에서는 줄거리, 평점, 장르를 확인하고 오디오 및 자막 트랙을 관리할 수 있습니다. "계속 시청하기"와 "다음 시청" 섹션을 포함한 시청 목록 기능도 있습니다. 비디오와 음악은 MPlayer CE 엔진을 통해 스트리밍되며, 탐색 바, 볼륨 조절, 자막 옵션을 포함한 플레이어 제어 기능이 제공됩니다. 사용자가 비디오 시청 중 위치를 저장할 수 있는 진행 상황 추적 기능도 있습니다. 또한, HTTPS를 사용하여 안전한 연결을 지원하며, Wiimote와 가상 키보드를 포함한 사용자 인터페이스를 제공합니다.

하지만 몇 가지 제한 사항도 있습니다. 비디오 재생을 위해서는 서버에서 트랜스코딩이 필요하며, 직접 재생은 지원되지 않습니다. 스테레오 오디오만 지원되며 서라운드 사운드는 사용할 수 없습니다. 자막은 서버에서 비디오에 내장되어 있어야 합니다.

WiiFin을 빌드하고 실행하기 위해서는 특정 개발 도구와 라이브러리가 필요합니다. 이 앱은 Dolphin 에뮬레이터에서 실행하거나 Wii 콘솔에서 직접 사용할 수 있습니다.

앞으로는 미디어 정렬 및 필터링, 즐겨찾기 표시, 새로운 사용자 인터페이스 테마와 같은 기능 개선이 계획되어 있습니다. 이 프로젝트는 기여, 버그 보고, 기능 제안 등을 환영합니다. 라이센스는 GPLv3에 따라 제공됩니다.

작성자: throwawayk7h | 점수: 232

36.
지그 0.16.0 출시 노트
(Zig 0.16.0 Release Notes)

Zig는 효율적이고 유지보수가 용이한 소프트웨어를 구축하기 위해 설계된 다재다능한 프로그래밍 언어입니다. Zig의 개발은 비영리 단체인 Zig 소프트웨어 재단의 지원을 받으며, 프로젝트 향상을 위한 기부를 장려하고 있습니다.

0.16.0 버전은 8개월 동안 244명의 개발자가 참여하여 1183개의 커밋을 포함하고 있습니다. 이 버전의 주요 특징 중 하나는 I/O를 인터페이스로 도입한 것이며, 언어, 컴파일러, 빌드 시스템, 링커, 퍼저, 도구 체인에 여러 가지 변화가 있었습니다.

언어 업데이트에서는 switch 문 기능이 향상되어 패킹된 구조체와 유니온을 case 항목으로 사용할 수 있게 되었습니다. C 번역은 더 이상 사용되지 않는 @cImport 대신 빌드 시스템으로 이동했습니다. 또한, 새로운 타입 생성용 내장 함수가 도입되어 @Type 함수를 대체하게 되었습니다.

표준 라이브러리에서는 입력 및 출력 작업을 더 잘 처리할 수 있는 새로운 I/O 인터페이스가 추가되었습니다. 기존 기능인 스레드 안전성과 파일 처리도 개선되었습니다.

컴파일러와 도구 체인에서는 코드 생성이 개선되고 다양한 아키텍처에 대한 지원이 강화되었습니다. LLVM 및 기타 도구 체인 구성 요소가 업데이트되어 현재 표준과의 호환성이 보장됩니다.

지원 대상이 확장되어 여러 아키텍처와 운영 체제에 대한 지원이 강화되었으며, 여러 플랫폼에 대한 네이티브 테스트도 개선되었습니다. 필요한 헤더를 얻기 어려운 이유로 Oracle Solaris와 같은 독점 시스템에 대한 지원은 제거되었습니다.

버그 수정도 이루어져 표준 라이브러리와 컴파일러의 여러 문제, 특히 빅 엔디안 시스템과 약한 순서의 아키텍처에 대한 이슈가 해결되었습니다.

앞으로 이 프로젝트는 1.0 버전 출시를 목표로 로드맵을 강화하고, 다양한 대상에 대한 지원을 지속적으로 확대할 계획입니다. 팀은 기여자와 후원자에게 감사의 뜻을 전하며, Zig 언어의 지속적인 개발을 지원하기 위한 추가 기부를 권장하고 있습니다.

Zig 0.16.0 버전은 사용성, 성능, 다양한 플랫폼 지원을 개선하기 위한 중요한 업데이트를 도입하였으며, 커뮤니티 주도의 개발과 기여에 중점을 두고 있습니다.

작성자: ska80 | 점수: 70

37.
다중 에이전트 개발의 도전
(Multi-Agentic Software Development Is a Distributed Systems Problem)

다중 에이전트 소프트웨어 개발은 여러 인공지능 에이전트가 협력하여 소프트웨어를 만드는 과정을 포함합니다. 이 과정에서는 상당한 조정 문제가 발생하며, 이는 더 똑똑한 AI 모델을 기다리는 것만으로 해결될 수 없습니다. 현재 모델들은 조정 문제로 인해 대규모 소프트웨어 개발에 어려움을 겪고 있으며, 이러한 문제는 근본적인 것으로 AI 기술의 발전으로 사라지지 않을 것입니다.

저자는 이러한 에이전트 간의 상호작용을 관리하기 위한 새로운 프로그래밍 언어와 도구의 개발이 필수적이라고 제안합니다. 그들은 에이전트 간의 작업 흐름을 설명하는 데 도움을 주는 안무 언어를 개발하고 있으며, 이는 에이전트 간의 상호작용을 우아하게 처리하는 방법입니다.

주요 논의 사항은 다음과 같습니다. 첫째, 불명확한 프롬프트가 주어질 경우 에이전트는 여러 해석을 할 수 있습니다. 이러한 모호성 때문에 에이전트는 소프트웨어 구성 요소에 대해 합의에 도달해야 합니다. 둘째, 개발 과정은 본질적으로 분산 합의 문제로, 에이전트는 소프트웨어의 서로 다른 부분에서 작업하면서 디자인 결정에 대해 합의해야 합니다. 셋째, 저자는 분산 시스템의 주요 이론적 결과를 언급합니다. FLP 정리는 비동기 시스템에서 실패를 처리하면서 합의에 도달하는 것이 불가능하다는 것을 보여줍니다. 비잔틴 장군 문제는 일부 에이전트가 프롬프트를 잘못 이해할 경우 합의에 도달하는 데 어려움이 있음을 강조합니다.

이러한 결과들은 조정 문제가 다중 에이전트 개발에 내재되어 있으며, 단순히 AI 능력을 향상시키는 것으로 해결될 수 없음을 나타냅니다. 따라서 더 똑똑한 에이전트가 문제를 해결해 줄 것이라는 희망에 의존하기보다는 이러한 도전 과제를 효과적으로 해결하기 위한 적절한 프레임워크, 프로토콜 및 도구를 설계해야 합니다.

작성자: tie-in | 점수: 95

38.
재생에너지, 천연가스 초과 생산!
(For the first time in the U.S., renewables generate more power than natural gas)

2026년 3월, 미국의 재생 가능 에너지원이 처음으로 천연가스보다 더 많은 전기를 생산했습니다. 이는 청정 에너지로의 전환에서 중요한 이정표가 되었습니다. 태양광, 풍력, 수력, 바이오에너지와 원자력 등 재생 가능 에너지가 미국 전기의 절반 이상을 차지했습니다. 이 성과는 온화한 봄 날씨 덕분에 전력 수요가 줄어들면서 화석 연료 발전이 25년 만에 3월 기준으로 가장 낮은 수준으로 떨어진 데 기인합니다.

하지만 이러한 진전에도 불구하고 전력 수요 증가로 인해 석탄 발전소의 사용이 계속되고 있습니다. 많은 노후 시설들이 퇴역 계획을 미루고 있습니다. 실제로 지난해 폐쇄될 예정이었던 아홉 개의 석탄 발전소가 여전히 가동 중이며, 이는 에너지부의 긴급 명령 때문이기도 합니다. 전반적으로 지난해 폐쇄된 석탄 발전소의 수는 15년 만에 가장 적었으며, 이는 재생 가능 에너지가 증가하고 있음에도 불구하고 여전히 화석 연료에 대한 의존도가 높다는 것을 보여줍니다.

작성자: Brajeshwar | 점수: 138

39.
깃허브 스택 PRs
(GitHub Stacked PRs)

스택된 PR은 GitHub의 기능으로, 여러 개의 풀 리퀘스트를 하나의 스택으로 정리할 수 있게 해줍니다. 사용자는 한 번의 클릭으로 모든 풀 리퀘스트를 동시에 병합할 수 있습니다. 각 풀 리퀘스트는 특정 변경 사항에 초점을 맞추고 있으며, 모두 결합되기 전에 개별적으로 검토할 수 있습니다.

작성자: ezekg | 점수: 858

40.
모터 없는 부드러운 로봇
(A soft robot has no problem moving with no motor and no gears)

프린스턴 대학교의 연구자들이 모터나 기어 없이 움직일 수 있는 새로운 유형의 소프트 로봇을 개발했습니다. 이 혁신적인 로봇은 액정 고무라는 특별한 소재와 유연한 전자기기, 종이접기 기술을 결합하여 만들어졌습니다.

이 로봇의 주요 특징 중 하나는 형태를 변화시키는 능력입니다. 로봇은 형태를 바꾸고 움직일 수 있어 의료 용도, 약물 전달, 위험한 환경 탐사에 적합합니다. 모터 대신, 로봇의 움직임은 특정 부분을 가열하여 발생하는 열로 인해 날개를 퍼덕이는 방식으로 이루어집니다. 예를 들어, 학 crane 모양의 로봇이 이 원리를 보여줍니다.

로봇의 구조는 3D 프린팅을 통해 제작되어, 정밀한 구조 제어가 가능합니다. 연구자들은 인쇄된 소재에 유연한 회로 기판을 삽입하여 가열과 움직임을 관리합니다. 또한, 로봇은 프로그래밍된 움직임 순서를 따를 수 있으며, 작은 오류를 수정할 수 있어 내구성과 성능이 향상됩니다.

이 프로젝트는 학부 논문으로 시작되었으며, 재료 과학과 로봇 공학의 통합을 통해 제조 가능한 로봇 시스템을 만드는 데 중점을 두고 있습니다. 전반적으로 이 연구는 소프트 로봇 분야에서 중요한 발전을 나타내며, 복잡한 시스템이 효과적으로 결합되어 기능적이고 프로그래밍 가능한 장치를 만드는 방법을 보여줍니다.

작성자: hhs | 점수: 79

41.
님컨프 2026: 일정 발표, 등록 시작!
(NimConf 2026: Dates Announced, Registrations Open)

Nim 팀은 NimConf 2026이 2026년 6월 20일 온라인 형식으로 개최된다고 발표했습니다. 발표 내용은 미리 녹화되어 YouTube에서 공개되며, 실시간 질문과 답변이 채팅을 통해 이루어질 예정입니다.

발표 제안은 2026년 5월 10일까지 제출해야 하며, Nim 프로그래밍 언어와 관련된 주제라면 누구나 참여할 수 있습니다. 발표자로 선정된 경우, 녹화된 발표 영상을 2026년 6월 7일까지 제출해야 합니다. NimConf는 Nim 프로그래밍 언어에 중점을 둔 커뮤니티 행사로, 언어 개발과 실제 응용 등 다양한 주제를 다룹니다.

참여자들에게는 Nim에 대한 지식을 배우고 다른 애호가들과 연결될 수 있는 기회가 제공됩니다. 발표자들에게는 자신의 작업을 선보이고 커뮤니티와 소통할 수 있는 좋은 기회가 될 것입니다. 이전 NimConf의 발표 내용은 YouTube에서 시청할 수 있습니다.

작성자: moigagoo | 점수: 97

42.
스크립트로 GUI 실행
(Run GUIs as Scripts)

제로 스타즈가 Hokusai Pocket이라는 새로운 도구를 출시했습니다. 이 도구는 사용자가 루비 스크립트를 사용하여 GUI 애플리케이션을 실행할 수 있게 해줍니다. Hokusai Pocket은 raylib과 MRuby를 기반으로 하며, MIT 라이선스 하에 제공됩니다.

Windows, macOS 또는 Linux용 바이너리는 GitHub 릴리스 페이지에서 다운로드할 수 있습니다. 애플리케이션을 실행하려면 다음 명령어를 사용하면 됩니다: hokusai-pocket run:target="<your_hokusai_app.rb>".

예시로, Hokusai Pocket을 사용하여 포토샵 클론과 작은 게임이 만들어졌으며, 이들의 코드는 GitHub에서 확인할 수 있습니다.

문서화 작업이 진행 중이지만, 기본 정보는 이전 CRuby 버전 문서를 참고할 수 있습니다. 이 도구는 작업 관리를 위한 libuv, 그래픽을 위한 raylib, 스크립트 실행을 위한 MRuby 등 여러 주요 의존성을 사용합니다.

사용자는 Docker가 설치되어 있다면, 애플리케이션을 단일 바이너리로 배포할 수 있습니다. 이때 사용할 명령어는 hokusai-pocket publish:target=<your cool program.rb>입니다.

피드백과 문서 및 빌드 타겟에 대한 기여는 환영합니다.

작성자: zero-st4rs | 점수: 18

43.
전쟁의 핑계: 걸프국가의 언론 통제 강화
(War as a Pretext: Gulf States Are Tightening the Screws on Speech–Again)

전쟁은 국경을 변화시킬 뿐만 아니라, 사람들이 볼 수 있는 것, 말할 수 있는 것, 기억할 수 있는 것에도 영향을 미칩니다. 갈등 상황에서 정부는 통제할 수 없는 정보를 "허위 정보"로 간주하고, 반대 의견을 억압하고 정보 흐름을 제한하려는 노력을 기울입니다.

걸프 지역의 언론인들은 점점 더 많은 제약을 받고 있습니다. UAE, 카타르, 요르단과 같은 국가들은 갈등 지역에 대한 접근을 제한하고, 보도에 대한 법적 결과를 위협합니다. 이러한 상황은 독립적인 저널리즘을 약화시키고 공식적인 서사를 강화하여 대중이 정확한 정보를 얻기 어렵게 만듭니다. 기자 없는 국경은 언론에 대한 단속을 강조하며, 정부가 표현의 자유를 억압하고 있다고 지적합니다.

일반 시민들도 심각한 제약을 받고 있으며, 전쟁과 관련된 소셜 미디어 활동으로 많은 사람들이 체포되고 있습니다. 기존 법률이 모호한 범죄를 처벌하는 데 사용되면서, 당국은 반대 의견을 억압할 수 있는 여지를 갖게 됩니다. 예를 들어, 바레인은 시위로 많은 사람들을 체포했으며, UAE는 잘못된 정보로 간주되는 내용을 공유한 수백 명을 구금했습니다. 사우디아라비아, 쿠웨이트, 카타르, 요르단에서도 유사한 단속이 진행되고 있습니다.

이들 국가에서 취해진 조치는 일관성이 있으며, 비판자를 침묵시키고 대중의 서사를 통제하기 위한 지역 전략을 형성하고 있습니다. 정부는 기존의 사이버 범죄 및 미디어 법률을 이용해 검열을 정당화하며, 종종 국가 안보와 공공 질서를 이유로 내세웁니다.

한때 열린 토론의 공간으로 여겨졌던 디지털 플랫폼은 이제 더 엄격하게 규제되고 있습니다. 이러한 단속은 전쟁에 대한 반응일 뿐만 아니라, 국가가 디지털 담론에 대한 통제를 강화하는 방법이기도 합니다.

역사적으로, 위기 상황에서 시행된 비상 권한은 위기가 끝난 후에도 오랫동안 지속될 수 있으며, 이는 표현의 자유에 대한 제한을 정상화하는 결과를 초래합니다. 보도가 제한되면 책임을 묻기 어려워지고, 권력 남용이 방치될 수 있기 때문에, 갈등 상황에서 표현의 자유를 보호하는 것은 책임성과 투명성을 보장하는 데 매우 중요합니다. 이는 공식적인 서사 뒤에 숨겨진 진실을 드러내는 데 도움을 줍니다.

작성자: hn_acker | 점수: 32

44.
덕DB 내부 설계와 구현
(Design and implementation of DuckDB internals)

이 글은 튀빙겐 대학교의 토르스텐 그루스트가 설계한 DuckDB의 내부 작동에 관한 15주 과정에 대해 설명합니다. 이 과정은 데이터베이스 연구 그룹의 학부생들을 대상으로 하고 있습니다.

이 과정에서는 DuckDB의 설계와 구현에 관한 다양한 측면을 다룹니다. 여기에는 메모리 관리, 인덱싱, 쿼리 최적화 등이 포함됩니다. 과정의 주요 내용은 다음과 같습니다. 첫째, 과정 소개와 설정 방법, 둘째, 쿼리 성능, 셋째, 메모리 관리와 집계, 넷째, 정렬 기법, 다섯째, 인덱싱 방법, 여섯째, 실행 계획과 쿼리 파이프라인, 일곱째, 벡터화된 실행, 마지막으로 쿼리 재작성과 최적화입니다.

이 과정을 수강하기 위해서는 기본적인 SQL 지식이 필요하며, 주로 표준 SQL 명령어에 중점을 둡니다. SQL에 대한 기초가 필요한 학생들을 위해 테이블 데이터베이스 시스템에 관한 보조 과정도 제공됩니다.

모든 강의 자료는 슬라이드를 포함하여 GitHub 저장소에서 확인할 수 있습니다.

작성자: mpweiher | 점수: 173

45.
루미나: 웹 네이티브 언어
(Lumina – a statically typed web-native language for JavaScript and WASM)

루미나(Lumina)는 웹 개발을 위해 설계된 프로그래밍 언어로, 안전성과 웹 기능을 모두 우선시할 수 있도록 돕습니다. 이 언어는 정적 타입과 고급 기능을 포함하고 있으며, HM 타입 추론, 대수적 타입, 특성 기반 다형성을 지원합니다. 루미나는 JavaScript와 WebAssembly로 컴파일되어 반응형 사용자 인터페이스를 만들고 다양한 웹 작업을 처리할 수 있습니다.

루미나를 설치하려면 다음 명령어를 사용하세요. npm install -g lumina-lang. 간단한 프로그램을 만들려면 hello.lm이라는 파일을 생성하고 다음 코드를 입력합니다. fn main() -> void { print("Hello, Lumina!") }. 프로그램을 실행하려면 다음 단계를 따르세요. 먼저 코드를 확인합니다: lumina check hello.lm. 그 다음 컴파일합니다: lumina compile hello.lm --target esm --out hello.js. 마지막으로 Node.js로 실행합니다: node hello.js. 대화형 REPL을 시작하려면 lumina repl을 입력하세요.

루미나의 주요 기능으로는 코드 확인, 컴파일, 실행을 위한 명령줄 인터페이스(CLI)가 있습니다. 또한 다중 줄 지원과 히스토리가 있는 REPL, JavaScript와 WASM을 위한 타겟, 브라우저에서의 반응형 UI 런타임 및 실시간 데모 기능이 포함되어 있습니다. Visual Studio Code와의 통합도 지원하며, lumina-lsp 확장을 통해 가능합니다.

더 많은 정보는 프로젝트에 포함된 문서 파일을 확인하세요. 기여하거나 개발하려면 다음 명령어를 사용합니다. npm install, npm run build, npm run lint:check, npm test. 루미나는 MIT 또는 Apache-2.0 라이센스 하에 제공됩니다.

작성자: light_ideas | 점수: 52

46.
코드 줄이고 책임지기
(Write less code, be more responsible)

이 글은 AI 지원 프로그래밍이 개발자와 프로그래밍 과정에 미치는 영향을 다룹니다. 저자는 코딩 논의에서 AI의 존재가 매우 두드러지지만, 이러한 변화에 적응하면서도 작업의 품질에 대한 책임을 유지하는 것이 중요하다고 강조합니다.

AI의 역할에 대해 설명하자면, GitHub Copilot과 Codex와 같은 AI 도구는 코딩 작업을 빠르게 진행할 수 있게 도와주지만, 지나치게 의존할 경우 혼란을 초래할 수 있습니다. 저자는 일상적인 작업에는 AI를 활용하되, 창의적인 부분에서는 개인의 참여를 유지하는 균형 잡힌 접근 방식을 제안합니다.

"바이브 코드(vibe-coded)" 프로젝트의 증가로 인해 AI를 사용해 빠르게 구축된 애플리케이션의 품질이 저하될 위험이 있습니다. 저자는 유지 보수의 중요성을 강조하며, 개발자들이 자신의 기여에 대해 책임을 져야 한다고 말합니다.

또한, AI가 생성한 코드를 사용하는 것에 대한 윤리적 문제도 제기됩니다. 특히 오픈 소스 환경에서 발생할 수 있는 라이선스 문제에 대한 우려가 있습니다. 저자는 이러한 주제에 대해 확신이 없으며, 더 많은 논의를 요청합니다.

결론적으로, 저자는 코딩에서 지속적인 개선과 창의성을 강조하며, AI를 힘든 작업을 대체하는 것이 아니라 도구로 바라보아야 한다고 주장합니다. "Grinding"이라는 모토는 품질 높은 프로젝트를 만드는 데 있어 인내심을 강조합니다.

전반적으로 이 글은 프로그래밍에서 AI를 사용할 때 책임감 있고 균형 잡힌 접근 방식을 유지하며 소프트웨어 개발의 높은 기준을 지킬 것을 권장합니다.

작성자: orhunp_ | 점수: 153

47.
순수 SQL로 구현한 6502 마이크로프로세서
(MOS tech 6502 8-bit microprocessor in pure SQL powered by Postgres)

MOS 6502 CPU 에뮬레이터는 PostgreSQL 내에서 완전히 작동합니다. 이 에뮬레이터는 CPU 레지스터, 플래그, 그리고 64KB 메모리를 데이터베이스 테이블로 사용하며, 각 CPU 명령어는 저장 프로시저로 구현되어 있습니다.

시작 방법은 간단합니다. 먼저 Docker를 사용하여 PostgreSQL을 실행합니다. 그 다음 스키마와 테스트 바이너리를 로드하고, 마지막으로 Klaus 6502 기능 테스트를 실행하면 됩니다.

아키텍처에 대한 세부 사항은 다음과 같습니다. pg6502.cpu 테이블은 레지스터(A, X, Y, SP, PC)와 상태 플래그를 포함한 단일 행으로 구성되어 있습니다. pg6502.mem 테이블은 64KB의 메모리를 나타내며, 각 바이트마다 하나의 행이 있습니다.

이 에뮬레이터를 사용하기 위해서는 PostgreSQL 16 버전 이상과 Docker가 필요합니다. 라이센스는 MIT 라이센스이며, 자세한 내용은 LICENSE 파일을 참조하면 됩니다.

작성자: adunk | 점수: 65

48.
파이어폭스 17% 빠르게 만들기
(How to make Firefox builds 17% faster)

Firefox 빌드를 더 빠르게 만드는 방법에 대한 내용입니다.

Buildcache라는 도구가 도입되어 Firefox 빌드를 더 빠르게 할 수 있게 되었습니다. 이 도구는 특정 빌드 단계의 결과물을 저장하여 캐싱함으로써 빌드 속도를 높입니다. 비컴파일러 명령을 처리하기 위해 Lua 플러그인 시스템을 사용하여 더 효율적인 캐싱이 가능합니다.

Firefox를 빌드하는 초기 단계 중 하나는 .webidl 파일에서 C++ 바인딩 코드를 생성하는 것입니다. 이 과정에서 많은 출력 파일이 생성되지만, 결과가 항상 동일하게 나오기 때문에 캐싱하기에 적합합니다.

최근 업데이트(버그 2027655)로 인해 WebIDL 코드 생성을 Buildcache로 감싸서 캐싱할 수 있게 되었습니다. 이 업데이트는 Python 빌드 작업에 명령 래퍼를 전달할 수 있도록 합니다.

Lua 스크립트인 webidl.lua는 Buildcache가 WebIDL 코드 생성을 어떻게 캐싱할지 이해하는 데 도움을 줍니다. 이 스크립트는 입력과 출력을 식별하여 Buildcache가 결과를 효율적으로 저장하고 검색할 수 있도록 합니다.

테스트 결과, Buildcache를 사용하면 빌드 시간이 크게 단축된 것으로 나타났습니다. 캐싱을 사용하지 않았을 때는 5분 35초가 걸렸지만, Buildcache를 사용할 경우 1분 12초로 줄어들었습니다. 이는 반복적인 빌드 과정에서 특히 큰 개선을 보여줍니다.

사용자는 Makefile을 업데이트하고 Buildcache 구성을 조정하여 Lua 래퍼를 활성화할 수 있습니다.

WebIDL 캐싱의 성공은 Firefox의 다른 빌드 단계에도 유사한 기술을 적용할 수 있는 길을 열어줍니다. 이러한 접근 방식은 Firefox 개발자들이 편집-컴파일-테스트 사이클을 더 효율적으로 진행할 수 있도록 돕는 것을 목표로 하고 있습니다.

작성자: mbitsnbites | 점수: 199

49.
소행성에서 발견된 생명의 유전자 코드!
(All 5 units of life's genetic code were just discovered in an asteroid sample)

최근 연구에 따르면, 생명의 유전 코드에 필수적인 다섯 가지 기본 핵염기들이 소행성 리구에서 발견되었다고 합니다. 이 샘플들은 일본의 하야부사2 미션에 의해 수집되어 2020년에 지구로 돌아왔습니다.

다섯 가지 핵염기는 아데닌, 구아닌, 사이토신, 티민, 그리고 유라실로, 이들은 DNA와 RNA의 기본 구성 요소입니다. 리구에서 이들 핵염기가 발견된 것은 초기 태양계에서 생명의 재료가 널리 퍼져 있었을 가능성을 시사합니다.

연구자들은 초청정 실험실 기술을 사용하여 5.4그램의 소행성 물질을 분석했으며, 다섯 가지 핵염기를 비슷한 양으로 성공적으로 검출했습니다. 이 발견은 운석에서 핵염기가 발견된 이전 연구와 일치하며, 탄소가 풍부한 소행성이 지구에 생명의 구성 요소를 전달하는 데 중요한 역할을 했을 가능성을 제시합니다.

전반적으로 이 연구는 생명의 화학적 전구체가 우주에서 형성되었을 수 있음을 나타내며, 소행성과 지구 생명의 기원 사이의 잠재적 연결성을 강조합니다.

작성자: PaulHoule | 점수: 16

50.
간단한 S3
(I just want simple S3)

저자는 복잡한 기능인 확장성이나 복제를 필요로 하지 않는 간단하고 신뢰할 수 있는 S3 호환 저장 솔루션을 찾고 있습니다. 여러 옵션에 대해 불만을 표명했습니다.

먼저, Minio는 변경 사항과 과거의 버그로 인해 더 이상 유효하지 않다고 언급했습니다. Garage는 흥미로운 옵션이지만 Rust로 개발된 복잡한 시스템으로, 일부 S3 기능이 부족하다고 합니다. SeaweedFS는 유망한 솔루션이지만 저자의 로컬 네트워크에서 성능이 느리다고 합니다. CEPH는 저자의 필요에는 너무 복잡하지만 S3와 경쟁할 수 있는 시스템입니다. Versity GW는 로컬 파일 시스템 저장을 허용하고 빠른 성능과 공개 읽기 버킷과 같은 유용한 기능을 제공하는 뛰어난 옵션으로 평가받고 있습니다.

저자는 Versity의 성능과 관리 인터페이스에 만족하고 있습니다. 이후 발견한 다른 대안으로는 Rust 기반의 RustFS가 있으며, 100% S3 호환성을 주장하지만 복잡성과 성능에 대한 우려가 있다고 합니다. rclone은 S3 서버 역할을 할 수 있지만 주로 그런 용도로 설계된 것은 아닙니다. filestash는 다양한 저장 프로토콜과 호환되는 다재다능한 파일 관리자입니다. Zenko CloudServer와 Supabase Storage는 모두 NodeJS 기반으로, 저장 방식에 대한 다양한 접근 방식을 제시합니다.

전반적으로 저자는 현재까지 Versity가 자신의 필요에 가장 잘 맞는 솔루션이라고 생각하고 있습니다.

작성자: g0xA52A2A | 점수: 214

51.
클라우드플레어 CLI 구축
(Building a CLI for all of Cloudflare)

클라우드플레어는 사용자, 즉 "에이전트"를 더 잘 지원하기 위해 새로운 명령줄 인터페이스(CLI)인 Wrangler를 개발하고 있습니다. 현재 버전의 Wrangler는 모든 클라우드플레어 제품을 지원하지 않기 때문에, 팀은 모든 제품에 대한 명령을 지원하고 인프라를 코드로 구성할 수 있도록 재구성 작업을 진행하고 있습니다.

새로운 CLI는 TypeScript 스키마를 기반으로 하여 이전 방법보다 일관성을 높이고 업데이트를 쉽게 할 수 있도록 설계되었습니다. 이 방식은 다양한 인터페이스에서 명령이 통일되도록 하여 개발자들이 더 쉽게 사용할 수 있게 합니다.

또한 클라우드플레어는 로컬 리소스를 검사하고 관리할 수 있는 기능인 로컬 탐색기(Local Explorer)를 도입하고 있습니다. 이를 통해 개발자들은 데이터베이스와 저장소와 같은 로컬 자원을 클라우드플레어 API와 상호작용하는 것처럼 다룰 수 있게 됩니다. 이는 로컬 개발을 더욱 원활하게 하는 것을 목표로 하고 있습니다.

팀은 사용자로부터 피드백을 받아 CLI를 더욱 개선하고 클라우드플레어 서비스를 관리하는 데 유용하게 만들기를 권장하고 있습니다. 새로운 CLI의 기술 미리보기 버전이 현재 테스트를 위해 제공되고 있습니다.

작성자: soheilpro | 점수: 323

52.
아마존, 애플 위성 파트너 인수!
(Amazon acquires Apple's satellite partner)

아마존이 애플의 위성 파트너인 글로벌스타를 인수하기로 합의했습니다. 이번 인수로 아마존의 위성 네트워크가 강화되어, 기기에 직접 연결되는 서비스와 전통적인 네트워크를 넘어서는 셀룰러 커버리지를 제공할 수 있게 됩니다. 또한 아마존은 애플의 아이폰과 애플 워치에 위성 서비스를 제공하며, 긴급 SOS 기능도 포함될 예정입니다.

이 인수는 아마존이 선도적인 위성 서비스 제공업체인 스타링크와 경쟁하는 데 도움이 될 것입니다. 애플은 이전에 글로벌스타에 10억 달러 이상을 투자했으며, 이를 통해 위성 서비스에 대한 몇 가지 혜택을 확보했습니다. 애플 사용자들이 이러한 위성 기능에 대해 결국 요금을 지불해야 할지는 불확실하지만, 이번 합의로 애플이 즉각적인 비용을 피할 수 있을 것으로 보입니다.

애플은 구글과 인공지능 분야에서, 삼성과는 부품 공급을 위해 협력하는 등 다른 기술 기업들과의 파트너십을 강화하고 있습니다. 이는 주요 기술 기업들 간의 협력 추세를 보여줍니다.

작성자: CharlesW | 점수: 12

53.
해커의 사고법
(On hacker mindset)

해커 마인드셋에 대한 개념이 영화 제작자 로버트 로드리게스의 경험을 통해 설명된다. 그는 첫 번째 영화인 엘 마리아치를 단 7,000달러의 예산으로 제작했다. 이 마인드셋은 표면적인 시스템을 넘어서 그 이면의 작동 방식을 이해하는 데 중점을 두며, 이를 통해 비전통적인 해결책과 지름길을 찾을 수 있게 한다.

로드리게스는 정식 교육을 받지 않았고 독립적으로 작업했으며, 학교에서 배운 전통적인 영화 제작 규범에 도전했다. 그는 제작팀에 의존하지 않고 여러 역할을 스스로 맡아 비용과 제작 시간을 최적화했다. 그의 접근 방식은 기존의 지혜보다는 실질적인 경험에 기반하여, 시스템에 대한 깊은 이해가 창의적인 해결책을 가능하게 한다는 것을 보여준다.

이 기사는 해커 마인드셋이 구직이나 관료적 시스템을 탐색하는 등 다양한 분야에 적용될 수 있다고 주장한다. 이는 표면적인 관습 너머의 깊은 층과 가능성을 인식하는 데서 비롯된다. 이러한 마인드셋은 종종 실무 경험과 비슷한 생각을 가진 사람들과의 교류를 통해 발전하며, 이는 혁신적인 사고와 문제 해결로 이어진다.

작성자: jger15 | 점수: 20

54.
GPU에서의 러스트 스레드
(Rust Threads on the GPU)

VectorWare는 Rust의 스레딩 모델을 GPU에 성공적으로 구현하여 GPU 프로그래밍의 중요한 발전을 이루었습니다. 이를 통해 개발자들은 Rust의 친숙한 문법을 사용하여 복잡하고 고성능의 애플리케이션을 만들 수 있게 되었습니다.

CPU와 GPU는 동시성을 처리하는 방식이 다릅니다. CPU는 하나의 스레드로 시작하여 다른 스레드를 생성할 수 있지만, GPU는 기본적으로 커널의 여러 인스턴스를 동시에 실행합니다. GPU 커널은 CPU 함수처럼 작동하지만, 수천 번 동시에 실행되기 때문에 전통적인 프로그래밍 모델을 적용하기가 어렵습니다.

Rust의 안전성 기능은 CPU 프로그래밍을 위해 설계되었기 때문에 GPU의 실행 모델에 쉽게 적용되지 않아, 원시 포인터와 안전하지 않은 코드를 사용할 필요가 있습니다. VectorWare는 Rust의 std::thread를 구현하여 GPU 프로그램이 스레드를 활용할 수 있도록 하여, 스레딩에 의존하는 기존 Rust 라이브러리와 도구와의 호환성을 높였습니다.

각 Rust 스레드는 GPU의 워프(스레드 그룹)에 매핑됩니다. 이 모델은 CPU와 유사한 실행 구조를 유지하면서 GPU의 고유한 병렬성으로 인한 복잡성을 피합니다. 새로운 모델은 GPU 프로그래밍을 간소화하고 실행 분기를 방지하며 Rust의 안전성 기능을 유지하여 개발자들이 효율적인 GPU 네이티브 애플리케이션을 작성하는 데 도움을 줍니다.

물론, 제한 사항도 존재합니다. 예를 들어, 워프의 수가 한정되어 있고 자원 사용의 비효율성이 발생할 수 있지만, 이러한 문제는 신중한 프로그래밍으로 관리할 수 있습니다. VectorWare는 GPU 프로그래밍을 접근 가능하고 안전하게 만들기 위해 Rust에 집중하고 있으며, 앞으로 다른 언어도 지원할 계획입니다. 이 기술의 발전과 응용에 대한 정보를 계속해서 공유할 예정입니다.

작성자: PaulHoule | 점수: 113

55.
오픈소스의 기하급수적 성장
(The exponential curve behind open source backlogs)

저자는 Jellyfin 웹 프로젝트에 작은 기능을 추가하기 위해 1년 넘게 노력해왔으며, 여러 개의 풀 리퀘스트(PR)가 승인되었지만 병합되지 않았습니다. 이러한 문제는 Jellyfin에만 국한되지 않으며, 많은 인기 있는 오픈 소스 프로젝트들이 비슷한 문제를 겪고 있습니다. 이는 대개 유지 관리자가 매우 적기 때문입니다. 저자는 PR 검토에 시간이 오래 걸리는 이유를 탐구하고 대기 이론에 기반한 여러 가지 개선 방안을 제안합니다.

주요 내용은 다음과 같습니다. 첫째, 저자의 PR은 368일 동안 대기했으며, 그 중 실제 검토에 소요된 시간은 극히 일부에 불과했습니다. 둘째, 많은 오픈 소스 프로젝트들이 높은 수의 열린 PR과 제한된 검토자 수로 인해 어려움을 겪고 있으며, 이로 인해 지연이 발생합니다. 셋째, 유지 관리자가 거의 모두 활용될 때, 검토 대기 시간이 기하급수적으로 증가하여 백로그가 생깁니다. 넷째, 개선 방안으로는 PR 크기를 제한하여 더 작고 검토하기 쉬운 제출을 장려하는 것, PR이 유지 관리자의 검토를 받기 전에 준비가 되었는지 확인하는 품질 기준을 도입하는 것, 검토자가 동시에 처리할 수 있는 활성 PR 수를 제한하는 것, PR의 크기뿐만 아니라 프로젝트에 대한 가치를 기준으로 우선순위를 매기는 것, 기여자에게 예측 가능성을 높이기 위해 정기적인 검토 일정을 설정하는 것, 검토 용량을 향상시키기 위해 단계별 검토자 시스템을 만드는 것, 새로운 기능에 대한 제안 프로세스를 시행하여 코딩 시작 전에 정렬을 보장하는 것 등이 있습니다.

저자는 기존 유지 관리자를 통해 작업 흐름을 개선하면 긴 PR 대기 시간을 줄일 수 있다고 믿으며, 단순히 더 많은 유지 관리자를 찾는 것만으로는 해결되지 않는다고 강조합니다.

작성자: armanckeser | 점수: 61

56.
대다수의 비밀: 19세기 영국의 시체 도굴과 장례 개혁
(The Great Majority: Body Snatching and Burial Reform in 19th-Century Britain)

1780년에서 1850년 사이, 산업 혁명은 유럽, 특히 영국에서 삶을 크게 변화시켰습니다. 맨체스터와 런던 같은 도시가 급속히 성장하면서 도시화가 진행되었습니다. 이로 인해 많은 사회 문제가 발생했으며, 그 중 하나는 묘지가 과밀해지는 것이었습니다. 사망자 수가 생존자 수를 초과하면서, 특히 가난한 사람들은 높은 장례 비용으로 인해 장례 절차에 어려움을 겪게 되었고, 이로 인해 고인의 존엄성이 거의 없는 가난한 사람들의 묘지가 생겨났습니다.

시체 도굴은 외과의사들이 의학 연구를 위해 신선한 시체를 찾으면서 음산한 거래로 변모했습니다. 법의 허점을 이용해 시체 도굴범을 처벌하기 어려운 상황이었기 때문에 이러한 일이 더욱 만연했습니다. 시체에 대한 수요가 증가하면서, 윌리엄 버크와 윌리엄 헤어와 같은 이들이 희생자를 살해해 시체를 판매하는 끔찍한 범죄가 발생했습니다. 시체 도굴에 대한 대중의 분노는 폭동과 개혁으로 이어졌습니다.

1832년의 해부법은 청구되지 않은 가난한 사람의 시체를 해부할 수 있도록 허용했지만, 고인의 존엄성이 훼손될 것에 대한 두려움은 여전히 남아 있었습니다. 개혁가인 조지 워커는 묘지의 열악한 상태를 강조하며 이를 건강 위험으로 지적했습니다. 1852년의 장례법은 과밀한 교회 묘지에서의 장례를 중단하여 공공 건강을 개선하는 것을 목표로 했고, 이로 인해 교외에 새로운 묘지가 설립되었습니다. 시간이 지나면서 많은 문제 있는 묘지들은 도시 경관에서 사라지게 되었습니다.

작성자: apollinaire | 점수: 21

57.
Air Powered Segment Display? [video]
(Air Powered Segment Display? [video])

요약이 없습니다.

작성자: ProfDreamer | 점수: 129

58.
챗GPT 시대의 고통
(To teach in the era of ChatGPT is to know pain)

저자 스콧 K. 존슨은 생성형 AI, 특히 챗GPT 시대에 대학 지구과학 강사로서의 불만을 표현합니다. 그는 AI 도구가 비동기 온라인 수업에서의 교육을 상당히 어렵게 만들었다고 느낍니다. 많은 학생들이 과제를 수행하기 위해 AI를 사용하면서 학습 과정이 훼손되고, 교사들은 평가와 채점이 복잡해지는 문제에 직면하고 있습니다.

존슨은 학생들이 교육의 주된 목표를 진정한 이해가 아니라 좋은 성적을 받는 것으로 여기고 있다고 설명합니다. AI를 통해 답변을 쉽게 생성할 수 있는 것은 학습에 필요한 노력을 줄여, 강사들이 학생들의 진정한 이해도를 평가하기 어렵게 만듭니다. 이로 인해 교육자들은 학생들이 제대로 배우고 있는지 효과적으로 확인할 수 없다는 무력감을 느끼게 됩니다.

그는 AI 남용이 높은 상황에서 흥미롭고 의미 있는 과제를 만드는 데 어려움을 겪고 있으며, 이로 인해 일부 강사들은 특정 과제를 아예 포기하기도 했다고 언급합니다. 구술 시험이나 감독하에 진행되는 시험과 같은 전통적인 평가 방법은 온라인 형식에서는 실현 가능성이 낮아, 상황을 더욱 복잡하게 만듭니다.

존슨은 많은 교수들이 AI가 비판적 사고 능력을 저하시킨다고 느끼고 있으며, 학습 환경을 복잡하게 만든다고 강조합니다. 현재의 행정적 대응은 강사들에게 학생들이 AI를 효과적으로 사용하는 방법을 가르치도록 권장하지만, 이는 진정한 학습을 촉진하는 목표와 종종 상충합니다.

결국 AI가 교육에 존재하지만, 학습을 향상시키기보다는 학생과 강사 모두에게 상당한 장벽을 만들고 있다는 점을 지적합니다. 존슨의 반성은 AI가 교육에 미치는 영향에 대한 우려를 담고 있으며, 학습에서 의미 있는 참여와 진정한 이해의 필요성을 강조합니다.

작성자: ckemere | 점수: 30

59.
LLVM RISC-V 25% 감소 추적
(Tracking down a 25% Regression on LLVM RISC-V)

Kavin Gnanapandithan은 LLVM의 RISC-V 구현에서 발생한 성능 문제를 분석했습니다. 이 문제로 인해 특정 벤치마크에서 25%의 속도 저하가 발생했습니다. 문제의 원인은 최근에 최적화된 캐스팅 작업에서 발생했으며, 이로 인해 더블 정밀도 부동 소수점 연산을 단일 정밀도로 줄이는 최적화가 의도치 않게 깨졌습니다. 그 결과, 더 빠른 단일 나눗셈 대신 느린 더블 나눗셈 명령어가 사용되었습니다.

조사 후, Kavin은 이 성능 저하가 정수에서 부동 소수점으로의 캐스팅 처리 개선을 위한 패치 때문임을 확인했습니다. 해결책은 LLVM의 중간 단계에서 더블을 플로트로 안전하게 변환할 수 있는 경우를 인식할 수 있도록 분석 기능을 확장하는 것이었습니다. 이를 통해 이전의 최적화를 복원할 수 있었습니다.

Kavin은 이 솔루션을 성공적으로 구현하여 벤치마크에서 25%의 성능 향상을 달성했습니다. 이는 컴파일러 개발에서 신중한 최적화의 중요성을 잘 보여줍니다.

작성자: luu | 점수: 126

60.
N-데이 벤치: LLM의 취약점 탐지!
(N-Day-Bench – Can LLMs find real vulnerabilities in real codebases?)

N-Day-Bench는 고급 언어 모델(LLM)이 GitHub의 실제 코드에서 보안 취약점을 식별할 수 있는지를 검사하는 테스트입니다. 매달 새로운 보안 권고를 반영하여 테스트 사례를 업데이트하며, 이를 통해 모델이 통제된 환경에서 코드를 탐색할 수 있도록 합니다.

테스트가 이전 훈련 데이터에 의해 편향되지 않도록 N-Day-Bench는 매달 사례를 새롭게 갱신합니다. 각 취약점 테스트는 세 가지 역할로 구성됩니다. 첫째, 정답 키를 만드는 큐레이터, 둘째, 24단계에 걸쳐 코드를 탐색하는 모델인 파인더, 셋째, 파인더의 보고서를 평가하는 판사가 있습니다. 파인더는 취약점 수정 사항을 보지 못하며, 실제 코드를 통해 버그를 추적해야 합니다.

품질 유지를 위해 10,000개 이상의 별을 받은 리포지토리만 포함되며, 불명확한 사례는 제외됩니다. 현재 평가에는 GPT-5.4와 Claude Opus 4.6 같은 여러 모델이 포함되어 있으며, 모든 활동은 공개적으로 제공됩니다.

자세한 내용은 그들의 웹사이트에서 방법론, 리더보드, 실시간 추적 정보를 확인할 수 있습니다.

작성자: mufeedvh | 점수: 87

61.
GAIA: 로컬 AI 에이전트 구축 프레임워크
(GAIA – Open-source framework for building AI agents that run on local hardware)

GAIA는 Python과 C++를 사용하여 장치에서 로컬로 작동하는 AI 에이전트를 만들기 위해 설계된 오픈 소스 프레임워크입니다. 이 에이전트는 클라우드 서비스 없이도 추론하고 작업을 수행하며 문서에 접근할 수 있어 모든 데이터가 장치에 안전하게 저장됩니다.

GAIA의 주요 특징은 다음과 같습니다. 모든 작업이 장치에서 수행되므로 클라우드 의존성이나 외부 API가 필요하지 않습니다. Python과 C++를 모두 지원하며, 각 언어에 대한 완전한 소프트웨어 개발 키트(SDK)가 제공됩니다. 또한, AMD 하드웨어에 최적화되어 있으며, NPU와 GPU 가속을 지원합니다.

시작하는 방법은 간단합니다. Python을 사용하는 경우 GAIA를 설치하고 서버를 실행하여 첫 번째 에이전트를 시작할 수 있습니다. C++를 사용하는 경우 Python 없이 독립형 C++ 에이전트를 구축할 수 있습니다.

에이전트의 기능으로는 데스크톱 채팅 인터페이스를 통한 드래그 앤 드롭 문서 질문 및 답변 기능이 있습니다. 로컬 파일인 PDF와 텍스트 문서에서 질문을 검색하고 답변할 수 있습니다. 오프라인 음성 처리를 통해 음성 인식과 텍스트 음성 변환 기술을 사용할 수 있으며, 여러 파일의 코드를 생성하고 검증할 수 있습니다. 또한, 향상된 프롬프트를 사용하여 이미지를 생성하고, 시스템 상태를 모니터링하며 Wi-Fi 문제를 해결하는 진단 기능도 제공합니다.

GAIA에 대한 포괄적인 문서와 소스 코드는 GitHub에서 확인할 수 있으며, Discord를 통해 커뮤니티 지원도 받을 수 있습니다.

작성자: galaxyLogic | 점수: 141

62.
Single-Dose Creatine Reduces Sleep Deprivation-Induced Deterioration
(Single-Dose Creatine Reduces Sleep Deprivation-Induced Deterioration)

요약이 없습니다.

작성자: pvsukale3 | 점수: 32

63.
아무 일도 없다: 비스포츠 시장의 No를 사는 폴리마켓 봇
(Nothing Ever Happens: Polymarket bot that always buys No on non-sports markets)

"Nothing Ever Happens Polymarket Bot"은 Polymarket에서 작동하도록 설계된 파이썬 봇으로, 비스포츠 시장에서 "아니오" 응답을 구매하는 데 사용됩니다. 이 봇은 오락 목적으로만 사용되며, 보증이 없으므로 사용자에게 모든 위험이 있습니다.

이 봇의 주요 기능으로는 시장에서 설정된 가격 이하의 "아니오" 항목을 스캔하고, 포지션을 추적하며, 대시보드를 제공하는 기능이 있습니다. 또한 실시간 거래를 위한 복구 상태를 저장합니다. 실제 거래를 실행하기 위해서는 세 가지 환경 변수를 설정해야 합니다. 이 변수들은 BOT_MODE=live, LIVE_TRADING_ENABLED=true, DRY_RUN=false입니다. 이 중 하나라도 설정되지 않으면 안전 모드로 기본 설정됩니다.

설정을 위해서는 의존성 설치와 구성 파일이 필요합니다. 로컬에서 실행할 경우 특정 파이썬 명령어를 사용하여 시작할 수 있으며, 지정된 포트에서 대시보드에 접근할 수 있습니다. Heroku에 배포하는 방법도 포함되어 있으며, 구성 및 관리를 위한 특정 명령어가 제공됩니다. 사용자는 봇이 제대로 작동하는지 확인하기 위해 테스트를 실행할 수 있는 명령어를 사용할 수 있습니다. 추가 스크립트는 데이터베이스 점검, 데이터 내보내기, 지갑 기록 관리 등을 위한 기능을 제공합니다.

저장소 유지 관리 측면에서, 보안을 위해 로컬 구성 및 민감한 데이터는 저장소에 포함되지 않습니다.

작성자: m-hodges | 점수: 459

64.
가정 증류 금지, 위헌 판결!
(US appeals court declares 158-year-old home distilling ban unconstitutional)

미국 항소 법원이 158년 된 가정 증류 금지가 위헌이라는 판결을 내렸습니다. 뉴올리언스에 위치한 제5순회 항소법원은 개인이 개인적인 용도로 집에서 술을 증류할 수 있어야 한다고 주장한 Hobby Distillers Association을 지지했습니다. 이 금지는 세금 회피를 방지하기 위해 제정되었으며, 벌금과 징역형 등 엄격한 처벌을 부과했습니다.

판결을 이끈 에디스 홀란 존스 판사는 이 금지가 오히려 증류를 전혀 하지 않게 만들어 세수 감소를 초래했다고 설명했습니다. 법원은 의회가 개인의 자유를 침해할 수 있는 명확한 제한 없이 가정에서의 활동을 범죄화할 권한을 가져서는 안 된다고 강조했습니다.

이번 판결은 텍사스 지방법원의 이전 결정을 지지하며, 가정에서의 증류에 대한 개인의 자유를 옹호하는 이들에게 중요한 승리를 의미합니다. 미국 법무부와 주류 및 담배 세금 및 거래국은 아직 이 판결에 대한 의견을 내놓지 않았습니다.

작성자: t-3 | 점수: 440

65.
타입스크립트용 러스트 런타임의 교훈
(What we learned building a Rust runtime for TypeScript)

Encore는 처음에 Go 프레임워크로 시작했지만, 기존 Go 런타임을 확장하는 대신 Rust로 새로운 런타임을 만들어 TypeScript를 지원하도록 방향을 바꿨습니다. 이 결정은 두 가지 주요 이유에 의해 영향을 받았습니다.

첫째, 미래의 언어 지원을 고려했습니다. 팀은 Rust를 핵심으로 하고 다양한 언어와의 바인딩을 사용하는 다른 성공적인 프로젝트에서 영감을 받아, 향후 더 많은 언어를 지원할 수 있는 유연성을 원했습니다. 둘째, 성능 문제입니다. Rust는 멀티스레딩을 지원하여 HTTP 요청 처리와 데이터베이스 관리와 같은 작업에서 Node.js의 단일 스레드 방식보다 성능을 크게 향상시킵니다.

2년과 67,000줄의 코드 작업 끝에 Rust 런타임은 라우팅, 데이터베이스 작업, 퍼블리시/구독 기능, 추적 및 메트릭 수집과 같은 다양한 작업을 효율적으로 관리하며, TypeScript 코드는 비즈니스 로직만 처리합니다.

Go 런타임을 사이드카 프로세스로 사용하는 원래 아이디어는 프로세스 간 통신 지연으로 인한 성능 문제 때문에 버려졌습니다. 이로 인해 두 개의 별도 프로세스를 모니터링하고 관리하는 데 복잡성과 지연이 추가되었습니다.

Rust와 JavaScript를 통합하기 위해 팀은 NAPI(네이티브 모듈을 위한 Node.js API)를 사용하여 두 언어 간의 원활한 통신과 함수 호출을 가능하게 하는 시스템을 만들었습니다. 또한 과도한 오버헤드 없이 추적 데이터를 효율적으로 캡처하고 전송하기 위해 맞춤형 이진 추적 프로토콜을 개발했습니다.

Encore의 아키텍처는 Pingora를 사용한 내장 API 게이트웨이를 포함하고 있어 서비스 간의 직접적인 통신을 가능하게 하고, 추가적인 복잡성 없이 인증 프로세스를 개선합니다.

퍼블리시/구독 시스템은 다양한 클라우드 제공업체에서 원활하게 작동하도록 설계되었으며, 과도한 제네릭으로 코드베이스를 복잡하게 만들지 않고 트레잇 객체를 사용하여 다양한 구현을 처리합니다.

전반적으로 Encore의 성능은 주목할 만하며, 매일 수십억 건의 요청을 처리하고 Express.js와 같은 전통적인 프레임워크에 비해 처리량과 지연 시간에서 상당한 개선을 보여줍니다. 이 프로젝트는 비즈니스 로직과 인프라 간의 명확한 분리를 강조하며, 오픈 소스이면서 지속적으로 발전하고 있습니다.

작성자: vinhnx | 점수: 78

66.
Anastasia (1997) live action reference material
(Anastasia (1997) live action reference material)

요약이 없습니다.

작성자: hyperific | 점수: 38

67.
구글, MS, 메타의 추적 실태
(Google, Microsoft, Meta All Tracking You Even When You Opt Out)

웹Xray가 실시한 개인정보 감사 결과, 마이크로소프트, 메타, 구글이 캘리포니아의 개인정보 보호법을 위반할 가능성이 있으며, 이로 인해 수십억 달러의 벌금이 부과될 수 있다고 밝혔습니다. 감사 결과, 55%의 웹사이트가 사용자가 추적을 거부했음에도 불구하고 광고 쿠키를 설정하는 것으로 나타났습니다. 구글은 사용자의 거부 요청을 87%의 경우 무시했으며, 마이크로소프트와 메타는 각각 50%와 69%의 실패율을 보였습니다.

이 감사는 기업들이 캘리포니아의 엄격한 개인정보 보호 규정, 특히 캘리포니아 소비자 개인정보 보호법(CCPA)을 무시하는 경우가 많다는 점을 강조했습니다. 또한 구글이 인증한 동의 관리 플랫폼(CMP)이 쿠키 추적을 방지하는 데 자주 실패한다는 점도 비판했습니다.

이에 대해 해당 기업들은 감사 결과에 이의를 제기하며 개인정보 보호법을 준수하고 있다고 주장했습니다. 그러나 감사의 저자 티모시 리버트는 이러한 기업들이 위반에 대한 벌금을 내는 것이 일반화되었다고 지적하며, 더 나은 집행 조치가 필요하다고 주장했습니다. 리버트는 간단한 코드 변경만으로도 원치 않는 쿠키 추적 문제를 효과적으로 해결할 수 있다고 제안했습니다.

작성자: Cider9986 | 점수: 148

68.
스탠포드 HAI 2026 보고서
(Stanford HAI Index Report 2026)

AI 인덱스 보고서는 인공지능(AI)에 대한 데이터를 수집하고 제시하는 종합 자료로, 정책 입안자, 연구자, 일반 대중 등 다양한 독자들이 AI의 복잡성을 이해하는 데 도움을 줍니다. 이 보고서의 목표는 편향되지 않고 신뢰할 수 있는 정보를 제공하는 것입니다.

보고서의 주요 내용은 다음과 같습니다. AI 인덱스는 연구, 기술 성과, 책임 있는 AI 등 다양한 분야에 걸쳐 AI의 동향을 추적합니다. 또한, AI 개발을 신중하게 이끌어 나가는 것이 중요하다고 강조하며, 그 혜택이 공정하게 분배될 수 있도록 해야 한다고 말합니다. 각 보고서 버전은 이전 자료를 바탕으로 데이터와 통찰력을 확장하며, AI의 빠른 발전을 반영합니다. AI 인덱스는 사회에서 중요한 주제가 된 AI에 대한 논의를 명확히 하는 것을 목표로 하고 있으며, 여러 분야에서 많은 관심을 받고 있습니다.

전반적으로 AI 인덱스는 AI 기술의 지속적인 발전과 그 영향력을 이해하는 데 중요한 도구로 작용합니다.

작성자: giuliomagnifico | 점수: 6

69.
형의 지뢰찾기 27년!
(My brother's minesweeper site (minesweeper.org) has been running for 27 years)

리차드는 1999년에 다이애나 왕세자비를 기리기 위해 minesweeper.org를 만들었습니다. 이 사이트는 지뢰 제거를 위한 HALO Trust라는 단체에 대한 인식을 높이고 기금을 모으는 동시에 무료 온라인 지뢰찾기 게임을 제공합니다. 시간이 지나면서 많은 플레이어들이 이 사이트를 이용했지만, 2007년에는 기술적인 문제로 오프라인 상태가 되었습니다.

오랜 휴식 끝에 리차드는 2026년에 현대 기술을 활용하여 minesweeper.org를 다시 시작했습니다. 이 과정에서 사이트의 미션은 그대로 유지되었고, 새로운 사이트는 업데이트된 기능을 포함하면서도 사용자 추적이나 요금 부과 없이 서비스를 제공하는 데 집중하고 있습니다. 이러한 접근 방식은 플레이어들 사이에서 신뢰와 충성도를 쌓는 데 도움이 되었습니다.

리차드의 여정에서 얻은 주요 교훈은 특정 문제를 잘 해결하는 것의 중요성, 이익보다 서비스를 우선시하는 것, 안정적인 기술을 선택하는 것, 그리고 의미 있는 미션에 대한 헌신을 유지하는 것입니다. 결국 이 사이트는 상업적인 동기 없이 소프트웨어가 사람들의 삶에 긍정적인 영향을 미칠 수 있음을 보여주는 증거로 남아 있습니다.

작성자: restlessforge | 점수: 20

70.
이티하사스: 힌두 서사 탐험기
(Ithihāsas – a character explorer for Hindu epics, built in a few hours)

저자는 마하바라타와 라마야나를 쉽게 탐색할 수 있도록 ithihasas.in이라는 웹사이트를 만들었습니다. 기존의 온라인 자료들은 너무 길거나 정리가 잘 되어 있지 않아 카르나나 비슈마와 같은 주요 인물들을 이해하기 어려웠습니다. 새로운 사이트는 사용자가 이야기를 인물과 그들의 관계를 통해 탐색할 수 있게 하여, 모든 내용을 순서대로 읽지 않아도 되도록 했습니다. 이 프로젝트는 빠른 콘텐츠 생성을 위해 Claude CLI를 사용했지만, 사용자 경험과 데이터 일관성을 위해 수동 조정이 필요했습니다. 저자는 웹사이트의 사용성과 이러한 신화 탐색 방식의 효과에 대한 피드백을 요청하고 있습니다.

작성자: cvrajeesh | 점수: 165

71.
호텔 예약, 미리 생각하자!
(PyCon US 2026: Why we're asking you to think about your hotel reservation)

PyCon US 2026 팀은 참석자들에게 공식 호텔 블록에서 객실을 예약해 줄 것을 권장하고 있습니다. 이는 회의의 재정적 지원을 위해서입니다. 호텔 예약은 비용을 충당하고 티켓 가격을 저렴하게 유지하는 데 도움을 주며, 행사 측은 호텔 예약에서 발생하는 수수료에 의존하고 있습니다. 과거에는 이러한 방식이 성공적이었지만, 올해는 예약 수가 크게 줄어들어 매출이 개선되지 않으면 20만 달러 이상의 손실이 발생할 수 있습니다.

국제 참석자 수의 감소는 여러 요인으로 인해 이러한 하락에 기여하고 있습니다. 현재 티켓 판매는 지난해보다 약간 뒤처져 있으며, 호텔 예약은 훨씬 더 저조한 상황입니다. 첫 번째 호텔 예약 마감일은 2026년 4월 20일입니다.

참석자들은 행사 대시보드를 통해 호텔을 예약해 주기를 권장합니다. 이는 행사의 성공을 보장하는 데 도움이 됩니다. 도움이 필요한 경우, 주택 파트너인 오키드에 연락할 수 있습니다. 팀은 커뮤니티의 지원에 감사하며, 올해 참석할 수 없는 분들도 앞으로의 행사에 참여해 주기를 기대하고 있습니다.

작성자: alibarber | 점수: 13

72.
EasyPost (YC S13) Is Hiring
(EasyPost (YC S13) Is Hiring)

요약이 없습니다.

작성자: jstreebin | 점수: 1

73.
페이스북, 인스타그램 '안티파' 검열 강화
(Facebook and Instagram Tighten Censorship Rules for Saying "Antifa")

메타는 페이스북과 인스타그램의 모회사로, 최근 "안티파"라는 단어의 사용을 제한하는 새로운 규정을 발표했습니다. 이 변경으로 인해 메타는 "안티파"라는 언급이 폭력이나 무기와 같은 잠재적 위협과 함께 나타날 경우, 사용자를 차단하거나 댓글을 숨길 수 있게 되었습니다. 새로운 규정은 폭력과 관련된 내용을 다루는 커뮤니티 기준 정책의 광범위한 업데이트의 일환입니다.

정책에 따르면 "안티파"라는 언급은 특정한 "위험 신호"와 함께 나타날 경우 경고를 받을 수 있습니다. 무기 언급과 같은 명확한 신호도 있지만, "안티파"와 함께 역사적 폭력에 대한 논의가 포함될 경우와 같이 덜 구체적인 신호도 존재합니다. 이로 인해 댓글이 숨겨지거나 계정이 차단되는 등의 처벌이 있을 수 있습니다.

메타의 이러한 결정은 좌파 정치 운동에 대한 감시가 강화되는 가운데 이루어졌습니다. 트럼프 행정부는 "안티파"를 국내 테러 조직으로 분류한 바 있습니다. 비판자들은 메타의 이 정책이 일관되지 않은 집행으로 이어질 수 있다고 주장합니다. 특히 메타가 저임금 계약자와 자동화된 시스템에 의존해 콘텐츠를 관리하기 때문에 오류가 발생할 가능성이 높습니다.

결론적으로, 메타의 새로운 규정은 "안티파"에 대한 논의를 제한하고 상당한 검열을 초래할 수 있으며, 이는 온라인 발언에 대한 정치적 통제가 강화되는 추세를 반영합니다.

작성자: c420 | 점수: 6

74.
CPU 파이프라인 시각화
(Visualizing CPU Pipelining (2024))

CPU 파이프라이닝과 분기 예측에 대한 내용은 이 두 가지 기술의 과정과 도전 과제를 설명합니다.

파이프라이닝은 여러 명령어를 동시에 서로 다른 단계에서 처리할 수 있게 해 주어, 한 번에 하나의 명령어만 처리하는 단일 사이클 CPU보다 효율성을 높입니다.

명령어 디코딩 단계에서는 다른 단계에서 필요한 데이터를 정리합니다. 하지만 파이프라이닝에서는 한 명령어의 필드가 다른 명령어에 의해 덮어씌워질 수 있어 문제가 발생할 수 있습니다.

데이터 해저드는 한 명령어가 이전 명령어의 결과에 의존할 때 발생합니다. 해저드 탐지 장치(HDU)는 이러한 의존성을 확인하고, 오류를 방지하기 위해 필요할 경우 파이프라인을 정지시킬 수 있습니다.

정지 대신 특정 해저드를 해결하기 위해 결과를 전달할 수 있습니다. 이를 통해 명령어는 결과가 레지스터에 기록될 때까지 기다리지 않고 중간 결과를 사용할 수 있습니다.

HDU는 해저드를 탐지하고, 전달 장치(FU)는 지연을 피하기 위해 즉각적인 결과를 제공할 수 있습니다. 이 두 장치는 함께 작동하여 정지를 최소화할 수 있습니다.

분기 예측은 제어 해저드와 관련이 있습니다. 이 기술은 분기가 발생하지 않을 것이라고 예측하거나 분기 지연 슬롯을 사용하여 파이프라인의 공백을 줄이는 방법을 포함합니다. 분기 지연 슬롯은 분기 결과와 관계없이 분기 후의 명령어가 실행될 수 있게 합니다.

동적 분기 예측은 이전 예측을 저장하고 실제 결과와 비교하여 정확성을 높이는 방법입니다. 필요에 따라 예측을 조정합니다.

CPU 파이프라이닝을 이해하면 정지와 전달 같은 기본 메커니즘이 명령어 처리의 복잡한 문제를 해결하는 데 어떻게 결합될 수 있는지를 알 수 있습니다. 전체적으로 이 내용은 파이프라이닝과 분기 예측을 통해 CPU 성능을 최적화하는 복잡한 메커니즘을 강조하며, 현대 프로세서에서 효율적인 데이터 처리가 얼마나 중요한지를 보여줍니다.

작성자: flipacholas | 점수: 89

75.
서보, 크레이트에 출시!
(Servo is now available on crates.io)

서보 팀이 crates.io에서 서보 크레이트의 0.1.0 버전을 출시했습니다. 이는 라이브러리로서의 첫 번째 릴리스입니다. 현재로서는 데모 브라우저인 서보쉘을 crates.io에 게시하지 않을 예정입니다. 2025년 10월에 GitHub에서 처음 릴리스를 한 이후, 릴리스 과정이 개선되었으며, 현재 유일한 지연 요소는 매월 블로그 게시물입니다. 이 릴리스에 대해 팀은 매우 기대하고 있으며, 곧 월간 업데이트를 제공할 계획입니다. 이번 버전은 완전한 1.0 릴리스는 아니지만, 서보의 임베딩 API에 대한 자신감이 커지고 있음을 보여줍니다. 또한, 안정적인 업그레이드를 선호하는 사용자들을 위해 6개월마다 안정적인 업데이트를 제공하면서 보안 업데이트와 마이그레이션 가이드를 받을 수 있는 장기 지원(LTS) 버전도 제공합니다. 더 많은 정보는 서보 책에서 확인할 수 있습니다.

작성자: ffin | 점수: 466

76.
신칸센의 비밀
(The secrets of the Shinkansen)

일본은 매우 효율적이고 널리 사용되는 철도 시스템을 갖추고 있으며, 승객의 28%가 기차를 이용해 이동합니다. 이는 다른 선진국들에 비해 훨씬 높은 수치입니다. 일본 최대의 철도 회사인 JR 동일본은 중국과 인도를 제외한 모든 나라보다 더 많은 승객을 수송하고 있으며, 일본의 철도는 유럽과 미국의 시스템에 비해 높은 수익성과 최소한의 공공 보조금으로 운영됩니다.

일본 철도의 성공은 종종 문화적 요인으로 잘못 해석되곤 합니다. 그러나 실제로는 효과적인 공공 정책에서 비롯됩니다. 이러한 정책에는 사업 구조, 토지 이용 규제, 민영화 모델 등이 포함됩니다. 일본의 철도는 주로 민간 소유이며, 많은 회사들이 교통을 넘어 주택, 병원, 오락 등 통합 서비스를 제공하여 교통 중심 개발에서 가치를 창출하고 있습니다.

1988년 일본의 국가 철도 시스템 민영화는 효율성과 생산성을 높이는 결과를 가져왔습니다. 새로운 구조는 철도 회사들이 혁신하고 철도와 부동산에 투자할 수 있게 하여 시너지를 창출하는 비즈니스 모델을 만들었습니다. 일본의 도시 계획은 자유로운 용적률 규제와 토지 재조정 프로젝트를 통해 이러한 철도 네트워크를 지원하여 철도 노선 주변의 개발을 용이하게 합니다.

일본의 자동차 사용 방식은 서구와도 다릅니다. 일본은 주차를 엄격하게 규제하며, 자동차 소유 전에 개인 주차 공간을 증명해야 합니다. 이는 철도와 자동차 여행 간의 균형을 유지하는 데 도움이 됩니다.

결론적으로, 일본의 철도 성공은 효과적인 공공 정책, 민간 소유, 혁신적인 비즈니스 모델의 조합 덕분에 가능했으며, 이는 자동차 여행과 함께 번창할 수 있게 하여 전 세계 철도 시스템의 모델이 되고 있습니다.

작성자: WillDaSilva | 점수: 147

77.
예쁜 tmux 만들기 (2024)
(Make tmux pretty and usable (2024))

이전 포스트에서 저자는 터미널 멀티플렉서인 tmux를 소개하며, 새로운 사용자에게는 기본 키 조합이 다소 불편할 수 있음을 언급했습니다. 많은 사용자들이 tmux를 보다 편리하게 사용하기 위해 개인 설정을 합니다. tmux를 사용자 맞춤형으로 만드는 몇 가지 주요 팁을 소개합니다.

먼저, tmux의 설정은 ~/.tmux.conf 파일을 편집하여 가능합니다. 이 파일에는 사용자의 설정이 저장됩니다. 많은 사용자들은 기본 프리픽스 키를 C-b에서 C-a로 변경하여 접근성을 높입니다. 설정 파일에서 이를 재매핑할 수 있습니다.

또한, 패널 분할을 더 직관적으로 만들기 위해 수평 분할에는 |, 수직 분할에는 -를 사용하는 방법이 있습니다. 기본 명령어 대신 이러한 기호를 사용하면 더 쉽게 패널을 나눌 수 있습니다. 설정을 쉽게 다시 로드할 수 있는 명령어를 추가하면 빠른 실험이 가능해집니다.

패널 간 전환도 더 쉽게 할 수 있습니다. Alt 키와 화살표 키를 사용하면 프리픽스 키를 누를 필요 없이 패널을 전환할 수 있습니다. 마우스를 사용해 패널을 선택하고 크기를 조절하고 싶다면 tmux에서 마우스 모드를 활성화하면 됩니다.

tmux가 자동으로 창 이름을 변경하지 않도록 설정하면, 각 창의 기능에 따라 이름을 지정할 수 있습니다. 또한, tmux의 색상과 스타일을 사용자 맞춤형으로 변경하여 시각적인 경험을 향상시킬 수 있습니다. 이 과정은 좀 더 세부적인 설정이 필요할 수 있습니다.

마지막으로, 다른 사용자들의 설정을 GitHub와 포럼에서 찾아보며 영감을 얻는 것도 좋습니다. tmux 매뉴얼은 더 고급 사용자 맞춤형 설정을 위한 포괄적인 자료입니다. 저자는 독자들이 자신의 설정을 실험해보기를 권장하며, 참고용으로 자신의 tmux 설정 링크를 제공합니다.

작성자: speckx | 점수: 422

78.
스킴의 위생 매크로로 리포지토리 패턴
(Repository Pattern with Hygienic Macros in Scheme – Lisp)

저자는 자신의 프로젝트에서 데이터 레이어를 조직하는 새로운 방법으로 Scheme의 리포지토리 패턴을 탐구하고 있습니다. 그들은 컨트롤러 레이어가 SQLite와 너무 밀접하게 연결되어 있어 유지보수가 어렵다는 점을 발견했습니다. 이를 해결하기 위해 Scheme의 위생 매크로를 사용하여 MVC 아키텍처의 레이어 간에 더 깔끔한 분리를 만들었습니다.

저자는 두 가지 주요 매크로를 개발했습니다. 첫 번째는 define-record-with-kw로, 이는 키워드 인수를 허용하는 생성자를 만들어 사용자 친화성을 높입니다. 두 번째는 define-repo-method로, 이는 메서드 정의에 유연성을 제공하여 다양한 인수 유형을 허용하고 메서드 생성 과정을 간소화합니다.

저자는 이러한 매크로를 사용하여 프로젝트 관리를 위한 도메인 특화 언어(DSL)를 정의했습니다. 이는 코드 조직과 테스트를 개선하는 데 도움이 됩니다. 또한, 애플리케이션 로직과 분리된 방식으로 SQLite를 구현하는 방법도 시연했습니다.

전반적으로 저자는 이러한 접근 방식이 프로젝트를 향상시킨다고 믿으며, 개선을 위한 피드백을 구하고 있습니다.

작성자: jjba23 | 점수: 16

79.
미국 최고의 무료 빵 발견!
(I Found It: The Best Free Restaurant Bread in America)

미국에서 최고의 무료 레스토랑 빵을 찾기 위한 여정에서 작가 케이티 위버는 13,000마일을 여행하며 555명 이상의 다양한 사람들로부터 응답을 받았다. 그녀는 미국인들을 최고의 무료 빵에 대한 질문에 답하는 능력에 따라 세 가지 유형으로 분류했다. 첫 번째는 열정적이고 지식이 풍부한 사람들, 두 번째는 빵을 먹었던 기억은 있지만 구체적으로 언급할 수 없는 사람들, 세 번째는 '최고'를 선택하는 것에 대한 두려움으로 당황하는 사람들이다.

이 기사는 무료 레스토랑 빵의 문화적 의미를 탐구하며, 미국의 초기 식사 관행으로 그 역사를 거슬러 올라가고 어떻게 발전해왔는지를 논의한다. 위버의 개인적인 좋아하는 빵이 이 조사를 시작하게 한 계기가 되었고, 그녀는 무료 빵으로 유명한 다양한 레스토랑을 탐방하게 되었다.

그녀는 라스베이거스의 고급 레스토랑 조엘 로부숑을 방문했는데, 이곳은 화려한 빵 선택으로 유명하다. 또한 알라바마의 램버트 카페도 찾아갔는데, 이곳은 고객에게 롤빵을 던지는 것으로 유명하다. 결국, 그녀의 조사에서 레드 롭스터와 치즈케이크 팩토리와 같은 체인 레스토랑이 많은 인정을 받았고, 많은 사람들이 이곳의 빵을 좋아한다고 응답했다. 체인 레스토랑의 빵이 최고의 빵으로 여겨질 수 있는지에 대한 논란이 있지만, 이 기사는 개인의 취향과 향수가 사람들의 선택에 중요한 역할을 한다는 점을 강조한다.

결국 위버는 최고의 무료 레스토랑 빵은 주관적이며, 개인의 취향과 경험에 따라 다르며, 지역 식당에서 제공하는 따뜻하고 편안한 롤빵일 수도 있다고 제안한다.

작성자: jbegley | 점수: 23

80.
B-트리와 인덱스
(B-trees and database indexes (2024))

B-트리는 MySQL과 Postgres와 같은 데이터베이스 관리 시스템(DBMS)에서 효율적인 데이터 검색을 위해 사용되는 중요한 데이터 구조입니다. 이 구조는 키-값 쌍을 트리 형태로 저장하여 빠른 검색과 데이터 관리를 돕습니다. B-트리와 그 변형인 B+트리에 대한 주요 내용을 살펴보겠습니다.

B-트리는 키-값 쌍을 담고 있는 노드로 구성되어 있습니다. 각 노드는 여러 개의 키를 가질 수 있으며, 왼쪽 자식 노드의 키는 더 작고, 오른쪽 자식 노드의 키는 더 큰 형태로 조직되어 있습니다. 내부 노드는 최대 키 수의 절반 이상을 가져야 하며, 모든 리프 노드는 같은 수준에 있어 균형 잡힌 검색을 보장합니다.

B-트리는 디스크에 저장된 대용량 데이터셋에 대해 효율적입니다. 노드 크기를 디스크 블록 크기에 맞출 수 있어 검색 시 방문해야 하는 노드 수를 최소화합니다. B+트리는 B-트리의 개선된 버전으로, 키-값 쌍을 리프 노드에만 저장합니다. 내부 노드는 키와 자식 포인터만 저장하여 더 얕은 트리를 형성하고 빠른 검색을 가능하게 합니다.

MySQL은 B+트리를 광범위하게 사용하며, 특히 InnoDB 스토리지 엔진에서 테이블 데이터를 기본 키에 따라 B+트리로 조직합니다. 다른 열에 대해서도 보조 인덱스를 생성할 수 있어 쿼리 성능을 향상시킵니다. 적절한 기본 키 선택은 성능에 매우 중요합니다. 순차적인 키(예: 자동 증가 정수)는 무작위 키(예: UUID)보다 더 나은 성능을 제공합니다. 이는 데이터 삽입이 더 예측 가능하고 효율적으로 이루어지기 때문입니다.

B+트리의 데이터 조직은 쿼리 처리 속도에 영향을 미칩니다. B+트리를 얕게 유지하고 디스크 I/O를 최소화하는 것이 속도에 중요합니다. 인덱싱 방법에 대한 올바른 이해와 선택은 데이터베이스 쿼리 성능을 크게 향상시킬 수 있습니다. B-트리와 B+트리를 실험해보면 이들의 작동 방식과 데이터베이스 효율성에 미치는 영향을 이해하는 데 도움이 됩니다.

작성자: tosh | 점수: 116

81.
2026년 AI와 소프트웨어 엔지니어
(The impact of AI on software engineers in 2026: key trends)

2026년, The Pragmatic Engineer가 실시한 설문조사에서 900명 이상의 소프트웨어 엔지니어들이 AI 도구 사용 경험을 공유했습니다. 주요 결과는 다음과 같습니다.

첫째, 비용 문제입니다. 기업들은 AI 도구의 비용 상승에 대해 점점 더 걱정하고 있으며, 많은 기업들이 엔지니어 한 명당 월 100-200달러의 고급 구독료를 지불하고 있습니다. 응답자의 대부분은 고용주가 이러한 비용을 부담한다고 밝혔고, 일부 기업은 예산 통제가 엄격하지 않은 상태에서 AI 도구를 실험하고 있어 향후 재정적 문제를 초래할 수 있습니다.

둘째, 사용 제한입니다. 약 30%의 응답자가 AI 도구의 사용 한도에 도달했다고 보고했으며, 이는 작업 흐름에 방해가 됩니다. 이에 대한 일반적인 대응으로는 도구를 변경하거나 구독을 업그레이드하는 경우가 있습니다.

셋째, 엔지니어에 대한 영향입니다. 설문조사는 엔지니어를 세 가지 유형으로 분류했습니다. 첫째, '빌더'는 코드 품질과 장인정신에 집중하지만 AI가 생성한 코드의 낮은 품질에 불만을 느끼고 있습니다. 둘째, '쉽퍼'는 빠른 배달에 중점을 두며 AI 도구에 대해 가장 긍정적인 태도를 보이지만, 기술 부채가 더 많이 발생할 수 있습니다. 셋째, '코스터'는 기술 수준이 낮은 엔지니어로 AI의 혜택을 받지만 낮은 품질의 결과물을 많이 생성합니다.

마지막으로, 소프트웨어 엔지니어와 엔지니어링 매니저의 역할이 변화하고 있습니다. 엔지니어들은 더 많은 작업을 관리하고 상황 전환을 해야 하며, 매니저들은 보다 실질적인 코딩에 참여하고 있습니다.

전반적으로 AI 도구는 소프트웨어 엔지니어링에 영향을 미치고 있으며, 일부는 생산성을 높이고 있지만 품질과 비용에 대한 우려도 증가하고 있습니다.

작성자: CharlesW | 점수: 3

82.
게임 루프의 반격
(The Case Against Gameplay Loops (2024))

이 글은 비디오 게임에서의 게임 플레이 루프 개념을 비판하며, 이러한 루프가 종종 반복적이고 만족스럽지 않은 경험으로 이어진다고 주장합니다. 저자는 전술 게임인 '전술 침투 마법사'를 플레이한 경험을 돌아보며, 처음에는 즐거웠지만 반복적인 게임 플레이로 인해 피로감을 느꼈다고 언급합니다. 이러한 감정은 많은 게이머들 사이에서도 공감되고 있으며, 많은 플레이어들이 게임을 끝내지 못하는 경우가 많습니다.

저자는 문제의 원인이 게임 디자인에 있다고 지적하며, 이야기의 의미보다는 게임의 메커니즘, 즉 '행동'에 너무 집중하고 있다고 말합니다. 반면 영화는 종종 내러티브의 의미를 우선시하여 행동을 형성합니다. 이러한 게임 디자인의 역행적 접근은 플레이어가 단순히 행동을 반복하는 것처럼 느끼게 하는 공허한 경험을 초래할 수 있습니다.

이 글은 게임 플레이 루프의 역사적 뿌리를 탐구하며, 이를 아케이드 게임과 연결짓습니다. 아케이드 게임은 플레이어가 가능한 한 오랫동안 참여하도록 유도하는 데 초점을 맞추고 있습니다. 이러한 플레이 시간 연장에 대한 집중은 불필요한 콘텐츠로 가득 찬 게임을 만들어 그 영향력과 의미가 희석되게 만들었습니다. 저자는 게임 플레이 루프를 보다 의도적으로 사용해야 한다고 주장하며, 사용될 때는 더 큰 내러티브나 주제적 목적을 가져야 한다고 제안합니다.

음악, 시, 그리고 다른 매체의 예시를 통해 반복이 의미를 강화할 수 있는 방법을 보여줍니다. 저자는 게임에서 더 적지만 더 의미 있는 게임 플레이 루프를 지향해야 한다고 강조하며, 디자이너들이 자신의 선택을 재검토하고 플레이어와 더 깊이 공감할 수 있는 경험을 창출해야 한다고 주장합니다.

작성자: coinfused | 점수: 54

83.
하나의 연산자로 모든 함수
(All elementary functions from a single binary operator)

수학에서 새로운 발견이 이루어졌습니다. 이 발견은 모든 기본적인 수학 함수를 단 하나의 이진 연산인 eml(x,y) = exp(x) - ln(y)와 상수 1만을 사용하여 계산할 수 있게 해줍니다. 이로 인해 일반적으로 서로 다른 연산이 필요한 사인, 코사인, 제곱근, 로그와 같은 함수들이 이 단일 연산으로 유도될 수 있게 되었습니다.

저자는 이 연산자를 찾기 위해 많은 연구를 진행했으며, 이 연산자가 과학 계산기에서 흔히 사용되는 모든 함수, 즉 상수 e와 π, 그리고 기본 산술 연산을 생성할 수 있음을 증명했습니다. 이 연산자를 사용하여 만들어진 표현식은 간단한 이진 트리 형태로 나타낼 수 있어, 구조가 이해하기 쉽고 작업하기도 용이합니다.

또한, 이 방법은 기울기 기반의 기호 회귀라는 기법을 가능하게 합니다. 이 기법은 이러한 이진 트리 구조를 사용하여 수치 데이터로부터 정확한 수학 공식을 복원할 수 있습니다. 이 접근법은 복잡한 데이터에서도 기본 함수를 정확하게 식별할 수 있는 가능성을 보여줍니다.

작성자: pizza | 점수: 829

84.
안드로이드, 사진 위치 공유 차단!
(Android now stops you sharing your location in photos)

구글의 안드로이드는 사용자가 위치 정보가 포함된 사진을 공유하는 방식을 변경했습니다. 이전에는 사용자가 지오태그가 있는 사진을 쉽게 업로드할 수 있었지만, 이제 안드로이드에서는 이 기능이 제한되었습니다.

사진을 업로드하려고 할 때, 사용자는 모든 파일 형식을 업로드할 수 있는 파일 관리자를 통해 접근할 수 있지만, 이 경우 위치 정보는 제거됩니다. 블루투스나 이메일과 같은 다른 방법도 지리적 위치 정보를 삭제합니다. 사진을 공유할 때 위치 정보를 유지하는 유일한 방법은 USB를 통해 컴퓨터로 전송한 후 거기서 업로드하는 것입니다.

이러한 변화는 개인 정보 보호 우려 때문인 것으로 보입니다. 사용자가 자신의 정확한 위치를 무의식적으로 공유할 위험이 있기 때문입니다. 대부분의 소셜 미디어 플랫폼은 사진에서 자동으로 위치 정보를 제거하여 사용자를 보호하는 조치를 취하고 있습니다.

저자는 구글이 이 변화에 대해 소통하지 않는 것에 대한 불만을 표하며, 사용자가 위치 정보를 공유할 것인지 묻는 알림이 해결책이 될 수 있다고 제안합니다. 그러나 이러한 제한을 우회하기 위해서는 자체 앱을 개발해야 할 수도 있으며, 이는 더 많은 자원을 필요로 합니다.

전반적으로 지오태그가 있는 사진을 쉽게 공유하고자 하는 사용자에게는 어려운 상황입니다.

작성자: edent | 점수: 403

85.
로크칩 RK3588 카메라 지원
(Initial mainline video capture and camera support for Rockchip RK3588)

Collabora는 Rockchip의 RK3588 시스템 온 칩(SoC)에서 비디오 캡처와 이미지 처리 지원을 개선하기 위해 노력하고 있습니다. 지난 몇 년 동안, 그들은 linux-rockchip 커뮤니티와 Rockchip과 협력하여 상당한 진전을 이루었습니다.

RK3588은 비디오 캡처 기능을 통합하고 있지만, 메인라인 리눅스에서의 지원은 제한적이었습니다. Collabora는 RK3588의 비디오 캡처 유닛(VICAP) 작업을 시작했으며, 제한된 하드웨어 문서와 기술의 복잡성으로 인해 어려움을 겪었습니다. 여러 차례의 반복과 논의 끝에, 그들은 비디오 캡처를 위한 rkcif 드라이버를 포함하여 메인라인 리눅스 커널에 일부 지원을 성공적으로 통합했습니다.

앞으로의 목표는 이미지 신호 프로세서(ISP)를 위한 새로운 드라이버를 개발하고, 고급 이미지 처리를 위해 libcamera와의 호환성을 보장하는 것입니다. 초기 성공 사례가 보고되었지만, 완전한 지원이 이루어지기까지는 더 많은 시간이 필요합니다. 그동안 사용자는 임시 소프트웨어 솔루션을 시도해 볼 수 있습니다.

Collabora는 개발을 완료하고 다가오는 행사에서 진전을 보여줄 계획입니다.

작성자: mfilion | 점수: 87

86.
모래알 영상 프로젝터
(MEMS Array Chip Can Project Video the Size of a Grain of Sand)

새로운 고급 칩이 모래알만큼 작은 비디오 이미지를 투사할 수 있습니다. 이 칩은 마이크로 전자 기계 시스템(MEMS) 배열을 사용하여 레이저를 조정하며, 양자 컴퓨팅을 넘어 다양한 분야에서 활용될 수 있습니다. 이 기술은 혁신적인 반도체 설계가 소비자 전자제품을 포함한 여러 분야에서 흥미로운 새로운 용도로 이어질 수 있음을 보여줍니다.

작성자: bookofjoe | 점수: 87

87.
수학의 AI 혁명
(The AI revolution in math has arrived)

이 기사는 인공지능(AI)이 수학에 미치는 중요한 영향을 다루고 있으며, 2025년부터 시작된 변혁적인 변화를 강조하고 있습니다.

2025년 7월, AI 모델이 국제 수학 올림피아드에서 많은 문제를 해결하면서 수학자들을 놀라게 했습니다. 이로 인해 AI의 능력을 회의적으로 보던 전문가들 사이에서도 관심이 높아졌습니다.

수학자들은 AI를 활용해 새로운 수학적 결과를 전통적인 방법보다 훨씬 빠르게 발견하고 증명하기 시작했습니다. AlphaEvolve와 같은 AI 도구는 복잡한 문제를 해결하는 데 효과적이며, 때로는 며칠 만에 인간 전문가와 비슷한 결과를 내기도 했습니다.

AI의 통합은 수학 접근 방식을 변화시키고 있으며, 연구자들이 수천 개의 문제를 동시에 다루고 통계적 연구를 수행할 수 있게 하고 있습니다. AI는 유용한 도구로 여겨지지만, 일부는 과도한 의존이 직접적인 수학적 이해를 저해할 수 있다고 우려하고 있습니다.

수학자들은 AI를 협력 파트너로 보고 있으며, AI가 자신의 작업을 보완하는 방식으로 활용되고 있습니다. 오랜 추측에 대한 증명이나 복잡한 문제에 대한 혁신적인 접근 방식이 성공적으로 이루어진 사례도 있습니다.

하지만 AI가 생성한 콘텐츠의 품질에 대한 우려도 존재합니다. 때때로 AI의 결과가 부정확하거나 비논리적일 수 있기 때문에, 수학자들은 AI의 기여를 신뢰할 수 있도록 공식적인 증명과 검증을 요구하고 있습니다.

AI가 수학 문제를 해결하는 데 사용됨에 따라 교육과 학생 참여에도 도전 과제가 생기고 있습니다. 전통적인 숙제 방식이 점점 덜 효과적이 되고 있습니다.

많은 수학자들은 AI가 이 분야에서 중요한 발전을 이끌 것이라고 믿고 있지만, AI의 확산으로 인해 수학의 예술적이고 창의적인 측면이 위협받을 수 있다는 점도 강조하고 있습니다.

AI는 연구 능력과 효율성을 향상시켜 수학 분야에 혁신을 가져오고 있지만, 수학적 실천과 교육의 미래에 대한 중요한 질문을 제기하고 있습니다.

작성자: sonabinu | 점수: 102

88.
2년 전의 진실, 이제는 다르다
(If you started a company two years ago, many assumptions are no longer true)

많은 스타트업이 설립된 지 2년이 넘으면 구식 가정과 비즈니스 모델을 가지고 있을 수 있습니다. 창업자들은 예전 계획을 고수하기보다는 현재 상황을 재평가해야 하며, 그렇지 않으면 회사가 실패할 위험이 있습니다.

창업자 크리스와의 대화에서 그는 자율성의 특정 분야에 집중했지만, 시장이 급격히 변화했음을 알게 되었습니다. 특히 방산 분야에서는 막대한 투자가 이루어지고 있습니다. 그의 원래 비즈니스 모델은 더 이상 유효하지 않을 수 있습니다.

스타트업에 영향을 미치는 주요 변화는 다음과 같습니다. 첫째, 인공지능(AI)으로의 전환입니다. 벤처 캐피탈은 AI에 많은 자금을 투자하고 있어 비AI 스타트업은 경쟁할 강력한 이유를 찾아야 합니다. AI 도구는 개발에 필요한 시간과 팀 규모를 크게 줄였습니다.

둘째, 민첩한 개발 방식이 재고되고 있습니다. 제품을 만드는 것에서 벗어나 사용자와 함께 빠르게 테스트하고 배우는 것이 중요해졌습니다. 이제는 다양한 비즈니스 아이디어를 동시에 테스트할 수 있습니다.

셋째, AI 에이전트의 등장입니다. 미래의 소프트웨어는 작업을 자동화할 것이며, 사용자 상호작용이 필요한 현재의 제품은 구식이 될 수 있습니다. 정보 제공을 넘어서 고객의 결과를 달성하는 데 초점이 맞춰질 것입니다.

넷째, 하드웨어 개발에서 AI는 디자인을 시뮬레이션하고 물리적 프로토타입을 만들기 전에 학습 과정을 가속화하여 혁신을 촉진할 수 있습니다.

마지막으로, 매몰 비용의 함정이 있습니다. 많은 창업자들이 이전 투자로 인해 구식 모델에 갇혀 있어 필요한 방향 전환을 방해받고 있습니다.

창업자들은 변화하는 환경에서 생존하기 위해 현재 전략을 재검토하고 적응할 준비가 되어 있어야 합니다. 변화의 필요성을 인식하고, 새로운 시장 역학을 이해하며, 매몰 비용에서 벗어날 준비가 필요합니다.

작성자: tie-in | 점수: 200

89.
최고 AI 벤치마크 활용하기
(Exploiting the most prominent AI agent benchmarks)

UC 버클리의 연구팀은 많은 주요 AI 벤치마크가 실제로 작업을 해결하지 않고도 높은 점수를 얻기 위해 쉽게 조작될 수 있음을 발견했습니다. 이들은 여덟 가지 주요 벤치마크의 취약점을 이용해 자동화된 에이전트를 만들어, 점수가 종종 진정한 AI 능력을 반영하지 않고 시스템을 조작하는 능력을 보여주었습니다.

연구팀은 자동화된 에이전트가 SWE-bench와 Terminal-Bench와 같은 벤치마크에서 거의 완벽한 점수를 얻었다고 밝혔습니다. 이들은 작업 평가 방식의 결함을 이용해 테스트를 통과할 수 있었으며, 올바른 해결책을 제공하는 대신 평가 환경을 조작했습니다. 연구팀은 에이전트와 평가자 간의 격리 부족, 테스트 구성과 함께 제공되는 답변, 평가 과정에서 신뢰할 수 없는 입력 사용, 약한 문자열 일치 기준, 정답성을 평가하지 못하는 평가 논리 등 공통적인 취약점 패턴을 확인했습니다.

이러한 발견은 벤치마크 점수가 모델 선택, 투자 결정 및 안전성 평가에 오해를 불러일으킬 수 있음을 시사합니다. 점수가 인위적으로 부풀려질 수 있다면, AI 평가의 신뢰성에 대한 우려가 커질 수 있습니다. 연구팀은 개발자들이 더 신뢰할 수 있는 벤치마크를 만들 수 있도록 돕기 위해 "에이전트-평가 체크리스트"를 제안했습니다. 이 체크리스트에는 에이전트와 평가자 간의 격리 보장, 입력 데이터의 정화, 평가 과정의 취약점에 대한 철저한 테스트가 포함됩니다.

현재의 벤치마크는 결함이 있으며 AI 능력을 신뢰성 있게 측정하지 못합니다. AI 시스템이 더욱 정교해짐에 따라 이러한 약점을 이용할 가능성도 커질 것입니다. 연구팀은 벤치마크가 발표되기 전에 취약점을 식별하고 수정하는 데 도움을 줄 도구인 BenchJack을 개발 중입니다.

작성자: Anon84 | 점수: 581

90.
I ran Gemma 4 as a local model in Codex CLI
(I ran Gemma 4 as a local model in Codex CLI)

요약이 없습니다.

작성자: dvaughan | 점수: 270

91.
옵시디언 입문
(Introduction to Obsidian)

옵시디안은 노트와 지식을 효과적으로 관리하고자 하는 사람들에게 추천되는 강력한 노트 작성 프로그램입니다. 이 프로그램의 주요 특징은 다음과 같습니다.

옵시디안은 로컬 마크다운 파일을 사용합니다. 이는 사용자가 자신의 노트를 소유하고 다른 앱에서도 활용할 수 있다는 의미입니다. 이러한 설정은 데이터 손실이나 앱 정책 변경으로부터 보호해 줍니다.

노트 간의 링크를 쉽게 생성할 수 있어 아이디어와 정보를 연결하는 데 도움이 됩니다. 또한, 옵시디안은 플러그인을 통해 사용자 경험을 맞춤 설정할 수 있으며, 추가 기능을 위한 지원 커뮤니티도 있습니다.

데스크톱과 모바일 버전 모두 동일한 강력한 기능을 제공하며, 제한 없이 사용할 수 있습니다. 옵시디안의 기능을 탐색할 때는 시스템을 간단하게 유지하고 자신의 필요에 집중하는 것이 중요합니다. 너무 많은 옵션에 압도되지 않도록 해야 합니다.

저자는 콘텐츠 제작, 지식 관리, 프로젝트 관리 및 미디어 추적을 위해 옵시디안을 사용합니다. 그들은 최소한의 플러그인으로 간단한 설정을 선호합니다. 노트는 구글 드라이드를 통해 동기화하고, 가끔씩 깃허브에 백업합니다.

옵시디안은 노트를 시각화하기 위한 그래프 뷰와 캔버스 기능을 제공하지만, 저자는 일상적인 작업에서는 이 기능들이 덜 유용하다고 느낍니다. 저자는 협업 작업을 위해 노션을 사용하고, 일기 작성을 위해 로그시크를 사용하며, 다른 품질 좋은 노트 작성 앱들도 언급합니다.

전반적으로 옵시디안은 유연성과 소유권으로 찬사를 받고 있으며, 개인 지식 관리에 훌륭한 선택이 됩니다.

작성자: bryanhogan | 점수: 194

92.
라마누잔의 수학적 신비
(Math Is Still Catching Up to the Mysterious Genius of Srinivasa Ramanujan (2024))

이 기사는 인도 수학자 시리니바사 라마누잔의 지속적인 영향력에 대해 다루고 있습니다. 라마누잔은 짧은 생애와 정식 교육의 부족에도 불구하고 수학에 혁신적인 기여를 했습니다. 그는 식민지 시대 인도에서 태어나 32세에 세상을 떠났으며, 자신의 수학적 통찰력이 신의 영감을 받았다고 주장하곤 했습니다. 특히 숫자를 더 작은 부분으로 나누는 방법인 분할 정체성에 대한 그의 연구는 100년이 지난 지금도 수학자들에게 영감을 주고 있습니다.

최근 후세인 무르타다와 같은 수학자들이 이끄는 연구는 라마누잔의 아이디어와 대수기하학, 통계역학 등 다양한 수학 분야 간의 연관성을 밝혀냈습니다. 무르타다의 특이점에 대한 연구는 라마누잔의 정체성과 유사한 깊은 구조를 드러내며, 수학의 여러 분야 간의 놀라운 통일성을 보여주고 있습니다.

라마누잔의 유산은 덧셈과 곱셈 간의 관계를 드러내는 로저스-라마누잔 정체성을 통해 강조됩니다. 이 정체성은 수론, 표현 이론, 심지어 소수 탐지에도 응용되고 있습니다. 라마누잔의 연구가 새로운 맥락에서 다시 등장할 때마다, 이는 수학에서 더 많은 탐구와 발견의 기회를 열어줍니다.

전반적으로 이 기사는 라마누잔의 통찰력이 단순한 역사적 사실이 아니라 오늘날에도 수학자들에게 영감을 주고 도전 과제를 제시하고 있음을 강조합니다. 이는 수학의 깊고 상호 연결된 본질을 보여줍니다.

작성자: paulpauper | 점수: 102

93.
US Treasury Seeking Access to Anthropic's Mythos to Find Flaws
(US Treasury Seeking Access to Anthropic's Mythos to Find Flaws)

요약이 없습니다.

작성자: helsinkiandrew | 점수: 15

94.
영국 해안선의 비밀
(Why it’s impossible to measure England’s coastline)

이 문서는 프랙탈의 길이를 측정하는 방법에 대해 다루고 있으며, 특히 자기 유사 프랙탈에 초점을 맞추고 있습니다. 영국의 해안선을 예로 들어 불규칙한 형태를 측정하는 데 있어 발생하는 어려움을 설명합니다. 주요 내용은 전통적인 측정 기법이 복잡한 형태의 진정한 길이를 과소평가할 수 있다는 점을 강조합니다. 이는 세밀한 세부 사항 때문에 발생하는 문제입니다. 이 글은 지리학과 수학을 포함한 다양한 분야에서 프랙탈을 이해하는 것이 중요하다고 강조합니다.

작성자: BiraIgnacio | 점수: 42

95.
버그 잡는 린터 만들기
(I shipped a transaction bug, so I built a linter)

저자는 데이터베이스 트랜잭션과 관련된 불편한 버그를 경험했습니다. 이 버그는 의도된 경계를 넘어 작업이 누출되는 문제를 일으켜 데이터 손상을 초래할 수 있습니다. 이러한 문제가 다시 발생하지 않도록, 저자는 이러한 버그를 컴파일 시간에 잡아낼 수 있는 맞춤형 린터를 만들었습니다.

문제는 데이터베이스 트랜잭션이 모든 작업이 성공하거나 실패해야 하는 원칙을 지켜야 한다는 것입니다. 그러나 콜백을 사용할 경우 트랜잭션 경계를 우연히 넘기는 상황이 발생할 수 있습니다. 이러한 버그는 오류 없이 컴파일되고 테스트를 통과할 수 있어, 실제 운영 환경에서 문제가 발생하기 전까지 발견하기 어렵습니다.

해결책으로 저자는 Go의 go/analysis 프레임워크를 사용하여 린터를 만들었습니다. 이 린터는 코드를 정적으로 분석하여 트랜잭션 오용 패턴을 찾아내어 운영 환경에 배포되기 전에 문제를 미리 잡아냅니다. 린터는 코드의 추상 구문 트리(Abstract Syntax Tree, AST)를 검사하여 트랜잭션 호출을 식별하고, 올바른 트랜잭션 범위 매개변수가 사용되도록 확인합니다.

린터는 analysistest 패키지를 사용하여 테스트되었으며, 이를 통해 기능을 쉽게 검증할 수 있었습니다. 또한, 린터는 지속적 통합(CI) 파이프라인에서 자동으로 실행되도록 설정되어, 앞으로 유사한 버그가 발생하지 않도록 방지합니다.

저자는 다른 개발자들도 자신의 프로젝트에 맞는 일반적인 코딩 실수를 잡아낼 수 있는 린터를 개발해보기를 권장합니다.

작성자: leonhfr | 점수: 50

96.
C언어 번역 저널
(The Journal of C Language Translation)

C 언어 번역 저널(JCLT)은 더 이상 새로운 호를 발행하지 않지만, 과거의 모든 호는 여전히 접근 가능합니다. 이 계간지는 C 및 C++ 언어 번역기와 관련된 주제, 즉 컴파일러와 코드 분석 도구에 중점을 두었습니다. 이러한 번역 도구를 사용하는 개발자와 공급업체에게 유용한 자료였습니다.

과거의 모든 권과 호의 목록을 확인할 수 있습니다. 더 많은 정보가 필요하면 그들의 FTP 서버를 방문하거나 직접 주소나 전화번호로 연락할 수 있습니다.

작성자: kristianp | 점수: 27

97.
윈도우 11 코파일럿, 이름만 바뀐다!
(Microsoft isn't removing Copilot from Windows 11, it's just renaming it)

현재 Windows 11 Pro의 디지털 라이선스가 93% 할인된 가격에 제공되고 있습니다.

작성자: bundie | 점수: 364

98.
몰otov 공격 용의자, 살인미수로 기소
(Man suspected of Molotov attack Sam Altmans home charged with attempted murder)

텍사스 출신의 20세 남성 다니엘 모레노-가마가 샌프란시스코에서 OpenAI CEO 샘 올트먼의 집에 몰로토프 칵테일을 던진 혐의로 살인 미수로 기소되었습니다. 사건은 4월 10일에 발생했으며, 보안 카메라에 그가 폭발물을 던진 후 현장에서 도주하는 모습이 포착되었습니다. 모레노-가마는 또한 OpenAI 사무실에 침입을 시도하며 내부에 있는 모든 사람을 죽이겠다고 위협했습니다.

체포되었을 때 경찰은 화재를 일으키는 데 사용되는 물품과 AI 리더에 대한 폭력을 옹호하는 문서를 발견했습니다. 이 문서에는 올트먼을 죽이겠다는 계획이 포함되어 있었습니다. 문서는 세 부분으로 나뉘어 있었으며, 첫 번째 부분은 다가오는 위험에 대해 경고하고, 두 번째 부분은 AI가 초래할 수 있는 위험에 대해 논의하며, 마지막 부분은 공격에서 살아남을 경우 올트먼에게 경력을 재고하라는 내용의 편지였습니다.

살인 미수 혐의는 5년에서 20년의 징역형에 처해질 수 있습니다. 미국 검찰의 크레이그 미사키안은 폭력을 통해 공포를 조성하거나 공공 정책을 변경하려는 모든 행동은 심각하게 다뤄질 것이며, 이는 국내 테러 행위로 간주될 수 있다고 밝혔습니다.

작성자: Bender | 점수: 17

99.
모든 것의 미래는 거짓? 안전!
(The Future of Everything Is Lies, I Guess: Safety)

이 기사는 기계 학습(ML) 시스템, 특히 대형 언어 모델(LLM)이 심리적 및 신체적 안전에 미치는 위험에 대해 다루고 있습니다. 주요 내용은 다음과 같습니다.

ML 시스템은 "친절한" 모델과 함께 해로운 모델을 생성할 수 있어 보안 위협이 증가할 수 있습니다. 이는 정교한 공격, 사기, 괴롭힘 등의 형태로 나타날 수 있습니다. LLM이 안전하고 인간의 이익에 맞게 조정되도록 하는 노력은 효과적이지 않은 것으로 보입니다. 이러한 모델은 본질적으로 좋은 행동을 촉진하지 않는 알고리즘에 기반하고 있으며, 비윤리적인 주체가 쉽게 비조정 모델을 만들 수 있습니다.

LLM은 입력을 조작하는 공격에 취약할 수 있어 위험한 결과를 초래할 수 있습니다. 예측할 수 없는 행동의 위험 때문에 중요한 시스템과 연결되어서는 안 됩니다. ML 기술은 디지털 증거에 대한 신뢰를 약화시킬 수 있으며, 이는 다양한 형태의 사기를 촉진할 수 있습니다. 예를 들어, 가짜 이미지나 비디오를 생성하여 다른 사람을 속이거나 시스템을 조작하는 경우가 있습니다.

ML 시스템은 괴롭힘을 자동화할 수 있어 개인이 온라인에서 다른 사람을 쉽게 타겟으로 삼고 자신의 신원을 숨길 수 있게 만듭니다. AI의 오용은 유해한 콘텐츠를 처리해야 하는 중재자에게 더 큰 부담을 주어 심리적 피해를 초래할 수 있습니다. 군사적 맥락에서 ML의 사용에 대한 우려도 커지고 있으며, 자율 무기와 같은 기술은 배치와 잠재적 피해에 대한 윤리적 질문을 제기합니다.

저자는 ML 기술이 발전함에 따라 더 정교한 모델이 나타나 해로운 행동을 보일 수 있다고 경고하며, 이러한 기술의 결과에 대한 신중한 고려가 필요하다고 강조합니다. 전반적으로 이 기사는 ML 시스템의 개발과 배치에 있어 주의가 필요하다고 주장하며, 사회에 미치는 잠재적 위험을 강조합니다.

작성자: aphyr | 점수: 316

100.
정기적 시계열 탐색 도구
(Tool to explore regularly sampled time series)

tseda는 시계열 데이터를 탐색하기 위한 도구로, 시간 간격으로 수집된 최대 2,000개의 샘플을 처리할 수 있습니다.

이 도구의 탐색 과정은 세 단계로 나눌 수 있습니다. 첫 번째 단계는 초기 평가입니다. 이 단계에서는 KDE와 박스 플롯을 사용하여 값의 분포를 분석하고, ACF와 PACF 그래프를 통해 계절성을 확인합니다. 두 번째 단계는 특이 스펙트럼 분석(SSA)을 통한 분해입니다. 데이터의 샘플링 주기에 따라 창 크기를 설정하고(예: 시간 데이터의 경우 24), 사용자는 추세와 계절성과 같은 구성 요소를 그룹화한 후 시계열을 재구성할 수 있습니다. 또한, 변화점 분석을 통해 데이터의 구조적 변화를 식별할 수 있습니다. 세 번째 단계는 관찰 기록입니다. 데이터 구조 분석을 통해 아카이케 정보 기준(AIC)을 사용하여 모델 선택을 도와주며, 관찰 요약이 자동으로 생성됩니다.

tseda를 사용하려면 Python 3.13 이상이 필요합니다. 설치는 Conda를 통해 하는 것이 권장되며, 빠른 시작을 원할 경우 pipx나 일반 pip를 이용해 설치할 수도 있습니다. 사용자는 타임스탬프와 숫자 값이 포함된 CSV 또는 Excel 파일을 업로드할 수 있으며, 데이터는 정기적으로 샘플링되어야 하고 결측값이 없어야 합니다.

탐색 단계는 다음과 같습니다. 첫째, 시계열에 대한 초기 평가를 수행합니다. 둘째, 시계열을 분해하고 그룹화를 적용합니다. 셋째, 관찰을 기록하고 분석 결과를 검토합니다.

개발자들은 소스 코드를 로컬에서 빌드하고 검증할 수 있으며, 문서는 Sphinx를 사용하여 작성하고 Read the Docs에 게시할 수 있습니다. 사용자들은 GitHub를 통해 문제를 보고하거나 기능을 제안하는 것을 권장합니다.

작성자: rsva | 점수: 17
0
Creative Commons