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
1
0
0
0
0
0
wvc @wvc@bsd.cafe
Public

@stefanoStefano Marinelli BTW do you know some guides to move NetBSD root partition to external USB drive? I'm thinking about running NetBSD on an old RPi but use SD card just for /boot. Because in my experience NetBSD's performance on SD is awful with any card I've tried.

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

On the averaging problem of ideal families related to Frankl's conjecture with formal proof by Lean 4. ~ Masahiro Hachimori, Kenji Kashiwabara. arxiv.org/abs/2504.13454

arXiv logo

On the Averaging Problem of Ideal Families Related to Frankl's Conjecture with Formal Proof by Lean 4

Frankl's conjecture, also known as the union-closed sets conjecture, can be equivalently expressed in terms of intersection-closed set families by considering the complements of sets. It posits that any family of sets closed under intersections, and containing both the ground set and the empty set, must have a ``rare vertex'' -- a vertex belonging to at most half of the members of the family. The concept of \emph{average rarity} describes a set family where the average degree of all the elements is at most half of the number of its members. Average rarity is a stronger property that implies the existence of a rare vertex. This paper focuses on ideal families, which are set families that are downward-closed (except the ground set) and include the ground set. We present a proof that the normalized degree sum of any ideal family is non-positive, which is equivalent to saying that every ideal family satisfies the average rarity condition. This proof is formalized and verified using the Lean 4 theorem prover.

arxiv.org · arXiv.org

0
0
0
daisuke @dai@hackers.pub
Public

ニュース「Discourse、Fediverseと連合できるActivityPubプラグインを案内」公開 https://gihyo.jp/article/2025/04/discourse-activitypub-plugin

Discourse、Fediverseと連合できるActivityPubプラグインを案内 | gihyo.jp

コミュニティフォーラムソフトウェアのDiscourseは、2年前にFediverseと接続するためにActivityPubプラグインを開発を始めたが、今回改めて2025年4月現在のActivityPubプラグインの機能を案内した。

gihyo.jp · gihyo.jp

3
0
0
0
0
0
0
0
0
드라코 @draco@pointless.chat
Public
Shared by 은열쇠🥨 :ivory_boost:

"집만 보러 갔는데도 비용 청구?"…공인중개사 '임장비' 추진 논란
n.news.naver.com/article/437/0

안그래도 퍼센트로 수수료 먹으면서
양심이 없네?

"집만 보러 갔는데도 비용 청구?"…공인중개사 '임장비' 추진 논란

JTBC | 네이버 · 공인중개사협회가 공인중개사와 함께 부동산 매물을 직접 살펴보러 가는 '임장' 활동에도 비용을 지불하도록 하는 방안을 추진하기로 했습니다. 공인중개사협회는 올해 중점 과제로 '임장 기본보수제'를 우선 도입하겠다는 방침

n.news.naver.com

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
gihyo.jp @gihyojp@threads.net
Public

ニュース「Discourse、Fediverseと連合できるActivityPubプラグインを案内」公開 https://gihyo.jp/article/2025/04/discourse-activitypub-plugin

Discourse、Fediverseと連合できるActivityPubプラグインを案内 | gihyo.jp

コミュニティフォーラムソフトウェアのDiscourseは、2年前にFediverseと接続するためにActivityPubプラグインを開発を始めたが、今回改めて2025年4月現在のActivityPubプラグインの機能を案内した。

gihyo.jp · gihyo.jp

0
0
0
드라코 @draco@pointless.chat
Public

"집만 보러 갔는데도 비용 청구?"…공인중개사 '임장비' 추진 논란
n.news.naver.com/article/437/0

안그래도 퍼센트로 수수료 먹으면서
양심이 없네?

"집만 보러 갔는데도 비용 청구?"…공인중개사 '임장비' 추진 논란

JTBC | 네이버 · 공인중개사협회가 공인중개사와 함께 부동산 매물을 직접 살펴보러 가는 '임장' 활동에도 비용을 지불하도록 하는 방안을 추진하기로 했습니다. 공인중개사협회는 올해 중점 과제로 '임장 기본보수제'를 우선 도입하겠다는 방침

n.news.naver.com

