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.

연이나(However_Ina) @however_ina@peacht.art
Public
Shared by 시오

늦었지만 지난 6월 13일 공개된 제 신곡의 뮤직비디오 링크,
그리고 MV 해석 소설의 링크를 공유합니다.

연이나 - 연이나 [Original MV / English Sub]

🎵 치지직에서 매일 오후 방송 중입니다!👉 https://chzzk.naver.com/1bba9a34d4d2b8b998c36c5cdbc9f4fe싱글 릴리즈: 25.06.13.MV 해석 소설: https://sandy-flat-909.typie.me/be2f5f34b5ced23a...

www.youtube.com · YouTube

0
0
0
0
0
0
히누시프 @HF@town.voyager.blue
Public
Shared by 시오

애초에 동성애자가 2세를 안 만든다는 것도 잘못된 생각이거든요 2세를 만드냐 안 만드냐는 양육 여건이랑 동기가 중요하고 배우자가 누구인지는 물론 유무조차 중요하지 않다 동성혼 허용도 안해주면서 이성애자들끼리만 2세 만들 수 있는 사회에서 왜 출생률이 박살났는지를 생각해봐라

하긴 무작정 아무나 들이밀고 해외에서 인신매매로 데려와서 억지로 결혼시키면 자동으로 애 생기고 키우고 하는 줄 아는 멍청이들에게 뭘 기대함

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

SPC삼립 생산라인서 '인체 유해' 절삭유 용기 발견…경찰 수사 송고2025-06-16 16:01 지난달 사망사고 현장서 나와…제빵공정에 공업용 윤활유 사용여부 확인중 경찰, 해당 용기·내용물 국과수 감정 의뢰…SPC "식품용 윤활유만 사용" www.yna.co.kr/view/AKR2025...

SPC삼립 생산라인서 '인체 유해' 절삭유 용기 발견…...

SPC삼립 생산라인서 '인체 유해' 절삭유 용기 발견…경찰 수사 | 연합뉴스

(시흥=연합뉴스) 강영훈 권준우 김솔 기자 = 지난달 SPC삼립 시화공장에서 윤활 작업을 하던 근로자가 기계에 끼어 숨지는 사고와 관련, 제빵 ...

www.yna.co.kr · 연합뉴스

0
0
0
르베 @Illoube@planet.moe
Public

디나이얼인간이 동성애가 용인되면 사회에 동성애가 횡행하여 아무도 재생산을 하지 않을 것이다 같은 소리 하는 걸 보면 너무 웃김.................그렇게까지 동성애자면 사방에 정뼝발사하지 말고 걍 동성애를 하세요 제발

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

A complete formalization of Fermat's Last Theorem for regular primes in Lean. ~ Alex Best, Christopher Birkbeck, Riccardo Brasca, Eric Rodriguez Boidi, Ruben van De Velde, Andrew Yang. arxiv.org/abs/2410.01466

arXiv logo

A complete formalization of Fermat's Last Theorem for regular primes in Lean

We formalize a complete proof of the regular case of Fermat's Last Theorem in the Lean4 theorem prover. Our formalization includes a proof of Kummer's lemma, that is the main obstruction to Fermat's Last Theorem for regular primes. Rather than following the modern proof of Kummer's lemma via class field theory, we prove it by using Hilbert's Theorems 90-94 in a way that is more amenable to formalization.

arxiv.org · arXiv.org

0
0
0
히누시프 @HF@town.voyager.blue
Public

애초에 동성애자가 2세를 안 만든다는 것도 잘못된 생각이거든요 2세를 만드냐 안 만드냐는 양육 여건이랑 동기가 중요하고 배우자가 누구인지는 물론 유무조차 중요하지 않다 동성혼 허용도 안해주면서 이성애자들끼리만 2세 만들 수 있는 사회에서 왜 출생률이 박살났는지를 생각해봐라

하긴 무작정 아무나 들이밀고 해외에서 인신매매로 데려와서 억지로 결혼시키면 자동으로 애 생기고 키우고 하는 줄 아는 멍청이들에게 뭘 기대함

0
0
0
[랜선효도] 제주감귤🍊 @jejuorange.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

페미니스트 여성을 성범죄자, 여성혐오자로 몰아 불링하는 것과 같은 DARVO (deny, attack, reverse victim and offender) 수법임. 혐오에 대해 비판적인 사람의 십년 전 리트윗까지 가져와서 그를 위선적이고 가식적인 사람으로 만들고 욕하게 만든다. 남성향 작업 참여한 여성 피해자를 여성혐오자로 포지셔닝하는 것들과 같음.

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

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

