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.

1
1

Gemini 3 Deep Think ๊ณต๊ฐœ
------------------------------
- *๊ณผํ•™ยท์—ฐ๊ตฌยท๊ณตํ•™ ๋ฌธ์ œ ํ•ด๊ฒฐ* ์„ ๋ชฉํ‘œ๋กœ ํ•œ Google์˜ AI ๋ชจ๋ธ
Gemini 3 Deep Think ๊ฐ€ ๋Œ€๊ทœ๋ชจ ์—…๊ทธ๋ ˆ์ด๋“œ๋จ
- ์ƒˆ๋กœ์šด ๋ฒ„์ „์€ *๊ณผํ•™์ž ๋ฐ ์—ฐ๊ตฌ์ž์™€์˜ ํ˜‘๋ ฅ* ์„ ํ†ตํ•ด ๋ถˆ์™„์ „ํ•œ ๋ฐ์ดํ„ฐ๋‚˜ ๋ช…ํ™•ํ•œ ์ •๋‹ต์ด ์—†๋Š” ๋ณต์žกํ•œ ๋ฌธ์ œ๋ฅผ ๋‹ค๋ฃจ๋„๋ก ์„ค๊ณ„
- *์ˆ˜ํ•™ยทํ”„๋กœ๊ทธ๋ž˜๋ฐยท๋ฌผ๋ฆฌยทํ™”ํ•™* ๋“ฑ ๋‹ค์–‘ํ•œ ๋ถ„์•ผ์˜ ๊ตญ์ œ ์˜ฌ๋ฆผํ”ผ์•„๋“œ ๋ฐ โ€ฆ
------------------------------
https://news.hada.io/topic?id=26643&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
1
1
0

Even if they do leave, theyโ€™ll still exist, theyโ€™ll still be funded like a national military, theyโ€™ll still be an authoritarian secret police in the making.

And the damage they did to my city, to the lives of my neighbors, will echo through generations.

2/

Do not rest easy, but hold on to this:

Operation Metro Surge was a catastrophic failure for the Trump regime. Yes, as a terrorist operation, it succeeded: they meant to hurt and terrorize black and Brown people and the whole opposition, and they succeeded at that. But in doing so they lost their credibility, they lost the support of mushy institutions and politicians, they lost much of the popular support a would-be authoritarian needs to consolidate power.

And they lost it because we stood up to them.

3/

0
0
0

notJoon shared the below article:

Functional Programming in Lean ํ•œ๊ตญ์–ด ๋ฒˆ์—ญ - ์†Œ๊ฐœ ๋ฐ ๊ฐ์‚ฌ์˜ ๊ธ€

์ดˆ๋ฌด @2chanhaeng@hackers.pub

Note

์ด ๊ธ€์€ Lean ๊ณต์‹ ๋ฌธ์„œ์— ์†Œ๊ฐœ๋œ Functional Programming in Lean์„ ์ž‘์„ฑ์ž๊ฐ€ ์ฝ๊ธฐ ์œ„ํ•œ ๋ชฉ์ ์œผ๋กœ Kagi Translate๋ฅผ ํ†ตํ•ด 1์ฐจ๋กœ ๊ธฐ๊ณ„ ๋ฒˆ์—ญ ํ›„ ๋ณด์™„ํ•œ ๊ธ€์ž…๋‹ˆ๋‹ค. ์›๋ฌธ๊ณผ์˜ ์ฐจ์ด๊ฐ€ ์žˆ์„ ์ˆ˜ ์žˆ์œผ๋ฉฐ ์ •์‹ ๋‚ด์šฉ์€ ํ•ญ์ƒ ์›๋ฌธ์„ ํ†ตํ•ด ํ™•์ธ ๋ฐ”๋ž๋‹ˆ๋‹ค. ์›๋ฌธ์ด Creative Commons Attribution 4.0 International License๋ฅผ ๊ธฐ๋ฐ˜์œผ๋กœ ๋ฐฐํฌ๋œ ๊ฒƒ์„ ์กด์ค‘ํ•˜์—ฌ ์ด ๊ธ€ ๋˜ํ•œ CC BY 4.0 ํ•˜์— ๋ฐฐํฌํ•ฉ๋‹ˆ๋‹ค.

์†Œ๊ฐœ

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

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

์ด ์ฑ…์€ Lean์„ ๋ฐฐ์šฐ๊ณ  ์‹ถ์ง€๋งŒ ๋ฐ˜๋“œ์‹œ ํ•จ์ˆ˜ํ˜• ํ”„๋กœ๊ทธ๋ž˜๋ฐ ์–ธ์–ด๋ฅผ ์‚ฌ์šฉํ•ด ๋ณธ ์ ์€ ์—†๋Š” ํ”„๋กœ๊ทธ๋ž˜๋จธ๋“ค์„ ๋Œ€์ƒ์œผ๋กœ ํ•ฉ๋‹ˆ๋‹ค. Haskell, OCaml, F#๊ณผ ๊ฐ™์€ ํ•จ์ˆ˜ํ˜• ์–ธ์–ด์— ์ต์ˆ™ํ•  ํ•„์š”๋Š” ์—†์Šต๋‹ˆ๋‹ค. ๋ฐ˜๋ฉด, ์ด ์ฑ…์€ ๋Œ€๋ถ€๋ถ„์˜ ํ”„๋กœ๊ทธ๋ž˜๋ฐ ์–ธ์–ด์—์„œ ๊ณตํ†ต์ ์œผ๋กœ ์“ฐ์ด๋Š” ๋ฃจํ”„, ํ•จ์ˆ˜, ๋ฐ์ดํ„ฐ ๊ตฌ์กฐ์™€ ๊ฐ™์€ ๊ฐœ๋…์— ๋Œ€ํ•œ ์ง€์‹์€ ๊ฐ–์ถ”๊ณ  ์žˆ๋‹ค๊ณ  ๊ฐ€์ •ํ•ฉ๋‹ˆ๋‹ค. ์ด ์ฑ…์ด ํ•จ์ˆ˜ํ˜• ํ”„๋กœ๊ทธ๋ž˜๋ฐ์— ๊ด€ํ•œ ์ข‹์€ ์ž…๋ฌธ์„œ๊ฐ€ ๋  ์ˆ˜๋Š” ์žˆ์ง€๋งŒ, ํ”„๋กœ๊ทธ๋ž˜๋ฐ ์ „๋ฐ˜์— ๊ด€ํ•œ ์ž…๋ฌธ์„œ๋กœ๋Š” ์ ํ•ฉํ•˜์ง€ ์•Š์Šต๋‹ˆ๋‹ค.

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

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

