What is Hackers' Pub?

Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.

0
1
0
0
0
0

ใƒ‹ใƒฅใƒผใ‚ธใƒผใƒฉใƒณใƒ‰ใฎใ‚ฌใƒกใƒปใ‚ชใƒ™ใƒผใƒซใ“ใจใ‚ธใ‚งใƒผใƒ ใ‚บใƒปใƒ•ใ‚ฃใƒƒใƒ„ใƒญใ‚คใŒไปŠๅ›žใฎ้ธๆŒ™ใฎใ€Œใƒชใƒ™ใƒฉใƒซใ€ๅคงๆ•—ใซใคใ„ใฆใ€ใใฎ็†็”ฑใฎ้ †ๅฝ“ใชใจใ“ใ‚ใ‚’ใพใจใ‚ใฆใใ‚Œใพใ—ใŸใ€‚

open.substack.com/pub/gamayaub

0
0

์ „๋ถ์ผ๋ณด์— ๋”ฐ๋ฅด๋ฉด ์˜ฌํ•ด 5์ฃผ์ฐจ ์ธํ”Œ๋ฃจ์—”์ž ์˜์‹ฌ ํ™˜์ž๋Š” ์ง์ „ ์ฃผ ๋Œ€๋น„ 1.58๋ฐฐ ์ฆ๊ฐ€, ์˜ฌํ•ด ๋“ค์–ด ๊ฐ€์žฅ ๋†’์€ ์ˆ˜์น˜๊ฐ€ ๊ธฐ๋ก๋˜์—ˆ์Šต๋‹ˆ๋‹ค. ์–ด๋ฆฐ์ด์™€ ์ฒญ์†Œ๋…„ ์ค‘์‹ฌ์œผ๋กœ Bํ˜• ๋…๊ฐ ์ค‘์‹ฌ์˜ ๋†’์€ ์œ ํ–‰ ์ฆ์ƒ์ด ๊ด€์ธก๋˜๊ณ  ์žˆ๋Š”๋ฐ์š”. ์ง€๋‚œ ์ฃผ๊นŒ์ง€ ์œ ํ–‰ํ–ˆ๋˜ Aํ˜• ๋…๊ฐ์— ์ด์–ด Bํ˜• ๋…๊ฐ๊นŒ์ง€ ๋น ๋ฅด๊ฒŒ ์œ ํ–‰ํ•˜๊ณ  ์žˆ์œผ๋‹ˆ ํŠนํžˆ๋‚˜ ํฐ ์ฃผ์˜ ๋‹น๋ถ€๋“œ๋ฆฝ๋‹ˆ๋‹ค. ๋ธ”๋ฃจ์Šค์นด์ด ๊ฐ€์กฑ ์—ฌ๋Ÿฌ๋ถ„๊ป˜์„œ ํ™˜์ ˆ๊ธฐ๋•Œ ์•„ํ”„์ง€ ์•Š๊ณ  ์ด์ œ 1์ฃผ์ผ ๋‚จ์€ ์„ค ์—ฐํœด ์ž˜ ๋งž์ด ํ•˜์‹œ๊ธธ ๋ฐ”๋ผ๋ฉฐ ์ด๋งŒ ๋งˆ์น˜๊ฒ ์Šต๋‹ˆ๋‹ค. ์ข‹์€ ํ•˜๋ฃจ ๋˜์„ธ์š”.

๋…๊ฐ ํ™˜์ž ๊ธ‰์ฆโ€ฆ์ „๋ถ 1000๋ช… ๋‹น 60.7๋ช…, ์ „์ฃผ ...

0

์˜ˆ์ƒ๋˜๋Š” ํ•œํŒŒ๋Š” 2์›” 16~21์ผ ์‚ฌ์ด๋กœ, ์ง€๊ธˆ ์ˆ˜์ค€์˜ ๊ทนํ•œ ํ•œํŒŒ๋Š” ์•„๋‹ˆ์ง€๋งŒ ๊ทธ๋ž˜๋„ ๋‚ ์”จ๊ฐ€ ํ’€๋ฆฌ๋‹ค ๊ฐ‘์ž๊ธฐ ์ถ”์›Œ์ง€๋ฉด์„œ ๊ฑด๊ฐ•์— ํฐ ๋ฌธ์ œ๋ฅผ ์ค„ ์ˆ˜ ์žˆ๊ธฐ์— ๋งŽ์€ ๋Œ€๋น„๋ฅผ ํ•ด ๋‘์…”์•ผ ํ•  ๊ฒƒ ๊ฐ™์Šต๋‹ˆ๋‹ค. ์ด๋Š” ์„ฑ์ธต๊ถŒ์˜ ํ˜ผ๋ž€ ๋•Œ๋ฌธ์ธ๋ฐ์š”. ๋ณดํ†ต 2์›” ๋ง์—์„œ 3์›” ์ดˆ์— ๊ฐ€์—ด๋˜์ง€ ์•Š๊ณ  ํ›จ์”ฌ ๋นจ๋ฆฌ ๋ฐœ์ƒํ•˜๋ฉด์„œ ๊ทน ์†Œ์šฉ๋Œ์ด๊ฐ€ ํ˜ผ๋ž€, ์—๋”” ์—ด์† ํ๋ฆ„ ์ƒ 2์›” ๋ง์— ์œ ๋ผ์‹œ์•„ ๋Œ€๋ฅ™ ์ชฝ์œผ๋กœ ํฐ ํ•œํŒŒ ๋ฉ์–ด๋ฆฌ๊ฐ€ ์Ÿ์•„์งˆ ์ˆ˜ ์žˆ๋‹ค๋Š” ์˜ˆ์ƒ๋Œ€๋กœ ์ง„ํ–‰๋˜๊ณ  ์žˆ๋Š” ๊ฒƒ์ž…๋‹ˆ๋‹ค. ๊ทธ ๋™์•ˆ ๊ธฐ์˜จ์ด ์ •๋ง ๊ธ‰๋ณ€ํ•  ์ˆ˜ ์žˆ์œผ๋‹ˆ, ๋‹ค์‹œ ํ•œ๋ฒˆ ๊ฑด๊ฐ• ๊ด€๋ฆฌ์— ํฐ ์ฃผ์˜ ๊ธฐ์šธ์ด์‹ค ๊ฒƒ์„ ๋‹น๋ถ€๋“œ๋ฆฌ๊ฒ ์Šต๋‹ˆ๋‹ค.

