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.

센텔 @centell@rlidea.com
Public

흔히들 말하는 1만시간의 법칙이라는거.. 그냥 1만 시간을 하는 걸로 채우는게 아니라 스트레스를 1만 시간어치 받아야되는 걸로 이해하고 있어요.

0
0
0

ever0de shared the below article:

같은 것을 알아내는 방법

Ailrun (UTC-5/-4) @ailrun@hackers.pub

이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.

Read more →
5
2
2
0
0
0
Ryan He @ryanhe@pastwind.top
Public
Shared by MJ+

真的是選錯邊的示範，不過這些人可能在中國有一大堆投資，已經別無選擇。

美國對台課徵對等關稅32%，中廣前董事長趙少康建議總統賴清德停止台灣對美國一切投資、爭取中國市場。民進黨立法院黨團幹事長吳思瑤今天說，國民黨人再次選錯邊，更再次站在台灣民意的對立面，國民黨依舊選擇擁抱中國。
RE: https://pbs.idv.tw/users/pbs/statuses/114305986277135935

0
0
0
0
0
0
喵⋯⋯喵喵 🐈 @tony915@g0v.social
Public
Shared by MJ+

Taiwan’s Youth Are Not Defeatist — and The Data Proves It

thediplomat.com/2025/04/taiwan

龍應台在紐時投書時拿 Dcard 當民意調查的資料，這篇文章跟國際解釋那個網站就像 Reddit，這樣大家就明白這個結果的可信度是怎樣了。

Taiwan’s Youth Are Not Defeatist — and The Data Proves It

A wide body of academic surveys with nationally representative samples shows Taiwanese people’s willingness to fight to defend their homeland, including those under 30.

thediplomat.com

0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public

우리는 그날 윤석열을 끌어내렸고, 그와 동시에 어느 노동자는 자본에 의해 끌려 나갔다. 입력 2025.04.09 07:30 www.labortoday.co.kr/news/article...

파면 이후, 착각과 만족은 금물

파면 이후, 착각과 만족은 금물

이예인 · 지난 4월4일, 윤석열 전 대통령에 대한 파면이 선고되고 기쁨의 행진 도중 한 통의 전화를 받았다. 현대자동차 하청업체인 이수기업의 해고노동자가 경찰에 연행됐다는 소식이었다. 곧바로 경찰서로 달려갔다. 헌법재판관들이 선고를 내리기 위해 법정에 앉을 때, 현대차 하청노동자들은 원청에 고용승계를 요구하고자 현대차 모터쇼에 찾아가 피켓을 들었다(이수기업 하청노동자 정리해고 사안은 매일노동뉴스, “현대차 비정규직 ‘10년 헌신했는데, 하루아침에 내쫒겼다’” 참고).구호가 적혀있는 손팻말을 채 펼치기도 전에 현대차 직원들의 폭력으로 손팻말은

www.labortoday.co.kr · 매일노동뉴스

0
0
0
Kenji P. Miyajima（気候変動の向こう側） @kenji@climatejustice.social
Public

そりゃそうだろうな、としか。⇒ 「生活の質」満足度、日本は世界30カ国で最下位　民間世論調査 mainichi.jp/articles/20250409/

「生活の質」満足度、日本は世界30カ国で最下位　民間世論調査 | 毎日新聞

　世界30カ国の中で、日本は「生活の質」への満足度や期待値が最も低い――。 　フランスに本部を置く世論調査会社イプソスが、日本を含む世界30カ国を対象にした調査でそんな現状が浮かび上がった。

mainichi.jp · 毎日新聞

0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public

도널드 트럼프 미국 행정부가 지난 2일(현지시각) 60개 가까운 나라에 부과하겠다고 발표한 상호관세가 발효됐습니다. 모든 한국산 제품에 관세 25%를 물리는 등 주요 무역 상대국에 최대 50%의 관세가 부과됩니다.

[속보] 미국, 한국 25% 등 상호관세 발효…중국엔 ...

[속보] 미국, 한국 25% 등 상호관세 발효…중국엔 104%

