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.

アオジ🦈 @aoGLDN@misskey.io

1/14/2026, 1:37:05 PM

Public

カメラのカラーフィルター機能で白黒にして適当にシャッターを切ったけど、楽しそうな予感がする

은열쇠🥨 @Silverkey027@mastodon.social

1/14/2026, 1:37:00 PM

Public

쿠팡의 간편결제 서비스 ‘쿠팡페이’가 전산망 분리 규정을 위반하고, 금융감독원 조사 기간 동안 조사를 방해 하고 은폐를 해 금융감독원 검사를 받게 되었다고. 쿠팡 측은 이에 대해 “개인 비위로 해고된 전 임원의 왜곡된 주장”이라고 입장을 내놓음

[단독] “데이터 숨겼어” 쿠팡 은폐 정황, 금감원 검사 착수
https://n.news.naver.com/mnews/article/056/0012104201?sid=101

[단독] “데이터 숨겼어” 쿠팡 은폐 정황, 금감원 검사 착수

KBS | 네이버 · 쿠팡은 금융감독원 검사도 받고 있는데, 여기서도 조사 방해, 은폐 의혹이 있습니다. 간편결제인 '쿠팡페이'가 전산망 분리 규정을 어겼고, 조사 기간엔 관련 증거를 숨겼다는 의혹입니다. 최인영 기자가 단독 보도합니다.

n.news.naver.com

カツサンド @K2SND@misskey.io

1/14/2026, 1:36:59 PM

Public

:oyasumi2:

Silverkey | 은열쇠 @silverkey.social@bsky.brid.gy

1/14/2026, 1:36:44 PM

Public

쿠팡의 간편결제 서비스 ‘쿠팡페이’가 전산망 분리 규정을 위반하고, 금융감독원 조사 기간 동안 조사를 방해 하고 은폐를 해 금융감독원 검사를 받게 되었다고. 쿠팡 측은 이에 대해 “개인 비위로 해고된 전 임원의 왜곡된 주장”이라고 입장을 내놓음 [단독] “데이터 숨겼어” 쿠팡 은폐 정황, 금감원 검사 착수 n.news.naver.com/mnews/articl...

[단독] “데이터 숨겼어” 쿠팡 은폐 정황, 금감원 검...

[단독] “데이터 숨겼어” 쿠팡 은폐 정황, 금감원 검사 착수

n.news.naver.com

에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy

1/14/2026, 1:36:31 PM

Public

'위약금 면제' KT 21만명 빠져나갔다…SKT 이탈 넘어서 수정2026.01.11. 오후 2:30 www.yna.co.kr/view/AKR2026...

'위약금 면제' KT 21만명 빠져나갔다…SKT 이탈 ...

'위약금 면제' KT 21만명 빠져나갔다…SKT 이탈 넘어서 | 연합뉴스

(서울=연합뉴스) 조성미 기자 = KT[030200]의 위약금 면제 조치 기간 다른 통신사로 옮겨간 가입자 규모가 앞선 SK텔레콤[017670]...

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

Hanse Mina @hanse_mina@mastodon.social

1/14/2026, 11:49:13 AM

Public

Shared by

Chao-c'

Just 17% of Americans approve of President Donald Trump's efforts to acquire Greenland, and substantial majorities of Democrats and Republicans oppose using military force to annex the island, a Reuters/Ipsos poll found.

https://www.reuters.com/world/europe/just-one-five-americans-support-trumps-efforts-acquire-greenland-reutersipsos-2026-01-14/

#Ukraine #russia #US #Trump #EU #Greenland #Denmark

Sebastiaan de With @sdw@threads.net

1/14/2026, 1:35:57 PM

Public

iPhone shots of a cold Amsterdam

May be an image of Rijksmuseum, boathouse, houseboat and text

May be an image of Rijksmuseum, bridge and text

May be an image of boat, Rijksmuseum, houseboat, boathouse and text

May be an image of lantern, twilight, street, lamppost and text

May be an image of street, twilight, lamppost, night and text

momoseijin🍑 @momoseijin@real-escape.jp

1/14/2026, 1:35:54 PM

