shopkeeper/kowiki-cleaned-020126 huggingface dataset:
임베디드 비주얼 베이직

임베디드 비주얼 베이직(Embedded Visual Basic) 또는 eVB는 마이크로소프트 비주얼 베이직의 구현으로, PDA, 휴대폰, 포켓 컴퓨터 및 기타 프로그래밍 가능한 전자 시스템과 같은 임베디드 시스템을 위한 프로그램을 생성하도록 고안되었다. 일반적으로 윈도우 임베디드 컴팩트에서 사용된다. 이 도구 자체는 윈도우 98, 윈도우 NT, 윈도우 XP 및 후속 운영 체제와 같은 데스크톱 운영 체제에서 실행된다. 이 도구는 윈도우 NT 임베디드용 실행 파일을 컴파일할 수도 있다.

임베디드 비주얼 베이직은 마이크로소프트에서 제공되며, 마이크로소프트 비주얼 C++ 문서에서 다루는 임베디드 Visual C++ (eVC++), 임베디드 비주얼 J++ (eVJ++)를 비롯한 다른 도구 및 윈도우 임베디드 컴팩트용 관계형 데이터베이스 시스템(비주얼 폭스프로의 사실상 대체품)과 함께 제공된다. 중앙적으로 중요한 윈도우 임베디드 컴팩트 관련 도구는 액티브싱크로, 데스크톱 컴퓨터에서 장치에 접근할 수 있게 하며 제어판 기능(예: 프로그램 설치 및 제거)을 제공한다. 다른 도구 중에는 윈도우 임베디드 컴팩트용 RegEdit 버전도 있다.

이러한 도구의 구현은 마이크로소프트 오피스의 포켓 버전을 자동화하는 프로그램을 작성하는 데 사용할 수 있는 개체와 구성 요소를 제공하며, 이는 포켓 오피스 제품군을 위한 스크립팅 및 매크로 기능을 얻는 한 가지 방법이 될 것이다. 임베디드 비주얼 인터데브(Visual InterDev) 버전은 없으며, MSDN이나 마이크로소프트 비주얼 소스세이프도 윈도우 임베디드 컴팩트로 포팅되지 않았다. 윈도우 임베디드 컴팩트에서 비주얼 베이직 기능을 얻는 다른 방법은 설치 CD-ROM에서 제공되는 비기본 설치인 윈도우 스크립트 호스트 구현을 설치하는 것이다.

임베디드 비주얼 베이직, 비주얼 J++, 비주얼 C++ 도구의 버전 3은 비주얼 베이직 6.0, 비주얼 J++ 6.0, 비주얼 C++ 6.0의 언어 및 구현과 유사하다. 이러한 도구를 설치하기 위한 CD-ROM은 마이크로소프트에서 무료로 제공되었다. 후자의 추가 업데이트인 버전 4.5도 사용할 수 있다. .닷넷 시스템용 프로그래밍 도구도 마이크로소프트에서 생산한다. 윈도우 임베디드 컴팩트 머신 자체에서 실행할 수 있는 베이직 개발 도구 중 하나는 타사 NS 베이직이다.

 각주 

분류:베이직 프로그래밍 언어 계열
분류:베이직 컴파일러
분류:베이직 인터프리터
에스팔리옹

에스팔리옹()은 프랑스 남부 아베롱주에 있는 코뮌이다.

 같이 보기 
 아베롱주의 코뮌 목록

 외부 링크 
 에스팔리옹

분류:아베롱주의 코뮌
볼츠만 공정분배

볼츠만 공정분배 원칙(영어: Boltzmann Fair Division, 볼츠만 공평분배 원칙으로도 불림)은 통계물리학의 볼츠만 분포에서 영감을 받은 자원 배분의 확률적 모델이다. 이 원칙은 기여(contribution), 필요(need), 선호(preference) 등 인간적 요인을 통합한 '분배 잠재력(distribution potential)'이라는 개념을 도입한다. 분배 잠재력에 따라 자원이 협상이나 전략적 행동 없이 자발적이고 확률적으로 배분된다. 이 원칙은 소득 재분배, 배출권 할당, 공공정책 설계 등 현실의 다양한 분배 문제를 수리적으로 분석할 수 있는 대안적 틀로 제안되었다.

이 개념은 혁신적이고 실용적인 분배 정의 모델로 국내외 언론과 학술지에서 폭넓게 조명되었다.

 배경 
전통적 분배정의 이론(평등주의, 능력주의, 필요중심, 롤스의 정의, 노직의 권리 등)은 서로 상충하거나 현실에 적용이 어려운 경우가 많다. 볼츠만 공정분배 원칙은 단일 조정 변수 β(베타)를 사용해 다양한 분배 논리를 수학적으로 표현할 수 있다.

 수학적 구조 
참여자 에게 자원 단위가 할당될 확률 는 다음과 같이 정의된다:

여기서
 : 참여자 의 분배 잠재력(기여, 필요, 선호 등 포함)
 : 분산(확산) 매개변수
 이면 완전한 평등분배
 이면 능력주의적(기여도 비례) 분배

 주요 특성 
 자발적 분배: 협상, 감정, 전략적 행동 없이 자원이 자동적으로 배분된다.
 엔트로피 기반 메커니즘: 엔트로피 극대화 원리에 따라 분배가 결정되며, 자연·사회적 공정성 개념과 연결된다.
 이질성의 반영: 기여, 필요, 선호 등 다양한 요소가 분배 잠재력에 통합될 수 있다.
 단일 파라미터의 유연성: β 값 하나로 평등분배~능력주의 분배를 연속적으로 조정할 수 있다.
 후생함수와의 결합성: 사회후생극대화(효용 극대화 등)와 결합해 정책 분석에 활용할 수 있다.
 포용성: 기여도가 0인 참여자도 0이 아닌 확률로 자원을 받을 수 있다.
 확장성: 참여자 수가 늘어나도 수학적 구조가 단순하다.

 전통 이론과의 비교 

 적용 사례 
볼츠만 공정분배 원칙은 학술 연구와 언론 보도 등 다양한 맥락에서 논의·적용되었다.
 배출권 거래제: 8개국 시뮬레이션에서 무상할당, 경매 등 기존 방식 대비 공정성과 효율성이 모두 우수하게 나타났다.
 소득재분배: 미국, 중국, 핀란드, 남아공, 태국 등에서 실증 적용되어 '실현 가능한 평등' 기준선과 공정 소득분포를 계량적으로 제시했다.
 공공정책: 백신 배분, 예산 할당 등 공공재·자원 분배 정책에 적용 가능성이 논의되었다.
 게임이론 대안: 전략적 행동(게임이론) 없이 엔트로피 기반으로 배분되는 새로운 메커니즘으로 주목받고 있다.

 사고 실험: 화성의 케이크 나누기 
400px|섬네일|center|alt=기여, 필요, 선호에 따라 케이크를 나누는 화성 탐사대 5인의 그림|볼츠만 기반 공정분배를 화성에 적용한 개념도(원작, 최초 발표: LSE Public Policy Blog, 2023).
LSE 블로그에 소개된 사고실험에서는, 기여·필요·선호가 각기 다른 5명의 화성 탐사대가 한정된 케이크를 나눠야 하는 상황을 가정한다. 볼츠만 분배 모델은 평등 또는 협상 대신, 지수 확률 함수에 따라 자발적이고 편향 없는 분배가 이뤄짐을 보여준다.

 한계와 추가 연구 
