리처드 액스라는 책 수집가는 15만 권이 넘는 책을 소유하고 있으며, 해리포터와 마법사의 돌 초판도 포함되어 있습니다. 그의 컬렉션은 너무 방대해서 집을 도서관으로 개조했고, 자신은 두 개의 방이 있는 작은 코티지에 살고 있습니다. 이 기사에서는 그의 여정과 이 희귀한 책들이 지닌 가치와 역사에 초점을 맞춥니다.
더 보기
작성자는 TCP와 UDP를 우회하는 사용자 정의 네트워크 전송 프로토콜을 만들어 서로 다른 운영 체제와 네트워크 환경에서의 동작을 조사하려고 시도했습니다. 실험 결과, 사용자 정의 프로토콜은 로컬 루프백 테스트에서는 부분적으로 성공했지만, 네트워크를 넘나드는 환경에서는 AWS를 제외한 대부분의 클라우드 서버와 네트워크 장비가 사용자 정의 프로토콜 패킷을 삭제하며, 크로스 플랫폼 호환성에 문제가 있는 것으로 나타났습니다. 최종 결론: 필요하지 않다면 TCP 또는 UDP를 사용하십시오!
더 보기
Weaveworks 파산 후 직장을 잃은 클라우드 엔지니어는 LeetCode 문제 풀이에 매달리면서 분산 시스템, 쿠버네티스 내부 구조, 시스템 아키텍처 설계 등 중요한 기술들을 소홀히 했습니다. 결과적으로 면접에서 좋지 못한 성적을 거두었고, 실제 업무 경험과 문제 해결 능력이 알고리즘 지식보다 중요하다는 것을 깨달았습니다. LeetCode만 파고든다고 취업 성공을 보장할 수는 없습니다.
더 보기
이 논문은 위생적인 Scheme 매크로 내에서 call/cc의 덜 알려진 응용 프로그램, 특히 지루한 람다 계산을 돕는 데 사용하는 방법을 탐구합니다. 저자는 구문 규칙과 call/cc의 반복된 응용 프로그램을 교묘하게 결합한 정규 순서 직접 스타일 베타 정규화기를 제시하고, CPS 변환과 독창적인 직접 스타일 람다 계산기를 사용하여 그 정확성을 증명합니다. 이 논문은 또한 구분된 연속에 대해서도 논의하고, 간단한 매크로가 prompt 및 control과 같은 다양한 구분된 연속 연산자를 어떻게 구현할 수 있는지 보여줍니다. call/cc 기반 계승 함수 구현과 구분된 연속에 대한 논의는 이 접근 방식의 우아함과 실용성을 강조합니다.
더 보기
이 글에서는 Atari 8비트 컴퓨터용 컴파일 언어인 Action!을 다시 살펴봅니다. Clinton Parker가 만든 Action!은 6502 CPU에 최적화되어 있으며, 모니터, 컴파일러, 텍스트 에디터, 디버거를 포함한 통합 개발 환경(IDE)을 갖추고 있었습니다. 8비트 시스템에서는 드문 기능이었습니다. C나 Pascal만큼 정교하지는 않았지만, 속도, 혁신적인 에디터(스크롤 및 분할 화면 기능 등), 그리고 긴밀한 통합으로 주목을 받았습니다. 저자는 Action!을 구입하고 사용한 경험을 이야기하고, 그 한계와 Action! RunTime 및 Action! ToolKit과 같은 추가 기능을 통해 어떻게 일부 한계가 해결되었는지 설명합니다. Action!은 주로 취미 개발자와 잡지 소프트웨어에서 사용되었습니다.
더 보기
17년 전, 스티브 잡스는 당시 부피가 큰 넷북과 비교하여 혁신적인 기기인 최초의 Macbook Air를 공개했습니다. 저자는 자신의 Lenovo IdeaPad S10e를 회상하며 작고 가벼운 노트북에 대한 변치 않는 동경을 표현합니다. 하드웨어의 발전에도 불구하고 저자는 A4 크기의 Macbook Air 또는 Macbook Mini와 강력한 홈 서버를 결합한 것이 이상적인 원격 작업 솔루션이라고 생각합니다. 휴대성과 원격 작업이 미래입니다.
더 보기
Polars Cloud가 AWS에서 정식 출시되었으며, 새로운 분산 엔진의 공개 베타 버전도 함께 출시되었습니다. 이 플랫폼은 로컬 pandas의 사용 편의성과 원격 PySpark의 확장성 간의 격차를 해소하고자 하며, 노트북에서 클라우드까지 원활하게 확장되는 단일 API를 제공합니다. 분산 엔진은 Polars의 혁신적인 스트리밍 아키텍처를 활용하여 수평, 수직, 대각선 확장 전략을 지원하며, 비용과 복잡성을 크게 줄이고 성능을 향상시킵니다. 향후 계획에는 온프레미스 지원, 실시간 클러스터 대시보드, 작업 오케스트레이션, 자동 확장, 카탈로그 지원 및 다중 지역 배포 등이 있습니다.
더 보기
저자는 WebAssembly를 목표로 단 500줄의 파이썬 코드로 C 컴파일러를 작성하는 과제에 도전했습니다. 이를 달성하기 위해 추상 구문 트리(AST)를 생략하고 파싱 중에 코드를 직접 생성하는 단일 패스 컴파일 전략을 사용했습니다. 이는 간결한 컴파일러를 만들었지만, 부동 소수점 숫자와 구조체 등 몇 가지 기능이 손실되었습니다. 결과적으로 생성된 컴파일러는 간단한 C 프로그램을 성공적으로 컴파일하고 실행하여 단일 패스 접근 방식의 실현 가능성을 보여주었습니다.
더 보기
저자는 SerenityOS를 실제 하드웨어에서 실행하기 위해 저렴한 Chromebook을 구입했습니다. 그러나 Chromebook의 Cr50 디버깅 기능이 작동하지 않아 시리얼 디버깅을 위해 Raspberry Pi Pico를 마더보드에 수동으로 납땜해야 했습니다. 여기에는 Cr50 보안 칩의 쓰기 방지 기능을 우회하고 사용자 지정 SPI 플래시 프로그램을 작성하는 작업이 포함되었습니다. 저자는 Chromebook에서 SerenityOS를 성공적으로 부팅했지만, eMMC 드라이버 디버깅은 어려운 작업이었으며 MMC 및 SD 카드 프로토콜에 대한 깊이 있는 이해와 하드웨어 전원 제어에 대한 세심한 조정이 필요했습니다.
더 보기
Windows 10 지원 종료로 인해 저자가 여러 대의 가족용 컴퓨터를 업그레이드한 경험에 대한 이야기입니다. 하드웨어 선택, OS 설치(Linux 전환 포함), 파일 형식 설계에 대한 통찰력 등이 자세히 설명되어 있습니다. ZX Spectrum용 Z80 게임 개발, Mass Effect 시리즈에 대한 감상, 그리고 저자의 새해 목표도 언급되어 있습니다. 유쾌하고 공감 가는 기술 업그레이드 이야기입니다.
더 보기
이 글에서는 JavaScript에 의존적인 웹 요소를 숨기는 세 가지 우아한 방법을 설명합니다. 첫 번째 방법은 JavaScript를 사용하여 클래스 이름을 동적으로 추가하는 방법이지만 간결하지 않습니다. 두 번째 방법은 태그와 태그를 사용하여 CSS에서 요소를 직접 숨기는 방법이지만 유지보수 비용이 높습니다. 세 번째 방법이자 권장되는 방법은 <noscript> 태그와 <style> 태그와 함께 일반적인 클래스 이름인 `d-js-required`를 사용하는 방법입니다. 이렇게 하면 JavaScript에 의존적인 모든 요소를 숨기기 위해 CSS 규칙을 하나만 변경하면 되므로 깔끔하고 효율적인 해결책을 제공합니다.
더 보기
8월 29일부터 시행된 트럼프 행정부의 미국행 소형 소포에 대한 최소 면세 규정 폐지로 인해 우편물량이 80% 이상 급감하는 극적인 상황이 발생했습니다. 이 정책 변화로 800달러 미만 상품의 관세 면제가 폐지되면서 전 세계 88개 우편 사업자가 미국행 소포 배송을 부분적 또는 완전히 중단했습니다. 만국우편연합(UPU)은 사업자들이 새로운 규정에 적응하고 관세를 징수할 준비 시간이 부족했던 점을 지적하며 심각한 운영 중단이 발생했다고 밝혔습니다. UPU는 미국행 우편물 흐름을 회복하기 위한 기술적 해결책을 모색하고 있습니다.
더 보기
1300년 동안 일본에서 가장 존경받는 신토 신사인 이세 신궁은 20년마다 완전히 재건되었습니다. 이는 단순한 보수 공사가 아니라 3억 9천만 달러의 비용과 9년이라는 시간이 소요되는 대규모 프로젝트이며, 일본 최고의 장인들이 참여합니다. 고대 의식, 대대로 이어져 내려온 기술, 그리고 신에 대한 존경심이 이 주기적인 과정에 얽혀 있습니다. 기도를 드리며 나무를 베는 것부터 마지막 봉헌까지, 각 단계는 엄숙함과 신비로움으로 가득 차 있으며, 삶의 순환과 자연과의 조화에 대한 독특한 일본인의 이해를 반영합니다.
더 보기
한 해커가 2018년에 출시된 Solos 스마트 글래스의 리버스 엔지니어링에 성공하여 화면에 임의의 이미지를 표시하는 데 성공했습니다. Bluetooth 패킷 캡처를 분석하여 글래스와 스마트폰 앱 간의 통신 프로토콜을 발견했습니다. Python 스크립트를 사용하여 이미지 데이터를 RLE로 인코딩하고 글래스로 전송하여 사용자 지정 이미지 표시에 성공했습니다. 프로토콜의 세부 사항은 아직 불분명한 부분이 있지만, 이 작업은 글래스의 사용자 지정 가능성을 보여주며 이메일 제목이나 날씨 예보 등의 표시 등 향후 개발 가능성을 열어줍니다.
더 보기
IBM은 Power10의 업그레이드 버전인 Power11 프로세서를 출시했습니다. 주요 개선 사항은 코어 활용률 향상과 DDR5 메모리 지원입니다. Power11은 대용량 메모리와 많은 주변 장치에 대한 요구 사항이 높더라도 메모리와 I/O의 균형을 잘 유지하여 대규모 트랜잭션 데이터베이스 관리 시스템에서 경쟁력을 갖추고 있습니다. 제조 공정의 어려움을 극복하고 삼성과의 협력을 통해 명령어 세트 아키텍처를 개선했습니다. 이 기사에서는 향후 Power11 업그레이드, 예를 들어 DCM 모듈 확장을 통한 확장성 향상 등을 논의합니다.
더 보기
이 프로젝트는 Lean 정리 증명기를 사용하여 버트런드 러셀의 수학 원리 제1권을 형식화하는 것을 목표로 합니다. 목표는 형식화가 책의 해당 정리와 명확하게 일치하도록 하여 혼란을 방지하는 것입니다. 이 프로젝트는 러셀의 증명을 엄격하게 따르며 추가적인 진술을 최소화합니다. 더 일반적인 삼단논법 형식을 처리하기 위한 새로운 전술 `Syll`도 생성되었습니다. 수학 원리는 “엄청난 실패”로 여겨지지만, 저자는 형식화 과정을 풍요로운 경험으로 여겼습니다.
더 보기
새로운 분석에 따르면 미국은 에너지, 국방, 기술 분야에 매년 필요한 모든 핵심 광물을 이미 기존 광산에서 채굴하고 있지만, 코발트, 리튬, 갈륨, 네오디뮴 및 이트륨과 같은 희토류 원소를 포함한 이러한 광물들은 현재 금이나 아연과 같은 다른 광물 흐름의 폐기물로 버려지고 있습니다. 이 연구는 회수 기술 개선과 지원 정책 시행을 통해 수입 의존도를 크게 줄이고 광산 폐기물의 환경적 영향을 완화할 수 있음을 보여줍니다.
더 보기
미 해병대는 적에 대한 소형 무인 항공 시스템(sUAS)의 운용과 편대 통합에 관한 90페이지 분량의 교범을 발표했습니다. 제1 해병사단의 경험을 바탕으로 만들어진 이 교범은 배치, 위장, 회피, 팀워크를 포함한 드론 운용을 표준화합니다. 드론 작전 지역에는 고유한 명명법이 사용되며, 러시아-우크라이나 분쟁에서 얻은 교훈을 통합하여 적극적인 드론 전쟁으로의 중요한 전략적 전환을 반영합니다. 이 교범은 sUAS 기술을 습득해야 할 긴급성과 미래의 드론 분쟁에 대한 대비의 중요성을 강조합니다. 누락된 부분은 미래의 필요성을 강조하고, 이 분야에서 진행 중인 군비 경쟁을 강조합니다.
더 보기
단세포 RNA 시퀀싱을 사용한 새로운 연구에 따르면, 조류와 포유류의 뇌 구조에 놀라운 유사성이 있지만, 진화 경로는 다릅니다. 과학자들은 오랫동안 신피질이 없는 조류가 복잡한 인지 능력을 갖는 것을 의문으로 여겨왔습니다. 이 연구에서는 조류의 배측실조(DVR)가 기능적으로 포유류의 신피질을 반영하지만, 그 발생 과정, 세포의 종류, 발생 시기가 크게 달라 공통 조상으로부터의 유전이 아니라 독립적인 진화를 시사하는 것으로 나타났습니다. 이는 뇌 진화에 대한 기존의 생각을 뒤집고, "최적의 지능"에 대한 우리의 이해가 너무 좁을 수 있음을 시사합니다.
더 보기
1982년 초, 애플의 Lisa 팀은 코드 라인 수로 엔지니어의 생산성을 추적했습니다. QuickDraw의 제작자인 Bill Atkinson은 이 지표를 어리석다고 생각하고 간결하고 효율적인 코드를 우선시했습니다. 그는 QuickDraw의 영역 계산을 최적화하여 속도를 6배 향상시키면서 코드를 2000줄 줄였습니다. 생산성 양식에는 유명하게도 '-2000'이라고 적었습니다. 경영진은 이 잘못된 지표의 사용을 현명하게 중단했습니다.
더 보기
Apple과 NVIDIA는 Apple의 ReDrafter 기술을 NVIDIA의 TensorRT-LLM에 통합하여 대규모 언어 모델의 텍스트 생성 속도를 크게 향상시켰습니다. ReDrafter는 빔 서치와 동적 트리 어텐션을 결합하여 품질을 떨어뜨리지 않고 훨씬 빠른 텍스트 생성을 달성합니다. 이 협력을 통해 NVIDIA GPU를 사용하는 개발자는 ReDrafter의 가속화된 토큰 생성을 프로덕션 환경의 LLM 애플리케이션에 쉽게 활용할 수 있게 되었으며, 벤치마크 테스트에서 2.7배의 속도 향상을 달성하여 지연 시간과 전력 소비를 줄였습니다.
더 보기
Obsidian을 위한 새로운 플러그인인 Note Codes는 각 노트에 고유한 4자 코드를 할당하여 손글씨 노트나 다른 위치에서 빠르게 참조할 수 있도록 합니다. 코드는 노트 경로를 SHA-256 해싱하고 Base32 인코딩을 사용하여 생성됩니다. 가독성을 높이기 위해 비슷한 문자는 생략됩니다. 오픈소스 플러그인에는 프로토콜 핸들러가 포함되어 있으며, obsidian://note-codes/open?code=XX-XX를 통해 지정된 코드의 노트를 열 수 있습니다.
더 보기
칠레 아타카마 사막으로의 여정은 숨 막힐 듯한 어두운 밤하늘을 보여주며, 전 세계의 많은 지역에 영향을 미치고 있는 빛 공해의 증가와 뚜렷한 대조를 이룹니다. 저자는 이러한 증가하는 문제를 조사하고 LED 조명과 인공위성의 증가가 기여하고 있음을 강조합니다. 이 기사는 천문학적 관측뿐만 아니라 인류와 우주의 연결, 그리고 광대한 우주 안에서 우리의 위치를 이해하는 측면에서도 어두운 밤하늘을 보존하는 중요성을 강조합니다. 어두운 곳이 남아 있지만, 빛 공해의 급속한 확산은 미래 세대가 진정으로 별이 빛나는 밤을 경험할 수 있는 능력을 위협합니다. 저자는 이러한 증가하는 환경 및 문화적 손실에 대처하기 위한 행동을 촉구합니다.
더 보기
Fortune의 Leadership Next 팟캐스트에서는 Robinhood의 CEO인 Vlad Tenev가 출연합니다. 인터뷰에서는 GameStop과 밈주식에 대한 Robinhood의 역사, AI와 암호화폐가 투자 환경을 어떻게 바꿀 것인지, 투자 지식을 갖춘 차세대 육성에 대해 논의합니다. Tenev는 리더십에서 얻은 교훈과 GameStop 사태 이후 Robinhood가 어떻게 적응하고 자산 관리, 신용카드, 암호화폐 거래 등으로 사업을 확장했는지에 대해 이야기합니다. 그는 AI가 노동 시장에 영향을 미침에 따라 투자가 점점 더 중요해질 것이라고 생각하며, Robinhood는 모든 사람이 투자에 쉽게 접근할 수 있도록 하는 것을 목표로 합니다.
더 보기
Bitwig Studio 6 베타 버전이 출시되었습니다. AI나 특별한 기능보다는 편집 및 자동화 워크플로 개선에 초점을 맞추었습니다. 자동화 모드, 개선된 편집 제스처, 자동화 클립, 프로젝트 전체 키 시그니처, 업데이트된 UI 등이 새 기능입니다. 이 업데이트는 편집 경험을 크게 향상시켜 엔지니어와 사용자들의 오랜 요구를 충족합니다.
더 보기
SmallJS는 우아하고 강력한 Smalltalk-80 언어의 무료 오픈소스 구현으로, 최신 브라우저나 Node.js에서 실행되는 JavaScript로 컴파일됩니다. 파일 기반 아키텍처를 통해 선호하는 IDE에서 개발할 수 있으며, Visual Studio Code를 기본적으로 지원하고 구문 강조 표시 및 디버깅 기능을 제공합니다. 완전히 객체 지향적이고 고도로 사용자 정의가 가능하며, 클래스와 메서드 이름은 익숙한 JS 대응물과 일치합니다. 브라우저(DOM 조작, 이벤트, CSS) 및 Node.js(HTTP 서버, Express, 데이터베이스, 파일 시스템, 멀티스레딩) 환경 모두를 위한 내장 라이브러리를 갖추고 있습니다. 빠르게 시작할 수 있도록 몇 가지 예제 프로젝트도 제공됩니다.
더 보기
이 GitHub 저장소는 저자가 매일 사용하는 도구, 스크립트, 치트 시트 및 리소스의 보고입니다. 시스템 및 네트워크 관리자, DevOps 엔지니어, 침투 테스터 및 보안 연구원을 대상으로 하며, 셸 스크립팅 및 네트워크 분석부터 보안 감사 및 데이터베이스 관리에 이르기까지 모든 분야의 포괄적인 도구 모음을 제공합니다. 저장소는 항상 새로운 항목으로 업데이트됩니다.
더 보기
수학자들이 매듭 이론에서 오랫동안 지속되어 온 추측을 뒤집는 발견을 했습니다. 서로 다른 두 매듭을 연결하면 새로운 매듭의 복잡성은 개별 매듭의 복잡성 합과 같다고 여겨져 왔습니다. 그러나 연구자들은 최근 그 합보다 더 단순한 매듭을 발견했습니다. 이 발견은 매듭의 복잡성에 대한 우리의 이해에 도전하고 단백질 접힘 및 분자 구조의 안정성과 같은 분야에 새로운 통찰력을 제공합니다.
더 보기
이 글은 분산 합의 알고리즘 Raft와 Go를 사용한 구현에 대한 시리즈의 첫 번째 게시글입니다. Raft는 여러 서버에 걸쳐 결정론적 상태 머신을 복제하는 문제를 해결하여 서버 오류가 발생하더라도 서비스 가용성을 보장합니다. 이 게시글에서는 상태 머신, 로그, 합의 모듈, 리더/팔로워 역할, 클라이언트 상호 작용 등 Raft의 핵심 구성 요소를 소개합니다. 또한 Raft의 내결함성, CAP 정리, Go를 구현 언어로 선택한 이유에 대해서도 설명합니다. 향후 게시글에서는 알고리즘 구현에 대한 자세한 내용을 설명할 것입니다.
더 보기
Windows Subsystem for Linux(WSL)의 가상 디스크는 시간이 지남에 따라 크기가 커져 상당한 디스크 공간을 차지할 수 있습니다. 이 자습서에서는 WSL 가상 하드 디스크(VHDX)를 압축하여 귀중한 디스크 공간을 확보하는 수동 및 자동화된 두 가지 방법을 제공합니다. 수동 방법은 PowerShell 및 DiskPart 명령을 사용한 단계별 프로세스를 자세히 설명합니다. 자동화 방법은 원클릭 압축을 위한 PowerShell 스크립트를 제공합니다. 어떤 방법을 선택하든 WSL 디스크 공간 문제를 효과적으로 해결하고 시스템을 효율적으로 작동시킬 수 있습니다.
더 보기