도널드 트럼프 미국 행정부가 지난 2일(현지시각) 60개 가까운 나라에 부과하겠다고 발표한 상호관세가 발효됐다. 모든 한국산 제품에 관세 25%를 물리는 등 주요 무역 상대국에 최대 50%의 관세가 부과된다. 미국 정부는 지난 5일 모든 수입품에 10%의 관세 부과를

www.hani.co.kr · 한겨레

0
0
0
:ablobcatpnd_hiasobi:​유진​🎀 @eugene@dimension.host
Public

ㅇㅇ한 맛을 잘 못먹는다고 말하는 사람은
결국 ㅇㅇ맛에 예민한거라
나는 이걸 ㅇㅇ한 맛이라고 못느끼는 범위까지 ㅇㅇ한 맛으로 느끼기 때문에
물어보는 걸 깜박하면 가끔 당황할수도
(그리고 저는 자주 깜박하는데요..sad)

0
0
0
0
0
0
0
0
0
0
0
0
드라코 @draco@pointless.chat
Public

스택오버플로우에 질문했다가 잡힌 다크웹 마약왕 - YouTube

youtube.com/watch?v=LJqa1sJoDe

실크로드에 대해 대충은 들은적 있는데
체포 과정이 좀 웃기네 ㅋ

스택오버플로우에 질문했다가 잡힌 다크웹 마약왕

실크로드 스토리 다크모드 https://codingapple.com/개별강의 10% 할인쿠폰 S-PERM13933 (자주 바뀜 최신영상 참고)사용한 자료 Evil Bodega - Adam MacDougallhttps://www.wired.com/2015/04/silk-road-1/...

www.youtube.com · YouTube

0
0
0

洪 民憙 (Hong Minhee) :nonbinary: shared the below article:

같은 것을 알아내는 방법

Ailrun (UTC-5/-4) @ailrun@hackers.pub

이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.

Read more →
5
2
2
0
0
0
0
0
0
[랜선효도] 제주감귤🍊 @jejuorange.bsky.social@bsky.brid.gy
Public

논란의 이완규 알고보니…노무현과 붙었던 바로 그 검사 www.nocutnews.co.kr/news/6321930... 윤석열 법대,연수원 동기. 고시 8수 친구. 계엄 전 날 가족을 미국으로 도피시킴. 계엄 다음 날 대통령 안전가옥 회동 후 스마트폰을 교체. 당연히 내란 관련 피의자이며, 국민에게 권력을 위임받지 않은 권한대행이 헌법재판관으로 지명했습니다.

논란의 이완규 알고보니…노무현과 붙었던 바로 그 검사

논란의 이완규 알고보니…노무현과 붙었던 바로 그 검사

이완규 법체처장이 헌법재판관 후보자로 지명되면서 정치권에서 논란이 일고 있는 가운데, 과거 고 노무현 전 대통령이 재임 시절 진행했던 '전국 검사들과 대화'가 다시 관심을 받고 있다. 2003년 당시 검사 신분이..

www.nocutnews.co.kr · 노컷뉴스

0
0
0
0
0
0
0
0
0

Jaeyeol Lee shared the below article:

같은 것을 알아내는 방법

Ailrun (UTC-5/-4) @ailrun@hackers.pub

이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.

Read more →
5
2
2

yusanghyun shared the below article:

같은 것을 알아내는 방법

Ailrun (UTC-5/-4) @ailrun@hackers.pub

이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.

Read more →
5
2
2
0
0
0
0
0
0
geeknews_bot @geeknews_bot@sns.lemondouble.com
Public
Shared by 악하

Meta, AI 벤치마크 조작 논란
------------------------------
- Meta는 새로운 Llama 4 모델 두 가지를 발표함: 작은 모델인 Scout 과 중간 크기 모델인 Maverick
- Meta는 Maverick이 GPT-4o와 Gemini 2.0 Flash보다 더 나은 성능을 보인다고 주장함
- Maverick은 AI 모델 비교 플랫폼인 LMArena 에서 2위를 차지함
- 공개된 ELO 점수는 1417점으로, GPT-4o보다 높…
------------------------------
https://news.hada.io/topic?id=20229&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

Meta, AI 벤치마크 조작 논란 | GeekNews

