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
0
0
0
0
0
0
0
0
0
0
0
Jan Wildeboer 😷:krulorange: @jwildeboer@social.wildeboer.net
Public

That myth that "we" (the elder people) used pencils to put cassettes back in a working state. Here's the truth: pencils don't work for that. They are too thin for the job. But the cap of a BIC Cristal pen was just perfect. It was rather weak, malleable plastic, so it gripped perfectly.

Bonus points if you know why the cap has a hole at the top ;)

UPDATE: Some in the comments insist they did use (angled) pencils. Poor folk. The BIC was the better way :)

Picture source: en.wikipedia.org/wiki/Bic_Cris

A BIC Cristal pen with a blue cap
0
0
0
𒁹𒀭𒌍𒋾𒀀𒅆 @unninni@daepi.so
Public
원달러 1400원이 뉴노멀이라던 곳이 자꾸 떠오른다.
박근혜 때 환율 조작국 의심 받은 걸 오바마에게 설명해야 하는 시절도 있었다.
연기금 풀어서 환율 만지고 원없이 펑펑 써봤다고 인터뷰한 강만수도 떠오른다.
0
0
0
1
0
0
0
0
0
기넨 @ginen@meltrecord.ing
Quiet public
Shared by 힐씨

┏━┛┃
┗━┓┃┏━━┓┏━━┓┏━━┓
┏━┛┃┃┏┓┃┗━┓┃┃┏━┛
┗━━┛┃┃┃┃┏━┛┃┃┗━┓
┏━━┓┃┃┃┃┃┏━┛┗━┓┃
┗━┓┃┃┗┛┃┃┗━┓┏━┛┃
┏━┛┃┗━━┛┗━━┛┗━━┛
┃┏━┛

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

A verified implementation of the Misra and Gries edge coloring algorithm. ~ Arohee Bhoja. arxiv.org/abs/2512.13999v1

arXiv logo

A verified implementation of the Misra and Gries edge coloring algorithm

Vizing's theorem states that every simple undirected graph can be edge-colored using fewer than $Δ+ 1$ colors, where $Δ$ is the graph's maximum degree. The original proof was given through a polynomial-time algorithmic procedure that iteratively extends a partial coloring until it becomes complete. In this work, I used the Lean theorem prover to produce a verified implementation of the Misra and Gries edge-coloring algorithm, a modified version of Vizing's original method. The focus is on building libraries for relevant mathematical objects and rigorously maintaining required invariants.

arxiv.org · arXiv.org

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
freiheitsfoo @freiheitsfoo@systemli.social
Public
Shared by Quincy

Ein heimlich untergeschobenes und unbeliebtes Weihnachtsgeschenk: Die Vorratsdatenspeicherung. Mehr als nur „eine endlos lange Zahlenreihe“. Bericht und Kommentar zum Vorstoß zur neuen , deren mediale Einbringung und Behandlung und ein Interview des DLF mit Sebastian Fiedler (Ex-BDK, SPD). freiheitsfoo.de/2025/12/23/vds

Ein heimlich untergeschobenes und unbeliebtes Weihnachtsgeschenk: Die Vorratsdatenspeicherung. Mehr als „nur eine endlos lange Zahlenreihe“. | freiheitsfoo

freiheitsfoo.de

0
0
0
0
0
0
0
0
0
0
0
0
zunda @zundan@mastodon.zunda.ninja
Public

ヒッカム（空軍基地）じゃなくてイノウエ（国際空港）よねえって読み進めたらこれはヒッカムの可能性もあるな…w

お姉ちゃんと時速850kmのパシリ旅総括 - ME06’s diary
https://me06.hatenablog.com/entry/2025/12/23/184645

お姉ちゃんと時速850kmのパシリ旅総括 - ME06’s diary

お姉ちゃんと時速850kmのパシリ旅総括 - ME06’s diary

この記事はMastodon Beer Instance Advent Calendar 2025のクリスマスイブの日に該当するやつです。そのままコピペして25に書き換えただけなのでリンク先はきっと2024年のままですいやそれは直せよ 尚このいつもの書き出しは(2025/12/23 14:24:00)に書いてます。もう落とす気満々ですね まだ時間はある！頑張ります 今年で8年目ですがそうですか。.beerで知り合った方々、なんならその前のカニ時代やさらに初期に知り合った方々もまだまだ普通にいらっしゃってナニヨリです 閑話休題ポキン金太郎 記事を3本ほど書いていたのですが内容的に公開してもいいのだ…

