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.

한겨레 @hanibsky.bsky.social@bsky.brid.gy
Public
Shared by 시아란 🌌 Private

서울시가 오는 28일 충무로에 개관하는 서울영화센터를 두고 영화인들이 집단 반발하면서 파행이 예상됩니다. 영화 도서관 격인 ‘시네마테크’라는 본래 취지는 사라지고 외관만 그럴싸하게 꾸민 ‘보여주기식 행정’ 아니냐는 것입니다.

영화 도서관 ‘시네마테크’, 본질 사라지고 허울뿐인 ‘...

영화 도서관 ‘시네마테크’, 본질 사라지고 허울뿐인 ‘서울영화센터’

서울시가 오는 28일 충무로에 개관하는 서울영화센터를 두고 영화인들이 집단 반발하면서 파행이 예상된다. 영화 도서관 격인 ‘시네마테크’라는 본래 취지는 사라지고 외관만 그럴싸하게 꾸민 ‘보여주기식 행정’ 아니냐는 것이다. 20일 서울시가 내놓은 서울영화센터 운영계획을

www.hani.co.kr · 한겨레

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

Formalizing zeta and L-functions in Lean. ~ David Loeffler, Michael Stoll. afm.episciences.org/15954

Formalizing zeta and L-functions in Lean

Michael Stoll · The Riemann zeta function, and more generally the L-functions of Dirichlet characters, are among the central objects of study in number theory. We report on a project to formalize the theory of these objects in Lean's "Mathlib" library, including a proof of Dirichlet's theorem on primes in arithmetic progressions and a formal statement of the Riemann hypothesis

afm.episciences.org · Episciences

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

Formalization of derived categories in Lean/mathlib. ~ Joël Riou. afm.episciences.org/15978

Formalisation des catégories dérives dans Lean/mathlib

Joël Riou · This paper outlines the formalization of derived categories in the mathematical library of the proof assistant Lean 4. The derived category D(C) of any abelian category C is formalized as the localization of the category of unbounded cochain complexes with respect to the class of quasi-isomorphisms, and it is endowed with a triangulated structure.

afm.episciences.org · Episciences

0
0
0
0
0
0
nightside @nightside@g0v.social
Public
Shared by MJ+

我本身很怕打針，有數次暈針經驗，所以不會去捐血；但前後任男友都經常捐血，還會視捐血的贈品來挑選哪一天、捐給哪一家。我因此好奇問現男友，你以一個經常捐血者的角度，不必替病患或醫院考慮，如果有天捐血是可以回饋你金錢的，你會覺得更好嗎？

男友的回答是，他希望保持現狀，不要讓捐血變成金錢交易。我很好奇有捐血習慣的象友們怎麼想呢？除投票外，也歡迎回覆你們的想法～

0
0
0
0
0
1
1
0
0
0
0
0
1
0
0
:biological_server: 수다쟁이 렌게쨩 (お喋りレンゲちゃん) :sabakan: @server_destroyer@iqhina.org
Public

손목시계… 수요일에 점검을 받고 왔지요. 점검을 받았더니 고장났습니다. 그래서 내일 다시 가야 합니다. 아무래도 매뉴얼을 보지 않고 대충 일을 한 것 같아요.
腕時計…水曜日に点検を受けてきたんです。点検したら壊れていました。だから明日また行かなければなりません。どうやらマニュアルを見ずに適当に作業したようです。

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

Annals of Formalized Mathematics: un nouvel épi-journal dédié à la formalisation. insmi.cnrs.fr/fr/cnrsinfo/anna

Annals of Formalized Mathematics : un nouvel épi-journal dédié à la formalisation

Discipline mathématique en plein essor, la formalisation bénéficie désormais d’une revue dédiée, dont le premier numéro a été publi

www.insmi.cnrs.fr · CNRS Mathématiques

0
0
0
1
0
0
어둠사자 @gnh1201@catswords.social
Public

현 시점에서 터무니 없어보이는 계획이라도 어딘가에 적어놓으면

언젠간 이뤄지더라.

물론 밑도 끝도 없는 그런거말고

나름 근거(밑)도 있고 예상되는 결말(끝)도 있지만 현재로선 자원이나 시간의 한계로 불가능한 일

안되도 일단 어딘가에는 적어두면 예상치 못한 곳에서 튀어나와 잘 지냈나며 나를 맞이하고 있다.

0
0
0
MiwaMiwa @miwachang@misskey.io
Public

『最後は一言「ニャー！」　和歌山電鉄・貴志駅２代目たま駅長「ニタマ」死ぬ』 - https://www.asahi.co.jp/webnews/pages/abc_34363.html

最後は一言「ニャー！」　和歌山電鉄・貴志駅２代目たま駅長「ニタマ」死ぬ

　和歌山電鉄は貴志駅の２代目「たま駅長」として長年親しまれてきたニタマ（メス・１５歳）が２０日、死んだと発表しました。　和歌山電鉄によりますと、ニタマ駅長は１０…

www.asahi.co.jp

1
0
0
0
0
0
0
0
0
0
0
0
0
0
1
1
0
0
0
0
0
0
0
0
OpenRail Association @openrail@floss.social
Public
Shared by Ian Wagner

