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.

6

@BusterLike a DIYer dad, only gayer We can't do anything about federated reports at the moment, within Mastodon, as those aren't from an app.

However, the reporters' server would show the app, and this change would show if the user is bypassing content filtering: github.com/mastodon/mastodon/p

0
0
0
0
0

What happens when 90% of a country moves to a 4-day workweek with no reduction in pay? Good things happen.

"Icelandic reports show that productivity has remained stable, and even increased in some sectors. One of the keys to this success lies in improving the mental health of workers, a crucial aspect highlighted by Generation Z. The reduction in stress, combined with a better work-life balance, has had a significant positive impact on employee well-being."

farmingdale-observer.com/2025/

0
0
0
0
0
1
0
0
1
0
0
0
0

AutoGPS: Automated geometry problem solving via multimodal formalization and deductive reasoning. ~ Bowen Ping et als. arxiv.org/abs/2505.23381

arXiv logo

AutoGPS: Automated Geometry Problem Solving via Multimodal Formalization and Deductive Reasoning

Geometry problem solving presents distinctive challenges in artificial intelligence, requiring exceptional multimodal comprehension and rigorous mathematical reasoning capabilities. Existing approaches typically fall into two categories: neural-based and symbolic-based methods, both of which exhibit limitations in reliability and interpretability. To address this challenge, we propose AutoGPS, a neuro-symbolic collaborative framework that solves geometry problems with concise, reliable, and human-interpretable reasoning processes. Specifically, AutoGPS employs a Multimodal Problem Formalizer (MPF) and a Deductive Symbolic Reasoner (DSR). The MPF utilizes neural cross-modal comprehension to translate geometry problems into structured formal language representations, with feedback from DSR collaboratively. The DSR takes the formalization as input and formulates geometry problem solving as a hypergraph expansion task, executing mathematically rigorous and reliable derivation to produce minimal and human-readable stepwise solutions. Extensive experimental evaluations demonstrate that AutoGPS achieves state-of-the-art performance on benchmark datasets. Furthermore, human stepwise-reasoning evaluation confirms AutoGPS's impressive reliability and interpretability, with 99\% stepwise logical coherence. The project homepage is at https://jayce-ping.github.io/AutoGPS-homepage.

arxiv.org · arXiv.org

0
0
0
0
0

people say things like "breadboards are 10 MHz max" (basically true) from which they derive conclusions like "pin headers, which have the same pitch as a breadboard, are 10 MHz max" which are entirely false. although you do need to treat it like a transmission line above ~20 MHz or nothing will work

0
0
0
0
0
1
0
0

You run in the same limited circles for long enough and you start to pick up some very niche social signalling that you associate with “the cool kids”.

Unrelated, here’s a photo of my pocket reform ina coffee shop and Friendly Computer 2. I am valid.

Black pocket reform and black totem keyboard next to a flat white on a coffee shop table.Friendly Computer 2, a black and white zine boasting interviews with 100r and the tangara crew
0
1
0

The monthly update was published ✨

Ongoing issues with the Matrix chat room were addressed by recreating the room. Users are encouraged to join the new room, as the old room is deprecated. Security updates have been released for versions v11 and v7. Progress continues on the moderation feature funded by @nlnet. Work on federated user activity continues, including the ability to follow Forgejo users from GoToSocial.

forgejo.org/2025-05-monthly-up

0
0
0

"리박스쿨 강사진, 이재명 드론암살 선동한 전직 국정원 출신" "스카이데일리는 다수의 전직 국정원 직원이 참여한 언론" "협력 업체인 자유민주연구원은 국정원과 교류하며 자료를 유출, 선동에 사용" 박선원 의원 오늘 기자회견에서. www.nocutnews.co.kr/news/6348753...

0
0
0
0
0

Ancient Chinese star chart dated to 2,300 years ago may be the oldest ever, challenging astronomy history