실용성과 단순성에서 긍정적 평가를 받았으나, 실제 적용 시 '개인의 분배 잠재력(기여, 필요 등) 계량'의 어려움, 다양한 사회·경제 맥락에서의 효과성 평가가 추가 연구 과제로 남아 있다.

 언론 및 대중의 반응 
볼츠만 공정분배 원칙은 국내외 주요 언론에서 "현실 공정성 문제에 대한 단순하면서도 강력한 해결책"으로 평가받았다. 국내에서는 아시아경제 등에서 기존 분배방식의 대안으로 소개되었으며, LSE 블로그 등 학술 커뮤니티에서도 실제 적용사례와 사고실험을 다루고 있다.

 같이 보기 
 분배정의
 공정분배
 공평분배
 자원 배분
 엔트로피
 사회정의
 소득 불평등
 효용이론
 통계물리학
 공공정책
 기본소득
 인공지능
 자동화
 알고리즘적 공정성

 참고문헌 

분류:공평한 분할
분류:통계역학
분류:엔트로피
분류:공공 정책
분류:소득 분배
트레이 사토리우스

트레이 사토리우스(Trey Sartorius, 2003년 5월 30일 ~ )는 미국의 SNS 스타이자 배우이다. 2025년 6월 기준, 트레이 사토리우스는 모든 플랫폼을 합쳐 200만 명 이상의 팔로워를 보유하고 있다.

 각주 

 외부 링크 
 찰리 더밀리오 - TikTok
 
 

분류:살아있는 사람
분류:미국의 유튜버
분류:미국의 틱톡커
분류:유튜브 브이로거
분류:소셜 미디어 인플루언서
앙드레 생트라귀

앙드레 생트라귀(, 1882년 4월 20일 ~ 1950년 1월 18일)는 그래프 이론 분야의 선구자였던 프랑스의 수학자였다. 그가 1910년에 발표한 정당 명부식 비례대표제의 의석 배분 방법에 대한 연구는 그의 이름을 딴 생트라귀 방식을 탄생시켰다. 또한 선거 결과의 비례성을 측정하는 생트라귀 지수도 그의 이름을 따서 명명되었다.

그는 곤충학자 앙투안 마냥의 《곤충의 비행()》(1934) 서문에 언급된, 뒤영벌이 날 수 없다는 것을 보여주려 했다고 알려진 비공식적 계산으로도 유명하다. 이 계산은 비행기와 뒤영벌을 비교한 것으로, 뒤영벌의 날개가 매끄럽고 평평하다는 잘못된 가정을 바탕으로 했다. 그와 다른 사람들은 이 가정을 곧 수정했지만, 뒤영벌이 날 수 없음을 증명했다는 과학자의 이야기는 오늘날까지 남아있다.

그는 생물학자 장 로스탕이 서문을 썼고 여러 언어로 번역된 《알려진 것에서 미지의 것으로()》를 포함하여 여러 대중 수학 서적을 출판했다.

 생애 
1882년 카스텔잘루(로테가론)에서 태어난 생트라귀는 20세에 에콜 폴리테크니크와 에콜 노르말 쉬페리외르에 동시에 합격했고, 후자를 선택했다. 그는 지방에서 교수가 되었고, 나중에는 파리에서 교수가 되었다. 제1차 세계 대전 중 세 번 부상을 입은 후, 1917년부터 1919년까지 에콜 노르말 발명학과에 소속되어 장거리 포탄을 연구했고, 그 후 새의 비행 및 항공 관련 문제를 연구했다.

제1차 세계 대전 후, 파리의 대학의 교수로 재직하면서 국립 고등 공예원에서 수학 강사가 되었고, 1938년에는 응용수학 석좌교수가 되어 여러 세대의 엔지니어와 기술자를 양성했다. 생트라귀는 그랑 팔레에 위치한 과학관인 발견의 궁전()의 수학 전시관과 그곳의 유명한 "파이 방"의 조직자이자 담당자였으며, 그곳에서 여전히 그의 백과사전적 지식을 살펴볼 수 있다.

그는 학문적 경력 외에도 활동가로서의 삶을 살았는데, 특히 1929년 회장이었던 지식인 노동자 연합에서 활동했다. 독일의 프랑스 점령 초기부터 그는 레지스탕스에 중요한 역할을 했고 심지어 잠시 투옥되기도 했다. 그는 해방 후 국립 고등 공예원에서 직무를 재개했으며 갈수록 더 많은 학생들을 가르쳤다. 사망 당시 그는 3개 과목을 총 2,500명의 학생에게 가르치고 있었다.

그는 레지옹 도뇌르 훈장, 전쟁십자 훈장, 레지스탕스 훈장을 수훈하였고, 특수 공공 사업 학교 교수, 국제 지식인 노동자 연합 회장, 중산층 연합 부회장, 펠로우 협회 전 회장, 국립 경제 위원회 전 부회장, 프랑스 은행 총회 전 회원, 임시 자문 의회 전 대리인이었다.

그의 갑작스러운 죽음은 그가 1949년에 부회장이었고 1934년부터 회원이던 심령 연구소 친우 위원회 회장직을 막 수락한 바로 그 순간에 찾아왔다.

 저서 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 
 

 수훈 
 레지옹 도뇌르 국민 훈장
 전쟁십자 훈장 1914-1918
 레지스탕스 훈장

 각주 

분류:1882년 출생
분류:1950년 사망
분류:레지스탕스 관련자
분류:프랑스의 수학자
분류:그래프 이론가
분류:프랑스의 제1차 세계 대전 참전 군인
분류:로트에가론주 출신
분류:레지옹 도뇌르 오피시에 훈장 수훈자
분류:에콜 노르말 쉬페리외르 동문
분류:레지스탕스 메달 수훈자
솔라루사

솔라루사(Solarussa)는 이탈리아 사르데냐 주 오리스타노도에 있는 코무네 (지자체)로, 칼리아리에서 북서쪽으로 약 115 km, 오리스타노에서 북동쪽으로 약 14 km 떨어져 있다. 2004년 12월 31일 기준 인구는 2,496명이며 면적은 31.9 km2이다.

솔라루사는 다음 지자체들과 접해 있다: 바울라두, 오리스타노, 파울릴라티노, 시아마조레, 시막시스, 트라마차, 체르팔리우.

 인구 변동 

 각주 

 외부 링크 

 www.comune.solarussa.or.it/sito/home/

분류:오리스타노도의 코무네
수사 (피에몬테주)

수사(Susa, , , , )는 이탈리아 피에몬테주 토리노 광역시에 있는 도시이자 코무네이다. 수사 계곡의 중앙에 위치하며, 코티알프스 기슭의 체니스키아강과 포강의 지류인 도라 리파리아강이 합류하는 지점에 자리 잡고 있으며, 토리노에서 서쪽으로 51km (32마일) 떨어져 있다.

 역사 
수사 ()는 리구리아인에 의해 건설되었다. 이곳은 세구시니 (코티라고도 불림)의 수도였다. 기원전 1세기 후반에 자발적으로 로마 제국의 일부가 되었다. 중앙 광장인 피아차 사보이아 발굴에서 로마 도시의 유적이 발견되었다. 수사는 알프스 코티아 지방의 수도였다. 중세 역사가 로둘푸스 글라베르에 따르면, 수사는 "알프스 도시 중 가장 오래된 도시"였다.

