검색 결과

"programming" · 89개 기사 · GeekNews

1
GeekNewsDev/Tools2026-10-16

Folders - 폴더의 포함 관계와 순서로 코드를 표현하는 프로그래밍 언어

Folders - 폴더의 포함 관계와 순서로 코드를 표현하는 프로그래밍 언어

텍스트 대신 폴더의 계층과 순서로 코드를 표현하는 비텍스트 프로그래밍 언어. 폴더 이름은 알파벳순 정렬을 제외하면 코드 의미에 영향을 주지 않음.

2
GeekNewsDev/Tools2026-10-15

Show HN: Petal, 마침내 무료로 쓸 수 있는 오픈소스 CoScreen/ScreenHero 대안

Show HN: Petal, 마침내 무료로 쓰는 오픈소스 CoScreen/ScreenHero 대안

Petal은 공유 화면을 데스크톱의 독립된 창처럼 표시하고 함께 조작하는 오픈소스 페어 프로그래밍 도구. 공유 창을 자유롭게 이동·크기 조절할 수 있고, 사용자 이름이 표시된 커서를 제공.

3
GeekNewsDev/Tools2026-10-15

Fortran 70주년을 기념하며

Fortran 70주년을 기념하며

첫 Fortran 매뉴얼 발행 70주년을 맞아 ICCS가 12월 1일 영국 Manchester에서 기념 행사를 개최함. Fortran은 원자력 공학, 기상·기후 예측, 재료과학 분야의 핵심 기술을 70년간 뒷받침해 왔으며 현재도 활용 중임.

4
GeekNewsDev/Tools2026-10-14

즐거움을 위한 프로그래밍

즐거움을 위한 프로그래밍

즐거움을 위한 프로그래밍은 업무나 수익, 외부 요구가 아닌 코딩 자체의 재미와 내적 동기를 위해 만드는 활동임. 부담 없는 탐색이 직관을 키우고 번아웃을 예방하며 장기적인 창작 동기를 되살리는 데 도움을 줌.

5
GeekNewsGeneral Tech2026-10-14

80세 기증자의 혈액 세포를 분자 나이 20세 미만인 줄기세포로 전환

80세 기증자의 혈액 세포, 분자 나이 20세 미만의 줄기세포로 전환

80세 기증자의 혈액 세포를 분자 나이가 20세 미만인 줄기세포로 전환한 사례 소개. 세포 재프로그래밍을 통한 노화 연구 가능성을 시사함.

6
GeekNewsDev/Tools2026-10-12

Show GN: 이음(ieum) — 한국어 문장으로 쓰는 프로그래밍 언어

Show GN: 이음 (ieum) - 한국어 문장으로 쓰는 프로그래밍 언어

자연어에 가까운 한국어 문장으로 코드를 작성하는 프로그래밍 언어와 IDE 확장 프로그램을 개발함. Python 호환성을 추가해 기능이 제한적인 기존 한국어 기반 언어와 차별화를 시도.

7
GeekNewsDev/Tools2026-10-11

표준 C에서는 문자열의 부동소수점 변환 오류를 이식성 있게 검사할 수 없음

아, 표준 C에서는 문자열의 부동소수점 변환 오류를 이식성 있게 검사할 수 없는 모양이다

표준 C의 문자열-부동소수점 변환 오류 보고 방식은 구현과 math_errhandling 설정에 따라 달라짐. 언더플로 보고가 선택 사항이라 모든 구현에서 검출을 보장할 수 없으며, POSIX는 오버플로·언더플로 발생 시 추가 기준을 제공함.

8
GeekNewsDev/Tools2026-10-10

Python 3.15 정식 출시 — 지연 임포트, 불변 딕셔너리, UTF-8 기본 인코딩 도입

Python 3.15 정식 출시 - 지연 임포트, 불변 딕셔너리, UTF-8 기본 인코딩 도입

Python 3.15.0이 UTF-8 기본 인코딩과 frozendict·sentinel 내장 타입을 도입함. 명시적 지연 임포트로 모듈 로딩을 실제 사용 시점까지 미뤄 시작 시간을 단축.

9
GeekNewsAI/ML2026-10-10

프로그래밍은 특별하지 않다

프로그래밍은 특별하지 않다

프로그래밍도 기술과 연습에 기반한 창작 노동이므로 기능적 결과물이라는 이유만으로 AI 사용을 별도로 정당화할 수 없다는 주장. 일상적인 코드와 광고 문구를 포함한 실용적 작업도 예술의 범주로 해석.

10
GeekNewsDev/Tools2026-10-08

Show GN: Gooo - 작은 모델로 코드를 조립하고 이어 만드는 언어

Show GN: Gooo - 작은 모델로 코드를 조립하고 이어 만드는 언어

작은 AI 모델로 코드를 점진적으로 조립하고 미완성 상태의 진행 상황을 추적하는 언어 Gooo 개발 중. 생성된 부분과 남은 작업을 구분해 코딩을 이어가는 방식을 지향.

