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
Georgeeeeee 🐘 ++ @cafebug@g0v.social
Public

台灣還是很多人會買這個牌子的啊...🤡

TP-Link賣太便宜遭美國調查，涉及掠奪性定價與國安疑慮可能禁售 | T客邦

techbang.com/posts/122875-us-d

TP-Link賣太便宜遭美國調查，涉及掠奪性定價與國安疑慮可能禁售

美國司法部調查 TP-Link 壟斷與國安風險，聚焦路由器定價策略。深入分析潛在影響，揭露美國政府反壟斷決心。

www.techbang.com · T客邦

0
0
0
0
0
0
sublimer@あすてろいどん鯖管 @sublimer@mstdn.sublimer.me
Public

> ＳＮＳなどでは「北朝鮮のようだ」とやゆされている。

偉大なる空に輝くロッキー山脈の星にして将軍様

閣僚順番にトランプ氏礼賛　２時間超、ＳＮＳでやゆ―米政権：時事ドットコム : 👀
---
jiji.com/jc/article?k=20250501

閣僚順番にトランプ氏礼賛　２時間超、ＳＮＳでやゆ―米政権：時事ドットコム

【ワシントン時事】トランプ米大統領は４月３０日、ホワイトハウスで閣議を開き、不法移民の送還など、第２次政権発足後１００日の成果を確認した。閣僚一人一人が順番にトランプ氏への賛辞や感謝を述べる様子が２時間超にわたって報道陣に公開され、ＳＮＳなどでは「北朝鮮のようだ」とやゆされている。

www.jiji.com · 時事ドットコム

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
tesaguri 🦀🦝 @tesaguri@fedibird.com
Public

それはそれとしてActivity Streams + Verifiable Credentialsだと個々のオブジェクトの真正性は保証できても`outbox`全体の整合性を保証できない（一部のオブジェクトを隠してもそのことを検知できない）点についてはちょっと分が悪く感じる

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
sublimer@あすてろいどん鯖管 @sublimer@mstdn.sublimer.me
Public

10G対応SFP+搭載！高速2.5Gアンマネージスイッチングハブ | アイ・オー・データ機器 I-O DATA : 👀
---
iodata.jp/news/2025/newprod/bs

10G対応SFP+搭載！高速2.5Gアンマネージスイッチングハブ

2.5Gbps対応の高速通信が可能なアンマネージスイッチングハブ「BSH-QGシリーズ」の新商品情報ページです。10G対応のSFP+ポートを搭載しており、SFP+モジュールを使用することで、10Gbpsでの通信も可能です。

www.iodata.jp · アイ・オー・データ機器

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

DeepSeek-Prover-V2: Advancing formal mathematical reasoning via reinforcement learning for subgoal decomposition. ~ Z.Z. Ren et als. arxiv.org/abs/2504.21801

arXiv logo

DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

We introduce DeepSeek-Prover-V2, an open-source large language model designed for formal theorem proving in Lean 4, with initialization data collected through a recursive theorem proving pipeline powered by DeepSeek-V3. The cold-start training procedure begins by prompting DeepSeek-V3 to decompose complex problems into a series of subgoals. The proofs of resolved subgoals are synthesized into a chain-of-thought process, combined with DeepSeek-V3's step-by-step reasoning, to create an initial cold start for reinforcement learning. This process enables us to integrate both informal and formal mathematical reasoning into a unified model. The resulting model, DeepSeek-Prover-V2-671B, achieves state-of-the-art performance in neural theorem proving, reaching 88.9% pass ratio on the MiniF2F-test and solving 49 out of 658 problems from PutnamBench. In addition to standard benchmarks, we introduce ProverBench, a collection of 325 formalized problems, to enrich our evaluation, including 15 selected problems from the recent AIME competitions (years 24-25). Further evaluation on these 15 AIME problems shows that the model successfully solves 6 of them. In comparison, DeepSeek-V3 solves 8 of these problems using majority voting, highlighting that the gap between formal and informal mathematical reasoning in large language models is substantially narrowing.

arxiv.org · arXiv.org

0
0
0
妖怪ちゃん @1ab@misskey.io
Public

fedibirdからのリアクションは♥に変換されるな。既存のリアクションを押すとそうなるのかな？fedibirdオリジナルのリアクションなら残るのだろうか？​:ameowthinkingsmirk:​

