Ada on MacOS

Work in Progress, but the important tips are already included! Bulid Toolchains You’ll need basic build tools such as gprbuild, gprmake, and those are distributed with GCC. On Apple silicon you should use simonjwright/distributing-gcc. Download release with the name aarch64. Follow the wiki. Bug basically you’ll do Right Click the downloaded file to install Add the path /opt/gcc-VERSION-aarch64/bin to $PATH Then, you can check the installation with $ which gprbuild. Output should show the location of your gcc(default: /opt/gcc-VERSION-aarch64/bin). ...

June 10, 2024 · 2 min · Ido Jeon

Git Tips

If you’ve followed Confusing git terminology, follow this link. 헷갈리는 깃 용어 정리 한글 번역을 찾아 오셨다면, 이 링크를 참조하시기 바랍니다. My 2¢ while using Git. Pull If you face the error below, when you do $git pull There is no tracking information for the current branch. Please specify which branch you want to merge with. See git-pull(1) for details git pull <remote> <branch> If you wish to set tracking information for this branch you can do so with: git branch --set-upstream develop origin/<branch> Reset the upstream with below ...

April 12, 2024 · 5 min · Ido Jeon

MacOS Tips

My 2¢ while using MacBook Pro. Safari Related Developer’s Tool Webpage inspector also works on Safari(see: “Apple Developer”) Open Safari > Settings > Advanced > Enable Show fatures for web developers checkbox [MAYBE] Restart Safari OPT + CMD + i to open inspector Homepage to Favorites If you want to use New Tab Page as Home Page, you can go to Settings, Home Page and enter favorites://. Then you can go to New Tab Page on any webpage, with shortcut below. ...

April 4, 2024 · 1 min · Ido Jeon

젠투 리눅스 바이너리 패키지

Preface 핸드북에서 명시하듯 23년 12월 부로, 젠투에서 바이너리 패키지 설치를 공식 지원합니다. 이번 업데이트에 따라 VPS에 새로운 젠투 머신을 설치하며 과정에서 바이너리 패키지를 사용하는 방법을 정리합니다. binrepos.conf 이제 /etc/portage/repos.conf/gentoo.conf와 더불어, 바이너리 패키지를 위한 /etc/portage/binrepos.conf/gentoo.conf를 작성합니다. (예시에서는, 카이스트 미러를 활용합니다) [binhost] priority = 9999 sync-uri = http://ftp.kaist.ac.kr/gentoo/releases/amd64/binpackages/17.1/x86-64/ Make binary default 기본값으로 바이너리 패키지를 설치하고자 하시는 분들은 /etc/portage/make.conf에 해당 설정을 추가합니다. FEATURES="${FEATURES} getbinpkg" Emerge 이제 portage 패키지 매니저에서 바이너리 패키지 관련 옵션을 제공합니다. ...

January 11, 2024 · 1 min · Ido Jeon

Emacs Config

My not so Extremely Minimal Alt + Ctrl + Shift. Moved to Modular Structure from Literate Org-Mode config This post doesn’t strictly follow the most recent version(Updated: 2024-04-05). That’s available on Github. (Prefer Built-in packages over 3rd Party ones.) JEMACS Emacs really does stand for “Escape-Meta-Alt-Control-Shift”, and not “Editing Macros”, as you may have heard from other disreputable sources (like the Emacs author). — The Gnus Newsreader Manual > 12.7.1 Keystrokes BTW, I prefer all headings fall nicely under the main & top node, so the H1. ...

January 7, 2024 · 10 min · Ido Jeon

헷갈리는 Git 용어

This is a translated work. The original post was written by Julia Evans and you can read it here. On 03, Nov. 2023, permission was granted via e-mail. 이 문서는 번역본입니다. 원본은 줄리아 에반스(Julia Evans)에 의해 작성되었으며, 다음 링크를 통해 읽을 수 있습니다.이메일을 통해 23/11/03 번역 허가를 받아 작성 후 업로드 합니다. 주요 개념, 명령어나 명령어 출력은 독자의 오해를 방지하기 위해 한국어와 영어를 병기합니다 Important concepts, commands or outputs are written in both Korean AND English, so readers can avoid misunderstanding ...

November 3, 2023 · 14 min · Ido Jeon

물리 독학 커리큘럼