11
GeekNewsDev/Tools2026-10-08

Rust 프로그래머를 위한 C

Rust 프로그래머를 위한 C

Rust 개발자가 C를 배울 때 직접 관리해야 하는 오류 처리, 널 종료 문자열, 포인터, 메모리 접근 책임을 설명. 컴파일러와 타입 시스템이 보장하지 않는 안전 요소를 중심으로 정리.

12
GeekNewsDev/Tools2026-10-08

if는 위로, for는 아래로: 관용 패턴과 그 대수, 그리고 한계

if는 위로, for는 아래로: 관용 패턴과 그 대수, 그리고 한계

조건 분기는 호출자 쪽에, 반복문은 배치 처리 함수 내부에 배치해 제어 흐름을 중앙화하는 설계 패턴을 분석. 입력 타입과 핵심 처리 로직을 단순화하는 효과와 적용 한계를 설명.

13
GeekNewsDev/Tools2026-10-06

Factor 개요

Factor 개요

Factor는 데이터 스택의 값을 워드가 소비하고 결과를 다시 쌓는 방식으로 실행되는 스택 기반 프로그래밍 언어임. 실행 가능한 코드를 값으로 취급하는 quotation을 통해 조건문·반복·부분 적용·함성을 구성.

14
GeekNewsDev/Tools2026-10-06

Common Lisp이 이제 최고의 프로그래밍 언어인 이유

Common Lisp이 이제 최고의 프로그래밍 언어인 이유

LLM으로 코드 작성이 빨라지면서 개발 병목이 실행 결과를 확인하는 피드백 루프로 이동. Common Lisp은 실행 중 함수 교체와 디버깅 후 즉시 재개를 지원해 재빌드·재시작 대기 시간을 줄임.

15
GeekNewsDev/Tools2026-10-05

Thoreau BASIC - BASIC이 유행에서 밀려나지 않았다면

Thoreau BASIC - BASIC이 유행에서 밀려나지 않았다면?

Thoreau BASIC은 GW-BASIC의 줄 번호와 PRINT·FOR·NEXT 문법에 현대적인 그래픽·네트워크·사운드 기능을 결합한 무료 64비트 인터프리터. Windows 프로그램으로 실행하거나 운영체제 없이 PC에서 직접 부팅 가능.

16
GeekNewsDev/Tools2026-10-05

Vx - 하나의 언어로 모든 칩을 프로그래밍

Vx - 하나의 언어로 모든 칩을

CPU, GPU, NPU 등 다양한 칩을 하나의 언어로 프로그래밍하는 시스템 언어. 데이터 위치와 칩 연결 구조를 타입 시스템에 포함하고 메모리 간 이동을 명시적으로 관리.

17
GeekNewsDev/Tools2026-10-02

Rust 1.99.0 발표

Rust 1.99.0 발표

Rust 1.99.0에서 "C"와 "C-unwind" ABI의 가변 인자 함수 직접 정의 기능을 추가. C의 va_list와 ABI 호환되는 VaList를 통해 인자를 처리.

18
GeekNewsDev/Tools2026-10-02

타입클래스와 모듈 비교

타입클래스와 모듈 비교

타입클래스는 여러 타입에서 동일한 식별자를 재사용하는 애드혹 다형성에 초점. 모듈 시스템은 프로그램을 명시적으로 분해하고 조합하는 모듈식 추상화를 주목적으로 함.

19
GeekNewsDev/Tools2026-10-02

RacketCon이 토요일에 개막

RacketCon이 토요일에 열림

제16회 RacketCon이 2026년 10월 3~4일 미국 Oakland에서 개최. 타입 추론, 저수준 프로그래밍, 매크로 등 Racket 관련 발표와 프로그램으로 구성.

20
GeekNewsDev/Tools2026-10-01

1+1이 필요했는데 함수형 프로그래밍 언어를 만들었다

1+1이 필요했는데 함수형 프로그래밍 언어를 만들었다

산술식을 이진 트리로 변환하는 과제에서 출발해 C로 함수형 언어 graphLang과 그래프 축약 엔진을 구현. 산술 연산을 함수 적용으로 일반화하고 변수와 함수를 이름으로 조회 가능한 값으로 통합.

21
GeekNewsDev/Tools2026-09-30

Tcl/Tk 9.1

Tcl/Tk 9.1

Tcl/Tk 9.1.0이 Tcl 명령어와 C API, Tk 접근성 및 위젯 기능을 확장. Unicode 정규화 기능과 마이크로초 해상도의 단조 시계 기반 timer 명령을 추가.

22
GeekNewsDev/Tools2026-09-29

Lisp는 왜 읽기 어려울까?

Lisp는 왜 읽기 어려울까?

Lisp의 가독성 문제를 익숙함뿐 아니라 괄호 배치가 시각적 그룹화와 작업 기억에 주는 부담으로 분석. C 스타일 호출 구문과 달리 함수 이름까지 괄호 안에 배치하는 구조가 관련 요소의 인지를 어렵게 할 수 있음.

