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
るまたん @lematin@mastodon-japan.net
Public

パートナーが万博から帰ってきたが、

「行列はたいして苦にならない」
「楽しく、学習効果もある」
「混んではいるので３回くらい行く必要がある」

という基本的にポジティブな感想であった。

ネガティブな点は、

「食べるところが少なすぎ」
「トイレが少ないうえに半分くらいが使用不能」

というあたりだったらしい。

0
0
0
0
0
0
1
0
0
0
0
0
わきまえないナニカのぴっち 삧치 ∀🌻 @zpitschi@fedibird.com
Public
Shared by SparklingOutlaw🍉

あら？もしかして主催者は客のせいにしてる？

「動画視聴、控えて」万博会場の東ゲートで通信障害　混雑の要因に？ | 毎日新聞 mainichi.jp/articles/20250413/

「動画視聴、控えて」万博会場の東ゲートで通信障害　混雑の要因に？ | 毎日新聞

　13日開幕した大阪・関西万博の会場となっている人工島・夢洲（ゆめしま）（大阪市此花区）の東ゲートでは、断続的に携帯電話やインターネットがつながりにくい通信障害が発生した。

mainichi.jp · 毎日新聞

0
0
0
ラー・カイラムでアクシズを押すんだよ！😎 @sentinel0079@fedibird.com
Public
Shared by SparklingOutlaw🍉

野党第一党枝野幸男の「（立憲の中で）減税を言ってる人は諦めてもらうか、別の党を作るかどっちかですよ。早くやめて下さいという感じです」という発言。絶対に消費税を取り続ける、税率は上げると公言する議員もうじゃうじゃいる…じゃあ自民党でいいよ、何が違うんだいって話で一体全体どこが野党なんですか。
どうしても税を分捕りたいなら、薄く広くじゃなく、莫大な利益を計上する大企業、超資産家や毎年毎年使い切れないほどの超高収入を得ることが出来る「担税能力のある人間から真っ先に取ればいいでしょ」って単純なことをバカじゃないんだから、本当はわかってるくせに絶対に口にしない。

news.yahoo.co.jp/articles/9ea2

消費減税「無責任なポピュリズム」　立民枝野氏、内閣不信任案に否定的（時事通信） - Yahoo!ニュース

　立憲民主党の枝野幸男元代表は12日、党内で消費税減税を求める声が強まっていることに関し、「参院選目当てとしか言いようがない、無責任なポピュリズムだ」と批判した。 　「給付であれ減税であれ、財源を

news.yahoo.co.jp · Yahoo!ニュース

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
わきまえないナニカのぴっち 삧치 ∀🌻 @zpitschi@fedibird.com
Public

あら？もしかして主催者は客のせいにしてる？

「動画視聴、控えて」万博会場の東ゲートで通信障害　混雑の要因に？ | 毎日新聞 mainichi.jp/articles/20250413/

「動画視聴、控えて」万博会場の東ゲートで通信障害　混雑の要因に？ | 毎日新聞

　13日開幕した大阪・関西万博の会場となっている人工島・夢洲（ゆめしま）（大阪市此花区）の東ゲートでは、断続的に携帯電話やインターネットがつながりにくい通信障害が発生した。

mainichi.jp · 毎日新聞

0
0
0
0
0
0
Alexandre Franke @afranke@mamot.fr
Public
Shared by MJ+

@NetworkManager is an essential piece of software that you most likely rely on if you run a linux-based operating system. It is understaffed considering how many people depend on it. If you’re looking for a project to work on, be aware that they have a curated list of issues for newcomers, currently listing 22 available issues.

gitlab.freedesktop.org/Network

Issues · NetworkManager / NetworkManager · GitLab

NetworkManager — network management daemon

gitlab.freedesktop.org · GitLab

0
0
0
0
0
0
tenjuu99(天重誠二) @tenjuu99@hollo.tenjuu.net
Public

