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
0
1
0
0
0
0
0
0
0
0
리피 :ydg: :verified: @lifi@yodangang.express
Public

티스토리는 원래 초대장으로만 가입되는 서비스였는데
카카오가 다음 잡아먹고 나서 티스토리를 제한없이 풀더라고
이게 다 이유가 있는 행동이었던거지

0
0
0
1
0
0
0
0
1
후디 hoodi @hoodi_ux@threads.net
Public
Shared by 후디 hoodi

방금 강제 카톡 업데이트 당했습니다

찾아보니 업데이트를 막을 방법은
사실상 없는것 같네요..

적어도 유저에게 업데이트 선택권은 줘야지

앱스토어에서 업데이트 해제했는데도
강제 업데이트가 도대체 무슨놈의 심보냐😡

Photo by 후디 hoodi on September 24, 2025. 전파 탐지기 및 텍스트의 Twitter 스크린샷일 수 있음.
0
0
0
0
0
0
0
0
0
SiLVER01 @SiLVER01@planet.moe
Public
Shared by 맹꽁이

카카오가 이번 카톡 업데이트 강행한걸로 시끌벅적 하지만
사실 그 이전에
티스토리 블로그에 블로그 주인이 애드센스 박은 거 말고 카카오에서도 강제로 애드센스 박아놓는 정책을 몇 년 전에 했거든..
그래서 상단 또는 하단에 애드센스가 여러개가 뜬다? 그 중 하나는 카카오가 강제로 박은 애드센스임.

0
0
0
1
0
0
zgock999 @zgock999@mstdn.maud.io
Public

MarkdownとかVRMとか「一度原点に立ち戻ってシンプルにしようぜ！」って作り直した設計、実際運用してみてあれこれ抜けがあることに気付いて建て増しを繰り返す結果、破棄したはずの旧設計と大差ないごちゃごちゃになるの、人類には「原点に立ち返ってシンプル化する設計」はひょっとして無理なんじゃないのかとは時々思う

1
0
0
SiLVER01 @SiLVER01@planet.moe
Public
Shared by 리피 :ydg: :verified:

카카오가 이번 카톡 업데이트 강행한걸로 시끌벅적 하지만
사실 그 이전에
티스토리 블로그에 블로그 주인이 애드센스 박은 거 말고 카카오에서도 강제로 애드센스 박아놓는 정책을 몇 년 전에 했거든..
그래서 상단 또는 하단에 애드센스가 여러개가 뜬다? 그 중 하나는 카카오가 강제로 박은 애드센스임.

0
0
0
1
0
0
dimkr @dimkr@didkey.000090000.xyz
Public

@playground@piefed.social maybe pyfedi doesn't federate comments because my post IDs are long and get_by_ap_id() fails?

https://codeberg.org/rimu/pyfedi/src/commit/fc7097d9a0fc4deec75884e01634522ca9af21c0/app/activitypub/routes.py#L2014

EDIT: see second reply

Summary card of repository rimu/pyfedi

pyfedi/app/activitypub/routes.py at fc7097d9a0fc4deec75884e01634522ca9af21c0

pyfedi - Project background: https://join.piefed.social Demo site / Flagship instance: https://piefed.social

codeberg.org · Codeberg.org

0
0
0
1
0
0
김성일 Sung-il Kim @sung-il-kim.com@bsky.brid.gy
Public
Shared by 나나나나미

또 "나중에" 하고 있네 www.hani.co.kr/arti/politic...

조현 “한국, ‘두 국가 해법’ 실현 도움될 때 팔레스...

조현 “한국, ‘두 국가 해법’ 실현 도움될 때 팔레스타인 국가 승인”

조현 외교부 장관은 23일(현지시간) 미국 뉴욕 유엔본부에서 열린 유엔 안전보장이사회의 팔레스타인 문제 고위급회의에서 “한국 정부는 두 국가 해법에 기반한 중동 지역의 평화와 안정 구축을 위한 국제사회의 증가하는 노력에서 마땅한 역할을 계속할 것”이라며 “두 국가 해법

www.hani.co.kr · 한겨레

0
0
0
0
0
0
0
0
0
0
0
0
서담 @joshi_no01@threads.net
Public

마음을 치유하는 자기긍정 습관들

1. 거울 보며 내 장점을 진심으로 마주하기
2. 실수는 배움의 기회임을 깨닫기
3. 나의 작은 성장에 진심으로 감동하기
4. 매일 내면의 소리에 귀 기울이기
5. 내 감정의 깊이를 존중하고 이해하기

0
0
0
Open Risk @openrisk@mastodon.social
Public

A perennial challenge of the universe which now is inherited by the too, is the lack of good user interfaces. At best they are poor imitations of some proprietary original.

