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