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
estpls @estpls@mstdn.beer
Public
Shared by zunda

ハイボールが止まらない！黄金色の唐揚げナイト｜estpls note.com/maniacs_n/n/na7ba722a

ムシャムシャしてやった、半生はしていません。

ハイボールが止まらない！黄金色の唐揚げナイト｜estpls

カレンダーがようやく金曜日にたどり着いた。一週間の健闘を讃え合うように、私の頭の中ではもう、シュワシュワと弾ける黄金色の液体と、あの魅惑的な揚げ物のことでいっぱいだ。 （そう、今夜はハイボールと唐揚げ以外、考えられない！） いそいそとスーパーに駆け込み、今日の主役、プリッとしたツヤが眩しい鶏もも肉を、まるで宝物のように抱えて帰宅した。 さあ、宴の準備をはじめよう。冷蔵庫から取り出した鶏もも肉は、まな板の上で「さあ、どうにでもしてくれ」と言わんばかりの堂々たる佇まい。よしよし、君を最高に美味しくしてあげるからね。まずは一口大より少し大きめに、ご機嫌なリズムでカットしていく。この「ち

note.com · note（ノート）

0
0
0
2
0
0
1
0
0
European Commission @EUCommission@ec.social-network.europa.eu
Public
Shared by PictoPulse356

Bonjour, Hallo, Здравейте, Γειά σου, Ciao, Dia duit, Labas,… 👋

Today is the European Day of Languages. And this year, we mark 25 years of celebrating multilingualism in our Union. 🥳

Across the EU, we:
🌍 Speak 24 official languages
🎉 Embrace 60 regional languages spoken by some 40 million people
🚀 Have 3 in 5 Europeans speaking a foreign language

Multilingualism is a core European value. We are united in our diversity!

Find out more about multilingualism in the EU - europa.eu/!6FkntW

An infinity loop made of various European country flags, with a blue heart containing the EU stars at the center-right. Below, bold and regular text reads: "From many languages, one unbreakable bond." A small EU emblem is placed in the bottom-right corner.
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Composition direction of Seymour's theorem for regular matroids formally verified. ~ Martin Dvorak et als. arxiv.org/abs/2509.20539

arXiv logo

Composition Direction of Seymour's Theorem for Regular Matroids -- Formally Verified

Seymour's decomposition theorem is a hallmark result in matroid theory presenting a structural characterization of the class of regular matroids. Formalization of matroid theory faces many challenges, most importantly that only a limited number of notions and results have been implemented so far. In this work, we formalize the proof of the forward (composition) direction of Seymour's theorem for regular matroids. To this end, we develop a library in Lean 4 that implements definitions and results about totally unimodular matrices, vector matroids, their standard representations, regular matroids, and 1-, 2-, and 3-sums of matrices and binary matroids given by their standard representations. Using this framework, we formally state Seymour's decomposition theorem and implement a formally verified proof of the composition direction in the setting where the matroids have finite rank and may have infinite ground sets.

arxiv.org · arXiv.org

0
0
0
0
0
0
Street Art Utopia @streetartutopia@mastodon.online
Public

streetartutopia.com/2025/09/26

The Weight We Carry (9 Photos) - STREET ART UTOPIA

From the tangible heaviness of stone-filled sculptures to murals that address absence, poverty, and environmental destruction, these eight works reveal the burdens we shoulder as individuals and societies. Featuring Celeste Roberge, Kevin Lee, Haohui Zhou, Bin Liu, SMUG, Innerfields, Lalone, Alexander Milov, Hijack, and Banksy, the collection spans continents and mediums, each piece offering its […]

streetartutopia.com · STREET ART UTOPIA

Link author: STREET ART UTOPIA@streetartutopia@streetartutopia.com

0
0
0
1
0
0
0
0
0
1
0
0
시아란 🌌 Private @siaranics.siaran.kr@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

블로그에 들어가보니 카드 사진이 두 장 더 있는데, 쓸모없는 프로젝트의 예상 정말 거하게 빗나간 것들 많군요... - 인간적인 검색: 구글 AI검색 - 전자지갑: 페이팔 - 자전거 배달: 배민라이더스 - 디지털 화폐: 비트코인 - 온라인 프라이버시: 이건 아예 독립 시장화됨 - 온라인 컴퓨터 쇼핑몰: 다나와 - 온라인 식품 쇼핑몰: 컬리 - 무료 음악 서비스: 이것도 다수 BM화됨

RE: https://bsky.app/profile/did:plc:y5csbf6vxv6d2jwp7r5jkx3n/post/3lzpcz6l25c2n

편전 (@pyeonjeon.bsky.social)

This post requires authentication to view.

bsky.app · Bluesky Social

0
0
0
0
0
0
estpls @estpls@mstdn.beer
Public

ハイボールが止まらない！黄金色の唐揚げナイト｜estpls note.com/maniacs_n/n/na7ba722a

ムシャムシャしてやった、半生はしていません。

ハイボールが止まらない！黄金色の唐揚げナイト｜estpls

