이 글에서는 Anthropic의 Model Context Protocol (MCP)을 사용하여 대규모 언어 모델(LLM)의 심볼릭 수학적 한계를 극복하는 실험에 대해 설명합니다. MCP는 LLM이 외부 도구를 호출할 수 있도록 합니다. 저자는 감쇠 조화 진동자 방정식을 풀기 위해 LLM과 컴퓨터 대수 시스템인 SymPy를 통합했습니다. MCP 생태계는 아직 개발 중이며 보안 위험(로컬 실행!)도 있지만, 이 통합의 성공은 이러한 접근 방식의 잠재력을 보여줍니다. SymPy와 같은 전문 도구와 LLM을 결합하면 복잡한 수학적 계산과의 상호 작용에 혁명을 일으킬 수 있습니다.
더 보기
SQLite-JS는 JavaScript를 사용하여 사용자 정의 SQLite 함수, 집계 함수, 윈도우 함수, 및 정렬 순서를 생성할 수 있는 강력한 확장 기능입니다. 이를 통해 SQLite 데이터베이스 내에서 유연하고 강력한 데이터 조작이 가능합니다. 개별 행을 처리하는 스칼라 함수, 여러 행을 처리하는 집계 함수, 전체 데이터 세트에 액세스하는 윈도우 함수, 사용자 정의 정렬 순서(정렬 순서 정의)를 지원합니다. 간단한 SQL 문으로 계산, 텍스트 조작, 데이터 변환을 수행하는 함수를 생성할 수 있습니다. 나이, 중앙값, 이동 평균 등을 계산하는 함수의 예가 있습니다. 복잡한 작업에는 JavaScript 코드의 직접 평가도 지원됩니다. sqlite-sync와 함께 사용하면 사용자 정의 함수는 SQLite 클라우드 클러스터 전체에 자동으로 복제됩니다.
더 보기
Forge는 AWS에서 일시적인 GitHub Actions Runner를 실행하기 위한 확장 가능하고 안전하며 완전히 자동화된 멀티테넌트 플랫폼입니다. 플랫폼 엔지니어가 플랫폼 팀을 위해 설계했으며, GitHub Actions의 배포 및 관리를 간소화합니다. EC2 및 EKS에서 일시적인 GitHub Actions Runner의 프로비저닝 및 라이프사이클 관리를 자동화하여 멀티테넌트 격리, 드리프트 수정 및 기본 제공 관찰 기능을 제공합니다. 다양한 OS, GitHub Cloud 및 GHES를 지원하며, 비용을 고려한 스케줄링, 유연한 인프라 및 멀티 러너 배포 등을 특징으로 합니다. 포괄적인 빠른 시작 가이드를 통해 사용자는 Forge를 신속하게 배포하고 필요에 맞게 구성할 수 있습니다.
더 보기
저자는 iPad 앱을 사용한 4년간의 피아노 악보 시각 연주 연습 자동화 경험을 공유합니다. Pythonista로 인터페이스를 만들어 키 선택과 연습 데이터 추적을 자동화하고, D3.js로 진행 상황을 시각화했습니다. 무작위 연습과 데이터 시각화가 시각 연주 능력을 크게 향상시켰고, 음이름에 의존하지 않고 패턴 인식을 우선시하는 것과 체계적인 연습 루틴의 이점을 발견했습니다.
더 보기
구글이 최근 출시한 Gemini Diffusion은 놀라운 속도로 모두를 놀라게 하고 있습니다. 데모 영상을 느리게 재생해야만 어떤 일이 일어나는지 확인할 수 있을 정도입니다. 이 글에서는 확산 모델이 왜 이렇게 빠른지, 기존의 자기회귀 모델(GPT-4, Claude 등)과 비교하여 자세히 설명합니다. 확산 모델은 토큰 단위로 생성하는 대신 한 번에 전체 출력을 생성하여 정확한 부분을 병렬로 생성하고, 반복 횟수를 줄여 속도를 높입니다. 하지만 긴 컨텍스트를 처리할 때는 효율이 떨어지며, 추론 능력에 대한 의문도 남습니다. 확산 모델은 내부적으로 트랜스포머를 사용할 수 있지만, 전체 아키텍처 때문에 자기회귀 모델과는 근본적으로 다른 동작을 합니다.
더 보기
이 글에서는 로베르트 무질이 연극에 깊이 관여했던 시기에 쓴 두 편의 희곡, <유토피아인들>(1921)과 <빈첸츠와 중요한 남자들의 정부>(1923)를 살펴봅니다. 이 작품들은 당시 연극에 대한 무질의 불만과 유토피아적 이상에 대한 탐구를 반영합니다. 무질의 유토피아는 고정된 시스템이 아니라 경직된 관습에 대한 저항과 창조적인 개방성의 추구이며, 미완성 소설 <성격 없는 사람>의 주제와 공통됩니다. 등장인물들의 고투는 무한한 가능성의 세계 속에서 개인의 고독과 불안정을 상징하며, 무질이 예술의 사회적 역할에 대해 깊이 생각했음을 보여줍니다.
더 보기
three.js를 사용하여 만든 GLSL 셰이더로, 4D 회전과 입체 투영을 사용하여 3D 모델을 4D 단위 구면에 투영하여 곡면 공간을 시뮬레이션합니다. 원래는 Unity 게임 Sfera를 위해 HLSL로 작성되었지만, 이 셰이더를 사용하면 사용자는 확대/축소, 회전, 카메라 시점 제어를 통해 곡면 공간을 이동하는 애니메이션 모델을 경험할 수 있습니다. 온라인 데모와 비디오 자습서가 있습니다. 모델은 three.js 저장소에서 런타임에 로드됩니다.
더 보기
Rust 기반 AV1 디코더인 rav1d와 C 기반 AV1 디코더인 dav1d의 성능을 비교하여 샘플링 프로파일러를 사용하여 두 가지 성능 병목 현상을 발견했습니다. 첫 번째는 ARM 아키텍처에서 rav1d의 불필요한 버퍼 0 초기화로 인한 성능 저하였습니다. 두 번째는 rav1d의 구조체 비교 구현의 비효율성이었습니다. `MaybeUninit`을 사용하여 불필요한 0 초기화를 피하고 구조체 비교를 최적화함으로써 rav1d의 성능을 거의 2% 향상시켰습니다.
더 보기
이 글에서는 저자가 OpenAI의 o3 모델을 사용하여 Linux 커널의 제로데이 취약점(CVE-2025-37899)을 발견한 방법을 설명합니다. ksmbd를 감사하는 과정에서 저자는 o3 모델을 사용하여 코드를 분석하고 SMB의 'logoff' 명령 처리기에서 use-after-free 취약점을 발견했습니다. o3 모델은 동시 연결과 객체 공유의 복잡한 로직을 이해하고 취약점을 특정했습니다. 또한 o3 모델은 다른 취약점인 CVE-2025-37778도 재발견했습니다. 저자는 o3 모델이 코드 추론 능력에서 상당한 발전을 보여주었으며, 취약점 연구자들에게 효율성을 크게 향상시키는 강력한 새로운 도구가 될 것이라고 주장합니다.
더 보기
이 글은 부피가 큰 진공관에서 집적 회로, 그리고 거대한 최신 SoC에 이르기까지 반도체 스케일링의 역사를 추적합니다. 벨 연구소의 트랜지스터 발명으로 시작하여 실리콘 소재, 플래너 공정, MOSFET과 같은 획기적인 기술과 무어의 법칙에 의해 주도된 칩 집적도의 급격한 향상에 대해 자세히 설명합니다. 하지만 이 글에서는 제조, 비용, 수율 측면에서 SoC가 직면하는 과제를 강조하고, 칩렛이 이러한 한계를 어떻게 극복할 수 있는지에 대한 미래 논의의 기반을 마련합니다.
더 보기
마이크로소프트 직원들은 "팔레스타인"이나 "가자"와 같은 단어가 포함된 이메일이 일시적으로 차단되고 있다고 보고했습니다. No Azure for Apartheid (NOAA) 그룹은 수십 명의 직원이 영향을 받았다고 주장합니다. 마이크로소프트는 "정치적으로 편향된 이메일"을 줄이기 위한 조치라고 설명했지만, 이는 표현의 자유에 대한 우려를 불러일으켰습니다. 이는 마이크로소프트와 이스라엘 정부의 계약에 대한 지속적인 항의 가운데 발생했으며, 여러 직원들이 마이크로소프트의 Build 컨퍼런스를 방해했고, 최소 한 명이 해고되었습니다.
더 보기
주요 오픈소스 AI 프로그래밍 에이전트인 Refact.ai는 SWE-bench Verified 벤치마크에서 놀라운 69.8% 점수를 달성하여 실제 GitHub 이슈 500개 중 349개를 자율적으로 해결했습니다. 이 성공은 견고한 아키텍처 덕분입니다. 핵심인 Claude-3.7 모델, 디버깅 및 코드 수정을 위한 debug_script() 서브 에이전트, 최적화된 문제 해결을 위한 strategic_planning() 도구입니다. Refact.ai 파이프라인 전체는 오픈소스이며, 실제 애플리케이션에서는 개발자의 생산성을 크게 향상시키는 것을 입증했습니다.
더 보기
Pieces는 스크린샷에서 코드를 정확하게 인식하는 OCR 기술을 개선했습니다. Tesseract 엔진을 기반으로 다양한 프로그래밍 환경(밝은 모드/어두운 모드), 노이즈가 많은 배경, 저해상도 이미지에 대응하기 위해 전처리 및 후처리 단계를 추가했습니다. 어두운 모드 반전, 노이즈 제거, 해상도 향상 등의 이미지 전처리와 코드 들여쓰기 복원을 수행하는 후처리를 통해 정확도가 크게 향상됩니다. Levenshtein 거리를 사용하여 모델 성능을 평가하고 실험적으로 효율적인 이미지 업샘플링 방법을 선택했습니다. 이 기술을 통해 개발자는 코드 스크린샷을 쉽게 편집 가능한 코드로 변환하여 개발 효율성을 높일 수 있습니다.
더 보기
전기식 자율 비행 개발업체인 Wisk Aero는 NASA와 5년간의 연구 파트너십을 갱신했다고 발표했습니다. 이 협력은 자율 비행기를 국가 영공 시스템(NAS)에 통합하기 위한 고급 항공 이동성 표준을 수립하는 것을 목표로 합니다. NASA의 시뮬레이션 및 LVC(Live Virtual Constructive) 환경을 활용하여 6세대 자율 시스템 개발을 가속화하고, 2030년까지 안전하고 효율적인 자율 승객 비행을 실현하는 것을 목표로 합니다.
더 보기
이 블로그 게시글은 저자가 VAX/VMS 시스템에서 일하면서 겪었던 유쾌한 경험과 그 과정에서 얻은 인생 교훈에 대해 이야기합니다. 경쾌한 어조로 저자는 대학 시절 컴퓨터 연구실 기술자 및 운영자로서의 일화를 공유하는데, 학생들의 이메일 문제를 독창적으로 해결한 방법과 이메일 시스템이 크래시되어 해고될 뻔했던 사건 등이 포함됩니다. 특히 재미있는 것은 VAX/VMS 시스템을 2년 동안 베개로 사용했다는 이야기입니다. 이 글은 과거 기술에 대한 향수와 프로그래머로서의 경력에 대한 독특한 통찰력을 결합한 것으로, 기술 카테고리에 속합니다.
더 보기
베테랑 지도 제작자가 게임 내 데이터를 사용하여 시드 마이어의 알파 센타우리에 나오는 키론 행성의 지도를 수년간 정성스럽게 재현했습니다. 그는 저해상도 게임 지도에서 고도, 강수량 등의 속성을 주의 깊게 추출한 다음 GIS와 포토샵 기술을 활용하여 행성 지형의 사실적이고 고해상도 표현을 만들어냈습니다. 이 프로젝트는 데이터 수집 및 투영 조정에서 최종 렌더링에 이르기까지 많은 기술적 어려움을 극복한 것이며, 지도 제작자의 기술과 세부 사항에 대한 헌신을 보여줍니다. 결과적으로 얻어진 지도는 게임의 지속적인 유산과 정교한 지도 제작 기술을 모두 증명하는 것입니다.
더 보기
런던 차링크로스 철교의 건설 공사로 인해 기이한 고대 법률이 발동되었습니다. 비계 때문에 다리 아래의 간격이 좁아졌기 때문에, 계약자는 하천 교통에 대한 경고로 건초 더미를 매달아야 합니다. 이것은 중세 시대로 거슬러 올라가는 요구 사항입니다. 건초 더미와 야간 경고등은 수년에 걸친 유지 보수 프로젝트의 진행에 따라 다리에 따라 이동합니다.
더 보기
14명의 엔지니어링 팀은 의사소통 부족과 낮은 효율성으로 어려움을 겪었습니다. 비동기 스탠드업과 팀 분할 등 다양한 해결책을 시도했지만 근본적인 원인을 해결하지 못했습니다. 마침내 그들은 전문화를 포기하고 일반화 모델을 채택했습니다. 팀 구성원은 여러 가지 기술을 습득하고 제품의 모든 측면에 대한 책임을 공유하게 되었습니다. 이러한 변화는 예상치 못한 긍정적 결과를 가져왔습니다. 더욱 원활한 협업, 크게 향상된 효율성, 더 빠른 제공, 더 높은 품질, 최적화된 리소스 활용입니다. 하지만 일반화 모델은 일부 구성원의 이직과 증가된 업무량과 같은 몇 가지 과제도 제기했습니다. 저자는 보편적으로 최적의 방법은 없다고 주장합니다. 여러분의 팀에 맞는 것이 최선이며, 지속적인 개선과 실험이 중요합니다.
더 보기
JEP 519를 통해 실험적인 기능이었던 "컴팩트 객체 헤더"가 Java의 정식 제품 기능으로 승격되었습니다. 객체 헤더 레이아웃 최적화 및 성능 향상을 목적으로 JDK 24에서 도입되었으며, Oracle과 Amazon에서 광범위한 테스트를 거쳐 안정성과 성능 향상이 입증되었습니다. 활성화를 위한 `-XX:+UnlockExperimentalVMOptions` 옵션은 더 이상 필요하지 않습니다. 향후 더 많은 객체 헤더 비트가 필요한 경우 Project Valhalla와 Lilliput이 솔루션을 제공할 것입니다.
더 보기
KDAB은 성능 데이터 분석을 위한 독립 실행형 GUI인 Hotspot을 개발했습니다. 처음에는 KCachegrind와 유사한 인터페이스로 Linux perf 데이터를 시각화하는 데 중점을 두었습니다. 그래픽 시각화, 타임라인 필터링 및 애플리케이션 프로파일링을 위한 perf 실행 기능을 제공합니다. 다양한 배포판에서 쉽게 사용할 수 있도록 AppImage로 또는 패키지 관리자(AUR, Debian, Ubuntu, Fedora)를 통해 사용할 수 있으며, Hotspot을 사용하면 사용자는 CPU 시간과 CPU 비사용 시간을 분석하고 데이터를 내보내 공유할 수 있습니다. 아직 모든 기능이 구현된 것은 아니지만 Hotspot은 Linux 성능 분석을 간소화합니다.
더 보기
데시벨(dB)은 소리를 측정하는 단위로 보이지만, 놀랍도록 복잡하고 혼란스럽습니다. 전통적인 의미의 단위가 아니라, 크기 변화를 나타내는 로그 스케일입니다. 이 글에서는 벨과 데시벨의 역사와 용도를 자세히 살펴보고, 맥락에 따라 달라지는 속성에서 비롯되는 모호성을 강조합니다. 여러 분야에서 dB는 다르게 사용되므로, 불일치와 오해로 이어집니다. 저자는 마이크 감도를 예로 들어 본질적인 혼란을 보여주고, 이 널리 사용되는 단위에 대한 더욱 표준화되고 모호성이 적은 접근 방식을 요구합니다.
더 보기.jpg)
중국 우주정거장 톈궁에서 새로운 박테리아인 Niallia tiangongensis가 발견되었습니다. 이 막대 모양의 포자 형성 박테리아는 이전에 알려진 지구상의 종과 다릅니다. 미세 중력 환경에서 번성하며, 영양분이 부족한 환경에서 생존하기 위해 젤라틴을 분해하는 능력과 방사선 손상에 견디는 등 독특한 적응 능력을 가지고 있습니다. 이 발견은 우주 여행의 잠재적 위험을 강조하며, 미래 장기 임무를 위한 위생 프로토콜 개선에 도움이 됩니다. 지상의 근연종은 패혈증을 일으킬 수 있지만, 우주 비행사에 대한 잠재적 위험은 아직 불분명합니다.
더 보기
튜링상 수상자인 에즈거 다익스트라는 Ada 프로그래밍 언어에 대한 네 가지 제안(빨강, 녹색, 파랑, 노랑)을 검토했습니다. 그는 빨간색 제안을 "너무나 앞서나가면서도 동시에 뒤처지는, 혼란스러울 정도로 모순적인 방식"이라고 평가했습니다. 녹색 제안은 "기술적 무능력, 아마도 부정행위로 인해 더욱 악화되었을 것"으로 간주되었습니다. 파란색 제안은 "용납할 수 없을 정도로 복잡"했으며, 문서는 "기술 문서와 판매 설명의 얽히고설킨 혼합물"로 묘사되었습니다. 결국 다익스트라는 승리한 녹색 제안에 서구의 안보가 의존하는 것에 대해 우려를 표명했고, 소련 적군이 그것을 채택하는 것이 더 안전할 것이라고까지 암시했습니다. 이 일화는 다익스트라의 소프트웨어 엔지니어링 분야에서의 엄격한 기술 표준과 명확한 설계에 대한 확고한 헌신을 보여줍니다.
더 보기
칭화대학교 연구팀이 PalmPad라는 혁신적인 혼합 현실 상호 작용 기술을 개발했습니다. RGB 카메라와 Arduino만 사용하여 사용자의 손바닥에 가상 키보드를 투영합니다. 사용자는 반대쪽 손의 검지 손가락으로 가상 키를 탭하여 입력합니다. 이 시스템은 기존 기술의 불안정한 손가락 끝 추적 및 낮은 터치 감지 정확도 문제를 정교한 비디오 처리 및 CNN을 통한 정확한 손가락 끝 위치 확인으로 극복합니다. Arduino UNO는 임피던스 변화를 사용하여 손가락과 손바닥의 접촉을 감지하며 97%의 터치 인식 정확도를 달성했습니다. PalmPad는 혼합 현실 상호 작용에 편리하고 혁신적인 접근 방식을 제공합니다.
더 보기
1년 반 전에 "왜 Debian은 이런 방식인가?"라는 글을 썼는데, 그 이후로 Debian이 패키징하는 소프트웨어를 변경하는 이유에 대한 많은 질문을 받았습니다. 이 글에서는 그 이유를 간략하게 설명합니다. Debian 정책 매뉴얼에 명시된 정책을 준수하기 위해(예: 시스템 전체 구성이 /etc에 있고, 문서가 /usr/share/doc에 있는 등), 프로그램들이 서로 연동하여 작동하기 위해 변경이 필요한 경우(예: Unix 도메인 소켓의 위치나 어떤 Unix 사용자 계정으로 실행해야 하는지 등), 개인 정보 보호 및 보안상의 이유로 소프트웨어가 "외부에 연락하는" 코드나 Debian 패키징 시스템을 우회하여 소프트웨어를 업데이트하려는 코드를 제거하는 경우, 상위에서 수정되기 전에 버그를 수정하거나 이전 버전의 버그 수정을 백포팅하는 경우(사용자 경험 향상을 위해), 합법적으로 배포할 수 없는 것은 메인 패키지 아카이브에 포함하지 않는 경우(Debian 자유 소프트웨어 가이드라인에 따라), 매뉴얼 페이지가 없는 경우 추가하는 경우 등입니다. 요약하자면, 이러한 변경은 시스템의 안정성, 보안, 그리고 자유 소프트웨어 원칙 준수를 보장하기 위해 이루어집니다.
더 보기
이 글은 고등교육에서의 인공지능 활용을 탐구합니다. 저자는 AI 교육 워크숍에 참석하여 AI에 대한 다양한 학자들의 견해를 관찰하면서 교육에서 AI의 혁신적인 지위에 의문을 제기합니다. 저자는 많은 AI 지지자들이 AI의 능력을 과대평가하고 만병통치약처럼 제시하면서 환경적 비용과 학생들의 학습 습관에 대한 부정적 영향을 무시한다고 주장합니다. 저자는 AI가 현재 교사와 학생 간의 직접적인 상호 작용과 심층적인 사고를 대체할 수 없는 단순한 '꼼수'라고 결론짓습니다. 진정한 교육에는 교사의 지도와 학생들의 적극적인 참여가 필요하며, 이는 AI로는 재현할 수 없습니다.
더 보기
한 회사가 Cisco 방화벽에서 문제를 겪었습니다. TLS 1.3으로 서버 인증서가 암호화되기 때문에 방화벽이 인증서 내용을 기반으로 URL이나 애플리케이션 접근 규칙을 적용할 수 없었습니다. 이를 해결하기 위해 Cisco는 TLS 서버 ID 검색 기능을 도입하여 추가적인 TLS 1.2 핸드셰이크를 통해 평문으로 인증서를 가져옵니다. 하지만 이는 Postgres 데이터베이스의 예상 동작과 충돌했습니다. 실제 문제는 TLS 1.3 비호환성이 아니라 방화벽이 알 수 없는 애플리케이션을 차단하도록 구성되지 않았다는 점이었습니다. 방화벽은 3초 동안 인증서를 학습하려고 시도한 후 포기하고 연결을 허용했습니다.
더 보기
호주 과학자들이 약 3억 5천만 년 전 파충류 발자국 화석을 발견했습니다. 이는 이전까지 알려진 가장 오래된 발자국보다 3천 2백만 년이나 더 오래된 것으로, 척추동물이 바다에서 육지로 이동한 속도가 기존에 생각했던 것보다 훨씬 빨랐다는 것을 시사합니다. 발자국에는 갈고리가 있는 발톱이 보이는데, 이는 이 동물이 완전히 육지에 적응했음을 증명합니다. 왜냐하면 갈고리는 완전히 육지에 서식하는 동물에게서만 진화한 특징이기 때문입니다. 이 파충류는 길이가 약 80센티미터였을 것으로 추정되며, 현대의 큰 도마뱀과 비슷했을 것으로 생각됩니다. 이 놀라운 발견은 초기 척추동물의 진화에 대한 우리의 이해를 크게 바꾸고, 지구 생명체 역사에 대한 중요한 통찰력을 제공합니다.
더 보기
10대 청소년 방화 사건이 '키워드 압수수색 영장'에 대한 논쟁을 불러일으켰습니다. 경찰은 검색 엔진 키워드를 통해 용의자를 추적하는 이 방법을 사용하여 프라이버시와 법 집행 효율성에 대한 우려를 제기했습니다. 이 기사에서는 사건의 세부 정보, 유죄 판결을 받은 사람들의 수감 후 삶, 그리고 디지털 정체성과 온라인 발자취의 복잡한 관계를 탐구합니다. 이 사건은 미국 대법원의 키워드 압수수색 영장의 합법성 검토에 대한 사례가 되기도 합니다.
더 보기
1994년부터 컴퓨터 그래픽 학습과 지식 공유에 전념해 온 베테랑 이니고 퀼레스. 그의 웹사이트에는 SDF와 레이 마칭부터 프랙탈과 수학적 기법까지 광범위한 주제를 다룬 방대한 컴퓨터 그래픽 튜토리얼이 있습니다. 간결한 코드 스니펫과 명확한 설명이 특징이며, 다양한 기술 수준에 맞춰 제공됩니다. 비디오 튜토리얼과 기타 자료도 제공하며, 코드는 MIT 라이선스로 자유롭게 재사용할 수 있습니다.
더 보기