0

์ˆ˜๋„๊ถŒ์„ ์œ„์‹œํ•œ ์ง€์—ญ์—์„œ๋Š” ๋ˆˆ์ด ๋‚ด๋ฆฌ๋‹ค ์ง€์ƒ ๊ธฐ์˜จ์ด ๋น ๋ฅด๊ฒŒ ์˜ค๋ฅด๊ฒ ์ง€๋งŒ, ๋‚จ๋ถ€ ๋‚ด๋ฅ™ ์ง€์—ญ์€ ํ•˜์ธต์— ์ฐจ๊ฐ€์šด ๊ณต๊ธฐ๊ฐ€ ๊น”๋ ค์žˆ๊ณ  ์˜จ๋‚œ์ธต์ด ๊ฐ‘์ž๊ธฐ ๊ธ‰๊ฒฉํ•ด์ง€๋ฉฐ ๋ˆˆ ๋Œ€์‹  ์–ด๋Š” ๋น„๊ฐ€ ๋‚ด๋ฆด ๊ฐ€๋Šฅ์„ฑ์ด ์ปค์ง‘๋‹ˆ๋‹ค. 2์›” 10์ผ ์ƒˆ๋ฒฝ๋ถ€ํ„ฐ ์•„์นจ ์‚ฌ์ด ๊ฒฝ๋‚จ ๋ถ์„œ ๋‚ด๋ฅ™, ๊ฒฝ๋ถ ๋‚ด๋ฅ™, ์ „๋ถ ๋™๋ถ€ ์‚ฐ๊ฐ„ ์ง€์—ญ์—๋Š” ์–ด๋Š” ๋น„๋กœ ์ธํ•œ ๋ธ”๋ž™ ์•„์ด์Šค๊ฐ€ ํ˜•์„ฑ๋  ๊ฐ€๋Šฅ์„ฑ์ด ํฌ๋‹ˆ ์ด ๋ถ€๋ถ„๋„ ์ฃผ์˜ ๋‹น๋ถ€๋“œ๋ฆฝ๋‹ˆ๋‹ค. ์ดํ›„ ๋‹น๋ถ„๊ฐ„์€ ๊ธฐ์˜จ์ด ํฌ๊ฒŒ ์˜ค๋ฅด๊ฒ ์Šต๋‹ˆ๋‹ค. ํ•˜์ง€๋งŒ ๋ด„์ด ์˜ค๊ธฐ์—” ์•„์ง ์ด๋ฆ…๋‹ˆ๋‹ค. 2์›” 14์ผ ๋ถ๊ทน ์†Œ์šฉ๋Œ์ด๊ฐ€ ๋ถ„์—ด์„ ์‹œ์ž‘ํ•˜๋Š”๋ฐ์š”. ์ด ๋ฐœ์ž‘์ด ๋‹ค์‹œ 1์ฃผ์ผ ๋’ค ์ถ”์œ„๋ฅผ ๋ชฐ๊ณ ์˜ต๋‹ˆ๋‹ค.

0