중세와 근대 시대에 수사는 남프랑스와 이탈리아를 연결하는 도로의 중심지로서 중요성을 유지했다. 토리노 변경 (때로는 "수사 변경")의 백국 또는 후작령의 일부였다. 1167년, 신성 로마 황제 프리드리히 1세와 신성 로마 황후 베아트리스는 이곳에서 공격을 받았다. 황제는 마부로 변장하여 도주했고, 황후는 1168년 떠나는 것이 허락될 때까지 감금되었다. 1174년 황제는 복수를 위해 수사를 약탈했다. 수사는 아마도 사보이 백작의 가장 초기 주화 주조지였을 것이다. 11세기에서 12세기에 "Secusia"가 뒷면에 새겨진 주화가 존재한다.

13세기 이탈리아의 교회법학자 헨리 오브 세구시오 (활동명 오스티엔시스, 1200년경 – 1271년)는 이 도시에서 태어났다. 나폴레옹 시대에 새로운 도로인 비아 나폴레오니카가 건설되었다. 도시의 통신 허브로서의 역할은 최근 프랑스로 향하는 제안된 토리노-리옹 고속철도 연결 (TAV) 건설을 둘러싼 전국적인 논쟁으로 다시 확인되었다.

 주요 명소 
섬네일|수사의 로마 원형극장
 수사 대성당() (1029년).
 기원전 8년 로마화된 수구시아 추장이 아우구스투스를 위해 세운 개선문 아우구스투스 개선문.
 로마 원형극장.
 아델라이데 후작 부인의 성. 고대 로마의 프라이토리움과 같은 장소에 위치했을 가능성이 높다.
 피아차 사보이아의 고고학 유적지.

 자매 도시 
 반스터플, 영국
 브리앙송, 프랑스
 파올라, 이탈리아

 같이 보기 

 발 디 수사
 트레노 알타 벨로치타
 수사 로마 가톨릭 교구
 수사 조약

 각주 

 외부 링크 
 

분류:토리노 광역시의 코무네
테르구

테르구(Tergu, )는 사르데냐 이탈리아 지역의 사사리도에 있는 코무네 (지자체)로, 칼리아리 북쪽 약 , 사사리 북동쪽 약 떨어진 앙글로나 역사 지역에 위치한다.

이곳에는 로마네스크 양식의 노스트라 시뇨라 디 테르구 교회가 있다.

 각주 

분류:사사리도의 코무네
테르테니아

테르테니아(Tertenia)는 이탈리아의 사르데냐 주 누오로도에 있는 코무네이다. 칼리아리에서 북동쪽으로 약 , 토르톨리에서 남쪽으로 약 떨어져 있다.

테르테니아는 다음 코무네와 접해 있다: 카르데두, 가이로, 예르추, 라누세이, 로체리, 오시니, 울라사이.

이곳은 리오 키라 강을 따라 아르부 산과 페루 산 기슭의 높은 계곡에 위치해 있다.

 각주 

분류:누오로도의 코무네
틴누라

틴누라(Tinnura)는 사르데냐의 이탈리아 오리스타노도에 있는 코무네로, 칼리아리에서 북서쪽으로 약 , 오리스타노에서 북쪽으로 약 떨어져 있다. 2004년 12월 31일 기준으로 인구는 268명이며 면적은 이다.

틴누라는 다음 지방 자치체와 접해 있다: 플루시오, 사가마, 수니.

 인구 변화 

 각주 

 외부 링크 

 www.comune.tinnura.nu.it/

분류:오리스타노도의 코무네
티시 (사르데냐)

티시는 사르데냐 이탈리아 지방의 사사리도에 있는 코무네로, 칼리아리에서 북서쪽으로 약 떨어진 곳에 있으며 사사리 (사르데냐)에서 남쪽으로 약 떨어진 곳에 있다. 2004년 12월 31일 기준으로 인구는 2,017명이며 면적은 이다.

티시는 다음 지방 자치체와 접해 있다: 오시 (사사리도), 사사리 (사르데냐), 우시니.

 인구 진화 

 각주 

 외부 링크 

 www.comune.tissi.ss.it/

분류:사사리도의 코무네
트라마차

트라마차(Tramatza)는 이탈리아의 사르데냐주 오리스타노도에 있는 코무네이다. 칼리아리에서 북서쪽으로 약 100 km (62 mi), 오리스타노에서 북동쪽으로 약 12 km (7.5 mi) 거리에 있다. 2004년 12월 31일 기준으로 인구는 1,007명이고 면적은 16.8 km2 (6.5 mi2)이다.

트라마차는 다음 코무네들과 경계를 이룬다: 바울라두, 밀리스, 산베로밀리스, 시아마조레, 솔라루사, 체디아니.

 인구 진화 

 각주 

분류:오리스타노도의 코무네
트레스누라게스

트레스누라게스(Tresnuraghes)는 이탈리아 사르데냐 주 오리스타노도의 코무네로, 칼리아리에서 북서쪽으로 약 , 오리스타노에서 북쪽으로 약 떨어져 있다. 지명은 사르데냐어로 세 개의 누라게를 의미한다.

 지리 
트레스누라게스는 다음 코무네들과 경계를 이룬다: 쿨리에리, 플루시오, 마고마다스, 센나리올로.

 축제 
성 마르코 축일은 전통적인 사르데냐 축제로, 가장 중요한 축제이며 사회 공동체를 결속시키는 데 도움이 되는 과도한 소비의 시간이다. 이 주로 목축 공동체의 지역 양치기 가족들은 섭리에 대한 감사의 표시로 양을 바치고 요리를 감독한다. 다른 가족들은 추수감사절이나 원하는 호의를 위해 빵을 바친다. 주로 트레스누라게스 출신이지만 많은 외부인도 포함된 수백 명의 사람들이 함께 배불리 먹고 마신다.

 인구 변화 

아래 표 참조.

섬네일|트레스누라게스 코무네의 로칼리타 중 하나인 포르토 알라베에서 본 콜룸바르기아 탑

 각주 

 외부 링크 

 공식 웹사이트

분류:오리스타노도의 코무네
트리니타다굴투에비뇰라