제가 공부하려고 개인적으로 정리한 리스트입니다. 따라서, 각 커리큘럼에 대한 문의나 질문은 여기(Original)나 혹은 여기(updated)에 해주시면 감사하겠습니다. 시작 전 환기 The First Three Minutes by Steven Weinberg (Level: Easy). An account of the Big Bang by one of the most brilliant physicists of all time. The Character of Physical Law by Richard Feynman (Level: Easy). A brilliant, inspiring little book on the laws of nature. The Particle Odyssey by Frank Close (Level: Easy). A brilliant popular introduction to particle physics and its history, beautifully illustrated with amazing figures and photographs. (Unfortunately it’s a bit difficult to find online right now, but if you find a copy, you should buy it ASAP!) Black Holes and Time Warps by Kip Thorne (Level: Easy/Medium). My absolute favorite popular introduction to general relativity. The Theoretical Minimum by Leonard Susskind and George Hrabovsky (Level: Medium). A solid introduction to classical mechanics. Is best understood around level 5 in the undergraduate curriculum. The Feynman Lectures on Physics (Boxed Set) and Feynman Lectures on Physics (Kindle Edition) (Level: Medium). Feynman’s Lectures are essential readings for everyone interested in physics, and you’ll find a copy on the bookshelf of every amateur and professional physicist. These lectures are what got me into physics: my astronomy professor told me to read them and see if I liked physics - they changed my life! They are somewhat difficult to understand if you are just getting started, but they will make more and more sense by the time you reach levels 5 and 6 in the undergraduate curriculum. Deep Down Things: The Breathtaking Beauty of Particle Physics by Bruce Schumm (Level: Difficult). The very best popular book about particle physics — it clearly explains the most difficult concepts without resorting to speculation. (I had the honor of working with Bruce on a search for supersymmetry at the ATLAS detector.) This book is a great read while you are starting level 7 in the undergraduate curriculum. 수학 Why Math? by R.D. Driver 학부 Introduction to Mechanics University Physics with Modern Physics by Young and Freedman (essential). Work through all of the “Mechanics” chapters (in my edition, these are chapters 1-14). This is the best introductory book I’ve found, and you can use it when you learn electrostatics and modern physics, too. It does a great job of introducing the relevant mathematics, but you’ll need to be learning calculus alongside it. There are plenty of great example problems to work through, and the solutions are easy to find online (though you can also buy a Student Solutions Manual). Please note that you don’t need to spend $250 on the new edition — Amazon has lots of copies of the 12th edition, the 13th edition, and the 14th edition that contain the same material. You’ll need to learn calculus while working through University Physics. My favorite introductory calculus book is Thomas’ Calculus (you can also use the earlier editions), with Stewart’s Calculus(older edition here) coming in as a close second. Work through each chapter, and make sure you can solve problems at the end of each chapter before continuing to the next. Electrostatics Keep working through the calculus textbooks (Thomas or Stewart) while you work through the basics of electrostatics, but you should finish them by the time you finish the electromagnetism chapters in University Physics. You absolutely must understand the basics of calculus before you move on to the other topics in physics. ...

January 1, 2023 · 12 min · Ido Jeon

수학 독학 커리큘럼

제가 공부하려고 개인적으로 정리한 리스트입니다. 따라서, 각 커리큘럼에 대한 문의나 질문은 여기에 해주시면 감사하겠습니다. Start with Algebra Pre-Algebra는 ‘자연수, 정수, 분수, 소수, 백분율, 실수, 1차 방정식, 기초 기하학, 그래프’로 구성돼 ‘일반적인 경우’ 중등 교육으로 학습했을 것이므로 생략 가능 단계로 생각합니다. Pre-Algebra, Nichols Elementary Algebra, Sullivan, Struve, Mazzarella or with Discrete Math Pick one of below, but 2-4 are really hard. I would take 1 & 2. Discrete Mathematical Structures, Kolman, Busby, Ross Concrete Mathematics, Graham, Knuth, Patashnik or Discrete Mathematics and its Applications, Rosen or Discrete and Combinatorial Mathematics, Grimaldi or Jump right into Proof Writing Recommended book was ‘How to Prove it’. ...

January 1, 2023 · 2 min · Ido Jeon

컴공 독학 커리큘럼

