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.

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

[단독]경찰, 尹부부 '캣타워 횡령 의혹' 본격 수사 착수 수정2025.06.13. 오후 4:18 尹 부부 관저→사저 이사 과정서 포착된 '캣타워' 수백만 원대로 추정…정의연대 "국가예산 횡령" 고발 서초경찰서, 전날 고발인 조사 진행 www.nocutnews.co.kr/news/6354621...

[단독]경찰, 尹부부 '캣타워 횡령 의혹' 본격 수사 ...

[단독]경찰, 尹부부 '캣타워 횡령 의혹' 본격 수사 착수

경찰이 윤석열 전 대통령 부부가 국가 예산으로 고가의 캣타워와 편백나무 욕조 등을 구매해 횡령을 저질렀다는 의혹에 대해 수사에 착수했다. 13일 CBS노컷뉴스 취재를 종합하면, 서울 서초경찰서는 전날 윤 전 대..

www.nocutnews.co.kr · 노컷뉴스

0
0
0
BS @everblue1223.bsky.social@bsky.brid.gy
Public

한남충들의 집게손 어쩌구는 물론 자존감도 있겠지만(당연히 자존감 얘기는 저 이대남 한남충들 조롱하는 언어다 저놈들은 조롱받아 마땅하다) 제일 큰 문제는 온 사회가 저 말도 안 되는 똥꾸릉내 나는 개쌉헛소리를 매우 진지하게 들어주고 열심히 재생산하는데에 힘을 실어주고 있다는게 가장 큰 문제일듯 괜히 한남민국이 아니다 후..

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

평택 물류센터서 30대 노동자 차량 끼임 사고로 사망···경찰, 수사 입력 2025.06.13 21:40 www.khan.co.kr/article/2025...

평택 물류센터서 30대 노동자 차량 끼임 사고로 사망·...

평택 물류센터서 30대 노동자 차량 끼임 사고로 사망···경찰, 수사

경기 평택의 한 물류센터에서 30대 노동자가 작업 중 차량 끼임 사고로 숨져 경찰이 수사를 벌이고 있다. 경기 평택경찰서는 지난 12일 오후 4시 58분쯤 평택시 포승읍에 있는 코스트코코리아 물류센터에서 짐싣기 작업을 하던 중국 국적의 30대 노동자 A씨가 숨졌다고 13일 밝혔다. 경찰과 고용노동부는 A씨가 물류센터에서 운송 보조업무를 하던 중 후진하...

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

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

‘노동자 끼임 사망’ SPC삼립 시화공장 압수수색 영장 발부 입력 2025.06.13 21:18 법원, 경찰 압수영장 신청 4번째만에 www.khan.co.kr/article/2025...

‘노동자 끼임 사망’ SPC삼립 시화공장 압수수색 영장...

‘노동자 끼임 사망’ SPC삼립 시화공장 4차례 시도 끝에 압수수색 영장 발부

50대 노동자가 기계에 끼여 숨진 SPC삼립 시화 제빵공장에 대해 경찰이 네번째 신청한 압수수색 영장이 발부됐다. 경기 시흥경찰서는 13일 수원지법 안산지원이 SPC삼립 시화공장에 대한 압수수색 영장을 발부했다고 밝혔다. 법원은 경찰이 사고 수사를 위해 공장 등을 대상으로 신청한 압수수색 영장에 대해 그동안 3차례 기각한 바 있다. 경찰은 법원이 지난...

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

0
0
0
1
0
0
Cory Doctorow @pluralistic@mamot.fr
Public

If there's anything that illustrated the hollowness of the Democratic Party as an effective opposition for me, it's this.

Yesterday, I watched a video of a sitting US Senator being thrown to the ground and cuffed by fed goons for asking questions of the fed official he has direct oversight authority over.

Within minutes, I'd gotten DOZENS of texts from Dems and Dem orgs asking for $5-$50 to "fight fascism."

That's it. "Are you terrified that your country is slipping into fascism? Pay me."

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
탄핵이 인용되면 그 때 비로소 청순가련 하리!! @grndfan.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

지금은 그 밖에도 수없이 많은 이유들로 인해 절대 하지 않겠다는 입장이지만... 예전에 골프를 찍먹까지는 해봤었거든. 근데... 스크린이나 연습장에서 기초 배우고 나서 필드 처음 나가는 걸, '머리 올린다' 라고 하거든... 나 골프 배운다는 소리 듣고 주변에서 자꾸 머리 올리러 가자고!!! 그러는 거 너무 징그러워서 손 뗀 적 있음.

0
0
0
0
0
0
시아란 🌌 Private @siaranics.siaran.kr@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

이상을 추구하지 않으면 전진할 이유가 없고, 현실을 추구하지 않으면 전진할 방법이 없다. 이 두 가지는 무조건 동시에 고려해야지 둘 사이에서 무엇이 더 본질적인지 논하는 것은 무의미하고, 그걸 논하느라 전진을 주장하는 사람들끼리 서로 다투는 것이야말로 전진에 어떠한 도움도 되지 않는다. 서로가 이상론자를 조롱하고 현실론자를 모욕하는 동안에는 아무도 전진하지 못한다. 오늘까지의 경험을 토대로 한 개인적 정견이다.

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

MATP-BENCH: Can MLLM be a good automated theorem prover for multimodal problems? ~ Zhitao He et als. arxiv.org/abs/2506.06034

arXiv logo

MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

