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
0
0
0
0
0
0
0
0
0
0
0
0
fediDB @fedidb@mastodon.social
Public
Shared by dansup

We merged the first PR on our fedidb-nuxt repo 🥳

While the web frontend is open source, we are working to release the backend source so you can run the full FediDB platform yourself 🚀

github.com/fedidb/fedidb-nuxt/

I noticed as I was browsing the new fedidb.com that I was having difficulty reading the text in headings, table headings, table rows, code and pre elements. I compared the text color in similar ele...

Fixes dark mode text on api pages by mradcliffe · Pull Request #20 · fedidb/fedidb-nuxt

I noticed as I was browsing the new fedidb.com that I was having difficulty reading the text in headings, table headings, table rows, code and pre elements. I compared the text color in similar ele...

github.com · GitHub

0
0
0
0
0
0
namepyon @namepyon@fedibird.com
Public

そもそも吉村なんて死ぬまでイソジンイソジンお前の名前は磯仁太郎と指さして嘲笑われないといけない存在なのに「ようやってはる」の声しか聞こえない体たらくで何が大阪が反権威の笑いの街かと。

0
0
0
fediDB @fedidb@mastodon.social
Public

We merged the first PR on our fedidb-nuxt repo 🥳

While the web frontend is open source, we are working to release the backend source so you can run the full FediDB platform yourself 🚀

github.com/fedidb/fedidb-nuxt/

I noticed as I was browsing the new fedidb.com that I was having difficulty reading the text in headings, table headings, table rows, code and pre elements. I compared the text color in similar ele...

Fixes dark mode text on api pages by mradcliffe · Pull Request #20 · fedidb/fedidb-nuxt

I noticed as I was browsing the new fedidb.com that I was having difficulty reading the text in headings, table headings, table rows, code and pre elements. I compared the text color in similar ele...

github.com · GitHub

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

Modelling and verifying neuronal archetypes in Coq. ~ Abdorrahim Bahrami, Rébecca Zucchini, Elisabetta De Maria, Amy Felty. arxiv.org/abs/2505.05362

arXiv logo

Modelling and Verifying Neuronal Archetypes in Coq

Formal verification has become increasingly important because of the kinds of guarantees that it can provide for software systems. Verification of models of biological and medical systems is a promising application of formal verification. Human neural networks have recently been emulated and studied as a biological system. In this paper, we provide a model of some crucial neuronal circuits, called "archetypes", in the Coq Proof Assistant and prove properties concerning their dynamic behavior. Understanding the behavior of these modules is crucial because they constitute the elementary building blocks of bigger neuronal circuits. We consider seven fundamental archetypes (simple series, series with multiple outputs, parallel composition, positive loop, negative loop, inhibition of a behavior, and contralateral inhibition), and prove an important representative property for six of them. In building up to our model of archetypes, we also provide a general model of "neuronal circuits", and prove a variety of general properties about neurons and circuits. In addition, we have defined our model with a longer term goal of modelling the composition of basic archetypes into larger networks, and structured our libraries with definitions and lemmas useful for proving the properties in this paper as well as those to be proved as future work.

arxiv.org · arXiv.org

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

1972년 지구 궤도를 벗어나는 데 실패했던 옛 소련의 금성 탐사선 ‘코스모스 482호’가 이번 주말 지구로 추락할 것으로 예상된다. 수정 2025-05-09 10:25 www.hani.co.kr/arti/science...

“첨벙, 쿵, 비명 중 하나”…495kg 금성 탐사선,...

“첨벙, 쿵, 비명 중 하나”…495kg 금성 탐사선, 이번 주말 지구 추락

1972년 지구 궤도를 벗어나는 데 실패했던 옛 소련의 금성 탐사선 ‘코스모스 482호’가 이번 주말 지구로 추락할 것으로 예상된다. 미국 항공우주국(나사)은 8일 코스모스 482호가 9일부터 10일 사이에 지구 대기권에 재진입할 것으로 예상된다고 밝혔다. 재진입 예상

