read: fail

1992년 제작된 테트리스, 2024년 OpenVMS x86에서 컴파일하기

1992년에 개발된 GENERIC-TETRIS 게임을 최신 OpenVMS x86(버전 9.2-3)에서 실행하는 방법을 소개합니다. 이 글은 소스 코드를 OpenVMS 시스템으로 옮기고, C 컴파일러와 curl을 설치한 후, 테트리스를 컴파일하고 실행하는 과정을 단계별로 설명합니다.

VeriNum: 수치 방법의 형식 검증

VeriNum은 수치 소프트웨어의 정확성과 정밀도를 형식적으로 검증하는 연구 프로젝트 모음입니다. 이 연구는 실수에 대한 이산 알고리즘의 성질 증명, 부동 소수점 알고리즘이 실수 알고리즘을 어떻게 근사하는지 증명하는 것을 포함합니다. Coq 증명 보조기를 사용하여 모든 증명을 연결합니다.

15년 된 커브 피팅 버그 수정하기

15년 된 버그를 추적하고 해결한 이야기입니다. Perl 모듈 'Algorithm::CurveFit'은 새로운 Debian 시스템에서 작동을 멈췄지만, 오래된 Debian jessie에서는 계속 작동했습니다. 이 문제를 해결하기 위해, 개발자는 코드와 테스트 스위트를 조사하고, 문제의 원인을 파악하여 수정했습니다. 이 과정에서 소프트웨어 유지 관리의 어려움과 책임에 대해 성찰합니다.

uv: 통합 파이썬 패키징 도구

2023년 2월에 출시된 uv는 Rust로 작성된 매우 빠른 파이썬 패키지 관리자입니다. 이제 프로젝트 관리, 도구 관리, 파이썬 설치 등의 새로운 기능을 추가하여 pip 대안을 넘어서는 기능을 제공합니다. uv는 파이썬 개발의 모든 단계를 지원하며, 초보자부터 대기업 프로젝트까지 확장 가능합니다.

홈 어시스턴트를 위한 2000년형 Baytech RPC2 PDU 시리얼 연결 구축

홈랩에 2000년형 Baytech RPC-2 PDU를 통합하기 위해, 저자는 표준 Cisco 케이블과 다른 핀 배치를 사용하는 맞춤형 케이블을 제작했습니다. 시리얼 통신Home Assistant와의 통합을 시도하며 여러 도전을 극복한 이 프로젝트는 저자에게 큰 자부심을 안겨주었습니다.

워크로드 모델 이해하기

워크로드 모델을 이해하는 것은 시스템의 성능 측정에 중요합니다. 닫힌 시스템은 이전 작업 처리가 끝난 후에 새로운 작업을 받지만, 열린 시스템은 이미 처리 중일 때도 새로운 작업이 도착합니다. 조정된 생략 문제는 열린 시스템을 닫힌 워크로드 생성기로 테스트할 때 발생할 수 있습니다. 하이브리드 모델이 실제 세계의 사용을 더 잘 반영하며, 이는 Artillery에서 사용됩니다.

FauxRPC: protobuf를 가짜 gRPC, gRPC-Web, Connect, REST 서비스로 쉽게 변환

FauxRPC는 protobuf 정의를 기반으로 gRPC, gRPC-Web, Connect, REST 서비스의 가짜 구현을 생성하는 도구입니다. 이를 통해 백엔드 서비스에 의존하지 않고 독립적으로 개발 및 테스트 속도를 높일 수 있습니다. 다양한 프로토콜을 지원하며, 프론트엔드와 백엔드 팀 간 협업을 개선하는 데 유용합니다.

결정적 시뮬레이션 테스팅(DST)의 중요성은 무엇일까?

분산 시스템에서 버그를 찾고 재현하기 어려운 문제를 해결하기 위해 결정적 시뮬레이션 테스팅(DST)이 사용됩니다. 이 방법은 단일 스레드에서 여러 시스템이 통신하면서 발생하는 무작위성과 오류를 제어합니다. DST는 분산 시스템의 안정성을 높이는 데 유용한 기술이지만, 완벽한 해결책은 아니므로 다른 테스팅 방법과 함께 사용해야 합니다.

Go 언어에 키워드 인자 추가하기, 그리 쉽지 않다

Go 프로그래밍 언어에 키워드 인자기본 인자를 추가하는 것에 대한 토론이 이루어졌습니다. 이는 ABI(Application Binary Interface)의 안정성과 공유 라이브러리 사용에 영향을 미칩니다. 키워드 인자를 효율적으로 처리하는 것은 Go 언어의 도전 과제 중 하나로, 다양한 구현 방식을 배제하지 않는 것이 중요합니다.

VS Code의 사용 기한

VS Code가 오래된 맥북 프로에서 성능 저하를 겪으면서, 작성자는 Electron을 사용하지 않고 파일 트리를 쉽게 조작할 수 있는 다른 도구를 찾게 되었습니다. 이제 작성자는 TextMate를 사용하여 웹사이트 작업을 하고 있습니다.