제가 공부하려고 개인적으로 정리한 리스트입니다. 따라서, 각 커리큘럼에 대한 문의나 질문은 여기에 해주시면 감사하겠습니다. At Least Must study at least these two books. Computer Systems: A Programmer’s Perspective Designing Data-Intensive Applications Programming SICP (Structure and Interpretation of Computer Programs) Course: Brian Harvey’s Berkeley CS 61A Architecture CS:APP (Computer Systems :A Programmer’s Perspective) Course: Berkeley CS 61C Algorithms the Algorithm Design Manual Course: Steven Skiena’s lectures (also recommended) How to Solve It, Polya, Conway Math Mathematics for Computer Science Course: Tom Leighton’s MIT 6.042J Operating Systems OS:TEP (Operating Systems: Three Easy Pieces) Course: Berkeley CS 162 Network CN:TDA (Computer Network: a Top Down Approach) Course: Stanford CS 144 Database Readings in Database Systems Course: Joe Hellerstein’s Berkeley CS 186 Languages & Compilers Crafting Interpreters Course: Alex Aiken’s course on edX (also recommended) Compilers: Principles, Techniques & Tools, commonly called the Dragon Book Distributed Systems Designing Data-Intensive Applications by Martin Kleppmann Course: MIT 6.824 (also recommended) Maarten van Steen and Andrew Tanenbaum’s Distributed Systems, 3rd Edition

January 1, 2023 · 1 min · Ido Jeon

옳게된 키보드 레이아웃

🔧 근본 저처럼 근본 찾으시는 분들은 익히 아시겠지만 Bill Joy의 vi가 h,j,k,l을 방향키로 쓰게 된 이유, esc가 모드 변경에 쓰인 이유, 특히 유닉스 계열에서 홈 디렉터리를 ~로 줄여 쓰기 시작한 원인은 모두 ADM-3A 키보드에 있습니다. Bill Joy가 vi를 개발하던 당시 사용하던 키보드가 아래와 같기 때문이죠. 출처: Lear Siegler’s ADM-3A computer terminal’s full keyboard H,J,K,L 상단의 화살표가 보이시나요? 방향 이동을 위해서는 Ctrl과 함께 H,J,K,L을 입력할 수 있었습니다. A 좌측에 Ctrl, Q 좌측에 ESC가 위치해 있습니다. ...

December 5, 2022 · 3 min · Ido Jeon

한글 입력 방법

fcitx, scim 등도 잘 작동하는 것으로 알고 있습니다만, 저는 리눅스를 처음 접했을 때부터 지금까지 ibus를 사용중이므로 가이드는 ibus 기준으로 작성합니다. 들어가기 전에 (1) Gnome의 경우 이제 Gnome은 ibus와 통합되어 개발됩니다. 대부분의 배포판에서, Gnome 데스크탑 환경을 사용하시는 경우라면, 아래 과정은 Settings 앱을 통해 진행하실 수 있습니다. Region & Language 옵션을 확인하세요! (2) 글자가 네모로 표시된다? 입력과 무관하게 한글이 포함된 페이지에서 한글에 해당하는 부분이 네모로 표시되는 문제는 폰트가 원인입니다. 한글 표기를 할 수 있는 폰트, 예를 들어, noto-fonts-cjk 등을 설치해서 해결합니다. ...

November 5, 2022 · 3 min · Ido Jeon

통합 세팅 이론

the Grand Unified Settings Theory 특정 배포판의 기능에 대한 설명이 아닌 견해, 각종 프로그램에 대한 견해는 여기에 모두 합쳤습니다. Gentoo + Dwm 😊 (dwm/st/dmenu는 패치 없이 소스 수정만 해서 씀미댜) 선호도 기준 0. 문서화 기본적으로, 그리고 개인적으로, 큰 틀에서의 선호도는 문서화 정도에 따라 갈립니다. 예를 들어, 배포판의 경우, 옛 젠투 위키, 현 아치 위키 윈도우 매니저의 경우, Xmonad 터미널의 경우, kitty, 심지어 config 문서는 따로 존재함 컬러 테마의 경우, 드라큘라나 노드(Nord) 처럼 문서화가 잘 되어 있는 것을 선호합니다. ...

November 2, 2022 · 10 min · Ido Jeon

Git 커밋 메시지에 대하여

This is a translated work. The original post was written by Tim Pope and you can read it here. On 11, July. 2022, permission was granted via e-mail. 이 문서는 번역본입니다. 원본은 팀 포프(Tim Pope)에 의해 작성되었으며, 다음 링크를 통해 읽을 수 있습니다. 이메일을 통해 22/07/11 번역 허가를 받아 작성 후 업로드 합니다. 깃 커밋 메시지 관련하여 19 Apr 2008 잘 구성된 커밋(Commit) 메시지가 무엇인지 좀 더 상세히 적고자 시간을 할애 합니다. 깃(Git)을 더 위대하게 만드는 사소한 디테일 중 하나가 바로 커밋 메시지 형식 관행이라고 생각합니다. rails.git의 초기 커밋 중 일부가 굉장히-긴-줄의 메시지 형태를 갖게 된 이유는 이해할만하지만, 왜 이게 안 좋은 것인지 자세히 살펴보고자 합니다. ...

