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.

1
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
시오 @tun_able@daepi.so
Public
예상보다 너무 형편없는 점수를 받아서, 일단 이의제기 한 번 찔러보고 다시 쳐야지... 네트워크관리사 2급 하나 가지고 너무 오래 끄는 거 아닌가 몰라.
0
0
0
0
0
0
1
0
0
0
0
0
밤🌙 @midnight-layla.bsky.social@bsky.brid.gy
Public

아 오늘 뭔가 불안햐… 사실 오늘… 뭔가… 일이 일어난게 제 룸메가 원인이라고 들었거든요… 어제까지만 해도 룸메랑 택배 언박싱하는거 도와주고 내용물 구경하고 수다떨고 곧 생일이라 같이 식당에 가기로 했는데 내가 오고부터 학원에 안 좋은 일 일어나면 룸메가 연관된 경우가 많아서… 그렇다고 룸메 나쁜 사람은 아니라고 생각하거든요… 저랑 룸메는 같은 반이 아니니 뭔가 제가 모르는 사정이 있을거라고 생각합니다만 그래도 같이 지내서 그런지 안 좋은 말 돌고 그러는데 나도 기분이 안 좋음… 어떻게 해야할지도 모르겠음…

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

The story of Erdős problem #1026. ~ Terence Tao. terrytao.wordpress.com/2025/12

The story of Erdős problem #1026

Problem 1026 on the Erdős problem web site recently got solved through an interesting combination of existing literature, online collaboration, and AI tools. The purpose of this blog post is to try…

terrytao.wordpress.com · What's new

0
0
0
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
5
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
Justin Thomas @jdt@enigmatick.social
Public
Shared by 🫧 socialcoding..

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 🫧 socialcoding..

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