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

ํ‘ธํ•˜ ๋ฉด๋„๋‚  ์‹ ๊ณต ์„ฑ๊ณตํ•œ ๊ฒƒ ๊ฐ™์Œ. ๋„๋ฃจ์ฝ” ์–‘๋‚ ์„ ์ข€์ „์— ๊ตฌํ•ด์„œ ํ”ผ๋“œ ๋ช‡๋ฒˆ ๊ทธ์–ด์ฃผ๋Š”๋ฐ ํ•œ 10๋ถ„๋„ ์•ˆ๊ฑธ๋ฆผ...

๊ฒฝํ—˜์น˜๊ฐ€ ์Œ“์ด๋ฉด ์›ํ•˜๋Š” ์ž‰ํฌ ๊ณต๊ธ‰์„ ํ• ๋งŒํผ ์กฐ์ ˆํ•  ์ˆ˜ ์žˆ์„ ๊ฒƒ ๊ฐ™์Œ. ;-)

0
0

ๆ–ฐๅฎฟใงๆฐท็‚นไธ‹ไธ‰ใƒ„็Ÿขใ‚ตใ‚คใƒ€ใƒผใ‚’ๅฃฒใฃใฆใ‚‹่‡ช่ฒฉๆฉŸใ‚’่ฆ‹ใคใ‘ใŸใ‚ˆโ€‹:ablobcatpnd_oooo:โ€‹
ๅ ดๆ‰€ใฏใ‚จใƒซใ‚ฟใƒฏใƒผใฎๆจช๏ผ(Googleใƒžใƒƒใƒ—ใฎURL่ฒผใฃใจใใพใ™
https://maps.app.goo.gl/ZyWYy6rLTMCnRo8T9

1

ํ‘ธํ•˜ ๋ฉด๋„๋‚  ์‹ ๊ณต ์„ฑ๊ณตํ•œ ๊ฒƒ ๊ฐ™์Œ. ๋„๋ฃจ์ฝ” ์–‘๋‚ ์„ ์ข€์ „์— ๊ตฌํ•ด์„œ ํ”ผ๋“œ ๋ช‡๋ฒˆ ๊ทธ์–ด์ฃผ๋Š”๋ฐ ํ•œ 10๋ถ„๋„ ์•ˆ๊ฑธ๋ฆผ...

๊ฒฝํ—˜์น˜๊ฐ€ ์Œ“์ด๋ฉด ์›ํ•˜๋Š” ์ž‰ํฌ ๊ณต๊ธ‰์„ ํ• ๋งŒํผ ์กฐ์ ˆํ•  ์ˆ˜ ์žˆ์„ ๊ฒƒ ๊ฐ™์Œ. ;-)

0

"๊ณตํฌ๊ฐ, ๊ฑฐ๋ฆฌ ์ „์ฒด๊ฐ€ ํ”ผํ•ด ์ž…์–ด" 'ํ˜์ค‘'์ด ํ• ํ€ธ ์–‘๊ผฌ์น˜๊ณจ๋ชฉ์€ ์ง€๊ธˆ ์‹๋‹น๋“ค, ๊ทน์šฐ์„ฑํ–ฅ ์ฒญ๋…„๋‹จ์ฒด ์ง‘ํšŒ์— ์šธ๋ถ„ ์‚ผํ‚ค๋ฉด์„œ๋„ ๋ง ์•„๊ปด... ์˜จ๋ผ์ธ ๋ฒ—์–ด๋‚œ ๊ทน์šฐ์„ธ๋ ฅ์— "๊ธ‰์ง„ํ™”" ์šฐ๋ ค๋„ ๋“ฑ๋ก 2025.04.22 09:48 m.ohmynews.com/NWS_Web/Mobi...

"๊ณตํฌ๊ฐ, ๊ฑฐ๋ฆฌ ์ „์ฒด๊ฐ€ ํ”ผํ•ด ์ž…์–ด" 'ํ˜์ค‘'์ด ํ• ํ€ธ ์–‘...

