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
0
0
0
桜音はるか:youtube:🌸 @SakuraneHaruka@misskey.io
Public

​:roudou_ha_ihou:​
私が体調崩している理由は多分ご飯食べない配信とかしているからかと思われます…自分のせいです……

1
0
0
[랜선효도] 제주감귤🍊 @jejuorange.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕🦋

TV토론서 '성폭력성 발언' 이준석 무혐의‥"경찰이 면죄부" imnews.imbc.com/news/2025/so... 경찰은 "이재명 후보의 과거 발언이 학생들에게 부정적 영향을 미쳤다는 취지로 해석될 수 있어 피의자의 평가 내지 의견 표명으로 볼 수 있다" 또 불상의 고교생 욕설을 인용한 것으로 이재명 후보에 관한 사실이 아닌 만큼, 비방죄도 성립하지 않는다고 판단했습니다. 경찰이 지옥문을 열었군요. 이제 대선토론 공중파 방송에서 어떤 욕을 해도 넘어가게 생겼음. 이준석은 사회악임.

[단독] TV토론서 '성폭력성 발언' 이준석 무혐의‥"...

[단독] TV토론서 '성폭력성 발언' 이준석 무혐의‥"경찰이 면죄부"

지난 대선 후보 3차 TV 토론에서 여성의 신체와 관련해 노골적 발언을 해 물의를 빚은 개혁신당 이준석 대선 후보에 대해 경찰이 혐의없음 판단을 내린 것으로 MBC 취재 결과 확인...

imnews.imbc.com · MBC 뉴스

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

Formalizing computational paths and fundamental groups in Lean. ~ Arthur F. Ramos, Anjolina G. de Oliveira, Ruy J. G. B. de Queiroz, Tiago M. L. de Veras. arxiv.org/abs/2511.19142

arXiv logo

Formalizing Computational Paths and Fundamental Groups in Lean

Computational paths treat propositional equality as explicit paths built from labelled deduction steps and rewrite rules. This view originates in work by de Queiroz and collaborators and yields a weak groupoid structure for equality, together with a computational account of homotopy inspired by homotopy type theory. In this paper we present a complete mechanization of this framework in Lean 4 and show how it supports concrete homotopy theoretic computations. Our contributions are threefold. First, we formalize the theory of computational paths in Lean, including path formation, composition, inverses, and a rewrite system that identifies redundant or trivial paths. We prove that equality types with computational paths carry a weak groupoid structure in the sense of the original theory. Second, we organize this material into a reusable Lean library, ComputationalPathsLean, which exposes an interface for paths, rewrites, and loop spaces. This library allows later developments to treat computational paths as a drop-in replacement for propositional equality when reasoning about homotopical structure. Third, we apply the library to two canonical examples in algebraic topology. We give Lean proofs that the fundamental group of the circle is isomorphic to the integers and that the fundamental group of the torus is isomorphic to the product of two copies of the integers, both via computational paths. These case studies demonstrate that the computational paths approach scales to nontrivial homotopical computations in a modern proof assistant. All the definitions and proofs described here are available in an open-source Lean 4 repository.

arxiv.org · arXiv.org

0
0
0
Angry Discordant @enigmato.bsky.social@bsky.brid.gy
Public

확실히 우로부치 겐의 초기적들에는 니힐리즘을 방불케하는 어떤 하드보일드 세계관에 대한 고착이 있긴 했음 (그리고 그게 그의 시그니처 테이스트라고 좋아하던 팬덤도 있었고). 메이저 올라가고 나서 그 이상도 보여줄 수 있다고 밝혀진 셈일까.

0
0
0
1
0
1
1
0
0
永瀬_IP23🎗️ @nagase.bsky.social@bsky.brid.gy
Public

내란예비하다 걸린 새끼들이랑 내란실행범 새끼들이 외교를 개같이 꼬아놨다는걸 이렇게 설명하는군. 그리고 흡수통일 안한다는걸 명시화해버렸네. youtu.be/LZzIxcb1Dts?...

[오늘 이 뉴스] "진짜 사고날듯 매우 위험".. 李 ...

