1.
LHC에서 금 변환 발견!
(ALICE detects the conversion of lead into gold at the LHC)

CERN의 대형 하드론 충돌기(LHC)에서 ALICE 협력팀이 납을 금으로 변환하는 데 성공했다고 보고했습니다. 이 과정은 납 원자핵 간의 고에너지 충돌이 발생할 때 일어나며, 이로 인해 강한 전자기장이 생성됩니다. 이러한 전자기장은 납에서 양성자를 튕겨내어 일시적으로 금 원자핵을 형성할 수 있습니다.

역사적으로 납을 금으로 바꾸는 것은 연금술사들의 목표 중 하나였습니다. 납과 금은 서로 다른 원소이지만, 핵물리학의 발전 덕분에 특정 조건에서 무거운 원소들이 변환될 수 있다는 것이 밝혀졌습니다. LHC는 쿼크-글루온 플라스마를 생성할 수 있지만, 전자기 분해 과정을 통해 금도 생산합니다. 이 과정에서 광자가 원자핵과 상호작용하여 양성자와 중성자를 방출합니다.

LHC의 두 번째 운영 기간인 2015년부터 2018년 사이에 약 860억 개의 금 원자핵이 생성되었으며, 이는 29 피코그램에 해당하는 미세한 질량입니다. 이 성과는 연금술사들의 꿈이 과학적 맥락에서 실현되었음을 보여주지만, 생산된 양은 실용적인 가치가 너무 작습니다.

이 연구는 전자기 상호작용에 대한 이해를 높이고, 향후 충돌기의 성능을 예측하는 데 사용되는 모델을 개선하는 데 도움을 줍니다.

작성자: miiiiiike | 점수: 84

2.
소피: 자동 뉴스 제작 시스템
(Sofie: open-source web based system for automating live TV news production)

사용자 가이드는 Sofie 시스템을 사용하는 방법, 설치하는 방법, 운영하는 방법에 대해 설명합니다. 개발자를 위한 섹션에서는 Sofie 소프트웨어를 개발하거나 기여하고자 하는 사람들을 위한 자세한 정보를 제공합니다. 릴리스 섹션에서는 현재와 과거의 Sofie 시스템 버전, 그리고 향후 업데이트에 대한 정보를 확인할 수 있습니다. 커뮤니티에서는 개발자와 다른 Sofie 사용자들과 연결할 수 있는 Slack 그룹에 참여할 수 있습니다.

작성자: rjmunro | 점수: 117

3.
Show HN: Aberdeen – An elegant approach to reactive UIs
(Show HN: Aberdeen – An elegant approach to reactive UIs)

요약이 없습니다.

작성자: vanviegen | 점수: 114

4.
21 GB/s CSV Parsing Using SIMD on AMD 9950X
(21 GB/s CSV Parsing Using SIMD on AMD 9950X)

Sep 0.10.0 버전이 2025년 4월 22일에 출시되었습니다. 이 버전은 AMD 9950X와 같은 AVX-512 CPU에 대한 최적화가 포함되어 있습니다. 새로운 버전은 AMD 9950X에서 21 GB/s의 인상적인 파싱 속도를 달성했으며, 이는 이전 버전의 약 18 GB/s에서 향상된 수치입니다.

AMD 5950X(젠 3)에서 9950X(젠 5)로 업그레이드하면 성능이 약 1.6배 증가합니다. 이는 더 나은 클럭 속도와 AVX-512 지원 덕분입니다. 새로운 AVX-512에서 AVX-256으로 변환하는 파서가 도입되어 이전의 비효율성을 피하고, 구형 AVX-512 및 AVX2 파서보다 더 나은 성능을 보여줍니다.

Vector256 파서는 이제 AVX2와 동일한 성능을 발휘하여 다양한 플랫폼에서 높은 효율성을 보장합니다. 9950X에서 100만 행의 멀티스레드 파싱은 단 72ms가 소요되며, 실제 CSV 데이터에 대해 약 8 GB/s의 속도를 기록합니다. 지난 2년 동안의 성능 향상은 지속적인 소프트웨어 최적화와 하드웨어 발전의 효과를 잘 보여줍니다.

결론적으로, Sep 0.10.0은 CSV 파싱 속도와 효율성에서 중요한 발전을 보여주며, 소프트웨어 개발과 하드웨어 개선 간의 시너지를 강조합니다.

작성자: zigzag312 | 점수: 98

5.
이터.sh - 터미널 미니 블로그
(Itter.sh – Micro-Blogging via Terminal)

itter.sh는 웹 브라우저나 복잡한 기능 없이 SSH를 통해 접근하는 간단한 마이크로 블로깅 플랫폼입니다. 사용 방법은 다음과 같습니다.

먼저, 등록을 위해 SSH 키가 필요합니다. SSH 키가 없다면 ssh-keygen -t ed25519 -C "[email protected]" 명령어를 사용해 생성할 수 있습니다. 등록할 때는 ssh register:[email protected] 명령어를 입력합니다.

등록 후에는 ssh [email protected]로 로그인하고, help를 입력하면 사용할 수 있는 명령어를 확인할 수 있습니다.

사용자는 최대 180자까지 짧은 메시지인 “eets”를 게시할 수 있습니다. 타임라인 보기, 사용자 팔로우, 프로필 편집 등의 기능이 제공됩니다. 게시물 작성은 ittereet <text> 명령어를 사용하고, 게시물을 보려면 ittertimeline을 입력하면 됩니다.

itter.sh는 단순함과 즐거움을 강조하며, 터미널 사용에 대한 향수를 담아 만들어졌습니다. 전반적으로 이 플랫폼은 텍스트 기반의 상호작용에 중점을 둔 미니멀한 소셜 미디어 접근 방식을 제공합니다.

작성자: rrr_oh_man | 점수: 51

6.
Show HN: Hyvector – A fast and modern SVG editor
(Show HN: Hyvector – A fast and modern SVG editor)

요약이 없습니다.

작성자: jansan | 점수: 144

7.
LegoGPT: Generating Physically Stable and Buildable Lego
(LegoGPT: Generating Physically Stable and Buildable Lego)

요약이 없습니다.

작성자: nkko | 점수: 441