트리니타다굴투에비뇰라(Trinità d'Agultu e Vignola, )는 사르데냐 이탈리아 지역의 사사리도에 있는 코무네 (지방 자치체)로, 칼리아리 북쪽으로 약 , 올비아 서쪽으로 약 떨어져 있다.

트리니타다굴투에비뇰라는 다음 지방 자치체와 접해 있다: 아주스, 아글리엔투, 바데시, 비달바. 주요 경제 활동은 여름 관광이다.

 각주 

분류:사사리도의 코무네
울라티르소

울라티르소(Ula Tirso, 사르데냐어로는 Ula)는 이탈리아 사르데냐주 오리스타노도에 있는 코무네이다. 칼리아리 북쪽으로 약 , 오리스타노 북동쪽으로 약 떨어져 있다. 2004년 12월 31일 기준으로 인구는 616명이고 면적은 이다.

울라티르소는 아르다울리, 부사키, 길라르차, 네오넬리, 오르투에리 등의 코무네와 접한다.

 인구 변화 

 각주 

분류:오리스타노도의 코무네
우라스

우라스(Uras)는 이탈리아 사르데냐 주 오리스타노도에 있는 코무네이다. 칼리아리에서 북서쪽으로 약 60 km, 오리스타노에서 남동쪽으로 약 25 km 떨어진 곳에 있다. 2022년 7월 8일 기준으로 인구는 2,714명이었고, 면적은 39.4 km2이다.

우라스는 다음 코무네들과 경계를 이룬다: 마루비우, 마술라스, 모고로, 모르곤조리, 산니콜로다르치다노, 테랄바.

 인구 변천 

 각주 

분류:오리스타노도의 코무네
우르출레이

우르출레이 (사르데냐어: Orthullè)는 이탈리아 사르데냐주 누오로도에 있는 코무네로, 칼리아리 북동쪽으로 약 , 토르톨리 북서쪽으로 약 떨어져 있다. 2004년 12월 31일 기준으로 인구는 1,412명이고 면적은 이다.

우르출레이 코무네는 프라치오네 실라나를 포함한다.

우르출레이는 다음 코무네와 접한다: 바우네이, 도르갈리, 오르고솔로, 탈라나, 트리에이.

 인구 변화 

 각주 

 외부 링크 

 www.comunediurzulei.it
 Urzulei S2K

분류:누오로도의 코무네
빌라산탄토니오

빌라산탄토니오(Villa Sant'Antonio, 사르데냐어: Sant'Antoni)는 이탈리아 사르데냐 주 오리스타노도에 있는 코무네이다. 칼리아리에서 북쪽으로 약 , 오리스타노에서 동쪽으로 약 떨어져 있다.

빌라산탄토니오는 다음 지방 자치체와 접한다: 알바자라, 아솔로, 아수니, 모고렐라, 루이나스, 세니스.

 각주 

분류:오리스타노도의 코무네
체르팔리우

체르팔리우(Zerfaliu, 사르데냐어: Zrofollìu)는 이탈리아 사르데냐 지역의 오리스타노도에 있는 코무네이다. 칼리아리에서 북서쪽으로 약 떨어져 있고, 오리스타노에서 북동쪽으로 약 떨어져 있다.

체르팔리우는 다음 코무네와 접한다: 올라스트라, 파울릴라티노, 시막시스, 솔라루사, 빌라노바트루스케두.

 각주 

 외부 링크 

 체르팔리우 - 문화, 전통, 맛

분류:오리스타노도의 코무네
Runit

runit은 유닉스 계열 운영체제를 위한 init 및 서비스 관리 체계로, 운영체제 전반에 걸쳐 프로세스를 초기화하고, 관리하고, 종료한다. Runit은 많은 리눅스 기반 운영체제뿐만 아니라 BSD, 솔라리스 운영체제에서도 실행되는 daemontools 프로세스 관리 도구의 재구현이다. Runit은 시스템 서비스 시작을 병렬화하여 운영체제의 부팅 시간을 단축할 수 있는 기능을 제공한다.

init 데몬으로 실행될 때, Runit은 다른 모든 프로세스의 직접 또는 간접적인 조상이다. 부팅 중에 시작되는 첫 번째 프로세스이며, 시스템이 종료될 때까지 계속 실행된다. 종종 다른 init 시스템과 함께 별도의 서비스 관리자로 사용된다. 서비스 관리자 역할에서는 비특권 사용자가 개인 서비스를 조직하거나, 슈퍼유저가 현재 사용 중인 init 시스템이 관리하지 않는 서비스를 관리하는 데 사용할 수 있다. 섬네일|321x321px|Runit 부팅 보이드 리눅스

설계
Runit은 작고, 모듈화되어 있으며, 이식성 있는 코드베이스에 중점을 둔다. Init 역할에서 Runit은 세 가지 단계로 나뉜다: 일회성 초기화, 프로세스 관리, 그리고 정지 또는 재부팅. 첫 번째 및 세 번째 단계는 실행되는 특정 운영체제에 맞춰야 하지만, 두 번째 단계는 모든 POSIX 호환 운영체제에서 이식 가능하다.
3단계는 각각 1, 2, 3으로 명명된 3개의 실행 파일(일반적으로 셸 스크립트)을 통해 구성할 수 있다.

2단계는 일반적으로 runsvdir이라는 바이너리를 호출하는데, 이는 전역 데몬 관리를 담당하는 프로세스이다. 인수로 전달된 폴더에서 발견되는 모든 데몬에 대해 개별 워치독을 생성하며, 각 워치독은 데몬(및 최종적으로 연결된 로거 서비스)을 시작하고 데몬이 죽으면 다시 시작한다. 데몬이 추가되거나 제거되면 워치독을 죽이거나 새로운 워치독을 시작한다.
특정 이름의 실행 파일은 데몬의 다양한 단계(실행, 확인, 완료 등)를 설명하는 데 사용되며, 존재할 경우 특정 스크립트에 의해 전송되고 실행되는 신호를 가로챌 수 있고, 데몬을 제어하는 인터페이스를 노출하기 위해 명명된 파이프가 생성된다.

사용법
Runit은 sysvinit의 대체제로 사용될 수 있거나 서비스 관리자(inittab 파일에 지정된 프로세스를 실행하는 부모 PID 1 프로세스로 sysvinit 또는 다른 init 시스템을 사용하는 경우)로 사용될 수 있다. 루비 온 레일즈를 실행할 수 있는 RubyWorks 소프트웨어 스택은 Runit을 스위트에 통합했다.

채택
Runit은 다음의 기본 init 시스템이다:
 AntiX (데비안 기반, 버전 19부터)
 드라고라 GNU/리눅스 리브레 (Dragora 2부터)
 보이드 리눅스

Runit은 다음의 "공식적으로" 사용 가능한 init 시스템이다:

 아치 리눅스 기반의 아틱스 리눅스
 데부안 (데비안 기반, 버전 3.1.0부터)
 젠투 리눅스
 아치 및 데비안 기반의 하이퍼볼라 GNU/리눅스-리브레
 보이드 리눅스

 각주 

 외부 링크 
 runit
 

분류:유닉스 프로세스 및 작업 관리 관련 소프트웨어
분류:BSD 라이선스 소프트웨어
댕댕 어드벤처

《댕댕 어드벤처》는 오즈콘텐츠가 제작한 대한민국의 애니메이션으로, 2025년 7월 12일부터 12월 20일까지 KBS 1TV에서 방영했다. 또한 성우인 오주희의 프로듀서 데뷔작이기도 하다.

 방송 일시 

 등장 인물 
 은우
 아린
 레오
 뭉치
 코코
 도니
 롤리
 루나
 아빠

 목소리 출연 
 이명호: 은우
 서다혜: 레오
 김유림: 아린, 롤리
 오주희: 코코
 김한나: 뭉치
 정의택: 아빠
 허성재: 악당
 원에스더: 수빈
 유인선: 도니
 김순미: 루나

 OST 
 이명호, 정의택 아티스트

 제작진 
 이태헌 책임
 오주희 황응구 프로듀서 연출
 박희경 총감독
 이준우 염선화 시나리오 각본
 박희경 애니메이션 연출
 조경아 김희윤 정영빈 캐릭터 디자인 배경 디자인
 오주희 작사
 강성순 작곡 편곡
 박소희 조수호 영상편집
 안호성 홍태경 음향효과 믹싱
 우하오펑 쉬신 추차러 천징민 모델링 맵핑
 취메이쥔 천싱옌 가오웨이린 예웨이러 
 린시우쯔 왕신 리깅
 웨페이 리바오이 샤오구이원 레이아웃
 위시에 오샤오칭 류화위안 애니메이션
 우윈타오 구루썬 리빈 합성 효과
 허자쯔 류전니 우지썬 위팅쥔 저우즈민 닝메이쉐 라이팅 렌더링
 이채연 KBS 미디어 홈페이지 제작
 김수애 종합편집 감독
 황은서 자막 디자인
 차한결 조연출
 KBS 기획
 오즈컨텐츠 제작
 SUNBOY 애니메이션 

 방영 목록 

 결방 및 편성안내 
 2025년 7월 19일: KBS 뉴스특보 남부지방 집중호우 및 네트워크기획 청주기억, 이슈 픽 쌤과 함께 스페셜의 관계로 인해 결방했다.
 2025년 9월 27일: KBS 뉴스특보 국가정보자원관리원 화재 사건으로 인해 결방했다.
 2025년 10월 4일: 추석 특집으로 인해 결방했다.
 2025년 10월 11일: 2025 라이콘의 탄생의 2부로 인해 오후 1시 55분에 편성했다.
 2025년 11월 1일: KBS 뉴스특보 APEC 정상회의의 관계로 인해 결방했다.
 2025년 11월 8일: 가요무대 재방송으로 인해 오후 1시 55분에 편성했다.
 2025년 11월 29일: 2025 의성 천하장사 씨름대축제로 인해 오후 1시 55분에 편성했다.

 각주 

 외부 링크 
 댕댕 어드벤처 공식 누리집

분류:대한민국의 애니메이션
분류:2020년대 대한민국의 텔레비전 애니메이션
분류:2025년 애니메이션
분류:한국방송공사의 텔레비전 애니메이션
분류:로봇을 소재로 한 작품
분류:애니맥스의 텔레비전 프로그램
분류:재능TV의 텔레비전 프로그램
X 툴킷 인트린식스

X 툴킷 인트린식스(X Toolkit Intrinsics, X 툴킷의 경우 Xt라고도 함)는 X 윈도 시스템용 그래픽 사용자 인터페이스(GUI)를 사용하여 프로그램 개발을 용이하게 하는 애플리케이션 프로그래밍 인터페이스를 구현하는 라이브러리이다. C 언어(또는 C++와 같이 C API를 사용할 수 있는 모든 언어)에서 사용할 수 있다. 설계는 1980년대 후반부터 1990년대 초반에 이루어졌다.

가운데|500px|X 윈도 시스템 그래픽 스택의 Xt (민트색)

하위 레벨 라이브러리인 Xlib은 X11 프로토콜의 클라이언트 측 구현이다. X 서버와 통신하지만, 버튼이나 메뉴와 같은 그래픽 컨트롤 요소("위젯")를 구현하는 기능을 제공하지는 않는다. Xt 라이브러리는 위젯 유형 생성을 지원하지만, 자체적으로는 아무것도 제공하지 않는다. 프로그래머는 Xt 라이브러리를 사용하여 새로운 유형의 위젯을 생성하고 사용할 수 있다. Xt는 상속(사용자가 다른 유형의 버튼을 위해 작성된 코드를 재사용하여 자신만의 버튼을 만들 수 있음), 이벤트 및 콜백과 같은 일부 객체 지향 개념을 구현했다.

애플리케이션의 그래픽 사용자 인터페이스는 일반적으로 여러 위젯 유형을 필요로 하므로, 대부분의 개발자는 자체 위젯을 작성하는 것을 꺼려했고, 대신 Xaw, 모티프, OLIT과 같이 위젯 세트를 제공하는 라이브러리를 사용하는 것을 선호했다.

Xt 프로그램은 모든 위젯을 설명하는 텍스트 파일인 "앱 기본 Xrm 데이터베이스"를 찾을 수 없을 때 사용할 수 없다는 악명 높은 문제가 있었다. GTK 및 Qt와 같이 현대에 널리 사용되는 대부분의 툴킷은 Xt 라이브러리를 사용하지 않는다. 대신 Xlib 또는 XCB를 직접 사용한다.

 외부 링크 
 X 툴킷 인트린식스 – C 언어 인터페이스 (pdf), X.Org 재단
 
 X11에서 인트린식스의 위치, 데이비드 마셜 교수, 카디프 대학교 컴퓨터 과학 대학
 TestXt2, Xt/Xaw만을 사용하여 메뉴 바를 생성하는 C 프로그램 예시
 
 

분류:C 라이브러리
분류:X 라이브러리
분류:그래픽 라이브러리
Indent (유닉스)

indent(인덴트)는 유닉스 프로그래밍 도구로, C 및 C++ 코드를 사용자 정의 들여쓰기 방식 및 코딩 스타일에 따라 재포맷하는 유틸리티이다. C++ 코드에 대한 지원은 최소화되어 있다.

indent의 원본 버전은 1976년 11월 일리노이 대학교의 데이비드 윌콕스에 의해 작성되었다. 1982년 10월 4.1BSD에 통합되었다. GNU indent는 짐 킹던이 1989년에 처음 작성했다. 이 명령어는 일반적인 GNU 유닉스 계열 유틸리티의 Win32 포트의 네이티브 컬렉션인 UnxUtils의 일부로 마이크로소프트 윈도우용 별도 패키지로 제공된다.

사용 예시
다음 명령어

$ indent -st -bap -bli0 -i4 -l79 -ncs -npcs -npsl -fca -lc79 -fc1 -ts4 some_file.c
는 some_file.c를 BSD/올맨 스타일과 유사한 스타일로 들여쓰기하고 결과를 표준 출력으로 내보낸다.

GNU indent
GNU indent는 GNU 프로젝트의 indent 버전이다. 기본적으로 다른 들여쓰기 스타일인 GNU 스타일이 사용된다.

 각주 

 외부 링크 
 GNU indent 홈페이지

 UniversalIndentGUI
 clang-format (indent의 대안)

분류:GNU 프로젝트 소프트웨어
분류:유닉스 프로그래밍 도구
GPL 링크 예외

GPL 링크 예외(GPL linking exception)는 GNU 일반 공중 사용 허가서(GPL)를 수정하여 라이브러리 코드를 제공하는 소프트웨어 프로젝트가 해당 코드를 사용하는 프로그램에 GPL의 모든 약관을 적용하지 않고도 "링크"될 수 있도록 하는 방식이다. 링킹은 라이브러리의 코드를 사용하는 코드와 연결하여 단일 실행 파일을 생성하는 기술적인 과정이다. 이 과정은 기능적인 기계 판독 코드를 생성하기 위해 컴파일 타임 또는 런타임에 수행된다. 자유 소프트웨어 재단은 링킹 예외를 적용하지 않으면 GPL 라이브러리 코드에 링크된 프로그램은 GPL 호환 라이선스 하에서만 배포될 수 있다고 명시한다. 이는 법원에서 명시적으로 테스트되지는 않았지만, 링킹 위반으로 인해 합의가 이루어진 경우가 있었다. GNU 클래스패스 프로젝트의 라이선스에는 이러한 내용이 명시적으로 포함되어 있다.

GPL에 따라 배포되는 많은 자유 소프트웨어 라이브러리는 예외의 문구는 다르지만 동일한 예외를 사용한다. 주목할 만한 프로젝트로는 ERIKA Enterprise, GNU 가일, GNAT의 런타임 라이브러리, GNU 클래스패스 및 GCC 런타임 라이브러리 예외가 있다.

컴파일러 런타임 라이브러리도 종종 이 라이선스 수정 또는 이에 상응하는 것을 사용한다. 예를 들어, GNU 컴파일러 모음의 libgcc 라이브러리, 그리고 프리 파스칼 프로젝트의 모든 라이브러리가 그러하다.

2007년에 썬 마이크로시스템즈는 자바 SE 및 자바 EE 프로젝트를 위한 클래스 라이브러리의 소스 코드 대부분을 GPL 버전 2와 클래스패스 링킹 예외 조항에 따라 출시했으며, 그들의 엔터프라이즈 서버인 글래스피시 및 넷빈즈 자바 IDE에 대한 가능한 라이선스 중 하나로 동일한 라이선스를 사용했다.

GNU 약소 일반 공중 사용 허가서(LGPL) 버전 3도 마찬가지로 GPL에 대한 예외로 구성되어 있다.

 클래스패스 예외
GNU 클래스패스 프로젝트는 이러한 GPL 링크 예외 사용의 한 예시를 제공한다. GNU 클래스패스 라이브러리는 다음 라이선스를 사용한다.

따라서 이는 많은 종류의 애플리케이션과 애플릿을 실행, 생성 및 배포하는 데 사용될 수 있다. GNU 클래스패스가 가상 머신, 자바 언어용 컴파일러 또는 자바 프로그래밍 언어로 작성된 프로그램의 핵심 클래스 라이브러리로 수정되지 않은 채 사용되는 경우, 해당 프로그램을 직접 배포하는 라이선싱에는 영향을 미치지 않는다.

GNU 약소 일반 공중 사용 허가서
LGPL 버전 2.1은 독립형 라이선스였지만, 현재 LGPL 버전 3은 GPL에 대한 참조를 기반으로 한다.

위의 GNU 클래스패스 라이선스와 비교하여 LGPL은 링킹 예외에 대해 더 많은 요구 사항을 명시한다. 라이선스 보유자는 자신이 사용하는 라이브러리 부분의 수정과 이러한 수정 사항을 디버깅하기 위한 (자신들의 소프트웨어 및 라이브러리에 대한) 역공학을 허용해야 한다.

 같이 보기 

 
 자유-오픈 소스 소프트웨어 라이선스
 GNAT 수정 일반 공중 사용 허가서
 OpenSSL 예외
 GPL 링크 예외를 사용하는 소프트웨어 (분류)
 GPL 폰트 예외

 각주 

 외부 링크 

분류:GNU 프로젝트
분류:카피레프트 소프트웨어 사용권
GNAT 수정 일반 공중 사용 허가서

섬네일|200px|right|GNU 로고

GNAT 수정 일반 공중 사용 허가서(GNAT Modified General Public License, 약칭: 수정 GPL, GMGPL)는 컴파일된 단위와 에이다 프로그래밍 언어에 있는 제네릭 기능을 위해 특별히 수정된 GNU 일반 공중 사용 허가서 버전이다.

수정된 내용은 다음과 같다.

특별한 예외로, 다른 파일이 이 단위에서 제네릭을 인스턴스화하거나, 실행 파일을 생성하기 위해 이 단위를 다른 파일과 연결하는 경우, 이 단위 자체는 결과 실행 파일이 GNU 일반 공중 사용 허가서의 적용을 받도록 하지 않는다. 그러나 이 예외는 실행 파일이 GNU 공중 사용 허가서의 적용을 받을 수 있는 다른 어떠한 이유도 무효화하지 않는다.

GNAT 에이다 컴파일러는 컴파일러 지시문을 통해 일부 GPL 소프트웨어 라이선스 문제에 대한 적합성 검사를 자동화할 수 있다. pragma License (Modified_GPL);를 사용하여 수정 GPL에 대한 검사를 활성화한다. GNAT 참조 설명서는 다른 컴파일러 지시문과 함께 라이선스 프라그마를 문서화한다.

 같이 보기 

 자유 소프트웨어 라이선스
 GNU 자유 문서 사용 허가서
 GNU 약소 일반 공중 사용 허가서
 OpenSSL 예외
 GPL 링크 예외

 각주 

분류:GNU 프로젝트
분류:자유 및 오픈 소스 소프트웨어 사용권
분류:에이다 (프로그래밍 언어)
분류:카피레프트 소프트웨어 사용권
Jami

Jami는 피어 투 피어 및 분산 화상통화, 화상회의, 음성 통화를 위한 자유-오픈 소스 통신 플랫폼이다. 또한 인스턴트 메시징, 파일 전송, 유선전화 및 이동 전화(영내 전통 전화망을 통해) 통화 지원 및 기타 기능을 제공한다.

Jami는 페이스북 메신저, 구글 행아웃, 구글 미트, 스카이프, WhatsApp, 및 줌에 대한 윤리적이고 사용하기 쉬우며 개인 정보 보호에 중점을 둔 대안이다.

Jami는 다양한 데스크톱(GNU/리눅스, macOS, 및 마이크로소프트 윈도우), 모바일(안드로이드 및 iOS), TV(안드로이드 TV), 그리고 서버 플랫폼에서 사용할 수 있다. 웹 브라우저로 접근할 수 있는 Jami for Web은 아직 대중에 공개되지 않았다.

Jami는 Savoir-faire Linux (SFL)와 커뮤니티 기여자들에 의해 개발되었다.

Jami는 GNU GPL-3.0-or-later 하에 배포되는 자유-오픈 소스 소프트웨어이다.

기본적으로 Jami는 사용자가 처음 연결할 때 네트워크에 접속하기 위해 OpenDHT 노드를 사용하며, 이는 Savoir-faire Linux에 의해 유지 관리된다. 그러나 이 응용 프로그램은 고급 설정에서 사용자에게 자체 부트스트랩 서버를 통해 이 작업을 실행할 수 있는 선택권을 제공한다.

분산 해시 테이블 기술(예를 들어 비트토렌트 네트워크에서 사용됨)을 채택함으로써 Jami는 자체 네트워크를 생성하여 디렉터리 기능, 인증 및 암호화를 연결된 모든 시스템에 분산할 수 있다.

패키지는 데비안, 페도라 리눅스, 리눅스 민트, 오픈수세, 트리스퀠, 우분투를 포함한 모든 주요 GNU/리눅스 배포판에서 사용할 수 있다.

지원은 Jami 문서, Jami 블로그, Jami 포럼, 및 마스토돈 사이트에서 제공된다.

 역사 
Jami는 처음에는 SFLphone으로 알려졌으며, 리눅스에서 기본적으로 펄스오디오를 지원하는 몇 안 되는 소프트폰 중 하나였다. 우분투 문서에서는 회의 및 연결된 통화 전송과 같은 기능 때문에 기업용으로 권장되었다. 2009년, CIO 매거진은 SFLphone을 주목해야 할 5대 오픈 소스 VoIP 소프트폰 중 하나로 선정했다. SFLphone은 2015년에 링(Ring)으로 이름이 변경되었고, 이후 2018년에 Jami로 다시 이름이 변경되었다.

 설계 
Jami는 MVC 모델을 기반으로 하며, 데몬(모델)과 클라이언트(뷰)가 통신한다. 데몬은 통신 계층(SIP/IAX), 오디오 캡처 및 재생 등 모든 처리를 담당한다. 클라이언트는 그래픽 사용자 인터페이스이다. D-Bus는 클라이언트와 데몬 간의 통신을 가능하게 하는 컨트롤러 역할을 할 수 있다.

 기능 
 OpenDHT를 지원하는 SIP 호환
 무제한 통화 수
 인스턴트 메시징
 검색 가능한 통화 기록
 통화 녹음
 연결된 통화 전송
 자동 통화 응답
 통화 대기
 다자간 오디오 및 화상 회의를 통한 오디오 및 비디오 통화
 다중 채널 오디오 지원
 통화 중 비디오 및 오디오 파일 스트리밍
 TLS 및 SRTP 지원
 다중 오디오 코덱 지원: G711u, G711a, GSM, 스픽스 (8, 16, 32 kHz), Opus, G.722 (스픽스와 함께 침묵 감지 지원)
 계정별 STUN 지원 및 SIP 상태 구독을 포함한 다중 SIP 계정 지원
 DTMF 지원
 자동 이득 제어
 계정 도우미 마법사
 전역 키보드 단축키
 FLAC 및 Vorbis 벨소리 지원
 데스크톱 알림: 음성 메일 번호, 수신 전화, 정보 메시지
 SIP 재초대
 GNOME 및 KDE의 주소록 통합
 펄스오디오 지원
 잭 오디오 커넥션 키트 지원
 웹 링크 미리보기
 맞춤법 검사기
 밝음, 어두움, 시스템 테마 지원
 채팅, 비디오 및 음성 통화에 사용되는 단대단 암호화
 분산형 (인터넷 연결 불필요)

 출시 역사 
Jami의 전체 변경 목록은 공식 블로그 및 변경 로그를 참조한다.

 같이 보기 

 SIP 소프트웨어 목록
 자유-오픈 소스 소프트웨어 패키지 목록
 인스턴트 메신저 클라이언트 비교
 VoIP 소프트웨어 비교

 각주 

 외부 링크 
 Jami: https://jami.net/
 Jami 확장: https://jami.net/extensions/
 JAMS (Jami 계정 관리 서버): https://jami.biz/
 Jami 문서: https://docs.jami.net/
 Jami 블로그: https://jami.net/tag/articles/
 
 Jami에 기여하기: https://jami.net/contribute/
 Jami 포럼: https://forum.jami.net/
 GNU 메일맨: jami@gnu.org
 리베라챗: #jami
 매트릭스: #jami:matrix.org (리베라챗과 연결됨)

분류:그룹웨어
분류:GNU 프로젝트 소프트웨어
분류:통신 소프트웨어
분류:VoIP 소프트웨어
분류:원격 회의
분류:인스턴트 메신저
분류:채팅
GNUmed

GNUmed는 유닉스 계열 시스템(BSD, 리눅스, 유닉스 시스템), 마이크로소프트 윈도우, macOS 및 기타 플랫폼을 위한 자유/오픈 소스 전자의무기록(EMR)이다. GNUmed는 환자의 개인 정보를 존중하고 개방형 표준을 기반으로 하는 의료 소프트웨어를 제공하는 것을 목표로 한다.

GNUmed는 자유 소프트웨어/오픈 소스 DBMS PostgreSQL과 같은 타사 프로젝트를 기반으로 하며 대부분 파이썬으로 작성되었다. 이는 WxPython을 기반으로 하는 그래픽 사용자 인터페이스(GUI)로 지원된다.

역사
GNUmed의 첫 번째 버전은 호르스트 허브가 만들었다. 허브가 적극적인 개발을 중단했을 때, GNUmed의 개발은 프로젝트 리더를 맡아 프로젝트를 부분적으로 개편한 카르스텐 힐베르트에 의해 이어졌다.

카르스텐 힐베르트는 혼자가 아니었다. 여러 다른 개발자들이 팀에 합류하여 때때로 도움을 주었다. 시안 탄, 이안 헤이우드, 힐마르 베르거, 세바스티안 힐베르트, 카를로스 모로, 마이클 보너트, 리차드 테리, 토니 렘케 등이 있다. 일부는 코딩에 집중했지만, 짐 버서와 로저리오 루스 코엘류와 같은 많은 다른 사람들은 문서 작성이나 다른 의견 제출을 통해 도왔다.

이 이름은 처음에는 GNU 프로젝트와 GNUmed의 의료 전문가와의 연결에 경의를 표하기 위해 선택되었다. 로고는 GNU 프로젝트를 참조하여 누를 묘사하며, 프로그래밍 언어와 의료 전문가를 참조하여 파이썬이 함께 있다.

당시 GNUmed는 기존 EMR에 대한 대안이 되는 것을 목표로 하는 또 다른 자유 소프트웨어 프로젝트였다. 이후 기능 및 성능 면에서 다른 EMR과 경쟁할 정도로 발전했다.

사용
GNUmed는 주로 전자의무기록을 관리하는 데 사용된다. 이는 종이 기록을 보관하는 수단뿐만 아니라 이 기록에 대한 메타데이터를 수집하는 수단을 제공한다. 일부 사용에는 환자 추가 및 활성화와 같은 관리 작업, 그리고 환자의 알레르기 또는 예방 접종 기록에 대한 데이터와 같은 기록 작업이 포함된다.

기능
GNUmed는 다양한 기능을 지원하며, 많은 기능이 핵심 기능을 확장하는 플러그인으로 구현되어 있다. 이는 의료 종이 기록 보관 시스템부터 예방 접종 상태 처리까지 다양하다. 기능 목록은 GNUmed의 문서 시스템에 제공된다.

GNUmed의 인터페이스를 활용하면 타사 소프트웨어가 GNUmed와 상호 작용하여 기능을 활용할 수 있다.

 같이 보기 

 GNU 패키지 목록
 GNU 프로젝트
 GNU Health

 각주 

 일반 참조 

추가 자료

 외부 링크 
 

분류:GNU 프로젝트 소프트웨어
Nix (패키지 관리자)

Nix(닉스)는 크로스 플랫폼 패키지 관리자로, 유닉스 계열 시스템을 인스턴스화하고 관리하는 도구이다. 2003년에 엘코 돌스트라(Eelco Dolstra)가 개발했다.

 접근 방식 
Nix 패키지 관리자는 소프트웨어 패키지가 각각 변경 불가능한 내용을 가진 고유한 디렉토리에 설치되는 모델을 사용한다. 이 디렉토리 이름은 Nix가 관리하는 다른 패키지를 포함하여 패키지의 모든 종속성을 고려하는 암호화 해시에 해당한다. 결과적으로 Nix 패키지 이름은 내용 식별성을 가지는데, 이는 동일한 이름을 가진 패키지는 동일한 입력과 동일한 빌드 플랫폼을 가지며 따라서 동일한 빌드 결과를 가지기 때문이다.

 구현 
Nix의 패키지 레시피는 목적에 맞게 제작된 "Nix 언어"로 작성된다. 이 언어는 선언적이고, 순수 함수형이며, 느긋하게 평가되고, 동적 타이핑되는 프로그래밍 언어이다. Nix 언어의 특징으로는 "컨텍스트"가 있는 문자열, 문자열 보간, 일급 파일 시스템 경로, 그리고 "들여쓰기된 문자열"이 있으며, 이들을 결합하여 새 파일의 내용을 지정할 때 파일 시스템 데이터 간의 종속성을 간결하게 표현할 수 있다.

Nix 언어에 선언된 파일 간의 종속성은 자동으로 추적되어 "Nix 저장소"에 영구적으로 저장된다. Nix 저장소의 새 파일은 "파생"을 통해 생성된다. 파생은 실행 파일, 호출을 위한 인수 및 환경 변수(execve 참조), 그리고 Nix 저장소에서 읽을 다른 파일을 지정하는 영구적인 데이터 구조이다. 이 실행 파일은 명시적으로 지정된 입력 파일 외에는 접근을 금지하고 지정된 출력 경로에만 쓰기를 허용하는 샌드박스에서 실행된다. Nix는 패키지 디렉토리 이름에 사용되는 고유한 해시를 스캔하여 출력 파일의 종속성 정보를 보존한다.

자동 참조 추적은 패키지의 무결성을 보장하며, 심지어 머신 간에 전송될 때도 마찬가지다. 또한 다른 패키지가 의존하지 않는 사용되지 않는 패키지의 가비지 컬렉션을 가능하게 한다. 더 큰 저장 공간이 필요하지만, Nix의 모든 업그레이드는 원자적이며 효율적인 롤백이 가능하다. 고유한 디렉토리 이름을 통해 공유 라이브러리의 다른 버전을 가진 많은 패키지를 설치할 수 있으며, 소위 의존성 지옥을 제거한다고 주장된다. 이는 또한 여러 사용자가 관리자 권한 없이도 동일한 시스템에 안전하게 소프트웨어를 설치할 수 있도록 한다. 결과적으로 Nix 패키지 관리 및 배포 모델은 더 신뢰할 수 있고, 재현 가능하며, 이식 가능한 패키지를 표방한다.

Nix는 리눅스, macOS, WSL을 완벽하게 지원하며, 다른 패키지 관리자와 나란히 안전하게 설치할 수 있다.

 Nixpkgs 
Nixpkgs는 Nix 패키지 관리자를 기반으로 구축된 패키지 저장소이다. Repology에 따르면, 122,000개 이상의 패키지를 포함하고 있으며 다른 어떤 패키지 저장소보다 최신 패키지 수가 많다. Nixpkgs가 지원하는 운영 체제는 주로 리눅스와 다윈이며, 윈도우 및 BSD 변형에 대한 일부 지원도 있다. 지원되는 CPU 아키텍처에는 64비트 x86 및 ARM이 포함된다. 이러한 아키텍처용 패키지는 Hydra라는 지속적 통합 서비스를 사용하여 정기적으로 빌드되며, 빌드 결과는 공개 바이너리 캐시에 업로드된다. Nix가 패키지를 설치할 때, 이 캐시를 확인하고 바이너리 패키지를 다운로드하여 로컬 빌드를 피한다.

Nixpkgs는 Git 저장소 하나에서 깃허브를 통해 개발된다. 패키지 외에도 NixOS의 소스 코드도 포함한다.

 Nix를 사용하는 프로젝트 
NixOS는 리눅스 커널을 포함한 전체 시스템 구성을 관리하기 위해 Nix를 사용하는 리눅스 배포판이다.

Nix는 CERN의 LHCb 실험에서 소프트웨어 패키징 및 배포에 사용된다. Nix는 분산 소프트웨어 개발 플랫폼인 Replit 및 Firebase Studio의 기반이다.

 포크 및 대체 구현 
2021년에는 Tvix라는 이름의 재구현이 발표되었는데, 모듈화, Nixpkgs와의 완전한 호환성, 향상된 평가기 성능을 목표로 한다. 2024년 현재 Tvix는 평가기와 저장소 구현을 가지고 있지만, 저자들은 프로젝트가 아직 안정적이거나 프로덕션 사용에 적합하다고 생각하지 않는다. Tvix는 주로 Rust로 작성되었다.

2024년에는 자원봉사자 팀이 Lix의 첫 번째 버전을 출시했는데, 이는 정확성과 호환성에 중점을 둔 Nix의 포크이며 Meson 빌드 자동화 시스템을 사용한다. 이 프로젝트는 코드를 점진적으로 Rust로 재작성할 계획이다.

 같이 보기 
 GNU Guix: 또 다른 선언형 패키지 관리자이자 Nix의 초기 클론으로, 구성 및 사용자 정의에 GNU 가일을 사용한다.
 Maak: make와 유사한 빌드 자동화 유틸리티이자 Nix의 초기 전신
 런북 자동화

 각주 

 외부 링크 

 개발자 간의 토론 데비안 메일링 리스트 (2008)

분류:함수형 프로그래밍
분류:유닉스 소프트웨어
분류:자유 프로그래밍 도구
분류:자유 패키지 관리 시스템
분류:C++로 작성된 자유 소프트웨어
분류:리눅스 패키지 관리 관련 소프트웨어
분류:데이터 관리 소프트웨어
분류:2012년 소프트웨어
분류:LGPL 라이선스 소프트웨어
브라이언 폭스 (프로그래머)

브라이언 잔 폭스(Brian Jhan Fox, 1959년 ~)는 미국의 컴퓨터 프로그래머이자 자유 소프트웨어 옹호자이다. 그는 GNU 배시 셸의 최초 저자로, 1989년 6월 베타 버전을 발표했다. 그는 적어도 1993년 초까지 배시의 주요 관리자로 활동했다. 폭스는 또한 1995년 웰스 파고를 위해 미국 최초의 대화형 온라인 뱅킹 소프트웨어를 개발했으며, 2008년에는 오픈 소스 선거 시스템을 만들었다.

 자유 소프트웨어 재단 
1985년, 폭스는 리처드 스톨먼이 새로 설립한 자유 소프트웨어 재단(FSF)에서 스톨먼과 함께 일했다. FSF에서 폭스는 GNU 배시, GNU Makeinfo, GNU Info, GNU 핑거, GNU Echo 및 리드라인과 히스토리 라이브러리를 만들었다.

그는 또한 한동안 GNU 이맥스의 관리자였으며, 1986년에서 1994년 사이에 GNU 프로젝트를 위해 만들어지고 유지보수된 소프트웨어에 많은 기여를 했다.

 오픈 소스 선거 시스템 
2008년, 폭스는 앨런 데처트, 브렌트 터너와 협력하여 완전히 오픈 소스 선거 시스템을 만들었다. 이 시스템은 파커 애버크롬비와 함께 코딩되었으며, 2008년 8월 5일부터 7일까지 샌프란시스코의 모스콘 센터에서 열린 리눅스월드 콘퍼런스에서 시연되었다.

폭스는 또한 캘리포니아 투표 관리 협회(CAVO)와 전국 투표 관리 협회(NAVO)의 창립 회원이다. 이 비영리 단체들은 공공 선거에서 오픈 소스 투표 시스템의 사용을 장려한다. 폭스는 2015년에 전 CIA 국장 R. 제임스 울시와 함께 뉴욕 타임스에 공동으로 기고문을 작성하여, 외세의 개입으로부터 미국 선거를 보호하는 수단으로 오픈 소스 선거 시스템을 옹호했다.

 기타 소프트웨어 
폭스는 또한 애플 II를 위한 이맥스의 축소 구현인 AMACS를 개발했다.

 친척 
그는 6남매 중 넷째이다: 작곡가이자 음악가인 도널 폭스, 태디어스 폭스, 자매 이나 폭스, 대니얼 폭스, 자매 사라 폭스-레이.
그는 물리학자이자 교육자인 허버트 폭스의 아들이며, 모노폴리 맨의 창작자인 예술가 대니얼 폭스의 손자이다.

 각주 

 외부 링크 
 Opus Logica, Inc.
 
 The BuddyCast Protocol, by Mel Beckman, Denison Bollay, and Brian Fox
 @BrianJFox on Twitter
 

분류:미국의 작가
분류:1959년 출생
분류:미국의 프로그래머
분류:살아있는 사람
분류:자유 소프트웨어 프로그래머
분류:GNU 관계자