SQL Server에서 키-밸류 저장소로: 데이터베이스 재작성 실패 분석

2025-06-15

베테랑 개발자가 이전 회사에서 데이터베이스 재작성 경험을 이야기합니다. 원래 시스템은 SQL Server를 사용했고, 복잡한 저장 프로시저 때문에 성능 병목 현상과 잦은 다운타임에 시달렸습니다. 재작성에서는 간단한 키-밸류 저장소를 선택했지만, 데이터 모델 불일치와 트랜잭션 지원 부족으로 인해 I/O 연산이 급증하고 성능이 저하되었으며, 복잡한 체크포인트 시스템이 도입되었습니다. 결국 이 재작성은 원래 문제를 해결하지 못하고 새로운 문제를 만들었습니다. 이 유머러스한 이야기는 기술 선택과 아키텍처 설계의 중요성, 그리고 과도한 단순화의 부정적 영향을 반영합니다.

더 보기

YubiKey 5 보안 요소의 심각한 취약점: 개인 키 추출 성공

2025-06-15
YubiKey 5 보안 요소의 심각한 취약점: 개인 키 추출 성공

보안 연구원 Thomas Roche는 YubiKey 5에 사용되는 Infineon SLE78 보안 요소에서 심각한 취약점을 발견했습니다. 사이드 채널 공격을 사용하여 ECDSA 개인 키 추출에 성공했습니다. 이 취약점은 Infineon의 암호화 라이브러리의 여러 버전에 영향을 미치며 자동차, 의료, 산업 제어, 항공 우주 등 여러 분야의 보안에 영향을 줍니다. 연구원은 해당 업계에서 이 취약점을 즉시 해결할 것을 촉구합니다.

더 보기
기술

AI 기반 학자금 대출 사기 급증: 대학과 학생들이 표적

2025-06-15
AI 기반 학자금 대출 사기 급증: 대학과 학생들이 표적

AI와 온라인 수업의 확산으로 학자금 대출 사기가 급증하고 있습니다. 범죄 조직은 AI 챗봇을 '유령 학생'으로 활용하여 온라인 수업에 등록하고 재정 지원금을 받고 있습니다. 캘리포니아 대학들은 2024년에 120만 건의 사기 신청을 보고했으며, 22만 3천 건의 의심스러운 가짜 등록과 최소 1110만 달러의 손실이 발생했습니다. 피해자들은 막대한 부채를 떠안을 뿐만 아니라, 봇으로 인해 수업이 가득 차 필요한 수업을 수강하지 못할 수도 있습니다. 미국 교육부는 정부 발급 신분증 제시를 의무화하는 임시 조치를 취했지만, 더욱 강력한 장기적인 해결책이 개발 중입니다.

더 보기

AI 기반 예술 복원: 600년 된 그림 3.5시간 만에 복원

2025-06-15
AI 기반 예술 복원: 600년 된 그림 3.5시간 만에 복원

MIT 연구원들은 AI와 3D 프린팅을 사용하여 디지털 복원을 원본 그림에 직접 적용하는 새로운 방법을 개발했습니다. 이 방법은 수천 개의 손상된 영역을 자동으로 식별하고 복구하며, 기존 방법보다 66배 빠릅니다. 전통적으로 수년이 걸리는 15세기 그림의 복원이 3.5시간 만에 완료되었습니다. 윤리적 고려 사항이 있지만, 이 기술은 많은 손상된 미술품의 복원을 가속화하고 더 많은 미술품을 대중에게 공개할 것을 약속합니다.

더 보기
기술 예술 복원

체스 등급 점수 급상승! 간단한 기술이 모든 것을 바꿨습니다

2025-06-15
체스 등급 점수 급상승! 간단한 기술이 모든 것을 바꿨습니다

체스 플레이어는 항상 블리츠 체스에서 불릿 체스보다 성적이 더 좋았습니다. 말을 움직이는 방법을 드래그 앤 드롭에서 클릭으로 변경하면서 평균 이동 시간이 0.25초 단축되었습니다. 이 작은 변화는 불릿 체스의 등급 점수를 크게 향상시켜 블리츠와 불릿의 등급 점수 차이를 절반으로 줄였습니다. 그는 이러한 개선을 더 많은 생각 시간과 사전 이동 감소, 그리고 그에 따른 실수 감소에 기인합니다.

더 보기
게임 게임 개선

에탄올 확장: 숨겨진 비용과 증가하는 불평등