ํ•˜์ง€๋งŒ ์˜ค๋Š˜ ์˜คํ›„๋ถ€ํ„ฐ ๊ณ ๊ธฐ์••์ด ์ด๋™์„ฑ ๊ณ ๊ธฐ์••์œผ๋กœ ๋ณ€์งˆ๋˜๋ฉฐ ์ƒํ•˜์ด ์ธ๊ทผ์—์„œ ๋„˜์–ด์˜ค๋Š” ์˜จ๋‚œํ•œ ๊ณต๊ธฐ์™€ ๊ฒฐํ•ฉ, ๋ฐ”๋žŒ์ด ๋ฐ”๋€Œ๋ฉฐ ๊ธฐ์˜จ์ด ๊ธ‰๊ฒฉํ•˜๊ฒŒ ๋ฐ˜์ „๋˜๊ฒ ์Šต๋‹ˆ๋‹ค. ํ™”์š”์ผ์ธ 10์ผ์€ ์•„์นจ ์ตœ์ €๊ธฐ์˜จ์ด -6~2โ„ƒ๊นŒ์ง€ ์˜ค๋ฅด๋Š”๋ฐ์š”. ์ง€์—ญ์— ๋”ฐ๋ผ 10โ„ƒ ์ด์ƒ ์ฐจ์ด๊ฐ€ ๋‚  ๊ฒƒ์œผ๋กœ ๋ณด์ž…๋‹ˆ๋‹ค. ๋ฌธ์ œ๋Š” ์ด ๊ณผ์ •์—์„œ ๋Œ€๊ธฐ๋ถˆ์•ˆ์ •์ด ๊ทน์‹ฌํ•ด์ง€๋ฉฐ ์ „๊ตญ ๊ณณ๊ณณ์— ๋น„๋‚˜ ๋ˆˆ์ด ๋‚ด๋ฆด ๊ฒƒ์œผ๋กœ ์˜ˆ์ƒ๋œ๋‹ค๋Š”๊ฑด๋ฐ์š”. ์˜ค์ „ ์ธ์ฒœ, ๊ฒฝ๊ธฐ ๋ถ๋ถ€์™€ ๊ฐ•์›, ์ถฉ์ฒญ๊ถŒ์„ ์‹œ์ž‘์œผ๋กœ ์˜คํ›„์—” ๊ฐ•์› ๋™ํ•ด์•ˆ์„ ์ œ์™ธํ•œ ๋Œ€๋ถ€๋ถ„ ์ง€์—ญ์œผ๋กœ ํ™•๋Œ€๋  ๊ฒƒ์œผ๋กœ ๋ณด์ž…๋‹ˆ๋‹ค. ๊ฐ•์„ค๋Ÿ‰ ์ „๋ง์€ 1~3cm์œผ๋กœ, ๋‚ด์ผ์€ ์šฐ์‚ฐ ์ฑ™๊ฒจ์ฃผ์„ธ์š”.

0

๋‹คํ–‰์Šค๋Ÿฝ๊ฒŒ ์ด๋ฒˆ ํ•œํŒŒ๋Š” ๊ต‰์žฅํžˆ ์ข์€ ๊ตฌ์—ญ์—์„œ ๊ฐ•ํ•˜๊ฒŒ ๊ธฐ์˜จ์„ ๋–จ์–ด๋œจ๋ฆฌ๋Š” ํ˜•ํƒœ๋ผ, ์ƒ๊ฐ๋ณด๋‹ค ๋” ๋น ๋ฅด๊ฒŒ ๊ธฐ์˜จ์ด ํšŒ๋ณต๋  ๊ฒƒ์œผ๋กœ ๋ณด์ธ๋‹ค๋Š” ๊ฒƒ์ž…๋‹ˆ๋‹ค. ๋‹ค๋งŒ ๋‚ฎ๊นŒ์ง„ ์—ฌ์ „ํžˆ ์ถฅ์Šต๋‹ˆ๋‹ค. ํ™ฉํ•ด ๊นŠ์ˆ™ํžˆ ๋‚ด๋ ค์˜จ ํ•œ๋žญ๊ณ ๊ธฐ์••์ด ๋ถ๊ทน ํ•œ๊ธฐ๋ฅผ ๋Œ์–ด๋‚ด๋ฆฌ๋Š” ์—ญํ• ์„ ํ•˜๋ฉด์„œ ๊ฐ•ํ’๊ณผ ํ•œ๊ธฐ๊ฐ€ ๊ฒฐํ•ฉ, ์ฒด๊ฐ์˜จ๋„๋ฅผ ๋Œ์–ด๋‚ด๋ฆฌ๋Š”๋ฐ์š”. ์˜ค๋Š˜ ์•„์นจ ์ตœ์ €๊ธฐ์˜จ์€ -15~-4โ„ƒ, ๋‚ฎ ์ตœ๊ณ ๊ธฐ์˜จ์€ 2~11โ„ƒ๋กœ ์ „๋ง๋ฉ๋‹ˆ๋‹ค. ์ฃผ์š” ๋„์‹œ๋ณ„๋กœ๋Š” ์„œ์šธ -8~5โ„ƒ, ๋Œ€์ „ -8~6โ„ƒ, ๋Œ€๊ตฌ -7~9โ„ƒ, ๊ด‘์ฃผ -6~7โ„ƒ, ๋ถ€์‚ฐ -5~9โ„ƒ, ์ œ์ฃผ 2~9โ„ƒ์ž…๋‹ˆ๋‹ค. ๋‚ ์”จ๋Š” ์ „๊ตญ์ด ๋Œ€์ฒด๋กœ ๋ง‘์„ ๊ฒƒ์œผ๋กœ ๋ณด์ž…๋‹ˆ๋‹ค.

0

