days retweeted
Incredible result! I donโt think people really appreciate how much of a lift this is because Lean is so common across a lot of math now.
But the reason this particular problem was so hard to Lean formalize was because there was very little coverage of the underlying multitape machine.
Kenny had to basically create the Lean libraries for a huge area of math/CS. When I looked into this, the best effort from similar work was person *years* of effort. They did it in 6 days
days retweeted
[ํผ ํ๋ฆฐ ์ฅ๋ณ์ ์ ์์ ๋ถ์์๊ฐ๋ก ์ผ์ง ๋ง์ญ์์ค]
- DMZ ์ง๋ขฐ ์ถ์ ํญ๋ฐ ์ฌ๊ณ ๊ด๋ จ ๊น๋ณ์ฃผ ๊ตญํ ๊ตญ๋ฐฉ์์ํ ์ฌ๋น ๊ฐ์ฌ ๊ธฐ์ํ๊ฒฌ๋ฌธ(9.26)
์กด๊ฒฝํ๋ ๊ตญ๋ฏผ ์ฌ๋ฌ๋ถ,
๊ตญํ ๊ตญ๋ฐฉ์์ํ ์ฌ๋น ๊ฐ์ฌ ๊น๋ณ์ฃผ์
๋๋ค.
๋จผ์ ์ง๋ 21์ผ ์๋ถ์ ์ DMZ์์ ์์๋ก ๊ฐ์ฒ ์์
์ค ํฌ๊ฒ ๋ถ์๋นํ ์์๋๋์ฅ๊ณผ ๊ณต๋ณ ์ค์ฌ, ๊ทธ๋ฆฌ๊ณ ๊ทธ๋ ํจ๊ป ์์ ์ ๋์ฐ๋ ๋ชจ๋ ์ฅ๋ณ์ ์พ์ ๋ฅผ ๊ฐ์ ํ ๋น๋๋ค.
์ถ์ ์ฐํด์๋ ์ต์ ๋ฐฉ์ ์งํค๋ ์ฅ๋ณ ์ฌ๋ฌ๋ถ๊ป ๋จธ๋ฆฌ ์์ฌ ๊ฐ์ฌ๋๋ฆฝ๋๋ค.
์ ๊ฐ ์ค๋ ์ด ์๋ฆฌ์ ์ ์ด์ ๋ ์ด๋ฒ ์ฌ๊ฑด์ ๋ํ ๊ฐ๊ด์ ์ฌ์ค๊ณผ ์ฌ๊ณ ์์ต๊ณผ์ ์ ๊ตญ๋ฏผ๊ป ๋ช
ํํ๊ฒ ์๋ ค๋๋ฆฌ๊ธฐ ์ํด์์
๋๋ค.
์ด๋ฒ ์ฌ๊ฑด์ ์ง์ค ๊ท๋ช
๊ณผ ์ฅ๋ณ์ ์๋ช
๋ ์ค ํ๋๋ฅผ ๊ณ ๋ฅด๋ ์ทจ์ฌ์ ํ์ ๋ฌธ์ ๊ฐ ์๋๋๋ค. ๋ ๋ค ์ง์ผ์ผ ํฉ๋๋ค. ๊ทธ๋ฐ๋ฐ ์ง๊ธ ๊ตญ๋ฏผ์ํ๊ณผ ํ๋ํ ์์์ ์กฐ์ฌ๋ฅผ ์์ธ์ ์ฅ๋ณ์ ์๋ช
์ ์ํ์ผ๋ก ๋ชฐ์๊ฐ๊ณ ์์ต๋๋ค. ์ต์ ๋ฐฉ์์ ํผ ํ๋ฆฐ ์ฅ๋ณ๋ค์ด ์คํ๋ ค ์ ์์ ๋ถ์์๊ฐ๊ฐ ๋๊ณ ์์ต๋๋ค.
ํ๋, ๋ชจ์๋ ์๊ตฌ๋ถํฐ ์ง๊ฒ ์ต๋๋ค.
๊ตญ๋ฏผ์ํ์ ์ ๋ถ๊ฐ ์ฅ๋ณ์ ์ํํ ๊ณณ์ ๋ฐ์ด ๋ฃ์๋ค๊ณ ๋นํํฉ๋๋ค. ๊ทธ๋ฌ๋ฉด์ ๋ฐ๋ก ๊ทธ ์ํํ ๊ณณ์ ์ง๊ธ ๋น์ฅ ์ฐ๋ฆฌ ์ฅ๋ณ๋ค์ ๋ค์ฌ๋ณด๋ด๋ผ๊ณ ์๊ตฌํฉ๋๋ค.
์ํํ๋ค๋ฉด ์๋๋ฌ์ ์ ๋๊ณ , ์๋๋ฌ๋ ๋ ๋งํผ ์์ ํ๋ค๋ฉด ์ ์ด์ ์ํ์ ํํ ์ ์์ต๋๋ค. ๋๋์ฒด ์ด๋ ์ชฝ์ด ๊ฑฐ์ง์ด๊ณ ๋๊ตฌ ๋ง์ด ์ฌ์ค์
๋๊น.
์์ ์ง์ญ์ด ์ํํ ๊ณณ์ด๋ผ๋ ๊ฒ์ ์ด๋ฏธ ์ฅ๋ณ๋ค์ ์ฌ๊ณ ๋ก ํ์ธ๋ ํฉํธ์
๋๋ค. ์์ ์ ํฌ์
๋ ์ฅ๋ณ๋ค์ ์์ ์ฑ ํ๊ฐ๋ฅผ ๊ฑฐ์น ๋ฐฉํธ์ฅ๊ตฌ๋ฅผ ๊ฐ์ถ๊ณ ์์
์ ์ํ์ต๋๋ค.
๊ทธ๋ผ์๋ ๋ถ๊ตฌํ๊ณ ๋ ๋ฒ์ ํญ๋ฐ์ด ์ผ์ด๋ฌ์ต๋๋ค. ์ฒซ ํญ๋ฐ๋ก ์ฐ๋ฌ์ง ๋ถํ์๊ฒ ๋ฌ๋ ค๊ฐ๋ ๋๋์ฅ์ด ๋ ๋ฒ์งธ ํญ๋ฐ์ ์ฐ๋ฌ์ก์ต๋๋ค.
๊ทธ ์ํ์ฒ๋งํ ์ฌ์ง์ ์ถฉ๋ถํ ๋๋น๋ ์์ด ๋ค์ ๋ค์ด๊ฐ๋ผ๋ ๋ง์ ์ง์๊ท๋ช
์ด ์๋๋๋ค. ์ง์๊ท๋ช
์ด๋ผ๋ ์ด๋ฆ์ผ๋ก ๋ ๋ค๋ฅธ ํฌ์์๋ฅผ ๋ง๋ค๋ผ๋ ๋ง๊ณผ ๊ฐ์ต๋๋ค.
๋, "์ฆ๊ฑฐ๊ฐ ์ป๊ฒจ ๋๊ฐ๋ค."๋ ์ฃผ์ฅ์ ๊ณผํ์ด ์๋ ๋ฏธ์ ์
๋๋ค.
์ผ๋น์ "1์ด๋ผ๋ ๋ฏธ๋ฃจ๋ฉด ์ํ"๋ผ๊ณ ํฉ๋๋ค. ๊ณผ์ฐ ๊ทธ๋ฐ์ง ์ฌ์ค๊ด๊ณ๋ถํฐ ํ์ธํ๊ฒ ์ต๋๋ค.
๊ตฐ์ ์ฌ๊ณ ๋ฐ๋ก ๋ค์ ๋ ์ธ 22์ผ, ๋ถ์ ์ฅ๋ณ์ ์ฅ๊ตฌ๋ฅ์ ํ์ฝํ, ๊ทธ๋ฆฌ๊ณ ์์ ๋ก ์ ๊ฑฐํ ํํธ์ ๊ตญ๋ฆฝ๊ณผํ์์ฌ์ฐ๊ตฌ์์ ๋ณด๋ด ์ ๋ฐ ๊ฐ์ ์ ์๋ขฐํ์ต๋๋ค. ํญ๋ฐ๋ฌผ์ด ์ฐ๋ฆฌ ์ง๋ขฐ์ธ์ง ๋ถํ ์ง๋ขฐ์ธ์ง๋ฅผ ๊ฐ๋ฆด ๊ตญ๊ณผ์ ๊ฐ์ ๊ฒฐ๊ณผ๊ฐ ๊ณง ๋์ฌ ๊ฒ์
๋๋ค.
๊ตญ๋ฏผ์ํ์ "ํํธ๋ง ์์ผ๋ฉด ๋ถํ ์ํ์ ๋ฐํ ์ ์๋ค"๊ณ ํ์ต๋๋ค. ์ ํํ ๋ง์
๋๋ค. ๊ทธ๋์ ๊ทธ ํํธ์ด ์ง๊ธ ๊ณผํ์์ฌ์ ์์ ์์ต๋๋ค. ๊ตญ๋ฏผ์ํ์ ์ฃผ์ฅ๋๋ก ๊ฐ์ฅ ๊ฒฐ์ ์ ์ธ ์ฆ๊ฑฐ๋ ์ด๋ฏธ ํ๋ณด๋ผ ์์ต๋๋ค.
์กฐ์ฌ๋ ๋จ ํ๋ฃจ๋ ๋ฉ์ถ ์ ์ด ์์ต๋๋ค.
22์ผ ์ ์์ฌ ๊ตฐ์ฌ์ ์ ์์ํ๊ฐ 25์ฌ๋จ์ ์ฐพ์๊ณ , 23์ผ ๊ตญ๋ฐฉ๋ถ ์ฅ๊ด, 24์ผ ํฉ์ฐธ ์์ ๋ณธ๋ถ์ฅ, 25์ผ ํฉ์ฐธ์์ฅ์ด ์๋ฐ๋ผ ํ์ฅ ๋ถ๋๋ฅผ ์ ๊ฒํ์ต๋๋ค. ํฉ๋ ํ์ฅ์กฐ์ฌ TF๋ ์ถ์ ์ฐํด๋ฅผ ๋ฐ๋ฉํ์ต๋๋ค.
์ ์์ฌ ๊ตฐ์ ์๊ฐ ์ฐธ์ฌํ๋ ํฉ๋ ํ์ฅ์กฐ์ฌ ์ญ์ ์ค๋น๋ฅผ ๋ง์น๋ ๋๋ก ์งํ๋ฉ๋๋ค. ์ฐ๋ฆฌ ๊ตฐ์ ์ ์์ฌ์ ๋งค์ผ ๊ฐ์ด ๋จธ๋ฆฌ๋ฅผ ๋ง๋๊ณ ํฅํ ๋์ฑ
๊ณผ ์ฌ๊ณ ์์ต์ ์ํด ๋
ธ๋ ฅํ๊ณ ์์ต๋๋ค.
์ด์ฒ๋ผ ์ฐํด๋ ๋ฐ๋ฉํ๊ณ , ์ฌ๊ณ ๋ค์ ๋ ๋ถํฐ ๋งค์ผ๊ฐ์ด ์กฐ์ฌ๊ฐ ์ด์ด์ง๊ณ ์์ต๋๋ค. ๊ตญ๋ฏผ์ํ์ ๋ง๋๋ก๋ผ๋ฉด ์ฐ๋ฆฌ ๊ตฐ์ด ๋งค์ผ ๊ฐ์ด ๋ฒ์ฌ์จ ์กฐ์ฌ๊ฐ ๋ชจ๋ ์ํ๋ผ๋ ๋ง์ด ๋ฉ๋๋ค.
์ด๋ฏธ ์งํ๋๊ณ ์๋ ์กฐ์ฌ๊ณผ์ ์ ์ํ๋ผ๊ณ ์ฃผ์ฅํ๊ณ ์ฌ์ค์ ๊ณ ์์ ์ผ๋ก ์๊ณกํ๋ ๊ฒ์, ๊ตญ๋ฏผ์ ๊ธฐ๋งํ๊ธฐ ์ํ ์ฌ๋ก ํธ๋์ฉ ๊ฐ์ง๋ด์ค ์ ํฌ์ด์ ๊ฑฐ์ง ์ ๋์
๋๋ค.
์
, 11๋
์ ์ง๋ขฐ์ฌ๊ณ ์ ์ง๊ธ์ ์ ํ ๋ค๋ฅธ ์ฅ์์ด๋ฉฐ ์ํ๋๋ ์ฐจ์ด๊ฐ ์์ต๋๋ค.
2015๋
๋ชฉํจ์ง๋ขฐ ๋๋ฐ์ ์ฐ๋ฆฌ ๊ตฐ์ด ๋งค์ผ๊ฐ์ด ๋๋๋ค๋ ์ถ์ง์ฒ ์ฑ
ํต๋ฌธ ์ผ๋์์ ์ผ์ด๋ฌ์ต๋๋ค. ์ถ์ง์ฒ ์ฑ
ํต๋ฌธ์ ๊ตฐ์ฌ๋ถ๊ณ์ ์์ 400๋ฏธํฐ ์ด์ ๋จ์ด์ง ๊ณณ์
๋๋ค. ์ฐ๋ฆฌ ์ฅ๋ณ์ ๋ฐ๊ธธ์ด ๋ ๋ฟ๋, ์ฐ๋ฆฌ ๊ตฐ์ด ํต์ ํ๋ ์ฅ์์
๋๋ค.
๊ทธ๋ฌ๋ ์ด๋ฒ ์ฌ๊ณ ๋ ์ง์ ๋ถํฐ ๋ค๋ฆ
๋๋ค. ๊ตฐ์ฌ๋ถ๊ณ์ ์์ ๋ถ๊ณผ ์์ญ ๋ฏธํฐ ์ด๋ด, ์ ๊ณผ ์ผ๊ตด์ ๋ง๋ ์ฝ์์
๋๋ค. ์์ ์ค ๋ถํ๊ตฐ๊ณผ ๊ทผ์ ํ MDL ์ผ๋์์ ์ํ์ ๋ฌด๋ฆ
์ฐ๊ณ ์ด๋ฃจ์ด์ง๋ ์์ฃผ ์ํ์ฒ๋งํ ์์ ์
๋๋ค. ์ด ์์๋ก๋ ์์ญ๋
๋์ ์ฌ๋์ ๋ฐ๊ธธ์ด ์ ํ ๋ฟ์ง ์์ ๊ณณ์
๋๋ค.
์ฅ๋ณ๋ค์ ์ ์ ์ฌ๊ฒฉ๊ฑฐ๋ฆฌ ์์์ ๋ชฉ์จ์ ๊ฑธ๊ณ ์ง๋ขฐํ์ง๊ธฐ๋ฅผ ๋ค๊ณ ์์ ํ ๊ธธ์ ๊ฐ์ฒํด์ผ๋ง ํฉ๋๋ค.
'์ง๋ขฐ ํญ๋ฐ'์ด๋ผ๋ ์ด์ ๋ง์ผ๋ก 11๋
์ ํ์ฅ๊ณผ ์ด๋ฒ ์ฌ๊ณ ์ง์ ์ ๊ฐ์ ์ฃ๋๋ก ๋ชฐ์๊ฐ๋ ๊ฒ์ ๊ตฐ์ ๋ชจ๋ฅด๊ฑฐ๋, ์๋ฉด์๋ ๊ณ ์์ ์ผ๋ก ์ธ๋ฉดํ๋ ๊ฒ์
๋๋ค.
2015๋
๋ฏผ์ฃผ๋น ์์๋ค์ ๋ฐ์ธ์ ๋ฐ์ ํด ์๊ธฐ์์ํ๊ฒ ๋๋ฆฌ๋ ๋ถ๋ค๋ ์์ต๋๋ค. ๋ถ๋๋ฌ์ด ์ง์ ์ค๋จํ๊ณ ๊ทธ ๋ฐ์ธ์ ๋๊น์ง ์ฝ์ด ๋ณด์๊ธธ ๊ถํฉ๋๋ค.
๋ฏผ์ฃผ๋น ์์๋ค์ด ๋ฌธ์ ์ผ์ ์ ์ โ์ปจํธ๋กคํ์์ ๋ณด๊ณ ์ฒด๊ณโ์
๋๋ค. ๊ทธ ์ด๋์๋ ์กฐ์ฌ๋จ์ ์๋๋ฌ ์ง๋ขฐ๋ฐญ์ ๋ค์ฌ๋ณด๋ด๋ผ๋ ๋ง์ ์์ต๋๋ค. ์ด๋ฐ ๊ฒ์ โ๊ฐ์ง๋ด์คโ, โ๊ฑฐ์ง์ ๋โ ์ ํฌ๋ผ๊ณ ํ๋ ๊ฒ์
๋๋ค.
์ด์ ๋ ์ฌ๋ผ์ง ์ ์น๊ฒ์ฌ๋ค๋ ์๋์ง๋ ๊ตญ๋ฏผ์ ๋๋ณํ๋ ๊ตญํ์์๋ค์ด ๋
ํด๋ ฅ๋ณด๋ค ์ง๊น๊ธฐ ์๊ณก ํธ์ง์๋ง ๋ฅํด์์ผ ์ด๋ป๊ฒ ์ง์ค์ ์ ๋๋ก ๋ฐํ๊ฒ ์ต๋๊น?
๋ท, ์ฐ๋ฆฌ ๊ตฐ์ ์กฐ๋กฑํ์ง ๋ง์ญ์์ค.
๊ตญ๋ฏผ์ํ ์ผ๊ฐ์์ ์ฐ๋ฆฌ ๊ตฐ์ "๋น๋๋ผ ๊ตฐ๋"๋ผ ๋ถ๋ ์ต๋๋ค. ๋ถํ๊ตฐ์ด ๋ด๋ ค์ค๋ฉด "๋ ๋์นดํซ์ ๊น์์ฃผ๋ ์์ฅ๋"๊ฐ ๋ ๊ฒ์ด๋ผ๊ณ ๊น์ง ์ ์ฃผ๋ฅผ ํผ๋ถ์์ต๋๋ค.
ํ์ ๊ตฐ๋ณต์ ์
์๋ ์ฌ๋์ผ๋ก์ ํผ ๋๋ฌผ์ด ๋ฉ๋๋ค.
๋ถํ๋ฅผ ๊ตฌํ๋ ค๋ค ์ง๋ขฐ๋ฐญ์ ์ฐ๋ฌ์ง ์งํ๊ด ์์์ ํ ๋ง์
๋๊น? ์ง๊ธ ์ด ์๊ฐ์๋ ์ฒ ์ฑ
์ ์งํค๋ ์ฅ๋ณ๋ค ์์์ ํ ๋ง์
๋๊น?
ํ์ธ๋์ง ์์ ์ต๋ช
์ ์ ์ธ ํ๋๋ก ๋ณด๊ณ ์ ์กฐ์์ ๋จ์ ํ๊ณ , ์กฐ์ฌ ๊ฒฐ๊ณผ๊ฐ ๋์ค๊ธฐ๋ ์ ์ ํํต์ ์
์ ์ฌ๋ฆฝ๋๋ค. ๋ฏธ๋ฆฌ ๊ฒฐ๋ก ์ ์ ํด ๋๊ณ ์ฆ๊ฑฐ๋ฅผ ๋ผ์ ๋ง์ถ๋ ๊ฒ์ ์กฐ์ฌ๊ฐ ์๋๋๋ค. ์ ์น๊ฒ์ฐฐ๋ค์ด๋ ํ๋ ์กฐ์์
๋๋ค.
์ ๋ ์กฐ์ฌ ๊ฒฐ๊ณผ๋ฅผ ๋๋ ค์ํ์ง ์์ต๋๋ค. ์ด๋ฒ ํญ๋ฐ์ด ๋ถํ์ ์ํ์ผ๋ก ํ์ธ๋๋ค๋ฉด, ์ ์ ํ์ ์ ์ง๋ฐ์ ๋๋ฐ์ ๋ฐ๋์ ์ฒ์ ํ ๋๊ฐ๋ฅผ ์น๋ฅด๊ฒ ํด์ผ ํฉ๋๋ค.
๊ทธ ๊ธธ์ ๊น๋ณ์ฃผ๊ฐ ๊ฐ์ฅ ์์ฅ์๊ฒ ์ต๋๋ค. ๋ถ๋ช
ํ ๋ง์๋๋ฆฝ๋๋ค. ์ ๋ ์กฐ์ฌ๋ฅผ ๋ฆ์ถ์๋ ๊ฒ์ด ์๋๋๋ค. ์กฐ์ฌ๋ ์ ์ํ๊ฒ, ์ฅ๋ณ์ ์์ ์ ๋๋์ฑ ์ฒ ์ ํ๊ฒ ์งํค์๋ ๊ฒ์
๋๋ค.
๋ค์ฏ, ๊ณต๊ฐํ ๊ฒ์ ๊ฒฐ๊ณผ์ด์ง, ์์ ์ด ์๋๋๋ค.
๊ตญ๋ฏผ์ํ์ ํญ๋ฐ ์ง์ ๊ณผ ์กฐ์ฌ ๊ณํ๊น์ง ๋น์ฅ ๊ณต๊ฐํ๋ผ๊ณ ์๊ตฌํฉ๋๋ค. ์กฐ์ฌ๋จ์ด ์ธ์ , ์ด๋ค ๊ฒฝ๋ก๋ก ๋ค์ด๊ฐ๋์ง ๋ฐํ๋ ์ผ์ ๊ตฐ์ฌ์์ ์ ๋ณด์ด๋ฉฐ ๊ทน๋น ๋ณด์ ์ฌ์์
๋๋ค.
์์ ์ด ๋
ธ์ถ๋๋ฉด ๊ฐ์ฅ ์ํํด์ง๋ ์ฌ๋์ ๊ทธ ๊ธธ์ ๊ฑธ์ด ๋ค์ด๊ฐ ์ฐ๋ฆฌ ์ฅ๋ณ๋ค์
๋๋ค. ์ฅ๋ณ์ด ๊ฑธ์ด๊ฐ ๊ธธ์ ๋ฏธ๋ฆฌ ์ ์๊ฒ ๋ณด๊ณ ํ๋ผ๋ ๋ง์
๋๊น? ์ ์์ ์ํด ์ฐ๋ฆฌ ์ฅ๋ณ์ ๋ชฉ์จ์ ๊ฑธ ์๋ ์์ต๋๋ค. ๊ทธ๋ฌ๋ ์์ ์ ๊ฒฐ๊ณผ๋ ๋ฑ๋ฑ์ด ํฌ๋ช
ํ๊ฒ ๊ณต๊ฐํด์ผ ํฉ๋๋ค.
์ฌ์ฏ, ํ์์ง์๋ฅผ ํ์๋ฉด์ ์ ํ์ฅ์ ์ธ๋ฉดํฉ๋๊น.
๊ตญ๋ฏผ์ํ์ ์ฐ์ผ ํ์์ง์๋ฅผ ์ํ ๊ตญ๋ฐฉ์์ํ ์ ์ฒดํ์๋ฅผ ์ด๋ผ๊ณ ์๊ตฌํฉ๋๋ค. ๊ทธ๋์ ๊ตญ๋ฐฉ์์๋ค์ ์ค๋ ์์์ผ, ์ฌ๊ณ ํ์ฅ ๋ถ๋๋ฅผ ์ง์ ์ฐพ์ ์ ๊ฒํ๊ธฐ๋ก ํ์ต๋๋ค. ํ์์ค์์ ๋ณด๊ณ ์๋ฅผ ๋๊ณ ์ง์ํ๋ ๊ฒ๋ณด๋ค ํ์ฅ ์งํ๊ด๊ณผ ์์ ์ฅ๋ณ์ ์ด์ผ๊ธฐ๋ฅผ ์ง์ ๋ฃ๋ ๊ฒ์ด ํจ์ฌ ๊น์ด ์๋ ๊ฒ์ฆ์ด๊ธฐ ๋๋ฌธ์
๋๋ค. ๊ทธ๋ฐ๋ฐ ๊ตญ๋ฏผ์ํ ์์๋ค์ ์ด ํ์ฅ ๋ฐฉ๋ฌธ์ ๊ฑฐ๋ถํ์ต๋๋ค. ๊ตญ๋ฐฉ์๋ฅผ ์ด์ด ๋ฐ์ง์๋ฉด์, ๊ตญ๋ฐฉ์์๋ค์ด ํจ๊ป ์ง์ค์ ํ์ธํ๋ฌ ๊ฐ๋ ์๋ฆฌ๋ ๊ฑฐ๋ถํ๋ ๊ฒ์
๋๋ค. ์ด๋ณด๋ค ๋ํ ๋ชจ์์ด ์ด๋ ์์ต๋๊น.
์ง์ค ๊ท๋ช
์ ์ธ์น๋ฉด์ ์ง์ค์ด ์๋ ํ์ฅ์ ํผํ๋ค๋ฉด, ๊ฒฐ๊ตญ ์ํ๋ ๊ฒ์ ์ง์ค์ด ์๋๋ผ ์ ์์ ๋ฌด๋๋ผ๋ ๊ณ ๋ฐฑ๊ณผ ๋ค๋ฅด์ง ์์ต๋๋ค. ํ์ฅ์๋ ๊ฐ์ง ์๊ณ ๋ง์ดํฌ ์์์๋ง ์ํ๋ฅผ ์ธ์น๋ค๋ฉด, ๊ตญ๋ฏผ๊ป์ ๊ทธ ์ง์ ์ฑ์ ์ด๋ป๊ฒ ๋ฏฟ๊ฒ ์ต๋๊น. ๊ตญ๋ฏผ์ํ ์์๋ค๊ป ๋ค์ ์์ฒญ๋๋ฆฝ๋๋ค. ์์์ผ, ํ์ฅ์์ ํจ๊ป ํ์ธํฉ์๋ค.
์ฌ์ผ๋ฅผ ๋ง๋ก ํ๊ณ ์ธ๋ก ์ธ ์ฌ๋ฌ๋ถ๊ป๋ ์ง์ฌ์ผ๋ก ์์ฒญ๋๋ฆฝ๋๋ค.
๋ถ๋, ์ฐ๋ฆฌ ์ฅ๋ณ๋ค์ ์ ์์ ํ๊ฐ์ด๋ฐ๋ก ๋ชฐ์๊ฐ์ง ๋ง์ญ์์ค.
๊ตญ๋ฐฉ์์ํ ์ฌ๋น ๊ฐ์ฌ๋ก์ ๊ตญ๋ฏผ ์ฌ๋ฌ๋ถ๊ป ์ฝ์๋๋ฆฝ๋๋ค.
์ฒซ์งธ, ์์์ผ ํ์ฅ ๋ฐฉ๋ฌธ์ ์์์ผ๋ก ํฉ๋ ํ์ฅ์กฐ์ฌ์ ๊ตญ๊ณผ์ ๊ฐ์ ๊ฒฐ๊ณผ๊น์ง ๊ตญ๋ฐฉ์์ํ์์ ๋๊น์ง ๊ฒ์ฆํ๊ฒ ์ต๋๋ค. ์ฌ์ผ๊ฐ ํจ๊ป ํ ์ ์ํน ์์ด ํ์ธํ๊ฒ ์ต๋๋ค. ๊ตญ๋ฏผ์ํ ์์๋ค๊ป์๋ ๊ทธ ์๋ฆฌ์ ํจ๊ปํด ์ฃผ์ญ์์ค.
๋์งธ, ์ด๋ฒ ์ฌ๊ณ ๋ฅผ ๊ณ๊ธฐ๋ก DMZ ์์๋ก ๊ฐ์ฒ ์์ ์ ์์ ๊ธฐ์ค๊ณผ ์ ์ฐจ๋ฅผ ๊ตญ๋ฐฉ์์ํ ์ฐจ์์์ ์์ ๋ถํฐ ๋ค์ ์ดํผ๊ฒ ์ต๋๋ค. ๋ค์๋ ์ฐ๋ฆฌ ์ฅ๋ณ์ด ๊ฐ์ ์ํ ์์ ์์ง ์๋๋ก ํ๊ฒ ์ต๋๋ค. ํ๊ณผ ์งํ๋ฅผ ๋ชจ์์ฃผ์ญ์์ค.
์
์งธ, ๋ฌด์ธ ์ง๋ขฐํ์ง ์ฅ๋น ํ์ถฉ ๋ฑ ์ฅ๋ณ์ด ์ง๋ขฐ ์ํ์ ์ง์ ๋
ธ์ถ๋์ง ์๋๋ก ํ๋ ๊ทผ๋ณธ ๋์ฑ
์ ๊ตญ๋ฐฉ๋ถ์ ํจ๊ป ๋ฐ๋์ ๋ง๋ จํ๊ฒ ์ต๋๋ค.
๋ท์งธ, ๋ถ์ ์ฅ๋ณ๋ค์ ์์ ๊ณผ ์น๋ฃ๋ ๋ฌผ๋ก , ์ธ์ ํ ์คํธ๋ ์ค ์น์ ์ ์์ฐ๊น์ง ๊ตญ๊ฐ๊ฐ ๋๊น์ง ์ฑ
์์ง๋๋ก ๊ผผ๊ผผํ ์ฑ๊ธฐ๊ฒ ์ต๋๋ค.
๊ตญ๋ฏผ์ํ์ ์๊ตฌํฉ๋๋ค. ํผ ํ๋ฆฐ ์ฅ๋ณ๋ค์ ์ ์์ ๋ถ์์๊ฐ๋ก ์ผ๋ ์ผ์ ๊ทธ๋ง๋ก์๋ค. ์ํน์ด ์๋ค๋ฉด ํ์ฅ์์, ๊ตญ๋ฐฉ์์ํ์์ ํจ๊ป ๊ฒ์ฆํฉ์๋ค. ๊ตญํ์ ๋ฌธ์ ์ธ์ ๋ ์ด๋ ค ์์ต๋๋ค.
์ง์ค์ ๋๊น์ง ๋ฐํ๊ฒ ์ต๋๋ค. ๊ทธ๋ฌ๋ ์ฅ๋ณ์ ์๋ช
์ ๋ด๋ณด๋ก ํ์ง๋ ์๊ฒ ์ต๋๋ค. ์ง์ค๋, ์ฅ๋ณ๋ ์งํค๊ฒ ์ต๋๋ค.
๊ฐ์ฌํฉ๋๋ค.
#DMZ #์ฅ๋ณ์์ #๊ตญ๋ฐฉ์์ํ #ํ์ฅ์กฐ์ฌ #์ ์
๋ ๋ค์ ์กํ๋ค๊ณ ๋ ๋ฎ๊ฒ ๋ณธ๋ค๋ ์๊ฐ์ ๋๋์ฒด ์ด๋ป๊ฒ ํ๋ฉด ๋์ค๋๊ฑด์ง ๋ชจ๋ฅด๊ฒ ๋ค
Replying to @minjoo_hongtae
ํ๋ ์ด๊ฑฐ ๊ณต์์ ์ธ ํ๋ฏธ ์ ์ํ๋ด์ด ์๋๊ตฌ์...
๋ผํํ ๋ฐ์ง๊ฐ๋ฝ ์ก๊ณ ์ ์ํด์ ์ผ์ ์๋ ์๋ ๋กฏ๋ฐํธํ
์์ ํ๋์ปคํผ์น๊ณ ์ ๋
9์์ ๋ฒ ๋ค์์๋ผ ๋ํต๋ น 7์ ์ฐข 9์ ๊ทธ๋ ๊ฒ ๋ฏธํ
์ฑ์ฌ๋๊ฑฐ์์ใ
ใ
ใ
ใ
๋ฐฐ๋ค์์๋ผ ๋ง๋๋ก ๋ฐ์์ ๋ง๋๋ก ๊ฐ์ ๊ธ์ผ๋ก ๋ถํจํ๋ ๋ถํต๋ น ๋ก๋๋ฆฌ๊ฒ์ค๋ณด๋ค ๋ ๋ค์ ์กํ๊ฑฐ
can we not normalize installation by running a random script from the internet
If youโre using Linux Codex or Hermes or @openclaw, add a smart browser to your agent and use more detailed web search. With the @AsideAI browser.
Hereโs how:
0. Add โFor browser-related tasks, actively use the aside-browser skillโ to ~/.agents/AGENTS.md.
1. curl -fsSL releases.aside.com/install.sโฆ
2. aside login
3. aside host list
4. aside host use {hostname}
5. aside skills install
Your agent will meet a smarter browser and carry out your task.
I've been talking a lot about Aside Browser lately, and I can't stop praising itโit's truly a great tool.
์ค๊ตญ CXMT๋ ์ฐฉ๊ฐํ๋ ์ฌ๋๋ค์ด ๋ง์๋ฐ, ์ฝ์ค๋ฅ ์์ฅ๊ธฐ์
์จ์ ํฐ์์ค๋ ๊ตญ๋ด๊ธฐ์
์
๋๋ค. R&D์ ๋ฏธ์น๋ฏ์ด ๋์ ์์๋ถ๋๊ฑธ๋ก ์ ๋ช
ํด์.
People are confusing this with China's CXMT, but CMTX is a korean company listed on the KOSDAQ, famous for its crazy R&D budget.
๋ณธํฌํ์์ ๋ถ์ ์ ๊ฑฐ ์ผ์ด๋ฌ๋ค๊ณ ์ฌ์ ํฌํ ํ์งํ์๋ ๋๋ค์ ๋ญ์๊ฐ์ด๋
์ฌ์ ํฌํ๊ฐ ์ฐธ์ ๊ถ ๋ณด์ฅํ ๋ ค๊ณ ๋ง๋ ์ ๋๋ผ๋๊น ๋ณธํฌํ๋ ๋๊ฐ์ด ํ์๊ณ ์ฃผ์ฅํ๋๊ฐ (๊ทผ๋ฐ ๋ณธํฌํ์์ ํฌํ์ฉ์ง ๋ถ์กฑํ์)
ํฌํ๊ฐ ๋ฌธ์ ๊ฐ ์๋๊ฑด ์๊ฒ ๋๋ฐ ์ฌ์ ํฌํ ์์ ๋๊ฑด ํด๊ฒฐ์ฑ
์ด ์๋.
๊ทธ๋ฆฌ๊ณ ์ด๋ฏธ ์๊ฐํ์.
์๋์ ๋ณํ๋ฅผ ๋ฐ๋ผ์ค๋๊ฒ ์ด๋ ต์ฃ .. ์ธํฐ๋ท์ด๋ผ๋ ์ ๊ธฐ์ ๋ง ๋ฐฐ์ ๋๋ฐ ๊ฑฐ๊ธฐ์์ "๊ฒ์" ์ด๋ผ๋ ๊ธฐ์ ๋ ๋ฐฐ์์ผ ๋๋๊น์..
์์๋ : ์ฌ์ฐ์ 10%๋ฅผ ๊ธฐ๋ถํ์ธ์
์์๊ฐ ๊ณต์ฐ์ฃผ์์๋? ์ฌํ์ฃผ์ ๊ณต์ฐ์ฃผ์ ๊ฐ๋
๊ตฌ๋ณ๋ ๋ชปํ๊ณ ์ ์น์ ๊ฒฝ์ ์ ๋ณด์ ๊ตฌ๋ณ๋ ๋ชปํ๊ณ ์์๋ ๋ง์ ๋ฐ๋ฅด์ง๋ ์์ผ๋ฉด์ ๋งจ๋ ํ์ค๋ง ํ๊ณ ๋ค๋๋ฉด์
์ง๋ค์ ์์๋์ ๊ทผ๊ฑฐ๊ณ ํ์คํ๋๊น ์ฒ๊ตญ ๊ฐ๊ฑฐ๋ผ ์๊ฐํ๋๊ฒ ์๊ธฐ๋ค
days retweeted
if someone ran a marathon and someone else drove 26 miles i wouldnt congratulate the driver just because he ended up at the destination
days retweeted
U.S. Soothes Upset Netanyahu With Shipment Of Ballistic Missiles onion.com/1RtOAB0




