July 11, 2022 · 8 min · Ido Jeon

올바른 비밀번호 설정 방법

올바른 비밀번호 설정 방법 서문 사이버 보안에 관심이 많거나, 개발 직종에 근무하시는 분들은 이미 알고 있는 내용이겠지만 그렇지 않은 분들이 너무 많은 오해를 하고 있거나 관심이 없는 것 같아서 적습니다. 아래에서 쉬운 이해를 위해 ‘해킹’, ‘추측’까지 소요되는 예상 시간이라고 적고 있으나, 엄밀하게 말하면 그 자체로 ‘해킹’이라기 보다는 ‘비밀번호 찾는 것만을 목표로 했을 때 정답을 찾을 때까지 소요될 예상 시간’입니다. 최근에는, 보안을 위한 다양한 방법 중 웹사이트 측 방법론인 ‘공격 시도와 또 다른 시도 사이의 물리적인 시간 자체를 늘리는 쪽’으로 개발하기 때문에, 현실에서는 훨씬 오랜 시간이 걸릴 수 있습니다. ...

October 20, 2021 · 5 min · Ido Jeon

Stow로 Dotfiles 관리

서문 Dotfiles를 관리하는 방법을 수동, Git 활용, 심볼릭 링크 활용, GNU stow 활용의 단계로 정리하였습니다. Dotfiles 유닉스 관련 시스템(Unix, BSD, Linux 등)에서는 파일명 앞에 .을 붙이는 경우, 숨긴 파일이 되어 ls만으로는 파일을 보이지 않습니다. 이를 활용해, 각종 프로그램 설정이 담긴 일반 텍스트 파일을 .을 붙여 활용해왔습니다. 예를 들어, Hello 라는 프로그램을 제작하는 단계에서, 실행 시점에 덮어 씌울 각종 설정을 담은 텍스트 파일을 .hello로 요구하기로 하고, (설정 파일이 기본 명령어인 $ls에 까지 보일 필요가 없으므로, ‘. ’ 을 붙이기로 함) ...

October 11, 2021 · 13 min · Ido Jeon

GPG 첫 걸음부터

서문 아치 리눅스 설치 가이드를 작성할 때도 마찬가지였지만, 기본적으로 새 글을 작성할지 결정할 때는 ‘내가 실제로 공부하기 까다로웠는가’를 기준으로 설정합니다. 이미 영문/한글로 작성된 양질의 가이드가 충분히 존재해서 스스로 공부하는데도 어려움이 없었고, 뒤에 공부할 사람들도 쉽게 배울 수 있을 것으로 예측되는 것들에 대해 작성하는 것은 ‘내가 이만큼 신기한 것도 안다’하는 따위의 자랑밖에 안된다고 생각했기 때문입니다. GPG는 ‘매우’ 까다로웠습니다. 온갖 자료가 분산되어 흩뿌려져 있습니다. 특히 한글 자료는 전무하다고 봐도 무방합니다. 이는 교보문고, yes24에서 ‘gpg’를 검색해도 쉽게 알 수 있습니다. 따라서 뒤에 이 주제를 공부할 분들이 기본 개념을 쉽게 파악하는 것을 돕고자 공부한 자료를 교차 검증하고 재검토하여 한 문서에 모았습니다. ...

September 6, 2021 · 31 min · Ido Jeon

현명하게 질문하는 방법

This is a translated work. The original post was written by Eric S. Raymond, and you can read it here. According to Eric S. Raymond’s copying policy, permission is granted, already. 이 문서는 번역본입니다. 원본은 에릭 S. 레이몬드에 의해 작성되었으며, 다음 링크를 통해 읽을 수 있습니다. 에릭 S. 레이몬드의 복사 정책에 의하면, 추가적인 번역 허가 절차는 별도로 필요하지 않습니다. Eric Steven RaymondThyrsus Enterprises<[email protected]> Rick Moen<[email protected]> Copyright © 2001,2006,2014 Eric S. Raymond, Rick Moen ...

January 1, 2021 · 40 min · Ido Jeon