23
GeekNewsDev/Tools2026-09-28

내 세상을 바꾼 코드 열 줄

내 세상을 바꾼 코드 열 줄

BASIC부터 6502 어셈블리와 POKE까지, 짧은 코드로 컴퓨터와 프로그램을 직접 제어하고 수정했던 경험을 회고. 단순한 코드 몇 줄이 프로그래밍에 대한 이해와 진로에 미친 영향을 조명.

24
GeekNewsDev/Tools2026-09-28

Recurse Center에서 한 일들

Recurse Center에서 한 일들

Brooklyn의 프로그래밍 리트리트 Recurse Center에서 LLM·에이전트 학습, 프로그래밍 언어 구현, 압축 해제기 개발과 페어 프로그래밍을 진행. 에이전트 샌드박스, 소형 언어 모델, 협동 게임 등 다양한 실험도 수행.

25
GeekNewsDev/Tools2026-09-27

LLM 시대에도 프로그래밍을 계속 즐기는 법

LLM 시대에도 프로그래밍을 계속 즐기는 법

코드는 직접 작성하고 LLM에는 계획 정리·조사·검토 같은 보조 작업을 맡기는 접근을 제안. 코드베이스에 대한 이해와 주도권을 유지하면서 생산성을 높이는 방식.

26
GeekNewsDev/Tools2026-09-26

Show GN: Lowent – 함수 서명만으로 동작을 파악할 수 있는 시스템 프로그래밍 언어

Show GN: Lowent – 함수의 서명만 읽어도 무엇을 하는지 아는 시스템 프로그래밍 언어

Lowent는 함수 서명만으로 입력·출력과 외부에 미치는 효과를 파악하도록 설계된 시스템 프로그래밍 언어 및 컴파일러. 코드의 모호성을 줄여 사람과 AI의 분석 정확도를 높이는 것이 목표.

27
GeekNewsDev/Tools2026-09-24

Z80 REPL (2018)

Z80 REPL (2018)

Z80 프로세서 환경에서 대화형으로 명령이나 코드를 입력하고 실행할 수 있는 REPL 프로젝트. 2018년에 공개된 레트로 컴퓨팅 개발 도구.

28
GeekNewsDev/Tools2026-09-23

프로그래밍 언어를 제대로 설계하자! (2024)

프로그래밍 언어를 제대로 설계하자! (2024)

새 프로그래밍 언어는 여러 줄 문자열, 경로, 확장형 문법처럼 해법이 알려진 문제를 초기 설계 단계에서 처리해야 한다는 제안. 사용자 확보 이후에는 하위 호환성 때문에 구조적 결함을 수정하기 어려움.

29
GeekNewsDev/Tools2026-09-22

이름 있는 인자와 선택적 인자는 정말 멋지다

이름 있는 인자와 선택적 인자는 정말 멋지다

Rust에 이름 있는 인자와 선택적 인자를 도입해 인자 순서 오류와 구조체·빌더 기반 우회 코드를 줄이자는 제안. 선택적 설정 조합마다 별도 생성 함수를 제공해야 하는 현재 API 설계의 비효율을 지적.

30
GeekNewsAI/ML2026-09-21

Conway의 법칙과 프로그래밍 언어

콘웨이의 법칙과 프로그래밍 언어

AI 에이전트는 빠르게 통신하지만 제한된 컨텍스트와 세션 초기화로 인간 조직처럼 공유 지식을 축적하기 어려움. 인간이 에이전트 출력을 검토하고 판단하는 과정이 새로운 병목으로 부상.

31
GeekNewsDev/Tools2026-09-18

Bend - 증명으로 AI의 실수를 막고 GPU에서 실행되는 언어

Bend - 증명으로 AI의 실수를 막고 GPU에서 실행되는 언어

필수 조건과 수학적 증명을 코드로 작성해 AI가 생성한 구현의 요구사항 위반을 타입 검사 단계에서 차단하는 프로그래밍 언어. LAWS.bend에 규칙을, PROOF.bend에 증명을 정의하며 GPU 실행을 지원.

32
GeekNewsDev/Tools2026-09-16

작은 프로그래밍 요령들

작은 프로그래밍 요령들

언어 기능, 명령어, 디버깅 단서처럼 쉽게 적용할 수 있는 작은 지식이 엔지니어링 생산성을 높인다는 내용. python3 -m http.server 등 사전 지식이 적어도 활용 가능한 실용적 요령을 소개.

33
GeekNewsDev/Tools2026-09-16

LLM 시대의 프로그래밍 학습

LLM 시대의 프로그래밍 학습

LLM으로 대규모 시스템을 만든 초보 개발자가 제품화와 오류 수정 단계에서 구현 능력과 이해 수준의 격차를 마주함. 모든 추상화를 아는 것보다 현재 다루는 시스템을 점검하고 문제를 해결할 수 있는 이해력이 중요하다고 설명.

