백엔드

한 줄 요약: IERS가 2026년 12월 말 윤초(leap second)를 넣지 않겠다고 공지했다. 새로 추가되는 1초가 없다는 소식이지만, 개발자들이 반응한 이유는 시간 동기화가 여전히 운영에서 까다로운 문제이기 때문이다. 무슨 일이 있었나 2026년 7월 6일, 국제지구자전좌표국(IERS, International Earth Rotation and Reference Systems Service)은 Bulletin C 72를 통해 2026년 12월 말 윤초를 도입하지 않는다고 공지했다. 공지의 범위는 명확하다. 대상 시점: 2026년 12월 말 결정 내용: UTC에 윤초를 추가하지 않음 현재 차이: 2017년 1월 1일 0시 UTC 이후, UTC-TAI = -37초 발표 주체: IERS Earth Orientation Center 공지 성격: 6개월마다 윤초 도입 여부를 알리는 정례 Bulletin C 윤초는 UTC(Coordinated Universal Time)를 지구 자전 기반 시간인 UT1과 크게 어긋나지 않게 유지하기 위해 넣는 1초 보정이다. 원자시인 TAI(International Atomic Time)는 균일하게 흐르지만, 지구 자전은 완벽하게 일정하지 않다. 그래서 UTC는 원자시를 기반으로 하되, 필요할 때 1초를 끼워 넣어 천문학적 시간과의 차이를 맞춰왔다. ...

한 줄 요약: AI 감시는 카메라 수가 늘어나는 문제를 넘어, 검색 가능한 행동 데이터와 자동 집행이 결합되는 문제다. 쟁점은 보안 효과만이 아니라 누가 규칙을 만들고, 그 규칙이 틀렸을 때 누가 되돌릴 수 있느냐다. 무슨 일이 있었나 2026년 7월 10일, Bruce Schneier와 Jon Penney는 AI 감시가 민주주의와 사회 변화에 미칠 영향을 다룬 글을 공개했다. 글의 문제의식은 분명하다. AI 기반 감시 시스템이 공공장소의 얼굴, 이동, 행동, 온라인 활동까지 연결하면 위반 탐지와 처벌이 거의 실시간에 가까워질 수 있다는 것이다. ...

한 줄 요약: 신뢰는 감사 로그를 많이 쌓는 일이 아니라, 특정 사용자·시점·행위에 대해 시스템이 답할 수 있게 만드는 구조다. 다만 모든 것을 기록하려 들면 데이터 과잉 수집과 운영 부채로 쉽게 바뀐다. 왜 지금 이슈인가 엔지니어링 신뢰, AI 에이전트 거버넌스, 감사 로그, OIDC 세션 메타데이터는 서로 다른 주제처럼 보인다. 실무에서 마주치는 질문은 결국 하나다. “이 시스템이 그때 맞게 동작했다는 것을 지금 증명할 수 있는가?” 이 글에서 참고한 사례는 운동선수 데이터를 다루는 플랫폼이다. 내부적으로는 접근 제어(Role-Based Access Control), 공유 정책, 삭제 절차가 갖춰져 있었다. 문제는 선수 노조가 한 선수의 특정 날짜 데이터 접근 기록, 외부 파트너 공유 여부, 삭제 요청이 백업·분석 복제본·학습된 모델에 어떻게 반영됐는지 요구하면서 드러났다. ...

한 줄 요약: Prolog에서 LLM을 llm/2 술어처럼 부르는 실험은 단순한 문법 장난이 아니다. 결정적 추론 엔진과 확률적 언어 모델을 한 시스템 안에서 어디까지 같이 쓸 수 있는지 묻는 설계 문제다. 핵심은 LLM을 논리의 일부로 믿을지, 논리 바깥의 불안정한 제안기로 둘지다. 왜 지금 이슈인가 LLM 에이전트, 테스트 자동화, 인프라 운영 도구가 늘어나면서 개발자들이 다시 묻는 질문이 있다. 자연어 모델을 기존 프로그래밍 언어 안에 함수처럼 넣어도 되는가? 선정 글감인 pllm은 이 질문을 작은 형태로 보여준다. SWI-Prolog에서 llm/2 또는 llm/3를 호출하면 OpenAI 호환 chat/completions 엔드포인트에 프롬프트를 보내고, 응답 문자열을 Prolog 변수와 단일화(unification)한다. ...

한 줄 요약: AI 에이전트, 컨테이너 배포, 모델 실험 환경이 플랫폼 안으로 들어오고 있다. 설정 단계는 줄지만, Kubernetes에서 직접 다루던 통제권, 보안 경계, 관측성을 어디에 둘지는 다시 정해야 한다. 왜 지금 이슈인가 Vercel Container Registry, Vercel Services, Dockerfile 기반 Functions, Hugging Face와 SageMaker Studio 연동은 서로 다른 제품 소식처럼 보인다. 그러나 공통점은 뚜렷하다. 인프라 배선이 제품 경험 안으로 들어가고 있다. 예전에는 모델을 고르고, 클라우드 콘솔을 열고, IAM 권한을 맞추고, GPU 쿼터를 확인하고, 컨테이너 이미지를 외부 레지스트리에 올리고, 프론트엔드와 백엔드를 따로 배포한 뒤 CORS와 내부 통신을 정리해야 했다. Kubernetes나 ECS 같은 범용 런타임을 직접 운용할 때는 익숙한 절차지만, AI 에이전트나 샌드박스 워크로드처럼 실험 주기가 짧은 팀에는 시작 비용이 된다. ...