빠른 진행 멀티플레이어

This is translated work. The original post is written by ‘Gabriel Gambetta’, the link is here. The translation was permitted on 2020/12/06. This is a combined long HTML version of each series. 이 문서는 번역본입니다. 원본은 ‘Gabriel Gambetta’가 쓴 것으로, 링크를 통해 확인할 수 있습니다. 번역은 2020/12/06에 허가되었습니다. 이 문서는 각 시리즈를 하나의 HTML 파일로 편집한 것입니다. 파트 1: 클라이언트-서버 게임 아키텍쳐 소개 이 문서는 빠른 진행 멀티플레이어 게임을 만드는 것을 가능케 할 기술과 알고리즘을 소개하는 연재의 첫 번째 문서입니다. 만약 멀티플레이어 게임을 위한 컨셉들에 익숙하다면, 이 파트는 스킵하셔도 문제가 없을 것입니다. 이어지는 것은 소개를 위한 논의입니다. ...

December 6, 2020 · 16 min · Ido Jeon

리눅스 배포판 종류

약간의 역사 이야기 1991년 Linus Torvalds(라이너스 토르발즈)가 ‘Linux Kernel, ver.0.01’을 발표합니다. 이후 Richard Stallman(리처드 스톨먼)의 ‘GNU(GNU is Not Unix)‘의 유틸리티를 내장하며 명실상부 운영체제(OS)로써 자리잡습니다. 1991년 H. J. Lu의 ‘부트 루트’가 리눅스 커널을 포함하는 디스크 이미지로 탄생합니다. 극 초기(91-92년)의 어려운 설치 과정과 패키지 관리 한계를 보완하고자 ‘SLS(Softlanding Linux System)‘가 등장합니다. X 윈도우 시스템을 통해 그래픽 환경을 포함하고 있었다고 합니다. 현재까지 이어지는 배포판 형태의 첫 등장이라고 할 수 있습니다. Linux? LinuxOS? GNU/Linux? ...

March 1, 2019 · 9 min · Ido Jeon

유닉스 역사

서문 UNIX 역사에 대해서는 따로 궁금하지 않으신 분들은 바로 ‘리눅스 배포판 종류’로 이동하시면 됩니다. UNIX UNIX(이하 ‘유닉스’)의 역사를 설명하기 위해서는 1960년대 중반까지 거슬러 올라갑니다. 당시 MIT, AT&T의 벨 연구소, GE(제너럴 일렉트릭)은 GE-645 메인프레임에서 사용하기 위한 Multics(이하 ‘멀틱스’)라는 실험적인 시-분할 운영 체제(현대에 당연한 다중 동시 사용자, 멀티 태스킹이 가능한 운영 체제의 조상) 개발에 참여 중이었습니다. 멀틱스의 크기나 복잡도에 실망한 벨 연구소는 차츰 연구에서 손을 떼기 시작했습니다만, 마지막까지 연구에 관심을 갖던 켄 톰슨, 데니스 리치, 덕 매킬로이, 조 오산나는 그렇지 않았습니다. 넷은 시기적으로 일렀을 뿐이라는 판단 아래, 조금 더 작은 규모로 실험을 계속 해보고자 했습니다. ...

January 1, 2019 · 8 min · Ido Jeon

아치 리눅스 설치 가이드

서문 아치 리눅스를 써야 하는 이유가 무엇인지에 대한 질문이 등록되는 것을 자주 목격합니다. 저도 객관적으로 똑부러지게 ‘이런 점이 장점이고 이런 점은 약점이지만 이런 점에서 매력을 느낀다’라고 설명하지 못합니다 (물론, 제가 느끼는 강점과 매력은 분명하지만 이는 매우 주관적이기 때문입니다). 하지만, 제가 명확히 알고 있고 여러분들께 소개해 드릴 수 있는 것은 ‘아치 리눅스의 설치 과정이 그렇게 당혹스러우리만큼 어렵지는 않다‘라는 것입니다. 일반적으로 윈도우 혹은 맥 진영에서 리눅스를 경험해 보고 싶은 신규 유저들에게 쉬운 배포판으로 우분투를 소개합니다. 충분히 이해할 수 있습니다. 설치 과정은 GUI로 표현되기 때문에 매우 편합니다. 하지만 그 과정들이 어떤 작업인지 이해하지 못하고 ‘Next’ 만을 클릭하는 것을 ‘쉽다’고 표현하는게 올바른가에 대해서는 고민이 됩니다. ...