34
GeekNewsDev/Tools2026-09-15

Java 27 출시

Java 27 출시

Java 27의 참조 구현인 JDK 27이 빌드 35를 프로덕션용 GA 버전으로 확정해 출시. 9개 JEP와 수백 건의 개선, 수천 건의 버그 수정이 포함됐으며 G1을 기본 가비지 컬렉터로 통일.

35
GeekNewsDev/Tools2026-09-15

사고방식에 가장 큰 영향을 준 블로그 글은 무엇인가요?

여러분의 사고방식에 가장 큰 영향을 준 블로그 글은 무엇인가요?

소프트웨어 설계·제품 완성·경력·개발자 책임에 영향을 준 블로그 글을 공유하는 토론. 주요 추천 글로 Parse, Don’t Validate와 초기 Joel on Software 글 등이 언급됨.

36
GeekNewsDev/Tools2026-09-14

경험상 프로그래머들은 "reduce"를 좋아하지 않음

경험상 프로그래머들은 "reduce"를 좋아하지 않음

코드 리뷰에서 map과 filter는 대체로 수용되지만 reduce는 가독성이 떨어진다는 피드백이 빈번함. 복잡한 누적 로직보다 의도가 명확한 대안을 선호하는 경향.

37
GeekNewsDev/Tools2026-09-13

현실과 동떨어진 쿵푸 고수가 되지 말라 - John Carmack

현실과 동떨어진 쿵푸 고수가 되지 말라 - 존 카맥

John Carmack이 AI로 변화하는 프로그래밍 환경에서 과거의 저수준 기술에만 집착하지 말라고 조언. 기술 자체의 숙련보다 현실 문제 해결에 필요한 도구와 추상화 활용을 강조.

38
GeekNewsDev/Tools2026-09-13

프로그래밍 언어의 몇 가지 좋은 아이디어

프로그래밍 언어의 몇 가지 좋은 아이디어

흐름 타이핑, 차용 검사, 계약 프로그래밍이 타입 추론과 메모리 안전성, 불변식 명시에 기여하는 방식을 소개. Crystal의 유니온 타입 추론 등 실제 언어 기능을 사례로 설명.

39
GeekNewsDev/Tools2026-09-12

Λ Snap - 어린이와 성인 모두 쉽게 접근할 수 있는 컴퓨터 과학 학습용 프로그래밍 언어

Λ Snap - 어린이와 성인 모두 친근하게 접근할 수 있는 컴퓨터 과학 학습용 프로그래밍 언어

Snap!은 연령과 경험 수준에 관계없이 사용할 수 있는 프로그래밍 언어이자 컴퓨터 과학 학습 플랫폼. 웹 실행 환경과 게임·퍼즐·애니메이션 예제, 학습 자료를 제공.

40
GeekNewsDev/Tools2026-09-12

젠장, 그래도 만들자

젠장, 그래도 만들자

프롬프트만으로 도구와 게임을 만드는 시대에도 결과물을 직접 만드는 과정의 가치와 즐거움은 별개라는 주장. LLM 생성 코드가 자신의 창작물처럼 느껴지지 않는 문제를 조명.

41
GeekNewsAI/ML2026-09-11

AI 때문에 느끼는 슬픔

AI 때문에 느끼는 슬픔

AI의 일자리 대체보다 평생의 직업이자 정체성이었던 프로그래밍이 쓸모없는 기술로 취급되는 현실에서 느끼는 상실감을 조명. 기술 대체가 여러 직업의 가치와 인간의 정체성에 미치는 영향 제기.

42
GeekNewsDev/Tools2026-09-10

Rust, Microsoft의 Tier-1 언어로 자리매김

Rust, Microsoft의 Tier-1 언어로 자리 잡음

Microsoft가 Rust를 C++, C#, TypeScript와 함께 내부 개발용 Tier-1 언어로 운영. 로컬 개발부터 프로덕션까지 보안 도구 체인, 품질 검증, 플랫폼 통합과 SDL 준수를 지원.

43
GeekNewsDev/Tools2026-09-10

Rust: 빈 타입이 바닥 타입은 아닐 때

Rust: 빈 타입이 바닥 타입은 아닐 때

Rust의 never 타입 ‘!’을 모든 타입 표기에서 허용하는 PR이 병합돼 Rust 1.100에 포함될 예정. 확장된 ‘!’의 의미는 모든 타입의 하위 타입인 바닥 타입보다 값이 없는 빈 타입으로 이해하는 것이 더 정확하다는 분석.

44
GeekNewsDev/Tools2026-09-10

async/await의 설계 공간 탐색

async/await의 설계 공간 탐색

async/await의 실행 의미가 언어와 런타임마다 달라 동일한 동시성 코드가 7개 런타임에서 4가지 결과를 생성. 차이는 성능이 아닌 태스크 실행과 스케줄링에 관한 설계 선택에서 발생.

45
GeekNewsDev/Tools2026-09-09