0
0

ๆ–ฐๅฎฟใงๆฐท็‚นไธ‹ไธ‰ใƒ„็Ÿขใ‚ตใ‚คใƒ€ใƒผใ‚’ๅฃฒใฃใฆใ‚‹่‡ช่ฒฉๆฉŸใ‚’่ฆ‹ใคใ‘ใŸใ‚ˆโ€‹:ablobcatpnd_oooo:โ€‹
ๅ ดๆ‰€ใฏใ‚จใƒซใ‚ฟใƒฏใƒผใฎๆจช๏ผ(Googleใƒžใƒƒใƒ—ใฎURL่ฒผใฃใจใใพใ™
https://maps.app.goo.gl/ZyWYy6rLTMCnRo8T9

1
1
1
0
0

AI๊ฐ€ ๋ฐœ์ „ํ•˜๋ฉด์„œ ์‚ฌ๋žŒ๋“ค์ด ๋ฉ์ฒญํ•ด์ง„๋‹ค๋Š”๊ฒŒ ๋А๊ปด์ง€๋Š” ์ด์œ 

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

AI๊ฐ€ ๋ฐœ์ „ํ•˜๋ฉด์„œ AI๊ฐ€ ๋ชจ๋“ ๊ฑธ ์•ˆ๋‹ค๊ณ  ๋ฏฟ๋Š” ์‚ฌ๋žŒ๋“ค์ด ๋Š˜์–ด๋‚˜๊ณ  ์žˆ๋‹ค.
์•„๋งˆ ์Šค์นธ๋“์— ๋Œ€ํ•œ ์ž˜๋ชป๋œ ์ •๋ณด๋ฅผ ํ•™์Šตํ•  ์ˆ˜๋„ ์žˆ๋‹ค.
๊ทธ๋Ÿผ ์–ด๋–ค ์‚ฌ๋žŒ์ด '๊ทธ ์ •๋ณด ์ž˜๋ชป๋œ๊ฑฐ๊ณ  ์‚ฌ์‹ค ๋‹์†์ด ๋ฐœ๊ฒฌํ–ˆ์–ด์š”'๋ผ๊ณ  ํ•˜๋ฉด
'AI๊ฐ€ ์ด๋ ‡๊ฒŒ ๊ฐ€๋ฅด์ณ์คฌ์œผ๋‹ˆ AI๊ฐ€ ๋งž๋Š” ๋ง์ด์•ผ!' ํ•˜๋ฉด์„œ ๋ฌด์‹œํ•˜๋Š”
๊ทธ๋Ÿฐ ์ฐ๋“ค์ด ์ตœ๊ทผ ์ธํ„ฐ๋„ท ๊ตฐ๋ฐ๊ตฐ๋ฐ์—์„œ ๋‚˜์˜ค๊ณ  ์žˆ๋‹ค.

AI๋ฅผ ์ธ๊ฐ„๋“ค์ด ๋ฌด์ง€์„ฑ์œผ๋กœ, ๋ฌด๋ถ„๋ณ„ํ•˜๊ฒŒ ์‚ฌ์šฉํ•œ๋‹ค๋ฉด
์ธ๊ฐ„์˜ ๋ฌด์ง€ํ•จ์€ ์ปค์งˆ ์ˆ˜ ์žˆ๋‹ค.

0
0
0

https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6#superclass-expansion-is-more-conservative

๋‚ด๊ฐ€ 9.4 -> 9.6 ๋งˆ์ด๊ทธ๋ ˆ์ด์…˜์—์„œ ๊ฒช๊ณ  ์žˆ๋Š” ๋ฌธ์ œ๊ฐ€ ์ด๊ฑฐ๋ž‘ ๊ด€๋ จ์ด ์žˆ๋Š”๊ฑฐ ๊ฐ™์€๋ฐ(ํ™•์‹ค์น˜ ์•Š์Œ)... 9.4์—์„œ๋Š” c :: Type -> Constraint ์ผ๋•Œ forall c. c Int ๋ญ ์ด๋Ÿฐ ์กฐ๊ฑด์ด ์žˆ์œผ๋ฉด, ๋ชจ๋“  c์— ๋Œ€ํ•ด c Int๊ฐ€ ์กด์žฌํ•˜๋Š”๊ฒŒ ๋ง์ด ์•ˆ๋˜๋Š”๋ฐ๋„ ์‹ค์ œ๋กœ c Int ๊ผด๋กœ ์“ฐ์ด๋Š” c๋งŒ ๊ณ ๋ คํ•ด์„œ ํƒ€์ž…์ฒดํฌ๋ฅผ ํ†ต๊ณผ์‹œ์ผœ์คฌ๋˜๊ฑฐ ๊ฐ™๋‹ค(์ด๊ฒƒ๋„ ํ™•์‹คํ•˜์ง€ ์•Š์Œ). ๊ทผ๋ฐ 9.6์—์„  ๋‹น์—ฐํžˆ ๊ฑฐ๋ถ€๋‹นํ•œ๋‹ค.

์œ„์˜ ๋‚ด ์ดํ•ด๊ฐ€ ๋งž๋‹ค๋ฉด 9.4์˜ constraint solving ์™„์ „ ๋ฌด๊ทผ๋ณธ์ด์—ˆ๋‹จ๊ฑด๋ฐ, ์ด๊ฑด ๋˜ ๋ฏฟ๊ธฐ ์–ด๋ ต๋‹ค(ํ•˜์Šค์ผˆ์˜ ์„ค๊ณ„ ๊ฒฐ์ •์— ๋Œ€ํ•œ ์‹ ๋ขฐ ์œ ์ง€ํ•œ๋‹ค๊ณ  ํ•˜๋ฉด). ์–ด๋””์„œ ๋‚ด๊ฐ€ ์ž˜๋ชป ํŒŒ์•…ํ•œ๊ฑฐ์ง€.

3
0

๋‚˜์ค‘์— ์ธ๊ฐ„์˜ ์ „๋‡Œํ™”๊ฐ€ ์ถฉ๋ถ„ํžˆ ์ด๋ฃจ์–ด์ง€๋ฉด ๋“€์˜ค๋ง๊ณ ๋กœ ๋ฐฐ์šฐ๋Š” ํ”ผ๊ฒจ์Šค์ผ€์ดํŒ… ์ฝ”์Šค ๊ฐ™์€๊ฒƒ๋„ ๋‚˜์˜ค์ง€ ์•Š์„๊นŒ

๋”๋ธ” ์•…์…€์„ ์„ฑ๊ณตํ•˜์„ธ์š”.

โœ… ์•„์ฃผ ์ข‹์•„์š”! ๐Ÿ“ค๐Ÿ

0

Vibe Codingํ•˜๋Š” ๋น„๊ฐœ๋ฐœ์ž๋Š” ๊ฐœ๋ฐœ์ž์ธ๊ฐ€(1) - tech.kakao.com

tech.kakao.com/posts/697

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

AI ์ฝ”๋”ฉ๋„ ๋งˆ์ฐฌ๊ฐ€์ง€๋ผ๊ณ  ์ƒ๊ฐํ•จ.
๋‹ค๋งŒ ์ „์ฒด์ ์ธ ์„ค๊ณ„๊นŒ์ง€ AI์—๊ฒŒ ์‹œํ‚ค๋Š”๊ฒŒ ๊ฐœ๋ฐœ์ด๋ƒ๋Š” ....๊ฑด ๋”ฐ์ ธ๋ด์•ผ ํ•˜๊ฒ ๊ณ ,
AI ์ฝ”๋”ฉ์ด ๋ฐœ์ „ํ•  ์ˆ˜๋ก ์–ด์ค‘๊ฐ„ํ•œ ๊ฐœ๋ฐœ์ž๋Š” ์„ค ์ž๋ฆฌ๊ฐ€ ์—†์–ด์ง„๋‹ค๋Š” ์ ์ด ๋ฌธ์ œ์ด์ง€๋งŒ,
๊ฐœ๋ฐœ์˜ ๋ฐฉ๋ฒ•์€ ์–ด์ฐจํ”ผ ๊ณ„์† ๋ฐ”๋€Œ๋Š”๊ฑฐ์ž„.

๋ฌธ์ œ๋Š” ๋งŽ์€๋ฐ, ๋ญ๋ผ ํ•ด๋ด์•ผ ๋ฐ”๋€Œ๋Š”๊ฑด ๋ฐ”๋€๋‹ค.

0

AI๊ฐ€ ๋ฐœ์ „ํ•˜๋ฉด์„œ ์‚ฌ๋žŒ๋“ค์ด ๋ฉ์ฒญํ•ด์ง„๋‹ค๋Š”๊ฒŒ ๋А๊ปด์ง€๋Š” ์ด์œ 

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

AI๊ฐ€ ๋ฐœ์ „ํ•˜๋ฉด์„œ AI๊ฐ€ ๋ชจ๋“ ๊ฑธ ์•ˆ๋‹ค๊ณ  ๋ฏฟ๋Š” ์‚ฌ๋žŒ๋“ค์ด ๋Š˜์–ด๋‚˜๊ณ  ์žˆ๋‹ค.
์•„๋งˆ ์Šค์นธ๋“์— ๋Œ€ํ•œ ์ž˜๋ชป๋œ ์ •๋ณด๋ฅผ ํ•™์Šตํ•  ์ˆ˜๋„ ์žˆ๋‹ค.
๊ทธ๋Ÿผ ์–ด๋–ค ์‚ฌ๋žŒ์ด '๊ทธ ์ •๋ณด ์ž˜๋ชป๋œ๊ฑฐ๊ณ  ์‚ฌ์‹ค ๋‹์†์ด ๋ฐœ๊ฒฌํ–ˆ์–ด์š”'๋ผ๊ณ  ํ•˜๋ฉด
'AI๊ฐ€ ์ด๋ ‡๊ฒŒ ๊ฐ€๋ฅด์ณ์คฌ์œผ๋‹ˆ AI๊ฐ€ ๋งž๋Š” ๋ง์ด์•ผ!' ํ•˜๋ฉด์„œ ๋ฌด์‹œํ•˜๋Š”
๊ทธ๋Ÿฐ ์ฐ๋“ค์ด ์ตœ๊ทผ ์ธํ„ฐ๋„ท ๊ตฐ๋ฐ๊ตฐ๋ฐ์—์„œ ๋‚˜์˜ค๊ณ  ์žˆ๋‹ค.

AI๋ฅผ ์ธ๊ฐ„๋“ค์ด ๋ฌด์ง€์„ฑ์œผ๋กœ, ๋ฌด๋ถ„๋ณ„ํ•˜๊ฒŒ ์‚ฌ์šฉํ•œ๋‹ค๋ฉด
์ธ๊ฐ„์˜ ๋ฌด์ง€ํ•จ์€ ์ปค์งˆ ์ˆ˜ ์žˆ๋‹ค.

0
0
0
0

Vibe Codingํ•˜๋Š” ๋น„๊ฐœ๋ฐœ์ž๋Š” ๊ฐœ๋ฐœ์ž์ธ๊ฐ€(1) - tech.kakao.com

tech.kakao.com/posts/697

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

AI ์ฝ”๋”ฉ๋„ ๋งˆ์ฐฌ๊ฐ€์ง€๋ผ๊ณ  ์ƒ๊ฐํ•จ.
๋‹ค๋งŒ ์ „์ฒด์ ์ธ ์„ค๊ณ„๊นŒ์ง€ AI์—๊ฒŒ ์‹œํ‚ค๋Š”๊ฒŒ ๊ฐœ๋ฐœ์ด๋ƒ๋Š” ....๊ฑด ๋”ฐ์ ธ๋ด์•ผ ํ•˜๊ฒ ๊ณ ,
AI ์ฝ”๋”ฉ์ด ๋ฐœ์ „ํ•  ์ˆ˜๋ก ์–ด์ค‘๊ฐ„ํ•œ ๊ฐœ๋ฐœ์ž๋Š” ์„ค ์ž๋ฆฌ๊ฐ€ ์—†์–ด์ง„๋‹ค๋Š” ์ ์ด ๋ฌธ์ œ์ด์ง€๋งŒ,
๊ฐœ๋ฐœ์˜ ๋ฐฉ๋ฒ•์€ ์–ด์ฐจํ”ผ ๊ณ„์† ๋ฐ”๋€Œ๋Š”๊ฑฐ์ž„.

๋ฌธ์ œ๋Š” ๋งŽ์€๋ฐ, ๋ญ๋ผ ํ•ด๋ด์•ผ ๋ฐ”๋€Œ๋Š”๊ฑด ๋ฐ”๋€๋‹ค.

0
1

: โ€žDie Baumbilanz fรผr 2024 ist erneut negativ: Von 431.431 StraรŸenbรคumen in den zwรถlf Bezirke wurden ganze 5.280 StraรŸenbรคume gefรคllt, nur 2.571 davon wurden bereits nachgepflanzt โ€“ ein Defizit von 2.709 Bรคumen." (Nabu Berlin)

In Paris seit 2020 neu gepflanzte Bรคume laut โ€žParis Dataโ€œ: 125.000.

dashboard.paris/pages/detail-a

0

๋‚˜์ค‘์— ์ธ๊ฐ„์˜ ์ „๋‡Œํ™”๊ฐ€ ์ถฉ๋ถ„ํžˆ ์ด๋ฃจ์–ด์ง€๋ฉด ๋“€์˜ค๋ง๊ณ ๋กœ ๋ฐฐ์šฐ๋Š” ํ”ผ๊ฒจ์Šค์ผ€์ดํŒ… ์ฝ”์Šค ๊ฐ™์€๊ฒƒ๋„ ๋‚˜์˜ค์ง€ ์•Š์„๊นŒ

๋”๋ธ” ์•…์…€์„ ์„ฑ๊ณตํ•˜์„ธ์š”.

โœ… ์•„์ฃผ ์ข‹์•„์š”! ๐Ÿ“ค๐Ÿ

0
1
1

: โ€žDie Baumbilanz fรผr 2024 ist erneut negativ: Von 431.431 StraรŸenbรคumen in den zwรถlf Bezirke wurden ganze 5.280 StraรŸenbรคume gefรคllt, nur 2.571 davon wurden bereits nachgepflanzt โ€“ ein Defizit von 2.709 Bรคumen." (Nabu Berlin)

In Paris seit 2020 neu gepflanzte Bรคume laut โ€žParis Dataโ€œ: 125.000.

dashboard.paris/pages/detail-a

0
0
0
0

๋‚˜์ค‘์— ์ธ๊ฐ„์˜ ์ „๋‡Œํ™”๊ฐ€ ์ถฉ๋ถ„ํžˆ ์ด๋ฃจ์–ด์ง€๋ฉด ๋“€์˜ค๋ง๊ณ ๋กœ ๋ฐฐ์šฐ๋Š” ํ”ผ๊ฒจ์Šค์ผ€์ดํŒ… ์ฝ”์Šค ๊ฐ™์€๊ฒƒ๋„ ๋‚˜์˜ค์ง€ ์•Š์„๊นŒ

๋”๋ธ” ์•…์…€์„ ์„ฑ๊ณตํ•˜์„ธ์š”.

โœ… ์•„์ฃผ ์ข‹์•„์š”! ๐Ÿ“ค๐Ÿ

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0

LTLใซๆŠ•ใ’ใฆใ‚‹ใคใ‚‚ใ‚Šใงใ‚‚ใ€้€ฃๅˆใซๆตใ‚Œใฆใ‚‹ใฎใฃใฆๅœฐๅ‘ณใซๅ•้กŒใ‹ใ‚‚ใชใใ€‚
ๅ‰ฒใจๆตใ‚Œใฆใใ‚‹ใฎใŒใ“ใฃใกใ‹ใ‚‰่ฆ‹ใˆใกใ‚ƒใ†ใฎใ‚ˆใญ :blobcatrollingeyes:

ใใฎ่พบใ€ :misskey12_67: ใฏLTLใงๆญขใ‚ใ‚‹ๆฉŸ่ƒฝใŒใ‚ใ‚‹ใ—ใ€kmybluleใฏๆœชๅŽ่ผ‰ใงใ‚‚LTLใซไน—ใ›ใ‚‰ใ‚Œใ‚‹ใฎใงใ€้€ฃๅˆใซๆตใ‚Œใชใ„ใฎใฏใ€ๆŽฒ็คบๆฟ็š„ใช้‹็”จใ‚’ใ—ใฆใ„ใ‚‹้ฏ–ใจใ—ใฆใฏ้ƒฝๅˆใŒใ„ใ„ใ ใ‚ใ†ใญ :thinking_shamiko:

้€†ใซใใ‚Œไปฅๅค–ใฎ้ฏ–ใฏๆŽฒ็คบๆฟ็š„ใช้‹็”จใ‚’ใ—ใฆใ„ใ‚‹ใคใ‚‚ใ‚ŠใŒใ€ๅค–้ƒจใซใ ใŸๆผใ‚Œใ ใ‚‚ใ‚“ใช :blobcatrollingeyes:

0

https://gitlab.haskell.org/ghc/ghc/-/wikis/migration/9.6#superclass-expansion-is-more-conservative

๋‚ด๊ฐ€ 9.4 -> 9.6 ๋งˆ์ด๊ทธ๋ ˆ์ด์…˜์—์„œ ๊ฒช๊ณ  ์žˆ๋Š” ๋ฌธ์ œ๊ฐ€ ์ด๊ฑฐ๋ž‘ ๊ด€๋ จ์ด ์žˆ๋Š”๊ฑฐ ๊ฐ™์€๋ฐ(ํ™•์‹ค์น˜ ์•Š์Œ)... 9.4์—์„œ๋Š” c :: Type -> Constraint ์ผ๋•Œ forall c. c Int ๋ญ ์ด๋Ÿฐ ์กฐ๊ฑด์ด ์žˆ์œผ๋ฉด, ๋ชจ๋“  c์— ๋Œ€ํ•ด c Int๊ฐ€ ์กด์žฌํ•˜๋Š”๊ฒŒ ๋ง์ด ์•ˆ๋˜๋Š”๋ฐ๋„ ์‹ค์ œ๋กœ c Int ๊ผด๋กœ ์“ฐ์ด๋Š” c๋งŒ ๊ณ ๋ คํ•ด์„œ ํƒ€์ž…์ฒดํฌ๋ฅผ ํ†ต๊ณผ์‹œ์ผœ์คฌ๋˜๊ฑฐ ๊ฐ™๋‹ค(์ด๊ฒƒ๋„ ํ™•์‹คํ•˜์ง€ ์•Š์Œ). ๊ทผ๋ฐ 9.6์—์„  ๋‹น์—ฐํžˆ ๊ฑฐ๋ถ€๋‹นํ•œ๋‹ค.

์œ„์˜ ๋‚ด ์ดํ•ด๊ฐ€ ๋งž๋‹ค๋ฉด 9.4์˜ constraint solving ์™„์ „ ๋ฌด๊ทผ๋ณธ์ด์—ˆ๋‹จ๊ฑด๋ฐ, ์ด๊ฑด ๋˜ ๋ฏฟ๊ธฐ ์–ด๋ ต๋‹ค(ํ•˜์Šค์ผˆ์˜ ์„ค๊ณ„ ๊ฒฐ์ •์— ๋Œ€ํ•œ ์‹ ๋ขฐ ์œ ์ง€ํ•œ๋‹ค๊ณ  ํ•˜๋ฉด). ์–ด๋””์„œ ๋‚ด๊ฐ€ ์ž˜๋ชป ํŒŒ์•…ํ•œ๊ฑฐ์ง€.

3

๋‚ด๋ž€์ฒญ์‚ฐยท์‚ฌํšŒ๋Œ€๊ฐœํ˜ ๋น„์ƒํ–‰๋™(๋น„์ƒํ–‰๋™)์ด 2025๋…„ 2์›”10์ผ~3์›”6์ผ ์ž์ฒด ์ธํ„ฐ๋„ท ๊ณต๋ก ์žฅ(โ€˜์ฒœ๋งŒ์˜ ์—ฐ๊ฒฐโ€™)์— ๊ธฐ๋ก๋œ 651๊ฑด์˜ ์‹œ๋ฏผ ๋ฐœ์–ธ์„ ๋ถ„์„ํ•œ ๊ฒฐ๊ณผ, โ€˜์ฐจ๋ณ„๊ธˆ์ง€์™€ ์ธ๊ถŒ๋ณด์žฅโ€™(31%)์ด 1์œ„๋กœ ๊ผฝํ˜”๋‹ค. ๋“ฑ๋ก 2025-04-19 14:52 h21.hani.co.kr/arti/society...

โ€œ๋‹ค์–‘์„ฑ๊ณผ ์ฐจ๋ณ„ ๊ธˆ์ง€, ๋Œ€์„ ์—์„œ ์‚ฌ๋ผ์ ธโ€

0

ํƒ„ํ•ต ์™„์„ฑํ•œ ์‹œ๋ฏผ๋“ค โ€œ๊ทน์šฐ ๋ง‰์•„๋‚ผ ๋‹ค์–‘์„ฑ ์ •์น˜, ์ง€๊ธˆ ํ•˜๋ผโ€ ํƒ„ํ•ต ๊ด‘์žฅ ์ž์œ ๋ฐœ์–ธ์ž 6๋ช… ์‹ฌ์ธต ์ธํ„ฐ๋ทฐโ€ฆ โ€œ๊ทน์šฐ๋ฅผ ๋ฐ€์–ด๋‚ด๋Š” ์ˆ˜๋‹จ์œผ๋กœ ์ฐจ๋ณ„๊ธˆ์ง€ยท์ธ๊ถŒ๋ณด์žฅโ€ ์š”๊ตฌ ๋“ฑ๋ก 2025-04-19 14:55 h21.hani.co.kr/arti/society...

ํƒ„ํ•ต ์™„์„ฑํ•œ ์‹œ๋ฏผ๋“ค โ€œ๊ทน์šฐ ๋ง‰์•„๋‚ผ ๋‹ค์–‘์„ฑ ์ •์น˜, ์ง€๊ธˆ ...

0
0

์œค์„์—ด 1์‹ฌ ์žฌํŒ โ€˜30์ฐจ๋ก€+์•ŒํŒŒโ€™ ํ™•์ •โ€ฆ๊ตญํž˜์—๋Š” ์žฌ์•™์ด๋‹ค ๋‚ด๋…„์—์•ผ 1์‹ฌ ์„ ๊ณ  ๋‚˜์˜ฌ ๋“ฏ ์ˆ˜์ • 2025-04-22 16:27 www.hani.co.kr/arti/politic...

์œค์„์—ด 1์‹ฌ ์žฌํŒ โ€˜30์ฐจ๋ก€+์•ŒํŒŒโ€™ ํ™•์ •โ€ฆ๊ตญํž˜์—๋Š” ์žฌ์•™...

0