์Šฌํ”ˆ ์†Œ์‹๋„ ์žˆ์—ˆ์Šต๋‹ˆ๋‹ค. 5๋…„ ์ „, ์บ„๋ณด๋””์•„ ๋…ธ๋™์ž ๊ณ (ๆ•…)์†ํ—น์”จ๊ฐ€ -18โ„ƒ์˜ ํ•œํŒŒ ์†์— ์ˆจ์กŒ๋˜ ๋น„๋‹ํ•˜์šฐ์Šค๊ฐ€ ๋‹ค์‹œ ์กฐ๋ช…๋˜์—ˆ์Šต๋‹ˆ๋‹ค. 5๋…„์ด ์ง€๋‚ฌ๋Š”๋ฐ๋„ ์—ฌ์ „ํžˆ ์ด๋ฆ„๋งŒ ๋‹ค๋ฅธ ์†ํ—น์ด ์ถ”์œ„ ์†์— ๋ชธ์„ ๋–จ๊ณ  ์žˆ์—ˆ์Šต๋‹ˆ๋‹ค. ์ด ์ง€์—ญ์—์„œ ์ด์ฃผ๋…ธ๋™์ž์˜ ์—ด์•…ํ•œ ์ฃผ๊ฑฐ ๋ฌธ์ œ ๊ฐœ์„ ์„ ์œ„ํ•ด ์• ์จ์˜จ ๊น€๋‹ฌ์„ฑ ๋ชฉ์‚ฌ๋Š” "์žฌ๊ณ„์•ฝ ๊ถŒํ•œ์„ ๊ฐ€์ง„ ์‚ฌ์žฅ๋‹˜์—๊ฒŒ ์ถฅ๋‹ค๊ณ  ๋งํ•˜๋Š” ์ˆœ๊ฐ„ ์ซ“๊ฒจ๋‚  ์ˆ˜ ์žˆ๋‹ค๋Š” ๊ฑธ ๋ณธ๋Šฅ์ ์œผ๋กœ ์•„๋Š” ๊ฒƒ"์ด๋ผ ๋งํ–ˆ๋Š”๋ฐ์š”. ๋†์žฅ์ฃผ๋“ค์ด ์ด์ฃผ๋…ธ๋™์ž๊ฐ€ ํ•จ๋ถ€๋กœ ์‹ ๊ณ ํ•  ์ˆ˜ ์—†๋Š” ์ฒ˜์ง€๋ฅผ ์•…์šฉํ•ด ์—ด์•…ํ•œ ๋น„๋‹ํ•˜์šฐ์Šค์— ๊ฑฐ์ฃผํ•˜๊ฒŒ ํ•˜๋Š” ์ž‘ํƒœ๊ฐ€ ์ด์–ด์ง€๊ณ  ์žˆ์—ˆ์Šต๋‹ˆ๋‹ค. ์Šฌํ”ˆ ์ผ์ž…๋‹ˆ๋‹ค.

[๋ฅดํฌ]5๋…„ ์ „ ์†ํ—น์ด ์ฃฝ์–ด๊ฐ„ ๊ทธ๊ณณโ€ฆ๋˜๋‹ค๋ฅธ '์†ํ—น'์ด ...

0

์ง€๋‚œ 8์ผ์—๋Š” ๊ฒฝ๋ถ ๊ฒฝ์ฃผ์‹œ ๋ฌธ๋ฌด๋Œ€์™•๋ฉด ์‚ฐ๋ถˆ์ด ๋ฐœ์ƒ, ์ง„ํ™”ํ–ˆ๋Š”๋ฐ ๋‹ค์‹œ ์žฌ๋ฐœํ™”ํ•˜๋ฉฐ ๋ฌธ์ œ๊ฐ€ ์žˆ์—ˆ์Šต๋‹ˆ๋‹ค. ๋˜ํ•œ ์˜คํ›„ 20์‹œ 38๋ถ„ ๊ฒฝ์—๋Š” ๋ถ€์‚ฐ ๋„์‹ฌ ์ธ์ ‘ ์‚ฐ์ง€์ธ ๊ธˆ์ •๋ด‰์—์„œ ์‚ฐ๋ถˆ์ด ๋ฐœ์ƒ, 9์‹œ๊ฐ„ ๋งŒ์— ์ฃผ๋ถˆ์ด ์ง„ํ™”๋˜๊ธฐ๋„ ํ–ˆ์Šต๋‹ˆ๋‹ค. ๊ฐ•ํ’๊ณผ ๊ฑด์กฐ๋ผ๋Š” ๋‘ ๊ฐ€์ง€ ์š”์ธ์ด ์‚ฐ๋ถˆ ์œ„ํ—˜์„ ๋น ๋ฅด๊ฒŒ ํ‚ค์šฐ๊ณ  ์žˆ๋Š”๋ฐ์š”. ์ž‘๋…„์—๋„ ๊ฒฝ๋ถ์„ ํฌํ•จํ•ด ์ „๊ตญ์—์„œ ๋™์‹œ๋‹ค๋ฐœ์ ์œผ๋กœ ์‚ฐ๋ถˆ์ด ๋ฐœ์ƒํ–ˆ์—ˆ์Šต๋‹ˆ๋‹ค. ์˜ฌํ•ด๋Š” ์ž‘๋…„๋ณด๋‹ค ๋ˆˆ์ด ๋” ์ ๊ธฐ๋„ ํ–ˆ๊ณ , ์ง€๊ธˆ๋ถ€ํ„ฐ ๋ณธ๊ฒฉ์ ์œผ๋กœ ์„œํ’์ด ๋ถˆ์–ด์˜ค๋ฉฐ ๋Œ€๊ธฐ๊ฐ€ ๋” ๋ฐ”์‹น ๋งˆ๋ฅผ ๊ฒƒ์œผ๋กœ ์ „๋ง๋˜๊ธฐ์— ๋” ๋งŽ์ด ์‹ ๊ฒฝ์จ์•ผ ํ•  ๊ฒƒ ๊ฐ™์Šต๋‹ˆ๋‹ค. ๋งŽ์€ ์ฃผ์˜ ๋‹น๋ถ€๋“œ๋ฆฝ๋‹ˆ๋‹ค.

[์†๋ณด]๊ฒฝ์ฃผ ๋ฌธ๋ฌด๋Œ€์™•๋ฉด ์‚ฐ๋ถˆ ์žฌ๋ฐœํ™”โ€ฆ๊ฐ•ํ’ ์† ์ง„ํ™” ๋‚œํ•ญ...

0

