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
1
0
1
0
0
1
0
0
1
0
0
1
0
0
まきはら🚩🥞🥞🥞 @makihara@fedibird.com
Public

作り置き
・大根と手羽先の煮物
・わけぎのぬた
・鶏レバーごま油和え
・キャロットラペ
・カリフラワーのマリネ

他に長芋おろして小分け冷凍、鶏手羽元の残りの小分け冷凍、鯛の刺身の残りを漬けに　そして晩飯へ…

大根と手羽先の煮物、鯛の刺身、わけぎのぬた、キムチ、玄米ごはん
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
1
0
0
1
0
0
1
0
0
1
0
0
🔒 알티머신이지만 봇은 아닌_카토🕯 @krkshe.bsky.social@bsky.brid.gy
Public
Shared by 초무

이 공작이 되게 웃긴게... 나랑 동생이 길 헤매고 있으니까 안내라도 해주듯이 앞장서서 걸어주더라. 니네 공작(鳥)님한테 에스코트 받아봤냐. 나는 받아봤다.

RE: https://bsky.app/profile/did:plc:iqga7bwbwbdo4z6suofriwa5/post/3m6r5k2xtm22w

0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by pkg update

[속보] 쿠팡 3300만개 계정 개인정보 노출…사실상 전 고객 정보 당초 4500건에서 무려 7500배 늘어 쿠팡 “이름·메일·주소·전화번호·주문정보 노출 결제 정보·카드 번호 및 비밀번호 미노출” 주장 수정 2025-11-29 18:42 www.hani.co.kr/arti/economy...

[속보] 쿠팡 3300만개 계정 개인정보 노출…사실상 ...

쿠팡 3300만개 계정서 개인정보 노출…사실상 전 고객 정보 털렸다

쿠팡에서 노출된 고객 개인정보가 무려 3300만개 계정에 달하는 것으로 나타났다. 당초 4500개 계정에서 개인정보가 노출됐다고 밝힌 것과 비교해 7500배 많은 수치로, 사실상 모든 고객 정보가 노출된 것으로 추정된다. 쿠팡은 29일 현재까지 노출된 고객 계정이 33

www.hani.co.kr · 한겨레

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

[속보] 쿠팡 3300만개 계정 개인정보 노출…사실상 전 고객 정보 당초 4500건에서 무려 7500배 늘어 쿠팡 “이름·메일·주소·전화번호·주문정보 노출 결제 정보·카드 번호 및 비밀번호 미노출” 주장 수정 2025-11-29 18:42 www.hani.co.kr/arti/economy...

[속보] 쿠팡 3300만개 계정 개인정보 노출…사실상 ...

쿠팡 3300만개 계정서 개인정보 노출…사실상 전 고객 정보 털렸다

쿠팡에서 노출된 고객 개인정보가 무려 3300만개 계정에 달하는 것으로 나타났다. 당초 4500개 계정에서 개인정보가 노출됐다고 밝힌 것과 비교해 7500배 많은 수치로, 사실상 모든 고객 정보가 노출된 것으로 추정된다. 쿠팡은 29일 현재까지 노출된 고객 계정이 33

www.hani.co.kr · 한겨레

0
0
0
一子𝑺𝒖𝒏:blobcatmlem: 5/18スパコミ大阪 @ikkiiki1104@misskey.io
Public

頒布していた『にゃんぷのパン屋さん』が完売いたしました！ありがとうございます！
【再販予定について】
再販希望される方が多数、BOOTHの「入荷お知らせメールを受け取る」ボタンを押してくださった場合再販を検討いたします。よろしくお願いいたします。

1
0
0
1
0
0
0
0
0
1
0
0
1
0
1
1
0
0
0
0
0
1
0
0
樂流 @exilestories@threads.net
Public

當香港人喺度講緊要全面追究責任搵出啲罪魁禍首嗰時，一啲新開嘅account用簡體中文不斷喺度講棚棚棚棚棚，煩唔煩啲呀？

跟住有啲大陸網友貼啲實用資訊佢地睇，佢地就鬧對方點舔都唔會成為香港人，大佬，點解佢地個腦容量好似得：爹、舔、跪、狗、逼、奴，呢啲字，前額葉滑過豆腐，點重組都無辦法寫成一句句子。

Block極都仲有，屌嗱星。