8.
Data manipulations alleged in study that paved way for Microsoft's quantum chip
(Data manipulations alleged in study that paved way for Microsoft's quantum chip)

마이크로소프트의 양자 컴퓨팅 칩에 관한 연구가 저자가 "공개되지 않은 데이터 조작"을 인정하면서 논란에 휘말렸다. 이 연구는 2017년에 발표되었으며, 나노와이어가 양자 컴퓨팅에서 큐비트로 기능할 수 있는 방법을 보여주는 데 중요한 의미가 있었다. 최근 이 연구를 발표한 학술지는 수정 사항을 발표했지만, 일부 저자들은 이러한 수정이 충분하지 않다고 주장하며 논문의 철회를 요구하고 있다.

이 연구의 신뢰성에 대한 우려가 제기되고 있으며, 특히 물리학자인 헨리 레그가 마이크로소프트가 자금을 지원한 연구들에서 지속적인 문제를 지적했다. 연구자들은 화학과 같은 분야에 혁신을 가져올 수 있는 양자 컴퓨터를 개발하려고 노력하고 있지만, 그들이 사용하는 큐비트는 종종 불안정하고 오류가 발생하기 쉽다.

이 연구는 전자가 나노와이어를 통해 원활하게 이동할 수 있다고 주장했지만, 공동 저자 빈센트 무리크는 최종 논문에 포함된 데이터가 테스트된 접합점 중 일부만 포함되어 있다는 사실을 발견했다. 이는 주장에 대한 신뢰성에 의문을 제기한다. 일부 오류를 인정했음에도 불구하고, 수석 저자 레오 카우웬호벤은 연구의 신뢰성을 방어했다. 그러나 무리크는 수정 사항이 문제를 충분히 해결하지 못한다고 주장하며 논문과의 거리를 두었다.

이 연구를 발표한 학술지는 이 문제를 종결로 보고 있으며, 논문 철회 계획은 없다고 밝혔다.

작성자: EvgeniyZh | 점수: 118

9.
CryptPad: An Alternative to the Google Suite
(CryptPad: An Alternative to the Google Suite)

CryptPad는 개인 정보 보호를 최우선으로 하는 무료 오픈 소스 오피스 스위트입니다. 이 서비스는 종단 간 암호화를 통해 사용자가 계정을 만들 필요 없이 실시간으로 협업할 수 있도록 해줍니다. 이를 통해 문서를 쉽게 공유하면서도 데이터를 안전하게 보호할 수 있습니다.

CryptPad의 주요 기능으로는 다양한 협업 앱이 포함되어 있으며, 개인 정보 보호를 위한 종단 간 암호화가 적용되어 있습니다. 또한 실시간으로 편집하고 공유할 수 있는 기능도 제공합니다.

많은 사용자들이 CryptPad의 기능성과 개인 정보 보호를 높이 평가하고 있습니다. 이들은 사용의 용이성과 직관적인 디자인, 개인 정보를 요구하지 않고도 공유할 수 있는 점, 폴더 정리와 같은 조직 기능, 여러 운영 체제와의 호환성을 특히 강조합니다. 사용자들은 자신의 데이터가 안전하게 보호되고 있다는 사실에 안심하며, Google Docs와 같은 다른 플랫폼에서 자주 발생하는 추적이 없다는 점을 즐깁니다. CryptPad는 협업 도구와 개인 정보 보호를 동시에 원하는 이들에게 효과적인 대안으로 여겨지고 있습니다.

작성자: ColinWright | 점수: 35

10.
Hollow Core Fiber (HCF)
(Hollow Core Fiber (HCF))

요약이 없습니다.

작성자: giuliomagnifico | 점수: 25

11.
NSF faces shake-up as officials abolish its 37 divisions
(NSF faces shake-up as officials abolish its 37 divisions)

국립과학재단(NSF)은 37개 부서를 폐지하고 프로그램을 대폭 축소하는 등 큰 변화를 겪고 있습니다. 이러한 구조조정은 트럼프 대통령이 제안한 예산 삭감과 관련이 있으며, NSF의 예산이 다음 회계연도에 55% 줄어들 것으로 예상됩니다. 변화의 일환으로 현재의 많은 리더들이 직위를 잃을 수 있으며, 직원들은 해고 통지를 받을 예정입니다.

NSF는 이미 수여된 많은 보조금도 종료할 것으로 보이며, 최근 3주 동안 10억 달러 이상의 가치가 있는 약 1,400개의 보조금이 철회되었습니다. 이 기관은 부서 폐지를 고위 경영직을 줄이고, 기관의 필요에 더 적합한 새로운 역할을 창출하기 위한 방법으로 정당화하고 있습니다.

현재 NSF는 매년 약 40,000개의 제안을 검토하고 있으며, 부서장들이 자금 지원 승인에 중요한 역할을 하고 있습니다. 새로운 보조금 심사 과정도 도입될 예정이며, 이는 다양성과 포용성에 관한 대통령 지침 준수에 중점을 두고 진행됩니다. 이 과정은 제안이 기관의 업데이트된 기준에 부합하는지 확인하기 위한 추가적인 감독을 포함할 것입니다.

작성자: magicalist | 점수: 194

12.
A Taxonomy for Rendering Engines
(A Taxonomy for Rendering Engines)

요약이 없습니다.

작성자: ibobev | 점수: 16

13.
The CL1: the first code deployable biological computer
(The CL1: the first code deployable biological computer)

CL1은 실리콘 칩 위에서 자란 실제 뉴런을 사용하는 세계 최초의 생물학적 컴퓨터입니다. 이 뉴런들은 영양이 풍부한 용액에서 자라며, biOS라는 시스템이 만든 시뮬레이션 환경의 일부로 작동합니다. 이러한 설정 덕분에 뉴런은 전기 신호를 통해 디지털 세계와 상호작용할 수 있습니다.

CL1의 주요 특징 중 하나는 사용자가 실제 뉴런에 코드를 배포할 수 있어 복잡한 문제에 대한 혁신적인 해결책을 제시할 수 있다는 점입니다. 이 뉴런들은 스스로 프로그래밍할 수 있으며, 매우 적응력이 뛰어나고 수십억 년의 진화를 반영합니다. 또한 CL1은 독립적으로 작동하는 폐쇄형 시스템으로, 외부 지원 없이도 뉴런의 건강을 최대 6개월 동안 유지할 수 있습니다.

사용자 친화적인 디자인 덕분에 카메라, USB 장치 및 실험 도구와 쉽게 연결할 수 있으며, 모니터링을 위한 터치스크린도 지원합니다. CL1은 동물 실험 없이 연구를 가능하게 하여 인간의 뇌 기능에 대한 더 관련성 높은 데이터를 제공합니다. 에너지 소모가 매우 적어 연구 기간을 연장하면서도 뉴런의 생존 가능성을 유지할 수 있습니다.

전반적으로 CL1은 합성 생물학의 경계를 넓히며, 뇌 기능과 질병 메커니즘을 보다 명확하고 효율적으로 연구할 수 있는 새로운 방법을 제공합니다.

작성자: sprawl_ | 점수: 8

14.
Implementing a Struct of Arrays
(Implementing a Struct of Arrays)

이 기사는 데이터 중심 설계에 대한 강연에서 영감을 받아 C++26에서 "배열의 구조체(Struct of Arrays, SoA)"를 구현하는 방법에 대해 다룹니다. 원래의 구조체는 데이터 멤버를 함께 그룹화했지만, 이제 각 멤버 타입이 별도의 배열에 저장되는 형식으로 변형됩니다. 이 과정은 최소한의 코드 변경으로 이루어집니다.

배열의 구조체(SoA)는 데이터 멤버를 개별 배열로 분리하여 메모리 사용을 개선하고 성능을 향상시킵니다. 저자는 Zig 언어의 MultiArrayList라는 구현을 언급하며, 이 구현은 단일 할당으로 메모리를 효율적으로 관리합니다. C++ 버전인 SoaVector는 리플렉션을 사용하여 각 멤버 타입에 대한 배열을 생성하고 관리합니다.

SoaVector는 구조체를 위한 단일 배열 대신 각 데이터 멤버에 대해 별도의 배열을 유지합니다. 예를 들어, x와 y 좌표를 각각 다른 배열에 저장합니다. 이 기사는 이러한 배열에 대한 푸시 작업을 구현하고 메모리를 관리하는 방법을 설명하며, 필요할 때 배열을 확장하는 방법도 포함됩니다.

두 가지 인덱싱 방법이 정의되어 있습니다. 하나는 전체 객체를 읽기 위한 것이고, 다른 하나는 객체를 수정할 수 있는 참조 타입을 생성하는 방법입니다. C++26의 리플렉션 기능은 데이터 구조에 따라 타입과 속성을 자동으로 생성하는 데 도움을 줍니다.

저자는 C++와 Zig 구현을 비교하며, Zig의 문법이 타입 조작과 초기화를 더 간단하게 만든다고 언급합니다. 문법의 차이에도 불구하고 메모리 관리와 데이터 조작의 기본 개념은 유사합니다. 최종적으로 완성된 SoaVector 구조체는 컴팩트하며 메모리 할당과 해제를 포함한 효율적인 데이터 처리를 보여줍니다.

이 기사는 메모리 효율성을 위한 배열의 구조체 사용의 이점을 강조하며, 현대 C++의 리플렉션과 타입 조작 기능을 탐구합니다.

작성자: mpweiher | 점수: 66

15.
Structuring Competency-Based Courses Through Skill Trees
(Structuring Competency-Based Courses Through Skill Trees)

컴퓨터 과학 교육은 두 가지 주요 방향으로 변화하고 있습니다. 첫째, 이론 중심에서 실용적인 기술 중심으로 이동하고 있으며, 둘째, 학생 수가 증가하면서 교육의 자동화가 진행되고 있습니다. 교육을 효과적으로 자동화하기 위해서는 디지털 자원과 코칭 도구를 활용할 수 있도록 강의가 잘 구조화되어야 합니다. 그러나 현재의 강의 구조화 방법은 이론에 너무 치중하고 있어 다양한 기술 간의 연결이 부족합니다.

이 논문에서는 학생이 배워야 할 기술 간의 관계를 정리한 '기술 나무(Skill Trees)'라는 새로운 접근 방식을 소개합니다. 기술 나무는 핵심 아이디어를 나타내는 '개념 나무(Concept Trees)'와 연결되어 있습니다. 이 방법은 구조적인 특성 덕분에 컴퓨터 과학 교육에 특히 적합합니다. 또한, 이 논문은 이러한 나무를 만드는 방법과 이를 바탕으로 강의를 계획하는 지침도 제공합니다.

기술 나무 프레임워크는 한 대학의 데이터베이스 강의에서 테스트되었으며, 학생들의 피드백에 따르면 혼란과 스트레스가 줄어들고 기술 목표를 달성하는 데 필요한 학습 시간이 감소했다고 합니다.

작성자: PaulHoule | 점수: 27

16.
Amazon's Vulcan Robots Now Stow Items Faster Than Humans
(Amazon's Vulcan Robots Now Stow Items Faster Than Humans)

아마존은 창고의 물품을 인간보다 더 빠르게 보관할 수 있는 새로운 벌컨 로봇을 개발했습니다. 이 로봇은 독일의 한 창고에서 테스트를 진행했습니다. 대부분의 창고 로봇 기술은 물품을 선택하는 데 중점을 두고 있지만, 아마존은 물품을 효율적으로 보관하는 다른 문제를 해결하고 있습니다.

작성자: Luc | 점수: 118

17.
Reconstructing illusory camouflage patterns on moth wings using computer vision
(Reconstructing illusory camouflage patterns on moth wings using computer vision)

요약이 없습니다.

작성자: PaulHoule | 점수: 8

18.
Dasung Paperlike 13K is a 13.3 inch E Ink color monitor
(Dasung Paperlike 13K is a 13.3 inch E Ink color monitor)

다숭의 페이퍼라이크 13K는 13.3인치 크기의 모니터로, 고해상도 E Ink 컬러 디스플레이를 갖추고 있습니다. 이 모니터는 300 픽셀 퍼 인치(ppi)의 해상도로 그레이스케일 콘텐츠를 지원하며, 최대 37Hz의 주사율을 제공합니다. 현재 가격은 749달러로 사전 예약이 가능하며, 흑백 모델은 679달러에 판매됩니다. 모니터는 USB 타입-C와 HDMI를 통해 연결할 수 있으며, 터치스크린 기능이 있어 안드로이드 기기와 화면을 미러링하여 상호작용할 수 있습니다.

이 제품은 가벼운 알루미늄 바디로 제작되었고, 내장 스피커와 오디오 잭, 다양한 기능을 위한 물리 버튼이 있습니다. 포함된 액세서리로는 HDMI 및 USB-C 케이블, 휴대용 스탠드, 스탠드로도 사용할 수 있는 자석형 보호 커버가 있습니다. 컬러 디스플레이는 E Ink Kaleido 3 기술을 사용하여 4096가지 색상을 지원하지만, 전통적인 화면에 비해 동영상과 애니메이션의 선명도가 낮습니다. 특히 컬러 버전은 전면 조명이 있지만, 흑백 버전은 조명이 없습니다. 현재 호환성은 윈도우, 리눅스, 안드로이드 기기로 제한되어 있으며, 애플 기기는 아직 완전히 지원되지 않습니다. 사전 예약 제품은 약 3주 후에 배송될 예정입니다.

작성자: PaulHoule | 점수: 39

19.
The Linux Kernel's PGP Web of Trust
(The Linux Kernel's PGP Web of Trust)

리눅스 커널은 안전한 개발을 위해 PGP를 사용하며, 서브시스템 유지 관리자는 자신의 풀 리퀘스트에 서명을 해야 합니다. 콘스탄틴 리야비체프는 유효한 키의 저장소를 관리하고 있으며, 현재 602개의 키를 추적하고 있습니다. 키가 포함되기 위해서는 리누스 토발즈의 키로부터 최대 5단계 이내의 신뢰 경로를 가져야 합니다. 현재 두 개의 키는 신뢰 경로를 잃었습니다.

새로운 문제가 발생했습니다. GnuPG 2.4.x가 더 이상 안전하지 않은 SHA-1 해시 알고리즘을 거부하기 시작한 것입니다. 이 변화는 커널의 키 저장소에 직접적인 영향을 미치지 않는데, 신뢰 경로를 확인하는 특별한 도구가 여전히 SHA-1 서명을 허용하기 때문입니다. 그러나 시어도어 츠오가 자신의 키를 업데이트하면서 많은 SHA-1 서명이 제거되었고, 그 중에는 리누스 토발즈의 서명도 포함되어 있어 신뢰의 웹이 약해질 수 있습니다.

저장소에는 총 7,976개의 유효한 서명이 있으며, 그 중 6,045개가 SHA-1에 의존하고 있습니다. 이러한 서명이 없으면 485개의 공개 키가 포함 자격을 잃게 되어 커널의 주요 기여자들에게 영향을 미칠 것입니다.

신뢰할 수 있는 키의 수는 358개에서 94개로 줄어들 것입니다. 이를 해결하기 위해 2025년 임베디드 레시피 행사에서 키 서명 세션이 계획되어 있습니다. 관심 있는 참가자는 2025년 5월 12일까지 제공된 이메일로 자신의 공개 키를 보내야 합니다.

작성자: JNRowe | 점수: 39

20.
Entire BART system is down due to computer systems failure
(Entire BART system is down due to computer systems failure)

현재 BART 서비스가 컴퓨터 네트워크 문제로 인해 모든 지역에서 중단되었습니다. 다른 교통 수단을 이용해 주시기 바랍니다.

작성자: ksajadi | 점수: 87

21.
Zombieverter: Open source VCU for reusing salvage EV components
(Zombieverter: Open source VCU for reusing salvage EV components)

전기차로의 전환은 여러 위험과 복잡성을 동반합니다. 사용자는 변환 작업을 시작하기 전에 기계 및 전기 작업에 필요한 기술을 갖추고 법적 요구사항을 준수해야 합니다.

Open Inverter 프로젝트는 웹사이트에서 제공하는 정보를 사용하여 발생하는 부상이나 손해에 대해 책임을 지지 않습니다.

ZombieVerter VCU는 중고 전기차 부품을 제어하기 위해 설계된 오픈 소스 차량 제어 장치입니다. 이 장치는 유연성이 뛰어나며 모터, 충전기, 배터리 관리 시스템(BMS) 등 다양한 부품을 지원합니다.

하드웨어 측면에서는 WiFi, 여러 개의 PWM 드라이버, CANbus 인터페이스 등을 포함하고 있습니다. 소프트웨어는 웹 인터페이스를 통해 차량 기능을 제어하고 데이터 로깅 및 관리할 수 있는 기능을 제공합니다.

ZombieVerter는 닛산 리프와 토요타 프리우스와 같은 인기 전기차의 부품과 호환됩니다. VCU 조립 및 배선에 대한 지침이 제공되며, 전원, 접촉기 및 스로틀 페달에 대한 배선이 포함되어 있습니다. 올바른 배선은 시스템의 기능에 매우 중요합니다.

초기 설정을 위해 ZombieVerter를 전원 공급 장치에 연결하고 웹 인터페이스에 접근합니다. 이 인터페이스를 통해 구성 매개변수를 조정할 수 있습니다.

일반적인 문제에 대한 해결 방법도 제공되며, 직렬 연결 문제나 소프트웨어 업데이트 실패에서 복구하는 방법에 대한 안내가 포함되어 있습니다.

결론적으로, ZombieVerter VCU는 전기차 변환을 위한 맞춤형이고 다재다능한 솔루션이지만, 사용자는 관련된 위험에 대해 신중하고 충분한 지식을 갖추어야 합니다.

작성자: trainsarebetter | 점수: 56

22.
Starlink User Terminal Teardown
(Starlink User Terminal Teardown)

이 기사는 SpaceX의 위성 인터넷 서비스인 스타링크 사용자 단말기에 대해 다룹니다. 스타링크는 저궤도 위성을 이용해 지역에 지상국이 없어도 인터넷 접속을 가능하게 하며, 위성 간의 레이저 링크를 통해 서로 통신합니다.

스타링크 사용자 단말기는 라우터와 안테나로 구성되어 있습니다. 안테나(사용자 단말기 안테나, UTA)는 RF 칩이 가득한 대형 회로 기판과 STMicroelectronics가 설계한 맞춤형 제어 칩을 포함하고 있습니다.

연구자들은 단말기의 펌웨어를 추출하고 분석했으며, 대부분 암호화되지 않은 상태임을 발견했습니다. 이 분석을 통해 장치의 작동 방식과 네트워크 연결 관리 방법이 드러났으며, 네트워크 패킷 처리를 위해 사용자 공간 애플리케이션에 의존하고 있음을 알 수 있었습니다.

연구자들은 스타링크 소프트웨어의 일부를 실행하고 디버깅하기 위해 QEMU 기반의 에뮬레이션 환경을 만들었습니다.

UTA에는 장치 식별과 사용자 데이터 전송 암호화를 관리하는 보안 칩이 포함되어 있어 장치의 보안을 강화합니다.

연구자들은 특정 네트워크 패킷을 기록하는 프로그램을 발견했으며, 이는 데이터 로깅에 대한 우려를 불러일으킵니다. 그러나 이 프로그램은 사용자 개인 정보 데이터보다는 위성 텔레메트리에 초점을 맞추고 있는 것으로 보입니다.

단말기의 설정은 여러 SSH 공개 키를 허용하는데, 이는 보안 위험을 초래할 수 있습니다. 단말기가 로컬 네트워크에 열려 있기 때문입니다.

전반적으로 이 분석은 스타링크 사용자 단말기의 첨단 기술과 함께 위성 인터넷이 발전함에 따라 발생할 수 있는 잠재적인 보안 문제를 강조합니다.

작성자: walterbell | 점수: 236

23.
USPTO refuses Tesla Robotaxi trademark as "merely descriptive"
(USPTO refuses Tesla Robotaxi trademark as "merely descriptive")

테슬라가 새로운 자율주행 2인승 차량에 대해 "로보택시"라는 용어의 상표 등록을 시도했지만, 미국 특허상표청(USPTO)에서 이 용어가 너무 일반적이고 단순히 설명적인 것으로 간주되어 거부되었습니다. 일론 머스크 CEO는 이 차량이 회사의 미래라고 믿고 있으며, 이 차량은 지난해 10월에 공개되었습니다.

테슬라는 USPTO의 결정에 이의를 제기할 수 있지만, 자세한 마케팅 정보를 제공하고 자사의 차량이 다른 차량과 어떻게 다른지를 입증해야 합니다. 이번 거부는 브랜드 이미지 구축에 어려움을 줄 수 있으며, "사이버캡"이라는 이름도 다른 회사의 기존 등록으로 인해 상표 등록에 실패했습니다.

테슬라는 텍사스 오스틴에서 스티어링 휠이나 인간 안전 운영자 없이 이 2인승 전기차를 테스트할 계획입니다. 대신 원격 운영자가 복잡한 문제를 처리할 것입니다. 이전 테스트에서는 테슬라의 완전 자율주행(FSD) 시스템이 종종 인간의 개입을 필요로 한다는 결과가 나와 안전에 대한 우려가 제기되었습니다.

작성자: LorenDB | 점수: 46

24.
Malaya's Timeless Design
(Malaya's Timeless Design)

요약이 없습니다.

작성자: cenazoic | 점수: 52

25.
WASM 2.0
(WASM 2.0)

웹어셈블리(WebAssembly, Wasm)는 웹과 다른 플랫폼에서 고성능 애플리케이션이 효율적이고 안전하게 실행될 수 있도록 설계된 저수준 코드 형식입니다. 이 기술은 이식성이 뛰어나고 안전하며 빠른 속도를 자랑하여 브라우저와 독립 실행형 애플리케이션을 포함한 다양한 환경에서 적합하게 사용될 수 있습니다.

주요 설계 목표는 다음과 같습니다. 첫째, 성능입니다. 웹어셈블리는 최신 하드웨어에서 네이티브 속도에 가까운 실행을 제공합니다. 둘째, 안전성입니다. 코드가 샌드박스 환경에서 실행되어 메모리 손상이나 보안 문제를 방지합니다. 셋째, 이식성입니다. 특정 요구 사항 없이 다양한 장치와 아키텍처에서 작동합니다. 넷째, 효율성입니다. 웹어셈블리는 전송이 빠르고 로드 및 검증이 신속한 압축된 이진 형식을 사용합니다.

웹어셈블리의 핵심 구성 요소는 다음과 같습니다. 첫째, 값입니다. 웹어셈블리는 기본 숫자 유형(정수와 부동 소수점 수)과 패킹된 데이터를 위한 128비트 벡터 유형을 지원합니다. 둘째, 명령어입니다. 웹어셈블리 코드는 스택 기반 방식으로 처리되는 일련의 명령어로 작동하며, 데이터 작업, 제어 흐름(루프 및 조건문 포함), 함수 호출 등을 포함합니다. 셋째, 모듈입니다. 웹어셈블리 프로그램은 함수, 테이블, 메모리 및 전역 변수를 정의하는 모듈로 구성됩니다. 모듈은 재사용을 위해 다양한 요소를 가져오고 내보낼 수 있습니다.

실행 단계는 다음과 같습니다. 첫 번째는 디코딩입니다. 이 단계에서는 이진 형식을 사용 가능한 내부 표현으로 변환합니다. 두 번째는 검증입니다. 이 단계에서는 모듈이 안전성과 구조 요구 사항을 충족하는지 확인합니다. 세 번째는 실행입니다. 이 단계에서는 모듈을 인스턴스화하여 함수를 호출하고 결과를 반환할 수 있게 합니다.

보안 측면에서 웹어셈블리는 호스트 환경에 직접 접근할 수 없도록 설계되어 있습니다. 모든 상호작용은 임베딩 환경에 의해 명시적으로 정의되어야 하며, 이를 통해 보안 정책을 적용할 수 있습니다.

웹어셈블리는 부동 소수점 표현(IEEE-754)과 문자 인코딩(유니코드)에 대한 확립된 표준에 의존합니다.

웹어셈블리 2.0은 다양한 플랫폼에서 고성능 애플리케이션을 가능하게 하면서 안전성과 보안을 유지하는 다재다능하고 효율적인 코드 형식으로 구성되어 있습니다. 모듈화된 설계는 다양한 환경에서의 통합과 재사용을 용이하게 합니다.

작성자: lioeters | 점수: 225

26.
Audiobookshelf: Self-hosted audiobook and podcast server
(Audiobookshelf: Self-hosted audiobook and podcast server)

요약이 없습니다.

작성자: fjk | 점수: 156

27.
Dead Reckoning
(Dead Reckoning)

HMS Wager는 1741년 드레이크 해협에서 재난을 겪은 영국 왕립 해군의 배로, 그 이야기는 매우 비극적입니다. 원래 상업용으로 건조된 Wager는 제킨스 귀 전쟁 중 스페인을 상대로 한 비밀 군사 작전으로 전환되었습니다.

폭풍우가 몰아치는 드레이크 해협을 항해하던 Wager는 악천후와 승무원들의 질병으로 인해 다른 함대와의 통신이 끊겼습니다. 여러 가지 불행이 겹치면서 마스트가 부러지고 선장이 사망하는 등 어려움이 계속되었고, 결국 배는 미지의 섬에 좌초하게 되었습니다. 이 섬은 현재 Wager Island로 알려져 있습니다.

승무원들은 괴혈병과 기아로 고통받으며 생존을 위해 애썼습니다. 그들은 잔해에서 물자를 찾아내고, 반란의 긴장 속에서 결국 그룹으로 나누기로 결정했습니다. 한 그룹은 포수 존 벌클리의 지휘 아래 안전을 찾아 남쪽으로 항해하려 했고, 다른 그룹은 incapacitated된 선장 치프에게 충성을 다했습니다.

몇 달 간의 고난과 다양한 모험 끝에 벌클리와 그의 그룹은 브라질에 성공적으로 도착했지만, 치프 선장과 나머지 승무원들은 더 많은 어려움에 직면했습니다. 결국 생존자들은 영국으로 돌아왔고, 그들의 행동에 대한 법적 조사를 받았지만, 주로 배의 손실에 초점이 맞춰졌습니다.

이 이야기는 생존, 리더십 갈등, 탐험 시대의 해전에서의 도전이라는 주제를 강조하며, 오늘날에도 여전히 위험한 해역인 드레이크 해협의 지속적인 위험을 언급합니다. 2006년 연구자들은 Wager의 잔해가 있는 장소를 확인하고, 265년 넘게 바위 위에 있던 배의 흔적을 발견했습니다.

작성자: repost_bot | 점수: 141

28.
Usenix ATC Announcement
(Usenix ATC Announcement)

USENIX는 2025년에 50주년을 맞이하며, 고급 컴퓨팅 시스템 분야에서의 혁신을 기념합니다. 그러나 가장 오랜 역사를 가진 행사인 USENIX 연례 기술 회의(ATC)의 종료를 발표했습니다. ATC는 2025년 7월에 마무리될 예정입니다.

ATC는 시작 이후로 컴퓨팅 분야의 혁신적인 발전을 위한 중요한 플랫폼으로 자리 잡아왔으며, 많은 영향력 있는 발표들이 이루어졌습니다. 하지만 커뮤니티가 성장하고 더 전문화된 회의로 이동하면서 참석자 수가 감소했습니다.

중요한 연구가 계속해서 ATC에 제출되고 있음에도 불구하고, 회의는 참여율 감소와 재정적 어려움으로 어려움을 겪어왔고, 결국 종료라는 어려운 결정을 내리게 되었습니다. USENIX는 ATC가 역사에서 중요한 역할을 했음을 인정하며, 그 유산을 기리면서 미래의 이니셔티브에 집중할 계획입니다.

작별 인사의 일환으로, USENIX는 참석자들에게 6월 2일까지 ATC에 대한 추억을 공유해 줄 것을 요청하고 있으며, 2025년 7월 보스턴에서 열리는 마지막 행사에서 회의의 역사와 50주년을 함께 기념할 계획입니다.

작성자: eatbitseveryday | 점수: 102

29.
Fui: C library for interacting with the framebuffer in a TTY context
(Fui: C library for interacting with the framebuffer in a TTY context)

fui는 프레임버퍼 사용자 인터페이스를 의미하는 C 라이브러리로, 터미널 환경에서 프레임버퍼와 상호작용하기 위해 설계되었습니다. 이 라이브러리는 여러 레이어를 사용하여 프레임버퍼에 직접 그릴 수 있는 기능을 제공합니다. 주요 특징으로는 여러 레이어에 픽셀을 그려서 화면에 표시하는 레이어드 드로잉, 선, 사각형, 원 등을 그릴 수 있는 기본 도형 기능, 비트맵 폰트를 사용한 텍스트 렌더링, libevdev를 이용한 키보드와 마우스 입력 관리, 그리고 ALSA를 이용한 간단한 음색과 화음을 재생할 수 있는 사운드 시스템이 있습니다.

라이브러리를 설치하려면 다음 명령어를 사용하면 됩니다. 첫 번째로 make를 입력하고, 두 번째로 sudo make install을 입력합니다. 컴파일러 플래그에 -Lfui -l:libfui.a를 포함시켜야 하며, 이 라이브러리는 정적으로 링크되므로 공유 라이브러리는 필요하지 않습니다.

이 라이브러리는 비디오와 입력을 위해 루트 접근 권한이 필요하므로, 사용자를 비디오 및 입력 그룹에 추가해야 합니다. 이를 위해 sudo usermod -aG video "$USER"sudo usermod -aG input "$USER" 명령어를 입력합니다. 변경 사항을 적용하려면 로그아웃 후 다시 로그인하거나 재부팅해야 합니다.

라이브러리에는 examples 폴더에 main.cbodies.c와 같은 예제가 포함되어 있어, 라이브러리의 구성 요소를 보여줍니다. 또한 사운드 시스템을 활용한 간단한 우주 게임도 포함되어 있으며, tests 폴더에는 cmocka를 이용한 테스트도 있습니다.

작성자: Bhulapi | 점수: 147

30.
Void: Open-source Cursor alternative
(Void: Open-source Cursor alternative)

Void는 Cursor의 오픈 소스 대안으로, 사용자가 코드에서 AI 에이전트를 활용하고, 변경 사항을 추적하며, 데이터를 저장하지 않고도 로컬에서 모델을 실행할 수 있게 해줍니다. 전체 소스 코드는 해당 저장소에서 확인할 수 있습니다.

주요 기능으로는 코드 지원을 위한 AI 에이전트, 변경 사항 추적 및 시각화, 로컬 모델 호스팅이 있습니다.

참여하고 싶다면 "HOW_TO_CONTRIBUTE" 가이드를 참고하여 기여를 시작할 수 있습니다. 매주 Discord에서 열리는 회의에 참여하여 논의에 참여할 수도 있습니다. 제안이나 협업도 환영합니다.

더 많은 정보는 웹사이트를 방문해 주시고, 지원이 필요하면 Discord나 [email protected]으로 이메일을 통해 연락하실 수 있습니다.

참고로, Void는 vscode 저장소를 기반으로 하며, 코드베이스에 대한 가이드도 제공됩니다.

작성자: sharjeelsayed | 점수: 838

31.
A flat pricing subscription for Claude Code
(A flat pricing subscription for Claude Code)

맥스 플랜 사용자들은 이제 터미널에서 클로드 모델에 직접 연결할 수 있는 명령줄 도구인 클로드 코드(Claude Code)를 사용할 수 있습니다. 이 기능은 사용자가 복잡한 코딩 작업을 수행하면서도 제어와 투명성을 유지할 수 있도록 돕습니다.

맥스 플랜에 가입하면 글쓰기, 연구, 분석을 위한 클로드와 터미널 코딩을 위한 클로드 코드를 하나의 구독으로 이용할 수 있습니다. 클로드 코드를 사용하려면 활성화된 맥스 플랜 구독이 필요합니다. 두 가지 요금제 중에서 선택할 수 있으며, 5배 프로 사용은 월 100달러, 20배 프로 사용은 월 200달러입니다.

클로드 코드를 설정하려면 문서 페이지에서 다운로드하여 설치한 후 클로드 계정으로 로그인하면 됩니다. 사용 한도는 클로드와 클로드 코드 간에 공유되며, 선택한 플랜, 작업의 복잡성, 코드베이스의 크기에 따라 달라집니다.

사용 한도에 도달하면 경고 메시지가 표시됩니다. 이 경우 플랜 업그레이드나 한도가 초기화될 때까지 기다리는 옵션이 있습니다. 보다 효율적인 사용을 위한 팁은 제공된 모범 사례를 참고하시기 바랍니다.

작성자: namukang | 점수: 204

32.
Progress toward fusion energy gain as measured against the Lawson criteria
(Progress toward fusion energy gain as measured against the Lawson criteria)

물론입니다! 요약해드릴 내용을 제공해 주시면 됩니다.

작성자: sam | 점수: 223

33.
Robotics meets the culinary arts
(Robotics meets the culinary arts)

스위스-이탈리아 팀이 로봇과 요리를 결합한 혁신적인 식용 로봇 웨딩 케이크인 '로보케이크'를 개발했습니다. 이 프로젝트는 식용 로봇과 로봇화된 음식을 만들기 위한 EU 자금 지원을 받는 로보푸드 이니셔티브의 일환으로, 응급 영양 공급과 음식물 쓰레기 감소 등 다양한 용도를 목표로 하고 있습니다.

로보케이크에는 젤라틴, 시럽, 색소로 만들어진 두 개의 식용 로봇 테디베어가 포함되어 있으며, 내부 공압 시스템 덕분에 움직일 수 있습니다. 또한, 비타민 B2와 초콜릿 같은 안전한 재료로 만들어진 최초의 식용 충전식 배터리가 포함되어 있어, 케이크 위의 LED 촛불을 켜는 데 사용됩니다.

이 프로젝트는 음식과 로봇 기술의 융합이 독특한 요리 경험을 창출할 수 있음을 보여주며, 전자 폐기물 문제에도 대응할 수 있는 가능성을 제시합니다. 스위스 연방 공과대학교(EPFL), 이탈리아 기술 연구소, EHL의 연구자들이 협력하여 케이크가 맛있고 안전하게 먹을 수 있도록 했습니다.

전반적으로 로보푸드 프로젝트는 식용 로봇이 음식 보존을 개선하고, 응급 상황에서 영양을 제공하며, 새로운 요리의 즐거움을 창출할 수 있는 잠재력을 강조합니다.

작성자: gnabgib | 점수: 30

34.
Full Control.xyz Freeform Gcode
(Full Control.xyz Freeform Gcode)

FullControl 디자인 라이브러리에는 활성 로딩 표시기가 포함되어 있습니다. 이 기능은 사용자가 어떤 작업이 진행 중임을 알 수 있도록 도와줍니다. 또한 "곧 출시 예정"으로 표시된 여러 요소가 있어, 앞으로 더 많은 기능이나 업데이트가 추가될 예정임을 나타냅니다.

작성자: downboots | 점수: 30

35.
Podfox: First Container-Aware Browser
(Podfox: First Container-Aware Browser)

요약이 없습니다.

작성자: pierremenard | 점수: 106

36.
eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6
(eBPF Mystery: When is IPv4 not IPv4? When it's pretending to be IPv6)

이 글에서는 DNS 요청을 리디렉션하는 eBPF 프로그램과 관련된 기술적인 문제를 다룹니다. 저자는 처음에 IPv4 트래픽을 처리하기 위해 eBPF 프로그램을 설정했지만, .NET CLI가 IPv6를 사용하고 있다는 사실을 발견하게 되었고, 이로 인해 프로그램에서 예상치 못한 동작이 발생했습니다.

eBPF 프로그램은 특정 애플리케이션이나 컨테이너의 DNS 요청을 포트 53에서 리디렉션하도록 설계되었습니다. 이 프로그램은 BPF_CGROUP_INET4_CONNECT 훅을 사용합니다. 그러나 저자의 시스템은 IPv6를 지원하지 않았기 때문에 .NET CLI 명령어가 시스템을 멈추게 하고 IPv6 패킷이 차단되고 있다는 메시지를 출력했을 때 놀랐습니다.

저자는 네트워크 트래픽이 IPv4로 보였지만, IPv4 연결을 위한 eBPF 프로그램이 작동하지 않았다는 것을 확인했습니다. 이를 위해 Wireshark와 추가 디버깅 도구를 사용하여 문제를 더 깊이 조사했습니다.

조사 중에 저자는 .NET 소스 코드를 살펴보면서 .NET이 DualMode 소켓을 사용한다는 사실을 발견했습니다. DualMode 소켓은 IPv6 소켓을 통해 IPv4 트래픽을 처리할 수 있는 기능을 가지고 있습니다. 이는 IPv4 주소가 IPv6 형식으로 표현될 수 있음을 의미합니다.

eBPF 프로그램은 IPv4와 IPv4-매핑된 IPv6 주소를 모두 처리할 수 있도록 업데이트되었습니다. 또한, egress 프로그램은 진짜 IPv6 트래픽과 IPv4-매핑된 주소를 구분할 수 있도록 조정이 필요했습니다. 이를 통해 유효한 요청이 차단되는 것을 방지할 수 있었습니다.

저자는 IPv4 트래픽이 특정 형식을 통해 IPv6 소켓을 통해 전송될 수 있다는 점을 강조하며, 네트워크 트래픽 처리에서 혼란이 발생할 수 있음을 설명했습니다. 해결책은 .NET에서 DualMode 소켓이 작동하는 방식을 이해하고 적응하는 것이었습니다.

이 글은 eBPF, 소켓 프로그래밍, 네트워킹 프로토콜 간의 복잡한 상호작용을 보여주며, 문제 해결 시 기본 시스템을 이해하는 것이 얼마나 중요한지를 강조합니다.

작성자: tanelpoder | 점수: 82

37.
From: Steve Jobs. "Great idea, thank you."
(From: Steve Jobs. "Great idea, thank you.")

저자는 1991년 스티브 잡스가 설립한 NeXT에서 신입 시스템 엔지니어로 일했던 경험을 간단히 이야기합니다. 그곳에서 저자는 "[email protected]"이라는 이메일 별칭이 아무도 사용하지 않는 것을 발견했습니다. 그래서 저자는 이 별칭을 요청하기로 결정했는데, 그 결과 스티브 잡스를 위한 잘못된 이메일이 쏟아져 들어오면서 저자는 당황하게 되었습니다.

실수를 깨달은 저자는 빠르게 별칭을 스티브 잡스에게 다시 연결하고 사과 이메일을 보냈습니다. 놀랍게도 스티브 잡스는 간단한 메시지로 답장을 보냈습니다. "좋은 아이디어입니다, 감사합니다." 이 답장은 저자에게 소중한 기억이 되었고, 잡스의 이메일로 경력을 시작한 것과 이후 팀 쿡으로부터 받은 이메일에 대해 운이 좋았다고 회상합니다.

작성자: mattl | 점수: 1071

38.
A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf]
(A Formal Analysis of Apple's iMessage PQ3 Protocol [pdf])

이 논문은 애플의 iMessage PQ3 프로토콜에 대한 형식적 분석을 다루고 있습니다. PQ3는 강력한 적대자, 특히 양자 컴퓨팅 능력을 가진 적으로부터 보호하기 위해 설계된 안전한 메시징 시스템입니다. 주요 내용은 다음과 같습니다.

PQ3는 애플의 서비스인 iMessage와 FaceTime에서 사용되는 장치 간 메시징 프로토콜입니다. 이 프로토콜은 전통적인 암호화 방법과 포스트-양자 암호화 방법을 결합하여 높은 성능과 강력한 보안을 보장합니다.

이 프로토콜은 여러 가지 강력한 보안 기능을 제공합니다. 첫째, '전방 비밀성'을 통해 현재 키가 유출되더라도 과거 메시지를 보호합니다. 둘째, '타협 후 보안' 기능을 통해 사용자가 키가 유출된 경우에도 안전한 통신을 계속할 수 있도록 합니다. 셋째, 양자 공격에 대한 저항력을 갖추고 있어 미래의 양자 컴퓨터 위협에 대비하고 있습니다.

저자들은 PQ3의 상세한 모델을 만들고 Tamarin 증명기를 사용하여 보안 속성을 검증했습니다. 이 과정에서는 다양한 타협 시나리오를 점검하여 PQ3가 여러 유형의 공격에서도 안전하게 유지되는지를 확인했습니다.

분석 결과, Tamarin이 무한 루프를 가진 복잡한 프로토콜을 효과적으로 처리할 수 있다는 점이 밝혀졌습니다. 이는 이러한 프로토콜이 상징적 증명기의 범위를 넘어선다는 기존의 믿음에 도전하는 결과입니다. 또한 PQ3에서 고전 암호화와 포스트-양자 암호화의 조합이 다른 프로토콜인 Signal에 비해 보안을 강화한다는 점도 확인되었습니다.

PQ3는 이중 래칫 메커니즘을 사용하여 키를 자주 업데이트함으로써 보안을 유지합니다. 이 메커니즘은 대칭 키와 공개 키 래칫을 포함하여, 대화 방향이 바뀌더라도 참가자들이 안전하게 메시지를 교환할 수 있도록 합니다.

저자들은 장기 키를 안전하게 저장하는 것이 중요하다고 강조합니다. 이러한 키가 유출될 경우 모든 보안 보장이 영향을 받을 수 있기 때문입니다.

이 논문은 iMessage PQ3 프로토콜에 대한 철저한 분석을 제공하며, 현대의 위협에 대한 신뢰성을 보장하는 형식적 검증 방법의 효과를 보여줍니다.

작성자: luu | 점수: 133

39.
How "Night of the Living Dead" Accidentally Became Public Domain
(How "Night of the Living Dead" Accidentally Became Public Domain)

이 기사는 조지 로메로가 감독한 고전 공포 영화 "살아있는 시체의 밤"에 대해 다루고 있습니다. 이 영화는 배급사의 저작권 실수로 인해 의도치 않게 퍼블릭 도메인으로 전환되었습니다. 이 작품은 현대 좀비 장르에 큰 영향을 미쳤으며, 무감각하고 육체를 먹는 좀비의 상징적인 이미지를 소개했습니다. 로메로는 공포 영화의 중요한 인물로 인정받고 있으며, 여러 좀비 영화를 감독했습니다. 그중에서도 "살아있는 시체의 밤"이 가장 유명한 작품입니다. 영화가 성공했음에도 불구하고, 로메로는 독립적인 접근 방식과 배급사가 영화를 제대로 저작권 등록하지 않은 실수로 인해 그에 걸맞은 인정이나 재정적 보상을 받지 못했습니다.

작성자: edavis | 점수: 47

40.
37signals Says Goodbye to AWS: Full S3 Migration and $10M in Projected Savings
(37signals Says Goodbye to AWS: Full S3 Migration and $10M in Projected Savings)

칼커는 고급 계산 방식을 변화시키고 있는 새로운 과학 계산기입니다. 이 계산기는 복잡한 계산을 더 쉽고 효율적으로 할 수 있도록 도와주는 혁신적인 기능을 제공합니다.

작성자: bluedino | 점수: 48

41.
Reservoir Sampling
(Reservoir Sampling)

저수지 샘플링은 전체 집합의 크기를 모르는 상태에서 모집단에서 무작위로 샘플을 선택하는 방법입니다. 이 방법의 주요 내용은 다음과 같습니다.

첫째, 저수지 샘플링의 목적은 전체 집합의 항목 수를 알지 못하더라도 공정한 샘플을 선택할 수 있게 해주는 것입니다.

둘째, 이 방법의 작동 방식은 다음과 같습니다. 항목을 하나씩 받을 때마다 해당 항목을 유지할지 버릴지를 결정해야 합니다. 더 많은 항목이 나타날수록 유지할 확률은 줄어들어 모든 항목이 선택될 기회를 동등하게 가질 수 있습니다.

셋째, 공정한 선택을 위해 각 새로운 항목은 지금까지 본 총 항목 수에 따라 선택될 기회를 부여받습니다. 예를 들어, 첫 번째 항목은 100%의 확률로 유지되고, 두 번째 항목은 50%의 확률을 가지며, 이와 같은 방식으로 진행됩니다. 이 방법은 항목 수가 증가하더라도 공정성을 유지합니다.

넷째, 로그 수집 서비스에서 저수지 샘플링은 로그가 급증할 때 처리되는 로그 수를 제한하면서도 중요한 정보를 잃지 않도록 활용될 수 있습니다. 예를 들어, 5개의 로그를 고정적으로 유지함으로써 서비스는 예측 가능한 메모리 사용량을 유지하면서 로그를 처리할 수 있습니다.

마지막으로, 저수지 샘플링의 가중치 변형 방법도 있습니다. 이는 일부 항목이 다른 항목보다 더 중요할 때, 예를 들어 오류 로그를 우선시하는 경우에 적용될 수 있습니다.

결론적으로, 저수지 샘플링은 데이터의 총 크기를 모르는 상황에서도 효율적으로 무작위 샘플을 선택할 수 있는 우아한 해결책입니다.

작성자: chrisdemarco | 점수: 485

42.
How the US built 5k ships in WWII
(How the US built 5k ships in WWII)

제2차 세계대전 동안 미국은 5,000척 이상의 선박을 건조하는 놀라운 성과를 달성했습니다. 이는 전쟁 이전의 조선업 수준에 비해 크게 증가한 수치입니다. 전쟁 전 미국의 조선업은 어려움을 겪고 있었고, 1922년부터 1928년까지는 새로운 대양 항해 선박이 생산되지 않았습니다. 그러나 전시 수요로 인해 선박 생산이 대폭 확대되었고, 1939년부터 1945년까지 화물선, 유조선, 군함 등 총 4천만 톤에 가까운 선박이 건조되었습니다.

이 조선업의 호황은 정부와 민간 기업 간의 협력으로 이루어졌습니다. 미국 정부는 건설 자금을 지원하고 생산 전략을 수립했으며, 많은 경험이 부족한 민간 기업들이 실제 작업을 수행했습니다. 미국 해양 위원회는 조선업의 구식 방법을 더 효율적인 용접 및 조립식 건축 기술로 전환하는 데 중요한 역할을 했습니다. 이러한 변화는 생산 속도를 높이는 데 기여했습니다.

전쟁이 진행됨에 따라 미국은 특히 일본의 진주만 공격 이후 긴급한 선박 수요에 직면했습니다. 해양 위원회는 화물선과 군용 선박을 생산하기 위해 조선 프로그램을 신속하게 확대했고, 효율적인 건설 방법으로 유명한 혁신적인 여섯 개 회사가 관리하는 새로운 조선소가 건설되었습니다.

가장 주목할 만한 선박 중 하나는 리버티 선으로, 빠른 건설을 위해 간단한 기술로 설계되었습니다. 생산 과정은 크게 발전하여 조립 라인 기술을 채택하고 노동 효율성을 개선했습니다. 전쟁이 끝날 무렵, 리버티 선을 건조하는 데 필요한 시간은 크게 줄어들었고, 이는 전쟁 동안의 학습 곡선과 효율성 향상을 보여주었습니다.

인상적인 생산량에도 불구하고 미국의 전시 조선업은 긴급 생산의 능력과 한계를 동시에 드러냈습니다. 미국은 전례 없는 속도로 선박을 건조했지만, 다른 국가들과 비교했을 때 전반적인 효율성에서는 여전히 어려움을 겪었습니다. 전쟁이 끝난 후 조선소는 문을 닫았고, 미국은 상업 조선업의 낮은 수준으로 돌아갔습니다.

작성자: rbanffy | 점수: 102

43.
Phoenician culture spread mainly through cultural exchange
(Phoenician culture spread mainly through cultural exchange)

최근 연구는 페니키아 문화가 지중해 전역에 퍼진 전통적인 관점을 도전하고 있습니다. 대규모 이주 대신, 이 영향력 있는 문명이 주로 문화 교류와 동화 과정을 통해 확장되었다고 제안합니다.

주요 발견 사항은 다음과 같습니다. 첫째, 유전자 다양성입니다. 연구 결과, 페니키아 인구는 주로 북아프리카와 시칠리아-에게 해 지역에서 온 다양한 조상을 가지고 있음을 보여주었습니다. 이는 페니키아 공동체의 유전적 배경이 매우 다양하다는 것을 나타냅니다.

둘째, 문화적 연결입니다. 페니키아 문화는 청동기 시대에 시작되어 최초의 알파벳과 같은 중요한 혁신을 발전시켰습니다. 기원전 1천년경에는 페니키아 도시들이 지중해 전역에 광범위한 무역 네트워크를 구축하여 그들의 문화와 언어를 널리 퍼뜨렸습니다.

셋째, 카르타고의 영향입니다. 기원전 6세기까지 카르타고(페니키아 식민지)는 이 지역에서 지배적인 세력이 되었고, 이로 인해 로마인들이 이들 공동체를 지칭할 때 사용한 "푸니크"라는 용어가 생겼습니다. 카르타고는 특히 로마 공화국과의 갈등, 특히 포에니 전쟁으로 잘 알려져 있습니다.

넷째, 연구 방법론입니다. 막스 플랑크 연구소와 하버드 대학의 연구자들이 이끄는 이 연구는 14개의 고고학 유적지에서 발견된 고대 DNA를 분석했습니다. 연구 결과, 레반트 지역의 페니키아인들이 서부 푸니크 인구에 직접적인 유전적 기여를 거의 하지 않았음을 밝혀내어, 이주보다는 문화적 상호작용의 역할을 강조했습니다.

마지막으로, 상호 연결된 사회입니다. 연구 결과는 고대 지중해 사회가 세계적이고 상호 연결되어 있었으며, 사람들이 먼 거리에서도 자주 무역하고 혼인했다는 점을 강조합니다.

이 연구는 기원전 1천년 동안 지중해의 문화와 인구 역사에 대한 새로운 시각을 제공하며, 페니키아 문화가 어떻게 형성되고 퍼져나갔는지에 대한 복잡한 그림을 드러냅니다.

작성자: gmays | 점수: 79

44.
Ciro (YC S22) is hiring a software engineer to build AI agents for sales
(Ciro (YC S22) is hiring a software engineer to build AI agents for sales)

Ciro에서 일자리를 제공하고 있습니다. 이곳에서 일하는 데 관심이 있다면, 제공되는 직무를 살펴보고 지원해 보세요.

작성자: dwiner | 점수: 1

45.
A star has been destroyed by a wandering supermassive black hole
(A star has been destroyed by a wandering supermassive black hole)

최근 발견된 AT2024tvd는 초거대 블랙홀에 의해 별이 찢어지는 현상입니다. 이 블랙홀은 일반적으로 초거대 블랙홀이 위치하는 은하 중심이 아닌 곳에 있습니다. 대신, 은하의 중심에는 현재 물질을 흡수하고 있는 더 큰 블랙홀이 존재합니다.

이 사건은 갑작스러운 밝아짐을 감지하는 즈위키 일시적 시설에 의해 확인되었습니다. AT2024tvd는 은하 중심에서 2,500광년 이상 떨어져 있어 처음에는 주목받지 못했습니다. 그러나 허블 우주 망원경과 같은 망원경을 이용한 추가 관측을 통해 AT2024tvd가 실제로 조석 파괴 사건임이 확인되었고, 초신성과는 다른 특징을 보였습니다.

이 상황은 왜 이 은하에 두 개의 초거대 블랙홀이 존재하는지, 그리고 왜 하나가 중심에 위치하지 않는지에 대한 의문을 제기합니다. 큰 은하는 종종 각각의 블랙홀을 가진 작은 은하들이 합쳐져 형성됩니다. 때때로 이러한 블랙홀은 중심 블랙홀과 합쳐지지 않고 중력 상호작용으로 인해 은하의 외곽으로 밀려나기도 합니다.

연구에 따르면 AT2024tvd와 같은 사건은 더 큰 은하에서 발생할 가능성이 높습니다. 이러한 은하는 더 많은 합병의 역사를 가지고 있어, 따라서 더 많은 방황하는 초거대 블랙홀을 포함하고 있습니다.

작성자: codezero | 점수: 4

46.
Finding a Bug in Chromium
(Finding a Bug in Chromium)

저자는 최근 크로미움에서 버그를 신고하며 처음으로 버그 신고 경험을 했습니다. 저자는 건설용 로봇을 개발하는 회사인 모뉴멘탈에서 일하고 있습니다. 그들의 프론트엔드 애플리케이션인 아트리움은 프론트엔드와 로봇 백엔드 간의 코드 공유를 위해 타입스크립트와 러스트 WASM으로 구축되었습니다.

저자가 겪은 문제는 WASM 구현에서 메모리 누수가 발생한 것이었습니다. 가끔 메모리 사용량이 증가하지만 줄어들지 않고, 페이지를 새로 고침해도 계속해서 메모리가 남아 있었습니다. 저자는 자바스크립트 엔진이 러스트 객체와 관련된 메모리 정리 함수(파이널라이저)를 호출하지 않는 것을 발견했습니다.

버그를 시연하기 위해 저자는 자신의 애플리케이션을 간소화한 버전을 만들었습니다. 이 버전에서는 많은 객체를 파이널리제이션 레지스트리에 등록했습니다. 이 최소한의 재현 사례에서 여러 번 페이지를 새로 고침한 후 정리가 작동하지 않아 메모리 누수가 발생하는 것을 보여주었습니다.

저자는 보통 버그를 스스로 수정하려고 하지만, 크로미움의 복잡성에 압도당해 보고서를 제출한 후 해결책을 기다릴 계획입니다. 브라우저 엔진의 한계를 탐구하는 것을 즐기는 다른 사람들도 팀에 합류하길 초대합니다.

작성자: bouk | 점수: 56

47.
Physicists turn lead into gold – for a fraction of a second
(Physicists turn lead into gold – for a fraction of a second)

대형 하드론 충돌기(LHC)의 물리학자들이 납 이온을 빛의 속도에 가깝게 충돌시켜 잠깐 동안 납을 금으로 변환하는 실험을 진행했습니다. 이 과정에서 약 1마이크로초 동안 존재하는 일시적인 금 이온이 생성되었습니다. 연구자들은 서로를 향해 납을 쏘았고, 이러한 충돌에서 발생한 에너지가 일부 납 원자핵이 세 개의 양성자를 잃게 하여 금으로 변형되도록 했습니다.

2015년부터 2018년까지 이 실험을 통해 860억 개의 금 원자핵이 생성되었으며, 총량은 약 29 조분의 1그램에 해당합니다. 이 성과는 고대 연금술사들의 꿈을 떠올리게 하지만, 실제로 사용 가능한 양의 금을 만드는 데는 실용적이지 않습니다. 연구 결과는 물리학 저널인 Physical Review에 발표되었습니다.

작성자: Brajeshwar | 점수: 13

48.
Show HN: Hyper – Standards first React alternative
(Show HN: Hyper – Standards first React alternative)

2025년 5월 8일, Hyper가 사용자 인터페이스를 만들기 위한 새로운 마크업 언어로 소개되었습니다. 이 언어는 표준과 단순성을 강조합니다. 주요 내용은 다음과 같습니다.

Hyper의 핵심 원칙은 표준을 우선시하는 것입니다. Hyper는 구조를 위해 HTML을, 스타일링을 위해 CSS를, 기능을 위해 JavaScript를 따릅니다. 또한, UI 구성의 단순성을 목표로 하여 복잡성을 최소화합니다. 디자인 요소는 분리되어 관리가 용이하며, 애플리케이션이 복잡해져도 단순함을 유지합니다.

React와 비교할 때, React는 논리, 구조, 스타일링을 혼합하여 복잡한 코드를 생성합니다. 반면 Hyper는 더 간단하고 표준에 초점을 맞춘 대안이 되기를 목표로 합니다. Hyper의 컴포넌트는 현대적이고 전통적인 React 구현에 비해 더 깔끔하고 크기가 작습니다.

디자인 유연성 측면에서 Hyper는 중앙 집중식 CSS 파일을 사용하여 컴포넌트 코드를 변경하지 않고도 쉽게 디자인을 수정할 수 있습니다. 반면 React는 여러 파일에 걸쳐 광범위한 변경이 필요할 때가 많습니다.

Hyper 애플리케이션은 가볍고 확장할 때도 단순함을 유지합니다. 이는 React 애플리케이션이 종종 더 무겁고 복잡해지는 것과 대조적입니다.

Hyper는 성능과 표준 지원을 개선하기 위해 Bun을 사용합니다. 개발자들은 Hyper를 쉽게 설치하고 사용할 수 있습니다.

향후 계획으로는 Hyper가 몇 달 내에 풀스택 애플리케이션 기능과 AI 지원 UI 생성을 제공할 예정입니다.

Hyper는 개발 과정에서 기여와 피드백을 환영하며, 핵심 원칙을 유지하는 데 중점을 두고 있습니다. 전반적으로 Hyper는 웹 개발에 있어 더 단순하고 표준 기반의 접근 방식을 되살리려 하며, React와 같은 프레임워크에서 자주 발생하는 복잡성에 도전하고자 합니다.

작성자: tipiirai | 점수: 40

49.
Let's be real about dependencies
(Let's be real about dependencies)

저자는 소프트웨어 의존성 문제에 대해 이야기하며, 특히 Rust 커뮤니티에서 많은 프로젝트가 수많은 라이브러리(크레이트)에 의존하고 있다는 점을 지적합니다. 이는 흔히 제기되는 불만이지만, 저자는 이러한 문제는 Rust에만 국한되지 않으며 C/C++ 환경에서도 의존성 관리가 어렵다고 주장합니다.

저자는 C++ 프로그램인 RViz의 의존성을 살펴보며, 이 프로그램이 많은 동적 라이브러리에 의존하고 있음을 보여줍니다. 일부 라이브러리는 예상할 수 있지만, 다른 라이브러리는 불필요하거나 혼란스러워 보인다고 언급합니다. 이러한 프로그램을 구축하는 복잡성은 부담스럽고 실망감을 줄 수 있습니다.

저자는 Evolution, OBS Studio, VLC와 같은 다른 비단순 C/C++ 프로그램을 탐구하며, 대규모 프로그램일수록 의존성이 많다는 점을 지적합니다. 예를 들어, VLC는 모듈형 설계 덕분에 관리 가능한 수의 의존성을 가지고 있습니다.

저자는 GUI 프로그램이 복잡성 때문에 더 많은 의존성을 가지는 경향이 있다고 관찰합니다. 또한 lighttpd와 debfoster와 같은 명령줄 도구를 테스트해보며, 간단한 도구조차도 예상치 못한 의존성을 가질 수 있음을 발견합니다.

저자는 dash 셸과 같은 작은 프로젝트를 살펴보며, 이 프로젝트는 의존성이 훨씬 적다는 점을 강조합니다. 이는 간단한 비GUI 도구를 작성할 경우 복잡성이 줄어드는 경향이 있음을 시사합니다.

저자는 의존성 관리가 Rust나 JavaScript에 국한되지 않고 모든 프로그래밍 언어에서 널리 퍼져 있는 문제라고 결론짓습니다. 리눅스 패키지 관리자가 이러한 복잡성을 숨기기는 하지만, 프로그래머에게는 부담이 될 수 있다고 언급합니다. 현대의 패키지 관리자(예: Go의 패키지 관리자)는 빌드 과정에서 모든 의존성을 제어하여 의존성 관리를 단순화하려고 하며, 의존성을 처리하기 위한 세 가지 주요 전략을 제안합니다. 첫째, 컴퓨터의 모든 소프트웨어를 제어하는 것. 둘째, 빌드 과정의 일환으로 의존성을 관리하는 것. 셋째, 가능한 한 많은 코드를 작성하고 벤더링하는 것입니다.

저자는 의존성 관리를 개선하고 소프트웨어 개발의 복잡성을 줄이기 위한 새로운 해결책을 탐구할 것을 권장합니다.

작성자: itzlambda | 점수: 15

50.
First American pope elected and will be known as Pope Leo XIV
(First American pope elected and will be known as Pope Leo XIV)

로버트 프레보스트 추기경이 첫 번째 미국인 교황으로 선출되어 교황 레오 14세라는 이름을 받았습니다. 그는 성 베드로 대성당에서 많은 군중을 대상으로 연설하며 평화의 중요성을 강조하고 고(故) 프란치스코 교황을 기렸습니다.

69세의 레오 14세 교황은 시카고 출신으로, 특히 남미에서 선교사로 활동한 경험이 풍부합니다. 그는 미국과 페루의 이중 국적을 가지고 있으며, 이전에는 주교 임명을 담당하는 바티칸의 주요 사무소를 이끌었습니다. 그는 프란치스코 교황이 시작한 개혁을 계속 이어갈 것으로 기대됩니다.

레오 14세 교황의 선출 소식은 도널드 트럼프 미국 대통령을 포함한 세계 각국의 지도자들로부터 축하를 받았으며, 트럼프 대통령은 이를 미국에 대한 중요한 영예로 언급했습니다.

작성자: saikatsg | 점수: 575

51.
Static as a Server
(Static as a Server)

이 블로그에서는 React Server Components(RSC)를 활용하여 전통적인 서버 없이 정적 웹사이트를 만드는 방법에 대해 설명합니다. 이를 통해 Cloudflare와 같은 플랫폼에서 무료로 호스팅할 수 있습니다.

현대 프레임워크는 "정적"과 "서버" 출력을 모두 지원할 수 있어 개발자들이 웹사이트를 더 쉽게 만들 수 있습니다. 이러한 유연성 덕분에 정적 사이트를 구축한 후 필요에 따라 동적 서버 기능을 추가할 수 있습니다.

하이브리드 프레임워크를 사용하면 여러 도구와 생태계의 필요성이 줄어듭니다. 개발자는 각 페이지를 정적 또는 서버 방식으로 렌더링하는 방법을 필요에 따라 선택할 수 있습니다.

저자의 블로그는 Next.js로 구축되었으며, 기본적으로 정적 사이트 생성을 지원합니다. 블로그의 콘텐츠는 빌드 시점에 생성되며, 이는 서버 측 코드가 사이트 배포 시 실행되고 사용자 요청 시에는 실행되지 않음을 의미합니다.

"React Server Components"라는 용어는 오해를 불러일으킬 수 있습니다. 이들은 정적 환경에서도 작동할 수 있기 때문입니다. 저자는 정적 사이트가 배포 과정에서 올바르게 처리되면 서버 렌더링된 사이트처럼 효과적으로 기능할 수 있다고 강조합니다.

이 블로그는 웹 개발에서 유연성과 효율성을 위해 하이브리드 프레임워크를 사용하는 이점을 강조하며, 서버 측 기술을 활용하여 정적 사이트를 구축하는 방법을 보여줍니다.

작성자: danabramov | 점수: 111

52.
Egyptologist uncovers hidden messages on Paris’s iconic obelisk
(Egyptologist uncovers hidden messages on Paris’s iconic obelisk)

이집트학자 장-기욤 올레트-펠레티에가 파리의 룩소르 오벨리스크에서 '암호 상형 문자'라고 불리는 일곱 개의 비밀 메시지를 발견했습니다. 이 오벨리스크는 3,000년이 넘는 역사를 가지고 있으며, 원래 이집트의 람세스 2세에 의해 세워졌습니다. 팬데믹 기간 동안 올레트-펠레티에는 산책 중에 이상한 비문을 발견하고, 이후 보수 작업 중에 이 기념물을 자세히 연구할 수 있는 허가를 받았습니다.

암호 상형 문자는 고대 이집트의 엘리트만 이해할 수 있는 복잡한 글쓰기입니다. 올레트-펠레티에의 연구 결과에 따르면, 이 메시지는 람세스 2세의 신성한 지위를 강화하고 엘리트들에게 그의 권력을 상기시키기 위해 작성된 것으로 보입니다. 오벨리스크에는 람세스가 신들에게 제물을 바치는 모습이 그려져 있으며, 이는 중요한 축제를 위해 배로 도착하는 귀족들이 볼 수 있도록 설계되었습니다.

이번 발견은 이집트학 분야에서 여전히 배울 것이 많다는 점을 강조합니다. 올레트-펠레티에의 연구 결과는 올해 말 프랑스의 한 학술지에 발표될 예정입니다.

작성자: isaacfrond | 점수: 109

53.
No! Repent! From! Harlan! (1998)
(No! Repent! From! Harlan! (1998))

요약이 없습니다.

작성자: Michelangelo11 | 점수: 22

54.
Block Diffusion: Interpolating Autoregressive and Diffusion Language Models
(Block Diffusion: Interpolating Autoregressive and Diffusion Language Models)

확산 언어 모델은 자기 회귀 모델에 비해 출력 생성 속도가 빠르고 생성 과정을 제어할 수 있는 장점이 있습니다. 그러나 이 모델들은 가능성 모델링에 어려움을 겪으며 고정 길이의 출력만 생성할 수 있습니다.

이 연구에서는 블록 확산 언어 모델이라는 새로운 유형의 모델을 제안합니다. 이 모델은 확산 모델과 자기 회귀 모델의 요소를 결합하여 두 모델의 주요 문제를 해결합니다. 블록 확산 모델은 유연한 길이의 출력을 허용하고 KV 캐싱 및 병렬 토큰 샘플링과 같은 기술을 통해 속도를 개선합니다.

효과적인 블록 확산 모델을 만드는 방법도 제시합니다. 여기에는 빠른 훈련 과정, 기울기 분산을 추정하는 기술, 데이터 기반의 노이즈 스케줄을 통해 분산을 줄이는 방법이 포함됩니다. 그 결과, 블록 확산 모델은 언어 모델링 벤치마크에서 최고의 성능을 달성하며, 어떤 길이의 시퀀스도 생성할 수 있습니다.

작성자: t55 | 점수: 67

55.
Users advised to review Oracle Java use as Big Red's year end approaches
(Users advised to review Oracle Java use as Big Red's year end approaches)

전문가들은 오라클이 회계 연도 말이 다가오면서 자바 사용자에 대한 감사 활동을 더욱 강화할 가능성이 있다고 경고하고 있습니다. 이는 오라클이 직원 수에 따라 라이선스를 부과하는 모델로 전환하면서 많은 고객에게 가격이 최대 다섯 배까지 인상된 데 따른 것입니다.

2018년에 유료 구독 모델을 도입하고 2023년에 직원 수 기반 가격으로 변경한 이후, 오라클은 전 세계적으로 감사 활동을 강화하고 있습니다. 기업들은 오라클과 계속 거래할지, 아니면 대안을 고려할지를 평가해야 하며, 특히 많은 기존 계약이 5월 말에 갱신될 예정입니다.

일부 고객들은 이전 가격을 유지하기 위해 성공적으로 협상했지만, 전문가들은 기업들이 라이선스 문제를 피하기 위해 OpenJDK와 같은 오픈 소스 대안으로 전환할 준비를 할 것을 권장합니다. 규정을 준수하는 조직은 오라클의 영업팀과의 접촉에 신중해야 하며, 그들의 접근에 응답하는 것은 서비스 필요성을 암시할 수 있습니다.

전반적으로 자바 사용자들 사이에서 오라클을 떠나려는 움직임이 증가하고 있으며, 최근 보고서에 따르면 대안을 찾고 있는 비율이 72%에서 88%로 증가했습니다.

작성자: rntn | 점수: 5

56.
Show HN: Using eBPF to see through encryption without a proxy
(Show HN: Using eBPF to see through encryption without a proxy)

Qtap은 리눅스 커널에서 트래픽을 모니터링하기 위해 설계된 eBPF 에이전트입니다. 이 도구는 TLS/SSL 기능을 통해 흐르는 데이터를 캡처하여, 애플리케이션을 수정하거나 프록시를 설치하거나 인증서를 관리할 필요 없이 네트워크 트래픽을 볼 수 있게 해줍니다. 주요 기능은 다음과 같습니다.

Qtap은 송수신된 데이터를 원래의 암호화되지 않은 형태로 보여주며, 애플리케이션 성능에 영향을 주지 않고 작동합니다. 사용 사례로는 보안 감사, 네트워크 문제 식별, API 개발, 타사 서비스와의 데이터 교환 확인, 프로토콜 이해를 위한 학습, 문서화가 부족한 레거시 시스템 분석, 애플리케이션 변경이 네트워크 통신 패턴에 영향을 미치지 않는지 확인하는 검증 테스트 등이 있습니다.

시작하는 방법으로는 데모 모드를 통해 사용자가 쉽게 Qtap을 테스트할 수 있으며, 호환되는 리눅스 시스템(커널 5.10 이상, eBPF 활성화)에서 빠르게 설치하고 실행할 수 있습니다.

Qtap은 현재 초기 개발 단계에 있으며, 팀은 피드백과 기여를 환영합니다. 이 프로젝트는 오픈 소스 사용을 위한 AGPLv3.0 라이선스와 상업적 애플리케이션을 위한 상업적 라이선스가 적용됩니다. 더 많은 정보는 프로젝트 웹사이트나 GitHub 저장소를 방문해 확인할 수 있습니다.

작성자: tylerflint | 점수: 246

57.
Throwaway Code: Don't recycle, throw it away (2017)
(Throwaway Code: Don't recycle, throw it away (2017))

"버려야 할 코드: 재사용하지 말고 버리세요!"라는 블로그 글에서는 모든 코드를 재사용할 필요는 없다는 점을 강조합니다. 오래된 코드를 수정하거나 고치려 하기보다는 새로운 코드로 처음부터 시작하는 것이 더 나을 수 있습니다. 이러한 접근 방식은 더 깔끔하고 효율적인 프로그래밍으로 이어질 수 있습니다. 저자는 프로그래머들에게 불필요한 오래된 코드를 고치려 하지 말고 과감히 버리라고 권장합니다.

작성자: sails | 점수: 23

58.
The dark side of account bans
(The dark side of account bans)

이 글은 페이스북, 인스타그램, 왓츠앱과 같은 플랫폼에서의 계정 정지 문제를 다루고 있으며, 저자 개인의 경험을 중심으로 설명하고 있습니다. 소프트웨어 엔지니어이자 마인크래프트 모드 개발자인 매디 밀러는 익명의 위협을 받은 후 모든 메타 서비스에서 계정이 정지되었습니다. 그녀는 지원 비용을 지불하고 지인들에게 도움을 요청하는 등 여러 노력을 했지만, 결국 트윗을 통해서만 계정을 되찾을 수 있었습니다.

계정 정지의 영향은 매우 큽니다. 이러한 플랫폼에 접근할 수 없게 되면서 저자는 친구들과 소통하고, 식당 메뉴와 같은 정보를 얻으며, 사회적 행사에 참여하는 데 큰 어려움을 겪었습니다. 이는 이러한 플랫폼이 일상생활에서 얼마나 중요한 역할을 하는지를 보여줍니다.

계정 정지 문제는 메타에만 국한되지 않으며, 다양한 플랫폼에서 많은 사용자에게 영향을 미칩니다. 많은 사람들이 단일 로그인 서비스를 사용하고 있기 때문에 하나의 계정을 잃으면 다른 서비스에도 접근할 수 없게 됩니다.

저자는 주요 기업들이 계정 복구를 위한 고객 지원을 제대로 제공하지 않는 경우가 많다고 지적합니다. 이로 인해 사용자들은 혼란스럽고 무력감을 느끼게 됩니다. 많은 피해자들은 항소 절차를 이해할 기술적 지식이 부족할 수 있습니다.

이 글은 기업들이 사회 구조에 깊이 뿌리내린 만큼 더 나은 책임감과 지원을 제공해야 한다고 촉구합니다. 계정 정지는 개인의 삶에 큰 영향을 미칠 수 있기 때문입니다. 저자는 온라인 계정을 잃는 것이 얼마나 쉽게 일어날 수 있는지, 그리고 특히 기술에 익숙하지 않은 사람들에게 그것을 회복하는 것이 얼마나 어려운지를 되새깁니다.

작성자: ponco | 점수: 105

59.
Stability by Design
(Stability by Design)

OneHappyFellow1의 트윗은 동적 타입 언어를 사용하는 프로그래머들이 흔히 겪는 걱정을 강조합니다. 라이브러리의 변경이나 소규모 버전 업그레이드가 코드에 어떤 영향을 미칠지에 대한 불확실성입니다. 주로 Clojure를 사용하는 저자는 Clojure 생태계가 안정성으로 잘 알려져 있어 이러한 걱정과는 대조적이라고 주장합니다.

이 주장을 뒷받침하기 위해 저자는 Clojurians Slack에서의 논의를 언급합니다. 많은 사용자들이 Clojure의 안정성을 칭찬하고 있습니다. Clojure와 Scala의 코드 도입 및 유지에 대한 차트를 보면 Clojure 라이브러리가 안정적인 코드베이스를 유지하고 있다는 것을 알 수 있습니다. 또한 저자는 자신의 라이브러리인 Fusebox에 대한 개인적인 경험을 공유하며, 커뮤니티가 잠재적으로 파괴적인 변경보다 호환성을 유지하는 것을 우선시했다고 설명합니다.

저자는 Clojure가 독특한 이유는 일반적으로 파괴적인 변경을 초래하는 문제를 피하면서 안정성을 강조하기 때문이라고 말합니다. 예를 들어, 함수 이름을 바꾸거나 메서드 시그니처를 변경하는 것을 피합니다. 기존 기능을 변경하는 대신, 개발자들은 개선이 필요할 때 새로운 함수나 라이브러리를 만듭니다. 이러한 접근 방식은 더 안정적인 생태계를 조성합니다.

결국 Clojure 라이브러리의 안정성에 기여하는 주요 이유는 다음과 같습니다. 함수와 데이터 구조의 이름을 바꾸지 않기, 함수의 입력 요구 사항을 늘리거나 출력량을 줄이지 않기, 사용자에게 혼란을 최소화하는 신중한 개발 접근 방식을 강조하기입니다.

저자는 정적 타입이 일부 장점을 제공할 수 있지만, 진짜 문제는 라이브러리가 변경을 관리하는 방식에 있다고 주장합니다. 사용자 경험을 우선시하는 원칙을 준수함으로써 Clojure 라이브러리는 안정성을 유지하고 개발자들이 업그레이드 시 겪는 어려움을 줄일 수 있습니다.

작성자: potetm | 점수: 116

60.
Prepare your apps for Google Play's 16 KB page size compatibility requirement
(Prepare your apps for Google Play's 16 KB page size compatibility requirement)

요약이 없습니다.

작성자: ingve | 점수: 78

61.
Ask HN: What are good high-information density UIs (screenshots, apps, sites)?
(Ask HN: What are good high-information density UIs (screenshots, apps, sites)?)

요약이 없습니다.

작성자: troupo | 점수: 460

62.
How to harden GitHub Actions
(How to harden GitHub Actions)

지난 3년 동안 연구자들은 GitHub Actions와 관련된 중요한 보안 위험을 확인했습니다. 특히 최근 두 건의 사건이 이를 부각시켰습니다.

첫 번째 사건은 12월에 발생한 공급망 공격으로, 취약한 GitHub Actions 워크플로를 통해 인기 있는 파이썬 패키지에 암호화폐 채굴기가 삽입되었습니다. 두 번째 사건은 3월에 발생했으며, 공격자가 일반적인 취약점을 이용해 여러 저장소를 침해하여 워크플로에 해로운 변경을 가하고 민감한 자격 증명에 접근했습니다.

GitHub Actions는 코드 빌드 및 배포와 같은 작업을 자동화하는 도구입니다. 워크플로는 YAML 파일에 정의된 자동화된 작업의 순서를 의미하며, 액션은 특정 작업을 수행하는 재사용 가능한 단위입니다. 잡은 워크플로 내에서 작업을 실행하는 단위입니다.

보안을 강화하기 위한 몇 가지 권장 사항이 있습니다. 먼저, 워크플로를 읽기 전용 권한으로 설정하여 무단 수정을 방지해야 합니다. 신뢰할 수 있는 출처의 검증된 액션만 사용하고 허용 목록을 유지하는 것이 중요합니다. 또한, 워크플로의 채택을 제한하고 자체 호스팅 러너를 신중하게 사용해야 합니다. 무단 변경을 방지하기 위해 워크플로가 풀 요청을 생성하거나 승인하는 것을 허용하지 않는 것이 좋습니다.

브랜치 보호 규칙을 구현하여 신뢰할 수 있는 코드만 메인 브랜치에 병합되도록 하고, 승인 후 악의적인 변경을 방지하는 옵션을 사용하는 것이 필요합니다. 비밀 관리에 있어서는 토큰과 자격 증명과 같은 비밀 정보를 신중하게 다루고, 저장소 수준의 비밀을 사용하며 필요한 작업에만 접근을 제한해야 합니다.

워크플로 작성 시에는 권한을 신중하게 관리하고 적절한 검증 없이 서드파티 액션을 사용하지 않아야 합니다. 일관성과 보안을 위해 해시 핀닝을 사용하는 것이 좋습니다. 일반적인 취약점으로는 신뢰할 수 없는 입력이 특권 워크플로에 도달하는 경우와 사용자 제어 입력이 검증 없이 워크플로에 사용되는 명령 주입이 있습니다.

러너 보안 측면에서는 안전을 위해 GitHub 호스팅 러너를 사용하는 것이 좋지만, 자체 호스팅 러너를 사용해야 할 경우에는 이를 격리하고 침해 여부를 모니터링해야 합니다.

마지막으로, 서드파티 액션 사용을 제한하고 권한을 최소화하며, 정기적으로 워크플로를 감사하여 보안 취약점을 점검하는 것이 중요합니다. 오픈 소스 도구를 활용하여 보안 관행을 개선할 수 있습니다. 이러한 지침을 따르면 조직은 GitHub Actions 사용 시 보안 태세를 강화할 수 있습니다.

작성자: moyer | 점수: 209

63.
John S. Foster Jr., Pentagon scientist who developed warheads, dies at 102
(John S. Foster Jr., Pentagon scientist who developed warheads, dies at 102)

요약이 없습니다.

작성자: bookofjoe | 점수: 6

64.
My stackoverflow question was closed so here's a blog post about CoreWCF
(My stackoverflow question was closed so here's a blog post about CoreWCF)

요약이 없습니다.

작성자: eterm | 점수: 116

65.
Mass spectrometry method identifies pathogens within minutes instead of days
(Mass spectrometry method identifies pathogens within minutes instead of days)

요약이 없습니다.

작성자: pseudolus | 점수: 133

66.
Cogentcore: Open-source framework for building multi-platform apps with Go
(Cogentcore: Open-source framework for building multi-platform apps with Go)

Cogent Core는 무료 오픈소스 프레임워크로, macOS, Windows, Linux, iOS, Android, 웹 등 다양한 플랫폼에서 빠르고 세련된 2D 및 3D 애플리케이션을 만들 수 있도록 도와줍니다. 이 모든 작업은 단일 Go 코드베이스를 사용하여 이루어지므로 "한 번 코딩하면 어디서나 실행할 수 있습니다." 더 많은 정보와 문서, 예제는 Cogent Core 웹사이트에서 확인할 수 있으며, 이 웹사이트 또한 Cogent Core 기술로 만들어졌습니다. 개발을 시작하기 전에 웹사이트의 설치 지침을 반드시 따라야 합니다. 이 프로젝트는 Cogent Core의 개선을 지원하는 October Swimmer와 같은 후원자들에 의해 지원받고 있습니다.

작성자: kristianp | 점수: 32

67.
AI focused on brain regions recreates what you're looking at (2024)
(AI focused on brain regions recreates what you're looking at (2024))

새로운 인공지능이 사람의 뇌 활동을 분석하여 그들이 보고 있는 것의 매우 정확한 이미지를 생성할 수 있습니다. 이 인공지능은 뇌의 특정 영역에 집중할 때 정확도가 크게 향상됩니다. 라드바우드 대학교의 우무트 귀클루에 따르면, 이러한 이미지 재구성은 지금까지 달성된 것 중 가장 정밀한 것들 중 하나입니다.

작성자: openquery | 점수: 73

68.
Mathematical Problem Solving
(Mathematical Problem Solving)

요약이 없습니다.

작성자: ibobev | 점수: 89

69.
Doge software engineer's computer infected by info-stealing malware
(Doge software engineer's computer infected by info-stealing malware)

사이버 보안 및 인프라 보안 기관(CISA)과 DOGE에서 일하는 소프트웨어 엔지니어 카일 슈트가 정보 도용 악성코드에 감염된 것으로 알려졌다. 이 악성코드는 2023년 이후 그의 로그인 정보가 여러 차례 유출되었음을 보여주며, 그의 기기가 해킹당했을 가능성이 있다.

슈트는 연방 비상 관리청(FEMA)의 민감한 재무 관리 소프트웨어에 접근했으며, 만약 그가 업무에 동일한 비밀번호를 사용했다면 공격자들이 정부의 민감한 정보에 접근했을 가능성이 있다. 그의 로그인 정보는 수백만 명의 사용자에게 영향을 미친 주요 데이터 유출 사건에서도 발견되었다.

전문가들은 이러한 유출이 그의 로그인 정보가 유출되었음을 나타내지만, 반드시 약한 비밀번호를 사용했다는 의미는 아니라고 설명한다. 그러나 그의 정보가 반복적으로 노출된 것은 그의 기관 내에서 보안 실패가 있을 수 있다는 우려를 불러일으킨다. 비판자들은 DOGE 내에서 다른 운영 보안 문제를 지적하며 심각한 보안 허점이 있을 수 있다고 주장하고 있다.

CISA와 국토안보부는 이 문제에 대한 확인 요청에 아직 응답하지 않았다.

작성자: lysp | 점수: 243

70.
ALICE detects the conversion of lead into gold at the Large Hadron Collider
(ALICE detects the conversion of lead into gold at the Large Hadron Collider)

요약이 없습니다.

작성자: pseudolus | 점수: 4

71.
Verification, the Key to AI (2001)
(Verification, the Key to AI (2001))

요약이 없습니다.

작성자: anjneymidha | 점수: 34

72.
When Abandoned Mines Collapse
(When Abandoned Mines Collapse)

2024년 12월, 뉴저지의 I-80 도로에서 대규모 싱크홀이 발생해 심각한 교통 혼잡을 초래했습니다. 2025년 2월과 3월에도 유사한 사건이 발생하였고, 이에 대한 조사가 진행되었습니다. 조사 결과, 문제의 원인은 100년 이상 방치된 지하 철광산으로 밝혀졌습니다. 이 광산들은 적절한 문서화와 관리가 이루어지지 않아, 붕괴될 경우 위험한 지반 침하를 초래할 수 있습니다.

역사적으로 광업은 산업 혁명 당시 석탄 수요 증가로 인해 표면 채굴에서 지하 채굴로 발전해왔습니다. 그러나 초기의 채굴 방식은 광산의 장기적인 안전성을 고려하지 않았기 때문에, 방치된 채굴 현장은 시간이 지나면서 침수되거나 침식될 수 있습니다. 이로 인해 지면이 가라앉거나 싱크홀이 형성되어 주택과 기반 시설에 영향을 미칠 수 있습니다.

문제를 더욱 복잡하게 만드는 것은, 토지 소유권과 광물 소유권이 종종 분리되어 있어 피해에 대한 책임을 묻기 어렵다는 점입니다. 현대의 채굴 방식은 지반 침하 위험을 줄이기 위해 노력하고 있지만, 긴벽 채굴과 같은 방법은 여전히 불가피한 지표 붕괴를 초래할 수 있습니다.

이러한 문제를 관리하기 위해 엔지니어들은 다양한 기술을 사용하여 지반 침하를 예측하고 측정하며, 피해 지역을 복구하기 위한 노력도 기울이고 있습니다. 채굴 기술이 발전했지만, 자원 채굴과 안전, 환경 문제 간의 균형을 맞추는 데 여전히 어려움이 남아 있습니다.

작성자: impish9208 | 점수: 214

73.
A romance scam compound–and how people get tricked into being there
(A romance scam compound–and how people get tricked into being there)

이 기사는 "돼지 도살" 사기, 즉 사기꾼들이 가짜 연애 관계를 형성해 피해자에게 돈을 보내도록 유도하는 온라인 사기의 증가에 대해 다루고 있습니다. 이러한 사기는 주로 동남아시아, 특히 미얀마의 범죄 조직에 의해 운영되며, 점점 더 정교해지고 있습니다. 사기꾼들은 페이스북, 왓츠앱, 그리고 암호화폐와 같은 플랫폼을 이용해 피해자를 모집하고 돈세탁을 합니다.

가베시라는 피해자는 페이스북에서 높은 급여를 약속하는 가짜 구인 광고에 유인된 자신의 이야기를 공유합니다. 그러나 그는 결국 사기 단체의 시설에 갇혀, 혹독한 조건에서 긴 시간 동안 일해야 했고, 목표를 달성하지 못하면 폭력에 시달리기도 했습니다. 그는 이 시설을 회사와 감옥이 혼합된 곳으로 묘사하며, 근로자들이 엄격하게 통제되고 감시받았다고 전했습니다.

이 기사는 이러한 사기를 가능하게 하는 빅테크 기업의 역할을 강조합니다. 소셜 미디어 플랫폼과 메신저 앱이 피해자를 모집하고 연결하는 데 자주 사용되기 때문입니다. 문제를 인식하고 사기 계정을 삭제하려는 노력에도 불구하고, 전문가들은 기술 기업들이 이러한 악용을 방지하기 위해 보다 적극적인 조치를 취해야 한다고 주장합니다.

이 사기로 인해 전 세계적으로 수십억 달러의 재정적 손실이 발생했으며, 가베시와 같은 많은 피해자들은 트라우마에서 회복하는 데 어려움을 겪고 있습니다. 이 기사는 이러한 범죄 네트워크를 해체하고 취약한 개인을 보호하기 위해 기술 기업들이 더 강력한 규제와 조치를 취해야 한다는 필요성을 강조합니다.

작성자: insane_dreamer | 점수: 15

74.
Notes on rolling out Cursor and Claude Code
(Notes on rolling out Cursor and Claude Code)

요약이 없습니다.

작성자: jermaustin1 | 점수: 183

75.
The Rise and Fall of the Visual Telegraph (2017)
(The Rise and Fall of the Visual Telegraph (2017))

이 블로그 글은 18세기 후반 클로드 샤프가 발명한 시각 전신의 역사에 대해 다루고 있습니다. 샤프는 장거리 통신의 필요성에 의해 영감을 받아, 움직이는 팔을 가진 여러 개의 타워를 이용해 메시지를 전달하는 광학 전신 시스템을 개발했습니다. 이 시스템은 1793년에 성공적으로 시연되었고, 나폴레옹 보나파르트의 지휘 아래에서 군사 활동에 대한 업데이트를 받기 위해 더 많은 전신선이 필요해지면서 빠르게 확산되었습니다.

샤프는 자신의 발명품에 대한 공로를 주장하는 경쟁자들과의 갈등 등 여러 어려움에 직면했습니다. 안타깝게도 그는 1805년에 자살로 생을 마감했습니다. 광학 전신은 1852년 전기 전신으로 대체될 때까지 사용되었습니다. 오늘날에도 샤프의 타워 중 일부가 남아 있으며, 파리에는 그를 기리기 위한 기념물이 있습니다. 이 글은 샤프가 통신 기술에 기여한 중요한 업적과 그의 지속적인 유산을 강조하고 있습니다.

작성자: geox | 점수: 36

76.
DNA is maybe 60-750MB of data
(DNA is maybe 60-750MB of data)

이 기사는 인간 DNA에 포함된 정보의 양을 다루고 있습니다. 인간 DNA는 약 31억 개의 염기쌍으로 구성되어 있으며, 이들은 네 가지 값(A, T, C, G)을 나타낼 수 있습니다. 이를 통해 초기 추정치는 약 62억 비트의 정보량에 해당합니다. 그러나 여러 가지 복잡한 요소가 존재합니다.

첫째, 인간은 각 염색체의 두 가지 버전을 가지고 있습니다. 하나는 아버지로부터, 다른 하나는 어머니로부터 유래합니다. 둘째, 대부분의 인간 DNA는 거의 동일하여 "정보"로 간주해야 할 것이 무엇인지에 대한 의문이 제기됩니다. 셋째, DNA는 압축이 가능하여 정보 측정 방식이 복잡해집니다. 넷째, 모든 DNA 조각이 기능적이거나 유용한 것은 아니어서 "정보"를 정의하는 데 추가적인 복잡성이 발생합니다.

기사는 "정보"의 다양한 정의를 논의합니다. 여기에는 저장 공간(얼마나 많은 데이터를 저장할 수 있는지)과 압축(데이터 크기를 최소화하는 방법)이 포함됩니다. 이론적으로 DNA는 방대한 양의 데이터를 저장할 수 있지만, 유전적 유사성과 반복되는 서열로 인해 실제로 사용할 수 있는 정보는 더 적습니다.

압축 알고리즘을 사용하면 DNA 데이터를 상당히 줄일 수 있으며, 가장 좋은 추정치는 사용된 방법에 따라 1억 2천만 비트에서 46억 비트 사이로 제시됩니다.

DNA의 복잡성은 그 기능에도 영향을 미칩니다. 약 1%만이 단백질을 암호화하고, 나머지는 다양한 조절 역할을 하거나 아직 알려지지 않은 기능을 가질 수 있습니다. 기사는 DNA의 "정보 내용"을 정의하는 것이 여전히 불확실하다고 결론짓습니다. 제안된 "표현형 콜모고로프 복잡성"은 상당량의 DNA가 불필요할 수 있다고 제시하며, 필수 정보량이 60MB에서 750MB 사이일 것으로 추정하지만, 이는 여전히 추측에 불과합니다.

작성자: MattSayar | 점수: 49

77.
A Brief History of Cursor's Tab-Completion
(A Brief History of Cursor's Tab-Completion)

이 글은 Cursor의 탭 완성 기능의 역사와 특히 탭 완성 모델인 Babble의 인수에 대해 다룹니다.

주요 내용으로는 2018년에 Jacob Jackson이 만든 TabNine이 최초의 코드 완성 도구 중 하나로, 이후 Babble로 발전했다는 점이 있습니다. Babble은 훈련을 위해 편집 시퀀스를 사용하여 전통적인 방법보다 더 효과적입니다. 2024년에 Cursor가 Babble을 인수하면서 큰 이점을 얻었습니다. Babble은 100만의 높은 컨텍스트 윈도우와 경쟁사보다 빠른 속도를 자랑했습니다.

Cursor의 모델은 이전에 성능이 뒤처져 있었지만, Babble의 인수로 인해 대규모 고객 기반에서 데이터를 활용할 수 있게 되어 탭 완성 기능이 향상되었습니다. Cursor와 Jacob Jackson 간의 협력은 이전의 인연 덕분에 원활하게 이루어져, 인수가 전략적으로 잘 맞아떨어졌습니다.

이러한 인수로 Cursor는 AI 기반 코딩 지원 분야의 선두주자로 자리매김하게 되었습니다.

작성자: josvdwest | 점수: 38

78.
For better or for worse, the overload (2024)
(For better or for worse, the overload (2024))

이 글에서는 C++에서의 오버로드 해상도와 암묵적 변환 시퀀스에 대해 다루고 있습니다. 저자는 타입 변환의 중요성과 함수 오버로드를 해결할 때 어떤 변환이 선호되는지를 이해하는 것이 얼마나 중요한지를 반영합니다.

첫 번째로, 암묵적 변환 시퀀스에 대해 설명합니다. 이는 한 타입을 다른 타입으로 변환하는 과정으로, 표준 변환과 사용자 정의 변환을 포함할 수 있습니다. 저자는 lvalue에서 rvalue로의 변환이나 배열에서 포인터로의 변환과 같은 여러 표준 변환에 중점을 둡니다.

두 번째로, 자격 변환에 대해 설명합니다. constvolatile 같은 자격자가 타입 변환에 미치는 영향을 다루며, 한 타입이 다른 타입으로 변환될 수 있는지를 판단하기 위해 cv-자격 서명을 소개합니다.

세 번째로, 오버로드 해상도에 대해 설명합니다. 여러 개의 함수가 있을 때, 컴파일러는 각 인수에 대한 암묵적 변환 시퀀스를 평가하여 가장 적합한 함수를 결정합니다. 적합한 함수는 인수의 수가 일치하고, 제약 조건을 충족하며, 암묵적 변환을 허용해야 합니다.

네 번째로, 더 나은 변환 시퀀스에 대한 기준을 정의합니다. 표준 변환이 일반적으로 사용자 정의 변환보다 선호된다는 점을 강조합니다.

마지막으로, 저자는 오버로드 해상도가 어떻게 작동하는지, 그리고 특정 변환이 성공하거나 실패하는 이유를 설명하기 위해 여러 코드 예제를 제시합니다. 저자는 C++의 타입 변환과 오버로드 해상도의 복잡성에 대해 경외감과 동시에 불만을 표현하며, 이 시스템이 견고하지만 제대로 이해하지 않으면 혼란과 오류를 초래할 수 있음을 인정합니다.

작성자: HeliumHydride | 점수: 11

79.
Ty: A fast Python type checker and language server
(Ty: A fast Python type checker and language server)

ty는 Rust로 개발된 빠른 타입 검사기이자 언어 서버로, 현재는 미리 출시된 상태입니다. 이 버전은 버그가 있을 수 있고 기능이 완전하지 않을 수 있습니다.

시작하려면 uv tool install ty 명령어를 사용하여 설치할 수 있습니다. Python 파일이나 프로젝트를 검사하려면 ty check myfile.py 또는 ty check my_project/ 명령어를 사용하고, IDE 통합을 위해 언어 서버를 시작하려면 ty server를 입력하면 됩니다.

질문이 있거나 문제를 보고하려면 프로젝트의 저장소에서 이슈를 열 수 있습니다. 개발은 Ruff 저장소에서 진행되며, 여기서 변경 사항을 제출할 수도 있습니다.

ty는 MIT 라이선스 하에 배포되며, 이는 기여자들도 이 라이선스를 따르게 됨을 의미합니다.

작성자: arathore | 점수: 872

80.
Apple: "millions to billions" lost without App Store commissions
(Apple: "millions to billions" lost without App Store commissions)

애플은 최근 법원이 자사의 앱 스토어에 대한 통제를 제한하고 개발자들이 외부 결제 방법을 사용할 수 있도록 허용하는 판결을 내린 것에 신속하게 대응하고 있다. 애플은 이 판결이 "비상 명령"으로 묘사되며, 이전 법원의 명령을 따르지 않았다는 이유로 처벌받고 있다고 주장하고 있다. 이로 인해 매년 "수억에서 수십억 달러"에 달하는 상당한 재정적 손실이 발생할 것이라고 경고하고 있다.

이 판결은 미국 지방법원 판사인 이본느 곤잘레스 로저스가 내린 것으로, 애플이 반경쟁적인 행동을 했다고 판단하고 이 사건을 형사 고발 가능성에 대해 언급했다. 이에 애플은 판결의 시행을 일시 중지해 달라는 긴급 신청을 제출하며 항소 준비에 들어갔다. 애플은 이미 개발자들이 대체 결제 옵션에 대해 사용자에게 알릴 수 있도록 허용함으로써 이전의 금지 명령을 준수했다고 주장하고 있다. 그러나 새로운 규칙이 앱 스토어 생태계의 신뢰와 무결성을 해친다고 경고하고 있다.

작성자: LorenDB | 점수: 8

81.
Passing Messages
(Passing Messages)

웹사이트에서 찾아볼 수 있는 다양한 콘텐츠나 섹션을 나열하고 있습니다. 여기에는 특집 기사, 특정 주제나 섹션일 수 있는 코드소드, 오류나 문제 해결과 관련된 에러드, 토론을 위한 포럼, 기타 기사, 그리고 랜덤 기사 섹션이 포함됩니다. 이는 사이트에서 제공하는 여러 기사와 포럼에 대한 간단한 개요입니다.

작성자: mifydev | 점수: 21

82.
My new deadline: 20 years to give away virtually all my wealth
(My new deadline: 20 years to give away virtually all my wealth)

요약이 없습니다.

작성자: nrvn | 점수: 615

83.
Using NASA’s SMAP satellite to detect L-band interference
(Using NASA’s SMAP satellite to detect L-band interference)

요약이 없습니다.

작성자: c16 | 점수: 305

84.
AMD GPU Programming in Julia
(AMD GPU Programming in Julia)

이 텍스트는 SearchK라는 플랫폼이나 소프트웨어의 주요 탐색 옵션을 설명합니다. 주요 섹션은 다음과 같습니다.

홈은 메인 페이지입니다. 튜토리얼은 사용자가 배우는 데 도움이 되는 가이드를 제공합니다. 퀵 스타트는 빠르게 시작할 수 있는 방법을 안내합니다. 성능 팁은 성능을 향상시키기 위한 조언을 포함합니다. 프로파일링은 성능 분석을 위한 도구입니다. API는 응용 프로그램 프로그래밍 인터페이스에 대한 정보를 제공합니다. 디바이스 섹션에서는 지원되는 장치에 대한 세부 정보를 확인할 수 있습니다. 스트림은 데이터 스트림 관리에 대한 정보를 제공합니다. 커널 프로그래밍은 커널 내에서 프로그래밍하는 방법에 대한 안내를 포함합니다. 예외 처리 섹션은 시스템에서 오류를 처리하는 방법을 설명합니다. 메모리는 메모리 사용 관리를 다룹니다. 호스트 호출은 호스트와 다른 구성 요소 간의 상호작용을 설명합니다. 프린팅은 정보를 출력하는 옵션을 제공합니다. 인트린식은 시스템에서 제공하는 특별한 기능입니다. 외관은 사용자 인터페이스의 사용자 정의 옵션을 안내합니다.

이 요약은 SearchK의 탐색 구조를 간단하게 정리하며 주요 기능을 강조합니다.

작성자: pxl-th | 점수: 22

85.
Product Purgatory: When they love it but still don't buy
(Product Purgatory: When they love it but still don't buy)

많은 잠재 고객이 제품에 관심을 보이지만 구매로 이어지지 않는 상황을 '제품 연옥'이라고 합니다. 이는 고객이 제품을 진심으로 좋아하지만 구매할 긴급성이 느껴지지 않을 때 발생합니다.

제이슨 코헨은 '마법 지팡이 테스트'를 소개하며, 제품이 매력적이고 무료일지라도 고객이 구매를 거부할 수 있는 이유를 설명합니다. 이는 구현 리스크, 비용, 그리고 업무 중단과 같은 요소 때문입니다. 예를 들어, 이메일 보안 솔루션을 제공하는 스타트업은 명백한 수요가 있었음에도 불구하고, 기업들이 새로운 공급업체와 관련된 위험을 우려하여 제품을 판매하지 못했습니다.

마법 지팡이 테스트를 통과한 제품이라 하더라도, 잠재 구매자에게 우선순위가 아닐 수 있습니다. 고객은 보통 몇 가지 주요 우선사항에 집중하며, 만약 귀하의 제품이 그 중 하나가 아니라면 구매는 미뤄질 것입니다.

제품 연옥을 극복하기 위해서는 기업이 제품에 대한 긴급한 필요를 가진 고객을 파악하고 타겟팅해야 합니다. 이러한 고객은 제품을 전략적으로 중요하게 여기거나, 긴급 상황에 처해 있거나, 경쟁적 또는 재정적 압박을 받고 있는 경우입니다.

결국, 지금 당장 제품이 필요한 적합한 고객을 찾는 것이 판매를 이루고 연옥에서 벗어나는 열쇠입니다. 즉각적인 필요를 가진 특정 타겟 시장에 집중하면 성공적인 판매로 이어질 수 있으며, 다른 많은 고객들도 제품을 유용하게 여길 수 있습니다.

작성자: doppp | 점수: 40

86.
Using Coalton to implement a quantum compiler (2022)
(Using Coalton to implement a quantum compiler (2022))

Coalton은 양자 프로그램을 최적화하는 퀼(Quil) 언어로 작성된 양자 컴파일러인 퀼크(Quilc)의 문제를 해결하기 위해 개발된 엄격한 타입 언어입니다. 퀼크는 동적 타이핑으로 인해 런타임 타입 오류와 같은 여러 가지 문제에 직면해 있습니다. Coalton은 이러한 문제를 해결하고 이산 컴파일이라는 새로운 기능을 도입합니다.

양자 프로그램은 유니타리 행렬로 표현되는 연산으로 구성됩니다. 이러한 행렬은 RX와 CNOT과 같은 제한된 기본 연산 집합에서 구성할 수 있습니다. 양자 컴파일러의 목표는 임의의 행렬을 이러한 기본 연산의 시퀀스로 변환하는 것입니다. 이산 컴파일은 이러한 연산을 유한한 이산 연산 집합으로 근사할 수 있게 해주며, 정확한 재구성이 항상 가능하지 않다는 점을 수용합니다.

저자들은 Neil Ross와 Peter Selinger의 이산 컴파일을 위한 특정 알고리즘에 대해 논의합니다. 이 방법은 클리포드+T 집합이라고 불리는 이산 연산 집합을 사용하여 양자 연산을 근사할 수 있게 해줍니다. 이 알고리즘은 특정 연산을 이산화하기 위해 복잡한 수학적 조작을 포함하며, 양자 컴퓨팅에 효율적입니다.

Coalton은 Ross-Selinger 알고리즘의 구현을 단순화하여 다양한 수학적 타입을 쉽게 처리할 수 있게 합니다. 이 시스템은 서로 다른 숫자 체계에서 연산을 관리하기 위해 타입 클래스를 사용하여 복잡한 산술 연산을 보다 쉽고 안전하게 수행할 수 있도록 합니다.

Coalton의 기능 덕분에 퀼크는 이제 양자 프로그램에 대한 이산 컴파일을 지원하며, 클리포드+T 집합만을 수용하는 플랫폼을 위해 컴파일할 수 있습니다. 사용자는 관련 모듈을 간단히 로드하여 이 기능을 활성화할 수 있습니다.

컴파일러는 특정 연산을 근사하는 과정에서 오류를 발생시킬 수 있습니다. 저자들은 이러한 근사를 위한 적절한 허용 오차를 선택하는 것이 중요하다고 강조하며, 사용자가 예상 결과에 대해 프로그램을 검증할 수 있는 방법을 제공합니다.

Coalton은 양자 컴파일러에서 이산 컴파일을 위한 복잡한 수학 알고리즘을 성공적으로 구현하여 기능성과 정확성을 향상시켰습니다. 개발 팀은 언어에 대한 기여와 개선을 환영합니다.

작성자: andsoitis | 점수: 55

87.
CVE-2025-46336 (rack-session): Rack session gets restored after deletion
(CVE-2025-46336 (rack-session): Rack session gets restored after deletion)

Rack::Session::Pool 미들웨어에서 발견된 취약점(CVE-2025-46336)은 삭제된 세션이 동시에 요청이 들어올 때 복원될 수 있는 문제를 가지고 있습니다. 이로 인해 인증되지 않은 사용자가 로그아웃 후에도 세션에 다시 접근할 수 있는 위험이 있습니다.

이 취약점의 심각도는 중간 수준으로, CVSS v3.x 점수는 4.2입니다. 영향을 받는 버전은 rack-session 2.0.0 및 그 이전 버전입니다. 이 문제는 rack-session 2.1.1 버전 이상에서 수정되었습니다.

공격자가 세션 쿠키를 획득할 경우, 사용자가 로그아웃한 후에도 세션에 접근할 수 있는 가능성이 있습니다. 특히 로그아웃 과정에서 긴 요청이 발생하면 더욱 위험합니다.

이 취약점을 완화하기 위해서는 최신 버전의 rack-session으로 업그레이드하는 것이 좋습니다. 또한, 세션 무효화 방법을 삭제 대신 "logged_out" 플래그를 사용하는 방식으로 변경하는 것이 필요합니다. 마지막으로, 세션 무효화 타임스탬프를 추적하는 맞춤형 세션 저장소를 고려할 수 있습니다.

더 많은 정보와 관련된 권고 사항은 제공된 링크를 참조하시기 바랍니다.

작성자: unripe_syntax | 점수: 5

88.
Show HN: Test your typing speed and accuracy with movie scripts
(Show HN: Test your typing speed and accuracy with movie scripts)

요약이 없습니다.

작성자: andout_ | 점수: 28

89.
AI use damages professional reputation, study suggests
(AI use damages professional reputation, study suggests)

듀크 대학교의 새로운 연구는 직장에서 AI 도구를 사용하는 것과 관련된 사회적 도전을 강조합니다. AI는 생산성을 높일 수 있지만, 동시에 근로자의 평판에 부정적인 영향을 미칠 수 있습니다. 연구에 따르면, ChatGPT와 같은 AI를 사용하는 직원들은 전통적인 도구를 사용하는 직원들에 비해 덜 유능하고 성실하다는 평가를 받는 경우가 많습니다. 이러한 편견은 모든 인구 집단에서 나타났으며, 많은 사람들이 게으르다는 인식을 피하기 위해 AI 사용을 숨기기도 했습니다.

이 연구는 4,400명 이상의 참가자를 대상으로 진행되었으며, AI를 사용하지 않는 관리자들은 AI를 사용하는 후보자를 채용할 가능성이 낮고, 반면 AI를 사용하는 관리자들은 AI 사용자에게 더 호의적이라는 결과를 보였습니다. 흥미롭게도, 특정 작업에서 AI의 유용성이 명확할 경우 부정적인 인식이 줄어드는 경향이 있었습니다. 전반적으로 이 연구 결과는 사회적 낙인이 AI의 직장 내 도입을 저해할 수 있음을 시사합니다. 또한 많은 근로자들이 AI 덕분에 시간을 절약했다고 보고하지만, 일부는 오히려 더 많은 업무를 맡게 되어 AI가 직장 내 역학에 미치는 영향이 복잡해질 수 있습니다.

작성자: gpi | 점수: 6

90.
Will protein design tools solve the snake antivenom shortage?
(Will protein design tools solve the snake antivenom shortage?)

이 기사는 뱀의 항독소 부족 문제를 해결하기 위한 단백질 설계 도구의 가능성에 대해 다루고 있습니다. 현재 항독소의 문제는 심각합니다. 독사에 물린 사고로 매년 81,000명에서 138,000명이 사망하고 있으며, 효과적인 항독소가 부족합니다. 항독소는 비쌀 뿐만 아니라 필요한 사람들에게 접근하기 어려운 경우가 많고, 수요가 낮고 생산 비용이 높아 경제적으로도 비효율적입니다.

뱀의 독은 매우 다양하여, 같은 종 내에서도 개체별로 차이가 있으며, 종과 가족 간에도 큰 변이가 있습니다. 이러한 다양성은 효과적인 보편적 항독소 개발을 복잡하게 만듭니다. 전통적인 항독소 생산 방식은 뱀에서 독을 짜내고, 이를 말이나 양에 주입하여 항체를 생성한 후, 이 항체를 추출하여 치료에 사용하는 방식입니다. 그러나 이 방법은 구식이며 경제성 및 생산 규모의 문제에 직면해 있습니다.

최근 컴퓨터 생물학의 발전, 특히 RFDiffusion과 같은 도구를 활용한 연구는 특정 독소에 결합할 수 있는 단백질을 만드는 데 가능성을 보여주고 있습니다. 이는 새로운 항독소 개발로 이어질 수 있지만, 독의 다양성으로 인한 더 넓은 문제를 해결하지는 못합니다. 단백질 설계를 통해 보편적 항독소 개발에 대한 희망이 있지만, 여전히 많은 도전 과제가 남아 있습니다. 항독소의 경제적 환경은 어려워, 주로 저소득층을 대상으로 하여 이들이 항독소를 구입할 수 없기 때문에 생산 솔루션에 대한 투자가 저해됩니다.

단백질 설계 도구가 더 효과적인 항독소를 만드는 데 도움을 줄 수 있지만, 특히 저소득 지역에서 항독소 배급의 경제적 및 물류적 문제를 해결할 수 있는 보장은 없습니다. 항독소 생산의 미래는 이러한 경제적 장벽을 극복하고 지속 가능한 생산 방법을 찾는 데 달려 있을 수 있습니다.

작성자: sebg | 점수: 62

91.
Google to back three new nuclear projects
(Google to back three new nuclear projects)

구글은 사우스캐롤라이나에서 세 개의 새로운 고급 원자력 에너지 프로젝트에 투자하기 위해 Elementl Power와 파트너십을 체결했다고 발표했습니다. 이 결정은 구글의 데이터 센터에서 증가하는 배출량 문제를 해결하기 위한 전략의 일환입니다. 구글은 2030년까지 탄소 배출을 제로로 만들겠다는 목표를 세웠지만, 2023년에는 배출량이 13% 증가했고, 2019년 이후로는 48%나 늘어났습니다. 이는 에너지 소비 증가에 따른 결과입니다.

새로운 프로젝트들은 각각 최소 600MW의 전력을 생산할 예정이며, 이는 구글이 2030년까지 24시간 탄소 없는 에너지를 목표로 하는 데 기여할 것입니다. 구글은 이전에도 Kairos Power와 협력하여 최대 500MW의 탄소 없는 에너지를 제공하는 소형 원자력 프로젝트를 개발한 바 있습니다.

구글과 메타는 2050년까지 전 세계 원자력 에너지 용량을 세 배로 늘리겠다는 약속에 동참했습니다. 이는 다양한 산업의 에너지 수요가 증가하고 있음을 인식한 결과입니다. 2023년에 설립된 Elementl Power는 2035년까지 미국에서 10기가와트 이상의 원자력 에너지를 개발하는 것을 목표로 하고 있습니다. 이 회사의 CEO는 새로운 원자력 프로젝트에 대한 자금을 확보하기 위해 이러한 파트너십의 중요성을 강조했습니다.

작성자: aburan28 | 점수: 282

92.
Ghost students are creating problems for California colleges
(Ghost students are creating problems for California colleges)

요약이 없습니다.

작성자: jakemontero24 | 점수: 159

93.
Rich Schroepell responds to Ron Rivest and the RSA MIT algorithm (1977)
(Rich Schroepell responds to Ron Rivest and the RSA MIT algorithm (1977))

"Schroepell-RSA-comments-1977"라는 문서는 1977년 리치 슈로펠이 론 리베스트에게 RSA 암호화 논문에 대한 의견을 전달한 내용을 다루고 있습니다. 특히 슈로펠은 RSA 예제의 등장인물 이름으로 "아돌프와 베르톨트"를 제안했으나, 이 이름은 리베스트, 샤미르, 아들만에 의해 "앨리스와 밥"으로 변경되었습니다. 이 문서는 Archive.org에서 다운로드할 수 있지만 미리보기는 제공되지 않습니다. 이 문서는 암호화 연구와 관련된 자료 모음의 일부로, 특정 사용 라이선스 하에 게시되었습니다. 또한 사용자에게 다양한 다운로드 옵션도 제공됩니다.

작성자: iloveburritos89 | 점수: 5

94.
How linear regression works intuitively and how it leads to gradient descent
(How linear regression works intuitively and how it leads to gradient descent)

컴퓨터가 학습하는 과정은 과거의 실수를 바탕으로 추측을 개선하는 것입니다. 이 과정은 선형 회귀라는 개념으로 시작할 수 있으며, 이는 집의 크기를 기반으로 한 가격 예측과 같은 결과를 예측하는 데 도움을 줍니다. 일반적으로 더 큰 집은 더 비싸기 때문에, 이러한 경향은 그래프에서 상승하는 기울기로 시각화할 수 있습니다.

자신의 집 가격을 추정하기 위해 과거 판매 데이터를 통해 선을 그릴 수 있습니다. 이때 집의 크기(제곱피트)를 사용하여 예측 가격을 도출합니다. 이 선은 두 가지 주요 요소로 정의됩니다. 첫 번째는 기울기(제곱피트당 가격)이고, 두 번째는 절편(제곱피트가 0인 집의 예측 가격)입니다.

최적의 선을 결정하기 위해 실제 판매 가격과 얼마나 잘 맞는지를 측정해야 합니다. 이는 예측 가격과 실제 가격의 차이인 오차를 계산함으로써 이루어집니다. 일반적으로 절대 오차를 사용하는 방법이 있지만, 이는 큰 실수를 간과할 수 있습니다. 대신 오차를 제곱하면 더 큰 차이에 더 많은 가중치를 부여하여 더 신뢰할 수 있는 모델을 만들 수 있습니다.

이 최적의 선을 찾기 위해 경량 하강법이라는 접근 방식을 사용합니다. 이는 부드러운 경사면을 따라 내려가며 가장 낮은 지점(최소 오차)을 찾는 것과 비슷합니다. 오차 곡선의 기울기에 따라 기울기와 절편을 단계적으로 조정함으로써 최적의 선에 가까워질 수 있습니다. 제곱 오차는 이 과정을 더 매끄럽고 효과적으로 만들어 줍니다.

전반적으로, 오차를 최소화하여 예측을 조정하는 이 방법은 다양한 응용 분야에서 기본적인 원리로 작용합니다. 특히 딥러닝에서는 유사한 원칙이 알고리즘 훈련에 적용됩니다.

작성자: lucasfcosta | 점수: 322

95.
How to start a school with your friends
(How to start a school with your friends)

요약이 없습니다.

작성자: geverett | 점수: 130

96.
Shape and topology morphing of closed surfaces integrating origami and kirigami
(Shape and topology morphing of closed surfaces integrating origami and kirigami)

이 기사는 종이접기와 종이자르기를 이용해 닫힌 표면의 형태와 위상을 변화시키는 새로운 방법에 대해 다룹니다. 구와 큐브와 같은 닫힌 표면은 일반적으로 열린 표면보다 더 단단하고 안정적입니다. 저자들은 이러한 표면이 서로 다른 형태(예: 큐브와 구)로 변형되고, 심지어 위상(예: 구에서 토러스)도 변화할 수 있도록 하는 시스템을 제안합니다. 이 과정에서 구조적 무결성을 유지합니다.

이 방법은 주름을 중심으로 패널을 회전시키는 종이접기와 힌지를 이용한 종이자르기를 결합하여 이러한 변형을 가능하게 합니다. 연구자들은 패널이 효과적으로 함께 작동하도록 보장하기 위해 두 단계의 과정을 설계했습니다. 이를 통해 호환성과 이중 안정성(두 가지 안정된 형태를 유지할 수 있는 능력)을 달성했습니다.

이 연구 결과는 이 접근 방식이 약물 전달 시스템이나 소프트 로봇과 같은 다양한 응용 분야를 위한 고급 재료와 구조로 이어질 수 있음을 시사합니다. 전반적으로 이 연구는 종이접기와 종이자르기 기술을 통합하여 적응 가능하고 다기능적인 재료를 만드는 가능성을 강조합니다.

작성자: bryanrasmussen | 점수: 25

97.
Mac Themes Garden
(Mac Themes Garden)

2025년 5월 5일, Mac Themes Garden 웹사이트가 출시되었습니다. 이 사이트는 클래식 맥 시대의 3,000개 이상의 카레도스코프 테마를 제공합니다. 사용자들은 이 테마를 보고 다운로드하며 탐색할 수 있고, 업데이트를 위해 RSS 피드를 구독할 수 있습니다. 또한, 다른 웹사이트에 버튼을 삽입할 수 있는 옵션도 제공됩니다.

이 사이트의 제작자인 다미엔은 이전에 Mac Themes Bot을 운영하며, 소셜 미디어에서 Mac OS X와 클래식 맥의 테마를 소개했습니다. 원본 테마 데이터를 확보하는 데 어려움을 겪은 후, 다미엔은 약 4,000개의 카레도스코프 테마를 스크린샷을 찍고 관련 정보를 수집하여 수작업으로 문서화했습니다.

2023년 초, 다미엔은 웹사이트 제작을 시작했습니다. 테마 데이터를 관리하기 위해 Airtable을 사용하고, 사이트 구축에는 Astro를 활용했습니다. 목표는 Mac OS 9 사용자 인터페이스를 모방하는 것이었으며, 이미지를 사용하지 않고도 고급 CSS 기법을 통해 그 모습을 재현했습니다.

이 사이트는 거의 5,000개의 페이지로 구성되어 있으며, 저자 페이지도 포함되어 있습니다. 빠른 로딩 시간을 보장하기 위해 성능 최적화가 이루어졌습니다. 또한, 다미엔은 접을 수 있고 확대할 수 있는 창과 같은 인터랙티브 요소를 통합했습니다.

앞으로 다미엔은 모든 테마의 기록을 마무리하고, 색상 검색 옵션과 사용자 제출 이미지 갤러리와 같은 기능을 추가할 계획입니다. 사용자들은 업데이트를 위해 RSS 피드를 구독할 것을 권장합니다.

작성자: speckx | 점수: 217

98.
Heat stress mitigation by trees and shelters at bus stops
(Heat stress mitigation by trees and shelters at bus stops)

원하시는 콘텐츠에 문제가 발생했습니다. 도움을 받으시려면 지원팀에 연락해 주시고, 다음 정보를 포함해 주시기 바랍니다.

  • 참조 번호
  • IP 주소
  • 사용자 에이전트
  • 타임스탬프

오류 코드: ::CLOUDFLARE_ERROR_1000S_BOX::

작성자: rntn | 점수: 143

99.
How decentralized is the Fediverse, really?
(How decentralized is the Fediverse, really?)

요약이 없습니다.

작성자: PaulHoule | 점수: 3

100.
A cycle-accurate IBM PC emulator in your web browser
(A cycle-accurate IBM PC emulator in your web browser)

요약이 없습니다.

작성자: GloriousCow | 점수: 152
0
Creative Commons