26/2/9 ๋‚ ์”จ ์ด๊ฒƒ์ €๊ฒƒ ์˜ค๋Š˜๋„ ๋‚ ์”จ๊ฐ€ ์ถฅ์Šต๋‹ˆ๋‹ค. ๊ฒฝ๊ธฐ ๋ถ๋ถ€, ๊ฐ•์› ๋Œ€๋ถ€๋ถ„ ์ง€์—ญ์—๋Š” ํ•œํŒŒ๊ฒฝ๋ณด๊ฐ€ ๋ฐœ๋ น๋˜์—ˆ๊ณ , ๊ฒฝ๊ธฐ๋„ ๋‚˜๋จธ์ง€ ์ „์ฒด, ์ถฉ์ฒญ ๋Œ€๋ถ€๋ถ„, ๊ฒฝ๋ถ ๋Œ€๋ถ€๋ถ„, ์ „๋ถ ์ผ๋ถ€ ์ง€์—ญ์—๋Š” ํ•œํŒŒ์ฃผ์˜๋ณด๊ฐ€ ๋‚ด๋ ค์กŒ์Šต๋‹ˆ๋‹ค. ๊ฑด์กฐ๊นŒ์ง€ ๊ฒน์ณ์„œ ํ•œ๋ฐ˜๋„ ๋Œ€๋ถ€๋ถ„์ด ๊ฑด์กฐํŠน๋ณด์˜ ์˜ํ–ฅ์„ ๋ฐ›๊ณ  ์žˆ์Šต๋‹ˆ๋‹ค. ์˜ค๋Š˜ ์ตœ์ €๊ธฐ์˜จ ๋™ํ–ฅ์€ ํŒŒ์ฃผ, ํ™”์ฒœ์ด -17.8โ„ƒ, ์„œ์šธ, ์„ธ์ข…์ด -10โ„ƒ ๋“ฑ์œผ๋กœ ๊ฐ•ํ•œ ๋ฐ”๋žŒ๊นŒ์ง€ ๊ฒน์น˜๋ฉฐ ์ฒด๊ฐ์˜จ๋„๊ฐ€ ํฌ๊ฒŒ ๋‚ด๋ ค๊ฐ„ ์ƒํ™ฉ์ž…๋‹ˆ๋‹ค. ์ฃผ๋ง๋™์•ˆ ํ•œํŒŒ์™€ ์นผ๋ฐ”๋žŒ์ด ์ง€๋‚˜๊ฐ”๋Š”๋ฐ์š”. ์ฐธ ์•ˆํƒ€๊นŒ์šด ๋‰ด์Šค๊ฐ€ ๋งŽ์•˜์Šต๋‹ˆ๋‹ค. ๋ณ„ ์ผ ์—†์œผ์…จ๊ธฐ๋ฅผ ๋ฐ”๋ผ๋ฉฐ ์˜ค๋Š˜ ๋‚ ์”จ ์—ด์–ด๋ณด๊ฒ ์Šต๋‹ˆ๋‹ค.

0
misskey.io์˜ ์‚ฌ์šฉ์ž๊ฐ€ 60๋งŒ๋ช…์ด๋‚˜ ๋˜์ง€๋งŒ...
ํ•œ๊ตญ ์—ฐํ•ฉ์šฐ์ฃผ์˜ ์‚ฌ์šฉ์ž๋Š” 500๋ช…๋„ ์•ˆ ๋˜์ง€๋งŒ, ์•„๋ฌดํŠผ ์—ฌ๊ธฐ ์žˆ๋Š” ๋ชจ๋“  ๋ถ„๋“ค์€ ์•„์‹ธ๊ฐ€ ํ‹€๋ฆผ ์—†๋‹ค๊ณ  ์ƒ๊ฐํ•˜๋Š” ๋ Œ๊ฒŒ์ž…๋‹ˆ๋‹ค.
์ง„์งœ ์ฃผ๋ฅ˜ ์• ๋“ค์€ ์—ฌ๊ธฐ์„œ ์•ˆ ๋†€์•„์š”. ์•„์ง X์— ๋‚จ์•„ ์žˆ๊ฑฐ๋‚˜ ์ „๋ถ€ ์ธ์Šคํƒ€ํ•จ ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹
0
0

A few days ago, I noted the revival of one archaic mathematical practice, namely that of encrypting one's proofs (or announcements). Today, as part of the ongoing Integrated Explicit Analytic Number Theory Network project ipam.ucla.edu/news-research/sp , we found ourselves reviving another archaic piece of mathematical infrastructure: the logarithm table.

These tables, pioneered by Napier in the 17th century, were a mainstay of mathematical computation until eventually supplanted first by calculators and then by modern computers. But we are finding that verifying in Lean that, say, ln 2 is equal to 0.693147 to six decimal places is somewhat fiddly and computationally expensive to formally verify (one has to use a Taylor series with explicit remainder and figure out where to cut off the series).

Eventually we settled on what is basically the 17th century solution, modernized for the era of formal proof verification: the project now sports a file `LogTables.lean` which systematically gathers formally verified calculations of logarithms via a new interval arithmetic package. Similar to a precomputed log table, this file is intended to be typechecked once (as a laborious calculation), and then imported as needed by all other files.

It is a fascinating paradox that cutting edge technology can sometimes make obsolete practices relevant again, albeit with a modern spin. (Yet another example: the capability of current AI tools has revived the in-person class exam, which we had just started to move away from in the COVID era.)

0

