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
W3C Developers @w3cdevs@w3c.social
Public

The @w3cWorld Wide Web Consortium SHACL 1.2 Rules specification is an addition to the Shapes Constraint Language (SHACL) family of documents. It provides a standardized way to express and evaluate declarative rules that generate new data (as triples) by inference on existing RDF data.
▶️ w3.org/TR/shacl12-rules/

Feedback welcome: github.com/w3c/data-shapes/iss

SHACL 1.2 Rules

This document describes Shapes Constraint Language (SHACL) Rules.

www.w3.org

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

The equational theories project: Advancing collaborative mathematical research at scale. ~ Terence Tao et als. arxiv.org/abs/2512.07087

arXiv logo

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas.

arxiv.org · arXiv.org

0
0
0
0
0
0
밤🌙 @midnight-layla.bsky.social@bsky.brid.gy
Public

현대 AU 밧슈가 보고싶다 아무래도 미국 청년 같지? 이름은 사실 배쉬하면 러시아어라고 나오지만… 남서부쪽에 살 것 같다 뉴욕같은 삭막한 도시랑은 전혀 어울리지 않는 밧슈 밧슈는 역시 바다랑 어울린다니까?

0
0
0
0
0
0
0
0
0
0
0
0
서담 @joshi_no01@threads.net
Public

사랑의 진정한 의미를 담는 순간들

1. 상대방의 작은 변화에도 관심 갖기
2. 말하기보다 먼저 귀 기울이기
3. 조건 없는 이해와 존중하기
4. 상처 주지 않는 진심 전하기
5. 서로의 다름을 인정하기
6. 작은 배려로 마음 녹이기
7. 함께 성장하는 관계 만들기

0
0
0
0
0
0
歐洲動態(國際) @europechinese@mstdn.social
Public

法國第一夫人 Brigitte Macron 近日私下罵女權活躍人士為一群「臭八婆」（ sales connes ），這番言論引來廣泛抨擊，有執政黨議員批評用字不優雅

europechinese.blogspot.com/202

法國第一夫人斥女權人士「臭八婆」 執政黨議員稱用字不優雅

法國雜誌 Public 星期一發放影片， 顯示第一夫人碧姬（Brigitte Macron）罵女權活躍人士為一群「臭八婆」（sales connes） ，這番言論引來廣泛抨擊。

europechinese.blogspot.com

0
0
0
1
0
0
1
0
0
0
0
0
1
0
0
✦괴교✦ @guigoo78@milkiyatelier.quest
Public
Shared by 고양이귀 후드단 단장 Judah :verified_mustard:



1차위주 자캐질하며 놀아요. 요즘 더블크로스를 많이 해요. 이 계정에선 덥크말고도 다른 1차 자캐 이야기도 합니다. 흔적 남겨주시면 찾아뵙겠습니다.

RE: https://milkiyatelier.quest/notes/afv79gt1txzw2ytx

0
0
0
2
0
1
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
어둠사자 @gnh1201@catswords.social
Public

개발자 망한다, AI로 대체된다 이러지만 실상은...

사람들이 개발이다 기술이다라고 떠드는 CRUD 노가다 말고

진짜 심연은 말야...

그 무엇도 대체를 안해줘서 고민이다.

AI가 우리를 자유케해주는 건가 했지만, AI조차 "너도 끌려왔어? 응 나도" 신세일 뿐...

2
0
0
0
0
0
1
0
0
0
0
0
IndieAuthors.Social News @indieauthornews@indieauthors.social
Public
Shared by Quincy

I called my recipe book Sabzi – vegetables. But the name was trademarked. And my legal ordeal began

The granting of patents and trademarks to foods and words from the global south is part of a long colonial grab. It’s time to realise we share what we cook, and what we call it Vegetables, in my experience,…
theguardian.com/food/commentis

I called my recipe book Sabzi – vegetables. But the name was trademarked. And my legal ordeal began

The granting of patents and trademarks to foods and words from the global south is part of a long colonial grab. It’s time to realise we share what we cook, and what we call it

www.theguardian.com · the Guardian

0
0
0
0
0
0
Justin Thomas @jdt@enigmatick.social
Public
Shared by just small circles 🕊

Does the #Bluesky bridge thing use some kind of odd content-type when requesting profile data? I'm seeing these errors in my logs when my server tries to retrieve posts (as part of my reply retrieval functions):

[2025-12-09T00:59:33Z ERROR enigmatick::retriever] Failed to fetch object from remote. URL: https://bsky.brid.gy/convert/ap/at://did:plc:oofa3qqoiszsmajbigfqskqv/app.bsky.feed.post/3m7egmddbwk2h, Status: 502 Bad Gateway, Body: <!doctype html>
    <html lang=en>
    <title>502 Bad Gateway</title>
    <h1>Bad Gateway</h1>
    <p>Couldn't fetch https://enigmatick.social/user/jdt as ActivityStreams 2: Couldn't decode as JSON</p>

If I'm reading that right, my retriever is failing because the bridge is trying to retrieve my profile and can't convert it to JSON. But I verified that my profile is provided as JSON for requests with these Accept header types:

  • application/json
  • application/activity+json
  • application/ld+json
  • application/ld+json; profile="https://www.w3.org/ns/activitystreams