2025-06-14
에탄올 확장: 숨겨진 비용과 증가하는 불평등

새 보고서는 에탄올 생산 확장이 온실 가스 배출량을 증가시킬 뿐만 아니라 중서부 지역 사회에 약속된 사회적, 경제적 이익을 제공하지 못한다는 결론을 내렸습니다. 보조금은 주로 대규모 농업 기업에 이익을 가져다주어 토지 집중화를 초래하고 소규모 농가의 상황을 악화시키고 있습니다. 제안된 정책은 토지 전환과 배출량을 증가시켜 이러한 문제를 악화시킬 수 있습니다. 트럼프의 감세는 토지 전환으로 인한 배출량을 저배출 연료 계산에서 제외함으로써 상황을 더욱 복잡하게 만들고 있습니다. 바이오 연료 업계 단체는 반응하지 않았지만, 일부는 보고서가 탄소 배출량을 과대 평가했다고 주장하며 콩 기반 연료의 경제적 기여와 일자리 창출을 강조하고 있습니다.

더 보기

macOS에서 C 프로그램 컴파일하기: 실전 가이드

2025-06-14

이 글에서는 macOS에서 C/C++ 프로그램을 컴파일하는 저자의 경험을 자세히 설명하고, 발생한 문제와 해결책에 초점을 맞춥니다. 컴파일러 설치, 종속성 관리(`apt-get`, `brew` 등의 도구 사용), `Makefile` 및 `./configure` 스크립트 조작 등 실용적인 가이드를 제공합니다. 주요 내용은 컴파일러 경고 처리, `CPPFLAGS` 및 `LDLIBS`와 같은 환경 변수를 사용한 링커 오류 해결, `make`를 사용한 선택적 목표 컴파일입니다. 또한 시스템 도구 및 라이브러리에서 C 컴파일의 널리 사용됨을 고려하여 C 프로그램을 작성하지 않는 프로그래머에게도 C 컴파일 이해의 중요성을 강조합니다. 마지막으로 저자가 컴파일된 패키지를 Homebrew에 성공적으로 기여함으로써 컴파일 프로세스를 숙달하는 실용적인 이점을 보여줍니다.

더 보기
개발

암스테르담의 공정한 사기 적발 모델: 알고리즘 편향에 대한 사례 연구

2025-06-14

암스테르담시는 복지 시스템에서 사기 적발을 위한 '공정한' AI 모델 구축을 시도했습니다. 이는 조사 건수 감소, 효율성 향상, 취약 계층에 대한 차별 회피를 목표로 했습니다. 초기 모델은 비(非)네덜란드인과 비서구권 출신자에게 편향을 보였습니다. 훈련 데이터의 가중치 부여를 통해 편향이 완화되었지만, 실제 적용에서는 반대 방향의 새로운 편향과 성능의 큰 저하가 드러났습니다. 결국 프로젝트는 중단되었고, AI에서 공정성의 다양한 정의 사이의 불가피한 트레이드오프가 부각되었습니다. 특정 집단의 편향을 줄이려는 시도는 다른 집단의 편향을 무의식적으로 증가시킬 수 있으며, 알고리즘적 의사 결정에서 공정성을 달성하는 복잡성을 보여줍니다.

더 보기

저수준 프로그래밍과 시스템 설계의 분리: "시스템 프로그래밍" 재고찰

2025-06-14

본 글에서는 "시스템 프로그래밍"이라는 용어의 진화를 탐구합니다. 저자는 이 용어가 두 가지 개념, 즉 저수준 프로그래밍(기계 구현 세부 사항을 다루는 것)과 시스템 설계(복잡하게 상호 작용하는 구성 요소를 생성하고 관리하는 것)를 혼동하고 있다고 주장합니다. 1970년대 어셈블리 언어 개선부터 1990년대 스크립팅 언어의 부상, 그리고 오늘날 프로그래밍 언어의 성능 향상에 이르기까지 시스템 프로그래밍의 경계는 점점 더 모호해졌습니다. 저자는 "시스템 프로그래밍"을 "저수준 프로그래밍"으로 재정의하고 시스템 설계를 별개의 분야로 남겨둘 것을 제안합니다. 그리고 함수형 프로그래밍 원칙이 시스템 설계에서 가치가 있다고 주장하며, 컴퓨터 과학 교육에서 저수준 프로그래밍과 시스템 설계 교육을 분리하여 아이디어의 상호 교류를 촉진할 것을 제안합니다.