Show GN: Wave 프로그래밍 언어

Show GN: Wave 프로그래밍 언어

Wave는 C와 Rust의 영향을 받아 개발 중인 저수준 프로그래밍 언어. LLVM 백엔드를 통해 네이티브 코드로 컴파일하며 시스템 프로그래밍을 비롯한 다양한 용도를 목표로 함.

46
GeekNewsGeneral Tech2026-09-09

프로그래밍은 예술이다

프로그래밍은 예술이다

프로그래밍을 제품·수익 창출의 수단으로 보는지, 코드 작성 자체를 즐기는 예술 활동으로 보는지에 따라 AI 수용 태도가 달라진다는 관점. 결과가 목적이라면 구현 주체보다 완성된 제품이 중요하지만, 과정이 목적이라면 직접 코딩하는 행위가 핵심.

47
GeekNewsDev/Tools2026-09-07

OCaml로 프로그래밍 배우기

OCaml로 프로그래밍 배우기

OCaml 입문서를 영어로 번역한 PDF와 EPUB가 공개됨. CC BY-SA 4.0 라이선스로 배포되며 The OCaml Software Foundation이 번역을 지원함.

48
GeekNewsDev/Tools2026-09-06

Bespoke: ‘부탁합니다’라고 말하는 사람들을 위한 프로그래밍 언어

Bespoke: ‘부탁합니다’라고 말하는 사람들을 위한 프로그래밍 언어

정중한 요청과 감사 인사를 요구하는 정적 타입 언어 구상. 할당과 변경은 Compiler, 출력은 Output Console, 파일·런타임 작업은 Host Environment에 요청하는 식으로 예절 문법을 설계함.

49
GeekNewsAI/ML2026-09-05

DHH가 바라본 프로그래밍의 미래: 직접 코딩에서 AI 에이전트 팀 운영으로

DHH가 바라본 프로그래밍의 미래: 직접 코딩에서 AI 에이전트 팀 운영으로 [유튜브]

DHH가 AI를 보조 도구가 아닌 제작 주체로 보며, 여러 에이전트를 병렬로 운영하는 개발 방식으로의 전환을 강조함. Omarchy Quattro 사례에서는 최근 3개월 코드의 거의 100%를 에이전트가 작성했다고 소개.

50
GeekNewsDev/Tools2026-09-04

Revo 프로그래밍 언어

Revo 프로그래밍 언어

파이프 기반 데이터 흐름과 오류 값을 결합한 동적 언어로, 표현식 중심 문법과 명시적 오류 처리를 지향함. 패턴 매칭과 unwrap 계열 연산으로 크래시 대신 값 중심 제어를 유도함.

51
GeekNewsGeneral Tech2026-08-27

모든 악의 근원의 근원

모든 악의 근원의 근원

‘premature optimization is the root of all evil’은 Knuth의 논문 전체 원칙이 아니라 구조적 프로그래밍과 goto를 다룬 41쪽 논문의 짧은 효율성 절에서 나온 문구. 성능 최적화는 전체 코드가 아니라 실행 시간 대부분을 차지하는 핵심 구간에 집중해야 한다는 맥락을 강조함.

52
GeekNewsGeneral Tech2026-08-24

내가 좋아하는 컴퓨터 과학 책과 그 이유

내가 좋아하는 컴퓨터 과학 책과 그 이유

The Art of Computer Programming, Algorithms, 4th Edition, The Practice of Programming 등 대표적인 CS 서적을 비교하며 각 책이 제공하는 학습 방식의 차이를 정리함. 알고리듬 이해, 설명의 명료성, 프로그래밍 습관 형성이라는 서로 다른 강점을 강조함.

53
GeekNewsDev/Tools2026-08-23

Racket 친절한 입문

Racket 친절한 입문

Lisp와 Scheme 계열의 언어인 Racket 입문서. 코드와 데이터를 같은 구조로 다루고, 문제에 맞는 언어와 문법까지 직접 만들 수 있는 점을 소개함.

54
GeekNewsDev/Tools2026-08-23

Python으로 사고하기

Python으로 사고하기

Python의 관용구와 패턴을 기초부터 효과 관리까지 체계적으로 익히는 온라인 도서. 정적 타이핑, 테스트, 패턴 매칭, 메타프로그래밍, 성능, 동시성까지 47개 장으로 구성됨.

55
GeekNewsDev/Tools2026-08-23

Gleam의 멋진 점들

Gleam의 멋진 점들

Gleam은 deprecated, todo, generics, pattern matching, error handling을 언어 차원에서 일관되게 제공해 단순성과 가독성을 높임. 코드에 API 이전 경로와 미완성 작업을 명시적으로 남길 수 있는 점이 강점으로 소개됨.

56
GeekNewsGeneral Tech2026-08-20

프로그래머를 위한 음악 이론

프로그래머를 위한 음악 이론