A new study has re-ignited academic debate over the origins of the world’s earliest star chart, placing an ancient Chinese manuscript—the Star Manual of Master Shi—at the forefront of world astronomical history...

More information: archaeologymag.com/2025/05/chi

Follow @archaeologyArchaeology News :verified:

Ancient Chinese star chart dated to 2,300 years ago may be the oldest ever, challenging astronomy history

A new study has re-ignited academic debate over the origins of the world’s earliest star chart, placing an ancient Chinese manuscript—the Star Manual of Master Shi—at the forefront of world astronomical history. Using a cutting-edge artificial intelligence technique, researchers at the Chinese National Astronomical Observatories dated this manuscript to around 355 BCE, placing its origin over two centuries earlier than previously believed and making it the oldest star catalog ever discovered...
0
0
0
0

Hello Bubble, gibt es einen Beleg dafür, dass der Hinweis "tl;dr", der in den 2000er Jahren noch am Ende des Textes stand nur quasi als Bulletpoints an den Anfang vieler Artikel gewandert ist? Gerne Repost für Reichweite.

0
0
0
0
0

wlroots window capture progress: now it works with off-screen windows and popups are handled correctly!

Also added a small hack to render onto a transparent background. Will need a bit more work to clean that up.

Apart from that, the main remaining blocker is fixing interactions with various output-related Wayland events (preferred scale, transform, frame pacing etc).

gnome-calculator with a popup menu opened outside of the window bounds
0
0
0

"리박스쿨 강사진, 이재명 드론암살 선동한 전직 국정원 출신" "스카이데일리는 다수의 전직 국정원 직원이 참여한 언론" "협력 업체인 자유민주연구원은 국정원과 교류하며 자료를 유출, 선동에 사용" 박선원 의원 오늘 기자회견에서. www.nocutnews.co.kr/news/6348753...

0
0
0
0

“대선 후보도 하는데”…이준석 ‘성폭력 발언’에 번지는 혐오표현 www.khan.co.kr/article/2025... "김남희 민주당 의원은 지난달 29일 “이 후보의 성폭력 발언 이후 유세 현장에서 모방 범죄를 경험했다”고 밝혔다. 김 의원은 자신의 SNS에서 “선거운동을 하는 제 앞에 와서 이준석이 말한 바로 그 표현을 몇번이나 반복하고 가는 사람이 있었다”며 “공론의 장을 더럽히고 여성혐오적 표현을 유통해 피해자를 지속해서 만들고 있다”고 했다."

“대선 후보도 하는데”…이준석 ‘성폭력 발언’에 번지는...

0

경찰이 트위터 여론조작 조사하게 된다면, 1. 그리 큰 계정이 아닌 뜬금없는 유료 ID 2. 딱히 인기 있을 이유가 없는데 팔로잉/팔로어가 1만 넘는 ID 3. 정말 폭력적인 정치 트윗만 하는데 팔로/팔로어가 1000~3000 정도로 비슷한 ID 4. 작업계로 추정되는 ID들에서 공통으로 발견되는 팔로워 5. 스탑더스틸 등 특정 해시 태그 총공 초기 참여자. 중심으로 짚고 넘어가야. 사이비 종교 계열도 그렇고,새미래도 그렇고, 길티맛터 팬덤도 그렇고. 반쯤 체계적으로 한 사람이 ID 여러개 쓰는게 너무 티가 나요.

0
0

Countries on the edge of the Sahara desert are reversing desertification by just digging half circles.

The ground in these places is too compact for water to soak in during wet season which leads to flooding but digging these holes gives the water a place to stop and soak in. And they’re pushing back the desert with this. By just digging holes.

via what-even-is-thiss

justdiggit.org/about-us/



Aerial view of a sub-Saharan area from 2018-2022, showing reforestation.
0
0
0
0
0

A3D、何回考えてもチュートリアルシナリオのすぐ後に湖水に映る街を置いているの嘘だと思っている(古びた煙突の方が港ブーストを使えるので初心者に優しい)

0