This hinders adoption and differentiation, as the majority of people are used by now to slick, streamlined experiences.

The problem is of course that whatever shaky economics applies to open source developers, does not apply at all to / types 😔

0
0
0
뉴스봇 - 사회 @news_society@802.3ether.net
Public
Shared by 시오

코레일, APEC 앞두고 홈페이지 외국어 서비스 확대
(대전=연합뉴스) 박주영 기자 = 코레일(한국철도공사)은 다음 달 열리는 아시아태평양경제협력체(APEC) 정상회의를 앞두고 외국인 방문객 편의를...
yna.co.kr/view/AKR202509251510

코레일, APEC 앞두고 홈페이지 외국어 서비스 확대 | 연합뉴스

(대전=연합뉴스) 박주영 기자 = 코레일(한국철도공사)은 다음 달 열리는 아시아태평양경제협력체(APEC) 정상회의를 앞두고 외국인 방문객 편의를...

www.yna.co.kr · 연합뉴스

0
0
0
뉴스봇 - 사회 @news_society@802.3ether.net
Public

코레일, APEC 앞두고 홈페이지 외국어 서비스 확대
(대전=연합뉴스) 박주영 기자 = 코레일(한국철도공사)은 다음 달 열리는 아시아태평양경제협력체(APEC) 정상회의를 앞두고 외국인 방문객 편의를...
yna.co.kr/view/AKR202509251510

코레일, APEC 앞두고 홈페이지 외국어 서비스 확대 | 연합뉴스

(대전=연합뉴스) 박주영 기자 = 코레일(한국철도공사)은 다음 달 열리는 아시아태평양경제협력체(APEC) 정상회의를 앞두고 외국인 방문객 편의를...

www.yna.co.kr · 연합뉴스

0
0
0
BS @everblue1223.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

인터넷 상에서 어떠한 담론에 대한 논의가 여럿 오갈때 전체적으로 천천히 살펴보면, 해당 담론에 대한 찬반 여부와 별개로 토론을 하고싶은 사람이 있고 시비 털고 조롱하고 키배뜨고싶은사람이 있는데 후자가 너무 많이 보인다 심지어 블루스카이에도 물론 블루스카이는 절대적인 이용자 수가 적어서 블루스카이-트위터 담 너머를 향하기 때문에 직접적으로 서로 키배가 터지는 경우는 상대적으로 적긴 한데 좀 좀 그렇다 다들 뇌에 힘좀 주고 삽시다..(일단 나부터)

1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
John Carlos Baez @johncarlosbaez@mathstodon.xyz
Public

We need an internet archive outside the US! We can't put all our eggs in one basket.

Oh, wait: we *have* an internet archive outside the US. Let's support it.

And now they have an office - a physical presence!

flaminghydra.com/freedom-and-s

internetarchive.eu/

Freedom and Sharing at the Internet Archive Europe

On Friday, in a narrow, cream-painted 17th-century row house facing a wide canal bathed in golden light, the Internet Archive Europe celebrated the opening of its new headquarters in Amsterdam. Around 100 guests milled around, snacking on hors d’oeuvres and drinks and sharing their inspiringly ambitious goals for the

flaminghydra.com · Flaming Hydra

0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Formalization of Harder-Narasimhan theory. ~ Yijun Yuan. arxiv.org/abs/2509.19632

arXiv logo

Formalization of Harder-Narasimhan theory

The Harder-Narasimhan theory provides a canonical filtration of a vector bundle on a projective curve whose successive quotients are semistable with strictly decreasing slopes. In this article, we present the formalization of Harder-Narasimhan theory in the proof assistant Lean 4 with Mathlib. This formalization is based on a recent approach of Harder-Narasimhan theory by Chen and Jeannin, which reinterprets the theory in order-theoretic terms and avoids the classical dependence on algebraic geometry. As an application, we formalize the uniqueness of coprimary filtration of a finitely generated module over a noetherian ring, and the existence of the Jordan-Hölder filtration of a semistable Harder-Narasimhan game. Code available at: https://github.com/YijunYuan/HarderNarasimhan

arxiv.org · arXiv.org

0
0
0
실버 @silver01.bsky.social@bsky.brid.gy
Public
Shared by Silverkey | 은열쇠

카카오가 이번 카톡 업데이트 강행한걸로 시끌벅적 하지만 사실 그 이전에 티스토리 블로그에 블로그 주인이 애드센스 박은 거 말고 카카오에서도 강제로 애드센스 박아놓는 정책을 몇 년 전에 했거든.. 그래서 상단 또는 하단에 애드센스가 여러개가 뜬다? 그 중 하나는 카카오가 강제로 박은 애드센스임.