더 보기
개발

닭용 안경: 놀라운 역사

2025-06-14
닭용 안경: 놀라운 역사

믿거나 말거나, 닭용 안경은 한때 미국의 양계장에서 흔히 볼 수 있는 광경이었습니다. 깃털 쪼기와 동족상잔 행위를 억제하기 위해 20세기 초에 개발된 이 작은 안경은 셀룰로이드부터 알루미늄까지 다양한 재질로 만들어졌으며, 투명한 것과 흥미롭게도 빨간색으로 착색된 것이 있었습니다. 빨간색은 피의 색깔을 가리기 위한 것이었다고 생각되었지만, 나중에 닭은 색맹이라는 것이 인정되었습니다. 그럼에도 불구하고 수백만 개의 닭용 안경이 팔렸고, 인기 TV 프로그램에도 등장했습니다. 이제는 수집품이 된 이 안경의 이야기는 동물 복지 관행의 끊임없는 진화를 반영합니다.

더 보기

중국 엔지니어들, 말레이시아에서 AI 모델 훈련

2025-06-14
중국 엔지니어들, 말레이시아에서 AI 모델 훈련

3월 초, 4명의 중국 엔지니어들이 15개의 하드 드라이브에 80테라바이트의 데이터를 저장하여 말레이시아로 이동하여 AI 모델을 훈련했습니다. 말레이시아 데이터센터에 있는 고급 Nvidia 칩이 장착된 약 300대의 서버를 사용했습니다. 이는 AI 모델 훈련에 해외 자원을 활용하고 있음을 보여줍니다.

더 보기

Rocky Linux 10 출시: RHEL 대안들 간의 차이점 확대

2025-06-14
Rocky Linux 10 출시: RHEL 대안들 간의 차이점 확대

Rocky Linux 10(Red Quartz)이 정식 출시되었습니다. RISC-V 아키텍처 지원이 추가되었지만, 이전 Raspberry Pi 모델 지원은 중단되었습니다. 올해 초에 출시된 AlmaLinux 10 및 RHEL 10과 비교했을 때 하드웨어와 소프트웨어 모두에서 미묘한 차이점이 나타납니다. 가장 두드러진 차이점은 RHEL 10 및 Rocky Linux 10이 x86-64-v3 CPU를 필요로 하는 반면, AlmaLinux 10은 x86-64-v2도 지원한다는 점입니다. 또한, RHEL 10의 고유한 AI 어시스턴트인 "Lightspeed"는 Rocky Linux 10에는 포함되어 있지 않습니다. 기능적으로 유사하지만, Rocky Linux 10은 하드웨어 호환성, AI 기능 및 상용 지원 측면에서 다른 RHEL 대안들과 점차 차별화되며, 시장에서 독자적인 위치를 구축하고 있습니다.

더 보기
개발

애플 논문이 밝히는 대규모 언어 모델의 확장 한계

2025-06-14
애플 논문이 밝히는 대규모 언어 모델의 확장 한계

대규모 언어 모델(LLM)의 추론 능력 한계를 부각한 애플 논문이 AI 커뮤니티에서 뜨거운 논쟁을 불러일으켰습니다. 이 논문은 매우 큰 모델조차도 언뜻 보기에 간단한 추론 작업에 어려움을 겪는다는 것을 보여주며, 인공 일반 지능(AGI) 달성을 위한 '확장이 모든 것을 해결한다'는 일반적인 가설에 의문을 제기합니다. 몇 가지 반론이 제기되었지만, 어떤 것도 설득력이 없었습니다. 기사에서는 출력 길이 제한과 훈련 데이터에 대한 과도한 의존으로 인해 LLM이 복잡한 알고리즘을 안정적으로 실행할 수 없는 것이 핵심 문제라고 주장합니다. 진정한 AGI를 실현하려면 더 우수한 모델과 뉴럴 네트워크와 심볼릭 알고리즘을 결합한 하이브리드 접근 방식이 필요하다고 저자는 제안합니다. 이 논문의 중요성은 AGI 개발 경로에 대한 비판적인 재평가를 촉구하고, 확장만으로는 충분하지 않다는 것을 분명히 한 점에 있습니다.

더 보기
AI

AI봇이 구글 검색을 대체하다: 새로운 유형의 웹 트래픽

2025-06-14
AI봇이 구글 검색을 대체하다: 새로운 유형의 웹 트래픽