Public

いろんな人の話を聞けば聞くほど国の制度はおかしいものばかり…
見栄えのいい話ばかりで、現実の問題を１つも解決していこうとしていない

Angry Discordant @enigmato.bsky.social@bsky.brid.gy

1/14/2026, 1:35:39 PM

Public

LLM으로 작업하는 거에서 정신나갈거 같은 노가다가 ... 줄긴 했지만 없지도 않음. 두시간동안 '똑같은 목적과 요지의' 프롬프트를 톤과 말을 이전 반응 보면서 반복적으로 고쳐서 계속 하고 있으면 약간 미친놈같은 짓을 멍하니 하고 있는 것 같은 노가다의 기분이 듬;

たも２ @tamo2@misskey.io

1/14/2026, 1:35:28 PM

Public

大判ホルダーの引札の裏表は、なんかデコボコ付いてるからそれで判断してる

Nadir/なでぃる @Nadir_RL@misskey.io

1/14/2026, 1:35:12 PM

Public

うわあ、立憲学会党ができるんですか :blobcat_pity:

Hacker News 500 @hn500@social.lansky.name

1/14/2026, 1:35:12 PM

Public

There's a ridiculous amount of tech in a disposable vape

Link: https://blog.jgc.org/2026/01/theres-ridiculous-amount-of-tech-in.html
Discussion: https://news.ycombinator.com/item?id=46591810

There's a ridiculous amount of tech in a disposable vape

So, I'm walking through a park when I see this thing lying on the ground: It's a disposable vape that someone has discarded because it's emp...

blog.jgc.org

에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy

1/14/2026, 1:35:09 PM

Public

이런 사실을 안 이광우 당시 경호본부장은 101단을 "배신자들"이라 칭하며 분노했는데, 부하직원들에 "다음에 오면 경찰에게 총을 쏘라"는 발언까지 한 것으로 파악됐습니다. 출동 거부에 더해 당시 101단장은 1차 영장집행 실패 다음날 경찰 특공대 철수를 결정했습니다. www.yonhapnewstv.co.kr/news/MYH2026...

[단독] 빈 버스 보낸 101단…尹경호처 "배신자 경찰...

[단독] 빈 버스 보낸 101단…尹경호처 "배신자 경찰 총쏴라"

[앵커]오는 16일 윤석열 전 대통령의 체포방해 사건이 선고됩니다.1년 전 경찰 101단은 "경찰이 경찰을 막을 수 없다"며 경호처의 체포방해 지시를 거부했는데요.경호처를 속이기

www.yonhapnewstv.co.kr · 연합뉴스TV

에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy

1/14/2026, 1:34:41 PM

Public

스님 줄어드는 절, ‘힙한 출가’ 다큐까지···조계종 출가자 수 5년째 ‘두자릿수’ 수정 2026.01.11 10:56 인구 감소 추세에 젊은층은 ‘탈종교화’ 조계종 출가자, 2021년 세자릿수 무너져 불교계, 단기 출가 등 청년층 접점 강화 www.khan.co.kr/article/2026...

스님 줄어드는 절, ‘힙한 출가’ 다큐까지···조계종 ...

스님 줄어드는 절, ‘힙한 출가’ 다큐까지···조계종 출가자 수 5년째 ‘두자릿수’

국내 최대 불교 종단인 조계종의 출가자 수가 5년째 두 자릿수에 머문 것으로 나타났다. 절 앞 댄스파티, ‘나는 절로’ 등 사찰 소개팅, 반려견과 함께 하는 ‘댕플스테이’ 등 최근 ‘힙불교’(힙한 불교) 바람이 불고 있지만, 정작 이런 현상이 출가자 수의 의미있는 증가로 이어지지 않고 있는 것이다. 11일 한국 불교 최대 종단인 대한불교조계종에 따르면...

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

かちかちなまこ @kachikachi_namako@misskey.io

1/14/2026, 1:34:30 PM

Public

:erasugiru:

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

에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy

1/14/2026, 1:34:12 PM

Public

