AP5는 Common Lisp를 확장한 것으로, 사용자가 더욱 "명세 수준"에서 "프로그래밍"할 수 있도록 하며, 기계가 어떻게 하는지가 아니라 무엇을 해야 하는지에 중점을 둡니다. Lisp와 Gist 사양 언어의 측면을 결합하여 Gist의 컴파일 가능한 부분을 통합하고 성능 조정을 위한 주석 메커니즘을 제공합니다. AP5는 관계형 모델을 사용하여 데이터를 표현하고 데이터 액세스 및 조작을 위해 1차 술어 논리 언어를 지원합니다. 프로그래머는 관계, 규칙, 제약 조건을 정의하고 주석을 통해 성능을 최적화합니다. 이 매뉴얼에서는 AP5의 구문, 데이터베이스 작업, 규칙, 형식, 동등성, 구현 세부 정보를 자세히 설명하고 많은 예와 설명을 제공합니다.
더 보기
블로거 루벤 셰이드는 온라인 북마크를 정리하는 과정에서 수년간 모아온 링크 대부분이 깨져 있거나 변경되었다는 사실을 발견하고 온라인 콘텐츠 보존의 의미에 대해 고민하게 되었습니다. 그는 인터넷의 일시적인 특성과 인터넷 아카이브조차 안전하지 않다는 것을 깨달았습니다. 가치가 없을 수도 있는 많은 개인 블로그, 팟캐스트, 비디오를 저장하고 있지만, 이것들은 소중한 개인적 추억과 역사의 타임캡슐이며 보존할 가치가 있다고 믿습니다. 결론적으로 그는 온라인 콘텐츠 보존의 가치는 역사적 의미와 개인적 추억에 있으며, 과제는 효율적이고 경제적인 보존 방법을 찾는 데 있다고 주장합니다.
더 보기
FindMy.py는 Apple FindMy 네트워크를 쿼리하는 데 필요한 모든 것을 제공하는 Python 라이브러리입니다. 분산된 Find My 에코시스템을 통합하여 다양한 기기(AirTags, iDevices 등)와 인증 방법(SMS 및 Trusted Device 2FA 포함)을 지원하는 크로스 플랫폼 솔루션을 제공합니다. 비동기 및 동기 API를 모두 갖추고 있습니다. 현재 알파 단계이므로 API가 변경될 수 있지만 핵심 기능은 안정적입니다.
더 보기
아일랜드의 로스도한 섬은 19세기에 인도에서 돌아온 외과의사가 조성한 이국적인 정원의 매혹적인 이야기를 들려줍니다. 남반구 식물의 식재 덕분에 섬은 독특한 미기후를 자랑합니다. 집 화재와 소유주 변경에도 불구하고 이러한 외래종들은 살아남아 토착 식물상과 함께 독특한 생태계를 형성합니다. 오늘날 야생 복원 노력은 이 역사적 유산을 보존하면서 토착 생물 다양성을 회복해야 하는 과제에 직면해 있으며, 법률, 정책 변경 및 일반 시민의 참여가 필요합니다.
더 보기
고성능 재료 채택과 함께, 칩 아키텍처의 복잡성과 이종 통합 증가로 인해 첨단 패키지의 열 문제를 식별하고 테스트하는 것이 상당히 어려워지고 있습니다. 칩 레벨의 열 효과 예측 불가능성과 다양한 작업 부하 하에서의 열 분포 차이로 인해 기존 코너 기반 열 테스트는 부족합니다. 이종 통합, 더 얇은 기판과 금속 층, 다양한 재료와 상호 연결 방식의 조합이 이러한 복잡성을 더욱 악화시키고 있습니다. 이러한 과제를 해결하기 위해 업계에서는 더욱 정확한 열 특성 분석과 신뢰할 수 있는 장치 테스트를 위해 고급 열 모델링, 테스트 구조, 적응형 테스트 전략 및 AI를 모색하고 있습니다.
더 보기
Rec Room이 새로운 복제 가능한 게임 BonkysInferno를 출시했습니다. 'Make it to Midnight' 환경을 기반으로, Bonky의 망치로 상대를 용암에 떨어뜨리거나 레이저 펜스 너머로 날려서 가장 많은 점수를 얻는 것이 목표입니다. 수집 시스템, 데미지 시스템, Bonky의 망치 메커니즘, 라운드 시스템, HUD 등 Circuits와 Rec Room Studio를 사용하여 제작되었으며, 플레이어가 복제 및 수정할 수 있습니다. Maker Pen을 사용하여 회로를 탐색하고 Rec Room Studio를 사용하여 더욱 심도 있는 사용자 지정을 수행하는 것이 좋습니다.
더 보기
MarkItDown은 Word, PDF, HTML 등 다양한 파일 형식을 표준 Markdown으로 변환하는 무료 온라인 도구입니다. Microsoft의 오픈소스 프로젝트 Markitdown을 기반으로 하며, 블로그 작성, 노트 정리, 기술 문서 작성 및 콘텐츠 이전에 적합한 빠르고 안정적인 변환을 제공합니다. 다운로드나 설치 없이 파일을 업로드하기만 하면 깔끔하고 정돈된 Markdown 출력을 얻을 수 있습니다. 안전하고 효율적인 콘텐츠 관리를 위한 최선의 선택입니다.
더 보기
1년간의 조사 결과 Spotify의 기만적인 관행이 드러났습니다. "완벽한 맞춤 콘텐츠"(PFC)라는 프로그램은 제작사와의 파트너십을 통해 가짜 아티스트와 트랙을 만들고 홍보하여 재생 횟수를 인위적으로 늘리고 로열티 비용을 줄이며 이익을 증가시키는 방식입니다. 이러한 가짜 트랙은 대개 앰비언트, 클래식, 일렉트로닉, 재즈, 로파이 비트이며 배경 음악으로 듣도록 설계된 플레이리스트에 전략적으로 배치됩니다. 이러한 폭로 시점에 Spotify CEO가 대량의 주식을 매각한 것도 논란에 불을 지폈습니다. 이 스캔들은 음악 산업의 투명성과 공정성에 대한 심각한 우려를 불러일으키며 의회 조사와 더 투명한 음악 스트리밍 생태계를 요구하는 목소리가 높아지고 있습니다.
더 보기
최근 연구에 따르면 건물과의 충돌로 죽는 새의 수를 크게 과소평가하고 있는 것으로 나타났습니다. 이전 연구는 발견된 사체의 수에 의존했지만 많은 새들이 즉사하지 않고 수일 또는 수주 후에 죽습니다. 사체 데이터와 재활 센터 기록을 결합하여 연구자들은 미국에서 매년 10억 마리 이상의 새들이 건물과의 충돌로 사망한다고 추정합니다. 이는 조류 사망률을 정확하게 평가하는 어려움과 조류 개체군을 더 잘 보호하기 위해 데이터 수집 및 분석을 개선해야 할 필요성을 강조합니다.
더 보기
델라웨어 배심원단은 퀄컴과 Arm 홀딩스 간의 소송에서 퀄컴이 2021년 14억 달러에 인수한 Nuvia사의 칩 기술에 대한 라이선스 계약을 위반하지 않았다고 판결했습니다. Arm은 퀄컴이 더 높은 라이선스 비용을 지불하지 않고 이 기술을 사용했다고 주장했습니다. 배심원단은 퀄컴의 위반을 인정하지 않았지만, Nuvia사 자체가 라이선스를 위반했는지 여부에 대해서는 합의에 이르지 못했고, 이 문제는 추후 재심될 것입니다. 이 판결은 퀄컴의 모바일 칩 시장에서의 위치에 중요한 의미를 가집니다.
더 보기
1930년대 초, 독일 건축가 레오 빈켈은 지상형 공습 대피소인 빈켈 탑을 설계했습니다. 기존의 지하 벙커와 달리, 경사진 지붕은 폭탄을 빗겨나가게 설계되어 폭발 위험을 최소화했습니다. 이 혁신적인 설계는 건설 비용과 시간을 대폭 절감했으며, 지상 폭발로 인해 압력파가 확산될 수 있었습니다. 1934년에 특허를 받았으며, 2차 세계 대전 중 독일 전역에 약 200개의 빈켈 탑이 건설되었습니다. 현재 많은 보존된 탑은 문화재 보호를 받고 있습니다.
더 보기
NASA의 제임스 웹 우주망원경이 획기적인 발견을 했습니다. “반딧불 반짝임(Firefly Sparkle)”이라는 별명의 은하는 빅뱅 후 약 6억 년 후에 존재했으며, 초기 단계의 우리 은하와 유사한 질량을 가지고 있었습니다. 중력 렌즈 효과로 확대된 이 은하는 10개의 별개의 성단을 보여주며, 초기 우주의 은하 형성에 대한 전례 없는 세부 정보를 제공합니다. 연구원들은 “반딧불 반짝임”이 활발하게 별을 형성하고 있으며, 성단의 불균일한 분포는 미래의 합병과 성장을 시사한다는 것을 발견했습니다. 이 발견은 초기 우주에서 은하의 진화에 대한 귀중한 통찰력을 제공합니다.
더 보기
심리학 연구에 따르면, 우리는 미래에 우리를 행복하게 만들 것을 종종 잘못 예측합니다. 이러한 '정서적 예측 오류'의 구체적인 예가 바로 '초점 착각'입니다. 즉, 행복을 달성하기 위해 집중하는 것이 우리가 기대하는 만큼의 행복을 가져다주지 않는다는 것입니다. 이 글에서는 진화론적 관점에서 이 현상을 설명합니다. 초점 착각은 인지적 결함이 아니라, 우리의 상황을 개선하려는 동기를 높이는 메커니즘입니다. 쾌락의 경험은 점차 익숙해집니다(쾌락 적응). 하지만 이러한 적응을 예측하면 노력하려는 의욕이 저하될 수 있습니다. 따라서 진화는 다음 성공이 지속적인 행복을 가져다줄 것이라고 우리를 순진하게 믿게 만들어 목표 추구를 촉진합니다.
더 보기
구글은 미 법무부(DOJ)의 검색 유통 소송 판결에 강하게 반대하며 항소할 예정이다. 2025년 4월 청문회에 앞서 구글은 자체 구제안을 제출했다. 이 제안은 브라우저 및 안드로이드 기기 제조업체와의 계약에 초점을 맞춰 브라우저 회사와 기기 제조업체가 기본 검색 엔진을 선택할 때 더 큰 유연성을 갖도록 하는 것을 목표로 한다. 동시에 법원의 명령을 준수하고 소비자 개인 정보 및 미국의 기술 리더십에 대한 피해를 방지한다. 반대로 DOJ의 제안은 과도하게 개입주의적이며 소비자와 미국의 기술 경쟁력에 해를 끼칠 수 있다고 여겨진다.
더 보기
이 글에서는 기술 부채와 기술 자산의 차이점을 설명합니다. 기술 부채는 재정적 부채와 마찬가지로 버그나 코드 가독성 저하 등 해결해야 하는 코드 문제이며, 개발 효율을 떨어뜨립니다. 반면 기술 자산은 고품질 SDK 구축 등 알려진 문제에 대한 선제적 투자이며, 미래 유지보수 비용을 절감하고 개발의 자유도를 높입니다. 이 글에서는 기술 자산에 투자하기 전에 기술 부채 상환을 우선시하고, 검증된 프로세스와 기술을 활용하여 기술 부채 축적을 방지함으로써 개발 효율과 제품 품질을 향상시키는 것을 권장합니다.
더 보기
이 글에서는 켈리 기준을 사용하여 보험에 대한 합리적인 결정을 내리는 방법을 살펴봅니다. 저자는 보험에 대한 일반적인 오해를 풀고, 그것이 철학적 문제가 아니라 수학적 문제라고 주장합니다. 핵심적인 아이디어는 보험이 큰 재산 감소를 방지하여 복리 효과의 성장을 가속화한다는 것입니다. 보험 가치(V)를 계산하기 위한 공식이 제시되며, 현재 자산, 보험료, 사고 확률, 비용 등이 고려됩니다. 오토바이 보험과 헬리콥터 보험의 예를 사용하여 계산과 자기 부담금의 영향이 설명되고, 보험 회사가 어떻게 이익을 얻는지, 그리고 비용의 상대성에 대해서도 설명합니다.
더 보기
이 글은 인라인 어셈블리 튜토리얼이 아니라 일반적인 실수를 피하기 위한 6가지 규칙의 요약입니다. 저자는 인라인 어셈블리가 위험하며 가능하면 피해야 한다고 강조합니다. 최신 컴파일러는 대부분의 사용 사례에 대해 내장 함수를 제공합니다. 불가피한 경우 다음 규칙을 따르십시오. `volatile` 한정자를 사용하십시오. 메모리에 액세스하는 경우 `memory` 클로버를 사용하십시오. 입력 제약 조건을 변경하지 마십시오. 인라인 어셈블리에서 함수를 호출하지 마십시오. 절대 어셈블리 레이블을 정의하지 마십시오. 어셈블러의 로컬 레이블 기능을 사용하여 레이블 충돌을 방지하십시오. 이 글에서는 온라인 튜토리얼이나 LLM 생성 코드를 검토하여 이러한 규칙을 실천할 것을 권장합니다.
더 보기
알바로 두란의 "결제 엔지니어 플레이북"에서는 데이터베이스 없이 결제를 처리하는 혁신적인 결제 시스템 설계 개념을 소개합니다. 비동기 프로그래밍의 보편화는 데이터베이스의 필요성이라는 전제에 기반한다고 주장합니다. 이벤트 소싱을 사용하면 결제 프로세스의 각 단계는 영속적인 상태가 아니라 이벤트로 기록됩니다. 이러한 이벤트는 일시적으로 메모리에 저장되고 시스템은 이벤트 스트림에서 결제 상태를 재구성하므로 영속적인 스토리지는 필요하지 않습니다. 고주파 거래에서 영감을 얻은 이 고성능, 고신뢰성 접근 방식을 통해 핫 백업을 통한 신속한 장애 복구가 가능합니다. 이 기사에서는 결제 흐름의 예를 사용하여 이 개념을 자세히 설명하고 미래 결제 시스템에 대한 적용을 살펴봅니다.
더 보기
HTML 문서를 위한 Web Components 기반 참고문헌 시스템인 @celine/bibhtml이 3.0.3 버전을 출시했습니다. LaTeX/BibTeX 참조와 유사한 사용자 경험을 제공하는 것을 목표로 하며, Citation.js를 백엔드로 사용하고, 인용이나 참고문헌이 잘못된 형식이거나 JavaScript가 비활성화된 경우에도 적절히 동작합니다. BibTeX, 비정형 텍스트, DOI, Wikidata의 4가지 참고문헌 형식을 지원하며, ``, ``, ``의 3가지 사용자 정의 요소를 제공하여 HTML에서의 참고문헌 관리를 간소화합니다.
더 보기
연구자들은 C 코드를 안전하게 Rust로 컴파일하는 새로운 방법을 개발했습니다. 이 기술은 정적 분석과 형식 지향 변환을 사용하여 Rust의 `unsafe` 블록에 대한 의존성을 피함으로써 메모리 안전성을 보장합니다. 이 방법은 HACL* 암호 라이브러리와 EverParse 라이브러리의 코드에 성공적으로 적용되어 8만 줄의 순수 Rust로 작성된 검증된 최신 암호 라이브러리가 생성되었습니다. 이는 업계 최초의 성과입니다.
더 보기
최근 연구에 따르면 캘리포니아 다람쥐에 대한 오랜 인식이 뒤집혔습니다. 이전까지 곡물을 먹는 동물로 여겨졌던 이 흔한 설치류가 2024년 여름, 두더지쥐와 같은 작은 설치류를 사냥하고, 죽이고, 먹는 것을 연구자들이 관찰했습니다. 이 놀라운 발견은 우리가 친숙한 동물에 대해서조차 얼마나 이해가 부족한지를 보여주며, 캘리포니아 다람쥐가 먹이의 가용성에 따라 식단을 바꾸는 기회주의적 잡식 동물일 수 있음을 시사합니다. 두더지쥐 개체수가 증가했을 때 절정에 달한 관찰된 육식 행동은 그들의 행동 유연성과 변화하는 환경에 대한 적응력을 보여줍니다.
더 보기/cdn.vox-cdn.com/uploads/chorus_asset/file/25404717/delta_app_store.png)
게임 에뮬레이터 Delta 개발자인 Riley Testut는 Patreon 구독을 유도하기 위해 Apple iOS App Store의 앱 내 구매 가격을 3배로 인상했습니다. 이는 Apple의 외부 결제 링크 허용 정책을 활용하면서 동시에 Apple의 앱 내 결제 시스템에 대한 항의의 의미를 담고 있습니다. Patreon 구독은 iPad 및 SEGA Genesis 지원, 비공개 Discord 접근, 보다 편리한 환불 및 고객 지원과 같은 추가적인 혜택을 제공합니다.
더 보기
izabera라는 프로그래머가 Bash 스크립팅 언어를 사용하여 놀라울 정도로 정교한 의사 3D 게임을 개발했습니다. 이 프로젝트는 고전 게임 Wolfenstein 3D에 대한 오마주이며, GitHub에서 오픈 소스로 공개되어 있습니다. 코드는 간결하지만 결과는 훌륭하며, Bash의 기능과 프로그래머의 창의성을 보여줍니다. 저장소에는 게임 소스 코드와 데모 비디오가 포함되어 있습니다. 관심 있는 개발자는 GitHub에서 확인할 수 있습니다.
더 보기
기존 빌드 도구는 대규모 코드베이스(100~10,000명의 활동 개발자)에서 어려움을 겪습니다. Bazel이나 Mill과 같은 모노레포 빌드 도구는 여러 언어, 사용자 정의 빌드 작업, 자동 캐싱 및 병렬 처리, 원격 캐싱 및 실행을 지원하여 빌드 속도와 효율성을 크게 향상시킵니다. 또한 종속성 기반 테스트 선택 및 빌드 작업 샌드박싱 기능을 통해 테스트 시간과 비결정성을 줄입니다. 이러한 기능은 소규모 프로젝트에서는 불필요해 보일 수 있지만, 대규모 프로젝트의 대규모 협업과 지속적 통합에는 필수적이며, 빌드 시간이 병목 현상이 되는 것을 방지합니다.
더 보기
Anthropic은 효과적인 AI 에이전트 구축에 대한 통찰력을 공유하며, 복잡한 프레임워크나 라이브러리보다 간단하고 조합 가능한 패턴의 중요성을 강조합니다. 이 글에서는 워크플로우와 에이전트의 차이점을 설명하고, 프롬프트 체이닝, 라우팅, 병렬 처리, 오케스트레이터-워커, 평가자-최적화자 등 에이전트 구축의 다양한 패턴을 자세히 설명합니다. 단순성, 투명성, 그리고 신중하게 설계된 에이전트-컴퓨터 인터페이스를 유지하는 것이 중요함을 강조합니다. 마지막으로, 고객 지원 및 코딩 에이전트의 사례를 통해 AI 에이전트의 실용적인 가치를 보여줍니다.
더 보기
DOS 2.11 소스 코드를 재구성하는 동안 저자는 어려움에 직면했습니다. 오래된 MASM 1.25 어셈블러는 디렉토리를 지원하지 않아 트리 구조를 사용하는 현대적인 파일 구성과 충돌했습니다. 단일 디렉토리를 피하기 위해 저자는 영리하게 DOS APPEND 명령어를 사용했습니다. APPEND는 TSR(Terminate and Stay Resident) 프로그램으로, 파일 열기 등의 시스템 호출을 가로채고 현재 디렉토리에 파일이 없으면 미리 정의된 경로 목록을 검색합니다. 이를 통해 MASM 1.25는 계층 구조 내에서 파일을 찾을 수 있었고, 비호환성이 해결되어 특정 시나리오에서 APPEND의 놀라운 유용성이 강조되었습니다.
더 보기
LWN.net은 io_uring 서브시스템에 새로운 프로세스 생성 기능이 개발 중이라고 보도했습니다. 이 기능은 새로운 io_uring 연산인 IORING_OP_CLONE(새 프로세스 생성)과 IORING_OP_EXEC(새 프로그램 로드를 위한 execveat() 시스템 콜 실행)을 통해 구현됩니다. 이를 통해 효율성이 향상되고 경로 검색 등 복잡한 로직을 커널 내에서 비동기적으로 실행할 수 있습니다. 그러나 이 기능은 아직 초기 단계이며, 새 프로세스 내에서 io_uring 연산을 동기적으로 실행해야 하는 등 몇 가지 제약이 있습니다. 향후 개발에서는 유연성을 높이고 최종적으로 메인라인 Linux 커널에 병합하는 것을 목표로 합니다.
더 보기
OpenAI는 ESP32와 같은 마이크로컨트롤러에서 실시간 API를 사용할 수 있도록 openai-realtime-embedded-sdk를 출시했습니다. Linux와 ESP32S3을 지원하며, 물리적 하드웨어 없이 Linux에서 테스트할 수 있습니다. protobufc를 설치하고 대상 플랫폼, Wi-Fi, OpenAI API 키를 설정한 후 애플리케이션을 빌드하고 배포할 수 있습니다. 이를 통해 OpenAI의 강력한 AI 기능이 임베디드 디바이스로 확장되어 IoT 및 에지 컴퓨팅 애플리케이션의 가능성을 넓힙니다.
더 보기
이 글에서는 야심찬 오픈소스 프로젝트인 FujiNet을 사용하여 오래된 Tandy Coco 컴퓨터를 인터넷에 연결하는 저자의 과정을 자세히 설명합니다. FujiNet은 빈티지 컴퓨터에 필요한 주변 장치를 하나로 통합하는 것을 목표로 합니다. 저자는 조립 과정에서 납땜의 어려움, 하드웨어 버그, 소프트웨어 호환성 문제 등 많은 어려움에 직면했습니다. 이러한 장애물에도 불구하고 인터넷에 연결하고 ISS 추적기와 게임 등 다양한 애플리케이션을 성공적으로 실행했습니다. 이 경험은 오픈소스 커뮤니티의 활기와 레트로 컴퓨팅의 가능성을 보여주며, 하드웨어 수리와 소프트웨어 개발의 즐거움을 보여줍니다.
더 보기
6년간의 우주 비행 끝에 NASA의 파커 태양 탐사선은 크리스마스 이브에 역사적인 업적을 달성하려 하고 있습니다. 전례 없는 속도로 태양 대기권에 돌입하여 태양 표면에서 불과 380만 마일 거리까지 접근합니다. 이 대담한 임무의 목적은 50년 이상 과학자들을 괴롭혀 온 태양풍의 기원에 대한 미스터리를 밝히는 것입니다. 탐사선은 섭씨 1371도를 넘는 극한 고온에 견디기 위해 내열성 티타늄-지르코늄-몰리브덴 합금과 사파이어 결정관 등 최첨단 소재를 탑재하고 있습니다. 이 획기적인 시도는 태양풍과 그것의 태양계에 대한 영향을 밝힐 것입니다.
더 보기