ํ˜„์žฌ ์ƒํƒœ: ์˜ํ•˜ 20๋„์˜ ๋ƒ‰๋™์‹ค ์•ˆ์—์„œ ๊ฐค๋Ÿญ์‹œ ๋‘ ๋Œ€๊ฐ€ ์Šค๋งˆํŠธ ์Šค์œ„์น˜ ์‹ ํ˜ธ๋ฅผ ๊ตํ™˜์ค‘...

RE: https://bsky.app/profile/did:plc:ijc4yb24tysgjiaiib2ldgyk/post/3mee4rfvmvc2v

1

ใ‚ใจใ‚Š (@at0ri_e) on X
ใ‚จใ‚ณใƒผใƒใ‚งใƒณใƒใƒผใซใฏใชใฃใกใ‚ƒใ†ใ‘ใฉSNSใงๅŒใ˜่€ƒใˆใฎไบบใŒๅฏ่ฆ–ๅŒ–ใ•ใ‚Œใ‚‹ใฎใฏๆ•‘ใ„ใงใ‚‚ใ‚ใ‚‹ใ€‚่ซฆใ‚ใชใ„ใƒ„ใ‚คใƒผใƒˆใซใจใฆใ‚‚ๅŠฑใพใ•ใ‚Œใฆใ‚‹ใ€‚ x.com/i/status/202046505503311
ๆœฌๅฝ“ใซใ“ใ‚Œใชใ‚“ใ ใ‚ˆใช
ไปŠๅ›žใฏfediใŒ่พ›ใ„

0

the magic of art is being able to see the world through another person's eyes, even in non-representational art: all the little decisions of what is important to depict in detail, the choices of color, composition, the energy of the marks, and so on is essentially a byproduct of the perspective and the experiences of the person who made it. you get to witness something deeply personal hiding in the artifact beyond just the image itself.

ancient pottery has the fingerprints of the person who made it permanently embedded in it, and if you touch it, you can reach out and touch the hand of the person who made it across space and time immemorial and experience a brief fleeting connection to a long gone person you will never know. and then get thrown out of the museum.

0
0
0
0

Lokahi Local Eatsใฎใ‚ซใƒซใƒผใ‚ขใƒใƒผใ‚ฏ๏ผˆใƒใƒฏใ‚ค้ขจ่’ธใ—่ฑš่‚‰๏ผ‰ใƒ—ใƒฌใƒผใƒˆใ†ใ‚“ใพใƒผ๏ผ

ใ‚ญใƒฃใƒ™ใƒ„ๅ…ฅใ‚Šใ‚ซใƒซใƒผใ‚ขใƒใƒผใ‚ฏใ€ใƒžใ‚ซใƒญใƒ‹ใ‚ตใƒฉใƒ€ใ€ใ”้ฃฏใฎๅ†™็œŸ
0
0
0
0
1
1

่‡ชๆฐ‘ใŒๅœงๅ‹ใจใ‹โ€ฆ่ฃ้‡‘ใจใ‹ใƒขใƒชใ‚ซใ‚ฑๅ•้กŒใจใ‹่งฃๆฑบใ—ใฆใ„ใชใ„ไธ็ฅฅไบ‹ใŒใ‚ใ‚‹ใฎใซใพใ ๆ”ฏๆŒใ™ใ‚‹ใฎ๏ผŸไผš็คพใ ใฃใŸใ‚‰ใ€ใจใฃใใซๅ€’็”ฃๆกˆไปถใ ใ‚ˆใ€‚ใƒžใ‚ธใงไฝ•ใงใ“ใ‚“ใชๆ”ฟๅ…šใ‚’ๆ”ฏๆŒใ—ใฆใ„ใ‚‹ใฎ๏ผŸ

0
1
0

>ไธปๅผตใ‚‚ๅฎŸ็ธพใ‚‚่ฆใ‚‹ใ‚ใ‘ใŒใชใ„ใ€‚
>ใ€Œไฝ•ใ‹ใŒๅค‰ใ‚ใฃใฆใใ‚Œใ‚Œใฐใ€ใใ‚Œใ ใ‘ใงใ„ใ„ใ€
้•ทใ„ๅคฑๆœ›ใฎๆžœใฆใฎใ€ไธ€็ฅจใŒ็ฉใฟ้‡ใชใฃใฆใ€ใ‚ใใ“ใพใงใฎๆ•ฐใซใชใฃใŸใจ่€ƒใˆใฆใ‚ˆใ•ใใ†ใงใ™ใ€‚

ๅ•้กŒใฏใ‚ทใƒ‹ใ‚ทใ‚บใƒ /ใƒ‹ใƒ’ใƒชใ‚บใƒ ใงใ‚ใ‚‹ใจใ„ใ†็‚นใงใ€็งใจๅŒใ˜ๆ„่ฆ‹ใงใ—ใŸใ€‚ไป–ใฎ่ซ–็‚นใซๅ•้กŒใ‚’ใ™ใ‚Šๆ›ฟใˆใฆใฏใชใ‚‰ใชใ„ใ€ใจใ„ใ†ใ“ใจใ€‚

0