[오늘 이 뉴스] "진짜 사고날듯 매우 위험".. 李 전한 남북관계 '충격' (2025.11.24/MBC뉴스)

#이재명대통령 #튀르키예순방 #기내간담회 #남북관계 #비핵화ㅤ#MBC #뉴스 #뉴스데스크 #MBC뉴스 #뉴스투데이 #뉴스ZIP #뉴스꾹 #오늘이뉴스 #자막뉴스ㅤⓒ MBC & iMBC 무단 전재, 재배포 및 이용(AI학습 포함)금지

www.youtube.com · YouTube

0
0
0
雨宮凪沙/nagiko @BananaGiko_cle@felesitas.cloud
Public

【2025年秋冬】流通という観点から見るファッショントレンドの実際 youtu.be/C5GphUa0GCg?si=AU3NSY

【2025年秋冬】流通という観点から見るファッショントレンドの実際

今回は2024年秋冬のファッショントレンドについてまとめてみました。他にもファッションについての動画を投稿しています。もしも気に入って頂ければチャンネル登録と高評価の程よろしくお願いいたします。本を出しました！https://amzn.to/3YQq1GG靴下を作りました！UNSUNG HERO■instagra...

www.youtube.com · YouTube

0
0
0
1
0
0
NextGraph @nextgraph@fosstodon.org
Public

is the future of app development!

10 more days to submit your proposal to the Local-First devroom at the upcoming @fosdem ! Deadline is 5th of December.

If you are into local first applications, frameworks, libraries and want to show your work, sync protocol, , now is the moment to apply.

You will be part of a great lineup with all leading actors in the field, gathering in Brussels on the 31 of January afternoon.

More info here:
openlocalfirst.org

share and boost!

FOSDEM Local First devroom - CfP open until early december

For the first time this year, the FOSDEM conference will host a devroom for Local First, CRDTs and sync protocols and sync engines. FOSDEM is the biggest Free and Open Source conference in Europe. This is a great opportunity to show your work, and meet other developers interested in Local First software. The Call for Participation is now open and will be until early december. Don't delay and submit your talk, demo, keynote soon.

openlocalfirst.org

0
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
（仮） @kakkokari_gtyih@misskey.io
Public

と思って自分の開発環境確認したらPostgresql v13やんけ！
v15使ってると思ってた

0
0
0
wwj @z9mb1@hackers.pub
Quiet public
Shared by 洪 民憙 (Hong Minhee) :nonbinary:

아… 젠부 귀찮다 그나저나 후쿠오카에서 Wagashi를 먹어보지 못한게 아쉽군… 다음엔 디저트 투어를 해보러 갈까 싶다. 카페에서 먹는 몽블랑도 좀 궁금하고. 프랑스 식 제과는 크게 궁금하지 않은데 일본식 프랑스 제과 뭐 이런건 궁금하다.

1
1
0
0
0
0
1
0
0
복설 뉴스 @boknews.bsky.social@bsky.brid.gy
Public

[단독]“尹 구속취소 때 왜 항고 포기했나”…특검, 대검 간부들에 질의서 www.donga.com/news/NewsSta... "특검은 ‘회의 소집을 언제 통지 받았고 안건은 무엇으로 통지를 받았는가’ ‘당시 회의에서 석방의 근거로 제시된 자료나 근거 등은 무엇인가’ ‘심 전 총장은 윤 전 대통령 기소에 대해 구속 기소 의견이었나’ ‘석방 후 불구속 기소에 대하여 진술자 본인은 어떤 의견을 발표하였는가’ 등을 질의했다고 한다. 특검에 고발된 심 전 총장 사건을 처분하기 위해 사실관계를 확인하는 수순으로 해석된다."

[단독]“尹 구속취소 때 왜 항고 포기했나”…특검, 대...

[단독]“尹 구속취소 때 왜 항고 포기했나”…특검, 대검 간부들에 질의서

내란 특검(특별검사 조은석)이 법원의 윤석열 전 대통령 구속취소 결정 직후 소집된 대검 부장급(검사장) 회의에 참석한 간부들에게 즉시항고를 포기하게 된 경위를 묻는 질의서를 보낸 것으로 확인됐다. 25일 법조계에 따르면 특검은 21일 대검 전직 간부들에게 ‘즉시항고 …