개발자가 Web Audio API와 JavaScript로 음악 이론을 물리와 수학에서부터 직접 유도한 글. 12음, 음계, 화음을 배열과 수식으로 구성하며 왜 특정 음들이 조합되는지 설명함.

57
GeekNewsDev/Tools2026-08-17

C 대체재를 만들고 있다고 생각했지만 틀렸다

C 대체재를 만들고 있다고 생각했지만 틀렸다

C3는 단순히 C가 쓰이던 영역을 대체하는 언어가 아니라, C의 단순성과 성능에 현대적 편의성을 더한 범용 애플리케이션 언어를 지향함. C 대체재는 더 이상 OS·임베디드 중심이 아니라 새로운 범용 언어 경쟁으로 이동하고 있음.

58
GeekNewsDev/Tools2026-08-14

1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유

1910년의 『프린키피아 마테마티카』가 현대적으로 읽히는 이유

Principia Mathematica가 참조 투명성, 타입, 자유 변수와 바인딩 변수, 치환, 스코프 같은 현대 프로그래밍 언어의 핵심 개념을 이미 다뤘다고 설명함. 명제 함수와 겉보기 변수 개념이 람다 항, 바인딩 변수, 알파 동등성, 캡처 회피 치환과 대응된다는 점을 짚음.

59
GeekNewsDev/Tools2026-08-14

Python의 미리 정의된 상수는 꽤 이상함

Python의 미리 정의된 상수는 꽤 이상함

Python의 미리 정의된 상수 6개는 이름 해석과 대입 규칙이 서로 달라 일관성이 떨어짐. True, False, None, __debug__, Ellipsis, NotImplemented의 동작 차이를 정리한 글이다.

60
GeekNewsAI/ML2026-08-12

코드가 아니라 아이디어를 통제하라

코드가 아니라 아이디어를 통제하라

AI 시대의 프로그래머는 생성된 코드를 한 줄씩 검토하기보다 소프트웨어가 담아야 할 아이디어와 설계를 통제해야 한다고 주장. LLM은 국소 최적 코드 작성에는 강하지만 큰 설계에서는 한계가 있다고 봄.

61
GeekNewsDev/Tools2026-08-12

Mojo 1.0 정식 출시

Mojo 1.0 정식 출시

2023년 공개된 프로그래밍 언어 Mojo가 안정적인 프로덕션 기반의 1.0 버전에 도달함. Modular는 MAX와 Modular Cloud에서 이미 매일 사용 중이며, 이후에는 기능 추가 중심으로 1.x를 발전시킬 계획임.

62
GeekNewsAI/ML2026-08-11

프로그래밍 언어가 코딩 에이전트의 토큰 효율과 정확성에 미치는 영향

프로그래밍 언어가 코딩 에이전트의 토큰 효율과 정확성에 미치는 영향

Zstd와 Pandoc 구현 평가에서 동적 언어가 항상 더 토큰 효율적이라는 가정이 재현되지 않음. 과제 난이도와 추론 노력에 따라 정확도, 비용, 시간 순위가 달라져 언어별 우열을 일반화하기 어려움.

63
GeekNewsDev/Tools2026-08-10

Go 생태계에 기대어 만든 시스템 언어 Solod

Go 생태계에 기대어 만든 시스템 언어 Solod

Solod는 C·Go 개발자를 겨냥한 시스템 언어로, Go의 부분집합으로 설계됨. 기존 Go 도구체계를 활용하면서 전용 도구로 추가 문법 검사를 지원함.

64
GeekNewsGeneral Tech2026-08-09

내가 좋아하는 소프트웨어 강연들

내가 좋아하는 소프트웨어 강연들

도구 사용법보다 추상화, 복잡성, 정확성, 문제 해결 같은 소프트웨어 공학의 핵심 기예에 초점을 맞춘 강연 모음. 프로그래밍을 기계와 사람 사이의 커뮤니케이션으로 보고, 좋은 강연이 정신 모델을 압축해 전달한다는 관점을 담음.

65
GeekNewsDev/Tools2026-08-08

“코드는 결코 어려운 부분이 아니었다”는 말은 모든 프로그래머에 대한 모욕이다

“코드는 결코 어려운 부분이 아니었다”는 말은 모든 프로그래머에 대한 모욕이다

AI가 프로그래밍 방식을 바꾸고 있지만 코딩을 쉽게만 보는 시각은 기술, 경험, 노력의 가치를 과소평가함. 무엇을 만들지 정하고 고객을 이해하는 일뿐 아니라 구현 자체도 여전히 복잡하고 버그가 많은 핵심 작업으로 남아 있음.

66
GeekNewsDev/Tools2026-08-05

취미 프로그래밍 커뮤니티가 LLM 사용에 강하게 반대하는 이유

취미 프로그래밍 커뮤니티가 LLM 사용에 강하게 반대하는 이유

취미 프로그래밍 커뮤니티는 작동하는 결과물보다 어려운 분야를 직접 익히는 숙련 과정을 중시. LLM으로 우회해 완성품을 만드는 행위는 활동의 목적을 놓치는 것으로 받아들여짐.

