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
0
0
0
0
0
0
0
0
1
wvc @wvc@bsd.cafe
Public

I’ve got an old IDE hard drive I salvaged from a PC a few months ago — a Maxtor DiamondMax Plus 8. It still works, but I don’t really have any use for it.
Probably I could send it to someone who needs this thing for some project.

Photo of a 3.5 inch HDD on a table
0
0
0
0
0
0
いそねこ🎨コミティア152 Q15b @isonekomaru@misskey.io
Public
Shared by のえる

コミティア152で出会った​:suteki2:​な作品のご感想はプッシュ&レビューへ ​:blobcatheartbongo:​ 6月13
日まで↓
https://www.comitia.co.jp/pr_form/
「Push&Review（P&R）」は、『ティアズマガジン』（カタログ）に掲載されている、前回コミティアで発表された作品に寄せられた感想を紹介するコーナーです。(公式サイトより)

COMITIA

www.comitia.co.jp

0
0
0
1
0
0
0
0
0
1
0
0
1
0
0
FediThing 🏳️‍🌈 @FediThing@chinwag.org
Public

Meta is now a defence contractor for the Trump regime:

"Meta has partnered with (Palmer Luckey's) Anduril Industries to build augmented and virtual reality devices for the (US) military."

theregister.com/2025/05/30/met

Please Fedi admins, defederate Threads (threads.net, threads.com).

Meta is now a defense contractor

: Giving people the power to build community and bring the world closer together so we can shoot them

www.theregister.com

0
0
0
안녕 @annyeong@stella.place
Public

주식 재테크 너무 어렵다

위험:안전은 7:3으로 배분하라, 올-웨더 전략을 수용하라, 4계절 전략, 성장주 어쩌구
그냥 그거 따르는 펀드 매수하는 거랑 뭔 차이지

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

なんか、コミティアに初参加したり、遊びに行ってみて楽しんでいる人がたくさんいたようなので、ざっくり紹介を書いておきました。

場が存在するって、面白いですよ。

興味を持ったら、いろんな即売会がありますので、作品を持ってサークル参加したり、当日にふらっと買いに行く立場で参加してみてくださいね。

0
0
0
0
0
0
Hwee-Boon Yar @hboon@mastodon.social
Public

I wanted to know my Claude Code usage cost when running with Claude Max but it doesn't report it like API access

I always use tmux, sp press `ctrl+r` then split a pane, then do `tmux capture-pane -t 0 -p -S -10000 | ag cost` and then I paste the output into Soulver.

BAM $3.80

tmux running with 2 panes, top with Claude Code output expanded, bottom with filtered output from the top pane
0
0
0
0
0
0
0
0
0
1
0
0
のえる @noellabo@fedibird.com
Public

コミティアで面白いシステムとしては、

・見本誌コーナー
・見本誌読書会
・Push&Review（P&R）

などがあります。

コミティアでは、見本誌だけが一箇所に集められているコーナーがあります。

ここでは、サークルのスペース（対面）ではじっくり見ることが難しい、それぞれの本の内容をじっくりチェックすることができるので、気に入った作品をみつけたら買いに行くことができます。

昨今ではSNSなどで事前に情報収集することが多くなっているかと思いますが、SNSの仕組み上、なかなかフラットには見られないものです。

せっかく即売しているのですから、会場でお気に入りの作品をみつけてほしいのですが、まわるにも物理的に限界があります。

見本誌コーナーは、そこを強力にアシストしてくれる仕組みです。

また、即売会とは別の日に、見本誌を集めた読書会が開催されています。

もう一つ、開催日に先立って販売されている『ティアズマガジン』という開催案内と参加者一覧の載っている冊子があるのですが、その中に、Push&Review（P&R）というコーナーがあります。ここに、コミティア参加者から寄せられたお勧めの作品の紹介が掲載されています。

こうした手厚さが、コミティアならではの魅力ではないかと思います。

0
0
0
0
0
0
:biological_server: 수다쟁이 렌게쨩 (お喋りレンゲちゃん) :sabakan: @server_destroyer@iqhina.org
Public

Misskey v2025.6.0이 공개되었습니다냥.
자세한 내용은 릴리즈 노트를 참고하세요​:ai_blink_nod:​.

2025.5.1 및 2025.6.0에는 드라이브 UI 강화, 새 파일 업로드 UI, 서버 초기 설정 마법사, No Websocket 모드, 이모티콘 음소거, 메모리 사용량 감소, 설정 동기화 강화, 서버 내 콘텐츠 공개 설정, 업로드 가능한 파일 유형 설정 등이 포함되어 있습니다냥. 가능한 파일 유형 설정 등이 포함된다냥​:ameowuniquedance:​.