We are happy to co-organize the Railways and Open Transport devroom at 2026, and welcome your proposals.

Are you working with in this space? Do you have practical insights and lessons abour operations, traveller info, data analytics, or standards to share? Then submit it!

Key information:
📅 30 Nov: submission deadline
📌 31 Jan & 1 Feb 2026 in Brussels
ℹ️ Call for Participation with all details: github.com/OpenRailAssociation

Looking forward to your proposals and the event!

Photo taken from the back of the devroom in one of the previous editions. You find all seats taken and also people standing, listening to the current presenter.
0
0
0
0
0
0
0
0
0
대가:리카노 @esc@msk.canor.kr
Public

염병

전일에 대가리가 빅맥더블 먹으러 맥도날드에 나아가매 친모께서 친히 강림하사 바가-킹을 먹으라 하시었다. 금일 재차 맥도날드에 나아가 탐색하매 팔지 아니하였다.

0
0
0
井上千二十四 @inoue1024@misskey.io
Public

ここ3週間程かなり酷い歯痛が続いてたんですが、昨日ようやく歯医者に行って解消しました。

歯痛の原因は、固めの歯ブラシで毎回歯磨きを力一杯ゴシゴシとしてたことで歯茎が後退し、歯と歯茎の間に隙間ができてしまったこと。力一杯磨いてたけど歯茎全体に歯ブラシを当ててたわけではないため、歯と歯の間の歯茎は炎症に近い腫れ方をしてて、歯石や歯垢が歯と歯茎の間の隙間に入ってしまい炎症を起こして激痛を発生させてるとのことでした。

歯医者では歯石と歯茎の除去をしてもらい、柔らかい歯ブラシで適切な強さでの正しい磨き方を教えて貰ったところ、ずっと悩みだった歯痛が解消しました。

歯磨きの基本は、歯茎を柔らかく歯の一本ずつをマッサージする感覚で裏表10回ぐらいずつ歯ブラシを当てること。当てる強さはイチゴが凹まない程度の強さ。こんな感じでした。あと歯間ブラシは1日1回以上は必ず使いましょうとのこと。

自身の反省と併せて、間違った歯磨きをしている方のために情報共有として記しておきます。

1
0
0
0
0
0
nightside @nightside@g0v.social
Public

我本身很怕打針，有數次暈針經驗，所以不會去捐血；但前後任男友都經常捐血，還會視捐血的贈品來挑選哪一天、捐給哪一家。我因此好奇問現男友，你以一個經常捐血者的角度，不必替病患或醫院考慮，如果有天捐血是可以回饋你金錢的，你會覺得更好嗎？

男友的回答是，他希望保持現狀，不要讓捐血變成金錢交易。我很好奇有捐血習慣的象友們怎麼想呢？除投票外，也歡迎回覆你們的想法～

0
0
0
0
0
0
0
0
0
甘瀬ここあ @AmaseCocoa@misskey.io
Public

セールしてるらしい！
https://komado.booth.pm

あまとうさぎ - BOOTH

オリジナル3Dモデルつくってます 𝘤𝘰𝘮𝘮𝘪𝘴𝘴𝘪𝘰𝘯𝘴 𝘤𝘭𝘰𝘴𝘦𝘥【11/21-25✦限定50％OFF】ショコラ -Chocolat-【オリジナル3Dモデル】(¥ 3,000), 【11/21-25✦限定50％OFF】シフォン -Chiffon-【オリジナル3Dモデル】(¥ 3,000), 【11/21-25✦限定50％OFF】ライム -Lime-【オリジナル3Dモデル】(¥ 3,000), 【11/21-25✦限定50％OFF】カリン -Karin-【オリジナル3Dモデル】(¥ 2,500), 【11/21-25✦限定50％OFF】ラスク -Rusk-【Mobile/PC対応

komado.booth.pm

0
0
0
:rss: DevelopersIO @dev_classmethod@rss-mstdn.studiofreesia.com
Public

[アップデート]DSQLのEXPLAIN ANALYZE VERBOSEでDPUが確認できるようになりました
dev.classmethod.jp/articles/ds

[アップデート]DSQLのEXPLAIN ANALYZE VERBOSEでDPUが確認できるようになりました | DevelopersIO

EXPLAIN ANALYZE VERBOSEの出力結果にDPUに関連する情報が出力されるようにになりました！ CloudWatchのメトリクスや実際の課金とは差異が発生し得ますが、利用料金の見積もりにうまく活用していきましょう。

dev.classmethod.jp · クラスメソッド発「やってみた」系技術メディア | DevelopersIO

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

Reseña de «DeepMind’s latest: An AI for handling mathematical proofs». jaalonso.github.io/vestigium/p

Reseña de «DeepMind’s latest - An AI for handling mathematical proofs»

En el artículo «DeepMind’s latest: An AI for handling mathematical proofs», se presenta a AlphaProof, un sistema de inteligencia artificial capaz de razonar y realizar demostraciones matemáticas compl

jaalonso.github.io · Vestigium

0
0
0
0
0
0
2
0
0
0
0
0