ChatGPT와 같은 AI 도구가 구글 검색을 대체하면서 웹 트래픽에 큰 변화가 일어나고 있습니다. OpenAI와 Anthropic 같은 회사는 웹 콘텐츠를 실시간으로 요약하는 봇을 배포하여 인간이 할 수 없는 엄청난 양의 데이터를 AI 모델에 제공하고 있습니다. TollBit의 데이터에 따르면, 2025년 1분기 검색 봇 트래픽은 2024년 4분기 대비 49% 증가하여 기하급수적인 성장을 보였습니다. AI 도구는 사람들의 웹사이트 트래픽을 줄이지만, 전체 콘텐츠 접근은 급증합니다. 웹사이트는 AI 방문자에 적응해야 하지만, AI 회사가 스크래핑한 콘텐츠에 대한 비용 지불을 협상하는 것은 저작권 논쟁이 계속되는 가운데 어려워질 것입니다. 구글 검색과 소셜 미디어 알고리즘에 최적화된 현대 인터넷은 AI 답변의 확산에 대응하기 위해 재구축되어야 합니다.

더 보기
기술 웹 트래픽

AI + SQL: 정보 검색의 미래

2025-06-14
AI + SQL: 정보 검색의 미래

본 기사에서는 AI와 고급 SQL 시스템의 시너지를 활용하여 정보 검색에 혁신적인 접근 방식을 제안합니다. 대규모 언어 모델(LLM)은 인간의 의도를 해석하고 자연어 쿼리를 정확한 SQL 쿼리로 변환하여 대규모 분산 객체 관계형 데이터베이스에 액세스하는 데 사용됩니다. 이는 패턴 학습에만 의존하는 LLM의 한계를 극복하고 다양한 데이터 유형(지리적, 이미지, 비디오 등)을 처리할 수 있도록 하며 분산 시스템을 통해 속도와 안정성을 보장합니다. 궁극적인 목표는 사용자가 SQL 전문 지식 없이도 자연어를 사용하여 복잡한 데이터베이스에 액세스할 수 있도록 하는 것입니다.

더 보기
AI

HDR 신화의 붕괴: 기술적 세부 사항과 예술적 표현의 충돌

2025-06-14
HDR 신화의 붕괴: 기술적 세부 사항과 예술적 표현의 충돌

이 글은 HDR(하이 다이내믹 레인지) 영상 기술의 진실을 심층적으로 파헤치며, HDR이 항상 SDR(스탠다드 다이내믹 레인지)보다 우수한 것은 아니라는 점을 지적합니다. 효율성 향상, 넓은 색 영역, 예술적 표현 향상 등 HDR에 대한 일반적인 오해를 반박합니다. 저자는 HDR 변환 과정의 결함을 지적하고, 강제적인 자동 변환이 제작자의 의도를 훼손하고 이미지 품질을 저하시킨다고 주장합니다. 이 글은 명암의 지각이 상대적임을 강조하며, 기술적 지표보다 예술적 표현을 우선시합니다. 결론적으로 HDR과 SDR 사이에서 현명한 선택을 할 것을 권장하며, 제작자의 의도의 중요성을 강조합니다.

더 보기
디자인

Dia: 현황에 도전하는 AI 기반 브라우저

2025-06-14
Dia: 현황에 도전하는 AI 기반 브라우저

기존 웹 브라우저는 AI로부터 도전을 받고 있습니다. The Browser Company의 Dia 브라우저는 AI를 심층적으로 통합하여 사용자의 인터넷 사용 방식을 재정의하고자 합니다. Chromium 기반인 Dia는 깔끔한 인터페이스를 갖추고 있으며, 웹 검색, 파일 요약, 열려 있는 탭을 기반으로 콘텐츠 생성, 검색 기록을 컨텍스트로 활용하는 AI 챗봇 기능을 제공합니다. '스킬' 기능을 통해 사용자는 코드 스니펫을 바로가기로 만들 수 있습니다(예: 독서 레이아웃 자동 생성). 브라우저 내 AI는 새로운 기능이 아니지만, Dia의 사용 편의성과 강력한 기능은 기존 브라우저에 대한 강력한 경쟁력이 됩니다.

더 보기
기술

libc 없는 프로그래밍: strace를 사용한 Linux 시스템 콜 마스터하기

2025-06-14