이번 업데이트에 협조해주신 모든 분들께 감사드립니다냥.
항상 감사합니다냥
앞으로도 계속 발전할 수 있도록 꼭? 프로젝트 후원을 부탁드립니다냥.

RE: https://misskey.io/notes/a8hyoio06uce07ka

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

노인은 스마트폰 교육한답시고 아주 자연스럽게 댓글 알바하게 만들고. 1020 여성 청소년과 청년들은 사회에 분노, 절망하게 해서 무효표 내게 하고 "리박스쿨에서 아이들을 상대로 역사, 진로 등을 교육하는 강사 최 모 씨가 리박스쿨 댓글부대 '자손군'의 단장인 것으로 확인됐습니다. 최 씨가 노인들을 상대로 '스마트폰 교육'을 한 사실도 파악됐습니다. 이 교육의 목적은 국민의힘의 '총선 필승'이었습니다." newstapa.org/article/alRav

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

리박스쿨 '댓글부대 단장'이 아이들 상대 '역사 강의'

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

[단독]민주당, ‘중도 당원’ 80만 명 콕 집어 전화

n.news.naver.com/mnews/article

이 뉴스 나간 이후로 일주일간 나한테 3번이나 전화하시는데...저 중도 아님;;;

[단독]민주당, ‘중도 당원’ 80만 명 콕 집어 전화

채널A | 네이버 · 민주당이 일반 당원 80만 명에 전화를 돌리고 있습니다. 중도 성향의 당원들이라는데요. 선거 승패를 가를 중도층 흡수에 사활을 걸고 있습니다. 박자은 기자의 단독 보도입니다. [기자] 오늘 이재명 후보 지지를 선언한

n.news.naver.com

0
0
0
0
0
0
복설 뉴스 @boknews.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

인권운동가로 거듭난 툰베리···배 타고 봉쇄된 가자지구로 [시스루피플] www.khan.co.kr/article/2025... "툰베리는 항해를 떠나기 전 기자회견에서 “이 일이 아무리 위험하더라도, 생중계된 제노사이드(집단학살) 앞에서 전 세계가 침묵하는 것만큼 위험하지는 않다”고 말했다. 발언 도중 눈물을 흘리기도 한 툰베리는 “노력을 멈추는 순간, 우리는 인간성을 잃는다”고 호소했다."

[시스루피플] 인권운동가로 거듭난 툰베리···배 타고 ...

[시스루피플] 더는 ‘10대 환경운동가’ 아냐···인권운동가 툰베리, 배 타고 가자지구로

10대 때 기후위기에 대한 관심을 호소하며 등교 거부 운동을 벌였던 스웨덴 환경운동가 그레타 툰베리(22)가 가자지구 반전 운동에도 앞장서며 인권과 국제 정치로 활동 범위를 넓혀가고 있다. “조용한 방관자가 될 수 없어서” 세계적 기후위기를 막기 위한 행동에 나섰던 툰베리는 같은 이유로 이스라엘의 팔레스타인 공격에 반대하는 목소리를 내고 있다. 이번에...

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

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
Bas Spitters @spitters@mastodon.social
Public
Shared by Frédéric Jacobs

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust
with @cryspen
eprint.iacr.org/2025/980

We verify both for security and functional correctness of a practical PQ TLS-1.3 Rust implementation using F*, @RocqProverThe Rocq Prover /SSProve, and Proverif, all tied together with the Hax toolchain.
We show diverse properties like runtime safety, parsing correctness, and cryptographic protocol security.

IACR logo

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust

We present an effective methodology for the formal verification of practical cryptographic protocol implementations written in Rust. Within a single proof framework, we show how to develop machine-checked proofs of diverse properties like runtime safety, parsing correctness, and cryptographic protocol security. All analysis tasks are driven by the software developer who writes annotations in the Rust source code and chooses a backend prover for each task, ranging from a generic proof assistant like F$\star$ to dedicated crypto-oriented provers like ProVerif and SSProve Our main contribution is a demonstration of this methodology on Bert13, a portable, post-quantum implementation of TLS 1.3 written in Rust and verified both for security and functional correctness. To our knowledge, this is the first security verification result for a protocol implementation written in Rust, and the first verified post-quantum TLS 1.3 library.

eprint.iacr.org · IACR Cryptology ePrint Archive

0
0
0
1
0
0
0
0
0
0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

삼성전자의 모바일 간편결제 서비스 ‘삼성페이’가 먹통이 된 지 약 3시간30분 만에 복구됐습니다. 삼성은 회사와 카드사 사이에 결제 정보가 오가는 네트워크에 문제가 발생했다면서도 해킹 가능성에는 선을 그었습니다.

삼성페이 3시간 넘게 ‘먹통’…삼성전자 “일부 카드사 ...

삼성페이 3시간30분 ‘먹통’…삼성전자 “일부 카드사 전용선 문제”