November 7, 2017 · 32 min · Ido Jeon

젠투 리눅스 바닐라 커널

This is a translated work. The original post was written by gg7 on Github, and you can read it via this link. Translate permission is granted by gg7. 이 문서는 번역본입니다. 원본은 gg7에 의해 작성되었으며, 다음 깃허브 링크에서 읽을 수 있습니다. 원작자 gg7의 번역 허가를 받았습니다. 세 줄 요약 kernel.org로부터 Git을 통해 관리되는 커널을 make oldconfig보다 나은 완전 자동화된 설정하는 방법 ./scripts/config --enable IKCONFIG ./scripts/config --module SENSORS_NCT6775 ./scripts/config --disable AUDIT ./scripts/config --set-val SND_HDA_PREALLOC_SIZE 2048 ./scripts/config --set-str UEVENT_HELPER_PATH "" 뿐만 아니라 다양한 팁들을 제공합니다. 더 이상 4,000+ 줄의 .config를 무작정 복사하거나, 불필요한 코드, 헛소리 등이 불필요합니다. ...

November 5, 2017 · 15 min · Ido Jeon

젠투 리눅스 설치 가이드

Preface 젠투 리눅스 설치 가이드는 문서 방향성을 전면 수정합니다. 설치에 익숙한 분들이 핸드북을 참조하기 번거로울 때 활용할 수 있도록 수정합니다. 젠투 리눅스가 처음이신 분들이나 리눅스가 익숙하지 않으신 분들은 핸드북을 참고하시기 바랍니다. 23년 12월부로 젠투 측에서 바이너리 패키지를 공식 지원합니다. 바이너리 패키지 설치 방법을 위해 별도 포스트를 마련했습니다. Prerequisite 본 > $ > $ 인 G w G w G i g i g i t e t e t h t l t 에 u a 서 b h b h t t 필 t t 요 p p 한 s s : : 파 / / 일 / / 을 g g i i 다 t t 운 h l 받 u a 아 b b 야 . . c c 할 o o m m 때 / / , Y Y O O U U R R _ _ U U S S E E R R _ _ I I D D / / Y Y O O U U R R _ _ R R E E P P O O S S I I T T O O R R Y Y _ _ N N A A M M E E / / r - a / w r / a m w a / i m n a / s F t I e L r E / _ F D I I L R E E _ C D T I O R R E Y C / T S O O R M Y E / _ S F O I M L E E _ F I L E Live USB 젠투 위키의 미러 ...

November 5, 2017 · 6 min · Ido Jeon

Updates