저자는 최근 libc 없이 소프트웨어를 구축하여 Linux 시스템 콜과 내부 메커니즘을 더 깊이 이해하려고 시도했습니다. 최소한의 쉘, 스네이크 게임, 순수 ARM64 어셈블리 HTTP 서버, 그리고 스레드 구현을 만들었습니다. 디버깅에는 strace를 많이 사용했으며, 이 글에서는 strace의 여러 유용한 옵션과 플래그에 대해 자세히 설명합니다. 자식 프로세스 추적, 상세한 구조체 정보 출력, 시스템 콜의 선택적 추적, 그리고 디버깅을 위한 시스템 콜 오류 주입 등 광범위한 기능이 소개됩니다. 이것은 고급 Linux 시스템 프로그래밍 및 디버깅 기술에 대한 귀중한 통찰력을 제공합니다.

더 보기
개발

Argparse의 상호 배타적 그룹 중첩 제한: 답답한 수수께끼

2025-06-14

Python의 argparse 모듈은 명령줄 인수 처리를 위한 편리한 기능(상호 배타적 그룹 포함)을 제공하지만, 중첩에 관해서는 답답한 제한이 있습니다. 여러 시간 초과 설정을 가진 프로그램을 생각해 보세요. 사용자는 개별 시간 초과를 조정하거나 완전히 비활성화할 수 있습니다. argparse는 개별 시간 초과 옵션 그룹 내에 '시간 초과 없음' 옵션을 중첩하는 것을 지원하지 않습니다. 이로 인해 설정이 번거로워집니다. 일반 그룹 내에 상호 배타적 그룹을 중첩할 수는 있지만, 그 반대는 지원되지 않으며 공식 문서에서도 이 제한이 명시적으로 언급됩니다. 따라서 개발자는 특정 스위치가 사용되었는지 수동으로 확인해야 하며, 이로 인해 복잡성이 증가합니다.

더 보기
개발

코모도어 64 프리저 카트리지의 리버스 엔지니어링: 심층 분석

2025-06-14

이 글은 파이널 카트리지 III와 같은 코모도어 64 프리저 카트리지의 리버스 엔지니어링을 심층적으로 다룹니다. 이러한 카트리지는 C64의 Ultimax 모드와 NMI 인터럽트를 활용하여 프로그램 동결, 치트 코드 적용, 게임 상태 저장 등의 기능을 구현합니다. 본 글에서는 6502 CPU 명령어 사이클과 Ultimax 모드 활성화 시점 조정과 같이 동결 과정의 기술적 과제와 제한된 메모리 자원을 메뉴 표시 및 상태 백업 관리에 어떻게 활용하는지 자세히 설명합니다. 또한 카트리지의 백업 메커니즘과 게임 트레이너 기능을 분석하고, 개발자의 코모도어 64 하드웨어에 대한 깊이 있는 이해와 뛰어난 코딩 실력을 칭찬합니다.

더 보기
하드웨어 프리저 카트리지

저렴한 드론이 세계 권력 역학을 바꾸다

2025-06-14
저렴한 드론이 세계 권력 역학을 바꾸다

최근 이스라엘과 우크라이나가 적대적 목표물에 대한 드론 공격에서 성공을 거두면서 전쟁의 미래와 세계 권력 균형에 대한 우려가 제기되었습니다. 이 기사에서는 저렴한 드론의 파괴적인 영향을 분석합니다. 저렴한 비용으로 주요 인프라(고속도로, 교량, 발전소 등)를 공격할 수 있는 능력은 기존의 대규모 군사 충돌과는 대조적입니다. 이러한 비대칭 전쟁 능력은 대국조차 취약하게 만들며, 세계 질서의 재편, 궁극적으로 더욱 분산되고 조각난 권력 구조로 이어질 수 있습니다.

더 보기

Waymo의 급상승: 샌프란시스코에서 Uber를 제칠 수 있을까?

2025-06-14
Waymo의 급상승: 샌프란시스코에서 Uber를 제칠 수 있을까?

Waymo의 자율주행 차량 호출 서비스는 샌프란시스코에서 폭발적인 성장세를 보이고 있습니다. YipitData의 데이터에 따르면 Waymo는 Lyft의 시장 점유율을 넘어섰으며, 연말까지 샌프란시스코 최대의 차량 호출 서비스가 될 가능성이 있으며, Uber마저 제칠 가능성도 있습니다. 이러한 급성장은 샌프란시스코의 수만 명의 차량 호출 운전기사의 일자리에 대한 우려를 불러일으키며, 기그 이코노미에서 AI의 파괴적 잠재력을 보여줍니다.