www.hani.co.kr · 한겨레

0
0
0
1
0
0
역정재판 @bluepizzapower.bsky.social@bsky.brid.gy
Public

비퀴어 청년 남성분들 제일 신기한점 억울한 건 되게 많은데 그럼 님을 글케 힘들게 하는 이 사회의 문제점을 진지하게 말해 보라고 하면 갑자기 억울징징은 어디가고 기득권 팬보이 모드가 돼서 AI 쓰는 게 기업 입장에선 좋긴 하다 한국 남자면 군대 가는 게 당연한 거다 복지한다고 무조건 좋은 게 아니다 이럼 하지만 넌 기업가도 아니고 장교도 아니고 나랏님도 아니잖아...

0
0
0
0
0
0
0
1
0
0
2
0
David on Formosa @davidonformosa@mstdn.social
Public
Shared by MJ

New report from Doublethink Lab: The Impact of TikTok on Taiwanese Youth and PRC perceptions: A 2025 TikTok User Study

medium.com/doublethinklab/the-

The Impact of TikTok on Taiwanese Youth and PRC perceptions: A 2025 TikTok User Study — Summary…

This article is a summary of the report The Impact of TikTok on Taiwanese Youth and PRC Perceptions — A 2025 TikTok User Study. This…

medium.com · Medium

0
0
0
0
0
0
0
0
0
0
0
0
🕯보라나🕯 @borana.bsky.social@bsky.brid.gy
Public

당장 여성들은 어떤 주장을 하냐: 여성을 대상으로 한 온/오프라인 성범죄 및 여성혐오 범죄를 제대로 처벌하라, 여성이란 이유로 채용 차별하지말고 동등한 노동권 보장하라, 여성의 성적 권리를 치부로 여기지 마라, 여성을 성적 도구로 여기거나 성적 목적을 위해 돈으로 사고파는 재화로 취급하지 마라 등등 당장 떠오르는것만도 이정도인데 정작 2030남성들은 뭘 주장함? 알페스는 불법이다웅앵웅? 히이익 저 엄지검지는 해로운 손이다!!!! 하는 진상민원? 군인권도 지들 내킬때만 갖고오지 진지하게 얘기하려고 하면 너만 힘드냐? 이난리나 치면서

0
0
1
0
0
0
0
0
0
🕯보라나🕯 @borana.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

이거 중요하다 2030남들은 지들딴엔 자기네가 3등시민(ㅋㅋㅋㅋ)이라고 주장하지만 정작 3등시민(ㅋㅋㅋ)의 처우개선을 위해 어떤게 필요한지 찾아서 이것들을 요구하는게 아니라 매번 지들눈에 꼬와보이는 다른 집단이 좆되게 해달라고만 주장하는 걸 보면 쟤네는 3등시민이 아니라 누구보다도 철저한 기득권들일 뿐임 2030남들이 586기득권 욕할게 못됨

RE: https://bsky.app/profile/did:plc:vulw5mr6dy7kreqn6zsb6xkr/post/3loq2yclct222

0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
ちきささ🍉 @c_ssk@fedibird.com
Public
Shared by nogajun🍉

『ハルビン』本予告来た。リリー・フランキーのこの台詞が、韓国でも印象的な名台詞として評価を得たやつですね。
youtube.com/watch?si=yj3jvbVKj

映画『ハルビン』予告編【7月4日（金）公開】

【この決断は、きっと未来へ続く】韓国観客動員数4週連続第1位！（2025.04.22／KOFIC調べ） アジアを震撼させた歴史的な事件の裏側を壮大なスケールで描く極限サスペンス・エンターテイメントウ・ミンホ監督（「KCIA　南山の部長たち』）×『ソウルの春』製作スタッフがタッグを組み、2024年第49回トロント国...

www.youtube.com · YouTube

