폴 블레인 레비는 콜바이푸시밸류(CBPV) 계산에 대한 획기적인 연구로 2025년 앨런조 처치상을 수상했습니다. 그의 연구는 순수한 논리적 람다 계산과 효과를 포함하는 응용된 람다 계산의 별개 연구 흐름을 통합했습니다. CBPV는 효과, 분극화, 항 정규화, 타입 동형, 프로그램 변환 등 계산 및 논리 현상을 연구하기 위한 통합적인 프레임워크 역할을 합니다. 레비의 공헌은 대수적 데이터 타입, 연산적 의미론, 의미론적 의미론, 등식 이론에 이르며, 람다 계산의 의미론적 이론과 프로그래밍 언어 모델링에 대한 응용을 크게 발전시켰습니다.
Polystate는 형식 합성을 통해 합성 가능한 유한 상태 머신을 구축하기 위한 Zig 라이브러리입니다. 프로그래밍 관례를 적용하여 형식 수준에서 상태 머신의 상태를 기록하고 형식 합성을 통해 합성 가능성을 달성합니다. 이를 통해 명령형 프로그램 구조의 정확성이 향상되고 형식 및 합성의 관점에서 프로그램 상태를 재설계하도록 유도하여 코드의 합성 가능성이 향상됩니다. Polystate는 상태 다이어그램을 자동으로 생성하므로 사용자는 프로그램 동작을 직관적으로 이해할 수 있습니다. 예를 들어 ATM에서 PIN 입력 시도 횟수 제한이나 raylib 게임에서 선택 메커니즘 재사용 등 형식 합성을 통해 간단한 상태 머신과 복잡한 상태 머신을 구축하는 방법을 보여줍니다.
Otus Lisp (Ol) 2.6 버전이 출시되었습니다! 이것은 경량(약 64KB)의 순수 함수형 Lisp 방언으로, R7RS Scheme의 확장된 하위 집합을 구현하며 여러 플랫폼(Linux, Windows, macOS, Android 등)과 아키텍처를 지원합니다. Ol은 임베디드 가능하며 다른 언어로 작성된 코드를 호출하기 위한 고급 인터페이스를 제공합니다. 또한 WebAssembly를 지원하여 다양한 브라우저에서 실행할 수 있습니다. 이번 릴리스에서는 더욱 편리한 수학 표현을 위한 중위 표기법이 도입되었습니다.
RedMonk는 GitHub 및 Stack Overflow 데이터를 사용하여 프로그래밍 언어 동향을 추적합니다. 그러나 Stack Overflow의 질문 수는 2016년 이후 감소해 왔으며, ChatGPT와 같은 AI 코딩 어시스턴트의 등장 이후 더욱 가속화되었습니다. 이는 RedMonk의 프로그래밍 언어 순위의 신뢰성에 큰 영향을 미칩니다. 팀은 현재 이 중요한 분석을 유지하기 위해 대체 데이터 소스를 탐색하고 있습니다.
이 글에서는 저자가 AWS 백업이 계정 간 및 지역 간 백업을 동시에 지원하지 않는 제한을 어떻게 극복했는지 자세히 설명합니다. 보안 및 재해 복구 정책에 따라 별도의 계정과 지역에 백업을 저장해야 했기 때문에 저자는 AWS 백업, EventBridge 및 Lambda 함수를 교묘하게 결합하여 계정 간 및 지역 간 백업 복제를 달성하는 솔루션을 구축했습니다. 여기에는 소스 계정과 대상 계정의 볼트, 정책, EventBridge 규칙 및 Lambda 함수 구성, 암호화 및 권한 처리 등이 포함됩니다. 저자는 이 솔루션을 성공적으로 구현했으며 자동화된 복원 테스트 및 비용 모니터링과 같은 추가적인 최적화 제안도 하고 있습니다.
Kastle은 AI 인프라 구축 및 최적화를 담당할 창립 엔지니어를 채용하고 있습니다. 미국의 주요 모기지 대출 기관의 고객센터 및 규정 준수 운영 확장을 위해 AI 음성 에이전트를 사용하며, 230만 달러의 자금을 지원받고 있습니다. 이 역할은 백엔드 개발, 분산 시스템 및 AI 통합 전문 지식이 필요합니다. 책임에는 확장 가능한 백엔드 서비스 개발, 대출 서비스 플랫폼과 통합되는 API, 금융 규정(SOC 2, FDCPA, RESPA, TILA) 준수 보장 등이 포함됩니다.
베타 버전으로 출시된 새로운 오픈소스 AI 기반 코드 에디터 Void IDE는 Cursor나 GitHub Copilot과 같은 독점 AI 에디터에 대한 개인 정보 보호 중심의 무료 대안으로 자리매김하고 있습니다. Y Combinator의 지원을 받고 Visual Studio Code를 포크한 Void IDE는 사용자가 Claude, GPT, Gemini와 같은 대규모 언어 모델을 로컬로 처리하거나 API를 통해 직접 호출할 수 있도록 하여 개인 정보 보호 문제와 구독 비용을 완화합니다. 인라인 코드 편집, AI 채팅, 코드 생성 등의 기능을 갖추고 있으며, 유사한 도구를 반영하면서 사용자 데이터 제어를 우선시합니다. 이 프로젝트는 Hacker News와 Reddit에서 큰 관심을 모았으며, 오픈소스 특성과 증가하는 VS Code 포크 수에 대한 논의가 이루어지고 있습니다.
오랫동안 FreeBSD의 점 버전 업그레이드는 커널 모듈 패키지와 커널 버전의 비호환성을 초래하여 시스템 충돌을 일으켰습니다. 이 문제를 해결하기 위해 FreeBSD 14.3은 최신 커널 버전과 호환되는 모듈을 포함하는 전용 커널 모듈 패키지 저장소를 공식적으로 도입했습니다. 이를 통해 오랫동안 사용자들을 괴롭혀 온 문제가 해결되고 시스템 안정성이 향상되었으며, 특히 데스크톱/랩탑 시스템에서 호환되지 않는 그래픽 드라이버로 인한 충돌이 수정되었습니다. 업그레이드에는 `/etc/pkg/FreeBSD.conf` 파일을 수정하여 새로운 커널 모듈 저장소를 포함하는 것이 포함됩니다.
한 박사 과정 학생이 혁신적인 조판 언어인 Typst를 사용하여 박사 논문을 작성한 경험을 이야기합니다. Typst는 Markdown의 편의성과 Rust의 강력한 스크립팅 기능을 결합하여 놀라울 정도로 빠른 컴파일 속도를 제공하여 레이아웃과 스타일을 신속하게 반복할 수 있었습니다. 하지만 Typst의 참고문헌 관리 기능은 이상적이지 않았으며, 엄격한 인용 형식 요구 사항을 충족하기 위해 추가 도구와 수동 조정이 필요했습니다. 저자는 프로그래밍을 좋아하고 도구를 조정하는 것을 즐기는 사람들에게 Typst가 훌륭한 선택이지만, 바로 사용할 수 있는 시스템을 선호하는 사람들에게는 LaTeX가 여전히 안전한 선택이라고 결론짓습니다.
인터넷의 산만함에 지친 저자는 소셜 미디어 접근을 제어하기 위한 스마트홈 시스템을 구축했습니다. AdGuard Home, Home Assistant, Zigbee 스마트 플러그를 사용하여 자동화를 만들었습니다. 버튼을 누르면 AdGuard 필터링이 15분 동안 일시적으로 비활성화되고, 그 후 1시간의 쿨다운 기간이 시작됩니다. 이 기사에서는 AdGuard Home API 구성 및 Home Assistant 자동화를 포함한 설정에 대한 자세한 내용을 설명하고, 인터넷 사용 관리 및 중독 극복을 위한 실용적인 해결책을 제공합니다.
2024년 Stack Overflow 설문 조사는 기술 문서와 튜토리얼이 코더에게 중요한 학습 자료임을 강조합니다. 그러나 많은 개발자는 이를 읽은 후 더욱 혼란스러워하며 좌절감을 경험합니다. 이는 코딩 전문 지식이 자동으로 명확한 글쓰기 능력으로 이어지지 않기 때문입니다. 해결책으로는 개발자가 글쓰기 기술을 향상시키고, 조직이 사용자 피드백을 수집하고, 기술 작가를 고용하고, GitHub의 문서 관련 문제를 보다 적극적으로 해결하는 것이 있습니다.
Herb Sutter는 C++26에 컴파일 타임 리플렉션이 포함될 것이라고 발표했습니다. 이는 C++ 개발에 혁신적인 변화를 가져올 것입니다. 컴파일 타임 리플렉션을 통해 프로그램 자체의 구조에 접근할 수 있게 되어 클래스의 메서드를 열거하는 등의 작업이 가능해집니다. simdjson과 같은 라이브러리에 특히 큰 영향을 미치며, 반복적인 코드 없이 사용자 정의 데이터 구조와 JSON 문자열 간의 고속 변환을 가능하게 합니다. 이 글에서는 컴파일 타임 리플렉션을 사용하여 효율적인 SQL 삽입문을 생성하는 방법을 보여주고, 반복적인 코드를 줄이고 코드의 재사용성과 안전성을 향상시킵니다. 코드가 복잡해 보일 수 있지만, 성능 향상과 코드 단순화는 매우 큽니다.
패트릭 맥켄지의 인기 엔지니어 연봉 협상 에세이는 수백만 명의 사람들이 더 높은 연봉을 받도록 도왔습니다. 이 오디오 버전은 전문가들이 협상하는 것을 막는 심리적 장벽을 다루고, 그것이 비윤리적인 것이 아니라 중요한 기술임을 강조합니다. 실용적인 조언으로는 먼저 자신의 희망 연봉을 밝히지 않는 것, 적극적으로 경청하고 채용 매니저의 어투를 반영하는 것, 철저한 조사, 여러 가지 우선 순위 활용, 협상의 시기와 역학 관계 이해 등이 있습니다. 이 에세이는 독자들이 자신감을 가지고 협상하여 최적의 보상을 받을 수 있도록 합니다.
이 글에서는 파이프를 통해 데이터를 읽고 쓰는 테스트 프로그램을 반복적으로 최적화하여 Linux에서 Unix 파이프의 구현 방식을 탐구합니다. 약 3.5GiB/s의 처리량을 가진 간단한 프로그램으로 시작하여 여러 최적화 단계를 거쳐 성능을 20배 이상 향상시킵니다. 주요 개선 사항으로는 `vmsplice` 및 `splice` 시스템 호출을 사용하여 데이터 복사를 제거하고, 대용량 페이지를 활용하여 페이징 오버헤드를 줄이며, 바쁜 루프를 사용하여 동기화 비용을 최소화하는 것이 포함됩니다. Linux의 `perf` 도구를 사용한 코드 예시와 성능 분석을 통해 이 과정을 자세히 설명합니다.
mimalloc 메모리 할당기를 살펴보다가 사전 메모리 할당을 지원하지 않는다는 것을 알게 되었습니다. 그래서 Buddy 시스템을 기반으로 단 163줄의 코드로 간단한 메모리 할당기를 구현했습니다. 이 글에서는 Buddy 시스템에서 메모리 할당 및 해제 과정을 자세히 설명하고 메모리 단편화 문제도 다룹니다. 저자는 구현의 놀라운 간결함을 강조하며 프로그래머에게 메모리 할당 원리를 이해하는 것이 얼마나 중요한지를 지적합니다.
GlassFlow팀은 대규모 실시간 중복 제거를 위한 광범위한 부하 테스트를 수행하여 인상적인 결과를 얻었습니다. MacBook Pro에서 GlassFlow는 Kafka로부터 초당 9,000개 이상의 레코드를 0.12ms 미만의 지연 시간으로 처리했으며, 최고 초당 55,000개의 레코드에 도달했습니다. 2천만 개의 레코드와 12개의 동시 게시자를 사용하더라도 시스템은 안정적으로 유지되었으며, 크래시, 메시지 손실, 순서 혼란은 발생하지 않았습니다. 이 테스트는 실제 사용 사례를 시뮬레이션하는 합성 데이터를 사용하여 중복 제거, 처리량, 지연 시간을 평가했습니다. 테스트의 전체 설정은 오픈 소스입니다.
Git Notes는 Git 객체(커밋, 블롭, 트리)에 메타데이터를 추가하는 강력한 도구이며, 객체 자체를 수정할 필요가 없습니다. 시간 추적, 검토 정보 추가, `git-appraise`와 같은 완전히 분산된 코드 검토 시스템 구축 등에 사용할 수 있습니다. 하지만 Git Notes는 사용 편의성이 떨어지고, GitHub는 2014년에 커밋 노트 표시를 중단하여 채택이 제한되었습니다. 그럼에도 불구하고, 코드 포지에 의존하지 않는 완전한 프로젝트 히스토리로 가는 길을 제공합니다.
LibRedirect는 YouTube, Instagram, Reddit, TikTok 등 인기 웹사이트를 개인 정보 보호를 중시하는 대체 프런트엔드로 리다이렉트하는 웹 확장 프로그램입니다. YouTube용 Invidious 및 Piped, Reddit용 Libreddit 및 Teddit 등 다양한 대체 사이트를 제공하여 사용자에게 더욱 개인적이고 안전한 브라우징 환경을 제공합니다. 데이터 추적과 작별하고 개인 정보 보호를 환영하세요!
AI가 소프트웨어 개발을 변화시키는 가운데, 기존의 컴퓨터 과학 교육은 개혁이 필요합니다. 이 기사에서는 코딩만으로는 부족하며 학생들은 시스템 사고, 창의적인 디자인 기술, 의도적인 구축 능력을 갖춰야 한다고 주장합니다. 창의적인 코딩은 프로그래밍을 자기 표현과 혁신의 수단으로 사용하여 내재적 동기와 계산적 사고를 키우는 해결책으로 등장합니다. Minecraft 기반 커리큘럼의 예시는 게임 디자인과 스토리텔링이 어떻게 효과적으로 코딩 개념을 가르치고 학생들의 참여와 학습 결과를 향상시키는지 보여줍니다. 이 기사는 교사의 전문성 개발의 중요성을 강조하고 창의적인 코딩을 교실에 통합하기 위한 더 큰 지원을 호소합니다.
Rust linter인 Clippy는 2025년 6월 26일부터 12주 동안 기능 동결에 들어갑니다. 750개 이상의 기존 lint의 정확도 향상과 오탐 감소에 중점을 둡니다. 이 기간 동안 새로운 lint는 받지 않지만, 버그 보고 및 기존 lint 개선에 대한 pull request는 환영합니다. 목표는 코드 품질 향상과 Rust 사용자에게 더욱 신뢰할 수 있는 lint 경험을 제공하는 것입니다.
50년의 기다림 끝에 (Makefile의 오랜 역사를 의미) mbake가 마침내 출시되었습니다! 이 Makefile 포맷터 및 린터는 들여쓰기, 공백, 줄 바꿈 등의 포맷 문제를 자동으로 수정할 뿐만 아니라 .PHONY 대상을 스마트하게 감지하고 사용자 정의 규칙 및 플러그인 확장을 지원합니다. 풍부한 명령줄 인터페이스를 통해 포맷팅, 유효성 검사, 버전 관리를 쉽게 수행할 수 있으며 CI/CD 워크플로우에도 원활하게 통합됩니다. 초보자든 전문가든 mbake는 Makefile 작성 효율성과 가독성을 크게 향상시킵니다.
Claude Code는 이제 원격 MCP 서버를 지원하여 개발자는 로컬 서버를 관리하지 않고도 자신이 선호하는 도구와 데이터 소스를 연결하여 코딩 환경을 개인화할 수 있습니다. MCP 서버에서 공개된 도구 및 리소스에 액세스함으로써 Claude Code는 개발 도구, 프로젝트 관리 시스템, 지식 베이스와 같은 타사 서비스에서 컨텍스트를 가져와 해당 서비스 내에서 작업을 수행할 수 있습니다. 디버깅을 위한 Sentry와 프로젝트 관리를 위한 Linear와 같은 통합으로 워크플로우가 간소화됩니다. 원격 MCP 서버는 유지 관리가 적으며, 공급업체의 URL만 추가하면 됩니다. Claude Code의 기본 OAuth 지원으로 API 키를 관리하거나 자격 증명을 저장하지 않고도 안전한 연결이 보장됩니다.
이 웹사이트는 다양한 아키텍처를 대상으로 하는 Linux용 바로 사용 가능한 크로스 컴파일 툴체인을 풍부하게 제공합니다. GCC와 Binutils를 기반으로 구축되었으며, glibc, uClibc-ng, musl C 라이브러리를 사용하는 여러 가지 변형이 있습니다. Buildroot 빌드 시스템을 활용합니다. 대부분의 툴체인은 Linux 커널과 사용자 공간을 빌드하여 Qemu에서 부팅함으로써 테스트됩니다. 각 아키텍처와 C 라이브러리 조합에 대해 안정적인 버전(오래되고 검증된 구성 요소 사용)과 최신 버전(최신 구성 요소 사용)의 두 가지 버전이 제공됩니다.
SAPF는 순수한 형태로서의 사운드를 탐구하기 위한 인터프리터입니다. 이 언어는 주로 함수형, 스택 기반이며, FORTH와 유사한 후위 표기법을 사용합니다. 오디오 및 제어 이벤트는 지연 평가되고, 무한할 가능성이 있는 시퀀스를 사용하여 표현됩니다. 이는 지연 시퀀스에 대해 APL이 배열에 대해 수행하는 작업, 즉, 편재하는 자동 매핑, 스캔 및 축소 연산자를 갖는 매우 높은 수준의 함수를 제공하는 것을 목표로 합니다. 이를 통해 짧은 프로그램에서 그 크기에 비해 불균형적인 결과를 얻을 수 있습니다. 거의 모든 프로그래머가 액세스할 수 있는 데이터 유형이 불변이기 때문에 이 언어는 데드락이나 손상 없이 여러 스레드를 쉽게 실행할 수 있습니다. APL, Joy, Haskell, Piccola, Nyquist, SuperCollider에서 영감을 받았으며, 간결하고 표현력이 풍부한 것을 우선시합니다.
작성자는 Microsoft의 새로운 터미널 텍스트 에디터인 Edit의 Docker 이미지를 생성하고 GitHub 컨테이너 레지스트리에 게시하는 과정을 자세히 설명합니다. Apple Silicon용 공식 빌드가 없으므로 작성자는 aarch64-linux-gnu 버전을 Mac에서 실행하기 위해 Docker 컨테이너를 생성했습니다. 이 글에서는 크기를 최소화하기 위한 멀티 스테이지 Docker 이미지 빌드, 이미지를 푸시하기 위한 GitHub Personal Access Token 사용, Apple Silicon Mac과 Docker를 사용하는 사용자가 Edit을 실행하기 위한 간단한 명령어에 대해 설명합니다.
스타트업에서 빠른 제품 출시 압박은 팀들이 개선으로 보이는 결과를 보고하는 경향을 만들어내고, 이는 P-해킹으로 이어집니다. 이 글에서는 수정되지 않은 다중 비교, 사후 지표 재정의, 그리고 적중이 나올 때까지 실험을 실행하는 세 가지 일반적인 시나리오를 자세히 분석합니다. 가설과 지표의 사전 등록, 사후 데이터 탐색 회피, 다중 비교를 위한 수정 사용, 그리고 조기 확인을 위한 적절한 임계값 적용의 중요성을 강조합니다. 결정적인 부정적 결과를 축하하고, 엄격한 통계적 방법론이 노이즈 발생을 방지하고 사용자 행동에 대한 진정한 이해를 구축함으로써 학습을 가속화한다고 주장합니다.
Rust로 작성되고 fasm을 백엔드로 사용하는 B 프로그래밍 언어 컴파일러를 사용할 수 있습니다! 이 프로젝트에는 ./tests/ 폴더의 테스트를 빌드하고 실행하여 지원되는 모든 대상에 대한 매트릭스 보고서를 생성하는 btest라는 테스트 유틸리티가 포함되어 있습니다. btest를 사용하면 대상(-t)과 개별 테스트 케이스(-c)를 지정할 수 있으므로 대상을 좁힌 테스트가 용이해집니다. 아직 개발 중이지만 hello_world.b와 같은 기본적인 예제는 정상적으로 컴파일되고 실행됩니다.
to-userscript는 Chrome 또는 Firefox 확장 프로그램을 모든 사용자 스크립트 관리자에서 실행 가능한 독립 실행형 .user.js 파일로 변환하는 명령줄 도구입니다. Chrome 웹 스토어, Firefox 추가 기능, 로컬 디렉토리 및 아카이브 파일을 포함한 다양한 소스를 처리합니다. 이 도구는 일반적인 WebExtension API를 정교하게 바꾸고, CSS, 이미지 및 기타 리소스를 포함하며, 백그라운드 스크립트와 국제화를 에뮬레이트합니다. npm, pnpm 또는 bun과 같은 패키지 관리자를 사용하여 간편하게 설치할 수 있습니다.
이 글에서는 Claude Code, Codex, Amp와 같은 AI 코딩 에이전트의 부상과 이것들이 소프트웨어 개발 방식을 어떻게 바꾸고 있는지 살펴봅니다. 저자는 터미널 기반의 "분위기 코딩"이 기존 IDE를 대체하고 있으며, 엔지니어들이 놀라운 속도로 고품질 코드를 생성하고 있다고 주장합니다. 이러한 변화는 생산성 향상을 가져오지만, 일자리 감소 및 성과 평가에 대한 우려도 제기합니다. 이 글에서는 더 넓은 지식 노동과 사회에 대한 AI의 영향에 대해서도 전망하며, 향후 몇 년 안에 큰 변화가 일어날 것으로 예측합니다.
이 프로젝트는 AWS Lambda 함수와 NAT 홀 펀칭을 사용하여 서버리스 QUIC 프록시를 구현합니다. S3를 조정에, UDP 트래버설 기술을 활용하여 전용 서버 없이 암호화된 프록시 연결을 만듭니다 - 필요에 따라 Lambda 함수가 시작됩니다. 이 시스템은 3단계 접근 방식을 사용합니다. 조정(클라이언트는 STUN을 통해 공용 IP 주소를 찾고 세션 정보를 S3에 씁니다), NAT 홀 펀칭(클라이언트와 Lambda는 양방향 홀을 만들기 위해 UDP 패킷을 교환합니다), 그리고 QUIC 터널 설정(클라이언트는 QUIC 서버를 시작하고 Lambda는 연결합니다). 결과는 SOCKS5 프록시를 통해 인터넷에 연결되는 브라우저이며, Lambda 함수는 트래픽을 전달하는 출구 노드 역할을 합니다.