더 보기

실리콘을 넘어서: 펜실베이니아 주립대, 2D 소재를 이용한 CMOS 컴퓨터 개발

2025-06-14
실리콘을 넘어서: 펜실베이니아 주립대, 2D 소재를 이용한 CMOS 컴퓨터 개발

펜실베이니아 주립대 연구진이 획기적인 성과를 달성했습니다. 원자 하나 두께의 2차원(2D) 소재를 사용하여 실리콘 대신 기능적인 CMOS 컴퓨터를 개발한 것입니다. Nature지에 발표된 이 개발은 더 얇고, 더 빠르고, 더 에너지 효율적인 전자 장치로 향하는 중요한 도약을 의미합니다. 몰리브덴 이황화물과 텅스텐 이셀레늄화물을 각각 n형 및 p형 트랜지스터에 사용하여 연구팀은 복잡한 컴퓨터 아키텍처에 대한 2D 소재 확장의 이전 과제를 극복했습니다. 현재 작동 주파수는 낮지만, 이 연구는 실리콘 기반 기술을 뛰어넘는 길을 열어 전자 공학의 새로운 시대를 약속합니다.

더 보기

유럽 최초 엑사스케일 슈퍼컴퓨터 "주피터": 엔비디아 지원, Arm CPU 채용

2025-06-14
유럽 최초 엑사스케일 슈퍼컴퓨터

독일 율리히 연구소의 오랫동안 기다려온 엑사스케일 슈퍼컴퓨터 "주피터"가 마침내 Top500 목록에 데뷔했습니다. Eviden과 ParTec이 구축한 이 하이브리드 CPU-GPU 머신은 6월 HPL 벤치마크에서 GPU 부스터 모듈이 4위를 차지했습니다. 엔비디아의 GPU와 인터커넥트 기술에 크게 의존하지만, "주피터"는 SiPearl의 Rhea1 Arm CPU 기반의 유니버설 클러스터 모듈을 채택하여 유럽 HPC의 독립성으로 향하는 움직임을 보여줍니다. 그러나 엑사스케일 FP64 성능 목표를 완전히 달성하려면 GPU 노드를 더 확장해야 합니다. 5억 유로의 프로젝트는 하드웨어와 소프트웨어에 상당한 투자가 이루어졌음을 보여줍니다.

더 보기
기술

아폴로의 "8볼": 달 착륙선의 자세 지시기/비행 지휘 장치 해부

2025-06-14
아폴로의

이 글은 아폴로 달 착륙 임무에서 사용된 자세 지시기/비행 지휘 장치(FDAI)를 자세히 분석합니다. 이 장치는 '8볼'이라고 불리는 회전하는 검은색 구체가 특징입니다. 이 글에서는 '8볼'이 세 축(롤, 피치, 요)으로 회전하는 정교한 메커니즘과 FDAI 내부의 복잡한 서보 제어 시스템(싱크로, 서보 루프, 모터/타코미터, 증폭기 등)을 상세히 설명합니다. 또한 아폴로 달 착륙선과 우주왕복선 시뮬레이터에서의 사용을 포함하여 FDAI의 역사를 추적하고 항공우주 역사에서의 중요성을 강조합니다. 아폴로 FDAI와 F-4 전투기의 ARU/11-A 지시 장치를 비교하여 유사점과 차이점을 밝힙니다.

더 보기
기술 계기

Lisp에서의 진리 오라클: 타입 이론, 커리-하워드 동형 사상, call/cc에 대한 기묘한 이야기

2025-06-14

이 글에서는 Lisp에서 임의의 수학적 명제의 참/거짓을 판별하는 프로그램인 "진리 오라클"을 작성하려는 시도를 다룹니다. 저자는 커리-하워드 동형 사상을 소개하여 논리적 증명이 형식화된 함수형 프로그래밍의 표현식에 어떻게 대응하는지 설명합니다. Racket의 call/cc 함수(피어스 법칙과 동형)를 사용하여 배중률과 동형인 프로그램을 구현하려고 시도하지만, 실험 결과는 예상 밖입니다. 오라클은 불가능한 타입 값에 접근하려고 할 때만 참을 반환하고, 그 외에는 항상 거짓을 반환합니다. 이는 고전 논리와 구성적 논리의 차이점과 call/cc 함수의 비표준 제어 흐름 메커니즘을 보여줍니다. 마지막으로 저자는 "악마와의 거래"라는 은유를 사용하여 이 기묘한 행동을 설명하고 call/cc 함수 뒤에 숨겨진 시간 여행과 같은 메커니즘을 제시합니다.

