What is Hackers' Pub?

스키 없어도 잘 달려!…크로스컨트리 경기장 뛰어든 개, ‘비공식 20위’

2026 밀라노·코르티나담페초겨울올림픽 경기 중 대형견 한 마리가 경기장에 난입해 선수들과 함께 결승선을 통과하는 장면이 펼쳐졌다. 지난 18일(한국시각) 이탈리아 태세로의 크로스컨트리 스키 스타디움에서 열린 크로스컨트리 스키 여자 팀 스프린트 예선 경기가 진행되던 중

www.hani.co.kr · 한겨레

[뉴스분석]자사 AI 기술 병기로 쓰지 말랬더니 “공급망 배제”···앤트로픽 대 펜타곤 ‘윤리 갈등’

미 국방부가 자사 기술을 자국민 감시나 ‘완전 자율 살상무기’(AWS)에 활용하지 말라고 요구한 인공지능(AI) 스타트업 앤트로픽을 중국과 같은 적대국 기업에나 적용하는 ‘공급망 위험 업체’로 지정하는 방안을 검토 중인 것으로 알려졌다. AI를 활용한 전투·무기개발이 지나치게 빨리 확산하고 있는데 반해 국제적 규범은 부재한 상황에서, 이번 사안은 AI...

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

[뉴스분석]자사 AI 기술 병기로 쓰지 말랬더니 “공급망 배제”···앤트로픽 대 펜타곤 ‘윤리 갈등’

미 국방부가 자사 기술을 자국민 감시나 ‘완전 자율 살상무기’(AWS)에 활용하지 말라고 요구한 인공지능(AI) 스타트업 앤트로픽을 중국과 같은 적대국 기업에나 적용하는 ‘공급망 위험 업체’로 지정하는 방안을 검토 중인 것으로 알려졌다. AI를 활용한 전투·무기개발이 지나치게 빨리 확산하고 있는데 반해 국제적 규범은 부재한 상황에서, 이번 사안은 AI...

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

스키 없어도 잘 달려!…크로스컨트리 경기장 뛰어든 개, ‘비공식 20위’

2026 밀라노·코르티나담페초겨울올림픽 경기 중 대형견 한 마리가 경기장에 난입해 선수들과 함께 결승선을 통과하는 장면이 펼쳐졌다. 지난 18일(한국시각) 이탈리아 태세로의 크로스컨트리 스키 스타디움에서 열린 크로스컨트리 스키 여자 팀 스프린트 예선 경기가 진행되던 중

www.hani.co.kr · 한겨레

Pavel přijme kandidáta Motoristů na ministra životního prostředí Červeného

Prezident Petr Pavel se ve čtvrtek ráno setká s kandidátem na ministra životního prostředí Igorem Červeným (Motoristé). Stejně jako při schůzkách s ostatními potenciálními ministry před vznikem vlády Andreje Babiše (ANO) si chce vyslechnout jeho názory. Pavel předpokládá, že Červeného jmenuje v pondělí 23. února. Babišův kabinet by se tím zkompletoval a zaniklo by pověření šéfa diplomacie Petra Macinky (Motoristé), aby řídil i ministerstvo životního prostředí.

ct24.ceskatelevize.cz

How AI is affecting productivity and jobs in Europe

Artificial intelligence promises to reshape economies worldwide, but firm-level evidence on its effects in Europe remains scarce. This column uses survey data to examine how AI adoption affects productivity and employment across more than 12,000 European firms. The authors find that AI adoption increases labour productivity levels by 4% on average in the EU, with no evidence of reduced employment in the short run. The productivity benefits, however, are unevenly distributed. Medium and large firms, as well as firms that have the capacity to integrate AI through investments in intangible assets and human capital, experience substantially stronger productivity gains.

cepr.org · CEPR

스키 없어도 잘 달려!…크로스컨트리 경기장 뛰어든 개, ‘비공식 20위’