Lean ์‹œ์ž‘ํ•˜๊ธฐ

Lean์œผ๋กœ ์ž‘์„ฑ๋œ ํ”„๋กœ๊ทธ๋žจ์„ ์ž‘์„ฑํ•˜๊ณ  ์‹คํ–‰ํ•˜๊ธฐ ์ „์—, ๋จผ์ € ์ปดํ“จํ„ฐ์— Lean์„ ์„ค์น˜ํ•ด์•ผ ํ•ฉ๋‹ˆ๋‹ค. Lean ๋„๊ตฌ ๋ชจ์Œ์€ ๋‹ค์Œ๊ณผ ๊ฐ™์ด ๊ตฌ์„ฑ๋ฉ๋‹ˆ๋‹ค:

  • elan์€ rustup์ด๋‚˜ ghcup๊ณผ ์œ ์‚ฌํ•˜๊ฒŒ Lean ์ปดํŒŒ์ผ๋Ÿฌ ํˆด์ฒด์ธ์„ ๊ด€๋ฆฌํ•ฉ๋‹ˆ๋‹ค.
  • lake๋Š” cargo, make, ๋˜๋Š” Gradle๊ณผ ์œ ์‚ฌํ•˜๊ฒŒ Lean ํŒจํ‚ค์ง€์™€ ๊ทธ ์˜์กด์„ฑ์„ ๋นŒ๋“œํ•ฉ๋‹ˆ๋‹ค.
  • lean์€ ๊ฐœ๋ณ„ Lean ํŒŒ์ผ์˜ ํƒ€์ž…์„ ๊ฒ€์‚ฌํ•˜๊ณ  ์ปดํŒŒ์ผํ•˜๋ฉฐ, ํ˜„์žฌ ์ž‘์„ฑ ์ค‘์ธ ํŒŒ์ผ์— ๋Œ€ํ•œ ์ •๋ณด๋ฅผ ํ”„๋กœ๊ทธ๋ž˜๋จธ ๋„๊ตฌ์— ์ œ๊ณตํ•ฉ๋‹ˆ๋‹ค. ๋ณดํ†ต lean์€ ์‚ฌ์šฉ์ž๊ฐ€ ์ง์ ‘ ์‹คํ–‰ํ•˜๊ธฐ๋ณด๋‹ค๋Š” ๋‹ค๋ฅธ ๋„๊ตฌ์— ์˜ํ•ด ํ˜ธ์ถœ๋ฉ๋‹ˆ๋‹ค.
  • Visual Studio Code๋‚˜ Emacs์™€ ๊ฐ™์€ ์—๋””ํ„ฐ์šฉ ํ”Œ๋Ÿฌ๊ทธ์ธ์€ lean๊ณผ ํ†ต์‹ ํ•˜์—ฌ ๊ด€๋ จ ์ •๋ณด๋ฅผ ํŽธ๋ฆฌํ•˜๊ฒŒ ๋ณด์—ฌ์ค๋‹ˆ๋‹ค.

Lean ์„ค์น˜์— ๊ด€ํ•œ ์ตœ์‹  ์ง€์นจ์€ Lean ๋งค๋‰ด์–ผ์„ ์ฐธ์กฐํ•˜์‹œ๊ธฐ ๋ฐ”๋ž๋‹ˆ๋‹ค.

ํƒ€์ดํฌ๊ทธ๋ž˜ํ”ผ ๊ด€๋ก€

Lean์— ์ž…๋ ฅ์œผ๋กœ ์ œ๊ณต๋˜๋Š” ์ฝ”๋“œ ์˜ˆ์ œ๋Š” ๋‹ค์Œ๊ณผ ๊ฐ™์€ ํ˜•์‹์œผ๋กœ ํ‘œ์‹œ๋ฉ๋‹ˆ๋‹ค:

def add1 (n : Nat) : Nat := n + 1
#eval add1 7