0
0
0
1
0
0
복설 뉴스 @boknews.bsky.social@bsky.brid.gy
Public
Shared by 초무

점주 뒤에 숨은 본사, 치킨 마니아를 호구 만들다 h21.hani.co.kr/arti/economy... "푸라닭을 운영하는 점주 ㄴ씨의 ‘매장 손익계산서’를 보면, 매출 대비 원부자재비(물대)가 50.2%, 배달앱 배달비가 약 10%, 배달 수수료가 8%, 배달앱 광고·판촉비가 3.5%를 차지했다. 2만원짜리 치킨을 한 마리 팔았을 때 본사와 배달앱이 떼어가는 돈이 72%나 됐다. 하루 10시간 넘게 일하며 ㄴ씨가 얻은 이익은 한 달에 고작 350만원 남짓으로, 전체 매출의 12% 정도였다."

점주 뒤에 숨은 본사, 치킨 마니아를 호구 만들다

점주 뒤에 숨은 본사, 치킨 마니아를 호구 만들다

【자율가격제 강요하는 치킨공화국】육계값 내려도 가혹한 매장 납품 물대는 그대로벼랑 끝 점주들, 배달앱 주문 가격 인상 ‘고육책’

h21.hani.co.kr · 한겨레21

0
0
0
1
0
0
[랜선효도] 제주감귤🍊 @jejuorange.bsky.social@bsky.brid.gy
Public
Shared by 쯔방 :yuri: :yurigarden: :garden:

의도적으로 공연 도중에 중단시키고 끌어내린걸로 보인다고 한다. 재즈 피아니스트 우에하라 히로미 콘서트도 중지되었다고. (그러니까 게임 만화 아이돌 외에도 문화 전반이라는...)

RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3m6qu34clo22h

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

홍콩 화재 참사 여파…마마 어워즈, 저승사자 콘셉트 ‘사자보이즈’ 무대 취소 수정 2025.11.29 20:23 www.khan.co.kr/article/2025...

홍콩 화재 참사 여파…마마 어워즈, 저승사자 콘셉트 ‘...

홍콩 화재 참사 여파…마마 어워즈, 저승사자 콘셉트 ‘사자보이즈’ 무대 취소

2025 마마(MAMA) 어워즈에서 인기 넷플릭스 애니메이션 <케이팝 데몬 헌터스> 속 보이그룹 ‘사자보이즈’ 무대가 열릴 예정이었지만 홍콩 화재 여파로 취소됐다. 보이넥스트도어 소속사 KOZ엔터테인먼트는 29일 엑스 공식 계정을 통해 “2025 마마 어워즈의 축소 운영에 따라 이날 예정됐던 공연에는 불참하게 됐다”며 “팬 여러분들의 너른 양해 부탁드...

www.khan.co.kr · 경향신문

0
0
0
Zack Whittaker @zackwhittaker@mastodon.social
Public
Shared by Frédéric Jacobs

Business Insider reports that Oura is planning to expand its Oura wearable rings beyond health tracking to allow for payments, authentication, and more.

Well, Capitan Buzzkill (me) here wrote about Oura's security and privacy practices earlier this year, and found:

• Oura rings *don't* end-to-end encrypt users' health data;
• As such, Oura *can* access its users' data;
• Oura told me that the company *has* received U.S. government demands for users' data.

More: this.weekinsecurity.com/oura-r

Oura ring deal raises valid concerns about users' health data security

The government partnership sparked customer concerns about the security of data collected by Oura's wearable, even if the spark was a red herring.

this.weekinsecurity.com · ~this week in security~

0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
🔒 알티머신이지만 봇은 아닌_카토🕯 @krkshe.bsky.social@bsky.brid.gy
Public

이 공작이 되게 웃긴게... 나랑 동생이 길 헤매고 있으니까 안내라도 해주듯이 앞장서서 걸어주더라. 니네 공작(鳥)님한테 에스코트 받아봤냐. 나는 받아봤다.

RE: https://bsky.app/profile/did:plc:iqga7bwbwbdo4z6suofriwa5/post/3m6r5k2xtm22w

0
0
0
1
0
0
0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by badwolf