리버브 만들기 (2021)

리버브는 짧은 입력으로부터 긴 지속되는 소리를 생성하여 공간감을 만드는 효과입니다. 이를 위해 컨볼루션피드백 지연 네트워크(FDN) 두 가지 접근 방식이 자주 사용됩니다. 특히 FDN은 효율적이며 실제와 같은 사운드를 만드는 데 도전적일 수 있습니다. 이 문서는 드럼과 피아노 입력에 대한 리버브 예를 제공하며, 초기 반사, 변조, 필터링과 같은 확장 가능성을 탐구합니다.

데이터 인프라 제품을 구축하며 얻은 20년 간의 교훈

데이터 인프라 제품을 20년 동안 구축하면서 얻은 교훈을 공유합니다. 이 경험을 통해 실패와 성공이 어떻게 귀중한 학습 기회가 되는지 알아보세요.

llamafile v0.8.13 출시: gemma2, whisper 및 안정적인 확산 기능 포함

Mozilla Ocho에서 개발한 llamafile은 로컬 LLM 추론 도구로, 2023년 11월에 소개되었습니다. 이번 v0.8.13 버전에서는 Gemma 2B 모델 지원, 성능 향상, 보안 강화 기능이 추가되었으며, OpenAI의 Whisper 모델을 단일 파일로 구현한 Whisperfile도 도입되었습니다. 이 업데이트는 효율성과 보안을 중시하는 사용자에게 특히 주목할 만한 내용입니다.

타입스크립트로 즐기는 스도쿠: 타입 체커가 실수를 잡아내다

타입스크립트를 이용해 스도쿠 타입을 정의하고, 이를 통해 스도쿠 게임을 하면서 타입 체커가 오류를 감지하게 하는 실험입니다. 복잡한 타입 레벨 프로그래밍 기법을 사용하여 도메인 특화 데이터 구조를 모델링하고 검증하는 방법을 탐구합니다. 이는 타입스크립트의 표현력을 보여주는 흥미로운 예시이지만, 실제 사용에는 다소 비현실적일 수 있습니다.

프랙 매거진 제71호 요약

프랙 매거진의 최신호에서는 현대 기술의 문제점과 해커들의 중요성에 대해 다룹니다. 최신 기술이 미개발 상태임에도 불구하고 사람들이 이를 서두르고 있으며, 이로 인해 우리의 능력과 필요에 대한 이해가 점점 흐려지고 있습니다. 하지만, 해커들은 새로운 장벽을 허물고, 우리의 아이디어와 문화적 유산을 자유롭게 하며, 세상을 원하는 모습으로 변형시킬 수 있는 힘을 가지고 있습니다.

Foone, AI 회사 라벨이 붙은 저질 NUC 발견하다

Foone이 전자 폐기물에서 발견한 저질 NUC는 실패한 AI 스타트업의 흔적을 담고 있습니다. 이 스타트업은 헬스케어 관련 AI 프로젝트를 부실한 하드웨어에서 시도했으나 실패한 것으로 보입니다. Foone은 이러한 시도에 대해 회의적이며 비꼬는 태도를 보였습니다.

알고리즘의 갈루아 이론 (2010)

올해 9월에 무료로 진행되는 가상 접근성 포럼이 돌아옵니다! 모든 분들이 참여할 수 있는 이 행사에 등록하려면 제공된 링크를 사용하세요. 행사에 대한 자세한 정보도 확인할 수 있습니다.

Srcbook: 오픈 소스 TypeScript 노트북

Srcbook은 TypeScript 및 JavaScript 노트북 애플리케이션으로, 재현 가능한 프로그램과 아이디어를 생성, 실행, 공유할 수 있습니다. 오픈 소스로 제공되며, Node.js를 기반으로 합니다. 로컬에서 웹 인터페이스를 통해 실행되며, 설치와 사용이 간편합니다.

웨이랜드 화면 캡처 프로토콜 개발 과정

2021년 10월, 새로운 웨이랜드 프로토콜 확장인 ext-screencopy-unstable-v1이 개발되었습니다. 이 프로토콜은 기존의 wlr-screencopy 프로토콜에서 누락된 전체 손상 추적커서 캡처 기능을 추가했습니다. Simon Ser의 관심과 개선 덕분에 최종적으로 ext-image-copy-capture-v1으로 명명되어 통합되었습니다.

샘플링의 모든 것 | utf9k

트레이싱 데이터는 서버에 도달하지 않는 요청, 서비스의 샘플링 정책, 에이전트의 제한, 상위 서비스의 결정 등 여러 단계에서의 샘플링과 근사치 계산으로 인해 현실을 완벽하게 반영하지 못합니다. 그러나 이 데이터는 전반적인 상황을 이해하는 데 충분히 유용합니다.