0
0
0
0
0
0
릴룸 :ff14_crystal_dnc: @LilyNight@sharlayan.in
Public
Shared by 세랄이 :annoying_dog: :seralness:

혹시 연합우주의 일본어 잘알 계신가요 질문이 있습니다
야리타이, 와 시타이, <-의 뉘앙스적 차이는 뭔가요
번역은 둘 다 하고싶다, 정도로 갈음되던데 보통 쓰이는 뉘앙스가 궁금함
(이 툿은 호기심이 해결되면 지워집니다)

0
0
0
0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

Sustain your creative drive in the face of technological change

Link: thecreativeindependent.com/peo
Discussion: news.ycombinator.com/item?id=4

Multi-disciplinary artist Jack Rusher on the need to sustain your creative drive in the face of technological change – The Creative Independent

Multi-disciplinary artist Jack Rusher discusses habit as excellence, what scientists and artists have in common, and the influence of AI on creativity.

thecreativeindependent.com

0
0
0
lionhairdino @lionhairdino@hackers.pub
Public

완전한 검정 배경에 하얀 글자는 대비가 높아, 눈에 잔상이 남습니다. 눈의 피로를 덜기 위해 다크 모드를 주 톤으로 선택했다면, 대비를 적당 수준으로 낮춰야 합니다. 나이가 올라갈 수록 영향을 받습니다. 모르시는 분들이 많은 것 같습니다.

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

사람을 상대로도 감사는 딱히 감사를 받아줄 사람에게서 돌아올 뭔가를 생각하면서 해야 하는 게 아닐 텐데. 나 자신이 범사에 감사할 줄 아는 사람으로서 살아가기 위한 거지. 마치 가게에서 계산 마치고 "감사합니다"라고 인사하는 것은 산소의 낭비라는 이야기처럼 들린다.

0
0
0
0
0
0
1
0
0
0
0
0
wakest ⁂ @liaizon@social.wake.st
Public

was looking into @natenate parrott's @feeeed app and came across their work on (
nateparrott.com/stacks/index.h), really wish someone would build something like this for the fediverse. The accounts themselves could already existing fedi accounts and you make a special client app that attaches the "theme" to individual posts with css using some special

Stacks – a social network for building social networks

nateparrott.com

0
0
0
0
0
0
0
0
0
0
0
0
BSKY・美夜・MIYA・ @miyabreaction.bsky.social@bsky.brid.gy
Public

パビリオンが間に合わなくて、トイレもすぐ詰まって、鉄道も止まって、渋滞しすぎて帰れなくなるような大阪万博なんかに金つぎ込むより、地方都市インフラと能登震災に税金回しておけばよかったんだよ。 もう日本は終わりだ。衰退国だ。 mainichi.jp/articles/202...

八潮陥没事故、本格復旧に5～7年　運転手救出は5月中旬以降 ...

八潮陥没事故、本格復旧に5～7年　運転手救出は5月中旬以降 | 毎日新聞

　埼玉県八潮市で1月、道路が陥没してトラックが転落した事故で、県は23日、周辺の下水道の本格的な復旧と対策工事の完了には5～7年かかるという見通しを示した。トラックの運転手は行方不明のままで、県は今年5月中旬以降に救出に当たる方針。

mainichi.jp · 毎日新聞

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

LLM에게 예의 챙기는 게 왜 낭비일까? 누군가/무언가에게 업무를 의뢰하는 나 개인의 예절의식을 보전하기 위한 과정인데? 그게 낭비일 것 같으면 감정적 수요로 인한 모든 LLM 사용이 낭비임. 아니, 그냥 인간 감정의 존재 자체가 낭비임. 그런 관점에 서 있고 싶지는 않다.

0
0
0
daniel:// stenberg:// @bagder@mastodon.social
Public

How the CNA thing is working out for

daniel.haxx.se/blog/2025/04/24

How the CNA thing is working out

Do you remember how curl became a CNA early last year? I was reminded that I had not really gotten back to this topic and explained to you, my dear readers, how it is and how it has worked out. This curl-being-a-CNA thing I mean. CNA stands for CVE Numbering Authority. Every CNA has the … Continue reading How the CNA thing is working out →

daniel.haxx.se · daniel.haxx.se

0
0
0
0
0
0
0
0
0
릴룸 :ff14_crystal_dnc: @LilyNight@sharlayan.in
Public

