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

Apparently the arXiv* is relocating from servers at Cornell University to Google Cloud. Putting all our eggs into Google's basket seems unwise, especially at this point in history.

This jobs listing gives a number of reasons for moving to the cloud, but to my inexpert eye it looks like they could do everything they want to do while remaining self-hosted. At the relatively modest scale of the arXiv the cloud really is just someone else's computer.

info.arxiv.org/hiring/index.ht

It's worth noting that the arXiv used to have a network of mirrors, but they decided to shut down the last of those in September of last year. The explanation was that they were no longer worthwhile as the Cornell servers + CDN delivered better performance than the regional mirrors: info.arxiv.org/help/mirrors.ht

The multi-site (and multi-country) backup provided by those mirrors does not appear to have been a consideration, because of course nothing bad would ever happen to an American university.

*The arXiv is a repository providing free access to pre-prints of academic papers in a range of fields across physics, maths, biology, computer science, etc. In some fields, including astronomy, it is the main way that researchers keep up to date with new publications in their area of research.

0
0
0
0
0

My parents are 1st gen computing adepts in my country. Dad used to insist in my childhood that computers do exactly, precisely what you told them to do and if you have unexpected result you have to figure out what's wrong with your ask. It was a struggle, but once you figured out the correct asks, you could do anything.

Now, with the "smart" interfaces trying to "understand" what you meant I've completely lost that feeling. Everything is shrouded in obfuscation, unavailable for my real needs.

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

신안산선 공사현장 붕괴 우려가 나온 뒤 실제로 터널이 무너지기 전까지 천장이 계속 내려앉고 있었던 걸 확인할 수 있는 보고서를 YTN이 입수했습니다. 전문가들은 이런 경우 붕괴 위험이 클 수밖에 없다고 지적하는데, 경찰은 시공사가 작업을 강행한 건 아닌지 집중 조사하고 있습니다. www.ytn.co.kr/_ln/0103_202...

[단독] 터널 천장 내려앉는데도 보강공사 추진 정황.....

0
0