www.donga.com · 동아일보

0
0
0
0
0
0
0
0
0
0
0
1
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
admin @admin@b-starhire.cc
Public
Shared by 쯔방 :yuri: :yurigarden: :garden:

안녕하세요, 흑성람 서버의 관리자입니다.
서버가 성공적으로 개설된 것을 축하하기 위해 흑성람 서버의 테마를 공개 배포합니다!

백,금,흑 세가지 색상을 가독성 있게 조합한 테마입니다.
다크 테마의 경우 버튼 그라데이션 색상에 분홍이 추가되어 있습니다.

각 테마는 타래로 확인해주세요!

1
0
0
Jan Lehnardt :couchdb: @janl@narrativ.es
Public

In all seriousness, what do we do now? Has this been stopped? Is it safe to start scanning our deps and know we find everything? Do we have to assume running `npm install` is extremely dangerous right now? What is npm doing?

I’ve advised my company to pause JavaScript development for the time being, and that surely can’t be it?
narrativ.es/@janl/115606622055

Jan Lehnardt :couchdb: (@janl@narrativ.es)

’No Way to Prevent This‘ Says Only* Package Manager Where This Regularly Happens. *I know. https://helixguard.ai/blog/malicious-sha1hulud-2025-11-24

narrativ.es · narrativ.es

0
0
0
뉴스봇 - 생활/문화 @news_life@802.3ether.net
Public
Shared by 시오

故이순재에 금관문화훈장…최휘영 "칠십년간 국민과 울고 웃어"(종합)
(서울=연합뉴스) 임순현 박원희 기자 = 정부가 25일 별세한 고(故) 이순재 배우에게 금관문화훈장(1등급)을 추서했다.
yna.co.kr/view/AKR202511251554

故이순재에 금관문화훈장…최휘영 "칠십년간 국민과 울고 웃어"(종합) | 연합뉴스

(서울=연합뉴스) 임순현 박원희 기자 = 정부가 25일 별세한 고(故) 이순재 배우에게 금관문화훈장(1등급)을 추서했다.

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

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

Readings shared November 24, 2025. jaalonso.github.io/vestigium/p

Readings shared November 24, 2025

The readings shared in Bluesky on 24 November 2025 are: An introduction to formal real analysis (Lecture 21: Functions and derivatives). ~ Alex Kontorovich. #ITP #LeanProver #Math A perspective on in

jaalonso.github.io · Vestigium

0
0
0
뉴스봇 - 생활/문화 @news_life@802.3ether.net
Public

故이순재에 금관문화훈장…최휘영 "칠십년간 국민과 울고 웃어"(종합)
(서울=연합뉴스) 임순현 박원희 기자 = 정부가 25일 별세한 고(故) 이순재 배우에게 금관문화훈장(1등급)을 추서했다.
yna.co.kr/view/AKR202511251554

故이순재에 금관문화훈장…최휘영 "칠십년간 국민과 울고 웃어"(종합) | 연합뉴스

(서울=연합뉴스) 임순현 박원희 기자 = 정부가 25일 별세한 고(故) 이순재 배우에게 금관문화훈장(1등급)을 추서했다.

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

0
0
0
1
0
0
TatTvamAsi @JazzyKindaFella@zirk.us
Public

Prosecutors at International Tribunal on Palestine Accuse Israel of Ecocide

Prosecutors at the International People’s Tribunal on Palestine decried Israel’s destruction of farms and water sources.
By Marianne Dhenin , TRUTHOUT

truthout.org/articles/prosecut

guilty of
@environmentEnvironment Channel

0
0
0
0
0
0
1
0
0
1
0
0
1
0
0
0
0
0
@zino@bsd.network
Public
Shared by Carlton Gibson

Alright fellas, one of my missions fell through so I have some availability if you need help with something.
I tend to do iOS/android/macos apps but I am decent at machine learning, Django, and embedded systems as well.

(Actually what I’m really good at is digging, optimizing, and debugging, but QA and research isn’t a popular demand)

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