서산에 서울 금천 쓰레기 120t 유입…“쓰레기도 포대갈이하냐” 시의원 직격 수정 : 2026-01-09 20:54:23 www.segye.com/newsView/202...

서산에 서울 금천 쓰레기 120t 유입…“쓰레기도 포대...

서산에 서울 금천 쓰레기 120t 유입…“쓰레기도 포대갈이하냐” 시의원 직격

수도권 생활폐기물 직매립 금지로 충남 지역에 생활쓰레기가 몰리자 ‘쓰레기 포대갈이’라는 비판과 함께 지역 반발이 거세지고 있다. 9일 충남 서산시에 따르면 서울 금천구의 생활쓰레기 120t이 서산에 유입된 것으로 확인됐다. 문수기 서산시의원은 이날 열린 임시회 본회의 5분 자유발언에서 “서산시에 서울 금천구의 생활쓰레기가 유입됐는데 해당 업체가 재활용 가능한 품목만 선별하고 나머지는 다시 관외로 반출한다고 설명했다”며 “그러나 이게 현실적으로 가능하냐”고 의문을 제기했다.

www.segye.com · 세계일보

뒹굴보노 @nose2k@sharlayan.in

1/14/2026, 1:33:59 PM

Public

모동숲 3.0 업뎃 됐다!

#모동숲 #동숲 #동물의숲

一般ユーザー.io @Ippan_user33@misskey.io

1/14/2026, 1:33:13 PM

Public

くらえ！<plain>ビーム！


에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy

1/14/2026, 1:33:13 PM

Public

입력2026.01.11. 오전 10:23 이화여대 젠더법학연구소, 17일 토론회…“여성 빈곤 문제, 연금 구조 속 성차별 해소부터 시작해야” 국내외 사례 비교 통해 정책·입법 과제 진단…“돌봄·비정규직 중심 구조 바뀌지 않으면 격차 지속” www.womennews.co.kr/news/article...

“여성의 노후는 왜 더 가난한가” 초고령사회 속 젠더 ...

“여성의 노후는 왜 더 가난한가” 초고령사회 속 젠더 연금 불평등 조명

서정순 기자 · 한국이 초고령사회로 접어든 가운데, 여성 노인의 빈곤 문제 해결을 위한 성별 노후소득보장 격차 해소 방안이 본격 논의된다.이화여자대학교 젠더법학연구소는 오는 17일 오후 2시, 이화여대 법학관 131호에서 ‘초고령사회 도래와 성별 노후소득보장 격차 해소의 과제’를 주제로 토론회를 연다

www.womennews.co.kr · 여성신문

에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy

1/14/2026, 1:32:36 PM

Public

기초연금 수급자 10명 중 6명은 여성 수정2026.01.10. 오후 2:54 여성 수급자 403만명으로 남성보다 20%p 높아 단독가구 48%…여성은 의료·돌봄 수요도 더 높아 고흥 87% vs 서초 24.5%…농어촌과 대도시 간 수급률 격차도 뚜렷 www.womennews.co.kr/news/article...

기초연금 수급자 10명 중 6명은 여성

기초연금 수급자 10명 중 6명은 여성

서정순 기자 · 국내 기초연금 수급자 중 여성 비중이 남성보다 높은 것으로 나타났다. 기초연금은 전체 노인의 약 70%가 수급 대상이 되도록 설계된 제도로, 일정 소득·자산 기준을 충족할 경우 지급된다.보건복지부가 5일 발표한 ‘2024년 통계로 본 기초연금’에 따르면, 2024년 기준 전체 수급자

www.womennews.co.kr · 여성신문

Chris Heilmann @codepo8@toot.cafe

1/14/2026, 1:32:18 PM

Public

OK here is one of the wilder one-liners I've written lately, anyone wager to guess what it does?

たも２ @tamo2@misskey.io

1/14/2026, 1:32:14 PM

Public

お酒…いいっすか？

だめ

에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy

1/14/2026, 1:32:00 PM

Public

발트3국 라트비아 에스토니아 리투아니아 '대인지뢰협약' 공식 탈퇴 수정 2025.12.28 10:06:23 지난 6월 오타와협약( 대인지뢰사용금지조약) 탈퇴 예고 12월 27일 3국 정부 공식 탈퇴 성사.."국방력 강화 위해" www.newsis.com/view/NISX202...

