쌓인 기록에서 찾기
무엇을 찾으세요? 날짜를 몰라도 됩니다. 제목·Key Point·요약·태그를 한꺼번에 뒤집니다.
검색 범위 2026년 8월 13일 (목) 부터 2026년 10월 30일 (금)까지 3636건
6건 · "JVM"조건 지우기 ×
001 15:11 ▲ 102 · 댓글 50 PDF 암호화의 허점, AES-256이 9비트만으로 깨진다 MuPDF 1.28.5 이전 버전을 포함한 여러 PDF 구현이 AES-256 파일 키를 매우 작은 상태 공간에서 생성하고 있다. 보안 · The case of the 9 bit AES key
Key Point PDF 암호화를 위해 도입된 AES-256이 부실한 난수 생성으로 인해 실제로는 수십 비트 수준의 강도만 가지고 있으며, 패스워드 없이 문서를 열 수 있는 심각한 결함이다.
핵심 요약
MuPDF 1.28.5 이전 버전을 포함한 여러 PDF 구현이 AES-256 파일 키를 매우 작은 상태 공간에서 생성하고 있다. MuPDF는 epoch 시간 단위로 시드된 48비트 선형합동발생기를 사용하는데, 키 생성에 사용되는 출력 비트 구조 때문에 실제로는 9비트만 영향을 미친다. 512초 차이나는 타임스탬프는 정확히 동일한 바이트 스트림을 생성하며, 모든 512개 가능한 키를 브루트 포싱하는 데 11밀리초가 소요된다. 전체 요약 10문장 읽기 → 002 00:11 ▲ 101 · 댓글 15 Java 코드를 Lisp에서 직접 실행하는 OpenLDK 런타임 Common Lisp으로 작성된 JIT 컴파일러인 OpenLDK는 Java 바이트코드를 읽어 Lisp으로 번역한 뒤 SBCL을 통해 네이티브 코드로 컴파일하며, Java 객체와 Lisp 애플리케이션이 동일 프로세스·힙에서 살아간다. 인프라 · 데브옵스 · OpenLDK: Bringing the Java World into Common Lisp
Key Point Java 라이브러리를 Common Lisp 애플리케이션과 통합해야 하는 개발자에게는 새로운 선택지를 제시하고, 각 JVM 언어를 하나의 식 안에서 연결하는 폴리글롯 프로그래밍의 가능성을 보여준다.
핵심 요약
Common Lisp으로 작성된 JIT 컴파일러인 OpenLDK는 Java 바이트코드를 읽어 Lisp으로 번역한 뒤 SBCL을 통해 네이티브 코드로 컴파일하며, Java 객체와 Lisp 애플리케이션이 동일 프로세스·힙에서 살아간다. 클래스 로드 시 OpenLDK가 CLOS 표현을 만들고 메서드 스텁을 설치하며, 메서드 첫 호출 시 바이트코드→중간표현→Lisp→네이티브 코드 순으로 컴파일되고 스텁을 대체한다. Java 필드는 CLOS 슬롯이 되고, 인스턴스 메서드는 CLOS 제네릭 함수의 메서드가 되며, 정적 메서드는 일반 Lisp 함수가 되고, Java 예외는 Lisp 조건 계층구조에 대응된다. 전체 요약 13문장 읽기 → 003 21:11 당일 +173 Elasticsearch보다 가볍고 Algolia보다 저렴한 오픈소스 검색 엔진 Typesense는 C++로 작성된 오픈소스 전문 검색 엔진으로, Algolia와 Pinecone의 대체재이면서 Elasticsearch보다 사용하기 쉬운 대안이다. 오픈소스 · 도구 · typesense/typesense · C++
Key Point Elasticsearch의 복잡성과 Algolia의 높은 비용 문제를 동시에 해결하는 오픈소스 검색 엔진으로, 빠른 개발과 운영의 단순함이 필요한 팀들이 자신의 인프라에서 저렴하게 구축할 수 있는 선택지가 생겼다.
핵심 요약
Typesense는 C++로 작성된 오픈소스 전문 검색 엔진으로, Algolia와 Pinecone의 대체재이면서 Elasticsearch보다 사용하기 쉬운 대안이다. 타이핑 오류를 자동으로 처리하고 50ms 이하의 저지연 검색을 지원하며, 단일 인덱스로도 동적 정렬·패싯·필터링·지역 검색 등 다양한 기능을 제공한다. 벡터 검색·의미론적 검색·챗봇 기반 대화형 검색·자연어 쿼리 이해·이미지/음성 검색까지 LLM 기반 고급 기능들을 지원한다. 전체 요약 8문장 읽기 → 004 18:30 당일 +343 온톨로지 변경을 증명으로 검증하는 오픈소스 도구 프로덕션 온톨로지 변경을 계획·적용·롤백할 수 있으며, 영향 범위 보고서와 감사자가 검증 가능한 증명을 제공하는 Rust 기반 도구다. 오픈소스 · 도구 · fabio-rovai/open-ontologies · Rust
Key Point 온톨로지 변경의 모든 결과를 사전에 확인하고, 누구나 검증할 수 있는 증명을 함께 제공함으로써 프로덕션 환경에서의 신뢰성 문제를 근본적으로 해결하는 접근 방식이다.
핵심 요약
프로덕션 온톨로지 변경을 계획·적용·롤백할 수 있으며, 영향 범위 보고서와 감사자가 검증 가능한 증명을 제공하는 Rust 기반 도구다. 한 줄의 삼중항(triple) 변경이 901개의 새로운 결과를 만드는 경우, 텍스트 diff로는 볼 수 없는 의미론적 차이를 드러내는 형태 diff(shape diff) 보고서를 생성한다. 도구가 생성한 증명 파일(asserted.tsv, derivations.tsv)은 Lean 4 검증기로 검수할 수 있으며, 검증 명령어 oo-cert는 JVM 없이 독립적으로 실행 가능하다. 전체 요약 12문장 읽기 → 005 21:11 ▲ 117 · 댓글 25 Haskell 프로그램을 JVM에서 돌리는 새로운 JIT 컴파일러 THC 공개 Edward Kmett이 GHC 9.14.1의 모든 prim-ops을 구현한 'Turbo Haskell compiler' THC를 개발했다. 인프라 · 데브옵스 · Turbo Haskell
Key Point GHC에서 컴파일한 Haskell 코드를 JVM 위에서 고성능으로 실행할 새로운 선택지이며, 다른 언어 라이브러리 직접 연동과 경량 스레드 같은 기능으로 Haskell의 실용성을 높이고 있다.
핵심 요약
Edward Kmett이 GHC 9.14.1의 모든 prim-ops을 구현한 'Turbo Haskell compiler' THC를 개발했다. GHC가 파싱·타입체크·최적화까지 담당하고, THC가 Core를 받아 Truffle/GraalVM 위에서 JIT 컴파일해 실행한다. Template Haskell과 Linear Haskell 등 고급 기능을 완벽히 지원하며, JIT와 Native Image를 통한 AOT 컴파일 모두 가능하다. 전체 요약 13문장 읽기 → 006 06:10 ▲ 100 · 댓글 52 자바 JVM 시작 시 네이티브 코드 미리 준비하기 JEP 544는 AOT(Ahead-of-Time) 컴파일과 JIT(Just-In-Time) 컴파일을 결합해 자바 애플리케이션의 시작 속도와 워밍업 시간을 단축한다. 인프라 · 데브옵스 · JEP 544: Ahead-of-Time Code Compilation
Key Point 자바 애플리케이션의 느린 시작과 워밍업 문제를 근본적으로 해결하는 동시에 동적 최적화의 유연성을 유지하는 핵심 기술로, 컨테이너와 마이크로서비스 환경에서 자바의 효율성을 크게 개선한다.
핵심 요약
JEP 544는 AOT(Ahead-of-Time) 컴파일과 JIT(Just-In-Time) 컴파일을 결합해 자바 애플리케이션의 시작 속도와 워밍업 시간을 단축한다. 훈련 실행 중에 애플리케이션 코드를 네이티브 코드로 컴파일하고 AOT 캐시에 저장해 이후 프로덕션 실행에서 즉시 사용할 수 있게 한다. 워크로드가 변하면 JIT 컴파일러가 동적으로 새로운 네이티브 코드를 생성해 최고 성능을 유지한다. 전체 요약 5문장 읽기 → 