형식적으로 검증된 AES-XTS: s2n-bignum에 추가된 최초의 AES 알고리즘

Show HN: CADrs – Onshape의 Rust 클론

PDFCube: 회전하는 3D 큐브로 PDF 슬라이드 발표하기

모델 방어로서의 환각: 인공지능 오류의 본질에 대하여

Show HN: Agentfork – LLM 에이전트의 특정 단계부터 재실행 및 수정 사항 테스트

구축할 것인가, 포기할 것인가

TinyFFR – 현대 .NET을 위한 무료 실시간 3D 렌더링 라이브러리

Show HN: Ews-scan – .NET 바이너리 내 EWS 호출 및 대응하는 Microsoft Graph API 확인 도구

야생 버섯으로 연주하는 신디사이저 [영상]

Asemic Writing Machine

Oracle DBA에서 Postgres 기여자가 되기까지: Karen Jex 인터뷰

초기화되지 않은 변수: 조용한 컴파일 오류의 사례

AI 에이전트가 실행 전 확인하는 오픈 소스 Kubernetes 대시보드를 만들었습니다

2TI LMailer – 네이티브 Linux 이메일 및 그룹웨어 (Rust, Tauri v2, 로컬 Ollama)

La Silla Vacía 뉴스룸 아카이브용 챗봇을 구축하며 배운 점

해킹당하지 않고 신뢰할 수 없는 Python 코드 실행하는 방법

Rival Radar

Dha Best

Veda: 영혼을 가진 운영체제

Wernelo – 커뮤니티, 크리에이터, 프로젝트 탐색

Dependently Sorted Syntax와 그 의미론 – Carlo Angiuli [영상]

Rui Ma와 함께하는 중국 AI 생태계 지도 [영상]

H. C. Fackelman의 삶과 도구들

미래에 대한 약간의 희망

사랑의 반대말

Vercat – 이동 중에도 Vercel 관리하기

Zero-Skipping을 넘어: 효율적인 추론을 위한 중복 인식 아키텍처 및 시스템 [영상]

Show HN: Crowned – 프로젝트를 위한 실시간 킹 오브 더 힐(king-of-the-hill) 게시판

계층형 캐싱: 오리진 부하를 줄여주지만 아무도 체크하지 않는 설정

CDN 캐시 적중률은 당신을 속이고 있다