์œ„์˜ ๋งˆ์ง€๋ง‰ ์ค„(#eval๋กœ ์‹œ์ž‘ํ•˜๋Š” ์ค„)์€ Lean์—๊ฒŒ ๋‹ต์„ ๊ณ„์‚ฐํ•˜๋„๋ก ์ง€์‹œํ•˜๋Š” ๋ช…๋ น์ž…๋‹ˆ๋‹ค. Lean์˜ ์‘๋‹ต์€ ๋‹ค์Œ๊ณผ ๊ฐ™์€ ํ˜•์‹์œผ๋กœ ํ‘œ์‹œ๋ฉ๋‹ˆ๋‹ค:

8

Lean์ด ๋ฐ˜ํ™˜ํ•˜๋Š” ์˜ค๋ฅ˜ ๋ฉ”์‹œ์ง€๋Š” ๋‹ค์Œ๊ณผ ๊ฐ™์€ ํ˜•์‹์œผ๋กœ ํ‘œ์‹œ๋ฉ๋‹ˆ๋‹ค:

Application type mismatch: The argument
  "seven"
has type
  String
but is expected to have type
  Nat
in the application
  add1 "seven"

๊ฒฝ๊ณ ๋Š” ๋‹ค์Œ๊ณผ ๊ฐ™์€ ํ˜•์‹์œผ๋กœ ํ‘œ์‹œ๋ฉ๋‹ˆ๋‹ค:

declaration uses 'sorry'

์œ ๋‹ˆ์ฝ”๋“œ

๊ด€์šฉ์ ์ธ Lean ์ฝ”๋“œ๋Š” ASCII์— ํฌํ•จ๋˜์ง€ ์•Š๋Š” ๋‹ค์–‘ํ•œ ์œ ๋‹ˆ์ฝ”๋“œ ๋ฌธ์ž๋ฅผ ์‚ฌ์šฉํ•ฉ๋‹ˆ๋‹ค. ์˜ˆ๋ฅผ ๋“ค์–ด, ๊ทธ๋ฆฌ์Šค ๋ฌธ์ž ฮฑ, ฮฒ ๋ฐ ํ™”์‚ดํ‘œ โ†’๋Š” ๋ชจ๋‘ ์ด ์ฑ…์˜ ์ฒซ ๋ฒˆ์งธ ์žฅ์— ๋“ฑ์žฅํ•ฉ๋‹ˆ๋‹ค. ์ด๋ฅผ ํ†ตํ•ด Lean ์ฝ”๋“œ๋Š” ์ผ๋ฐ˜์ ์ธ ์ˆ˜ํ•™์  ํ‘œ๊ธฐ๋ฒ•๊ณผ ๋” ์œ ์‚ฌํ•ด์งˆ ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค.

๊ธฐ๋ณธ Lean ์„ค์ •์—์„œ Visual Studio Code์™€ Emacs ๋ชจ๋‘ ๋ฐฑ์Šฌ๋ž˜์‹œ(\) ๋’ค์— ์ด๋ฆ„์„ ์ž…๋ ฅํ•˜์—ฌ ์ด๋Ÿฌํ•œ ๋ฌธ์ž๋ฅผ ์ž…๋ ฅํ•  ์ˆ˜ ์žˆ์Šต๋‹ˆ๋‹ค. ์˜ˆ๋ฅผ ๋“ค์–ด, ฮฑ๋ฅผ ์ž…๋ ฅํ•˜๋ ค๋ฉด \alpha๋ฅผ ์ž…๋ ฅํ•ฉ๋‹ˆ๋‹ค. Visual Studio Code์—์„œ ๋ฌธ์ž๋ฅผ ์ž…๋ ฅํ•˜๋Š” ๋ฐฉ๋ฒ•์„ ์•Œ์•„๋ณด๋ ค๋ฉด ํ•ด๋‹น ๋ฌธ์ž ์œ„์— ๋งˆ์šฐ์Šค๋ฅผ ์˜ฌ๋ ค ํˆดํŒ์„ ํ™•์ธํ•˜์„ธ์š”. Emacs์—์„œ๋Š” ํ•ด๋‹น ๋ฌธ์ž ์œ„์— ์ปค์„œ๋ฅผ ๋‘๊ณ  C-c C-k๋ฅผ ์‚ฌ์šฉํ•˜์„ธ์š”.

์ €์ž ์†Œ๊ฐœ

David Thrane Christiansen ์€ 20๋…„ ๋™์•ˆ ํ•จ์ˆ˜ํ˜• ์–ธ์–ด๋ฅผ ์‚ฌ์šฉํ•ด ์™”์œผ๋ฉฐ, ์˜์กด ํƒ€์ž…์„ ์‚ฌ์šฉํ•œ ์ง€๋Š” 10๋…„์ด ๋˜์—ˆ์Šต๋‹ˆ๋‹ค. ๊ทธ๋Š” Daniel P. Friedman๊ณผ ํ•จ๊ป˜ ์˜์กด ์ž๋ฃŒํ˜• ์ด๋ก ์˜ ํ•ต์‹ฌ ์•„์ด๋””์–ด๋ฅผ ์†Œ๊ฐœํ•˜๋Š” The Little Typer ๋ฅผ ์ง‘ํ•„ํ–ˆ์Šต๋‹ˆ๋‹ค. ์ฝ”ํŽœํ•˜๊ฒ IT ๋Œ€ํ•™๊ต์—์„œ ๋ฐ•์‚ฌ ํ•™์œ„๋ฅผ ๋ฐ›์•˜์œผ๋ฉฐ, ์žฌํ•™ ์‹œ์ ˆ Idris ์–ธ์–ด์˜ ์ฒซ ๋ฒˆ์งธ ๋ฒ„์ „์— ์ฃผ์š” ๊ธฐ์—ฌ์ž๋กœ ์ฐธ์—ฌํ–ˆ์Šต๋‹ˆ๋‹ค. ํ•™๊ณ„๋ฅผ ๋– ๋‚œ ํ›„์—๋Š” ๋ฏธ๊ตญ ์˜ค๋ฆฌ๊ฑด์ฃผ ํฌํ‹€๋žœ๋“œ์˜ Galois์™€ ๋ด๋งˆํฌ ์ฝ”ํŽœํ•˜๊ฒ์˜ Deon Digital์—์„œ ์†Œํ”„ํŠธ์›จ์–ด ๊ฐœ๋ฐœ์ž๋กœ ์ผํ–ˆ์œผ๋ฉฐ, Haskell Foundation์˜ ์ƒ์ž„ ์ด์‚ฌ๋ฅผ ์—ญ์ž„ํ–ˆ์Šต๋‹ˆ๋‹ค. ์ง‘ํ•„ ๋‹น์‹œ ๊ทธ๋Š” Lean Focused Research Organization ์— ์†Œ์†๋˜์–ด ํ’€ํƒ€์ž„์œผ๋กœ Lean ํ”„๋กœ์ ํŠธ์— ๋งค์ง„ํ•˜๊ณ  ์žˆ์Šต๋‹ˆ๋‹ค.

๊ฐ์‚ฌ์˜ ๊ธ€

์ด ๋ฌด๋ฃŒ ์˜จ๋ผ์ธ ๋„์„œ๋Š” Microsoft Research์˜ ์•„๋‚Œ์—†๋Š” ์ง€์› ๋•๋ถ„์— ์ง‘ํ•„ ๋ฐ ๋ฌด๋ฃŒ ๋ฐฐํฌ๊ฐ€ ๊ฐ€๋Šฅํ–ˆ์Šต๋‹ˆ๋‹ค. ์ง‘ํ•„ ๊ณผ์ •์—์„œ ๊ทธ๋“ค์€ Lean ๊ฐœ๋ฐœํŒ€์˜ ์ „๋ฌธ ์ง€์‹์„ ์ œ๊ณตํ•˜์—ฌ ์ œ ์งˆ๋ฌธ์— ๋‹ตํ•ด์ฃผ๊ณ  Lean์„ ๋” ์‚ฌ์šฉํ•˜๊ธฐ ์‰ฝ๊ฒŒ ๋งŒ๋“ค์–ด ์ฃผ์—ˆ์Šต๋‹ˆ๋‹ค. ํŠนํžˆ Leonardo de Moura๋Š” ์ด ํ”„๋กœ์ ํŠธ๋ฅผ ์‹œ์ž‘ํ•˜๊ณ  ์ œ๊ฐ€ ์ฒซ๋ฐœ์„ ๋—„ ์ˆ˜ ์žˆ๊ฒŒ ๋„์™€์ฃผ์—ˆ์œผ๋ฉฐ, Chris Lovett์€ CI ๋ฐ ๋ฐฐํฌ ์ž๋™ํ™”๋ฅผ ๊ตฌ์ถ•ํ•˜๊ณ  ํ…Œ์ŠคํŠธ ๋…์ž๋กœ์„œ ํ›Œ๋ฅญํ•œ ํ”ผ๋“œ๋ฐฑ์„ ์ฃผ์—ˆ์Šต๋‹ˆ๋‹ค. Gabriel Ebner๋Š” ๊ธฐ์ˆ  ๊ฒ€ํ† ๋ฅผ ๋งก์•˜๊ณ , Sarah Smith๋Š” ํ–‰์ •์ ์ธ ์—…๋ฌด๊ฐ€ ์›ํ™œํžˆ ๋Œ์•„๊ฐ€๋„๋ก ํž˜์จ์ฃผ์—ˆ์œผ๋ฉฐ, Vanessa Rodriguez๋Š” ์†Œ์Šค ์ฝ”๋“œ ํ•˜์ด๋ผ์ดํŠธ ๋ผ์ด๋ธŒ๋Ÿฌ๋ฆฌ์™€ ํŠน์ • ๋ฒ„์ „์˜ iOS์šฉ Safari ๊ฐ„์˜ ๊นŒ๋‹ค๋กœ์šด ์ƒํ˜ธ์ž‘์šฉ ๋ฌธ์ œ๋ฅผ ์ง„๋‹จํ•˜๋Š” ๋ฐ ๋„์›€์„ ์ฃผ์—ˆ์Šต๋‹ˆ๋‹ค.

์ด ์ฑ…์„ ์“ฐ๋Š” ๋ฐ๋Š” ํ‰์†Œ ๊ทผ๋ฌด ์‹œ๊ฐ„ ์™ธ์—๋„ ๋งŽ์€ ์‹œ๊ฐ„์ด ์†Œ์š”๋˜์—ˆ์Šต๋‹ˆ๋‹ค. ์ œ ์•„๋‚ด Ellie Thrane Christiansen์€ ํ‰์†Œ๋ณด๋‹ค ๋” ๋งŽ์€ ๊ฐ€์‚ฌ ๋ถ„๋‹ด์„ ๋„๋งก์•„ ์ฃผ์—ˆ์œผ๋ฉฐ, ์•„๋‚ด์˜ ํ—Œ์‹ ์ด ์—†์—ˆ๋‹ค๋ฉด ์ด ์ฑ…์€ ์กด์žฌํ•  ์ˆ˜ ์—†์—ˆ์„ ๊ฒƒ์ž…๋‹ˆ๋‹ค. ๋งค์ฃผ ํ•˜๋ฃจ์”ฉ ์ถ”๊ฐ€๋กœ ์ผํ•˜๋Š” ๊ฒƒ์ด ๊ฐ€์กฑ๋“ค์—๊ฒŒ ์‰ฝ์ง€ ์•Š์€ ์ผ์ด์—ˆ์Œ์—๋„, ์ง‘ํ•„ ๊ธฐ๊ฐ„ ๋™์•ˆ ์ธ๋‚ด์‹ฌ์„ ๊ฐ–๊ณ  ์ง€์ง€ํ•ด ์ค€ ๊ฐ€์กฑ๋“ค์—๊ฒŒ ๊ฐ์‚ฌ์˜ ๋งˆ์Œ์„ ์ „ํ•ฉ๋‹ˆ๋‹ค.

Lean์„ ๋‘˜๋Ÿฌ์‹ผ ์˜จ๋ผ์ธ ์ปค๋ฎค๋‹ˆํ‹ฐ๋Š” ๊ธฐ์ˆ ์ ์œผ๋กœ๋‚˜ ์ •์„œ์ ์œผ๋กœ ์ด ํ”„๋กœ์ ํŠธ์— ์—ด๋ ฌํ•œ ์ง€์ง€๋ฅผ ๋ณด๋‚ด์ฃผ์—ˆ์Šต๋‹ˆ๋‹ค. ํŠนํžˆ Sebastian Ullrich๋Š” ์—๋Ÿฌ ๋ฉ”์‹œ์ง€ ํ…์ŠคํŠธ๋ฅผ CI์—์„œ ํ™•์ธํ•˜๊ณ  ์ฑ…์— ์‰ฝ๊ฒŒ ํฌํ•จํ•  ์ˆ˜ ์žˆ๋„๋ก ์ง€์› ์ฝ”๋“œ๋ฅผ ์ž‘์„ฑํ•  ๋•Œ, ์ œ๊ฐ€ Lean์˜ ๋ฉ”ํƒ€ํ”„๋กœ๊ทธ๋ž˜๋ฐ ์‹œ์Šคํ…œ์„ ์ตํžˆ๋Š” ๋ฐ ํ•ต์‹ฌ์ ์ธ ๋„์›€์„ ์ฃผ์—ˆ์Šต๋‹ˆ๋‹ค. ์ƒˆ๋กœ์šด ๊ฐœ์ •ํŒ์„ ๊ฒŒ์‹œํ•œ ์ง€ ๋ถˆ๊ณผ ๋ช‡ ์‹œ๊ฐ„ ๋งŒ์— ์—ด์ •์ ์ธ ๋…์ž๋“ค์ด ์˜ค๋ฅ˜๋ฅผ ์ฐพ์•„๋‚ด๊ณ , ์ œ์•ˆ์„ ๊ฑด๋„ค๋ฉฐ, ๋”ฐ๋œปํ•œ ๊ฒฉ๋ ค๋ฅผ ๋ณด๋‚ด์ฃผ์—ˆ์Šต๋‹ˆ๋‹ค. ํŠนํžˆ ๋ฌธ์ฒด์™€ ๊ธฐ์ˆ ์ ์ธ ๋ฉด์—์„œ ๋งŽ์€ ์ œ์•ˆ์„ ์ฃผ์‹  Arien Malec, Asta Halkjรฆr From, Bulhwi Cha, Craig Stuntz, Daniel Fabian, Evgenia Karunus, eyelash, Floris van Doorn, Frantiลกek Silvรกลกi, Henrik Bรถving, Ian Young, Jeremy Salwen, Jireh Loreaux, Kevin Buzzard, Lars Ericson, Liu Yuxi, Mac Malone, Malcolm Langfield, Mario Carneiro, Newell Jensen, Patrick Massot, Paul Chisholm, Pietro Monticone, Tomas Puverle, Yaรซl Dillies, Zhiyuan Bao, ๊ทธ๋ฆฌ๊ณ  Zyad Hassan์—๊ฒŒ ๊ฐ์‚ฌ์˜ ์ธ์‚ฌ๋ฅผ ์ „ํ•˜๊ณ  ์‹ถ์Šต๋‹ˆ๋‹ค.

Read more โ†’
2
1
0

์ฒด๊ฐ์ƒ claude plan์œผ๋กœ ์ž‘์—… ๊ณ„ํš์„œ ์ž‘์„ฑํ•œ ๋‹ค์Œ์— codex๋กœ ์ฝ”๋“œ ์ž‘์„ฑํ•˜๋Š”๊ฒŒ ๊ฒฐ๊ณผ๋ฌผ์ด ๊ฝค ๊ดœ์ฐฎ์€ ๊ฒƒ ๊ฐ™์Œ

0
2
0
0
0
0

๋ฏธ๊ตญ ๋„๋„๋“œ ํŠธ๋Ÿผํ”„ ํ–‰์ •๋ถ€๊ฐ€ ๋ฏธ๋„ค์†Œํƒ€์ฃผ์—์„œ ๋‘ ๋‹ฌ ๋‚จ์ง“ ์ด์–ด์˜จ ๋Œ€๊ทœ๋ชจ ์ด๋ฏผ ๋‹จ์† ์ž‘์ „์„ ์ข…๋ฃŒํ•˜๊ธฐ๋กœ ํ–ˆ์Šต๋‹ˆ๋‹ค. ๋ฏธ๊ตญ ์‹œ๋ฏผ 2๋ช…์ด ์—ฐ๋ฐฉ ์š”์›์˜ ์ด๊ฒฉ์œผ๋กœ ์‚ฌ๋งํ•˜๋ฉฐ ์ „๊ตญ์  ๋…ผ๋ž€์ด ํ™•์‚ฐ๋œ ๊ฐ€์šด๋ฐ ๋‚˜์˜จ ๊ฒฐ์ •์ž…๋‹ˆ๋‹ค.

ํŠธ๋Ÿผํ”„, ๋ฏธ๋„ค์†Œํƒ€ ์ด๋ฏผ ๋‹จ์† 10์ฃผ ๋งŒ์— ์ข…๋ฃŒโ€ฆโ€˜์‹œ๋ฏผ ...

0
0

Gemini 3 Deep Think ๊ณต๊ฐœ | GeekNews

news.hada.io/topic?id=26643

๋˜ ์ƒˆ๋กœ์šด ๋ชจ๋ธ ๋‚˜์™”๋„ค.
์–ผ๋งˆ๋‚˜ ๋ˆ์„ ํผ๋ถ“๊ธธ๋ž˜ ์ €๋Ÿฐ ๊ฐœ๋ฐœ์†๋„๊ฐ€ ๋‚˜์˜ฌ์ง€...๋ฏธ์นœ ๊ตฌ๊ธ€.
์ด์ •๋„ ๋ฐœ์ „ ์†๋„๋ฉด, ์ œ๋ฏธ๋‚˜์ด ์‹œ๋ฆฌ์ฆˆ๋“ค์ด ํ• ๋ฃจ์ด๋„ค์ด์…˜๋งŒ ์žก์œผ๋ฉด, ๋‹ค ์žก์•„ ๋จน์„๊ฑฐ ํƒ€์Œ.

0
0
0

โ€˜์œ„์•ˆ๋ถ€ํ”ผํ•ด์ž๋ฒ•โ€™ ๋ณธํšŒ์˜ ํ†ต๊ณผ... โ€˜์œ„์•ˆ๋ถ€โ€™ ํ—ˆ์œ„์‚ฌ์‹ค ์œ ํฌ ํ˜•์‚ฌ์ฒ˜๋ฒŒํ•œ๋‹ค www.womennews.co.kr/news/article... "ํŠนํžˆ ์ •์˜๊ธฐ์–ต์—ฐ๋Œ€๋Š” ์ผ๋ณธ๊ตฐโ€˜์œ„์•ˆ๋ถ€โ€™ ํ”ผํ•ด ์‚ฌ์‹ค์— ๋Œ€ํ•œ ํ—ˆ์œ„์˜ ์‚ฌ์‹ค์„ ์œ ํฌํ•˜๋Š” ๊ฒฝ์šฐ ํ˜•์‚ฌ์ฒ˜๋ฒŒ์ด ๊ฐ€๋Šฅํ•˜๋„๋ก ๊ทœ์ •ํ•œ ๊ฒƒ์„ ๋‘๊ณ  โ€œ์ค‘๋Œ€ํ•œ ์ง„์ „โ€์ด๋ผ๊ณ  ํ‰๊ฐ€ํ–ˆ๋‹ค. ์ด์–ด โ€œ์ˆ˜์š”์‹œ์œ„ ํ˜„์žฅ๊ณผ ์˜จ๋ผ์ธ ๊ณต๊ฐ„์—์„œ ํ”ผํ•ด์ž๋“ค์„ ๊ณต๊ฒฉํ•ด ์˜จ ๊ทน์šฐ ์—ญ์‚ฌ๋ถ€์ • ์„ธ๋ ฅ์˜ ํ–‰์œ„๋ฅผ ๋” ์ด์ƒ โ€˜์˜๊ฒฌโ€™์ด๋‚˜ โ€˜ํ‘œํ˜„โ€™์œผ๋กœ ์šฉ์ธํ•˜์ง€ ์•Š๊ฒ ๋‹ค๋Š” ๊ตญํšŒ์˜ ๋ถ„๋ช…ํ•œ ์„ ์–ธโ€์ด๋ผ๋ฉฐ ๋ฒ•์•ˆ ํ†ต๊ณผ์˜ ์˜๋ฏธ๋ฅผ ๊ฐ•์กฐํ–ˆ๋‹ค."

โ€˜์œ„์•ˆ๋ถ€ํ”ผํ•ด์ž๋ฒ•โ€™ ๋ณธํšŒ์˜ ํ†ต๊ณผ... โ€˜์œ„์•ˆ๋ถ€โ€™ ํ—ˆ์œ„์‚ฌ์‹ค...

0

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

0
0

๋ฏธ์„ฑ๋…„ ์—ฌ์„ฑ์œผ๋กœ ์Œ“์•„์˜ฌ๋ฆฐ โ€˜์ผ๊ทธ๋Ÿฌ์ง„ ์ œ๊ตญโ€™ยทยทยทโ€˜๊ดด๋ฌผโ€™์€ ๋งํ•œ๋‹ค, ๋ˆ๊ณผ ๊ถŒ๋ ฅ์ด๋ฉด ๋ญ๋“  ์‚ด ์ˆ˜ ์žˆ๋‹ค๊ณ  [์‚ฌ์ด์›”๋“œ] www.khan.co.kr/article/2026... "๊ทธ๋Ÿฌ๋‚˜ ์—ก์Šคํƒ€์ธ ์‚ฌ๊ฑด์—์„œ โ€˜๋ฌด์Šจ ์ผ์ด ์ผ์–ด๋‚ฌ๋Š”๊ฐ€โ€™ ๋ชป์ง€์•Š๊ฒŒ ์ค‘์š”ํ•œ ์งˆ๋ฌธ์€ โ€˜๋ˆ„๊ฐ€ ์ด๋“์„ ๋ณด์•˜๋Š”๊ฐ€โ€™์ด๋‹ค. ์—ก์Šคํƒ€์ธ์˜ ํฌ์ƒ์ž๋“ค์€ ๋Œ€๋ถ€๋ถ„ ์ Š๊ณ  ๊ฐ€๋‚œํ•˜๋ฉฐ ๊ธฐํšŒ๊ฐ€ ์ ˆ๋ฐ•ํ•œ ์‚ฌ๋žŒ๋“ค์ด์—ˆ๋‹ค. ๋ฐ˜๋ฉด ์—ก์Šคํƒ€์ธ ๋„คํŠธ์›Œํฌ์— ์—ฐ๋ฃจ๋ผ ์ด๋“์„ ๋ณธ ์—˜๋ฆฌํŠธ๊ฐ€ ๋„ˆ๋ฌด ๋งŽ๋‹ค ๋ณด๋‹ˆ, ์ด ์‚ฌ๊ฑด์€ ์—ก์Šคํƒ€์ธ ๊ฐœ์ธ์˜ ๋ฌธ์ œ๊ฐ€ ์•„๋‹ˆ๋ผ ์—˜๋ฆฌํŠธ ์ด์ต์ง‘๋‹จ ์ „์ฒด์˜ ๋ฌธ์ œ๊ฐ€ ๋ผ๋ฒ„๋ ธ๋‹ค."

[์‚ฌ์ด์›”๋“œ]๋ฏธ์„ฑ๋…„ ์—ฌ์„ฑ์œผ๋กœ ์Œ“์•„์˜ฌ๋ฆฐ โ€˜์ผ๊ทธ๋Ÿฌ์ง„ ์ œ๊ตญโ€™ยท...

[์‚ฌ์ด์›”๋“œ]๋ฏธ์„ฑ๋…„ ์—ฌ์„ฑ์œผ๋กœ ์Œ“์•„์˜ฌ๋ฆฐ โ€˜์ผ๊ทธ๋Ÿฌ์ง„ ์ œ๊ตญโ€™ยทยทยทโ€˜๊ดด๋ฌผโ€™์€ ๋งํ•œ๋‹ค, ๋ˆ๊ณผ ๊ถŒ๋ ฅ์ด๋ฉด ๋ญ๋“  ์‚ด ์ˆ˜ ์žˆ๋‹ค๊ณ 

2019๋…„ 8์›” ๋ฏธ์„ฑ๋…„์ž ์„ฑ์ฐฉ์ทจ ํ˜์˜๋กœ ๋ณต์—ญํ•˜๋˜ ์ค‘ ๊ฐ์˜ฅ์—์„œ ์ˆจ์ง„ ๊ธˆ์œต์ธ ์ œํ”„๋ฆฌ ์—ก์Šคํƒ€์ธ์ด ๋‚จ๊ธด ์ˆœ์ž์‚ฐ์€ ํ˜ธํ™” ์ €ํƒ๊ณผ ์นด๋ฆฌ๋ธŒํ•ด์˜ ์„ฌ๋“ค์„ ํฌํ•จํ•ด ์•ฝ 5์–ต6000๋งŒ๋‹ฌ๋Ÿฌ(์•ฝ 8133์–ต์›)์— ๋‹ฌํ–ˆ๋‹ค. ๋ถ€์œ ์ธต์˜ ์ž์‚ฐ ๊ด€๋ฆฌ๋ฅผ ํ–ˆ๋‹ค๊ณ ๋Š” ํ•˜์ง€๋งŒ, ๊ฑฐ๋Œ€ํ•œ ํŽ€๋“œ๋ฅผ ์šด์šฉํ•œ ์ ๋„ ์—†๊ณ  ์šด์šฉ ์‹ค์ ์„ ๊ณต๊ฐœํ•œ ์ ๋„ ์—†๋Š” ๊ทธ๋Š” ์–ด๋–ป๊ฒŒ ์—„์ฒญ๋‚œ ๊ทœ๋ชจ์˜ ์žฌ์‚ฐ์„ ๋ชจ์„ ์ˆ˜ ์žˆ์—ˆ์„๊นŒ. ๊ทธ๋Š”...

www.khan.co.kr ยท ๊ฒฝํ–ฅ์‹ ๋ฌธ

0
0
0
0

"์—ฐ๋ง๊นŒ์ง€ ์ž๋ฐœ์  ํƒ„์†Œ์‹œ์žฅ ์กฐ์„ฑ"... ๊ทธ๋ฆฐ์›Œ์‹ฑ ์šฐ๋ ค๋Š”?:
๊ธฐํš์˜ˆ์‚ฐ์ฒ˜๊ฐ€ ์—ฐ๋ง๊นŒ์ง€ '์ž๋ฐœ์  ํƒ„์†Œ์‹œ์žฅ ๊ฑฐ๋ž˜์†Œ'๋ฅผ ์‹ ์„คํ•œ๋‹ค๊ณ  ๋ฐํžŒ ๊ฐ€์šด๋ฐ ํ™˜๊ฒฝ๋‹จ์ฒด๋Š” ๋Œ€๊ธฐ์—…์˜ ๊ทธ๋ฆฐ์›Œ์‹ฑ ์ˆ˜๋‹จ์ด ๋  ๊ฒƒ์ด๋ผ๊ณ  ์šฐ๋ คํ–ˆ๋‹ค. ์ค‘์†Œ๊ธฐ์—…์ด ์˜จ์‹ค๊ฐ€์Šค๋ฅผ ๊ฐ์ถ•ํ•ด ํฌ๋ ˆ๋”ง์œผ๋กœ ํŒ๋งคํ•˜๋ฉด ๋Œ€๊ธฐ์—…์ด ์ด๋ฅผ ๊ตฌ๋งคํ•ด ๋ฐฐ์ถœ๋Ÿ‰์„ ์ƒ์‡„ํ•˜๋Š” "์กฐ์‚ผ๋ชจ์‚ฌ์‹ ๊ฐ์ถ•"์— ๊ทธ์น  ์ˆ˜ ์žˆ๋‹ค๋Š” ์ง€์ ์ด๋‹ค. ๊ธฐํš์˜ˆ์‚ฐ์ฒ˜๋Š” ๊ธฐํ›„๋ถ€์™€ ๋…ผ์˜ํ•ด ๋Œ€์ฑ…์„ ๋งˆ๋ จํ•˜๊ฒ ๋‹ค๊ณ  ๋ฐํ˜”๋‹ค.์—ฐ๋ง '์ž๋ฐœ์  ํƒ„์†Œ์‹œ์žฅ ๊ฑฐ๋ž˜์†Œ' ์‹ ์„ค๊ธฐํš์˜ˆ์‚ฐ์ฒ˜๋Š” 11์ผ ๊ฒฝ๊ธฐ๋„ ์„ฑ๋‚จ์‹œ ์†Œ์žฌ ๊ธฐํ›„ํ…Œํฌ ์Šคํƒ€ํŠธ์—… ์—์ด์˜ฌ ์ฝ”๋ฆฌ์•„๋ฅผ ๋ฐฉ๋ฌธํ•ด ๊ฐ„๋‹ดํšŒ๋ฅผ ์—ด๊ณ , ์—ฐ๋ง์„ ๋ชฉํ‘œ๋กœ ์ž๋ฐœ์  ํƒ„์†Œ์‹œ์žฅ ๊ฑฐ๋ž˜์†Œ๋ฅผ ์‹ ์„คํ•  ๊ณ„ํš์ด๋ผ๊ณ  ๋ฐํ˜”๋‹ค. ์ž„๊ธฐ๊ทผ ๊ธฐํš์˜ˆ์‚ฐ
newspenguin.com/news/articleVi
(2026-02-13 10:23:13)

0

[ํ™˜๊ฒฝํŒŒ๊ดด, ์˜ค๋ฒ„ํˆฌ์–ด๋ฆฌ์ฆ˜ โ‘ฅ] "๊ธฐํ›„์œ„๊ธฐ ์ƒ์ง• ๋น™ํ•˜, ๊ณผ์ž‰ ๊ด€๊ด‘ ํ˜„์žฅ ๋๋‹ค":
์ „ ์„ธ๊ณ„ ๋น™ํ•˜๊ฐ€ ์ „๋ก€ ์—†๋Š” ์†๋„๋กœ ์‚ฌ๋ผ์ง€๊ณ  ์žˆ๋‹ค. ๊ทธ๋Ÿฌ๋‚˜ ๋งค๋…„ 1,400๋งŒ ๋ช…์˜ ๊ด€๊ด‘๊ฐ์ด ๋น™ํ•˜๋ฅผ ์ฐพ๊ณ  ์žˆ๋‹ค. ์•„๋ฆ„๋‹ค์šด ์ž์—ฐ๊ฒฝ๊ด€์ผ ๋ฟ ์•„๋‹ˆ๋ผ ๊ธฐํ›„์œ„๊ธฐ๋ฅผ ์ƒ์ง•ํ•˜๋Š” ์žฅ์†Œ๋กœ ์ธ์‹๋˜๋ฉด์„œ, ๋น™ํ•˜๋Š” ์ƒˆ๋กœ์šด ๊ด€๊ด‘์ง€๋กœ ๋– ์˜ฌ๋ž๋‹ค. ์‚ฌ๋ผ์ง€๊ธฐ ์ „์— ์ง์ ‘ ๋ณด๊ณ  ์‹ถ๋‹ค๋Š” ์ด๋ฅธ๋ฐ” โ€˜๋งˆ์ง€๋ง‰ ๊ธฐํšŒ ๊ด€๊ด‘โ€™ ํ˜„์ƒ์ด๋‹ค. ์ด๋ฅผ ๋‘๊ณ  ์ „๋ฌธ๊ฐ€๋“ค์€ โ€œ์˜คํžˆ๋ ค ํ™˜๊ฒฝ ํ›ผ์†๊ณผ ์ง€์—ญ์‚ฌํšŒ์— ๋ถ€๋‹ด์„ ๋”ํ•  ์ˆ˜ ์žˆ๋‹คโ€๊ณ  ์ง€์ ํ–ˆ๋‹ค.์ง€๊ตฌ๊ฐ€ ๋‚˜๋‚ ์ด ๋”์›Œ์ง€๋ฉด์„œ 2050๋…„๊นŒ์ง€ ์ „ ์„ธ๊ณ„์—์„œ ์ตœ๋Œ€ 4,000๊ฐœ์˜ ๋น™ํ•˜๊ฐ€ ์‚ฌ๋ผ์งˆ ์ˆ˜ ์žˆ๋‹ค๋Š” ์ „๋ง์ด ๋‚˜์˜จ๋‹ค. ์ผ๋ถ€ ๋ณด๋„์—์„œ๋Š” ๋น™ํ•˜๋ฅผ โ€˜๋ฉธ์ข…์œ„๊ธฐ์ข…โ€™์— ๋น„์œ ํ•˜๊ธฐ๋„ ํ•œ
newspenguin.com/news/articleVi
(2026-02-13 10:20:52)

0
1
0
0
1
0
1

๋‹‰ ํŠน์œ ์˜ ๋Šฅ๊ธ€๋Šฅ๊ธ€ํ•œ ํ‘œ์ •์ด ๋ˆˆ์น๋งŒ ๊ฐ€๋ ค์ง€๋ฉด ๊ทธ๋ƒฅ ์‚ฌํšŒ์— ์ฐŒ๋“ค์–ด ๊ฐœํ”ผ๊ณคํ•œ ํ‘œ์ •์œผ๋กœ ๋ณด์—ฌ์„œ ๋ˆˆ์น์ด ์ƒ๊ฐ๋ณด๋‹ค ์ค‘์š”ํ•œ ๊ฑธ ์•Œ๊ฒŒ ๋๋‹ค

0
0
0
โ€‹:ren:โ€‹ ๊ทธ๋Ÿฐ๋ฐ ์™ผ์ชฝ ๋ฟ” ๋‹ฌ๋ฆฐ ํˆฌ๊ตฌ๋Š” ํ˜„์‹ค์ ์œผ๋กœ ์œ„ํ—˜ํ•œ ๊ฒƒ์ด...
๋จธ๋ฆฌ๋ฅผ ๊ณต๊ฒฉํ•œ ๋ฌด๊ธฐ๊ฐ€ ๋น—๋‚˜๊ฐ€๋ฉด ๋ฟ”์— ๋งž์ž–์•„์š”. ๊ทธ๋Ÿผ ํˆฌ๊ตฌ๊ฐ€ ํ•‘๊ทธ๋ฅด๋ฅด~ ๋Œ์•„์š”. ๊ทธ๋Ÿผ ์‹œ์•ผ๋ฅผ ๊ฐ€๋ฆฌ๊ฑฐ๋‚˜ ๋ชฉ์ด ๋ถ€๋Ÿฌ์ง. โ€‹:blobcatgooglynotlikek:โ€‹
0
0
0
0
1
โ€‹:ren:โ€‹ ๊ทธ๋Ÿฐ๋ฐ ์™ผ์ชฝ ๋ฟ” ๋‹ฌ๋ฆฐ ํˆฌ๊ตฌ๋Š” ํ˜„์‹ค์ ์œผ๋กœ ์œ„ํ—˜ํ•œ ๊ฒƒ์ด...
๋จธ๋ฆฌ๋ฅผ ๊ณต๊ฒฉํ•œ ๋ฌด๊ธฐ๊ฐ€ ๋น—๋‚˜๊ฐ€๋ฉด ๋ฟ”์— ๋งž์ž–์•„์š”. ๊ทธ๋Ÿผ ํˆฌ๊ตฌ๊ฐ€ ํ•‘๊ทธ๋ฅด๋ฅด~ ๋Œ์•„์š”. ๊ทธ๋Ÿผ ์‹œ์•ผ๋ฅผ ๊ฐ€๋ฆฌ๊ฑฐ๋‚˜ ๋ชฉ์ด ๋ถ€๋Ÿฌ์ง. โ€‹:blobcatgooglynotlikek:โ€‹
0
0

์—ฌ๋‹ด์ž…๋‹ˆ๋‹ค๋งŒ ์‚ฌ์žฅ๋‹˜ ๋ฌธ์ œ(?)๋Š” ํ•ด๊ฒฐ์ด ๋˜๊ธดํ• ํ…๋ฐ ์ด์ƒํ•œ ๋ฐฉํ–ฅ์œผ๋กœ ํ•ด๊ฒฐ๋ ๊ฒ๋‹ˆ๋‹ค;; ์–ธ์–ด๋ชจ๋ธ์ด ๊ณ ์งˆ์ ์ธ ๋ฌธ์ œ์ธ ํ™˜๊ฐ๊ณผ ๋ฉ”๋ชจ๋ฆฌ, ๋น„์šฉ ์ด ์ •๋„ ๋ฌธ์ œ๊ฐ€ ํ•ด๊ฒฐ๋˜๋ฉด... ๊ทธ๋ž˜์„œ ์ผ๋ฐ˜ ์ง์› ์ •๋„๋กœ ์ผ์„ ์ž˜ํ•˜๊ฒŒ ๋œ๋‹ค ์‹ถ์œผ๋ฉด ์ด์ œ ๋งค๋‹ˆ์ €์™€ ์ž„์› ๋ชฉ ๋‚ ๋ผ๊ฐ€๋Š”๊ฑด ์‹œ๊ฐ„ ๋ฌธ์ œ์ž„๋‹ค... Claude or OpenAI Management or Company or HR ๋ญ ์ด๋ ‡๊ฒŒ ๋‚˜์™€๋„ ์ „ํ˜€ ์ด์ƒํ•˜์ง€ ์•Š์Œ ใ…‹ใ…‹ใ…‹ใ…‹ใ…‹ ์•„๋งˆ ๋งค๋‹ˆ์ €๋‚˜ ์ž„์› 10๋ช… ๋Œ€์‹  1๋ช…์œผ๋กœ ์ค„์ด๊ณ  ์ด๋Ÿฐ๊ฑธ๋กœ ๋Œ๋ฆฌ๊ฒ ์ฃ  ํ•˜๊ฒ ์ฃ ;;

0

1ๆœˆๅˆ้ ญใฎ้›ฒใ€‚ใ“ใ†่ฆ‹ใ‚‹ใจใ€1ๆœˆใจ2ๆœˆใง้›ฒใฎๆง˜ๅญใฏใ ใ„ใถ้•ใ†ใ€‚1ๆœˆๆœซใ‹ใ‚‰2้€ฑ้–“็จ‹ๅบฆใ€ใšใฃใจๅŽšใ„้›จ้›ฒ๏ผˆ้›ช้›ฒ๏ผ‰ใซ่ฆ†ใ‚ใ‚Œใฆใ„ใŸใ€‚
Nikon D4s + Nikon AF Zoom-Nikkor 28-70mm f/3.5-4.5D

ใ“ใฎใ„ใ‹ใซใ‚‚ๅ†ฌใจใ„ใฃใŸๅคฉๆฐ—ใฏใ“ใ“2ใ€3ๆ—ฅใงใ‚ˆใ†ใ‚„ใ็ต‚ใ‚ใฃใŸใ‚‰ใ—ใใ€ใ“ใฎๅ‰ใฏใฒใ•ใณใ•ใซ้›ฒใฎใชใ„ๅคœๆ˜Žใ‘ใ ใฃใŸใ€‚
Nikon D3300 + Nikon AF-S DX Nikkor 18-55mm f/3.5-5.6G VR II

1
1
2
2
0