ใƒ‹ใƒฅใƒผใ‚ธใƒผใƒฉใƒณใƒ‰ใฎใ‚ฌใƒกใƒปใ‚ชใƒ™ใƒผใƒซใ“ใจใ‚ธใ‚งใƒผใƒ ใ‚บใƒปใƒ•ใ‚ฃใƒƒใƒ„ใƒญใ‚คใŒไปŠๅ›žใฎ้ธๆŒ™ใฎใ€Œใƒชใƒ™ใƒฉใƒซใ€ๅคงๆ•—ใซใคใ„ใฆใ€ใใฎ็†็”ฑใฎ้ †ๅฝ“ใชใจใ“ใ‚ใ‚’ใพใจใ‚ใฆใใ‚Œใพใ—ใŸใ€‚

open.substack.com/pub/gamayaub

0
0
0
0
0

๋ˆ„๊ตฐ๊ฐ€ ๋‚˜ํ•œํ…Œ ๋‹จ๋„์ง์ž…์ ์œผ๋กœ ๋ฌผ์–ด๋ณธ ์ ์ด ์žˆ๋‹ค.

"๋‚ด๊ฐ€ ๋„ ์œ„ํ•ด์„œ ํ•˜๋Š” ๋ง์ธ๋ฐ... ๋„ˆ๋Š” ์™œ ๊ทน๋‹จ์  ์„ ํƒ ์•ˆํ•ด? ๋‚ด๊ฐ€ ๋„ˆ๊ฐ™์ด ์–ด๋ ค์šด ์ƒํ™ฉ์— ์ฒ˜ํ–ˆ๋‹ค๋ฉด ๋ฒŒ์จ ๊ฒฐ๋‹จํ–ˆ์„๊ฑฐ๋‹ค."

ํ˜ˆ์—ฐ ๊ด€๊ณ„๊ฐ€ ์žˆ๋‹ค๊ณ  ๋ด๋„ ๋ฌด๋ฐฉํ•  ์ •๋„์˜ ๊ฐ€๊นŒ์šด ์‚ฌ๋žŒ์—๊ฒŒ์„œ ๋‚˜์˜จ ์งˆ๋ฌธ์ธ ๋งŒํผ ๊ท€๋ฅผ ์˜์‹ฌํ–ˆ์ง€๋งŒ, ์ง„์ง€ํ•˜๊ฒŒ ๋ฌผ์–ด๋ณด๊ธธ๋ž˜ ์†”์งํžˆ ํ™”๋„ ์•ˆ๋‚ฌ๋‹ค.

์†”์งํžˆ ํ”ผ์‹ํ•˜์—ฌ ์›ƒ์—ˆ๋‹ค.

"๋‚ด๊ฐ€ ๋ˆ„๊ตฌํ•œํ…Œ ์ด๋Ÿฐ ์†Œ๋ฆฌ๋ฅผ ๋“ค์„ ์ •๋„๋กœ ์ €์ ์„ ์ฐ์—ˆ๋‹จ ๋ง์ธ๊ฐ€? ๊ทธ๋Ÿผ ๊ณง ๊ณ ์  ํ•œ๋ฒˆ ์ฐ๋Š” ๋‚ ์ด ์˜ค๊ฒ ๊ตฐ."

๊ทธ๋ฆฌ๊ณ  ๊ทธ ๋‹ค์Œ ํ•ด์— ์ข‹์€ ์ผ์ด ๋งŽ์ด ์ƒ๊ฒผ๋‹ค.

๊ทธ ํ•ด์— ์ค€๋น„ํ•˜๋˜ ํ”„๋กœ์ ํŠธ์˜ ์„ฑ๊ณผ๋ฅผ ์ธ์ •๋ฐ›์„ ๊ธฐํšŒ๊ฐ€ ์ƒ๊ฒผ๊ณ , ๊ฒฐํ˜ผ๋„ ํ•˜๊ณ , 10๋…„์ด๋‚˜ ๊ฐš์•„์˜ค๋˜ ๋นš๋„ ๋‹ค ๊ฐš์•˜๋‹ค.

๋งŒ์•ฝ ๋ˆ„๊ตฐ๊ฐ€ ํž˜๋“ค๊ฒŒ ์‚ฌ๋А๋‹ˆ ์ฐจ๋ผ๋ฆฌ ์ฃฝ๋Š”๊ฑด ์–ด๋– ๋ƒ๊ณ  ์กฐ๋กฑํ•œ๋‹ค๋ฉด, ๊ทธ๋•Œ์•ผ๋ง๋กœ ํˆฌ์ž์˜ ๋ฐฉํ–ฅ์„ ํฌ๊ฒŒ ๋ณ€๊ฒฝํ•  ๋•Œ๋ผ๊ณ  ์ƒ๊ฐํ•œ๋‹ค.

๋„ˆ ์ด์ œ ์ž˜ ๋  ์ผ๋งŒ ๋‚จ์•˜๋‹ค๋Š” ์†Œ๋ฆฌ๋ฅผ ์‚ฌ๋žŒ๋“ค์€ ์ฐธ 4๊ฐ€์ง€ ์—†๊ฒŒ ํ•˜๋Š” ๊ฒฝํ–ฅ์ด ์žˆ์ง€๋งŒ, ๊ทธ ์ €์ ์„ ์ž˜ ์žก์œผ๋ฉด ์–ด๋ ค์›€์„ ์ด๊ฒจ๋‚ด๊ณ  ํ‰๋ฒ”ํ•œ ์‚ถ์„ ๋ˆ„๋ฆด ์ˆ˜ ์žˆ๋‹ค.

์–ด๋ ค์šด ์‹œ๊ธฐ๋ฅผ ๊ฒช์œผ๋ฉด์„œ ๋А๋‚€๊ฑด,

