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
3
0
0
0
0
0
1
0
0
[랜선효도] 제주감귤🍊 @jejuorange.bsky.social@bsky.brid.gy
Public
Shared by realgsong

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

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

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

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

news.hada.io · GeekNews

0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
Steve's Place @steter@mastodon.stevesworld.co
Public
Shared by Chao-c'

You guys in Europe don't get it. I was raised watching that shit. Trump is a gangster right out of The Untouchables TV show, not the movie. I'm freaking out that the EU thinks it's negotiating with a president. It's negotiating with an absolutely ruthless, made for TV, crime syndicate, with armies. This is not a negotiation. He's going to tell you, and you are going to do, or else. Then he will take Greenland, anyway.

You can't negotiate with a terrorist or a gangster. Ffs!

0
0
0
0
0
0
1
0
0
1
0
0
은열쇠🥨 :ivory_boost: @Silverkey027@mastodon.social
Public

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

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

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

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

n.news.naver.com

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

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

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

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

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

n.news.naver.com

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
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 · 연합뉴스

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

www.segye.com · 세계일보

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

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

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

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

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

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

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
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 · 여성신문

0
0
0
0
0
0
1
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
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 · 뉴시스

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

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

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

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

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

news.hada.io · GeekNews

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
Hacker News 50 @hn50@social.lansky.name
Public

I Hate GitHub Actions with Passion

Link: xlii.space/eng/i-hate-github-a
Discussion: news.ycombinator.com/item?id=4

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

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

130k lines of formal topology in two weeks: Simple and cheap autoformalization for everyone? ~ Josef Urban. arxiv.org/abs/2601.03298v1

arXiv logo

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

0
0
0
0
0
0