Updates 🔥 since 2017/11/01 꼼꼼히 살펴보니, 잃어버린 기록들이 있어서 아쉽네요.. 😭 Date Type Post Description 24/12/20 구조 변경 - 카스텐 추가 24/06/08 글 수정 - 영문 이름 수정 24/04/12 구조 변경 - Git 관련 글, 번역한 글 URL 변경 24/04/12 글 추가 Git tips - 24/04/04 글 추가 MacOS Tips - 24/01/11 글 추가 젠투 리눅스 바이너리 패키지 - 24/01/07 글 추가 Emacs Config - 24/01/05 서버 이전 - Jekyll → Hugo 23/11/03 글 추가 헷갈리는 Git 용어 - 23/10/17 구조 변경 - Obsidian → Github Pages + Jekyll 23/09/23 구조 변경 - 제텔카스텐으로 전환 23/09/22 서버 이전 - Github Pages + Jekyll → Obsidian 23/07/23 글 수정 - Jekyll에 맞지 않는 세부 모두 수정 23/07/10 서버 이전 - Notion → Github Pages + Jekyll 23/06/14 글 수정 업데이트 로그 불필요하게 상세하게 작성된 로그 삭제 23/06/12 글 수정 외부 링크 모음 데이터베이스로 변경 23/06/10 글 추가 Books 독서 기록 신설 23/06/09 서버 이전 - Github Pages + Hugo → Notion 23/06/09 글 수정 업데이트 로그 테이블 형식으로 변경 23/04/11 서버 이전 - Notion → Github Pages + Hugo 23/02/12 계정 변경 - 도메인: ptrtoj.com / 이메일: jeon@domain 23/01/30 글 추가 독학 커리큘럼 - 22/12/22 계정 변경 - 도메인: jeonality.com / 이메일: jeon@domain 22/11/26 계정 변경 - 도메인: staticintj.com / 이메일: mail@domain 22/11/17 구조 변경 - 컨텐츠 체계 정리 22/11/17 글 추가 FreeBSD - 22/11/07 글 추가 개인 서식 표준 이후 삭제함 22/11/05 글 추가 리눅스에서 한글 입력 정리 (이후 ‘한글 입력 방법’으로 제목 수정) 22/11/05 글 추가 옳게 된 키보드 레이아웃 - 22/11/05 글 추가 ISO 8601 이후 삭제함 22/11/02 구조 변경 - 버전 표기 삭제 22/11/02 글 수정 선호 소프트웨어 목록 제목 변경 → ‘통합 세팅 이론’ 22/11/02 글 추가 링크 창고 ‘Useful Links’를 옮김 22/10/31 글 추가 버전 표기 vRolling 버전 삭제 22/10/30 글 추가 Fedora 이후 삭제함 22/10/18 구조 변경 - 버전 명명법 변경 → [vYY.MM.DD] 22/09/06 글 수정 업데이트 로그 과거 기록의 양식들도 모두 통일함 22/09/05 글 수정 아치 리눅스 5년만에 ‘결론’ 생김 22/09/04 구조 변경 - ‘토글 목차’ 추가, CSS Update 22/09/03 글 수정 업데이트 로그 연도 양식 변경 22/08/30 글 수정 아치 리눅스 systemd-boot 추가 22/07/08 서버 이전 - Notion 이전 완료 22/07/06 계정 변경 - 도메인: j.day / 이메일: a@domain 21/12/03 글 수정 아치 리눅스 염준영님 추가 사항 업데이트 21/11/26 구조 수정 - 목차 수정 - 홈 컨텐츠 추가 21/10/26 구조 수정 - 21.10 버전 마무리 21/10/23 서버 이전 - 서버 재이전 21/10/20 글 추가 Password 현 ‘올바른 비밀번호 설정 방법’초판 작성 21/10/12 글 수정 업데이트 로그 작성 규칙 변경 → 대형 업데이트만 작성 21/10/11 서버 이전 - 서버 이전 완료 21/10/11 글 추가 Stow로 Dotfiles 관리 초판 작성 21/09/18 글 수정 아치 리눅스 xorg-xwayland로 수정 21/09/12 글 추가 도메인별 서버 상태 이후 삭제함 21/09/09 글 수정 GPG 정리 v2.1-2017.07 업데이트 사항 추가 → ‘파기용 키 자동 생성’ 이슈 21/09/08 글 수정 GPG 정리 오타 수정, 감사 말씀 추가 21/09/07 글 수정 아치 리눅스 ibus-hangul 변경 사항 적용, GUI 인스톨러 관련 사항 추가 21/09/07 글 수정 GPG 정리 오타 수정, 내용 추가, 참조 사항 추가, 표 추가 21/09/07 글 수정 젠투 리눅스 재작성 21/09/06 글 추가 GPG 정리 초판 작성 21/08/20 글 수정 업데이트 로그 표로 전환 21/07/20 글 수정 아치 리눅스 간소화 21/07/05 글 수정 아치 리눅스 공백, 취소선 등 난잡한 부분 삭제, 수정, 양식 개선 21/06/23 글 수정 아치 리눅스 양식 변경, 가독성 향상, 전체 내용 점검 21/06/23 글 수정 젠투 리눅스 가독성 향상 21/06/15 서버 이전 - 테스트 용도 jeon.dev 신설, jeonwh.com로 이전 21/03/21 글 수정 아치 리눅스 ‘부록 A - 댓글 건의 추가 정보’란 신설 21/02/19 구조 수정 - 목차 정비 21/02/19 글 수정 아치 리눅스 전면 업데이트, 댓글 수정 요청 반영, 커맨드 리스트 최신화 21/02/17 글 수정 젠투 리눅스 전체 업데이트 20/12/06 글 추가 빠른 진행 멀티플레이어 번역 완료 20/03/15 글 수정 젠투 리눅스 전체 업데이트 20/03/13 글 수정 아치 리눅스 커맨드 리스트 모음 수정 20/02/26 구조 수정 - 버전 표기법 변경 20/02/26 글 수정 아치 리눅스 whjeon.com 이전 과정에서 생긴 문제 수정 20/01/03 글 수정 젠투 리눅스 오타 수정 19/12/30 글 수정 아치 리눅스 일부 수정 19/12/30 글 수정 젠투 리눅스 genkernel 관련 사항 추가, etc-update 관련 사항 추가 19/12/17 글 추가 젠투 바닐라 커널 가이드 번역 완료 19/10/19 글 수정 아치 리눅스 pacstrap 패치 이슈 → 해당 부분 수정 19/08/17 구조 수정 - 모든 글 → ‘포스트’에서 ‘페이지’로 전환 19/08/06 구조 수정 - 양식 수정 19/08/06 글 수정 아치 리눅스 ftp 미러 수정, 오타 수정, 바뀐 명령어 수정 19/03/30 구조 수정 - 전면 업데이트 19/03/30 글 수정 젠투 리눅스 목차 추가, Git에 올려두었던 자료들 통합 19/03/29 글 수정 아치 리눅스 wordpress 에디터 업데이트, 전면 수정 19/01/01 구조 수정 - wordpress 구텐베르크 업데이트 이슈 18/12/03 글 수정 젠투 리눅스 커맨드 리스트 추가 18/11/10 글 수정 젠투 리눅스 ‘아치 리눅스 설치 가이드’와 양식 통일 18/11/07 구조 수정 - 메인 페이지 수정, 레이아웃 변경 18/11/06 글 수정 아치 리눅스 웹사이트 리뉴얼으로 인한 버전 스킴 변경 18/11/06 글 수정 젠투 리눅스 전면 업데이트, 업데이트 로그에 추가 18/07/25 글 수정 아치 리눅스 pacman-5.1.0 업데이트 관련 이슈로 수정 18/01/05 글 수정 아치 리눅스 신년 맞이 오타 및 구성 수정 17/12/05 글 수정 아치 리눅스 modesetting 이슈, xf86-video-intel 삭제 17/11/17 글 수정 아치 리눅스 오타 수정, 가독성 향상 17/11/15 글 수정 아치 리눅스 직접 재설치 후 수정 17/11/14 글 수정 아치 리눅스 ‘설치 전 주의 사항’ 수정, 버전 부여 17/11/13 글 수정 아치 리눅스 부록 B-각종 설정 변경 추가, 부록 C-커맨드 리스트 17/11/12 글 수정 아치 리눅스 ‘부팅 USB 제작 방법’ 추가, GDM 수정, gst-libav 추가 17/11/11 글 수정 아치 리눅스 ccache 추가, makepkg.conf 추가 17/11/11 글 수정 아치 리눅스 문서 이동, 문서 수정 17/11/07 글 작성 아치 리눅스 초판 작성, 구성 수정, 오타 수정, 이미지 추가 17/11/05 글 작성 젠투 리눅스 초판 작성 17/11/05 시작 - withjeon.com

