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
1
0
0
Patrick Sudlow @patricksudlow@mastodon.social
Public
Shared by earthling

'483 killed, 1,200 bodies withheld, 1,298 violations by Israel in 100 days of the Gaza ‘ceasefire’
For Palestinians in Gaza, there has been no peace, no pause, and no protection — only a slower, colder, and more calculated form of destruction.'
open.substack.com/pub/palestin

483 killed, 1,200 bodies withheld, 1,298 violations by Israel in 100 days of the Gaza ‘ceasefire’

For Palestinians in Gaza, there has been no peace, no pause, and no protection — only a slower, colder, and more calculated form of destruction.

palestinewillbefree.substack.com

0
0
0
NEW 도마뱀 @lizardy_l@b-starhire.cc
Public

https://posty.pe/ytvkhd

3D 멀미 방지 프로그램이래!!

3D 멀미 방지 프로그램 <멀미 안녕>: DOMYO

3D 멀미 방지 프로그램 <멀미 안녕>을 무료로 공유합니다. [ 최신 수정 버전 1.4.0 ]입니다. 구버전을 다운받아주신 분들은 최신 버전으로 교체해주세요! *OBS / 녹화 / 캡쳐 사용시 프로그램이 보이지 않습니다. *자세한 사용법은 zip 파일 안 읽어주세요 / 영상 참고해주세요! [사용법] https://youtu.be/AKmb50FIEGQ 다운로드: 사용법: 파일 안 <멀미 안녕.exe>을 실행해주세요! [핀 고정]: 기본적으로 창은 핀이 고정되어 있는 상태입니다! 이 버튼을 한번 더 누르시면 [핀 해제]로 변경되며 고정 효과가 사라집니다. 창의 사이즈는 기본적으로 양쪽에 바를 이동하여 조절할 수 있지만 [전체화면] 버튼을 누르면 전체화면 사이즈로 자동으로 변경됩니다. [화면잠금]: 전체화면인 상태 / 게임 중 전체화면 에서도 작동되며 위에 있는 버튼을 누르지만 않는다면 이 창을 위에 둔 상태로 화면 조작이 가능합니다. 반드시 전체화면으로 게임을 즐기고 싶으신

www.postype.com · DOMYO

0
0
0
라쿤 덱스터 @raccoondaxter.bsky.social@bsky.brid.gy
Public
Shared by Silverkey | 은열쇠

어머니께서는 동물이 얼마나 클지 궁금하다면 발을 보라고 하셨다. 발이 통통허이, 큼직허이, 기골이 장대할 상이다. 또 배가 빵빵허이, 통통허이, 맘마도 잘 먹을 상이니. 장차 여름이 보다 더 커다란 식빵 고양이가 되겠다 싶다. .

RE: https://bsky.app/profile/did:plc:oiudtfqttbvjo6zsmb3mbrtb/post/3md3wjhbywk2h

창천동 찹쌀주먹 (@summerj.bsky.social)

This author has chosen to make their posts visible only to people who are signed in.

bsky.app · Bluesky Social

0
0
0
1
0
0
0
0
0
0
0
0
하들리랜덤 live long and prosper! @hardlyrandom@iqhina.org
Public
한참전에 페이스북 계정을 하나 더 만들어지나해서 만들었다가 들어가보지도 않고 글도 하나도 안올리고 뭐 그랬던 계정이 있는데... 어느날 중국어 메세지 같은게 휙 지나가길래 맥에서 웹으로 접속해보니 죄 중국어... 아이폰앱으로 접속하면 또 한국어...

맥오에스_웹에서 접속하려고 패스워드를 넣으면 지메일로 뭘 보냈으니 그 숫자를 입력하라고 중국어로;;; 그거 입력하면 왓츠앱으로 보낸 숫자를 또 입력하라고 하고 (덕분에 왓츠앱 안쓴지 십년은 된거 같은데 다시 까니까 그리로 숫자가 오긴 또 옴)

