안드로이드에서 한 번의 탭으로 MMI 명령 실행
안드로이드 앱의 CALL_PHONE 권한과 브라우저에서 열리는 다이얼러 딥링크를 조합하면, 사용자가 링크를 한 번 누르는 것만으로 USSD·MMI 명령을 실행할 수 있습니다. 연구자는 통화 착신 전환을 등록해 전화와 음성 인증 코드를 가로채는 과정을 실기기에서 확인했으며, Android 17에서는 서드파티 다이얼러 없이도 비슷한 경로가 생기는 별도 문제를 발견했습니다.
Lobsters · 최신 글
LineageOS 24.0 공개 — Android 17 기반, 웹 플래싱 도구와 기기 지원 확대
LineageOS 24.0이 Android 17 기반으로 공개됐습니다. 보안 패치와 기본 앱을 업데이트하고 WebUSB 플래싱 도구, CI/CD 개선, 접근성 점검 결과를 소개했습니다. 새 버전과 이전 버전을 합쳐 다수 기기 지원도 추가했습니다.
스위치드 커패시터를 쓰는 1980년대 필터 칩 내부
1980년대 아날로그 필터 칩 MF10을 현미경으로 분석해 회로 구성과 제조 방식을 설명합니다. 저항 대신 스위치드 커패시터를 쓰는 원리부터 비중첩 클록, 3단계 입력 핀까지 다루며, 칩 안에서 신호 처리를 구현한 방법을 보여줍니다.
순환 트레이트 구현에서 외부 증명 방식이 통하지 않는 이유
Rust의 슈퍼트레이트를 확인하는 두 방식, 모듈식 증명과 외부 증명을 비교합니다. 외부 증명은 호출자가 슈퍼트레이트까지 확인하게 하지만 unsafe 트레이트에서는 잘못된 구현을 호출자가 신뢰해야 하는 모순이 생기므로, 글은 모듈식 증명이 필요하다고 주장합니다.
Kiesel 개발 기록 #15: 0.4.0 출시
Zig로 작성한 JavaScript 엔진 Kiesel이 Zig 0.17로 업데이트되고 0.4.0을 출시했습니다. 명령행 인자·환경 변수 API, Iterator 헬퍼, SerenityOS 포트와 인라인 캐시 개선을 담았으며, 인라인 캐시 변경은 마이크로벤치마크에서 20~30% 속도 향상을 보였습니다.
SNTPings: ICMPv6 패킷으로 공동 캔버스 그리기
SNTPings는 IPv6 ping 패킷의 주소에 좌표와 색상 정보를 담아 여러 사람이 함께 그리는 행사입니다. 주최 측은 트래픽을 분석하고 패킷 손실을 조절하는 네트워크 구성과 최대 1.6Tbps를 수용하는 수신 환경을 소개합니다.
콘텐츠 높이에 맞춰지는 iframe
Chrome 154는 `frame-sizing: content-height`로 iframe 높이를 콘텐츠에 맞춥니다. 다만 임베디드 페이지도 메타 태그로 동의해야 하며, 콘텐츠가 바뀌면 `requestResize()`를 호출해야 합니다. 현재 Chromium에서만 지원합니다.
전구형 컴퓨터: 프로젝터로 공간·주변 컴퓨팅을 다시 상상하다
Lightbulb Computer는 프로젝터와 컴퓨터 비전을 결합해 집 안의 표면에 정보를 띄우고, 손가락으로 가리키거나 음성으로 조작하는 공간 컴퓨팅 디자인 프로토타입입니다. 스마트 안경 대신 여러 사람이 함께 쓰는 투사형 컴퓨팅을 제안하며, 현재 시제품의 구성과 프라이버시 조건도 설명합니다.
AI가 필연적이라는 주장은 근거가 약합니다
글은 기술의 필연성을 사회적 가치, 대안보다 압도적인 성능, 영향력을 상쇄할 방법의 부재로 정의하고 LLM이 이 조건을 충족하는지 따집니다. LLM은 일부 업무에 쓸모가 있지만, 대체로 도입하지 않는 쪽이 밀려날 만큼 우월하지 않으므로 필연적이라기보다 사회·경제적 조건에 따라 채택되는 기술이라고 주장합니다.
소프트웨어를 둘러싼 커뮤니티의 중요성
소프트웨어의 윤리성을 판단할 때 라이선스만 볼 것이 아니라 프로젝트를 이끄는 커뮤니티도 살펴야 한다고 주장합니다. 사용자는 코딩 외에도 문서화, 분류, 홍보 등으로 참여하며 프로젝트의 가치에 목소리를 보탤 수 있습니다.
스핀락은 해롭습니다 (2020)
스핀락은 잠금이 풀릴 때까지 CPU를 점유하며 기다리므로, 잠금 보유 스레드가 선점되면 대기 스레드까지 CPU를 낭비하고 우선순위 역전을 일으킬 수 있습니다. 글은 Rust의 no_std 환경에서도 스핀락을 무조건 대안으로 삼지 말고, 운영체제 뮤텍스나 초기화 구조를 검토하라고 제안합니다.
표준 C에서는 문자열의 부동소수점 변환 오류를 이식성 있게 확인하기 어렵습니다
strtod 계열 함수의 오류 보고 방식은 표준 C와 POSIX에서 다릅니다. 오버플로·언더플로에는 math_errhandling과 구현별 제약이 따르고, 숫자 변환에 실패했는지는 errno가 아니라 endptr로 확인해야 합니다.
‘로봇’은 사회적 구성물입니다 — 식기세척기는 왜 로봇이 아닐까요
이 글은 로봇을 기술적 기능만으로 정의하기 어렵고, 사회가 새롭거나 불편하게 느끼는 자동화 기계에 붙이는 이름이라고 주장합니다. 식기세척기는 자동화 시스템이지만 물건을 다루지 않으며, 인간의 정체성이나 일자리를 돌아보게 하지 않으므로 로봇이 아니라는 설명입니다.
테마는 많지만, Pi는 당신의 테마를 따릅니다
Pi의 새 기본 테마는 터미널 색상에서 색상 계열을 가져오고, 가독성에 맞춰 명도와 채도를 조정합니다. 글에서는 ANSI 팔레트만으로 복잡한 터미널 UI의 대비를 보장하기 어려운 이유와 OKLCH·OKHSL을 활용한 생성 과정을 설명합니다.
분기 없는 코드에 끼어드는 조건 분기
소스에서 비트 연산으로 분기를 없애도 컴파일러가 RISC-V용 조건 분기로 바꿀 수 있습니다. 컴파일러 버전과 최적화 옵션, 대상 CPU의 명령어 확장에 따라 결과가 달라지므로 상수 시간 암호 코드는 생성 어셈블리를 다시 확인해야 합니다.
인간은 섬이 아닙니다
저자는 AI가 지식 노동을 대신하면 개인의 지적 활동을 뒷받침하던 공동체도 약해진다고 주장합니다. 코드를 쓰고 글을 읽는 사람이 줄면 공유 지식과 동료의 인정이 사라지고, 그 결과 오랫동안 이어지는 지적 활동도 줄어든다는 논지입니다.
코딩 에이전트는 왜 이렇게 멍청할까요?
글쓴이는 모델 성능이 좋아져도 코딩 에이전트는 작업 분할과 위임, 계획 전달, 보안에서 병목으로 남아 있다고 지적합니다. 병렬 작업과 모델 선택을 자동화하고, 운영체제 수준의 샌드박스와 에이전트 자체 기능에 관한 지식을 기본 제공하자고 제안합니다.
Python 3.15.0 정식 출시
Python 3.15.0이 3.14 이후의 주요 기능과 최적화를 담아 정식 출시됐습니다. 실험적 JIT 성능 개선과 UTF-8 기본 인코딩, 지연 임포트, 프리 스레딩 지원 확대가 포함됐으며 macOS 27.0의 Tk 기반 앱 문제도 안내합니다.
네 가지 정리 증명기의 이야기 — Isabelle/HOL, Lean, HOL4, Agda 비교
저자는 네 정리 증명기에서 유클리드 방식으로 소수의 무한성을 증명하고, 자동화·증명 과정 확인·정리 검색·사용 경험을 비교합니다. Isabelle/HOL과 HOL4는 자동화가 강하고, Agda는 증명 과정을 명시적으로 드러내지만 수작업이 많다는 평가입니다.
Unison Cloud 오픈소스 공개
Unison Cloud가 MIT 라이선스로 공개됐습니다. Unison 언어로 노드 풀을 분산 컴퓨터처럼 프로그래밍하며, 빠른 서비스 배포와 분산 작업, 트랜잭션 저장소 등을 제공합니다.