0
0
0
0
0
0
0
0
0
0
0
0
🕯보라나🕯 @borana.bsky.social@bsky.brid.gy
Public
Shared by 잇창명 EatChangmyeong💕

이거 중요하다 2030남들은 지들딴엔 자기네가 3등시민(ㅋㅋㅋㅋ)이라고 주장하지만 정작 3등시민(ㅋㅋㅋ)의 처우개선을 위해 어떤게 필요한지 찾아서 이것들을 요구하는게 아니라 매번 지들눈에 꼬와보이는 다른 집단이 좆되게 해달라고만 주장하는 걸 보면 쟤네는 3등시민이 아니라 누구보다도 철저한 기득권들일 뿐임 2030남들이 586기득권 욕할게 못됨

RE: https://bsky.app/profile/did:plc:vulw5mr6dy7kreqn6zsb6xkr/post/3loq2yclct222

0
0
1
David on Formosa @davidonformosa@mstdn.social
Public

New report from Doublethink Lab: The Impact of TikTok on Taiwanese Youth and PRC perceptions: A 2025 TikTok User Study

medium.com/doublethinklab/the-

The Impact of TikTok on Taiwanese Youth and PRC perceptions: A 2025 TikTok User Study — Summary…

This article is a summary of the report The Impact of TikTok on Taiwanese Youth and PRC Perceptions — A 2025 TikTok User Study. This…

medium.com · Medium

0
0
0
0
0
0
0
0
0
nogajun🍉 @nogajun@mastodon.social
Public

もとむら伸子(本村伸子） (@motomura_nobuko@twitter.com): "日本学術会議解体法案、衆議院内閣委員会で採決が強行され、自民党、公明党、日本維新の会の賛成で可決💢 日本共産党、立憲民主党、国民民主党、れいわ新選組、有志の会は反対しました。 塩川鉄也衆議院議員が求めていた資料は出てきておらず、もっと審議をすべきと求めていたのに、採決が強行されたことに強く抗議します。 " | nitter: nitter.net/motomura_nobuko/sta

もとむら伸子(本村伸子） (@motomura_nobuko)

日本学術会議解体法案、衆議院内閣委員会で採決が強行され、自民党、公明党、日本維新の会の賛成で可決💢 日本共産党、立憲民主党、国民民主党、れいわ新選組、有志の会は反対しました。 塩川鉄也衆議院議員が求めていた資料は出てきておらず、もっと審議をすべきと求めていたのに、採決が強行されたことに強く抗議します。 ＃日本学術会議への介入に反対します ＃日本学術会議解体法案の採決反対 ＃日本学術会議解体法案は廃案に

twitter.com · Nitter

0
0
0
0
0
0
맹꽁이 @sunwoo1524@pointless.chat
Public

내가 왜 폰에 깃허브 앱을 설치했었는지는 까먹었는데 그냥 삭제할까 생각 중임
로그인할 때 이중인증할 때 말고는 쓸모가 없는데 이중인증도 타사 앱으로 할 수 있음
그래서 완전히 쓸모가 없는데 깃허브 링크만 들어가면 자동으로 열려서 짜증남

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

[속보]법원, 국민의힘 ‘전당대회 개최 금지·대선후보 지위인정’ 가처분 기각

n.news.naver.com/article/032/0

ㅋㅋㅋㅋㅋㅋㅋ

[속보]법원, 국민의힘 ‘전당대회 개최 금지·대선후보 지위인정’ 가처분 기각

경향신문 | 네이버 · 법원이 9일 김문수 국민의힘 대선 후보가 제기한 ‘대선 후보 지위 인정 가처분 신청’과 ‘당 전국위원회·전당대회 개최 금지’ 가처분 신청을 모두 받아들이지 않았다. 국민의힘 대선 후보 단일화를 위한 전국위원회·전당대

n.news.naver.com

0
0
0
0
0
0
0
0
0