0
0
0
0
1
0
Nakho Kim @capcold.bsky.social@bsky.brid.gy
Public

제발 마음껏 이재명의 소수자 정책 인식 미흡이나 잘사니즘 같은 구린 미감, 민주당 전반의 차별금지법 하나 푸쉬 못하는 쫄보스러움, 인권과 경제성장을 연결시키지 못하는 상상력 미비 등을 비판하고 싶다. 그런데 우익 내란이 법조 테크니션들에 의해 계속 진행중이니 뭐 다른 초점을 전환할 수가 없잖아...

1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
[랜선효도] 제주감귤🍊 @jejuorange.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

사용한 지가 20일밖에 안 된 사실상 새 휴대폰이다. 검찰은 전날 압수수색 영장을 집행하면서 김 여사 측에 이런 사정을 들었지만 휴대폰을 밀봉해 가져갔다. 휴대폰 비밀번호를 요구했지만 답을 듣지 못했다. www.hankookilbo.com/News/Read/A2... 검찰 정말 .. 유능함. 압수하면서 밀봉해서 가져간게 새 아이폰, 음악 재생용 공기기 폰 2개. 패스워드는 모름.

[단독] 김건희 휴대폰 3대 압수했지만 빈손 되나......

[단독] 김건희 휴대폰 3대 압수했지만 빈손 되나... 신형 아이폰16에 공기계 2대 | 한국일보

검찰이 건진법사 전성배(65)씨 비리 수사와 관련해 윤석열 전 대통령 부부 사저를 압수수색하며 확보한 김건희 여사 휴대폰은 한남동 관저 퇴거

www.hankookilbo.com · 한국일보

0
0
0
0
0
0
0
0
0
iFixit @iFixit@mastodon.social
Public
Shared by just small circles 🕊

Happy National Telephone Day!
Instead of continually chasing upgrades, what if we kept our smartphones for 5 years? How about 10?

That’s the mission we’re on with Back Market:
🛠️ Fix it.
♻️ Pass it on.
📵 Say no to planned obsolescence.

Because the most sustainable phone is the one you already own. Read more about our 10-year phone mission here: ifixit.com/News/109306/fix-it-

—

iPhone with its screen flipped upwards at a 90 degree angle, exposing the phone's internals. The phone is being held by someone's left hand, and they're using their right index finger to point at one of the phone's internal components. In front of the person is a workbench, and in the background is another person who appears to be looking at the phone.
0
0
0
0
0
0
0
0
0
0
0
0
h12o @h12o@mastodon.tokyo
Public

（宣伝）現在所属しているスパイダープラスのテックブログに寄稿しました。
今回の記事では、セキュリティ担当として私が普段どうやって脅威分析を行っているのか、具体的なステップや判断の仕方を紹介しています。理論だけでなく、実務の中で得た視点や工夫も詰め込んでいます。セキュリティに関わる方にとって、ヒントや気づきが得られる内容になっているかと思います。
ぜひご一読ください。
techblog.spiderplus.co.jp/entr

セキュアな開発は「最初の1歩」から! SPIDERPLUSの脅威分析 - SPIDERPLUS Tech Blog

セキュアな開発は「最初の1歩」から! SPIDERPLUSの脅威分析 - SPIDERPLUS Tech Blog

スパイダープラスでは、プロダクトのセキュリティをより強固にするため、「脅威分析」を組み込む取り組みを始めました。今回の記事では、その背景や具体的な取り組みについてご紹介しています。ぜひご覧ください！

techblog.spiderplus.co.jp · SPIDERPLUS Tech Blog

0
0
0
나래 :heart_trans: @Autumnstarrysky@planet.moe
Public

Q: [web발신]츄카함니다당신은이벤트에당청되었습니다지금바로쪽지로아이디와비밀번호를보내주세요 이 문자는 해외에서 발송되었습니다 #neo_quesdon

A: ㅡㅡ
neo-quesdon.serafuku.moe/main/

Q. [web발신]츄카함니다당신은이벤트에당청되었습니다지금바로쪽지로아이디와비밀번호를보내주세요 이 문자는 해외에서 발송되었습니다

A. ㅡㅡ

neo-quesdon.serafuku.moe

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0