10 items with this tag. Sorted by last modified date (newest first).
์นดํ์๊ฐ ๋์ง ์์ด ํ๋๋ค๊ณผ ํฃ์ ํ๊ธ ์ฌํด์์ ์ํ ์์
Coq์์ ์์๋ ํ์์ฆ๋ช ๊ด์ฌ์ ten-proofs์ ๋ฒ ๋ฆฌ์ฝ๋ฉ์ผ๋ก ์๊ณ , ์์ฐ์ด ์๋์ ํ์ ๋ช ์ธ, ์ปค๋ ๊ฒ์ฆ ์ฌ์ด์์ ์ธ๊ฐ์ด ๋งก์์ผ ํ ์ฑ ์๊ณผ ์ ๋ขฐ ๊ฒฝ๊ณ๋ฅผ ์ดํ๋ค.
๋ฐ์ด๋ธ์ฝ๋ฉ ๋ด๋ก ์ ๋์ด ์ฌ๊ณ , ์ฐฝ๋ฐ, ํ๋ค์ค ์์ง๋์ด๋ง, 1๊ฐ์์ฑ์ ๋ฐํ ์ด์๋ฒ์ผ๋ก ์ด์ด์ง๋ ๊ฐ๋ฐ์ AI ํก์ ๋ฐ์ ๊ตฌ์กฐ๋ฅผ ์ ๋ฆฌํ๋ค.
Beads ์ฝ๋๋ฒ ์ด์ค๋ฅผ ๋ถ์ํ๋ฉฐ Macro Memory System ์ค๊ณ ๋ฐฉํฅ์ ๋์ถํ ๋ ธํธ์ด๋ค.
@์คํฐ๋ธ์๊ทธ steveyegge/beads
Steve Yegge ์ธํฐ๋ทฐ๋ฅผ ํตํด ๋ฐ์ด๋ธ์ฝ๋ฉ๊ณผ ACP ๋๊ตฌ ๋ณธ์ง์ ๋ถ์ํ ์ ๋ฆฌ ๋ ธํธ์ด๋ค.
@ํฃ: ๋ฆฌํฌ ๋ฌธ์ ์ค์ฌ ๋ฐ์ด๋ธ ์ฝ๋ฉ - ์ด๋งฅ์ค ๋ฆฌํฐ๋ ์ดํธ ํ๋ก๊ทธ๋๋ฐ
@lizqwerscott ยงmcp.el MCP ์ด๋งฅ์ค ํด๋ผ์ด์ธํธ ํจํค์ง
#ํตํฉ๊ฐ๋ฐํ๊ฒฝ
Comments