67
GeekNewsDev/Tools2026-07-29

Paged Out! 제9호

Paged Out! 제9호

프로그래밍, 시스템, 보안, AI, 리버스 엔지니어링, 하드웨어를 다루는 무료 실험적 기술 잡지의 최신 호. 한 기사당 한 페이지 형식으로 실전 기술 노트와 아이디어를 담음.

68
GeekNewsDev/Tools2026-07-27

아이들에게 Forth를 가르쳐 본 경험

아이들에게 Forth를 가르쳐 본 경험

중·고등학생 대상 수업에서 문법보다 핵심 개념 이해를 위해 Forth를 활용한 사례. 스택 기반 동작을 직접 체험하게 해 프로그래밍 원리를 몸으로 익히도록 구성함.

69
GeekNewsDev/Tools2026-07-26

Show GN: UmmLang으로 틱택토 AI를 만들어 봤습니다

Show GN: 엄랭으로 틱택토 AI를 만들어 봤습니다.

난해한 언어 UmmLang으로 틱택토 AI를 구현한 프로젝트 소개. 제한적인 제어 구조만으로 게임 로직과 AI를 구성한 사례를 공유함.

70
GeekNewsDev/Tools2026-07-19

새롭게 디자인된 Elixir-lang.org

새롭게 디자인된 Elixir-lang.org

Elixir의 새 홈페이지가 개인 개발부터 대규모 팀, 단일 서버부터 글로벌 네트워크까지 확장 가능한 Erlang 기반 언어로 소개함. 불변성, 메모리 안전성, 점진적 타입 시스템을 강조함.

71
GeekNewsStartup2026-07-18

HN의 15년 지지가 평생의 일로 이어진 Recurse Center

HN의 15년 지지가 평생의 일로 이어진 Recurse Center

Recurse Center가 운영 15주년을 맞았고, HN을 통한 인지도로 장기 운영 기반을 마련함. 공동 창업자들이 여러 실패를 거친 뒤 현재 형태의 프로그램으로 정착시킨 성장사가 정리됨.

72
GeekNewsDev/Tools2026-07-11

Lisp로 가는 길: 왜 Lisp인가

Lisp로 가는 길: 왜 Lisp인가

Lisp의 핵심은 괄호 문법이 아니라 문제에 맞게 언어를 확장하는 방식에 있음. REPL, 매크로, 코드-데이터 동형성을 익혀야 Lisp의 장점이 드러남.

73
GeekNewsDev/Tools2026-07-11

양극성 LISP 프로그래머

양극성 LISP 프로그래머

Lisp의 기술적 우수성에도 불구하고 주류가 되지 못한 이유를 언어보다 Lisp 커뮤니티의 성향에서 분석한다. 뛰어난 창의성과 지성에 비해 협업, 타협, 지속적 마무리에 약한 문화가 확산을 막았다는 주장이다.

74
GeekNewsDev/Tools2026-07-09

SICP 비디오 강의(1986)

SICP 비디오 강의(1986)

MIT의 SICP 전체 흐름을 20개 비디오 강의로 복습할 수 있는 자료. 1986년 Hewlett-Packard 직원 대상 강의로 진행된 아카이브 성격의 콘텐츠임.

75
GeekNewsDev/Tools2026-07-08

Odin 1.0, ‘Odin 2027’로 2027년 1월 출시 예정

Odin 1.0, ‘Odin 2027’로 2027년 1월 출시 예정

Odin이 첫 정식 릴리스를 'Odin 2027'로 준비 중이며 2027년 1월 출시가 목표임. 핵심 기준은 컴파일러가 따르는 완전한 언어 명세 확립.

76
GeekNewsDev/Tools2026-07-07

Jam 프로그래밍 언어

Jam 프로그래밍 언어

C 계열의 즉시성은 유지하면서 GC 없이 안전성과 낮은 학습 곡선, 고성능을 노리는 초기 단계 언어. mutable value semantics와 Rust식 drop 시스템으로 소유권과 borrow 문법 노출을 줄임.

77
GeekNewsDev/Tools2026-07-06

다시 Zig로 돌아가기 - Zig → Rust → Zig

다시 Zig로 돌아가기 - Zig → Rust → Zig

Zig의 명시적 메모리 관리, 숨은 제어 흐름 없음 같은 철학이 다시 매력으로 부각됨. Rust를 대안으로 썼지만 FFI, 크로스 컴파일, 숨은 할당 같은 실무 한계로 다시 Zig를 검토하는 흐름.

78
GeekNewsDev/Tools2026-07-06

컴파일러와 언어 설계 입문 교재 (2021)

컴파일러와 언어 설계 입문 교재 (2021)

Notre Dame CSE 40243 컴파일러 수업 기반의 무료 온라인 교재가 공개됨. 한 학기 분량으로 컴파일러 제작 흐름과 고급 언어를 저급 언어로 번역하는 과정을 다룸.