me06.hatenablog.com · ME06’s diary

0
0
0
0
0
0
1
0
0
はまだ（てすとくん） @testkun@mstdn.beer
Public
Shared by zunda

me06.hatenablog.com/entry/2025
お姉ちゃんと時速850kmのパシリ旅総括 - ME06’s diary

お姉ちゃんの定期世界旅行？お仕事？だ！
新幹線グリーン車3時間越えの時点でもう割とやーやーなのになってた私からすると地球の反対側まで飛行機1n時間とか車運転5時間とか未知すぎていっつもすっげぇなぁ人間になってる
でも普通に海外の高速運転するのは楽しいのかもしれない。。いやでも5時間はやっぱつれぇや。。
トンブクトゥ！トンブクトゥ！頓服飲んでトンブクトゥ！（言いたかっただけ）
アーね、あのマリ共和国のどんぶくとぅね。わかるわかる。サハラねサハラ。多分きっと知らんけど

STOL乗ったことある人がビア鯖に何人いるのか、、完全に輸送機といえばって感じやんけ！！
パスポートのスタンプラリーは参加しようね

なんかイギリスっぽい入口謎の階段がある長屋建物！！いやいろんな有名作品に出てくるんだろうけどあんまりうまいこと言えなくて済まない気持ち
はろーきてぃさんはホンマにどんなものにもいるアドカレ
adventar.org/calendars/11508

お姉ちゃんと時速850kmのパシリ旅総括 - ME06’s diary

お姉ちゃんと時速850kmのパシリ旅総括 - ME06’s diary

この記事はMastodon Beer Instance Advent Calendar 2025のクリスマスイブの日に該当するやつです。そのままコピペして25に書き換えただけなのでリンク先はきっと2024年のままですいやそれは直せよ 尚このいつもの書き出しは(2025/12/23 14:24:00)に書いてます。もう落とす気満々ですね まだ時間はある！頑張ります 今年で8年目ですがそうですか。.beerで知り合った方々、なんならその前のカニ時代やさらに初期に知り合った方々もまだまだ普通にいらっしゃってナニヨリです 閑話休題ポキン金太郎 記事を3本ほど書いていたのですが内容的に公開してもいいのだ…

me06.hatenablog.com · ME06’s diary

0
0
0
0
0
0
2
0
0
0
0
0
Erin Kissane @kissane@mas.to
Public
Shared by Jenniferplusplus

Happy holidays, fediverse!

I got you a megathrust earthquake, soil liquefaction, spine-tingling papers about the way our networks confound knowledge, and a PDF in a pear tree. It's my wrap on a year of trying to make sense of how we make sense of what's happening to us.

wrecka.ge/landslide-a-ghost-st

Landslide; a ghost story

On March 27, 1964, a converted liberty ship named the SS Chena brought a shipment of supplies to the port of Valdez, Alaska. Valdez, which I need you to know is pronounced “valDEEZ,” sits at the end of a fjord—a narrow inlet carved by a glacier.

www.wrecka.ge · wreckage/salvage

0
0
1
Prof. Emily M. Bender(she/her) @emilymbender@dair-community.social
Public
Shared by Quincy

"Men who sell machines that mimic people want us to become people who mimic machines. They want techno feudal subjects who will believe and do what they’re told. We, as people, are being strategically simplified. This is a fascist process."

organizingmythoughts.org/some-

Some Thoughts on Techno-Fascism From Socialism 2025

"This is the endgame of our isolation."

organizingmythoughts.org · Organizing My Thoughts

0
0
0
aeva @aeva@mastodon.gamedev.place
Public

i was thinking of maybe doing a live stream of me tinkering around in mollytime on new year's eve. i'm not 100% sure I'll actually be up for it, but if I were to would people be around and interested in watching? i'd be aiming to probably start around 10pm and go through midnight chicago time. if so, what's the best way to stream these kinds of things that isn't twitch? maybe youtube?

0
0
0
0
0
0
geeknews_bot @geeknews_bot@sns.lemondouble.com
Public