Numerous theorems, such as those in geometry, are often presented in multimodal forms (e.g., diagrams). Humans benefit from visual reasoning in such settings, using diagrams to gain intuition and guide the proof process. Modern Multimodal Large Language Models (MLLMs) have demonstrated remarkable capabilities in solving a wide range of mathematical problems. However, the potential of MLLMs as Automated Theorem Provers (ATPs), specifically in the multimodal domain, remains underexplored. In this paper, we introduce the Multimodal Automated Theorem Proving benchmark (MATP-BENCH), a new Multimodal, Multi-level, and Multi-language benchmark designed to evaluate MLLMs in this role as multimodal automated theorem provers. MATP-BENCH consists of 1056 multimodal theorems drawn from high school, university, and competition-level mathematics. All these multimodal problems are accompanied by formalizations in Lean 4, Coq and Isabelle, thus making the benchmark compatible with a wide range of theorem-proving frameworks. MATP-BENCH requires models to integrate sophisticated visual understanding with mastery of a broad spectrum of mathematical knowledge and rigorous symbolic reasoning to generate formal proofs. We use MATP-BENCH to evaluate a variety of advanced multimodal language models. Existing methods can only solve a limited number of the MATP-BENCH problems, indicating that this benchmark poses an open challenge for research on automated theorem proving.

arxiv.org · arXiv.org

0
0
0
0
0
0
Sarah Rainsberger @sarah11918@mastodon.social
Public

Excited for this! We went over the in-progress Live Content Collections feature docs on Talking and Doc'ing yesterday... because Astro is a streaming empire now.

Want a sneak peek before the API bash? Get warmed up?

youtube.com/live/YTX8xI6PLXo?s

(And, subscribe on YouTube to get notified whenever @astro goes live!)

Talking and Doc'ing, 12 June 2025

Join Astro Docs maintainers as we work on the docs! We could be triaging issues, merging PRs, writing recipes, working on Starlight... something different ev...

www.youtube.com · YouTube

0
0
0
탄핵이 인용되면 그 때 비로소 청순가련 하리!! @grndfan.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

지금은 그 밖에도 수없이 많은 이유들로 인해 절대 하지 않겠다는 입장이지만... 예전에 골프를 찍먹까지는 해봤었거든. 근데... 스크린이나 연습장에서 기초 배우고 나서 필드 처음 나가는 걸, '머리 올린다' 라고 하거든... 나 골프 배운다는 소리 듣고 주변에서 자꾸 머리 올리러 가자고!!! 그러는 거 너무 징그러워서 손 뗀 적 있음.

0
0
0
0
0
0
1
0
0
0
0
0
Dave Letorey @dletorey@front-end.social
Public

My most wonderful friends (and fellow @webstandardsLondon Web Standards organiser) are cutting off their Dreads at Glastonbury festival to help raise money for children orphaned by WAR!
Why is this even a thing?
If can help please donate

gofundme.com/f/hannah-dans-hai

Donate to Hannah & Dan’s Haircut For Charity, organized by Dan Salter

We have decided it’s time for both of us to get a haircut, and thought it would be great… Dan Salter needs your support for Hannah & Dan’s Haircut For Charity

www.gofundme.com · gofundme.com

0
0
0
1
0
0
1
0
0
0
0
0
시아란 🌌 Private @siaranics.siaran.kr@bsky.brid.gy
Public

이상을 추구하지 않으면 전진할 이유가 없고, 현실을 추구하지 않으면 전진할 방법이 없다. 이 두 가지는 무조건 동시에 고려해야지 둘 사이에서 무엇이 더 본질적인지 논하는 것은 무의미하고, 그걸 논하느라 전진을 주장하는 사람들끼리 서로 다투는 것이야말로 전진에 어떠한 도움도 되지 않는다. 서로가 이상론자를 조롱하고 현실론자를 모욕하는 동안에는 아무도 전진하지 못한다. 오늘까지의 경험을 토대로 한 개인적 정견이다.

0
0
0
1
0
0
이찬진 @chanjin65@threads.net
Public

스레드 프로필에 최대 5개까지 링크를 추가할 수 있게 바뀐 걸 그동안 모르고 있었네요.

필요한 분들에게는 중요한 기능 개선인데 저는 특별히 필요가 없다보니 모르고 지나친 것 같습니다.

그동안 페이스북 페이지 링크 하나만 있었는데 X(Twitter) 프로필 링크를 하나 더 추가했습니다. ^^
#스레드 개선

RE: https://www.threads.com/@metanewsroom/post/DJrcp5dMi93

Meta Newsroom (@metanewsroom) on Threads

Threads update 🧵: You can now add up to 5 links in your bio (check ours out to see it in action). https://about.fb.com/news/2025/03/new-threads-features-more-personalized-experience-you-control/

www.threads.com · Threads

0
0
0
0
0
0
1
0
0
Jessica @rooster@beige.party
Public
Shared by Christine Lemmer-Webber

Prior to getting my Masters and PhD in Nuclear Engineering at Berkeley I was a nuclear trained officer on a submarine. After graduating I worked in reactor core design at a nuclear company. I now work as a nuclear physicist at a national lab.

I just wanted to establish my bona fides before assuring you that yes, your assumption is correct that bombing any kind of nuclear infrastructure is dangerous and reckless as fuck.

0
0
0
0
0
1
0
0
0
0
0
0
Elena Rossini ⁂ @_elena@mastodon.social
Public
Shared by v4rd4453n

Dear Fedi friends,

By now you might have seen the post announcing the release of my promotional video for the Fediverse. But in case you have boosts turned off, here we go: news.elenarossini.com/fedivers

I posted about it this morning from my account because I have a 5000 character limit there. And I had so many people to thank for their help. It really takes a village.

Thank you for all the wonderful feedback so far ❤️

📺 Introducing the Fediverse: a New Era of Social Media

A 4 minute video that aims to introduce the Fediverse to people not familiar with it

news.elenarossini.com · Elena Rossini

Link author: Elena Rossini ⁂@_elena@mastodon.social

0
0
0
1
0
0