カレンダーがようやく金曜日にたどり着いた。一週間の健闘を讃え合うように、私の頭の中ではもう、シュワシュワと弾ける黄金色の液体と、あの魅惑的な揚げ物のことでいっぱいだ。 （そう、今夜はハイボールと唐揚げ以外、考えられない！） いそいそとスーパーに駆け込み、今日の主役、プリッとしたツヤが眩しい鶏もも肉を、まるで宝物のように抱えて帰宅した。 さあ、宴の準備をはじめよう。冷蔵庫から取り出した鶏もも肉は、まな板の上で「さあ、どうにでもしてくれ」と言わんばかりの堂々たる佇まい。よしよし、君を最高に美味しくしてあげるからね。まずは一口大より少し大きめに、ご機嫌なリズムでカットしていく。この「ち

note.com · note（ノート）

0
0
0
Hello, Friend! @hello@daepi.so
Public
Shared by 𒁹𒀭𒌍𒋾𒀀𒅆

한국시간 16:40분부터 진행되는 긴급 서버 이전으로 20분 정도 서비스에 접근되지 않습니다. 최대한 빠른 시간내로 작업을 완료하도록 하겠습니다.
감사합니다.
The service will be closed for about 20 minutes due to the emergency server transfer starting at 16:40 KST. We will try to complete the work as soon as possible.
Thank you.

0
0
0
Hello, Friend! @hello@daepi.so
Public

한국시간 16:40분부터 진행되는 긴급 서버 이전으로 20분 정도 서비스에 접근되지 않습니다. 최대한 빠른 시간내로 작업을 완료하도록 하겠습니다.
감사합니다.
The service will be closed for about 20 minutes due to the emergency server transfer starting at 16:40 KST. We will try to complete the work as soon as possible.
Thank you.

0
0
0
0
0
0
0
0
0
퍼지시스템(일했음청년) :vrchat: @fuzzysystem@ani.work
Public
Shared by pkg update

예전에 익스플로러 보안설정을 끄라고 하던 보안플러그인들 같은데 ㅋㅋㅋㅋ
ask.ahnlab.com/hc/ko/articles/

ASK

AhnLab 고객기술지원 | ASK

ask.ahnlab.com · ASK

0
0
0
0
0
0
1
0
0
European Commission @EUCommission@ec.social-network.europa.eu
Public

Bonjour, Hallo, Здравейте, Γειά σου, Ciao, Dia duit, Labas,… 👋

Today is the European Day of Languages. And this year, we mark 25 years of celebrating multilingualism in our Union. 🥳

Across the EU, we:
🌍 Speak 24 official languages
🎉 Embrace 60 regional languages spoken by some 40 million people
🚀 Have 3 in 5 Europeans speaking a foreign language

Multilingualism is a core European value. We are united in our diversity!

Find out more about multilingualism in the EU - europa.eu/!6FkntW

An infinity loop made of various European country flags, with a blue heart containing the EU stars at the center-right. Below, bold and regular text reads: "From many languages, one unbreakable bond." A small EU emblem is placed in the bottom-right corner.
0
0
0
0
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Generous donation to advance AI for mathematics. ~ Christiana Jasutan. imperial.ac.uk/news/268473/gen

Generous donation to advance AI for mathematics | Imperial News | Imperial College London

Imperial is unlocking the potential of artificial intelligence to power modern mathematics research thanks to support from Renaissance Philanthropy.

www.imperial.ac.uk · Imperial News

0
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

Readings shared September 25, 2025. jaalonso.github.io/vestigium/p

Readings shared September 25, 2025

The readings shared in Bluesky on 25 September 2025 are: Formalization of Harder-Narasimhan theory. ~ Yijun Yuan. #ITP #LeanProver #Math Micrograd in Haskell: Evaluation and backward pass. ~ Ajeet Gr

jaalonso.github.io · Vestigium

0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
0
0
0
퍼지시스템(일했음청년) :vrchat: @fuzzysystem@ani.work
Public

예전에 익스플로러 보안설정을 끄라고 하던 보안플러그인들 같은데 ㅋㅋㅋㅋ
ask.ahnlab.com/hc/ko/articles/

ASK

AhnLab 고객기술지원 | ASK

ask.ahnlab.com · ASK

0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
Dan Gillmor @dangillmor@mastodon.social
Public
Shared by earthling

Trump regime has disappeared billions of dollars of taxpayers' money -- not even Congress has been able to trace what it's being spent on, and who's getting the loot.

Congress isn't barely trying -- Republicans are complicit and the Democrats are not just powerless but incompetent.

Some journalists from smaller organizations are trying. They don't have subpoena power.

Given Trump world's epic corruption, the unaccountable billions are plainly that way by by design.

notus.org/trump-white-house/bi

Senate Appropriations Committee (Murray, Collins, McConnell, Murkowski)

Billions in Taxpayer Dollars Have Become Virtually Untraceable

The Trump administration’s aggressive approach to overhauling the executive branch has obscured how federal dollars are actually being spent — even for the members of Congress.

www.notus.org · NOTUS

0
0
0
Robin Kanatzar @Robinkanatzar@mastodon.green
Public

Come hear me speak about "Engineering Accessibility: Practical, Maintainable, Testable" at Pragma Conference and Do iOS this fall!

🍝 Pragma Conference: October 30th in Bologna, Italy
pragmaconference.com/

🧇 Do iOS: November 12 in Amsterdam do-ios.com/

Pasta and stroopwaffles, here I come! 🤣

#Pragma Conference 2025 | The iOS, macOS, visionOS, watchOS, tvOS Developers Conference

#Pragma Conference 2025 | October | Italy | The Apple Developers Conference

pragmaconference.com

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