79
GeekNewsGeneral Tech2026-07-05

Odin, Wikipedia와 참여 유도형 분노 장사

Odin, Wikipedia와 참여 유도형 분노 장사

Odin 프로그래밍 언어 문서의 삭제 여부가 Wikipedia의 출처 기준과 주목성 논쟁으로 번졌다. 2026년 3월 AfD 토론에서 삭제 의견이 우세했고 최종적으로 문서가 삭제됐다.

80
GeekNewsGeneral Tech2026-07-04

EXAPUNKS (2018)

EXAPUNKS (2018)

1997년을 배경으로 한 해킹 퍼즐 게임으로, 플레이어가 지하 컴퓨터 잡지를 통해 규칙과 팁을 익히며 진행한다. 전직 해커가 생존을 위해 해킹과 치료를 맞바꾸는 설정이 핵심이다.

81
GeekNewsDev/Tools2026-07-03

Show GN: 한글 GWEB 문학적 프로그래밍으로 단편을 써보세요

Show GN: 한글 GWEB 문학적 프로그래밍으로 단편을 써보세요.

Go용 문학적 프로그래밍 도구 GWEB이 한글 입력을 지원하도록 개선됨. 한글로 단편을 쓰듯 프로그램을 작성하는 쇼케이스 성격의 소개글임.

82
GeekNewsDev/Tools2026-06-30

Ante: 빌림 검사와 참조 카운팅을 결합하는 새 방식

Ante: 빌림 검사와 참조 카운팅을 결합하는 새 방식

Ante는 참조 카운팅의 유연성과 빌림 검사의 안전성을 결합한 시스템 언어 접근을 제안함. shape-stability와 temporary uniq conversion으로 런타임 패닉과 독점 접근 오버헤드를 줄이려 함.

83
GeekNewsDev/Tools2026-06-28

Prism: 타입 지정 효과를 갖춘 비순수 함수형 언어

Prism: 타입 지정 효과를 갖춘 비순수 함수형 언어

가변 변수, 예외, 스트림 같은 효과를 타입에 드러내면서도 외부에 관찰되지 않는 지역 변경은 순수 타입으로 유지하는 실험적 컴파일러. 대수적 효과 핸들러와 행 다형성(row polymorphism)을 핵심으로 설계됨.

84
GeekNewsDev/Tools2026-06-23

Show GN: GWEB: Go를 위한 문학적 프로그래밍 도구

Show GN: GWEB: Go 언어를 위한 문학적 프로그래밍 도구

GWEB은 Donald Knuth의 CWEB을 모델로 한 Go용 문학적 프로그래밍 시스템. 하나의 .w 파일에 TeX 설명과 Go 코드를 함께 작성해 문서와 소스의 병행 관리를 지원함.

85
GeekNewsDev/Tools2026-06-23

Mitchell Hashimoto, Zig 재단에 40만 달러 추가 기부 약정

미첼 하시모토, Zig 재단에 40만 달러 추가 기부 약정

Mitchell Hashimoto 가족이 Zig Software Foundation에 40만 달러를 추가 약정해 총 지원 약정액이 70만 달러로 늘어남. Zig 언어와 컴파일러 개선을 위한 장기 후원을 이어가며 개발 진척을 지지함.

86
GeekNewsDev/Tools2026-06-22

AI 시대의 프로그래머: 코드 생성에서 비결정성 통제로의 역할 전환

AI 시대의 프로그래머: 코드 생성에서 비결정성 통제로의 역할 전환

AI가 코드 작성의 상당 부분을 자동화하면서 개발자의 역할이 직접 구현에서 설계·검증·통제로 이동. 모호한 요구를 구체화하고 재사용 가능한 추상으로 정리하는 능력이 더 중요해짐.

87
GeekNewsDev/Tools2026-06-19

CS 6120: 고급 컴파일러 자기주도 온라인 강좌 (2020)

CS 6120: 고급 컴파일러 자기주도 온라인 강좌 (2020)

Cornell CS의 박사 수준 컴파일러 강좌를 자기주도형으로 수강할 수 있게 정리한 자료. IR, 데이터 흐름, 최적화, 병렬화, JIT, GC까지 컴파일러 핵심 주제를 체계적으로 다룸.

88
GeekNewsGeneral Tech2026-06-17

“나는 Fabrice Bellard를 존경함” - John Carmack

"나는 Fabrice Bellard를 존경함" - 존 카맥

John Carmack이 Fabrice Bellard를 자신보다 전반적인 프로그래밍 실력이 더 뛰어난 인물로 평가하며 존경을 표함.

89
GeekNewsGeneral Tech2026-06-16

JavaScript의 탄생과 죽음 (2014)

JavaScript의 탄생과 죽음 (2014)

1995년부터 2035년까지 JavaScript와 프로그래밍 역사를 SF·코미디·강연 형식으로 따라감. JavaScript 찬반 없이 전반적 흐름을 중립적으로 정리함.