혹시 연합우주의 일본어 잘알 계신가요 질문이 있습니다
야리타이, 와 시타이, <-의 뉘앙스적 차이는 뭔가요
번역은 둘 다 하고싶다, 정도로 갈음되던데 보통 쓰이는 뉘앙스가 궁금함
(이 툿은 호기심이 해결되면 지워집니다)

0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

“이제는 성소수자 지키는 민주주의로”…대선 후보에 21개 국정과제 요구 입력 2025.04.24 15:10 www.khan.co.kr/article/2025...

“이제는 성소수자 지키는 민주주의로”…대선 후보에 21...

“이제는 성소수자 지키는 민주주의로”…대선 후보에 21개 국정과제 요구

성소수자 단체가 오는 21대 대통령 선거에서 차별금지법 제정, 혼인 평등 실현 등 성소수자를 위한 21개 국정과제를 대선공약에 포함하라고 후보자와 정당에 요구했다. 성소수자 권리 실현을 위한 전국 49개 인권단체 연합인 무지개행동은 24일 오전 서울 종로구 세종문화회관 앞에서 ‘제21대 대선 성소수자 국정과제 요구안 발표 기자회견’을 열었다. 이들은 ...

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

0
0
0
ashbless @ashbless79.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

출입국관리공무원이 시민들에게 신분증을 요구할 수 있느냐는 물음에 법무부는 출입국관리법을 근거로 들었다. 법무부는 "대한민국에 체류하는 외국인에게 출입국관리공무원이나 권한 있는 공무원이 그 직무수행과 관련하여 여권 등의 제시를 요구할 수 있다"고 밝혔다. -> "그 직무수행과 관련하여" "그 직무수행과 관련하여" "그 직무수행과 관련하여" 참고로 사건이 일어난 4. 20.은 일요일이었다...

RE: https://bsky.app/profile/did:plc:a6qvfkbrohedqy3dt6k5mdv6/post/3lnjfa3lmbs2r

0
0
0
🍉yokononana🍉 @piiip@ohai.social
Public

5月に出る訳書の予約が始まっています……！
どうぞよろしくお願いします！

『反乱は続いている　祖母・母・娘たちのフェミニズム』 （ファニー・アンビョーンソン、シーリ・アンビョーンソン、エンマ・ヤンケ、マリーア・ヨーンソン、エリーカ・ソーレンソン著、花伝社）

1999年刊行の5人の20代女子によるエッセイ集です。 社会が大きく変わった20世紀のスウェーデンで女性たちはどう生き、どう闘ってきたのか。反乱を起こせない自分たちは、これからどう生きてけばいいのか。異なる世代のさまざまな女性たちとの対話から見つかった答えとは――。

フェミニズムについて、立場も意見も異なるひとたちのさまざまな生き方や物語がごったまぜに入っています。どなたにも、ひとつくらいは自分にしっくりくる物語があるのでは、と思うので、手に取っていただければうれしいです。

kadensha.net/book/b10134546.ht

反乱は続いている - 花伝社

ファニー・アンビョーンソン 著

www.kadensha.net

0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

경찰에 "담배 피울테니 기다려"…미아역 칼부림男, 흉기는 과자 더미에 은닉 2025-04-23 13:35:18 미아역 인근 마트서 흉기 휘둘러 1명 사망, 1명 부상 범행 후 흉기 마트 매대에 진열된 과자 더미 속에 은닉 경찰 "마약 및 약물검사 실시 예정, 구속영장 신청 검토" www.imaeil.com/page/view/20...

경찰에 '담배 피울테니 기다려'…미아역 칼부림男, 흉기...

경찰에 '담배 피울테니 기다려'…미아역 칼부림男, 흉기는 과자 더미에 은닉

미아역 인근에서 흉기를 휘두른 30대 남성의 모습. 연합뉴스...

www.imaeil.com · 매일신문

0
0
0
드라코 @draco@pointless.chat
Public

윗대가리가 문서를 엄청 싫어해서 개발할 때도 필요한 문서 못만들고 빨리빨리 구현부터 하라고 난리쳐서 엄청 짜증났는데