삼성전자의 모바일 간편결제 서비스 ‘삼성페이’가 먹통이 된 지 약 3시간30분 만에 복구됐다. 삼성은 회사와 카드사 사이에 결제 정보가 오가는 네트워크에 문제가 발생했다면서도 해킹 가능성에는 선을 그었다. 2일 삼성전자 설명을 종합하면, 삼성페이 일부 이용

www.hani.co.kr · 한겨레

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

민주 강선우, 선거 유세 중 폭행당해…"민주주의에 대한 폭력" www.yna.co.kr/view/AKR2025... 야당 여성 정치인을 대상으로 한 백색 테러.

민주 강선우, 선거 유세 중 폭행당해…"민주주의에 대한...

민주 강선우, 선거 유세 중 폭행당해…"민주주의에 대한 폭력" | 연합뉴스

(서울=연합뉴스) 안정훈 기자 = 더불어민주당 강선우 의원은 1일 대통령 선거 유세 중 행인에게 폭행당했다고 밝혔다.

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

0
0
0
Bas Spitters @spitters@mastodon.social
Public

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust
with @cryspen
eprint.iacr.org/2025/980

We verify both for security and functional correctness of a practical PQ TLS-1.3 Rust implementation using F*, @RocqProverThe Rocq Prover /SSProve, and Proverif, all tied together with the Hax toolchain.
We show diverse properties like runtime safety, parsing correctness, and cryptographic protocol security.

IACR logo

Formal Security and Functional Verification of Cryptographic Protocol Implementations in Rust

We present an effective methodology for the formal verification of practical cryptographic protocol implementations written in Rust. Within a single proof framework, we show how to develop machine-checked proofs of diverse properties like runtime safety, parsing correctness, and cryptographic protocol security. All analysis tasks are driven by the software developer who writes annotations in the Rust source code and chooses a backend prover for each task, ranging from a generic proof assistant like F$\star$ to dedicated crypto-oriented provers like ProVerif and SSProve Our main contribution is a demonstration of this methodology on Bert13, a portable, post-quantum implementation of TLS 1.3 written in Rust and verified both for security and functional correctness. To our knowledge, this is the first security verification result for a protocol implementation written in Rust, and the first verified post-quantum TLS 1.3 library.

eprint.iacr.org · IACR Cryptology ePrint Archive

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

MB "나라 어려운 때…나라살림 정직하게 잘할 지도자 나와야"

n.news.naver.com/article/586/0

....아니 그게 니가 할말이냐

MB "나라 어려운 때…나라살림 정직하게 잘할 지도자 나와야"

시사저널 | 네이버 · 대선 전날 김문수 측면 지원 나선 듯 "金 경기지사 당시 KTX 놓고 공단·전자 단지 등 열심히 해" 이명박(MB) 전 대통령은 대선을 하루 앞둔 2일 청계천을 찾아 "지금은 나라가 어려운 때"라며 "(나라) 살림을

n.news.naver.com

0
0
0
0
0
0
0
0
0
0
0
0
Jan Wildeboer 😷:krulorange: @jwildeboer@social.wildeboer.net
Public

Damn. Will (Model Context Protocol) cause the end of publicly accessible APIs through what will look like DDoS (Distributed Denial of Service) when everyone and the kitchen sink sets their Agentic AI free? I didn't think about that angle. mastodon.social/@bagder/114612

daniel:// stenberg:// (@bagder@mastodon.social)

There are MCP servers popping up that interface GitHub and the likes, so even if we make them do Copilot issues proper, we will soon see random "AI agents" interact directly with issues and PRs. Non-copilot AI style. There is no escape. This is the new reality.

mastodon.social · Mastodon

0
0
0
mgdesigner @mgdesigner@g0v.social
Public

烏克蘭使用偽裝卡車+光纖無人機，深入俄羅斯國土內部深處敵後破壞造成巨大成功。 但這個嶄新戰術，我們台灣也要嚴加戒備了，之前數週，中共的潛伏人員不是用手機直播，是否在勘察各地建築物高度會不會勾到「線」之類的？如果要擊殺要人與其家屬，他們的臉部輪廓、外型為何？平時作息如何？

youtu.be/ELZs3OWQmHs?si=Qrsywa

單日摧毀俄軍超過30%的戰略轟炸機? 現代珍珠港事件?! 【Dino Brothers Studio】[CC字幕]

單日摧毀俄軍超過30%的戰略轟炸機? 現代珍珠港事件?! 【Dino Brothers Studio】[CC字幕]DBS 105獵豹Tee 購買連結：https://shorturl.at/PaPWc!!!我們終於開啟會員頻道啦!!!!希望大家行有餘力再支持我們 我們希望在未來都可以持續努力提供大家優質的軍事...

www.youtube.com · YouTube

0
0
0
0
0
0
0
0
0
0
0
0