발트3국 라트비아 에스토니아 리투아니아 '대인지뢰협약...

도날드 투스크 폴란드 총리가 지난 3월 7일 폴란드 바르샤바의 하원에서 연설하고 있다.리투아니아, 라트비아, 에스토니아 등 발트 3국과 폴란드는3월18일 러시아가 북대서양조약기구(나토)의 최전선 국가들에 위협을 가함에 따라 대인지뢰를 금지하는 오타와 협약에서 탈퇴의사를 밝혔고 6월에는 유엔에 공식통보했다. 이에 따라서 6개월후인 12월 27일엔 공식 탈퇴가..

발트3국 라트비아 에스토니아 리투아니아 '대인지뢰협약' 공식 탈퇴

뉴시스 · [서울=뉴시스] 차미례 기자 = 발트 3국인 라트비아, 에스토니아, 리투아니아가 27일(현지시간) 대인지뢰 금지 국제조약인 오타와 협약에서 공식적으로 탈퇴했다고 선언했다. 라트비아 외무부의 다이아나 에글리트 공보관은 라트비아가 6개월 전에 이미 대인지뢰금지협약의 탈퇴원서를 유엔사무총장에게 제출했고 이 날 효력이 발생했다고 밝혔다. 리투아니아 국방부이 로베르..

www.newsis.com · 뉴시스

白沙飴しろまる(いそがしめ) @ovoip@mi.shiromaru.work

1/14/2026, 1:31:46 PM

Public

:kani2:

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

1/14/2026, 1:31:18 PM

Public

소프트웨어 엔지니어링의 향후 2년 news.hada.io/topic?id=25769 좋은 말씀 넘어가고 여기서 말하는 낙관적 시나리오는 개발자들보다는 사장(1인 사장 포함)한테 꿈 같은(N) 방향 같음. 모든 분야의 쥬니어가 바이브코딩을 하는. 비전문가 비전공자 생각인데 컴공과(CS) 붐은 다시 올 거 같음. 격변기에 반드시 기본이 있는 쥬니어 수요가 생김. 부트캠프로 해결이 안 되는. AI 믿다가 대형 사고 몇 번 나면 그렇게 될 것이다. MBA처럼 학벌/학력/사회성 인증 시스템으로라도 작용할 걸...

소프트웨어 엔지니어링의 향후 2년 | GeekNews

소프트웨어 엔지니어링의 향후 2년 | GeekNews

AI 에이전트 기반 개발이 자동완성 수준을 넘어 실제 작업 수행 단계로 진입하며, 소프트웨어 엔지니어링의 역할과 진입 구조가 빠르게 흔들리고 있음주니어 채용 감소와 효율성 중심 조직이 동시에 나타나며, 소수의 숙련 인력이 AI 도구로 더 많은 일을 처리하는 구조 확산코딩 자체보다 검증·설계·판단 능력이 중요해지며, AI 출력물을 다룰 수 있는 인간 역량이

news.hada.io · GeekNews

커미션 메인게시글 김자갈 @pebble001.bsky.social@bsky.brid.gy

1/11/2026, 5:13:43 AM

Public

Shared by

스우🧀GameDev

#커미션 #그림커미션 #급전커미션 돈이 급한 관계로... 2인 만화 한 컷! 커미션 엽니다. 풀채색 두상 기준 40000원 문의 : open.kakao.com/o/sujLCmtf

독촉하며 2주 요양 군 @gunu93.bsky.social@bsky.brid.gy

1/14/2026, 1:28:57 PM

Public

Shared by

스우🧀GameDev

그림이 하도 안그려져서 낙서만 이으으어어어어아아아삭 ㅠ ㅠ ㅠㅠㅠㅠㅠㅠㅠ 눈물만 하나 짜려다가 아무 개성도 없어서 버리고 자캐 소멸했는데 이프

Figgy @fig@theforkiverse.com

1/14/2026, 1:30:49 PM

Public

