Ada on MacOS

[Work in Progress, but the important tips are already included!] Bulid Toolchain 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 · WooHyoung 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 · 3 min · WooHyoung 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 · WooHyoung 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 · WooHyoung 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...

January 7, 2024 · 10 min · WooHyoung 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 · WooHyoung 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)....

January 1, 2023 · 12 min · WooHyoung 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 · WooHyoung 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....

January 1, 2023 · 1 min · WooHyoung 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 · WooHyoung Jeon