いきなり工場作っても教育施設がないなら人材を取れないのだし、じゃあ中国台湾韓国日本あたりの教育済み人材を取ろうにも、いまみたいな排外主義だとリスク高すぎて行こうという気にはならないですよね

0
0
0
BSD NL @bsd_nl@bsd.cafe
Public

🎉 It's a wrap! The BSD-NL Conference - Early 2025 was a blast! 🐡😈⛳

A huge thank you to all the amazing speakers, (Kristof and Benedict!), attendees, and sponsors who made this event possible! 🙏

📹 Check out the videos of the talks here: exquisite.tube/c/bsdnlconferen

🌐 Visit the website for more info and the next edition: bsdnl.nl

See you at the next one!

Jacky Chan in the "my brain is full of fuck" meme, which is usually said in disbelief of something. Picture of Jacky Chan with his hands almost touching the top of his head. It has the text: Conference is over What am I supposed to do for the next six months
0
0
0
Alexandre Franke @afranke@mamot.fr
Public

@NetworkManager is an essential piece of software that you most likely rely on if you run a linux-based operating system. It is understaffed considering how many people depend on it. If you’re looking for a project to work on, be aware that they have a curated list of issues for newcomers, currently listing 22 available issues.

gitlab.freedesktop.org/Network

Issues · NetworkManager / NetworkManager · GitLab

NetworkManager — network management daemon

gitlab.freedesktop.org · GitLab

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

지반 약화에 구조물 뒤죽박죽 엉켜…'광명사고' 사흘째 수색 난항 송고2025-04-13 17:05 연일 비바람에 기상조건도 악화…실종자 위치 파악 아직 "매몰추정 두세곳…한 지점씩 쪼개 '살라미' 수색해야" www.yna.co.kr/view/AKR2025...

지반 약화에 구조물 뒤죽박죽 엉켜…'광명사고' 사흘째 ...

지반 약화에 구조물 뒤죽박죽 엉켜…'광명사고' 사흘째 수색 난항 | 연합뉴스

(광명=연합뉴스) 이영주 기자 = 지난 11일 경기 광명시 일직동 신안산선 지하터널 공사현장에서 발생한 붕괴 사고로 실종된 50대 근로자 1명에...

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

0
0
0
いいだ @t2aki@tokoroten.doncha.net
Public
Shared by tenjuu99(天重誠二)
[2025/04/13 18:41]
アップルが米国に75兆円投資、「国内製造」を強化し2万人の新規雇用を約束
https://forbesjapan.com/articles/detail/77357
てことだけど

Xで流れてた動画のティム・クック
https://x.com/xuejianosaka/status/1884209846431658261
>中国には優秀な技術人材が密集しているからだ。米国では、生産技術者の会議を招集しても、満席になるとは思えない。中国では、生産技術者はサッカースタジアムを埋め尽くすことができる。

嵐の4年が過ぎるのを待つ、ということだろか。
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
いいだ @t2aki@tokoroten.doncha.net
Public
[2025/04/13 18:41]
アップルが米国に75兆円投資、「国内製造」を強化し2万人の新規雇用を約束
https://forbesjapan.com/articles/detail/77357
てことだけど

Xで流れてた動画のティム・クック
https://x.com/xuejianosaka/status/1884209846431658261
>中国には優秀な技術人材が密集しているからだ。米国では、生産技術者の会議を招集しても、満席になるとは思えない。中国では、生産技術者はサッカースタジアムを埋め尽くすことができる。

嵐の4年が過ぎるのを待つ、ということだろか。
0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

지반 약화에 구조물 뒤죽박죽 엉켜…'광명사고' 사흘째 수색 난항 송고2025-04-13 17:05 연일 비바람에 기상조건도 악화…실종자 위치 파악 아직 "매몰추정 두세곳…한 지점씩 쪼개 '살라미' 수색해야" www.yna.co.kr/view/AKR2025...

지반 약화에 구조물 뒤죽박죽 엉켜…'광명사고' 사흘째 ...