Inspector is inspecting. Where is the cheez?

비형 @noisily.bsky.social@bsky.brid.gy

1/14/2026, 1:30:27 PM

Public

굿노트 쓰시는 블친분 있나요... 이렇게 되었음 결제 안되는거 맞나요??

犬速 @inusoku@misskey.io

1/14/2026, 1:30:25 PM

Public

ピザもぐもぐ #双葉杏

Nadir/なでぃる @Nadir_RL@misskey.io

1/14/2026, 1:30:21 PM

Public

彩度上げるなを高らかに叫びつつVelvia使ってたら期限切れの牛乳かけてあげましょうね

amos @fasterthanlime@hachyderm.io

1/14/2026, 1:30:21 PM

Public

*freeze frame* that's me. you're probably wondering how I got here!

well, to understand that; it's best to go commit-by-commit.

NTSK @ntek@hl.oyasumi.dev

1/14/2026, 1:30:18 PM

Public

あたしえらい、全部書いてた　https://in-deep.blue/archives/884

Let’s Encrypt+Gehirn DNSでのdns-01チャレンジとHAProxy連携

今更ながら、ワイルドカード証明書が無料ってすごい時代ですね。　弊ドメインはマネージドなDNSサービスとしてG...

in-deep.blue · ./lab

Hacker News 50 @hn50@social.lansky.name

1/14/2026, 1:30:07 PM

Public

I Hate GitHub Actions with Passion

Link: https://xlii.space/eng/i-hate-github-actions-with-passion/
Discussion: https://news.ycombinator.com/item?id=46614558

I Hate Github Actions with Passion

I can’t overstate how much I hate GitHub Actions. I don’t even remember hating any other piece of technology I used. Sure, I still make fun of PHP that I remember from times of PHP41, but even then I didn’t hate it. Merely I found it subpar technology to other emerging at the time (like Ruby on Rails or Django). And yet I hate GitHub Actions. With Passion2. Road to Hell Day before writing these words I was implementing build.rs for my tmplr project. To save you a click - it is a file/project scaffold tool with human readable (and craftable) template files. I (personally) use it very often, given how easy it is to craft new templates, by hand or with aid of the tool, so check it out if you need a similar tool.

xlii.space

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

1/14/2026, 1:29:39 PM

Public

130k lines of formal topology in two weeks: Simple and cheap autoformalization for everyone? ~ Josef Urban. https://arxiv.org/abs/2601.03298v1 #ITP #Mizar #LLMs #Math #Autoformalization

130k Lines of Formal Topology in Two Weeks: Simple and Cheap Autoformalization for Everyone?

This is a brief description of a project that has already autoformalized a large portion of the general topology from the Munkres textbook (which has in total 241 pages in 7 chapters and 39 sections). The project has been running since November 21, 2025 and has as of January 4, 2026, produced 160k lines of formalized topology. Most of it (about 130k lines) have been done in two weeks,from December 22 to January 4, for an LLM subscription cost of about \$100. This includes a 3k-line proof of Urysohn's lemma, a 2k-line proof of Urysohn's Metrization theorem, over 10k-line proof of the Tietze extension theorem, and many more (in total over 1.5k lemmas/theorems). The approach is quite simple and cheap: build a long-running feedback loop between an LLM and a reasonably fast proof checker equipped with a core foundational library. The LLM is now instantiated as ChatGPT (mostly 5.2) or Claude Sonnet (4.5) run through the respective Codex or Claude Code command line interfaces. The proof checker is Chad Brown's higher-order set theory system Megalodon, and the core library is Brown's formalization of basic set theory and surreal numbers (including reals, etc). The rest is some prompt engineering and technical choices which we describe here. Based on the fast progress, low cost, virtually unknown ITP/library, and the simple setup available to everyone, we believe that (auto)formalization may become quite easy and ubiquitous in 2026, regardless of which proof assistant is used.

arxiv.org · arXiv.org

포도 @pododang@kurry.social

1/14/2026, 1:29:36 PM

Public

#하울수프26 에 아오바와 참여합니다! ><

https://x.com/i/status/2011395203933020600