Meta는 새로운 Llama 4 모델 두 가지를 발표함: 작은 모델인 Scout과 중간 크기 모델인 MaverickMeta는 Maverick이 GPT-4o와 Gemini 2.0 Flash보다 더 나은 성능을 보인다고 주장함Maverick은 AI 모델 비교 플랫폼인 LMArena에서 2위를 차지함공개된 ELO 점수는 1417점으로, GPT-4o보다 높고 Ge

news.hada.io · GeekNews

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

"정말 엄중하구나"... 매주 등장한 이 깃발에 사람들이 보낸 찬사 [우리는 우리가 놀랍지 않다③] 광장의 기수가 된 '내향인' 25.04.08 06:47 최종 업데이트 25.04.08 06:47 www.ohmynews.com/NWS_Web/Seri...

"정말 엄중하구나"... 매주 등장한 이 깃발에 사람들...

"정말 엄중하구나"... 매주 등장한 이 깃발에 사람들이 보낸 찬사

[우리는 우리가 놀랍지 않다③] 광장의 기수가 된 '내향인'

www.ohmynews.com · ohmynews

0
0
0
0
0
0
0
8
0
imdkm @imdkm@fedibird.com
Public
Shared by tenjuu99(天重誠二)

ゾフィー・トイバー＝アルプとジャン・アルプ展

ゾフィー・トイバー＝アルプとジャン・アルプ展、テキスタイルなどの応用芸術に深く触れたゆえの幾何学的抽象への道筋やアルプとの協働を興味深く追っていくと急逝してしまい、残されたアルプがトイバー＝アルプの作品や功績をまとめようとする最終章でビターな気持ちになって終わった……　つかれてるからなのか、そこにめちゃくちゃ食らってしまった……

0
0
0
のえる @noellabo@fedibird.com
Public

Fediverseって、善意で運営されていることが多くて、サーバ管理者の顔（運営者の意向とか考え方）がみえやすい構造をしてますが、

運営のことを意識せず、自分勝手に使ったり、雑に扱ってもうしろめたく感じない場所がいいって人も多いんですよ。

だから、TwitterとかX、Blueskyの方がいいっていう人もいるっていう。

mstdn.jpは無法地帯だから好き、みたいなのもそういうヤツです。まあこれは今は昔、かな……。

1
0
0
:twitter_heart: 릴리 リリィ @lily@yurigasaki.com
Public

비흡연자 입장에서는 굳이 스스로 흡연구역에 갈 일이 없기에 그들의 눈에 보이는 거의 모든 흡연자는 흡연 에티켓을 지키지 않는 흡연자이며, 물론 그런 흡연자가 다른 에티켓은 지키는 경우도 그리 많지 않아서 전반적인 이미지가 나빠지지만, 잘 지키는 흡연자는 애초에 비흡연자의 눈에 띌 일 자체를 만들지 않기 때문에 인식조차 되지 않는다는 점은 재밌지만 슬픈 이야기라고 생각해요. 저도 비흡연자다 보니까 최근에야 이걸 깨달았고. ​:meowmeltcry:​

RE: https://serafuku.moe/notes/a6cz3htm79

0
0
0
0
0
0
imdkm @imdkm@fedibird.com
Public

ゾフィー・トイバー＝アルプとジャン・アルプ展

ゾフィー・トイバー＝アルプとジャン・アルプ展、テキスタイルなどの応用芸術に深く触れたゆえの幾何学的抽象への道筋やアルプとの協働を興味深く追っていくと急逝してしまい、残されたアルプがトイバー＝アルプの作品や功績をまとめようとする最終章でビターな気持ちになって終わった……　つかれてるからなのか、そこにめちゃくちゃ食らってしまった……

0
0
0
0
0
0
0
0
0
흡혈마녀 :np_2144: @bloodsuckwitch@planet.moe
Public

각종 채소와 과일로 비타민 먹는 것 보다 알약 한알이 싸게 먹힘.

다이어트시 필수라는 식이섬유.
이거 일일 섭취량 채우려면 브로콜리 한두개로 간에 기별도 안 가드만. 다이어트 유툽에서 하루 이민큼 식이섬유 먹어야 한다면서 알려주는데 ㅋㅋㅋ 삼겹살이 훨씬 싼데 저게 무슨소리야 싶고.
요즘 유행하는 그 주사가 훨씬 싸게 먹히겠다 싶고.
건강한 육체는 돈 없으면 안 되는구나 싶고.

