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
0
0
0
0
0
1
0

"공포감, 거리 전체가 피해 입어" '혐중'이 할퀸 양꼬치골목은 지금 식당들, 극우성향 청년단체 집회에 울분 삼키면서도 말 아껴... 온라인 벗어난 극우세력에 "급진화" 우려도 등록 2025.04.22 09:48 m.ohmynews.com/NWS_Web/Mobi...

"공포감, 거리 전체가 피해 입어" '혐중'이 할퀸 양...

0
0
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