쿠팡에서 노출된 고객 개인정보가 무려 3300만개 계정에 달하는 것으로 나타났습니다. 당초 4500개 계정에서 개인정보가 노출됐다고 밝힌 것과 비교해 7500배 많은 수치로, 사실상 모든 고객 정보가 노출된 것으로 추정됩니다.

쿠팡 3300만개 계정서 개인정보 노출…사실상 전 고객...

쿠팡 3300만개 계정서 개인정보 노출…사실상 전 고객 정보 털렸다

쿠팡에서 노출된 고객 개인정보가 무려 3300만개 계정에 달하는 것으로 나타났다. 당초 4500개 계정에서 개인정보가 노출됐다고 밝힌 것과 비교해 7500배 많은 수치로, 사실상 모든 고객 정보가 노출된 것으로 추정된다. 쿠팡은 29일 현재까지 노출된 고객 계정이 33

www.hani.co.kr · 한겨레

0
0
0
[랜선효도] 제주감귤🍊 @jejuorange.bsky.social@bsky.brid.gy
Public
Shared by badwolf

日 가수 상하이 행사서 노래 부르던 중 강제로 퇴장당해 n.news.naver.com/mnews/articl... 인기 애니메이션 ‘원피스’의 주제가로 잘 알려진 일본 가수 오츠키 마키가 28일 상하이에서 열린 ‘반다이 남코 페스티벌 2025’에서 노래를 부르던 중 마이크가 꺼지며 강제로 노래를 중단 당하고 무대에서 끌어내려지는 일이 발생했다.

日 가수 상하이 행사서 노래 부르던 중 강제로 퇴장당해

日 가수 상하이 행사서 노래 부르던 중 강제로 퇴장당해

디지털타임스 | 네이버 · 인기 애니메이션 ‘원피스’의 주제가로 잘 알려진 일본 가수 오츠키 마키가 28일 상하이에서 열린 ‘반다이 남코 페스티벌 2025’에서 노래를 부르던 중 마이크가 꺼지며 강제로 노래를 중단 당하고 무대에서 끌어내려지는

n.news.naver.com

0
0
1
Charlie Stross @cstross@wandering.shop
Public

Hypothesis: the AI bubble is being supported by the fossil fuel industry's network of paid lobbyists *precisely* because it's the last remaining driver of increasing demand for their products. bsky.brid.gy/r/https://bsky.ap

Ketan Joshi (@ketanjoshi.co)

Close to 1 full goddamn gigawatt of gas (open-cycle, so the most inefficient kind) for the "Project Jupiter" site in New Mexico. This whole article is a stunning illustration of how data centres are incentivising new fossil infrastructure: https://eastdaley.com/daley-note/project-jupiter-reflects-new-opportunities-of-permian-development

bsky.app · Bluesky Social

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

HERMES: Towards efficient and verifiable mathematical reasoning in LLMs. ~ Azim Ospanov et als. arxiv.org/abs/2511.18760v1

arXiv logo

HERMES: Towards Efficient and Verifiable Mathematical Reasoning in LLMs

Informal mathematics has been central to modern large language model (LLM) reasoning, offering flexibility and enabling efficient construction of arguments. However, purely informal reasoning is prone to logical gaps and subtle errors that are difficult to detect and correct. In contrast, formal theorem proving provides rigorous, verifiable mathematical reasoning, where each inference step is checked by a trusted compiler in systems such as Lean, but lacks the exploratory freedom of informal problem solving. This mismatch leaves current LLM-based math agents without a principled way to combine the strengths of both paradigms. In this work, we introduce Hermes, the first tool-assisted agent that explicitly interleaves informal reasoning with formally verified proof steps in Lean. The framework performs intermediate formal checking to prevent reasoning drift and employs a memory module that maintains proof continuity across long, multi-step reasoning chains, enabling both exploration and verification within a single workflow. We evaluate Hermes on four challenging mathematical reasoning benchmarks using LLMs of varying parameter scales, from small models to state-of-the-art systems. Across all settings, Hermes reliably improves the reasoning accuracy of base models while substantially reducing token usage and computational cost compared to reward-based approaches. On difficult datasets such as AIME'25, Hermes achieves up to a 67% accuracy improvement while using 80% fewer total inference FLOPs. The implementation and codebase are publicly available at https://github.com/aziksh-ospanov/HERMES.

arxiv.org · arXiv.org

0
0
0
1
0
0
2
0
0