Jeon’s Minimal Blog

Check Author page for more information about ME ๐Ÿ”ฅ

(๋„๋ฉ”์ธ withjeon.com์€ 24๋…„ ์—ฐ๋ง ์—ฐ์žฅ ๋ฏธ๊ฐฑ์‹  ์˜ˆ์ •์ž…๋‹ˆ๋‹ค. ptrtoj.com์„ ์‚ฌ์šฉํ•ด์ฃผ์„ธ์š”!)

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