…so I can't figure out what it's complaining about. I'll need to watch my varnish logs to see if I can capture one of the requests live from that perspective.

#ActivityPub

0
0
0
0
0
0
0
0
0
PeerTube @peertube@framapiaf.org
Public
Shared by just small circles 🕊

Our goal with is to enable everyone to host their videos on a respectful platform, free from advertising or tracking.

Developing the PeerTube software comes at a cost, but we have chosen to finance it through solidarity: it is your donations that enable us to offer software of this caliber!

If you wish and are able to, please support us at support.framasoft.org

Support Framasoft

Because freedom doesn’t means it’s free…

soutenir.framasoft.org

0
0
0
1
0
0
1
0
0
0
0
1
쯔방 :yuri: :yurigarden: :garden: @pbzweihander@yuri.garden
Public
Shared by 쯔방 :yuri: :yurigarden: :garden:

스페이스엔지니어 서버를 연다면 같이 가끔 하실 분들을 구합니다
서버는 제가 열거고 님은 게임을 보유한채로 몸만 오시면 됨

현재 구해진 인원: 저포함 2명...

서버에서 할 것: 혼자서 채광을 하셔도 되고 같이 뭔가를 만들어도 되고 해적을 잡아도 되고...

모드: 필요하시면 추가해드립니다 기본적인 편의모드와 성능모드는 추가할 예정

0
0
0
Lambert Heller @Lambo@openbiblio.social
Public
Shared by Frédéric Jacobs

RE: mastodon.social/@dw_innovation

So cool, what @dw_innovation is offering here! Feeling grateful for publicly funded, independent journalism...
It's considering not only online surveillance + censorship, but poor connectivity, the potential of peer-to-peer connectivity, avoiding the app store bottleneck etc.

0
0
0
0
0
0

Street Art Utopia shared the below article:

Funny Street Art (9 Photos)

STREET ART UTOPIA @streetartutopia@streetartutopia.com

This collection features playful ideas found in public spaces: a makeshift “Hollywood” hill, a tree given googly eyes, a reimagined deer sign with Santa’s sleigh, an invisible man’s flip-flops, a squirrel drawn into the steps, a sign that doesn’t want to be read, a snowman mailbox, painted shadow flowers, and a Simpsons character placed under blooming branches. More: Funny Signs (8 Photos) 1. Hollywood Hill — (Location Unknown) A pile of dirt is turned into a miniature […]

Read more →
0
0
0
한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public

경기도 구리시를 서울시 구리구로 바꾸는 구리시의 ‘서울 편입’ 추진과 관련해 구리시의회가 구리시의 서울 편입안이 타당성을 갖추고 있다며 원안을 가결했습니다.

구리 ‘서울 편입’ 추진 본격화…시 “의회 요구 반영해...

구리 ‘서울 편입’ 추진 본격화…시 “의회 요구 반영해 보완책 마련”

경기도 구리시를 서울시 구리구로 바꾸는 구리시의 ‘서울 편입’ 추진과 관련해 구리시의회가 "타당성을 갖추고 있지만 보완 대책을 마련하라”는 의견을 시에 전달했다. 이에 시는 대책을 마련한 뒤 절차를 밟겠다는 뜻을 밝혔다. 구리시의회는 9일 오전 본회의장에서 ‘경기도와

www.hani.co.kr · 한겨레

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

Funny Street Art (9 Photos)

STREET ART UTOPIA @streetartutopia@streetartutopia.com

This collection features playful ideas found in public spaces: a makeshift “Hollywood” hill, a tree given googly eyes, a reimagined deer sign with Santa’s sleigh, an invisible man’s flip-flops, a squirrel drawn into the steps, a sign that doesn’t want to be read, a snowman mailbox, painted shadow flowers, and a Simpsons character placed under blooming branches. More: Funny Signs (8 Photos) 1. Hollywood Hill — (Location Unknown) A pile of dirt is turned into a miniature […]

Read more →
0
0
0
fefe_interim @fefe_interim@mastodon.social
Public

"Schwachkopf" 2.0: Merz beauftragt Agentur mit Verfolgung von Beleidigungen.

"In mindestens zwei Fällen führten Merz-Strafanträge zu Hausdurchsuchungen – etwa bei einem Mann, der ihn „drecks Suffkopf“ genannt hatte. [...] Bei einer schwerbehinderten, jüdischstämmigen Rentnerin im Rollstuhl, die Merz als „kleinen Nazi“ bezeichnet hatte, wurde trotz sofortigen Geständnisses das Mobiltelefon beschlagnahmt, das sie für Arzt- und Pflegekontakte benötigte."

focus.de/politik/deutschland/m

Merz stellte Hunderte Strafanträge - Hausdurchsuchung bei behinderter Rentnerin

Friedrich Merz hat seit 2021 Hunderte Strafanträge wegen Beleidigungen gestellt. Teilweise nutzte er dafür eine umstrittene Agentur. Dadurch kam es auch zu Hausdurchsuchungen - unter anderem bei einer schwerbehinderten Rentnerin.

www.focus.de

0
0
0
1
0
0
1
0
0