LeanExplore: A search engine for Lean 4 declarations. ~ Justin Asher. arxiv.org/abs/2506.11085

arXiv logo

LeanExplore: A search engine for Lean 4 declarations

The expanding Lean 4 ecosystem poses challenges for navigating its vast libraries. This paper introduces LeanExplore, a search engine for Lean 4 declarations. LeanExplore enables users to semantically search for statements, both formally and informally, across select Lean 4 packages (including Batteries, Init, Lean, Mathlib, PhysLean, and Std). This search capability is powered by a hybrid ranking strategy, integrating scores from a multi-source semantic embedding model (capturing conceptual meaning from formal Lean code, docstrings, AI-generated informal translations, and declaration titles), BM25+ for keyword-based lexical relevance, and a PageRank-based score reflecting declaration importance and interconnectedness. The search engine is accessible via a dedicated website (https://www.leanexplore.com/) and a Python API (https://github.com/justincasher/lean-explore). Furthermore, the database can be downloaded, allowing users to self-host the service. LeanExplore integrates easily with LLMs via the model context protocol (MCP), enabling users to chat with an AI assistant about Lean declarations or utilize the search engine for building theorem-proving agents. This work details LeanExplore's architecture, data processing, functionalities, and its potential to enhance Lean 4 workflows and AI-driven mathematical research

arxiv.org · arXiv.org

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

Readings shared June 15, 2025. jaalonso.github.io/vestigium/p

Readings shared June 15, 2025

The readings shared in Bluesky on 15 June 2025 are BiCoq: Bigraphs formalisation with Coq. ~ Cécile Marcon et als. #ITP #CoqProver #Rocq #Math Introduction to competitive programming in Haskell. ~ Br

jaalonso.github.io · Vestigium

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

13일 새벽 이스라엘의 공습에 이란은 무방비 상태였습니다. 긴급히 피신할 방공호나 대피처도, 작동하는 공습 경보 장치도, 공식 대응 지침도 없었습니다. 수도 테헤란을 탈출하려는 이란인들의 행렬이 길지만, 어디로 가야 할지, 어디가 안전한지에 대한 정보도 없습니다.

무방비 공습에 질린 테헤란 시민들 “우리 집 폭발음 아...

무방비 공습에 질린 테헤란 시민들 “우리 집 폭발음 아니길 바랄 뿐”

13일 새벽 이스라엘의 공습에 이란은 무방비 상태였다. 긴급히 피신할 방공호나 대피처도, 작동하는 공습 경보 장치도, 공식 대응 지침도 없었다. 수도 테헤란을 탈출하려는 이란인들의 행렬이 길지만, 어디로 가야 할지, 어디가 안전한지에 대한 정보도 없다. “이건 학살이다

www.hani.co.kr · 한겨레

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
Perlmint @perlmint@hackers.pub
Public

이미 한번 HA로 욕실 환풍기 제어 자동화 할 때 겪은 것을 자동 동작 조절되는 환풍기에서 다시 겪었다.

습도 60% 기준으로 동작 on/off를 하고 싶으면 꺼짐은 55% 이하, 켜짐은 60% 이상 이런식으로 해놔야지 켜졌다 꺼졌다 왔다갔다 하는 일이 없다. 그런데 환풍기 자체 자동 운전 기능은... 60미만, 60이상 이렇게 해놨는지 꺼졌다 켜졌다 오락가락...

1
1
0
에스텔 뉴스계정 @transborder.bsky.social@bsky.brid.gy
Public
Shared by 드라코

수정 2025.06.16 06:32 ‘성적 지향’ 차별 금지에 ‘동성애 확산론’ “입장 바꿔 인정 가능한 가치 될 수 없어” 인권 보호를 ‘인구 재생산’ 문제로 규정 개신교 ‘동성애 금지’ 종교의 자유 강조 “사적 기준으로 타인의 권리 침해” 비판 www.khan.co.kr/article/2025...

[단독] 김민석 “모든 인간이 동성애 택하면 인류 지속...

[단독] 김민석 “모든 인간이 동성애 택하면 인류 지속 못해” 과거 차별금지법 반대 발언

김민석 국무총리 후보자가 “모든 인간이 동성애를 택했을 때 인류가 지속 가능하지 못하다”며 차별금지법 반대 의사를 밝힌 것으로 확인됐다. 인권 문제를 인구 재생산 관점으로 치환하며 차별금지법 반대 논리로 삼은 것이다. 이재명 대통령은 대선 과정에서 차별금지법의 “방향은 맞다”고 말했다. 15일 경향신문 취재를 종합하면 김 후보자는 2023년 11월 기...

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

0
0
2
Arataka @Arataka@esper.lol
Public
Shared by NixOS

Been screwing around with Nixos today and holy crap, this is the fastest I have ever setup a Mastodon instance.

Added everything in as described on the wiki and BOOM! The instance came up and I could create an account.

I still know NOTHING about Nixos other than some YouTube knowledge but I kinda feel like this can replace Ubuntu for my servers that I run.

Also... I DIDN'T KNOW CHANING THE FAVICON WAS BUILT INTO MASTODON NOW. I have just updated the esper.lol one.

0
0
0
shigeto2006 @shigeto2006@social.vivaldi.net
Public

読売ジャイアンツの公式アカウントのツイートが炎上しているそうですが、かつては（といっても、ほんの２０年ほど前の話ですが）毎晩のようにあった巨人戦ナイター中継が「野球嫌い」を増やし、ひいては現在の「野球離れ」につながっているのは確かでしょうね。大谷翔平の活躍のおかげで野球人気は復活したわけですが、昔の「巨人一強」時代は野球界にとっても「黒歴史」でしかないでしょう。

itmedia.co.jp/news/articles/25

「父のキゲンは、巨人が決めている」──読売ジャイアンツ公式Xの“父の日投稿”が不評　「いい思い出ない」

「父のキゲンは、巨人が決めている」──6月15日の父の日に合わせ、読売ジャイアンツ公式Xアカウントがこんな一言と共に投稿した画像が、X上で不評を買っている。

www.itmedia.co.jp · ITmedia NEWS

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

성폭력 가해 고발 이후 4년, "채식하며 오래오래 살다 자연사하고 싶습니다" 故 김기홍 성폭력 사건 가해고발인 J 인터뷰 2025.06.16 14:30 www.newscham.net/articles/113...

참세상::성폭력 가해 고발 이후 4년, "채식하며 오래...

참세상::성폭력 가해 고발 이후 4년, "채식하며 오래오래 살다 자연사하고 싶습니다"

2021년 2월 24일, 녹색당의 트랜스젠더 정치인 김기홍이 세상을 떠났다. 며칠 후 있었던 트랜스젠더 여군 故 변희수 하사의 죽음과 함께 트랜스젠더 차별에 저항하다 목숨을 끊은, 사회적 타살의 희생자로 그를 기억하는 사람들의 추모 흐름이 한동안 이어졌다. 그러나 죽은 자에 대한 추모로 상처를 입는 산 자 또한 있었다.

www.newscham.net · 참세상

0
0
0
1
0
0
0
0
0
0
0
0
콰 @cocoakwa.bsky.social@bsky.brid.gy
Public

2030남성들이랑 성희롱 성폭행 이슈 (남성이 가해자라고도 이야기 안했음) 이야기하면 다들 짠 것처럼 무고죄 이야기하는게 정말 스스로 생각해서 하는 말이겠습니까…. 이건 그들이 소속된 커뮤니티가 문제임

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

성폭력 가해 고발 이후 4년, "채식하며 오래오래 살다 자연사하고 싶습니다" 故 김기홍 성폭력 사건 가해고발인 J 인터뷰 2025.06.16 14:30 www.newscham.net/articles/113...

참세상::성폭력 가해 고발 이후 4년, "채식하며 오래...

참세상::성폭력 가해 고발 이후 4년, "채식하며 오래오래 살다 자연사하고 싶습니다"

2021년 2월 24일, 녹색당의 트랜스젠더 정치인 김기홍이 세상을 떠났다. 며칠 후 있었던 트랜스젠더 여군 故 변희수 하사의 죽음과 함께 트랜스젠더 차별에 저항하다 목숨을 끊은, 사회적 타살의 희생자로 그를 기억하는 사람들의 추모 흐름이 한동안 이어졌다. 그러나 죽은 자에 대한 추모로 상처를 입는 산 자 또한 있었다.

www.newscham.net · 참세상

0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
1
0
0
dog with a blog :neodog_flag_trans: :neodog_flag_polyam: :neodog_flag_pan: @dogposting@meow.social
Public

i heard there was a secret ooze
that turned four reptiles into dudes
but you don't really care for turtles do ya

they battle crime throughout the night
as splinter taught them how to fight
and from the sewers came a cowabunga

cowabunga, cowabunga
cowabunga, cowa-buuu-ngaaa ~🎵

0
0
0
1
0
0
zunda @zundan@mastodon.zunda.ninja
Public

太陽光で波長あるいは周波数あたり最も強いのは可視光だしとりあえず白く見えるもので防ぐのが良さそうよね。室温のものは波長10μmくらいの赤外線を最も強く放射するし地球温暖化の抑制のためにはなるべく多く宇宙に逃がしたいよね。

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