November 1, 2017 · 5 min · Ido Jeon

Useful Links

HTTP is the foundation of data communication for the World Wide Web, where hypertext documents include hyperlinks to other resources. → “HTTP - Hypertext Transfer Protocol”, Wikipedia Removed offical manual or document links Only the “What was that useful document I had read. Oh I can’t remember” type of docs are left. Programming How to Design Programs NOTES ON STRUCTURED PROGRAMMING, by Prof. Dr. Edsger W. Dijkstra How did Dennis Ritchie Produce his PhD Thesis? ATypographical Mystery Invited Talk - Guy Steele (Youtube, 2017, ClojureTV) We Really Don’t Know How to Compute! - Gerald Sussman (Youtube, 2011, Strange Loop) Stop Writing Dead Programs - Jack Rusher (Youtube, 2022, Strange Loop) Simple Made Easy - Rich Hickey (Youtube, 2011, ClojureTV, Strange Loop) HOW DO COMMITTEES INVENT? Lambda Calculus 1부: “Lambda Calculus - Fundamentals of Lambda Calculus & Functional Programming in JavaScript” - Gabriel Lebec (2017, Fullstack Academy) 2부: “A Flock of Functions: Combinators, Lambda Calculus, & Church Encodings in JS - Part II” - Gabriel Lebec (2017) Compiler Intro to Compiler Network Beej’s Guide to Network Programming Languages Assembly 8085 8085 Online Simulator Basic Tutorial Doc(https://www.hoist-point.com/applesoft_basic_tutorial.htm) Simulator(https://www.calormen.com/jsbasic/) C Beej’s Guide to C Programming C++ C++ By Example Lisp Build Your Own Lisp Etc Build Your Own X ‘69 아폴로 소스코드 Fonts : 프로그래밍 폰트들 미리보기

2 min · Ido Jeon