한 줄 요약: OpenBSD의 로컬 권한 상승 CVE가 Hacker News에서 주목받은 이유는 취약점 하나의 점수보다, 커널의 작은 메모리 수명 문제가 root 권한까지 이어질 수 있다는 점에 있다. 운영자는 패치 여부만 볼 것이 아니라, 로컬 공격면과 배포 일정을 함께 판단해야 한다. 무슨 일이 있었나 2026년 6월 24일, NVD에 CVE-2026-57589가 등록됐다. 대상은 OpenBSD 7.9 이하 버전이다. NVD는 이 취약점을 sys/kern/sysv_sem.c의 sys_semget() 경로에서 발생하는 use-after-free로 설명했다. NVD 설명에 따르면 문제는 tsleep 이후 컨텍스트 스위치 과정에서 생기며, 로컬 권한 상승을 통해 root 권한 획득으로 이어질 수 있다. ...

한 줄 요약: AI 거버넌스 논쟁의 핵심은 로봇 전시가 아니라, 누가 컴퓨트·표준·조달·감사 권한을 쥐고 AI for Good의 의미를 실제 시스템에 반영하느냐에 있다. 무슨 일이 있었나 제네바에서 열린 UN AI for Good Summit은 이름만 보면 방향이 분명해 보인다. AI를 인류의 문제 해결에 쓰자는 행사다. 하지만 WIRED가 전한 현장은 그렇게 단순하지 않았다. 한쪽에는 로봇개, 테슬라, 구조 헬리콥터, 휴머노이드 로봇, 라이브 코딩 세션이 있었고, 다른 한쪽에서는 인권, 조달, 표준, 컴퓨트 격차, 빅테크 의존을 둘러싼 불편한 얘기가 오갔다. ...

한 줄 요약: AI 토큰 가격 인상은 한 업체의 과금 변경으로만 볼 일이 아니다. 에이전트가 토큰을 쓰는 방식, 로컬 LLM 하드웨어의 한계, 오픈 모델 운영비가 사용자 비용으로 드러나기 시작했다. 무슨 일이 있었나 Reddit LocalLLaMA에 Neuralwatt 가격이 7월 16일부터 두 배로 오른다는 이메일을 받았다는 글이 올라왔다. 제공된 자료의 기준일이 2026년 7월 10일이므로, 이 글에서는 2026년 7월 16일 시행 예정으로 읽는다. 다만 원문 제목에는 연도가 적혀 있지 않다. 확인된 사실은 좁다. 당사자: Neuralwatt 이용자로 보이는 Reddit 게시자와 LocalLLaMA 커뮤니티 범위: Neuralwatt의 LLM 사용 가격, 특히 GLM 5.2 접근 용도로 쓰던 사용자들의 비용 문제 일정: 게시글 제목 기준 7월 16일부터 가격 두 배 인상 반응: 게시자는 값싼 토큰의 시대가 끝나고, 지속 가능한 길은 로컬 LLM뿐일 수 있다고 해석했다 아직 확인되지 않은 부분도 따로 봐야 한다. ...

한 줄 요약: 로컬 AI 추론에서 먼저 봐야 할 것은 744B 모델을 개인 장비에서 돌릴 수 있느냐가 아니다. 메모리, 디스크, 브라우저, GPU, 개인정보의 경계를 어디에 둘지가 더 중요하다. 커뮤니티가 반응하는 이유도 성능 과시보다 AI 인프라 비용과 통제권을 다시 나눌 여지가 보이기 때문이다. 왜 지금 이슈인가 Kubernetes 클러스터에 GPU 노드를 붙이고, 모델 서버를 띄우고, 프롬프트와 응답을 모두 중앙 API로 보내는 방식은 단순하다. 하지만 AI 에이전트와 온디바이스 추론(On-device Inference)이 실무 제품에 들어오면 질문이 달라진다. ...

한 줄 요약: C++ to Rust 자동 변환과 AI 코드 마이그레이션에서 관건은 언어 교체 자체가 아니다. 커뮤니티가 검증 가능한 의미 보존 체계를 갖췄는지다. 안전한 Rust 출력보다 먼저 확인할 것은 테스트 오라클, 런타임 경계, 운영 전환 비용이다. 왜 지금 이슈인가 C++ to Rust 자동 변환, AI 코드 마이그레이션, 대형 시스템 재작성은 이제 연구실 데모와 스타트업 블로그에서 동시에 얘기된다. Cpp2Rust는 C++ 코드를 clang AST로 읽고, 기본값으로 완전한 safe Rust를 만든다고 설명한다. 포인터는 libcc2rs의 Ptr<T>로 바꾸고, null, 포인터 산술, aliasing 같은 C 포인터 의미는 런타임 체크로 모델링한다. ...