일단 그 페이스북에 연결된 Gmail은 계정 우리말구어체 영자 타이핑 아주 긴 비번으로 싹 바꾸고... 페이스북도 결국은 앱에서 본 내 계정의 활동은 특별히 뭔가 해킹당한 것은 없는 것도 같아서... 에라 중국어로 씌여있지만 비번 바꾸라는 말 듣고 모험하는 마음으로 바꿈...

웹으로 접속해서 중국어 번역기로 언어설정란에 가보니 얼레... 맥에서 웹으로 접속한 페이스북의 언어설정은 중문으로 되어 있네? 에잉????

내가 이렇게 바꿨을리가 없잖어... 중국어 특히 간체는 내가 더더욱 모르는데

기분이 영...

중국어로 언어설정이 바뀐 거 말고는 일단 특별한 것은 없는 것 같은데... 이거... 싹 해킹해서 가지고만 있다가 아직 내 아이디는 사용전이었던건가?

아리송송...
0
0
0
1
0
0
널부렁🎗️ @lyingdownbear.bsky.social@bsky.brid.gy
Public

v.daum.net/v/BUtE3dfzLm 고영님이 만짐을 허락하시는데 학교따위가 다 무어냐

"아이가 매일 지각한다"는 선생님 말에 몰래 뒤따라갔다...

"아이가 매일 지각한다"는 선생님 말에 몰래 뒤따라갔다가 마주한 광경

애니멀 플래닛 · 매일 아침 일찍 집을 나서는데도 이상하게 자꾸 학교에 늦는다는 아들의 소식을 들은 엄마는 깊은 고민에 빠졌습니다. 학교 선생님의 걱정 섞인 연락에 엄마는 아들이 혹시 딴길로 새는 것은 아닌지 확인하기 위해 직접 아들의 등굣길을 몰래 뒤따라가 보기로 했습니다. 집에서 학교까지는 걸어서 불과 10분 정도밖에 걸리지 않는 가까운 거리였습니다. 엄마는 멀리서 아들

v.daum.net · 다음 - 애니멀 플래닛

0
0
0
0
0
0
Catboard @ojo82.bsky.social@bsky.brid.gy
Public

챗GPT에 대한 논란이 많긴 하지만 이것 하나만큼은 박수를 쳐주고 싶음. 학기말 평가를 작성할 때 어떻게든 좋은 말을 해줄 수 없는 학생일 경우 냅다 있는 그대로의 행동발달상황을 쓰면 두루뭉술 중언부언 말장난 잘 하는 챗GPT가 내용없는 미사여구로 바꾸어 줌. 저는 제가 직접 쓰는 걸 좋아해서 도움을 받지도 않았고 운이 좋게도 도움이 필요한 학생이 없었으나 아는 분이 일년 내내 전교 선생님을 힘들게 했던 담당학생 평가로 괴로워하시기에 알려드림. 결과: 매우 속시원하게 할 말을 다 쓰고도 아무런 문제될 문구가 없어 신통방통해 함.

0
0
0
2
0
0
0
0
0
0
0
0
1
0
0
Patrick Sudlow @patricksudlow@mastodon.social
Public

'483 killed, 1,200 bodies withheld, 1,298 violations by Israel in 100 days of the Gaza ‘ceasefire’
For Palestinians in Gaza, there has been no peace, no pause, and no protection — only a slower, colder, and more calculated form of destruction.'
open.substack.com/pub/palestin

483 killed, 1,200 bodies withheld, 1,298 violations by Israel in 100 days of the Gaza ‘ceasefire’

For Palestinians in Gaza, there has been no peace, no pause, and no protection — only a slower, colder, and more calculated form of destruction.

palestinewillbefree.substack.com

0
0
0
0
0
0
0
0
0
라쿤 덱스터 @raccoondaxter.bsky.social@bsky.brid.gy
Public

사실 저는 아직도 러시아 사람들의 저 모습을 기다리고 있습니다. 무표정하고 딱딱해보이지만 그 누구보다 감정적이고 연민을 알고 정의를 아는 사람들입니다. 제가 봐온 러시아 역사 속 사람들은 그랬습니다. 그러니 역사가 언젠가 다시 정상궤도로 올라갈 때, 그 선봉에는 분명 러시아 사람들도 함께할거라 믿습니다.

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

