한국어로 기술 뉴스 읽기
흥미로운 기사를 빠르게 선택하는 데 도움을 줍니다.
Lovable로 만든 앱들, 로그인 없이 여권 정보와 20만 건 메시지 노출보안 연구진이 Common Crawl 데이터로 Lovable 프로젝트 15만 9,041개를 분석한 결과, Supabase를 쓴 2만 4,664개 사이트 중 상당수에서 로그인 없이 데이터베이스 레코드를 읽을 수 있었다. 독일 라이프스타일 포럼은 8만 개 프로필과 20만 건 넘는 채팅 메시지를, 한 업체는 여권 번호와 유효기간이 담긴 신분증 기록 1,000여 건을 그대로 노출했다. Lovable은 코딩 지식 없이 앱을 만들 수 있다고 홍보하지만, 데이터 보호 책임은 약관상 사용자에게 있다.
"사용하기 쉬운 개발 플랫폼이라고 해서, 애플리케이션이 기밀 데이터를 다루기 전에 접근 권한을 전문가가 검토해야 할 필요가 사라지는 것은 아니다."
SpaceX, Starship 15차 비행에서 우주선을 잡아냈다SpaceX가 Starship 15차 비행에서 발사대의 '젓가락' 팔로 우주선을 공중에서 붙잡는 데 성공했다. 이번 비행의 핵심은 재사용 가능한 초대형 로켓의 회수 기술을 한 단계 더 밀어붙인 것으로, 발사 후 귀환하는 우주선을 발사대에서 직접 회수하는 장면이 생중계로 전해졌다.
"SpaceX가 Starship 15차 비행에서 우주선을 잡아냈다."
코딩은 원래 '비서 일'이었다 — 80년 소프트웨어 직함 계보저자는 'Head of DevOps'로 일한 경험을 살려 1940년대부터 지금까지 소프트웨어 직함 104개를 Graphviz 계보도로 엮었다. 1947년 '코더'는 수학자가 짠 계획을 기계어로 옮기는 하급 사무직이었고, 웹마스터는 1990년대 혼자 웹사이트를 다 하다가 2000년대 중반 사라졌으며, 2023년 프롬프트 엔지니어는 AI engineer에 흡수됐다. 2025년 최신 직함은 'AI Agent / Context Engineer'다.
"1947년에 코딩은 사무적인 부분이었고, 진짜 일은 기획에 있었다. 80년이 흐른 지금, AI 덕분에 코딩에 대해 똑같은 말을 다시 듣게 된다. 지난번에는 코더들이 결국 어려운 부분을 하고 있었다."
PyPI, 악성 패키지 공격에 맞서 보안 신호를 전면에 내세우다PyPI가 사용자 연구를 바탕으로 프로젝트 상세 페이지를 새로 단장했다. 핵심은 새로 생긴 보안 탭으로, 각 릴리스 파일에 붙은 attestation을 확인해 출처가 암호학적으로 검증됐는지 보여준다. 전체 파일에 attestation이 있으면 '전체 provenance', 일부만 있으면 '불완전 provenance' 같은 경고가 뜬다. 출처가 바뀌었거나 사라진 경우도 별도 경고로 표시하며, 이 작업은 OpenSSF의 지원을 받아 Kabu Creative가 구현했다.
"provenance가 없다고 해서 반드시 해당 릴리스나 파일이 악성이라는 뜻은 아니며, 파일의 출처를 암호학적으로 검증할 수 없다는 의미일 뿐이다."
1996년 학생의 Usenet 게시글 하나가 KDE를 만들었다1996년 튀빙겐 대학생 Matthias Ettrich가 Linux 데스크톱을 함께 만들 프로그래머를 구하는 Usenet 글을 올린 것이 KDE의 시작이었다. 이 다큐멘터리는 30년간 KDE가 이룬 성과와 갈등을 조명한다. Qt 라이선스 분쟁과 GNOME과의 경쟁, Apple WebKit과 Google Chrome의 기반이 된 KHTML, 논란이 많았던 KDE 4와 재건 과정을 다룬다. 기술 결정은 기여자에게 맡기고 법적·재정적 책임은 비영리 단체 KDE e.V.가 맡는 모델은 오픈소스 커뮤니티 운영의 본보기가 됐다. 오늘날 KDE는 주요 Linux 배포판과 Steam Deck의 기본 데스크톱이다.
"KDE는 시스템 관리자가 아닌 사람들도 Linux를 데스크톱으로 쓸 수 있게 만들었고, 당시 전무했던 완전하고 일관된 그래픽 환경을 제공했다."
Seagate, 10년 만에 SSD·HDD 하이브리드 드라이브를 부활시키다Seagate가 FireCuda Forge로 하이브리드 저장장치 시장에 다시 뛰어들었다. 8TB(699달러)와 20TB(899달러) HDD에 사용자가 직접 M.2 NVMe SSD를 장착하는 방식으로, SSD는 최대 1TB까지 지원된다. AI 붐으로 저장장치 가격이 폭등한 2026년, 예전 Fusion Drive의 경제성이 다시 유효해진 셈이다. 다만 Alkemi 플랫폼이 드라이브 고장이나 데이터 배치를 어떻게 처리하는지는 아직 공개되지 않았다.
"Seagate의 발표는 '지능형 데이터 티어링'을 언급할 뿐 더 이상의 설명은 내놓지 않는다. 드라이브 하나가 고장 나면 시스템 전체가 실패하는지에 대해서는 끝까지 답하지 않는 것이다."
값비싼 Pi 대신, 왜 중고 스마트폰을 쓰지 않는가?라즈베리 파이와 카메라, GPS, 저장장치 등을 하나씩 붙이다 보면 비용이 눈덩이처럼 불어난다. 대신 중고 스마트폰(Redmi 13C 5G, Huawei Mate 30 5G)은 300~500위안이면 카메라, GPS, 저장공간, 배터리, 터치스크린까지 모두 갖춘다. 저자는 Redmi를 루팅해 카메라와 절전·기상 스케줄을 테스트했고, Codex로 구성 요소를 설정·시험했다. 남은 과제는 배터리 상태가 좋고 카메라 동작이 예측 가능한 중고 기기를 수백 대 확보하는 일이다.
"엄청난 수량으로 만들어진 기기를 가져다가 두 번째 삶을 주고, 내가 조립하려던 하드웨어 대부분이 이미 그 안에 들어 있다는 걸 발견하는 데는 뭔가 재미가 있다."
가족 단톡방에서 '회색 바위'가 되면 벌어지는 일2012년 미국의 정신건강 블로거 Skylar가 사이코패스 전 연인에게서 벗어나기 위해 고안한 '회색 바위(grey rock)' 기법은 상대가 원하는 드라마를 차단해 지루함을 느끼게 만드는 전략이다. 저자는 가족 WhatsApp 단톡방에서 이 기법을 적용해 오랜 논쟁을 잠재웠지만, 지나치게 적용하면 가족과의 관계까지 단절할 수 있고 자신의 의견마저 잃을 수 있다고 경고한다.
"“당신은 단지 회색 바위를 연습하는 것이 아니라, 회색 바위가 되는 것이다. 어디를 가든 회색 바위와 조약돌이 있지만, 당신은 그것들을 알아차리지 못한다. 오늘 본 특정 돌이 기억나지 않는 이유는 그것들이 배경과 어우러지기 때문이다. 사이코패스를 상대할 때는 바로 그런 종류의 지루함을 끌어내야 한다.”"
Google의 AI가 50년 묵은 수학 난제들을 잇달아 풀어냈다Google 연구팀이 Gemini 4 모델과 Antigravity의 /teamwork 멀티 에이전트 워크플로를 활용해 정보이론의 Courtade–Kumar 추측을 Lean 4로 완전 증명하고, 2014년부터 열려 있던 양자 쿼리 복잡도 문제와 STOC 2024의 미해결 과제까지 해결했다. Weil 추측은 180만 줄의 Lean 코드로 자동 형식화됐으며, NMR 데이터로부터 분자 구조를 95% 정확도로 규명하는 등 과학·공학 전반에서 성과를 냈다.
"이 시스템은 또한 91만 9천 줄이 넘는 Lean 코드를 합성해 일반 정수환 위에서의 힐베르트 제10문제에 대한 최근 증명을 최초로 형식화했다."
LinkedIn과 Monster, CBC 취재 후 가짜 채용 공고 1,000건 이상 삭제CBC의 시각 탐사 보도로 원격 근무와 경력 무관을 내세운 1,500여 건의 채용 공고가 LinkedIn과 Monster에서 삭제됐다. 이 공고들은 지원자들을 미국의 다단계 업체 Evolution Travel로 유인해 수백 달러의 가입비와 월 구독료를 요구했다. 연봉 7만 5,000달러를 약속했지만 실제 일자리도 급여도 없었다. LinkedIn은 약 900건, Monster는 600건을 내렸다.
"가짜 일자리라는 미끼로 사람을 낚아채는 겁니다. 급여도 좋고, 집에서 일할 수 있다고 하죠. 일을 하려면 돈을 내야 한다? 일이라는 건 그런 게 아닙니다."
DeepSeek V3 JAX - 190줄 순수 JAX로 구현한 DeepSeek V3 아키텍처DeepSeek V3 JAX는 DeepSeek-V3 기술 보고서의 아키텍처를 단 190줄의 순수 JAX 코드로 재현한 프로젝트입니다. Flax, Equinox, PyTorch 없이 오직 JAX만 사용해 MLA, DeepSeekMoE, 보조 손실 없는 밸런싱, MTP를 구현했으며, MacBook Air에서 공개 도메인 추리 소설 데이터로 처음부터 사전 학습되었습니다. 36.2M 파라미터 모델이 2.6시간 만에 학습되어 검증 손실 3.51을 달성했고, 전문가 로드 밸런싱이 실제로 효과가 있음을 입증했습니다. 코드는 함수 단위로 읽기 쉽게 구성되어 있어 LLM 아키텍처를 공부하려는 개발자에게 이상적인 학습 자료입니다. 릴리스된 체크포인트로 직접 텍스트 생성도 체험할 수 있습니다.
"보조 손실 없이도 전문가 로드가 5.7~6.9%로 고르게 분포했고, 검증 손실은 3.921 대 3.923으로 거의 동일했습니다. 이는 논문의 주장을 그대로 확인시켜 줍니다."
AI 데이터센터를 우주로? SpaceX의 Starship이 판가름한다Google, SpaceX, Blue Origin 등이 궤도 데이터센터를 추진하는 가운데, Forethought의 분석은 경제성을 좌우하는 핵심이 발사 비용임을 보여준다. 우주 태양광은 발사 비용이 kg당 250달러 아래로 떨어지면 지상 오프그리드 전력과 경쟁력을 갖추고, 50달러면 어떤 지상 에너지원보다 싸진다. 냉각 문제는 예상보다 다루기 쉬운 반면, 칩 교체 불가로 인한 40% 추가 하드웨어 비용이 변수다. 결론적으로 2030년 전에는 유의미한 비중을 차지하기 어렵지만, Starship 개발이 순조롭다면 3~5년 내 지상 데이터센터와 경쟁할 수 있다.
"우주 기반 태양광은 발사 비용이 kg당 약 250달러로 떨어지면 오늘날의 오프그리드 지상 전력과 지속적으로 비용이 같아지고, 약 50달러에서는 현재의 어떤 지상 에너지원보다도 저렴해진다."
1965년 Signetics 칩, 다이오드-트랜지스터 논리로 4개의 NAND 게이트 구현CuriousMarc가 정체불명의 IC를 발견해 현미경으로 분석한 결과, 1965년 Signetics 600 시리즈의 ST680A임을 밝혀냈다. 이 칩은 다이오드-트랜지스터 논리(DTL)를 사용해 4개의 NAND 게이트를 구현했으며, 플라스틱 DIP 패키지를 처음 도입한 제품군이었다. 필자는 금속층이 산에 의해 제거된 다이를 관찰하고 배선을 추정해 회로를 재구성했으며, 사용되지 않은 다이오드 2개가 동일 실리콘에 다른 금속층을 적용한 반맞춤형 칩 설계의 흔적임을 밝혀냈다.
"내가 놀랍게도 발견한 것은 Signetics 칩이 이 표준보다 앞서서 접지가 1번 핀, 전원이 8번 핀에 있다는 점이다. 여전히 대각선이지만, 잘못된 대각선이다!"
AI는 영어가 아닌 텍스트에 최대 180배 더 많은 에너지를 쓴다University of Michigan 연구진이 Qwen 3, Gemma 3, Llama 3.1을 대상으로 측정한 결과, 비영어 텍스트 생성 시 영어 대비 1.4~180배의 에너지가 소모됐다. 힌디어는 7.9배, 벵골어는 15.3배로 특히 높았고, 정확도마저 떨어지는 이중 페널티가 나타났다. 데바나가리·벵골 문자처럼 토큰이 많이 필요한 표기법이 주원인이다. 현재 약 52억 명이 모국어로 AI를 쓰려면 두 배 이상의 에너지를 감당해야 한다.
"에너지를 더 많이 소모하는 언어는 모델 출력의 정확도도 더 낮은 경향이 있다. 이중 페널티 때문에 특정 사람들이 AI에서 소외되고, 기업들은 특정 언어로 모델을 제공하기를 더 꺼리게 될 가능성이 커진다."
Terminactory - 터미널에서 즐기는 Rust 기반 방치형 공장 게임Terminactory는 Rust와 ratatui로 만든 터미널 네이티브 방치형 공장 게임입니다. 구리, 석탄, 철을 캐고 제련하고 가공해 팔면서 컴퓨터와 석유 기술까지 연구해 나갑니다. 싸울 것도, 무작위로 고장 날 것도 없이 자기 속도로 공장을 키우고, 게임을 꺼둔 동안에도 수익이 쌓입니다. 특히 AI 에이전트 옆 분할 창에 띄워두면 Claude Code 등의 에이전트가 작업을 마쳤을 때 `tfac msg`로 게임 안에 메시지를 보내줘서, 에이전트가 일하는 동안 함께 플레이할 수 있습니다. `cargo install --path .`로 설치한 뒤 `tfac --demo`로 바로 체험해 보세요.
"AI 에이전트 옆 분할 창에 놓이도록 설계되었습니다. 에이전트가 짧은 메시지를 보내면 게임 안에 표시되어, 그들이 일하는 동안 당신은 플레이할 수 있습니다."
Monkey Island 13개 버전을 나란히 비교하다두 형제가 만든 팬 사이트에서 The Secret of Monkey Island의 13가지 버전을 12개 장면으로 나란히 비교한다. 1990년 PC 16색 EGA부터 1993년 Sega CD까지, 각 버전의 그래픽과 사운드 차이를 ScummVM과 Hatari로 캡처해 1600x1200 해상도로 보여준다. 같은 장면을 버전별로 드래그해 비교할 수 있고, CRT 셰이더로 당시 모니터 느낌도 재현한다.
"열두 장면은 모든 버전에서 동일한 프레임으로 구성되어 있어, 버전을 바꾸면 기계가 바뀔 뿐 장면은 바뀌지 않는다."
Dartmouth, 올해 수학 박사 신입생 선발 전격 중단Dartmouth의 Guarini 대학원이 2027-2028학년도 수학 박사 과정 신입생 모집을 중단했다. 이미 제출된 지원서와 추천서는 검토되지 않으며, 재개 시점도 불투명하다. 재학생의 장학금과 5년 지원 보장은 유지되지만, 교수진과 학생들은 투명성 부족과 연구 문화 위축을 우려한다. 이는 미국 내 STEM 박사 합격률이 15% 감소한 흐름과 맞물린다.
"연구 대학이자 리버럴 아츠 칼리지라는 정체성은 대학원생이 없으면 성립하지 않습니다."
상용 언락 도구는 마법이 아니다. 보안 연구자들이 학회에서 발표하는 것과 같은 종류의 취약점을 체계적으로 상품화한 것이다. 이 글은 Android의 TrustZone, TEE, Secure Element, 부팅 체인, 파일 기반 암호화(FBE) 구조를 짚으며 포렌식 도구가 실제로 무엇을 뚫는지 설명한다. 핵심은 Secure Element의 유무다. 플래그십 기기만 갖춘 이 칩이 있으면 TEE를 완전히 장악해도 PIN을 오프라인으로 무차별 대입할 수 없고, 없으면 부팅 체인만 깨도 scrypt 해시를 빼낼 수 있다.
"사용자 자격 증명은 암호학적으로 키 유도 체인에 내장되어 있다. 순수한 소프트웨어 공격만으로는 이를 우회할 방법이 없다."
서버끼리 직접 대화하게 하라: 나만의 분산형 메신저 프로토콜 만들기중앙 서버 없이 서버들이 직접 연결되는 분산형 메신저 프로토콜을 설계하는 과정을 단계별로 풀어낸다. 이메일의 MX 레코드처럼 `.well-known` 파일로 서로를 발견하고, `resolve_users` 엔드포인트로 공개키를 교환하며, HPKE 방식으로 메시지를 암호화해 전달한다. 클라이언트가 직접 키를 생성하고 서버는 암호문만 보관하는 종단간 암호화 구조와, 키 교체·위조를 감지하기 위한 `key_id` 설계까지 실무적인 고민을 담았다.
"서버가 사용자의 공개키를 게시하는 역할을 맡는다면, 악의적이거나 침해된 서버가 키에 대해 거짓말을 할 수 있다. 진정한 종단간 암호화는 이를 알아챌 방법—예컨대 연락처 키 경고, 지문, TOFU, 또는 키 투명성—을 필요로 한다."
Project Zero, 취약점 공개 기한을 90일에서 30일로 단계적 단축Project Zero가 2021년부터 유지해온 '90+30' 정책을 폐기하고, 보고 후 90일 뒤 무조건 공개하는 'Full 90' 정책을 도입한다. 2027년 2월에는 60일, 2028년 1월에는 30일로 단축된다. LLM으로 인해 공격자의 취약점 발견·익스플로잇 속도가 빨라지고 패치에서 버그를 역추적하는 시간도 거의 사라졌기 때문이다. 유예 기간과 변종 정책 등 대부분의 예외 조항도 제거된다.
"패치가 거의 즉시 버그 세부 정보를 드러낼 수 있는 세상에서 패치 숙성 기간은 더 이상 의미가 없으며, 거짓된 비밀감을 조성해 사용자를 위험에 빠뜨릴 수 있습니다."
스마트 안경과 웨어러블이 '프라이버시'의 개념 자체를 바꾸려 한다Meta와 Google의 스마트 안경, Apple Watch의 Audio Intelligence, Amazon의 Bee 기기는 주변의 대화와 일상을 상시 녹음·요약한다. EFF는 이런 기기가 사용자 본인의 선택을 넘어 주변 사람들의 동의 없이 사생활을 침해한다고 지적한다. 기업들은 기술적 보호 장치와 이용약관으로 대응하지만, 이는 기기를 쓰지 않는 사람에게는 아무런 보호가 되지 않는다. 결국 비밀 녹음이 일상화되면 사적인 대화의 자유로움 자체가 사라진다는 경고다.
"기술적·법적 해결책으로는 줄일 수 없는 사회적 문제가 배경에서 조용히 진행되고 있다. 비밀리에 대화를 기록하는 것이 일상이 되면, 모든 사적인 대화는 덜 즉흥적이고 덜 솔직해진다."
Fursoy는 SystemVerilog로 처음부터 구현된 64비트 아웃오브오더 슈퍼스칼라 RISC-V 프로세서입니다. RV64IMAFDV 명령어 세트와 Sv39 가상 메모리를 지원하며, 메인라인 Linux 6.6.50과 BusyBox를 부팅하는 데 성공했습니다. 128엔트리 ROB, 160개 물리 레지스터, 8개 브랜치 체크포인트 등 고성능 마이크로아키텍처를 갖추었고, Nangate 45nm 공정에서 500MHz 타이밍을 만족합니다. Verilator 시뮬레이션으로 검증할 수 있으며, 실제 하드웨어 구현을 위한 오픈소스 RTL 프로젝트입니다.
"Fursoy Slice-1은 SystemVerilog로 구현된 64비트 아웃오브오더 슈퍼스칼라 RISC-V 프로세서로, Sv39 가상 메모리 환경에서 메인라인 Linux 6.6.50과 BusyBox를 부팅합니다."
이탈리아가 Android 사용자의 사진 갤러리 접근과 관련해 Meta에 8억 8,700만 달러(약 8억 500만 유로)의 벌금을 부과했다. 핵심 쟁점은 앱이 갤러리 접근 권한을 요청할 때 사용자에게 동의 내용을 충분히 설명하지 않았다는 점이다. Hacker News에서는 벌금 규모가 Meta에게는 사실상 솜방망이 처벌이라는 반응과, 유럽 규제 당국이 Meta를 세금원으로 삼고 있다는 냉소가 이어졌다.
"지금쯤이면 Meta는 이 정부들에게 세입원이 된 것 같다. Meta가 옳다는 건 아니지만(어차피 그 돈은 세금으로 냈어야 할 돈이다), 공짜로 돈을 내놓는 걸 굳이 막지는 않을 것이다. 정부가 돈줄을 얼마나 좋아하는지 알지 않는가."
PostScript는 문서 기술 언어이지만, 스택 기반의 일반 프로그래밍 언어이기도 하다. 이 글은 JavaScript로 PostScript의 핵심 부분집합을 구현하는 과정을 간결한 코드로 안내한다. 토큰화, 피연산자 스택과 사전 스택, 연산자 정의, REPL 구성까지 다루며, 모든 예제는 Ghostscript와 동일하게 동작한다. Forth의 영향을 받은 함수형 스타일로 작성되어 각 루틴이 단일 개념을 표현한다.
"내가 생각하기에 가장 신뢰할 수 있는 프로그래밍 언어는 인간 규모의 언어, 즉 한 사용자가 readily-available한 컴퓨팅 기반 위에서 처음부터 합리적으로 작성할 수 있는 언어다."
단 4개의 뉴런으로 강화학습의 원리를 눈으로 보다뇌는 어떻게 새로운 기술을 배울까? 이 글은 두 개의 눈과 두 개의 지느러미 뉴런만 가진 가상 생명체 'spark'를 통해 강화학습을 시각적으로 설명한다. 독자가 직접 슬라이더로 뇌 연결을 조작해 빛을 향하게 만든 뒤, 무작위 변화와 보상·처벌만으로 스스로 학습하는 과정을 2,000번의 시행 끝에 전문가로 성장하는 모습으로 보여준다. 학습 경로는 가능한 뇌들의 공간을 헤쳐가는 여정으로 시각화된다.
"학습은 이 광대한 내부 공간을 항해하는 방식이며, 피드백은 방향을 가리키는 나침반이다."
미국 IRS가 무료 전자 세금 신고 서비스 Direct File의 소스 코드를 GitHub에 공개했다. 이 서비스는 세법을 일상 언어 질문으로 바꿔 답을 받고, 이를 표준 세금 양식으로 변환해 IRS의 Modernized e-File API로 전송한다. Scala로 작성된 Fact Graph는 불완전한 정보를 추론하는 지식 그래프로, 세금 신고 외 다른 규칙 엔진에도 참고가 될 수 있다. 다만 저장소는 아카이브되어 유지보수되지 않으며, PII·FTI 등 민감 정보는 제외됐다.
"이 저장소는 아카이브되어 더 이상 유지보수되지 않습니다. 코드는 역사적 참고용으로 제공되며, 패치되지 않았거나 알려지지 않은 취약점이 있을 수 있습니다. 프로덕션 시스템에서는 사용해서는 안 됩니다."
Phil Katz의 이니셜이 만든 기적: 스스로 부팅하는 ZIP 아카이브ZIP 파일의 첫 바이트 'PK'가 사실은 점프 명령어라는 점을 이용해, 자기 자신을 부팅하는 ZIP 아카이브를 만들었다. 이 아카이브는 ZIP 로컬 헤더로 시작하면서 동시에 Multiboot 헤더와 16비트 부트 섹터를 포함한다. Qemu 직접 커널 부팅은 물론, 플로피나 하드디스크에 넣어 실제 Pentium MMX, i486, Am386에서도 부팅에 성공했다. ZIP 포맷의 유연성을 활용한 영리한 폴리글롯 트릭이다.
"ZIP 아카이브는 뒤에서부터 읽히도록 설계되었고, 푸터가 중앙 디렉터리를 가리키며, 디렉터리가 파일들을 가리킨다. 이론상으로는 아카이버가 두 파일 사이에 다른 내용이 들어 있는 간격이 있든, 아니면 아카이브 앞부분에 다른 파일 형식의 파일 헤더 같은 것이 있든 신경 쓰지 않아야 한다."
AI가 불러올 재앙에 대비해, 테이프로 감싼 쓰레기통 패러데이 케이지를 실험하다저자는 EMP(전자기 펄스) 위험에 대비해 은색 쓰레기통을 패러데이 케이지로 활용할 수 있는지 직접 실험했다. 잡음 발생기와 SDR 수신기를 이용해 측정한 결과, 뚜껑만 닫으면 틈새로 누설이 있었지만, 금속 테이프로 이음새를 완전히 밀봉하자 모든 주파수에서 신호가 차단됐다. 저자는 EMP 저항을 위해 장비를 꺼두고 플러그를 뽑는 것만으로 충분할 가능성이 높다고 보면서도, 만약을 대비한 테이프 처리 쓰레기통이 효과적임을 확인했다.
"전반적으로 패러데이 케이지가 정말 필요한지는 아직 확신이 서지 않지만, 만약 원한다면 테이프로 감은 쓰레기통이 아주 잘 작동할 것이다."
미국 세법을 Lean으로 형식화했더니 138개의 조문 오류가 드러났다미국 내국세법(Internal Revenue Code) 전체를 Lean으로 형식화해 조문 간 참조 오류와 계산 규칙을 검증한 결과, 138개의 실제 입법 오류가 발견됐다. 2025년 세금 모델을 만들어 PolicyEngine-US와 비교했을 때 5,000가구 중 7가구만 최대 11달러 차이를 보였고, UsTaxes에서는 14개의 버그가 확인됐다. 이 모델을 활용한 탐색은 기존 절세 전략을 재발견했을 뿐 아니라, 실무 자료에 없는 새로운 절세 가능성도 찾아냈다.
"세금 신고 방식을 따로 하면 부부가 함께 살아도 Social Security 세금을 줄일 수 있다. 일반적인 조언은 함께 사는 부부가 한 명이 Social Security를 받을 때 절대 별도 신고를 하지 말라는 것이지만, 탐색은 그 반대 사례를 찾아냈다."
Agweb - Focus-stealing 없는 에이전트 전용 브라우저여러 코딩 에이전트를 동시에 돌리다 보면 Playwright의 Chrome 창이 키보드 포커스를 훔치고, headless 브라우저는 사이트에서 차단당해 무슨 일이 벌어졌는지 알기 어렵습니다. Agweb은 macOS용 WebKit 기반 브라우저로, 단 하나의 창이 절대 포커스를 가져가지 않으면서 셸에서 playwright-cli 스타일 명령으로 에이전트를 제어합니다. ⌘D 대시보드에서 모든 에이전트의 탭을 실시간으로 확인할 수 있고, 유휴 탭은 자동 정지되어 CPU를 거의 쓰지 않습니다. 프로필 공유 로그인, 비밀번호 노출 방지, uBlock Origin 광고 차단까지 갖춰 여러 에이전트를 안정적으로 운용할 수 있습니다.
"agweb은 절대 포커스를 빼앗지 않는 단 하나의 창입니다. 에이전트는 셸에서 agweb 명령으로 조작하고, 당신은 그 모든 과정을 실시간으로 지켜봅니다."