かぼぷ @acy334@misskey.io

1/14/2026, 1:29:32 PM

Public

ホルダーに書いてるとその番号で記番してくれるからね...

독촉하며 2주 요양 군 @gunu93.bsky.social@bsky.brid.gy

1/14/2026, 1:28:57 PM

Public

Memes made to run on Linux @memesmadetorunonlinux@techhub.social

1/14/2026, 1:28:57 PM

Public

Micr*soft 🥲

#windows #windows10 #windows11 #win10 #win11 #ai #pc #linux #opensource #it #tech #technology #humor #humour #meme #memes #programming

ねぐるみ @mumumuphoto@misskey.io

1/14/2026, 1:28:03 PM

Public

DACほしいなぁ

かぼぷ @acy334@misskey.io

1/14/2026, 1:27:08 PM

Public

ワイはホルダーは連番付与、A面B面管理しているなぁ
その上で暗い時に認識できるように撮影済のテプラを黒側右に貼って指で触っても識別できるようにしてるなぁ

NotImpressed @NotImpressed@mas.to

1/14/2026, 1:27:03 PM

Public

RE: https://mas.to/@NotImpressed/115893643916570397

According to The Cradle, Haaretz, Citizen Lab and Social Forensic investigated the Israeli influence targeting Persian language social media. Entire networks of fake accounts pushing fake stuff, deep fakes, fabricated reports...they don't just divulge content, they incite unrest.
In particular, Persian twitter is one of the most heavily manipulated online spheres. Around 95%, 95% of so called "pro-monarchy" account on X are fake.
That's a lot.

#Iran #US #Israel #NotOrganicProtests

みそらーめん @m77@mi.ap-log.net

1/14/2026, 1:25:34 PM

Public

無邪気に遊んでいる　これいけるんだ

millennial falcon @falcennial@mastodon.social

1/14/2026, 1:02:05 PM

Public

Shared by

Evan Prodromou

Jan 2026 vibe check: cities.

vote gets the data.
boost gets more data.

Rikuoh Tsujitani @riq0h@letter.mystech.ink

1/14/2026, 1:24:59 PM

Public

エグすぎてエッグタルトになった。

@O_Zone_666@misskey.io

1/14/2026, 1:24:50 PM

Public

@kagehoushi@misskey.io

1/14/2026, 1:24:47 PM

Public

ピンチヒッター指定解除になったけど、一日が :kyomu: になった… :blob_mu:

しろのねこ @shironeko@misskey.io

1/14/2026, 1:24:46 PM

Public

どうせいつもの如く「人生経験だと思って買っちゃおうね」が発動して予算オーバーするのは目に見えてる…

José A. Alonso @Jose_A_Alonso@mathstodon.xyz

1/14/2026, 1:24:39 PM

Public

Formal verification for JavaScript regular expressions: A proven mechanized semantics and its applications. ~ Aurèle Barrière, Victor Deng, Clément Pit-Claudel. https://dl.acm.org/doi/pdf/10.1145/3776710 #ITP #RocqProver

林あらた @hayashialata@misskey.io

1/14/2026, 1:24:04 PM

Public

Shared by

とるねど🕊️

小指をぶつけたキングクリムゾン

Syntax	Description	Examples
`"` keyword `"`	Finds the string within quotes, including spaces. Case-insensitive. (Escape quotes inside with `\"`)	`"Hackers' Pub"`
`from:` handle	Finds content written by the specified user.	`from:hongminhee` `from:hongminhee@hollo.social`
`lang:` ISO 639-1	Finds content written in the specified language.	`lang:en`
`#` tag	Finds content with the specified tag. Case-insensitive.	`#HackersPub`
condition condition	Finds content that satisfies both conditions on either side of the space (logical AND).	`"Hackers' Pub" lang:en`
condition `OR` condition	Finds content that satisfies at least one of the conditions on either side of the OR operator (logical OR).	`#HackersPub OR "Hackers' Pub" lang:en`
`(` condition `)`	Combines the operators within the parentheses first.	`(#HackersPub OR "Hackers' Pub" OR "Hackers Pub") lang:en`