Verified polynomial-time reductions in Lean 4: formalizing the complexity of decision-relevant information. ~ Tristan Simas. arxiv.org/abs/2601.15571

arXiv logo

Verified polynomial-time reductions in Lean 4: formalizing the complexity of decision-relevant information

We present a Lean 4 framework for polynomial-time reductions and complexity-theory proofs, and use it to formalize the complexity of identifying decision-relevant information. Problem: given a decision problem, which coordinates suffice to compute an optimal action? (SUFFICIENCY-CHECK; explicit encodings). Verified complexity results (Lean): coNP-complete; $(1-\varepsilon)\ln n$ inapproximable (from SET-COVER); $2^{Ω(n)}$ lower bounds under ETH for succinct encodings; W[2]-hard for a natural parameterization; and a dichotomy between explicit and succinct models. Formalization contributions: bundled Karp reductions with polynomial-time witnesses; composition lemmas/tactics; and templates for NP/coNP and $Σ_2^P$ membership and hardness. Scale: about 5,600 lines of Lean across 36 files, with 230+ theorems and explicit polynomial bounds.

arxiv.org · arXiv.org

0
0
0
0
0
0
0
0
0
Bryan King (W8DBK) @bdking71@mastodon.social
Public
Shared by Chao-c'

Washington’s 3D printing ban could lock down your printers and chill innovation nationwide ⚠️🛠️. Makers, hobbyists, and small shops take note!

bdking71.wordpress.com/2026/01

Home workshop with multiple 3D printers, mechanical parts, and scattered STL files. One 3D printer displays a red ‘access denied’ warning, representing Washington’s proposed 3D printing restrictions. Dramatic workshop lighting emphasizes tension, innovation, and the impact of regulatory laws on makers and hobbyists.

Washington’s 3D Printing Crackdown: What Every Maker Needs to Know Before the Switch Flips

Washington’s proposed 3D printing ban threatens hobbyists, small shops, and the 3D printing industry nationwide. Learn how new laws, firmware restrictions, and SCOTUS precedents could affect makers…

bdking71.wordpress.com · Bryan King

Link author: Bryan King@bdking71.wordpress.com@bdking71.wordpress.com

0
0
0
0
0
0
갯 @mshrimp2@planet.moe
Public

260124의 주제는
1.추락
다들... 떨어지는 꿈 꿀때 키 클거라고 좋아하지 않았나요?
저는 버스가 덜컹해서 내려앉을 때 떨어진 것 가지고 깼답니다
2.소꿉친구
누구보다 잘못 대한 적이 많은 사람
3.돌아보지 않는 등
그대의 마지막 뒷모습

0
0
0
라쿤 덱스터 @raccoondaxter.bsky.social@bsky.brid.gy
Public

어머니께서는 동물이 얼마나 클지 궁금하다면 발을 보라고 하셨다. 발이 통통허이, 큼직허이, 기골이 장대할 상이다. 또 배가 빵빵허이, 통통허이, 맘마도 잘 먹을 상이니. 장차 여름이 보다 더 커다란 식빵 고양이가 되겠다 싶다. .

RE: https://bsky.app/profile/did:plc:oiudtfqttbvjo6zsmb3mbrtb/post/3md3wjhbywk2h

창천동 찹쌀주먹 (@summerj.bsky.social)

This author has chosen to make their posts visible only to people who are signed in.

bsky.app · Bluesky Social

0
0
0
1
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
leyrer @leyrer@23.social
Public

"Conscious consumption" arises out of the tradition that gave us Margaret Thatcher's maxim, "There is no such thing as society. There are individual men and women and there are families and no government can do anything except through people and people look to themselves first."
pluralistic.net/2026/01/22/opt

Pluralistic: The petty (but undeniable) delights of cultivating unoptimizability as a habit (22 Jan 2026) – Pluralistic: Daily links from Cory Doctorow

pluralistic.net

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