๋ชจ๋“  ์ƒํ™ฉ์ด ๋‹น์‚ฌ์ž๋ฅผ ์–ต์šธํ•˜๊ฒŒ ํ•˜์ง€๋งŒ ์–ด์ฐŒํ•  ๋„๋ฆฌ๊ฐ€ ์—†๋Š” ์ƒํ™ฉ์—์„œ, ํ• ๋ณต์„ ์š”๊ตฌ๋ฐ›๋˜ ์—ญ์‚ฌ ์† ์ผ๋ณธ ์‚ฌ๋ฌด๋ผ์ด ๋ฌธํ™”์ฒ˜๋Ÿผ

์šฐ๋ฆฌ๋‚˜๋ผ๋„ ๊ทธ์™€ ๋น„์Šทํ•œ ๋ฌธํ™”๊ฐ€ ๋ถ„๋ช… ์กด์žฌํ•œ๋‹ค๋Š” ์ ์ด๋‹ค.

๊ทธ๋Ÿฐ ์ƒํ™ฉ์— ๋†“์˜€์„ ๋•Œ ์„ธ์ƒ์˜ ์š”๊ตฌ์— ์ ธ์ฃผ๋ฉด ์•ˆ๋œ๋‹ค.

๊ทธ๋Ÿฐ ์••๋ฐ•์„ ์ฃผ๋Š”๋ฐ๋„ ๋๊นŒ์ง€ ๋ฒ„ํ…จ์„œ ๋ฉ€์ฉกํžˆ ์‚ด์•„์„œ ๊ฐ•ํ•œ ์‚ถ์˜ ์˜์ง€๋ฅผ ๋ณด์—ฌ์ฃผ๋Š”๊ฒŒ ์„ธ์ƒ์ด ๊ฐ€์žฅ ๋ฌด์„œ์›Œํ•˜๋Š” ๊ฒƒ์ด๋‹ค.

1

้ธๆŒ™ใฎใŸใณใซใŒใฃใ‹ใ‚Š(ใชใ‚“ใฆใ‹ใ‚ใ„ใ„ใ‚‚ใ‚“ใ˜ใ‚ƒใชใ„ใŒ)ใ—ใฆใ—ใพใ†ใฎใฃใฆใ‚จใ‚ณใƒผใƒใ‚งใƒณใƒใƒผ็พ่ฑกใฎใ›ใ„ใงใ‚‚ใ‚ใ‚‹ใชใ‚ใจๆ€ใ†ใ€‚็งใฎTLใงใฏใจใฃใใซ็คพๆฐ‘ๅ…ฑ็”ฃใฎ้€ฃ็ซ‹ๆ”ฟๆจฉใŒใงใใ‚ใŒใฃใฆใ‚‹ใฏใšใ ใ‹ใ‚‰โ€ฆ

0
0
0
0

>ไธปๅผตใ‚‚ๅฎŸ็ธพใ‚‚่ฆใ‚‹ใ‚ใ‘ใŒใชใ„ใ€‚
>ใ€Œไฝ•ใ‹ใŒๅค‰ใ‚ใฃใฆใใ‚Œใ‚Œใฐใ€ใใ‚Œใ ใ‘ใงใ„ใ„ใ€
้•ทใ„ๅคฑๆœ›ใฎๆžœใฆใฎใ€ไธ€็ฅจใŒ็ฉใฟ้‡ใชใฃใฆใ€ใ‚ใใ“ใพใงใฎๆ•ฐใซใชใฃใŸใจ่€ƒใˆใฆใ‚ˆใ•ใใ†ใงใ™ใ€‚

ๅ•้กŒใฏใ‚ทใƒ‹ใ‚ทใ‚บใƒ /ใƒ‹ใƒ’ใƒชใ‚บใƒ ใงใ‚ใ‚‹ใจใ„ใ†็‚นใงใ€็งใจๅŒใ˜ๆ„่ฆ‹ใงใ—ใŸใ€‚ไป–ใฎ่ซ–็‚นใซๅ•้กŒใ‚’ใ™ใ‚Šๆ›ฟใˆใฆใฏใชใ‚‰ใชใ„ใ€ใจใ„ใ†ใ“ใจใ€‚

0

ๆนฏ่ˆนใฎๆฐดใ‚’ๆจใฆใšใซ็ตฆๆนฏๅ™จใฎ้›ปๆบๅ…ฅใ‚ŒใฆใŠใใจๅ‡็ต้˜ฒๆญข้‹่ปขใ™ใ‚‹ใฎใงๆฐด้“ๅ‡ใ‚‰ใชใ„ใงใ™ใ‚ˆ๏ผ๏ผ๏ผ

0
0
0
1
0

ใƒ‹ใƒฅใƒผใ‚ธใƒผใƒฉใƒณใƒ‰ใฎใ‚ฌใƒกใƒปใ‚ชใƒ™ใƒผใƒซใ“ใจใ‚ธใ‚งใƒผใƒ ใ‚บใƒปใƒ•ใ‚ฃใƒƒใƒ„ใƒญใ‚คใŒไปŠๅ›žใฎ้ธๆŒ™ใฎใ€Œใƒชใƒ™ใƒฉใƒซใ€ๅคงๆ•—ใซใคใ„ใฆใ€ใใฎ็†็”ฑใฎ้ †ๅฝ“ใชใจใ“ใ‚ใ‚’ใพใจใ‚ใฆใใ‚Œใพใ—ใŸใ€‚

open.substack.com/pub/gamayaub

0
0
0