연봉 값을 하는 엔지니어의 비밀: "모르는 것(Ambiguity)"을 "할 수 있는 것"으로 바꾸는 기술
------------------------------

### *핵심 요점:*
* 시니어와 중간급 엔지니어를 가르는 결정적 차이는 불확실하고 모호한 문제를 구체화하는 능력임.
* 시니어의 가치는 코딩 기술 그 자체가 아니라, 프로젝트의 리스크를 제거하고 실행 가능한 계획으로 전환하는 데서 옴.
* 현재의 채용 관행(알고리즘 테스트 등)은 이러한 역량을 평가…
------------------------------
https://news.hada.io/topic?id=25300&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

연봉 값을 하는 엔지니어의 비밀: "모르는 것(Ambiguity)"을 "할 수 있는 것"으 | GeekNews

핵심 요점:시니어와 중간급 엔지니어를 가르는 결정적 차이는 불확실하고 모호한 문제를 구체화하는 능력임.시니어의 가치는 코딩 기술 그 자체가 아니라, 프로젝트의 리스크를 제거하고 실행 가능한 계획으로 전환하는 데서 옴.현재의 채용 관행(알고리즘 테스트 등)은 이러한 역량을 평가하는 데 실패하고 있음.진정한 성장은 코딩 전 단계에서 문제를 명확히 정의하는 연습

news.hada.io · GeekNews

0
0
0
0
0
0
0
0
0
뉴스봇 - 사회 @news_society@802.3ether.net
Public
Shared by 시오

李대통령 "희귀질환 지원 참 어려운 문제…'소수라 소외' 안 돼"
(서울=연합뉴스) 설승은 기자 = 이재명 대통령은 24일 희귀 질환을 겪는 환자들을 만나 지원책 마련에 힘을 쏟겠다고 약속했다.
yna.co.kr/view/AKR202512241045

李대통령 "희귀질환 지원 참 어려운 문제…'소수라 소외' 안 돼" | 연합뉴스

(서울=연합뉴스) 설승은 기자 = 이재명 대통령은 24일 희귀 질환을 겪는 환자들을 만나 지원책 마련에 힘을 쏟겠다고 약속했다.

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

0
0
0
0
0
0
0
0
0
뉴스봇 - 사회 @news_society@802.3ether.net
Public

李대통령 "희귀질환 지원 참 어려운 문제…'소수라 소외' 안 돼"
(서울=연합뉴스) 설승은 기자 = 이재명 대통령은 24일 희귀 질환을 겪는 환자들을 만나 지원책 마련에 힘을 쏟겠다고 약속했다.
yna.co.kr/view/AKR202512241045

李대통령 "희귀질환 지원 참 어려운 문제…'소수라 소외' 안 돼" | 연합뉴스

(서울=연합뉴스) 설승은 기자 = 이재명 대통령은 24일 희귀 질환을 겪는 환자들을 만나 지원책 마련에 힘을 쏟겠다고 약속했다.

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

0
0
0
Sang Hoon Lee @lshlj.bsky.social@bsky.brid.gy
Public
Shared by 드라코

얼마전에 유럽 생활을 하셨던 다른 교수님들과도 이야기했지만, '로켓배송'이 필요없는 것이 ... 한국에서는 그런 이름이 안 붙은 "일반" 배송도 유럽에 비하면 스타워즈에 나오는 하이퍼드라이브 초공간도약 배송 느낌이기 때문이다 ...

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
BS @everblue1223.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

공무원노조·전교조 위원장, ‘정치기본권 협의체’ 여당 약속에 단식 중단 vop.co.kr/A00001685208... 정치기본권 보장을 요구하며 단식에 돌입했던 이해준 전국공무원노조(공무원노조) 위원장과 박영환 전국교직원노동조합(전교조) 위원장이 24일 단식을 중단했다. 더불어민주당이 교원과 공무원의 정치기본권 보장 입법 추진을 위한 협의체 구성 요구를 수용하겠다고 응답하면서다. 다만, 두 노조는 “이것은 투쟁의 종료가 아니라 새로운 국면으로의 전환”이라며 “이제 이행을 지켜볼 것”이라고 밝혔다.

공무원노조·전교조 위원장, ‘정치기본권 협의체’ 여당 ...

0
0
0
5
0
0