25주년을 기념하여 iText는 iText Suite 9.1을 출시했습니다. 이번 릴리스는 iText Core에서 SVG 구현을 대폭 확장하여 텍스트 배치, 글꼴 처리를 개선하고 상대 크기 속성 지원을 추가했습니다. 또한 구조적 태깅 정보를 추가할 때 특히 대규모 표 생성 성능을 크게 향상시켜 PDF/A 및 PDF/UA에 매우 중요합니다. pdfHTML 애드온도 성능 향상의 이점을 누리고 이제 GraalVM Native Image 컴파일을 지원하여 리소스가 제한된 환경에서 PDF 생성의 유연성이 향상되었습니다. 기타 개선 사항으로는 향상된 디지털 서명 기능, 향상된 PDF/UA-2 지원 및 다양한 애드온 업데이트 등이 있습니다.
더 보기
60년 동안 수학자들을 괴롭혀 온 ‘움직이는 소파 문제’가 마침내 해결되었습니다! 1960년대, 수학자들은 언뜻 보기에 단순한 기하학 문제를 제기했습니다. 그것은 너비 1단위의 복도를 돌 수 있는 소파의 최대 면적이 얼마인가 하는 문제였습니다. 최근 서울 연세대학교의 Jineon Baek 박사는 119페이지 분량의 논문에서 1992년 Joseph Gerver가 제안한 소파 모양이 최적의 해이며, 그 면적은 약 2.2195임을 증명했습니다. Baek 박사의 증명은 컴퓨터에 의존하지 않고 정교한 수학적 기법을 사용했다는 점에서 주목할 만합니다. 이는 다른 최적화 문제 해결에도 새로운 접근 방식을 제공합니다. 이 결과는 가장 단순한 최적화 문제조차도 놀라울 정도로 복잡한 답을 가질 수 있다는 것을 보여줍니다.
더 보기
이 글에서는 전 세계 다양한 문화에서 '눈'을 표현하는 방법과 상징적 표현을 탐구합니다. 고대 중국의 상나라 갑골문자에서부터 중국 고대의 술 항아리에 새겨진 '풍화설월' 문양, 나시족 동바 문자, 이누크티투트 어로 표현되는 다양한 눈의 종류에 대한 자세한 설명까지 다양한 표현 방식을 살펴봅니다. 또한 고대 그리스, 이집트, 히브리, 마야 문명에서 눈과 관련된 단어와 기호를 분석하여 각 문화에서 눈에 대한 독특한 이해와 표현 방식, 그리고 그 문화적 배경과 역사적 기원을 밝힙니다.
더 보기
GitHub 프로젝트에서 SQLite 기반 키-값 저장소를 소개합니다. 이 저장소는 자동 JSON 직렬화를 통해 JavaScript와 유사한 객체 조작을 가능하게 합니다. `createDatabaseClient` 함수는 독립적인 reader(`rdr`)와 writer(`wtr`) 구성 요소를 갖춘 병렬 클라이언트를 생성합니다. writer는 부분적인 JSON 업데이트에 프록시를 사용하고, reader는 일반 JavaScript 객체를 반환합니다. 포괄적인 테스트는 기본적인 CRUD 작업, 중첩된 업데이트, 삭제, 배열 조작 등을 포함합니다.
더 보기
SRCL은 터미널 미학을 사용하여 웹 애플리케이션, 데스크톱 애플리케이션 및 정적 웹사이트를 구축하는 데 도움이 되는 오픈 소스 React 컴포넌트 및 스타일 저장소입니다. 액션 바, 아코디언, 버튼, 알림 배너, 아바타, 배지, 로더, 블로그 게시물, 브레드크럼, 카드, 체크박스, 체스판, 코드 블록, 콤보 박스, 데이터 테이블, 날짜 선택기, 대시보드, 데이터베이스 예시, 드롭다운 메뉴, 빈 상태, 입력 필드, 양식, 링크, 목록, 메시지, 모달, 탐색 바, 팝오버, 진행률 표시줄, 라디오 버튼, 선택, 사이드바, 슬라이더, 테이블, 텍스트 영역, 툴팁 및 트리 뷰 등 광범위한 컴포넌트를 갖추고 있으며, 레트로 터미널 스타일로 디자인되었습니다.
더 보기
이 글에서는 Rust 프로그래밍 언어에 정제 타입을 추가하는 실현 가능성을 탐구합니다. 측정 단위를 확인하기 위해 정제 타입을 사용한 정적 분석기 YAIOUOM의 경험을 바탕으로 Rust의 타입 시스템 내에서 정제 타입을 구현하는 방법을 살펴봅니다. 트레잇 해결 변경, 타입 변수 통합, 컴파일 후 타입 검사를 위한 플러그 가능한 키워드 메커니즘 도입 등 여러 가지 방법이 제시됩니다. 컴파일 초기 단계에서 단위 정보를 무시하고 나중에 확인하는 낙관적인 접근 방식이 더 실용적인 것으로 간주됩니다. API 설계와 에러 메시지 처리에 대해서도 논의됩니다. 앞으로 할 일에는 피드백 수집, 플러그인을 지원하는 rustc 드라이버 작성, Flux나 Liquid Haskell의 하위 집합 등 여러 정제 타입 구현이 포함됩니다.
더 보기
DB-Engines는 PostgreSQL이 2년 연속 DBMS 오브 더 이어로 선정되었다고 발표했습니다. 이는 총 5번째 수상입니다. PostgreSQL은 모니터링 대상인 다른 423개 시스템을 제치고 2024년 가장 인기 있는 데이터베이스 관리 시스템으로 자리매김했습니다. 성능 향상과 확장된 복제 옵션이 추가된 PostgreSQL 17 출시는 그 성공을 더욱 확고히 했습니다. Snowflake가 2위를 차지했으며, Microsoft의 Azure SQL Database와 SQL Server는 여전히 강력한 경쟁자로 남아 있습니다.
더 보기
SPath는 JSON, TOML 또는 사용자 정의 변형과 같은 반정형 데이터에 대한 JSONPath와 유사한 쿼리 표현식을 제공하는 Rust 크레이트입니다. JSONPath를 대체하여 사용할 수 있으며 여러 데이터 형식을 지원합니다. 라이브러리는 사용하기 쉽고 프로젝트의 Cargo.toml 종속성에 `spath`를 추가하기만 하면 됩니다. 예제에서는 SPath를 사용하여 JSON 데이터를 쿼리하고 결과를 확인하는 방법을 보여줍니다.
더 보기
CodeStory는 대규모 테스트 시간 추론을 활용하여 swebench-verified 벤치마크에서 최첨단 결과를 달성하고 문제의 62.2%를 해결했습니다. Sonnet 3.5 LLM과 간단한 툴셋을 사용했으며, 초기 MCTS 프레임워크를 확장성을 위해 포기했습니다. 여러 가상 머신과 Anthropic 계정에서 다수의 에이전트를 실행하여 소규모 팀이라도 복잡한 소프트웨어 엔지니어링 문제 해결에서 규모의 힘을 입증했습니다. 이는 '규모가 모든 것을 정복한다'는 '쓴 교훈'을 강화하며, 소프트웨어 엔지니어링 분야에서 AI를 위한 새로운 패러다임을 제시합니다.
더 보기
Arcan은 단일 사용자를 위한 사용자 인터페이스 중심의 네트워크 오버레이 운영체제로, 사용자에게 컴퓨팅 디바이스에 대한 완전한 자율성을 제공하도록 설계되었습니다. Linux 또는 BSD 커널에 의존하지 않고 다양한 에코시스템에서 '방랑자'처럼 작동합니다. Arcan은 효율적인 프로세스 간 통신을 위해 공유 메모리 인터페이스(SHMIF)와 A12 네트워크 프로토콜을 사용하며, 'frameserver'를 사용하여 보안에 민감한 작업을 격리합니다. 프로그래밍 가능한 인터페이스 ALT, Appl 애플리케이션 모델 및 다양한 사용자 인터페이스(Console, Durden, Safespaces)를 통해 유연하고 강력한 시스템을 구축합니다. Arcan은 대규모 플랫폼의 네트워크 잠금 및 보안 위협에 맞서 사용자의 자율성과 보안을 향상시키는 것을 목표로 합니다.
더 보기
이 글에서는 자체 하드웨어에서 대규모 언어 모델 DeepSeek R1을 실행하는 간단한 방법을 설명합니다. Arch Linux와 Ollama 도구를 사용하여 저자는 DeepSeek R1 설치, 구성 및 실행 과정을 안내합니다. 이 과정에는 전용 GPU가 장착된 컴퓨터 또는 가상 머신과 기본적인 Linux 지식이 필요합니다. 보안이 강조되며, 기본 시스템에서 실행하지 않는 것이 좋습니다. 최종적으로 사용자는 DeepSeek R1을 로컬에서 실행하고 클라우드 없이, 구독 없이, 데이터 유출 없이 AI 경험을 즐길 수 있습니다.
더 보기
위키피디아 2024년 접속 순위가 발표되었으며, 미국 대선 관련 인물과 사건이 상위를 차지했습니다. 상위 10위 중 절반 이상이 후보자나 선거 결과와 관련된 것이었습니다. 할리우드 영화도 선전하여, 마블의 '데드풀 & 울버린'과 '듄: 파트 투' 등이 높은 인기를 자랑했습니다. 또한, 넷플릭스 범죄 다큐멘터리 시리즈 '몬스터즈: 라이얼과 에릭 메넨데스 스토리' 등도 많은 접속을 기록했습니다. 순위에는 인도 총선, 스포츠 이벤트, 테일러 스위프트와 사브리나 카펜터 같은 인기 가수, 그리고 ChatGPT와 일론 머스크 같은 기술 관련 인물도 포함되어 있습니다. 이 2024년 순간 포착은 세계적인 사건과 대중의 관심을 보여주며, 위키피디아가 주요 정보 출처로서의 역할을 하고 있음을 나타냅니다.
더 보기
Canva 엔지니어링 팀은 지속적 통합(CI) 빌드 시간을 평균 80분에서 30분 미만, 경우에 따라 15분까지 크게 단축하는 데 성공했습니다. 이는 다각적인 접근 방식을 통해 달성되었습니다. Bazel 캐시 문제의 식별 및 해결, 파이프라인 구조 최적화, Git 저장소 체크아웃 및 캐싱 개선, Bazel 원격 빌드 실행(RBE) 활용 등이 포함됩니다. 또한 다양한 인스턴스 유형 테스트 및 Bazel 설정 조정 등 광범위한 실험이 수행되었습니다. 일련의 증분적 개선을 통해 CI 효율성이 크게 향상되고 비용이 절감되었으며 개발자 경험이 향상되었습니다.
더 보기
이 글에서는 고성장 스타트업이 직면하는 일반적인 PostgreSQL 확장 과제를 다룹니다. 락 경합, 인덱스 팽창, TOAST 스토리지 비효율성, 수직 확장 대 수평 확장의 복잡성, 추가 전용 테이블 대 업데이트가 많은 테이블, 멀티테넌시 등의 문제를 다룹니다. 각 문제에 대해 데이터베이스 매개변수 조정 및 동시성 도구부터 데이터 액세스 패턴 재고려 및 자문 잠금과 같은 기능 사용에 이르기까지 실용적인 해결책을 제공합니다. 또한 부하 상태에서의 스키마 변경, 제로 다운타임 업그레이드, 효율적인 COUNT 쿼리 전략 등의 고급 주제도 탐구합니다. 까다로운 환경에서 PostgreSQL 성능을 최적화하려는 엔지니어에게 귀중한 자료입니다.
더 보기
중세 일본의 가장 큰 도시 중 하나였던 일승곡에서 발굴 조사가 진행되어 사무라이들의 풍요로운 삶과 도시의 놀라운 번영을 보여주는 귀중한 유물들이 발견되었습니다. 고고학자들은 사무라이 주택, 아사쿠라 씨 저택터, 정교한 도자기와 다기, 그리고 일본에서 가장 오래된 화단 등을 발굴했습니다. 전성기에는 교토와 견줄 만한 규모를 자랑했던 일승곡은 오다 노부나가에 의해 파괴되어 400년 이상 잊혀져 왔지만, 재발견된 이 유적은 무로마치 후기 일본의 도시 생활과 전국 시대 사무라이 문화를 이해하는 데 매우 귀중한 정보를 제공합니다.
더 보기
아마존은 현재 진행 중인 거래와 관련된 불확실성을 강조하는 성명을 발표했습니다. 언급된 잠재적 위험에는 거래 조건 미충족, 규제 당국의 승인 실패, 거래 지연 또는 실패, 예상되는 이익 달성 불가능 등이 포함됩니다. 아마존은 실제 결과가 기대치와 크게 다를 수 있다고 강조했으며, 법적으로 요구되는 경우를 제외하고는 정보를 업데이트할 의무가 없다고 밝혔습니다. 투자자는 미래 예측 진술에 과도하게 의존하지 않도록 주의해야 합니다.
더 보기
25년 동안 자체 하드웨어를 운영해 온 Fastmail은 클라우드 서비스 대신 자체 하드웨어를 선택하는 이유를 자세히 설명합니다. 신중한 하드웨어 계획, 내부 운영 전문성, 하드웨어 수명 최대화를 통해 상당한 비용 최적화를 달성했습니다. 초기 SAS 및 SATA 드라이브에서 현재 NVMe SSD 및 ZFS 파일 시스템으로 지속적인 업그레이드를 수행하고 Zstandard 압축을 활용하여 효율성과 안정성을 높였습니다. 클라우드 스토리지, HDD 업그레이드, NVMe SSD 서버 구축 세 가지 옵션에 대한 비용 비교 결과, 뛰어난 안정성, 성능, 비용 효율성, 그리고 내부 네트워크의 완벽한 활용이라는 이유로 후자를 선택했습니다.
더 보기
이 글은 리눅스 커널에서 잘 알려지지 않은 네트워크 최적화 기술인 바이트 큐 제한(BQL)에 대한 이야기입니다. BQL은 장치 큐 제한을 동적으로 조정하여 버퍼 블로트 문제를 해결하고 대기 시간을 줄입니다. 저자는 Sun Microsystems 시절에 배운 핵심 개념을 바탕으로 BQL의 설계 철학, 구현, 알고리즘 세부 사항을 설명하고, 다이어그램과 데이터를 사용하여 성능 향상과 잠재적 단점을 분석합니다. 새로운 하드웨어로 인해 BQL이 구식이 될 수 있지만, 저가형 장치에서의 가치는 여전히 중요합니다.
더 보기
이 글에서는 ChatGPT의 작동 방식을 프로그래머를 위해 자세히 설명합니다. 일반적인 AI/ML 모델 개념은 건너뛰고 OpenAI의 ChatGPT 모델에 초점을 맞춰 아키텍처, Transformer 네트워크 사용, 그리고 강화 학습(RLHF)을 통한 대화 작업에 대한 미세 조정을 설명합니다. 토큰화, 모델 학습, 응답 생성 과정과 정확하고 문맥에 맞는 응답을 보장하는 데 있어 RLHF의 역할에 대해서도 설명합니다.
더 보기
이 글에서는 디자인에서 '위대함'의 정의를 탐구합니다. 저자는 진정한 디자인의 위대함은 명성이나 인지도가 아니라 작품이 인간의 욕구를 충족하는 정도에 있다고 주장합니다. 많은 뛰어난 디자이너와 그들의 작품은 알려지지 않았습니다. 그들의 디자인은 일상생활에 매끄럽게 통합되어 있기 때문에 사람들은 그것을 당연하게 여기고 그 이면에 있는 독창성을 간과합니다. 저자는 주목도를 가치와 동일시하는 현재의 사회 분위기를 비판하며, 진정으로 위대한 디자인은 문제를 해결하고 편리함과 기쁨을 제공하는 디자인이지, 단지 관심을 끌기 위한 디자인이 아니라고 지적합니다.
더 보기
이전에 Python을 tmux에서 실행하도록 컴파일하는 프로젝트에 이어, 저자는 이번에 tmux 내에서 완전히 수도쿠 솔버를 만들었습니다. 배열이나 문자열을 사용하지 않고, tmux의 변수와 키 바인딩을 영리하게 활용하여 수도쿠의 각 칸을 tmux의 옵션에 매핑합니다. 솔버는 모든 가능성을 무차별 대입 방식으로 시도하기 때문에 효율성이 매우 낮습니다. 하지만 이 프로젝트는 tmux의 놀라운 기능과 저자의 독창성을 보여주는 것으로, 해커 정신을 증명합니다.
더 보기
데이비드 럼지 역사 지도 컬렉션에는 존 탈리스 앤 코가 1840년에 출판한 런던 거리 풍경 컬렉션이 있으며, 런던 거리를 상세하게 묘사한 88개의 세밀한 그림으로 구성되어 있습니다. 찰스 비고의 삽화와 윌리엄 가스피의 역사적 설명으로 제작된 이 복합적인 뷰는 19세기 초 런던의 모습을 엿볼 수 있게 해주며, 도시 경관, 도로, 관광 등을 보여줍니다. 런던 도시 개발을 연구하는 데 귀중한 1차 자료이며, 당시 인쇄 기술의 증거이기도 합니다.
더 보기
이 글은 프로젝트 매니저 소니아가 버그를 발견하지만 엔지니어 제리가 사용자 오류로 치부하는 상황을 자세히 설명합니다. 저자는 리더로서 처음에는 부드러운 소통을 시도하지만 제리의 오만한 태도로 인해 직접적인 대립이 필요해집니다. 문제는 해결되지만 직접적인 소통의 중요성과 리더가 팀의 결정과 프로세스를 유지하면서 갈등을 해결해야 할 필요성이 강조됩니다. 저자는 팀 내 신뢰와 정직한 업무의 필요성을 강조합니다.
더 보기
Chrome은 AI 기반의 새로운 검색 기록 기능을 선보였습니다. 정확한 키워드나 웹사이트 주소를 몰라도 자연어로 검색 기록을 찾을 수 있습니다. 이 기능을 사용하려면 미국에 거주하고 영어 Chrome을 사용하며 18세 이상이고 Google 계정에 로그인해야 합니다. 활성화하면 방문한 페이지의 내용이 로컬에 저장되어 AI 매칭에 사용됩니다. 설정에서 언제든지 비활성화할 수 있습니다. 결과는 생성된 답변 요약과 검색 기록에서 가장 일치하는 결과(최대 3개)로 표시됩니다. Google은 안전 정책 개선 및 대규모 언어 모델과 관련된 과제 해결 등 이 기능 개선을 위해 수집된 데이터를 사용합니다.
더 보기
Instant팀은 제로 다운타임으로 PostgreSQL을 버전 13에서 16으로 업그레이드한 경험을 공유합니다. 현장 업그레이드와 블루-그린 배포를 시도했지만 모두 실패했습니다. 결국 새로운 PostgreSQL 16 복제본을 생성하고, 구독 및 쓰기를 단계적으로 전환하고, 새로운 트랜잭션을 잠시 일시 중지하여 데이터 손실 없이 업그레이드를 완료하는 수동 접근 방식을 채택했습니다. 사용자 정의 함수 검색 경로 문제 및 시퀀스 데이터 복제 문제와 같은 과제에 직면했으며, 이 과정에서 얻은 귀중한 교훈을 공유합니다.
더 보기
이전에는 콜드 스프링 하버 연구소(CSHL)에서 관리하던 프리프린트 서버 bioRxiv와 medRxiv가 독립적인 비영리 단체 openRxiv로 출범했습니다. 찬 저커버그 이니셔티브(CZI)의 1600만 달러 지원금으로 뒷받침되어 생물학 및 의학 연구 프리프린트 공유를 위한 중요 플랫폼의 장기적인 지속가능성을 보장합니다. 설립 이후 bioRxiv는 268,000건 이상의 프리프린트를, medRxiv는 약 64,000건의 프리프린트를 각각 게시하여 합쳐서 월간 1,100만 명이 넘는 독자를 확보했습니다. openRxiv의 설립은 프리프린트 서버의 성숙에서 중요한 단계이며, 과학 출판 생태계에서의 중요한 역할을 강조합니다.
더 보기
Nvidia RTX 5090 Founders Edition에서 전원 커넥터 용융 문제가 2년 전 RTX 4090 문제와 매우 유사하게 다시 발생했습니다. 두 명의 사용자가 전원 커넥터 및 PSU 손상을 보고했으며, 이미지에는 MODDIY 및 FSP와 같은 신뢰할 수 있는 제조업체의 케이블을 사용하더라도 PSU 쪽과 GPU 쪽 모두에서 플라스틱이 타버린 모습이 나타나 있습니다. Nvidia는 이전에 케이블 잘못 연결을 원인으로 지목했지만, 이번 재발은 12VHPWR 커넥터 설계에 대한 우려를 다시 한번 제기합니다. PCI-SIG는 신뢰성을 높이기 위해 커넥터를 12V-2x6으로 업데이트했지만, RTX 5090은 여전히 이전 12VHPWR 케이블과 호환됩니다. 기존 8핀 PCIe 커넥터를 사용하는 AMD는 이전에 12VHPWR이 화재 위험이 있다고 시사했습니다. 12VHPWR 커넥터는 설계 결함으로 여전히 비판을 받고 있습니다.
더 보기
약 3년과 9200만 달러의 시간과 비용을 들여 월리스 애넨버그 야생동물 횡단교 프로젝트가 중요한 이정표에 도달했습니다. 토양 설치 완료입니다. 로스앤젤레스 101번 고속도로로 인해 야기된 야생동물 서식지 단편화 문제를 해결하기 위해 설계된 이 횡단교는 멸종 위기의 퓨마를 포함한 동물들에게 안전한 통로를 제공할 것입니다. 지역 미생물이 풍부한 특수 배합 토양 6000큐빅 야드가 추가되어 지역 생태계를 복원합니다. 이 프로젝트는 두 단계로 나뉩니다. 토종 식물 파종 및 식재를 포함한 1단계는 올 여름에 완료될 예정입니다. 주변 언덕과 구조물을 연결하는 2단계는 2026년 말까지 완료될 예정입니다. 이 프로젝트는 생태 복원에서 인간의 창의성을 보여주며, 유사한 노력에 귀중한 경험을 제공할 것입니다.
더 보기
TLA+는 코드 레벨 이상에서 소프트웨어를, 회로 레벨 이상에서 하드웨어를 모델링하기 위한 언어입니다. IDE와 모델 검사 도구를 갖추고 있으며, 가장 일반적으로 사용되는 도구는 TLC 모델 체커입니다. 수학에 기반하며, 어떤 프로그래밍 언어와도 크게 다릅니다. PlusCal은 더 쉽게 습득할 수 있는 알고리즘 기술 언어이며, 검사를 위해 TLA+ 모델로 변환됩니다. TLA+ 모델은 시스템의 동작을 상태 시퀀스로 설명하고, 코드 레벨 이상의 모델링의 중요성을 강조하여 설계 결함을 방지하고 시스템 단순화를 촉진합니다. 한 산업 프로젝트에서는 TLA+를 사용하여 실시간 운영 체제의 코드 크기를 10분의 1로 줄일 수 있음을 보여주었습니다.
더 보기
프로그래머가 화면을 바라보는 것에서 뜨개질의 촉각적 경험으로 옮겨간 과정을 이야기합니다. 이 글에서는 뜨개질을 완만한 학습 곡선과 무한한 가능성을 지닌 오픈 월드 게임에 비유합니다. 저자는 뜨개질에서 얻는 신체적, 정신적 이점, 유형의 것을 창조하는 만족감을 공유하고, 다른 프로그래머들에게도 이 활동을 시도해 볼 것을 권장합니다. 일과 삶의 균형을 맞추고 소중한 사람을 위한 의미있는 선물을 만드는 방법으로.
더 보기