2026 밀라노·코르티나담페초겨울올림픽 경기 중 대형견 한 마리가 경기장에 난입해 선수들과 함께 결승선을 통과하는 장면이 펼쳐졌다. 지난 18일(한국시각) 이탈리아 태세로의 크로스컨트리 스키 스타디움에서 열린 크로스컨트리 스키 여자 팀 스프린트 예선 경기가 진행되던 중

www.hani.co.kr · 한겨레

Vercel, Geist Pixel 폰트 공개 | GeekNews

Geist Sans/Mono의 기반 위에 만들어진 픽셀 그리드 기반 비트맵형 서체로, 정밀하고 의도적인 디지털 감각을 지닌 폰트다섯 가지 서로 다른 변형(Square, Grid, Circle, Triangle, Line) 을 제공하며, 픽셀 단위의 일관된 구조로 가독성과 리듬감을 유지기존 픽셀 폰트가 겪는 확장성·호환성 문제를 해결하도록 설계되어, 실제 제

news.hada.io · GeekNews

英相官邸首席捕鼠官！ 「賴瑞」迎來就職15週年

#英國 #首相官邸 #捕鼠官 #賴瑞 英國首相官邸首席捕鼠官第一貓咪賴瑞，15號迎來就職15週年。2011年2月，賴瑞被當時的英國首相卡麥隆相中，希望靠牠解決首相官邸的鼠患問題。賴瑞也從流浪貓搖身一變，成了唐寧街10號的第一貓。賴瑞上任至今歷經6任首相，地位不動如山，堪稱英國政壇最穩定的「官員」。✨歡迎收看並訂閱...

www.youtube.com · YouTube

딥페이크 피해 막자는 법안에 “반대” 2900건···똑같은 문장 ‘복붙’, 누가 ‘좌표’ 찍었나

딥페이크(불법합성물) 피해 확산을 방지하기 위해 발의된 법안에 2900건이 넘는 ‘반대’ 의견이 국회 홈페이지에 달린 것으로 나타났다. ‘정부의 악의적 삭제 요구’ ‘사업자에게 과도한 책임 부과’ 등 동일한 문장이 수백개의 게시물에 반복해 포함됐다. 피해방지법안 제정에 반대하는 일각에서 ‘좌표찍기’식으로 반대 의견을 올리고 있는 것으로 보인다. 18일...

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

‘졸업앨범 유포 금지를 약속’…딥페이크 위협에 올해도 등장한 서약서 [플랫]

‘졸업앨범 제작과 관련해 본인의 증명사진(개인사진) 사용을 원하지 않는 학생은 담임교사에게 개별적으로 문의해 주시기 바랍니다.’ 전북의 한 중학교는 지난해 가을 졸업앨범 제작을 준비하며 ‘졸업앨범 관련 딥페이크(불법합성물) 범죄 예방 안내’라는 제목의 가정통신문을 배포했다. 가정통신문에는 졸업앨범에 사진이 담기길 원치 않은 학생의 의견을 수용하겠다는 ...

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

윤석열 내란죄, 오늘 오후 3시 1심 선고…사형이냐 감형이냐

윤석열 전 대통령의 내란 1심 선고는 고위공직자범죄수사처(공수처)와 검찰, 특별검사의 수사를 통해 법정에 선 윤 전 대통령의 내란 수괴(우두머리) 혐의를 법원이 처음으로 판단한다는 점에서 12·3 내란 관련 재판의 핵심으로 꼽힌다. ‘현직 대통령의 내란’이라는 유례없는

www.hani.co.kr · 한겨레

Learning Lean: Part 1

Motivation I’ve been captivated by the recent movement to popularize mathematics formalization through the Lean theorem prover, and this year I’m diving deeper into learning it. For those unfamiliar with this revolution, I highly recommend watching Kevin Buzzard’s talks on YouTube for an overview of why formal mathematics is generating such excitement in the mathematical community. The immediate benefits of formalization are well-documented: it helps catch errors in proofs and reduces the need for trust between collaborators since every step is mechanically verified. However, I believe there’s another compelling advantage that’s less frequently discussed: formalization enables a better separation of concerns in mathematical writing.

rkirov.github.io · Rado's Radical Reflections