지금 해외지사 사이트 개발하고 있는 해외개발업체가 기능정의서를 달라고 하는데도 "아니 개발을 오래했는데 그냥 보면 아는거 아닌가? 왜 기능 하나하나 문서가 필요해?" 하는 개소리 시전 중임.

그러더니 자기가 "관리자 기능" <- 이딴 식으로 5,6줄 쓴 문서를 보내놓고 더 자세한 거 달라고 응답 오니까 나에게 답하라고 떠넘김 -_-

0
0
0
0
0
0
Jurjen Heeck 🍋 @jurjen_heeck@mastodon.nl
Public

Mark Zuckerberg wanted to fly his helicopter from his gigantic superyacht to go skiing on Swedish mountains and offered villagers tens of thousands, but they flat out refused, saying the noisy chopper would disturb their reindeer

luxurylaunches.com/celebrities

"That billionaires would fly private jets to luxury yachts, then board helicopters to chase the last snow-covered peaks in Europe—while attempting to silence Indigenous voices—is being seen as a microcosm of global environmental inequality."

Mark Zuckerberg wanted to fly his helicopter from his gigantic superyacht to go skiing on Swedish mountains and offered villagers tens of thousands, but they flat out refused, saying the noisy chopper would disturb their reindeer - Luxurylaunches

luxurylaunches.com · Luxurylaunches

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

“이제는 성소수자 지키는 민주주의로”…대선 후보에 21개 국정과제 요구 입력 2025.04.24 15:10 www.khan.co.kr/article/2025...

“이제는 성소수자 지키는 민주주의로”…대선 후보에 21...

“이제는 성소수자 지키는 민주주의로”…대선 후보에 21개 국정과제 요구

성소수자 단체가 오는 21대 대통령 선거에서 차별금지법 제정, 혼인 평등 실현 등 성소수자를 위한 21개 국정과제를 대선공약에 포함하라고 후보자와 정당에 요구했다. 성소수자 권리 실현을 위한 전국 49개 인권단체 연합인 무지개행동은 24일 오전 서울 종로구 세종문화회관 앞에서 ‘제21대 대선 성소수자 국정과제 요구안 발표 기자회견’을 열었다. 이들은 ...

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

0
0
0
Andy Wingo @wingo@mastodon.social
Public

no ismm reviewers

got my ismm reviews back. the paper is arxiv.org/abs/2503.16971 fwiw. it will probably be rejected but who knows; reviews of 3,2,2,1

arXiv logo

Nofl: A Precise Immix

Can a memory manager be built with fast bump-pointer allocation, single-pass heap tracing, and a low upper bound on memory overhead? The Immix collector answered in the affirmative for the first two, but the granularity at which it reclaims memory means that in the worst case a tiny object can keep two 128-byte lines of memory from being re-used for allocation. This paper takes Immix to an extreme of precision, allowing all free space between objects to be reclaimed, down to the limit of the allocator's minimum alignment. We present the design of this Nofl layout, build a collector library around it, and build a new Scheme-to-C compiler as a workbench. We make a first evaluation of the Nofl-based mostly-marking collector when compared to standard copying and mark-sweep collectors and run against a limited set of microbenchmarks, finding that Nofl outperforms the others for tight-to-adequate heap sizes.

arxiv.org · arXiv.org

0
0
0
0
0
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

최종 업데이트 25.04.24 15:34 김용현 공판 4번 연속 비공개... '밀실' 내란 재판 더 많아질듯 [김-노상원 5차 공판] 정보사 증인 때문이라지만... 검찰, 합참·방첩사·707 소속 군인도 비공개 요청 www.ohmynews.com/NWS_Web/View...

김용현 공판 4번 연속 비공개... '밀실' 내란 재판...

김용현 공판 4번 연속 비공개... '밀실' 내란 재판 더 많아질듯

전직 대통령 윤석열씨와 함께 12.3 내란 핵심 인물인 김용현 전 국방부 장관과 노상원 전 국군정보사령관 등에 대한 재판이 24일 오전 또 비공개로 진행되고 있다. 네 번 연속 비공개다. 재판부는 네 차례 기일 모두 군사기밀을 다루는 국군정보사령부 소속 증인이 출석해 비공개한다는 입장이다. 하지만 검찰이 정보사 뿐...

www.ohmynews.com · 오마이뉴스

0
0
0