0
0
0
0
0
0
𒁹𒀭𒌍𒋾𒀀𒅆 @unninni@daepi.so
Public
Shared by 시오

종로구민에게 알려드리는 동명
인의동 = 종묘옆에서 종로5가
예지동 = 광장시장/방산시장
충신동 = 흥인지문에서 북쪽 혜화 넘어가는 길
효제동 = 종로5가역에서 혜화로 넘어가는 길
인의예지 효제층신
​:nod_koizumi:​

0
0
0
실버 @silver01.bsky.social@bsky.brid.gy
Public

카카오가 이번 카톡 업데이트 강행한걸로 시끌벅적 하지만 사실 그 이전에 티스토리 블로그에 블로그 주인이 애드센스 박은 거 말고 카카오에서도 강제로 애드센스 박아놓는 정책을 몇 년 전에 했거든.. 그래서 상단 또는 하단에 애드센스가 여러개가 뜬다? 그 중 하나는 카카오가 강제로 박은 애드센스임.

0
0
0
Cheatha @Cheatha@chaos.social
Public

Habe kürzlich zum dritten Mal bei wem die Handyladebuchse »repariert« indem ich mit einem Zahnstocher die stark komprimierten Fusseln da rausgepopelt haben. Die eine Person hatte sich deshalb sogar schon ein neues Handy gekauft…

0
0
0
𒁹𒀭𒌍𒋾𒀀𒅆 @unninni@daepi.so
Public

종로구민에게 알려드리는 동명
인의동 = 종묘옆에서 종로5가
예지동 = 광장시장/방산시장
충신동 = 흥인지문에서 북쪽 혜화 넘어가는 길
효제동 = 종로5가역에서 혜화로 넘어가는 길
인의예지 효제층신
​:nod_koizumi:​

0
0
0
0
0
0
kriykat @kriykat@gs.leftic.club
Public
Shared by earthling

De Guernica à Gaza : quand les meurtriers de masse tuent depuis le ciel
les-crises.fr/de-guernica-a-ga
Tuer depuis le ciel offre depuis longtemps une sorte de détachement que la guerre au sol ne peut égaler. Loin de ses victimes, la puissance aérienne reste le summum de la modernité. Et pourtant, comme l’a conclu le moine Thomas Merton dans un poème, en parlant par la voix d’un commandant nazi : « Ne […]

De Guernica à Gaza : quand les meurtriers de masse tuent depuis le ciel

Tuer depuis le ciel offre depuis longtemps une sorte de détachement que la guerre au sol ne peut égaler. Loin de ses victimes, la puissance aérienne reste le summum de la modernité. Et pourtant, co…

www.les-crises.fr · Les-Crises.fr

0
0
0
SiLVER01 @SiLVER01@planet.moe
Public

카카오가 이번 카톡 업데이트 강행한걸로 시끌벅적 하지만
사실 그 이전에
티스토리 블로그에 블로그 주인이 애드센스 박은 거 말고 카카오에서도 강제로 애드센스 박아놓는 정책을 몇 년 전에 했거든..
그래서 상단 또는 하단에 애드센스가 여러개가 뜬다? 그 중 하나는 카카오가 강제로 박은 애드센스임.

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Gödel test: Can large language models solve easy conjectures? ~ Moran Feldman, Amin Karbasi. arxiv.org/abs/2509.18383

arXiv logo

Gödel Test: Can Large Language Models Solve Easy Conjectures?

Recent announcements from frontier AI model labs have highlighted strong results on high-school and undergraduate math competitions. Yet it remains unclear whether large language models can solve new, simple conjectures in more advanced areas of mathematics. We propose the Gödel Test: evaluating whether a model can produce correct proofs for very simple, previously unsolved conjectures. To this end, we study the performance of GPT-5 on five conjectures in combinatorial optimization. For each problem, we provided one or two source papers from which the conjecture arose, withheld our own conjecture, and then assessed the model's reasoning in detail. On the three easier problems, GPT-5 produced nearly correct solutions; for Problem 2 it even derived a different approximation guarantee that, upon checking, refuted our conjecture while providing a valid solution. The model failed on Problem 4, which required combining results from two papers. On Problem 5, a harder case without a validated conjecture, GPT-5 proposed the same algorithm we had in mind but failed in the analysis, suggesting the proof is more challenging than expected. Although our sample is small, the results point to meaningful progress on routine reasoning, occasional flashes of originality, and clear limitations when cross-paper synthesis is required. GPT-5 may represent an early step toward frontier models eventually passing the Gödel Test.

arxiv.org · arXiv.org

0
0
0
0
0
0