0
0
0
0
0
0
0
0
0
Martijn van Exel @mvexel@en.osm.town
Public

@ianthetechieIan Wagner the most extreme example for me was when I tried installing I think it was NetBSD on my Amiga 1200. I tinkered for weeks (looking stuff up on the pre-web internet (gopher / irc) in the computer lab after class) and finally reaching the conclusion that I needed a 68882 coprocessor or it would never work. I didn’t have the cash for that so I finally gave up.

0
0
0
0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

12·3 내란사태부터 123일간 이어진 응원봉 광장에서의 배움을 바탕으로 노동조합이나 정당에 가입하는 등 적극적으로 사회 참여에 나서는 이들이 있습니다. 특히 광장의 주체로 주목받은 2030 여성·성소수자들의 행보가 두드러집니다.

“응원봉 광장이 내 삶을 바꿨다” 노조·정당 가입하는 ...

“응원봉 광장이 내 삶을 바꿨다” 노조·정당 가입하는 2030 여성·성소수자

대전에 사는 유슬기(25)씨의 삶은 12·3 내란사태 이후 예상치 못한 방향으로 흐르고 있다. 올해 1월 초 민주노총 공공운수노조 전국대학원생노동조합지부(대학원생노조)에 가입한 뒤 한국과학기술원(카이스트) 분회 설립을 준비 중이다. 대학원 석·

www.hani.co.kr · 한겨레

0
0
0
洪 民憙 (Hong Minhee) :nonbinary: @hongminhee@hollo.social
Public
Shared by 금강토

생각해 보니 정작 저도 어제 飮食(음식) 사진 올릴 때 프로틴이 들어있는데도 CW도 別(별) 태그도 달지 않았기 때문에 堂堂(당당)하게 말할 처지는 못 됩니다만… @97X10X23유엔 님이 쓰신 引用(인용)한 글에 同感(동감)합니다.

크게 세 가치 側面(측면)에서 이야기해보고 싶은데요.

  1. 애初(초)에 @saschanazKAGAMI🏳️‍🌈🏳️‍⚧️ 님이 付託(부탁)하신 건 肉食(육식) 寫眞(사진)에 CW를 걸어달라는 것까지도 아니고, 필터링할 수 있게끔 通用(통용)되는 해시태그가 있었으면 한다는 말씀이셨는데요… 이게 어쩌다 肉食(육식) 寫眞(사진)에 CW 달아야 한다는 「無理(무리)한」 主張(주장)으로 歪曲(왜곡)되었는지 모르겠습니다. (事實(사실) 왜 그런지 알 것도 같지만요.)

  2. 비건이라는 運動(운동)에 同意(동의)를 하든 안 하든, 맞팔한 사이에 비건이 있다면 肉食(육식) 寫眞(사진)을 올릴 때 苦悶(고민)하는 程度(정도)의 配慮(배려)는 그냥 사람과 사람 사이에서 얼마든지 할 수 있는 일 아닐까 싶습니다.

  3. 「肉食(육식) 寫眞(사진)까지 CW 걸어야 하냐」라는 꽤나 恣意的(자의적)인 「常識(상식)」(제가 정말 안 좋아하는 單語(단어)인데요… 이를테면 어떤 사람들에겐 트랜스젠더나 同性愛(동성애)도 常識(상식) 밖의 일이기 때문이죠)에 依據(의거)한 이야기를 하시는 분들도 많이 보였는데요. 그렇게 치면 韓國(한국)의 어떤 커뮤니티들은 그들의 「常識(상식)」에 依據(의거)하여 反女性主義的(반여성주의적) 主張(주장)도 橫行(횡행)하고 多分(다분)히 極右的(극우적)인 主張(주장)들도 便(편)하게 올리고 한단 말이죠. 애當初(당초) 「몇 안 되는 사람들까지 配慮(배려)해야 하냐」라는 말 自體(자체)가 暴力的(폭력적)이라는 認知(인지)를 한다면 그렇게 말할 수 없지 않을까 합니다. 비록 비건이 아니더라도요. (이를테면, 저는 비건이 아닙니다. 어제도 肉食(육식)을 했고요.)

0
0
0
0
0
0