더 보기
개발

SSHTron: SSH를 통해 플레이하는 멀티플레이어 라이트사이클 게임

2025-06-14
SSHTron: SSH를 통해 플레이하는 멀티플레이어 라이트사이클 게임

SSHTron은 SSH를 통해 플레이할 수 있는 멀티플레이어 라이트사이클 게임입니다. sshtron.zachlatta.com에 연결하여 플레이를 시작하세요. WASD 키 또는 vim 키 바인딩을 사용하여 사이클을 조작합니다. 7가지 색상 중에서 선택할 수 있습니다. BrickHack 2에서 약 20시간 만에 개발되었으므로 코드 품질은 개선의 여지가 있습니다. 이 프로젝트는 오픈소스이며 Docker 및 Raspberry Pi 배포를 지원합니다. 보안 경고에서는 SSH 클라이언트와 관련된 잠재적인 취약성(CVE-2016-0777)이 지적되었으므로 클라이언트 업데이트를 권장합니다.

더 보기
게임

46년 된 Atari 2600에 ChatGPT 완패!

2025-06-14
46년 된 Atari 2600에 ChatGPT 완패!

한 엔지니어가 체스 게임을 실행하는 46년 된 Atari 2600과 ChatGPT를 대결시켰습니다. 결과는 레트로 게임기의 압승이었습니다. ChatGPT는 반복적으로 실수를 저지르고, 말을 착각하거나, 게임판 상황을 파악하지 못하고, 심지어 재시작을 요청하기까지 했습니다. 이는 복잡한 전략 게임에서 대규모 언어 모델의 한계를 보여주는 것이며, 전략적 계산이 아닌 언어 처리에 강점이 있음을 보여줍니다. 1997년 Deep Blue가 Kasparov를 이긴 것과는 대조적이며, AI의 지속적인 발전을 보여줍니다.

더 보기
게임

오픈소스 소프트웨어: 유토피아의 이상과 현실의 갈등

2025-06-14
오픈소스 소프트웨어: 유토피아의 이상과 현실의 갈등

이 글은 초기 학술적 공유에서부터 상용 소프트웨어의 부상, 리처드 스톨먼이 주창한 자유 소프트웨어 운동과 그 이후의 오픈소스 운동에 이르기까지 오픈소스 소프트웨어의 역사를 개괄합니다. 저자는 오픈소스 소프트웨어가 기술 산업의 성장을 촉진해 왔지만, 자금 부족, 기여자 다양성 부족, 초기 사회적 이상을 완전히 실현하지 못한 점 등 여러 과제에 직면하고 있음을 지적합니다. 오픈소스 소프트웨어는 만병통치약이 아니며, 성공 사례는 순수한 커뮤니티 기여보다 기업의 지원에 크게 의존합니다. 저자는 자신이 설립한 오픈소스 소셜 네트워킹 플랫폼 Elgg를 예로 들어 오픈소스 소프트웨어의 실용적인 애플리케이션에서의 한계와 가능성을 설명합니다.

더 보기
기술

거대 언어 모델과 잔여 휴머니즘의 종말: 구조주의적 접근

2025-06-14
거대 언어 모델과 잔여 휴머니즘의 종말: 구조주의적 접근

라이프 웨더비의 신작 『언어 기계: 문화적 AI와 잔여 휴머니즘의 종말』은 거대 언어 모델(LLM)이 인지 능력을 언어와 컴퓨팅으로부터 분리해 온 과정을 조명하며, 이전의 구조주의 이론을 상기시킵니다. 웨더비는 AI 연구에서 만연한 '잔여 휴머니즘'을 비판하며, 이것이 LLM에 대한 진정한 이해를 가로막고 있다고 주장합니다. 그는 AI 회의론자와 옹호론자 모두 인간과 기계의 능력을 단순 비교하는 함정에 빠진다고 지적합니다. 그리고 언어를 전체론적 시스템으로 간주하고, 단순한 인지적 또는 통계적 현상이 아니라는 구조주의적 틀을 사용하여 LLM과 인문학에 대한 그 영향을 더 깊이 이해해야 한다고 제안합니다.

더 보기
1 2 165 166 167 169 171 172 173 595 596