지반 약화에 구조물 뒤죽박죽 엉켜…'광명사고' 사흘째 수색 난항 | 연합뉴스

(광명=연합뉴스) 이영주 기자 = 지난 11일 경기 광명시 일직동 신안산선 지하터널 공사현장에서 발생한 붕괴 사고로 실종된 50대 근로자 1명에...

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

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

입력 2025-04-13 13:33 수정 2025-04-13 16:49 잔해 인양 작업을 위해 대형크레인 대기 인근 지역 돌풍·비… 날씨 변화 관찰도 실종 근로자 1명 지하 40m 지점 위치 추정 김동연 “여건 갖춰지는대로 최선…” 지시 www.kyeongin.com/article/1735...

[현장르포] 신안산선 붕괴현장 구조작업 사흘째… 궂은 ...

[현장르포] 신안산선 붕괴현장 구조작업 사흘째… 궂은 날씨가 변수

잔해 인양 작업을 위해 대형크레인 대기 인근 지역 돌풍·비… 날씨 변화 관찰도 실종 근로자 1명 지하 40m 지점 위치 추정 김동연 “여건 갖춰지는대로 최선…” 지시 13일 정오께 광명 일직동 신안산선 5-2공구 붕괴현장엔 노란색상의 대형크레인이 잔해 인양 작업을 위해 대기 중이었다. 크레인 위론 분주하게 드론이 움직이며 지면에서 확인하기 힘든 사고 현장의 모습을 촬영했고, 구조 인력들은 드론 화면을 바탕으로 사고 수습 대책을 논의 중이었다. 공사 현장 관계자들은 불규칙하게 뒤틀려 있는 지표면 위에 파란 방수포를 덮으며 오락가락

www.kyeongin.com · 경인일보

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

Efficient formal verification of quantum error correcting programs. ~ Qifan Huang, Li Zhou, Wang Fang, Mengyu Zhao, Mingsheng Ying. arxiv.org/abs/2504.07732

arXiv logo

Efficient Formal Verification of Quantum Error Correcting Programs

Quantum error correction (QEC) is fundamental for suppressing noise in quantum hardware and enabling fault-tolerant quantum computation. In this paper, we propose an efficient verification framework for QEC programs. We define an assertion logic and a program logic specifically crafted for QEC programs and establish a sound proof system. We then develop an efficient method for handling verification conditions (VCs) of QEC programs: for Pauli errors, the VCs are reduced to classical assertions that can be solved by SMT solvers, and for non-Pauli errors, we provide a heuristic algorithm. We formalize the proposed program logic in Coq proof assistant, making it a verified QEC verifier. Additionally, we implement an automated QEC verifier, Veri-QEC, for verifying various fault-tolerant scenarios. We demonstrate the efficiency and broad functionality of the framework by performing different verification tasks across various scenarios. Finally, we present a benchmark of 14 verified stabilizer codes.

arxiv.org · arXiv.org

0
0
0
0
0
0
1
0
0
1
0
0
Till Kleisli @kleisli@mastodon.social
Public

It was on my todo list for a long time and now I'm - writing in En and De, darum auch

Interested in

I found some active accounts from organisations but it seems to be harder to find accounts representing persons.

Can you recommend me any accounts from Switzerland or accounts focussing on AI? :)

0
0
0
0
0
0
1
0
0
yamanoku @yamanoku@hollo.yamanoku.net
Public

成長の質を高める 個人のふりかえり入門

https://zenn.dev/tbpgr/books/12381c801cb1e1

成長の質を高める 個人のふりかえり入門

技術力に優れた先輩。急成長している同僚。仕事を通した成長は、近道や裏技があるわけではなく、地道な積み重ねの結果です。そして、意図的に経験の機会を作り、経験から多くを学ぶための鍵はふりかえりです。 そこで本書『成長の質を高める個人のふりかえり入門』では、仕事における人の成長の鍵と

zenn.dev · Zenn

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