수십 년 동안 소프트웨어의 신뢰할 수 있는 컴퓨팅 기반(TCB)에서 만연하는 메모리 안전성 취약성이 악성 코드와 파괴적인 공격의 온상이 되어 왔습니다. 이 기사에서는 보편적인 강력한 메모리 안전성을 위한 중요한 단계로 메모리 안전성 표준화를 주장합니다. 메모리 안전 언어, 하드웨어/소프트웨어 보호, 형식적 방법, 구획화에 대한 최근의 발전은 해결책을 제공하지만, 공통 용어의 부족이 채택을 방해하고 있습니다. 표준화는 업계의 모범 사례를 개선하고 이러한 기술의 광범위한 사용을 방해하는 시장 실패를 해결하여 궁극적으로 모든 사람에게 안전한 소프트웨어를 제공합니다.
이 작은 전자책에서는 코모도어 64와 애플 II와 같은 상징적인 기기를 작동시킨 역사적인 프로세서인 6502 어셈블리 언어를 소개합니다. 어셈블리 언어를 배우면 컴퓨터 아키텍처를 깊이 이해할 수 있습니다. 사용자 친화적인 설계 덕분에 6502는 이상적인 출발점입니다. 이 책에서는 레지스터, 플래그, 명령어, 주소 지정 모드, 스택에 대해 설명하고, 간단한 Snake 게임을 만들어 마무리합니다. 실습 학습을 위해 온라인 어셈블러와 시뮬레이터가 포함되어 있습니다.
arXivLabs는 협력자가 arXiv의 새로운 기능을 웹사이트에서 직접 개발하고 공유할 수 있는 프레임워크입니다. arXivLabs에 참여하는 개인 및 조직은 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 arXiv의 가치를 수용하고 준수합니다. arXiv는 이러한 가치에 전념하며, 이를 준수하는 파트너와만 협력합니다. arXiv 커뮤니티에 가치를 더할 프로젝트 아이디어가 있으십니까? arXivLabs에 대해 자세히 알아보세요.
대부분의 개발팀은 사이버 보안 '레드팀'에 익숙하지만, 이 글에서는 모든 개발팀이 더 넓은 의미의 '레드팀'을 구축해야 한다고 주장합니다. 이 팀에는 디자인 결함을 확인하는 사람(GitHub의 과거 광고판 사건처럼 난처한 시각적 요소를 방지하기 위해), 광고 차단기를 사용하는 사람(광고 차단기가 활성화된 경우에도 사이트가 정상적으로 작동하는지 확인하기 위해), 그리고 비밀번호 관리자를 사용하는 사람(로그인 양식의 자동 입력을 원활하게 하기 위해)이 포함되어야 합니다. 이러한 단순해 보이는 역할은 난처한 실수를 방지하고, 더욱 세련된 제품과 향상된 사용자 경험으로 이어집니다.
`explore_heap`는 `LD_PRELOAD`를 통해 로드되는 glibc 힙 디버거로, 프로그램의 힙 메모리를 대화형으로 검사하고 조작할 수 있습니다. `libheap_explorer.so`를 로드하고 SIGINT 신호(Ctrl+C)로 프로그램을 중단하면 사용자는 REPL에 들어가 청크 할당 및 해제, 프리 리스트, tcache, fastbin, bin 리스트를 표시하여 메모리 관련 문제 디버깅에 도움을 받을 수 있습니다. 현재 Arch Linux의 glibc 2.41+에서 테스트되었으며, 다른 최신 glibc 버전에 적용하려면 상수를 조정해야 합니다.
Rust를 Linux 커널에 통합하는 과정이 순탄치 않다. 여러 커널 유지보수 담당자가 Rust 사용에 강하게 반대하며, 여러 언어 사용으로 인한 복잡성과 위험 증가를 이유로 든다. 최근 Rust 드라이버의 DMA API 사용을 둘러싼 논쟁이 다시 불거졌다. 커널 유지보수 담당자인 Christoph Hellwig는 Rust 코드를 명확히 거부하며, 다중 언어 프로젝트 유지보수가 어렵고 Rust 개발자가 C 코드와의 인터페이스를 직접 처리해야 한다고 주장한다. Rust for Linux 프로젝트는 추상화 계층을 통해 통합을 간소화하려는 반면, Hellwig는 이것이 유지보수 오버헤드를 증가시킨다고 주장한다. 이 논쟁은 Linux 커뮤니티 내 프로그래밍 언어 선택에 대한 상반된 입장과 기존 대규모 시스템에 새로운 기술을 통합하는 어려움을 보여준다. 최종 결과는 아직 불확실하지만 Linux의 미래 방향에 큰 영향을 미칠 것이다.
Go 1.24는 암호화 패키지를 대대적으로 리팩토링하여 FIPS 140-3 준수를 달성했습니다. 순수 Go(및 Go 어셈블리)로 구현된 FIPS 140-3 검증 암호화 모듈을 통해 cgo나 시스템 호출에 대한 의존성을 제거한 것이 주요 특징입니다. Microsoft Go 1.24도 업데이트되어 macOS 미리 보기 지원과 향상된 Azure Linux 지원이 추가되었지만, 암호화에는 시스템 라이브러리를 계속 사용하며 공식 Go 방식과는 다릅니다. GODEBUG=fips140=on이나 GOFIPS140=latest와 같은 새로운 환경 변수는 FIPS 모드를 제어합니다. FIPS 준수 시스템(Azure Linux, Windows)에서는 런타임이 자동으로 활성화됩니다.
Gordon Kamer는 AI 플랫폼 Abbey를 지원하기 위해 강력한 웹 스크래핑 API를 개발했습니다. 이 API는 로컬에서 실행되며, URL을 입력으로 받아 웹사이트 데이터와 스크린샷을 반환합니다. Playwright와 Docker 기반으로 구축되어 JavaScript를 실행하며, 메모리 제한 및 프로세스 격리와 같은 보안 기능을 갖추고 있습니다. JSON 데이터, 페이지 콘텐츠, 최대 5개의 스크린샷을 포함하는 멀티파트 응답을 반환합니다. API 키를 통한 접근 제어, 메모리 할당 및 스크린샷 매개변수 사용자 정의가 가능합니다.
이 글은 자신의 프로그램을 실행하는 대신 다른 사람의 서비스를 사용하는 것을 의미하는 '서비스로서의 소프트웨어 대체(SaaSS)' 개념을 탐구합니다. 리처드 스톨먼은 SaaSS가 계산 프로세스가 다른 사람이 제어하는 서버에 위탁되기 때문에 사용자의 컴퓨팅 제어 권한을 박탈한다고 주장합니다. 이는 데이터 유출 및 백도어와 같은 보안 위험을 초래하는 독점 소프트웨어와 유사합니다. 저자는 SaaSS를 거부하고 자신이 제어하는 컴퓨터에서 실행되는 자유 소프트웨어와 프로그램을 사용하도록 촉구합니다.
redbean으로 작성된 작은 GUI 애플리케이션으로, SQLite 데이터베이스를 SQLite가 보는 방식대로 페이지 단위로 탐색할 수 있습니다. Windows, Linux, macOS 등 다양한 OS에서 작동하는 6.5MB의 단일 실행 파일이며, 인덱스 저장 방식, 데이터 압축, B-트리 구조 등 내부 구조를 이해하는 데 도움이 됩니다. 다국어 실행 파일을 사용하고 있으므로 바이러스 경고가 표시될 수 있지만, 신뢰할 수 있는 프로젝트이며 개발자에게 독특한 관점을 제공합니다. 대규모 데이터베이스에서는 속도가 느려질 수 있습니다.
이 글에서는 4년 이상 운영되어 온 프로덕션 환경의 멀티플레이어 모바일 게임 서버를 Scala 2.13에서 Scala 3로 마이그레이션한 저자의 경험을 자세히 설명합니다. 첫 시도는 Scala 3에서 주요 기능(매크로 어노테이션, 타입 프로젝션 등)이 제거되었고 대규모 코드 변경이 필요했기 때문에 실패했습니다. 1년 후, 저자는 Scala 2 코드베이스에 Scala 3 구문을 선행 적용하고, IntelliJ의 코드 검사 도구, Monocle 렌즈를 생성하는 사용자 지정 sbt 소스 제네레이터, 타입 프로젝션에 대한 창의적인 해결책 등 다각적인 접근 방식을 통해 마이그레이션에 성공했습니다. 의존성 충돌이나 컴파일 시간 지연과 같은 문제도 발생했지만, 라이브러리 포크, Scala 3의 Tuple.Map을 사용한 코드 최적화 등의 방법으로 해결했습니다. 어려움은 있었지만, 이 마이그레이션은 Scala 3의 메타 프로그래밍 기능의 힘과 가치를 보여줍니다.
OpenLDK는 Common Lisp로 완전히 구현된 Java Just-In-Time(JIT) 컴파일러 및 런타임 환경입니다. Java 바이트코드를 점진적으로 Lisp로 변환한 다음 네이티브 머신 코드로 컴파일하여 Java와 Common Lisp 간의 간격을 해소합니다. 이 독특한 접근 방식을 통해 Java 클래스를 Common Lisp Object System(CLOS) 클래스에 매끄럽게 매핑할 수 있으므로 Java와 Common Lisp 코드베이스를 손쉽게 통합할 수 있습니다. 고성능을 목표로 하지는 않지만 OpenLDK는 Lisp 워크플로우에 Java 라이브러리를 통합하는 실용적인 솔루션을 제공합니다. 현재 Linux와 SBCL을 주로 지원하며 개발 중이며, Java 8 이상의 클래스 파일 지원 및 바이트코드 검증 등 많은 기능이 아직 구현되지 않았습니다.
GitHub Copilot이 주요 업데이트를 통해 더욱 강력해졌습니다! 새로운 에이전트 모드는 Copilot에 더 큰 자율성을 부여하여 코드 반복, 오류 감지 및 수정, 명시적으로 지정되지 않은 하위 작업 추론 및 완료까지 가능하게 합니다. Copilot Edits는 이제 일반 공개되어 여러 파일을 아우르는 코드 편집과 매끄러운 대화형 인터페이스를 제공합니다. 또한 GitHub는 'Project Padawan'이라는 코드명의 자율적인 소프트웨어 엔지니어 에이전트를 공개했는데, 이는 GitHub의 이슈를 직접 처리하고 완벽하게 테스트된 풀 리퀘스트를 자동으로 생성하며 리뷰어까지 할당하는 기능을 가집니다. 이러한 업데이트는 개발자들을 반복적인 작업에서 해방시켜 더 창의적인 작업에 집중할 수 있도록 지원합니다.
이 글에서는 코드 리팩토링의 함정을 살펴보고 모든 코드가 리팩토링을 필요로 하는 것은 아니라는 점을 강조합니다. 저자는 리팩토링이 적절하지 않은 몇 가지 시나리오를 제시합니다. 예를 들어, 버그 수정이나 서드파티 변경 후 조정을 리팩토링으로 시도하는 것, 불필요한 추상화를 도입하여 코드 복잡성을 증가시키는 것, 여러 코드 냄새를 동시에 처리하는 것, 테스트되지 않은 코드의 리팩토링, 그리고 변경되지 않는 코드의 리팩토링 등입니다. 이 글에서는 리팩토링은 점진적이어야 하며, 동작을 유지하고, 테스트 적용 범위가 있는 작고, 되돌릴 수 있는 변경을 포함해야 한다고 강조합니다. 이해가 부족하거나 새로운 요구 사항이 나타나면 리팩토링을 일시 중지하는 것이 좋습니다. 자주 변경되고 복잡한 코드를 리팩토링하면 최상의 결과를 얻을 수 있습니다.
이 글에서는 게임에서 지형 위 물의 흐름을 시뮬레이션하기 위한 간단하고 효율적인 방법인 가상 파이프 방법을 소개합니다. 천수 방정식을 기반으로 하며, 스태거드 그리드를 사용하여 물의 흐름을 가상 파이프로 연결된 물기둥으로 처리합니다. 수위 차이에 따라 물의 흐름을 가속화하고, 유출 스케일링을 통해 음수의 물 양을 방지합니다. 저자는 흐름 가속화, 유출 스케일링, 물기둥 업데이트라는 세 가지 단계를 자세히 설명하고 코드 예시를 제공합니다. 이 방법은 이해하기 쉽고, 계산 효율이 높으며, 지형 수정과 물 시뮬레이션이 필요한 게임(도시 건설 게임 등)에 적합합니다. 관성이나 속도 확산이 없다는 등의 몇 가지 제한 사항이 있지만, 대부분의 게임 시나리오에서는 실용적입니다.
arXivLabs는 협력자가 새로운 arXiv 기능을 웹사이트에서 직접 개발하고 공유할 수 있는 프레임워크입니다. arXivLabs와 협력하는 개인 및 조직은 개방성, 커뮤니티, 우수성, 사용자 데이터 개인 정보 보호라는 당사의 가치를 수용합니다. arXiv는 이러한 가치에 전념하며, 이러한 가치를 공유하는 파트너와만 협력합니다. arXiv 커뮤니티에 도움이 되는 프로젝트 아이디어가 있으십니까? arXivLabs에 대해 자세히 알아보세요.
Par는 선형 논리의 표현력을 실제로 적용하려는 실험적인 동시 프로그래밍 언어입니다. 고유한 특징으로, 프로세스는 채널을 통해 통신하며, 각 채널은 최대 두 개의 끝점을 가지고, 데드락이 발생하지 않습니다. 모든 값은 채널이며, 리스트, 함수, 무한 스트림 등을 포함합니다. 현재 Par는 기본 자료형이나 비결정성 등 몇 가지 기능이 부족하지만, 이미 풍부한 동시성을 표현합니다. 이 기사에서는 채널, 시그널, 재귀, 표현식 구문 등을 다루는 Par의 구문, 의미 체계 및 예제를 자세히 설명합니다. 대화형 플레이그라운드를 통해 사용자는 Par의 동시성을 경험할 수 있습니다.
이 글에서는 C 프로그래밍에서 크로스 플랫폼 타이머 API의 과제를 탐구합니다. 저자는 Linux, FreeBSD, NetBSD 등 다양한 Unix 시스템이 타이머를 매우 다르게 처리한다는 것을 발견했습니다. 신호를 기반으로 하는 POSIX의 timer_create 함수는 다른 OS 프리미티브와의 상호 운용성 저하, 시그널 마스크 간섭 등 여러 문제점을 가지고 있습니다. 이 글에서는 timerfd_create, kqueue, port_create, io_uring 등 다양한 솔루션의 장단점을 자세히 살펴보고, 크로스 플랫폼 애플리케이션에서는 libuv가 하는 것처럼 사용자 공간에서 타이머를 구현하는 것이 더 효율적이고 안정적인 접근 방식이라는 결론을 내립니다. libuv는 타이머 관리에 최소 힙 데이터 구조를 사용하고, poll/epoll/kqueue 등의 시스템 콜을 다중화에 사용합니다.
IoT 신뢰성 플랫폼 Memfault에서 Android (AOSP) SDK 엔지니어를 채용합니다. Memfault에서 Android의 미래를 만들어나가기 위해 다른 SDK(Linux, MCU) 리드 및 여러 크로스 펑셔널 팀과 협력하게 됩니다. 마이크로컨트롤러 SDK부터 백엔드의 대규모 데이터 처리, 프론트엔드의 복잡한 맞춤 차트까지 다양한 기술 스택을 다루게 됩니다. 회사는 기술 전반에 대한 광범위한 기여를 장려하며, 유연한 근무 환경과 정기적인 팀 미팅, 연례 오프사이트 이벤트를 제공합니다.
Markdown의 한계에 지치셨나요? AsciiDoc은 여러분이 필요로 하는 구조적이고 완벽한 기능을 갖춘 대안이 될 수 있습니다. 표, 각주, 상호 참조를 쉽게 처리하고, 문서 구성 및 조건부 콘텐츠를 지원하며, 통합된 에코시스템을 갖추고 있습니다. 이 가이드에서는 애플리케이션 사용자 가이드 예시를 사용하여 메타데이터 설정, 제목 구성, 텍스트 서식, 목록, 표, 속성, 조건부 콘텐츠 등 AsciiDoc의 기능을 자세히 설명합니다. 또한 AsciiDoc 문서의 내보내기 및 관리를 간소화하고 Git과 원활하게 통합하여 Docs-as-Code 워크플로를 구현하는 편집기인 adoc Studio도 소개합니다. AsciiDoc과 Git, adoc Studio를 결합하면 문서 작성 및 유지 관리가 더욱 효율적이고 전문적이 됩니다.
go-multikeymap은 여러 개의 키를 가진 맵 데이터 구조를 구현한 고성능 Go 라이브러리입니다. MultiKeyMap과 BiKeyMap 두 가지 유형을 제공합니다. MultiKeyMap은 하나의 기본 키와 여러 개의 문자열 보조 키를 허용하며, BiKeyMap은 두 키 모두 고유해야 합니다. 둘 다 동시 및 비동시 버전으로 제공되며, 벤치마크 결과는 O(1)에 가까운 접근 시간을 보여줍니다. 이 라이브러리는 사용하기 쉽고, 잘 문서화되어 있으며, 성능 평가를 위한 벤치마크 결과가 포함되어 있습니다.
Web Origami 프로젝트의 비디오 콘텐츠 제작을 효율화하기 위해 프로그래머는 오디오와 비디오 자동 생성을 시도했습니다. 매크로 스크립팅의 번거로움과 복잡한 비디오 편집과 같은 문제에 직면하여 모션 코믹 제작으로 전환했습니다. HTML/CSS와 최소한의 JavaScript 애니메이션을 사용하여 스크립트에서 오디오와 비디오를 생성하는 시스템을 구축했습니다. Origami의 기능을 통해 테스트와 업데이트가 용이해졌습니다. 이러한 접근 방식을 통해 그는 스토리텔링에 집중할 수 있었고 효율성이 향상되었으며 비디오 업데이트의 번거로움이 줄었습니다.
Alpine Linux의 주요 인프라는 서비스가 종료되는 Equinix Metal에 의존하고 있습니다. 이로 인해 다운로드 미러, 지속적 통합, 개발 환경에 영향을 미칩니다. 서비스 연속성을 보장하기 위해 Alpine Linux는 네덜란드 인근의 공동 위치 공간, 베어메탈 서버(미러 및 CI용), 가상 머신 및 재정적 기여 등 커뮤니티의 지원을 요청하고 있습니다. 지속 가능한 자금 조달의 중요성을 강조하고 Open Collective를 통한 기부를 장려하고 있습니다.
복잡한 Markdown 에디터에 지치셨나요? Marksmith는 Ruby on Rails 개발자를 위해 GitHub 스타일의 깔끔한 인터페이스와 강력한 기능을 제공합니다. ActiveStorage를 지원하며, 미리보기 패널, 툴바, 목록 연속 등 매끄러운 Markdown 작성에 필요한 모든 기능을 갖추고 있습니다. 또한 Avo와 통합되어 미디어 라이브러리 관리도 간편합니다. 지금 바로 사용해 보세요!
OpenWrt 커뮤니티는 OpenWrt 23.05 버전에 대한 주요 업데이트인 OpenWrt 24.10 안정화 버전 출시를 자랑스럽게 발표합니다. 1년 이상 개발되었으며 5400개 이상의 커밋이 포함되어 있습니다. OpenWrt One을 포함하여 100개 이상의 새로운 기기를 추가하여 1970개 이상의 기기를 지원합니다. OpenWrt 23.05에서 업그레이드하는 것은 일반적으로 sysupgrade 유틸리티를 통해 지원되지만, 설정 백업을 강력하게 권장합니다. 그러나 Linksys E8450, Xiaomi AX3200, Zyxel GS1900 시리즈 스위치와 같은 특정 기기 사용자는 기기 손상을 방지하기 위해 특별 업그레이드 절차를 따라야 합니다.
Vulnerability-Lookup은 다양한 소스의 취약점을 신속하게 상호 연관시키고 조정된 취약점 공개(CVD) 프로세스를 간소화하는 강력한 오픈소스 플랫폼입니다. NIST NVD 및 CISA를 포함한 여러 소스로부터의 가져오기를 지원하며, 사용자는 취약점 관찰 추가, 의견 추가, 번들 생성을 수행할 수 있습니다. API 및 Python 라이브러리를 통해 다른 도구와의 통합이 용이해져 개발자는 자체 관찰 도구를 쉽게 만들 수 있습니다. Vulnerability-Lookup은 GNU Affero GPL v3.0 라이선스하에 제공되며 CIRCL, Alexandre Dulaunoy, Raphaël Vinot, Cédric Bonhomme에 의해 개발되었습니다.
어셈블리어 학습을 시작하기 위한 최적의 지점을 선택하는 것은 어려울 수 있습니다. 이 글에서는 6502 프로세서가 초보자에게 놀랍도록 적합하다는 주장을 펼칩니다. 현대 애플리케이션에서는 널리 사용되지 않지만, 간단한 명령어 세트(단 56개 명령어)와 풍부한 학습 자료 덕분에 어셈블리 기본 개념을 파악하는 데 이상적입니다. Apple II와 Commodore 64와 같은 클래식 컴퓨터에서의 역사 덕분에 많은 에뮬레이터와 학습 자료를 이용할 수 있습니다. 저자는 Easy 6502와 Visual6502.org를 훌륭한 학습 자료로 추천하며, x86-64 및 ARM과 같은 아키텍처의 복잡성과 비교하여 초보자를 위한 6502의 장점을 더욱 강조합니다.
Deno Land의 CEO인 Ryan Dahl이 이끄는 커뮤니티의 노력이 오라클의 "자바스크립트" 상표 소유권에 도전하면서 논쟁을 불러일으키고 있습니다. 오라클은 상표 갱신 신청에 허위 자료를 제출했고 소송 절차를 지연시키려 했다는 비난을 받고 있습니다. 이 분쟁의 핵심은 자바스크립트가 일반적인 용어가 되었는지 여부와 오라클이 상표를 포기했는지 여부입니다. 오라클은 정당한 이유가 있다고 반박하며 추가 증거를 제출합니다. 이 법적 다툼은 기술 대기업의 상표 엄격 보호와 오픈소스 커뮤니티의 공정한 사용 확보 노력을 반영합니다.
Discord Messenger는 놀랍게도 Windows 2000 이상과 호환되는 비공식 Discord 클라이언트입니다. MIT 라이선스로 공개된 이 오픈소스 프로젝트는 베타 버전이며 Discord의 서비스 약관을 위반할 위험이 있습니다. 메시징, 첨부 파일 처리, 이모지 지원 등 주요 기능을 갖추고 있지만 빌드에는 기술적인 기술이 필요합니다. 이 프로젝트는 MinGW와 Visual Studio 빌드를 지원하며 OpenSSL 라이브러리를 컴파일하거나 가져와야 합니다.
이 가이드는 판타지 세계, 외계 문명 또는 단순한 취미로 인공 언어를 만드는 데 필요한 포괄적인 키트를 제공합니다. 저자 마크 로젠펠더는 자연어를 만드는 언어적으로 건전한 방법을 자세히 설명하고, 소리, 어휘, 문법, 알파벳, 필기체 등의 단계를 간략하게 설명합니다. 그는 자신의 Verdurian 언어를 예로 사용하며, Hergé의 Syldavian에서 볼 수 있는 것과 같은 불일치를 피하기 위해 구축 순서의 중요성을 강조합니다. 고급 학습을 위한 추가 리소스와 인쇄본이 제공됩니다.