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
:rss: amass - ニュース @amass@rss-mstdn.studiofreesia.com
Public
Shared by SparklingOutlaw🍉

セックス・ピストルズ結成50周年記念　映画『シド・アンド・ナンシー』の1週間限定上映決定
amass.jp/186326/

セックス・ピストルズ結成50周年記念　映画『シド・アンド・ナンシー』の1週間限定上映決定 - amass

セックス・ピストルズの結成50周年を記念して、アレックス・コックス監督作『シド・アンド・ナンシー』が、12月19日よりシネマート新宿にて1週間限定で上映されます。予告編映像が公開されています。　

amass.jp · amass

0
0
0
0
0
0
偽オム(hhvm) @hhvm@fedibird.com
Public
Shared by SparklingOutlaw🍉

んががががが
【速報】社民党、衆議院「議席ゼロ」に　新垣邦男氏の離党を承認　結党以来初の事態に
okinawatimes.co.jp/articles/-/ @theokinawatimesより

【速報】社民党、衆議院「議席ゼロ」に　新垣邦男氏の離党を承認　結党以来初の事態に | 沖縄タイムス＋プラス

　社民党（福島瑞穂党首）は１９日午前の常任幹事会で、新垣邦男衆院議員（沖縄２区）の離党を承認した。離党届を受理した県連の判断を重視した。新垣氏の離党により、社民党は前身である社会党の結成以来、初めて衆議院で議席を失うことになる。福島党首が午後の記者会見で正式に発表する予定。

www.okinawatimes.co.jp · 沖縄タイムス＋プラス

0
0
0
よしの🏳️‍🌈 @yamiyo_tomoshib@fedibird.com
Public
Shared by SparklingOutlaw🍉

今こそ明かす、ピルが日本でなかなか解禁されなかった本当の理由　承認に向けて活動してきた産婦人科医が出版
naokoiwanaga.theletter.jp/post

"勃起不全治療薬のバイアグラなんて申請から承認まで6ヶ月しかかからなかった。勃起不全治療薬はものすごく早く承認したのに、ピルは44年"
"ジェンダーバイアスの最たるもの"
"医療や医薬品は極めて政治的なテーマなんです"

今こそ明かす、ピルが日本でなかなか解禁されなかった本当の理由　承認に向けて活動してきた産婦人科医が出版

世界中で使われているのに、日本でだけ大幅に承認が遅れた低用量経口避妊薬(ピル)。その裏には誰の、どんな思惑が働いていたのか。承認に向けて奔走した経験がある産婦人科医、北村邦夫さんが『ピル承認秘話　わが国のピル承認がこれほど遅れた本当の理由(わけ)』を出版しました。

naokoiwanaga.theletter.jp

0
0
0
0
0
0
Tod dem Faschismus @eibart@zirk.us
Public
Shared by Quincy

BOTD

Anna Seghers (19.11.1900 - 1.6.1983)

bürgerlich Literaturfuzzies im ÖRR so: obwohl Kommunistin, die sich hat vereinnahmen lassen von der DDR-Diktatur, sind ihre Erzählungen doch überraschender Weise so frisch und neu bla bla bla

wir aber wissen, dass es gerade das Kommunistische ist, das ihr Werk so »frisch und neu« macht

für die klassenlose Weltgesellschaft

0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
0
0
0
Tod dem Faschismus @eibart@zirk.us
Public

BOTD

Anna Seghers (19.11.1900 - 1.6.1983)

bürgerlich Literaturfuzzies im ÖRR so: obwohl Kommunistin, die sich hat vereinnahmen lassen von der DDR-Diktatur, sind ihre Erzählungen doch überraschender Weise so frisch und neu bla bla bla

wir aber wissen, dass es gerade das Kommunistische ist, das ihr Werk so »frisch und neu« macht

für die klassenlose Weltgesellschaft

0
0
0
Martin Schmitt @unixtippse@mastodon.online
Public
Shared by leyrer

CW C3 Betteltoot

RE: mastodon.online/@unixtippse/11

Moin ihr lieben, hier der ab sofort regelmäßige Betteltoot. Meine Liebste hat es während der Corona-Pause ziemlich heftig mit Multipler Sklerose zerlegt und sie hat erst nach der reibungslosen SFSCon den Mut gefasst, es erstmals mit Rollstuhl auf dem Congress zu versuchen. Vor der Pause war sie in Leipzig noch zu Fuß unterwegs. Da wir neue Vorkehrungen hinsichtlich der Unterkunft treffen müssten, wäre ein nicht so kurzfristiges Ticket für sie wirklich der absolute Hammer.

0
0
0
2
0
0
0
0
0
Tobias Bieniek @tb@hachyderm.io
Public
Shared by sublimer@あすてろいどん鯖管

🦀 crates.io now supports GitLab as a Trusted Publisher 🎉

Starting today, we are launching the public beta period of using GitLab CI/CD in Trusted Publishing workflows. You can find more information on how to use it at crates.io/docs/trusted-publish

This feature is currently limited to gitlab.com and does not support self-hosted setups yet. As our friends at PyPI have demonstrated, it should be possible to support that too though. You know what that means: PRs welcome! 😉

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
iROZHLAS.cz @irozhlas@rozhlas.cz
Public
Shared by Chao-c'

Skoro tři čtvrtiny dotázaných Čechů si myslí, že by měl Andrej Babiš před jmenováním do funkce premiéra veřejně představit plán, jak se chce vyhnout svému střetu zájmů.

Vysvětlení chtějí hlavně voliči Spolu, STAN a Pirátů, vedle toho ale taky nadpoloviční většina voličů nové vládní koalice, jak vychází z bleskového průzkumu agentury NMS pro Český rozhlas.

🔴 PRŮZKUM: irozhl.as/yAD

0
0
0
1
0
0
0
0
0
1
0
0
0
0
0
뉴스봇 - 국제 @news_global@802.3ether.net
Public

日법원 "클라우드플레어, 日만화 해적판 확산 책임…배상해야"
(도쿄=연합뉴스) 박상현 특파원 = 일본 법원이 미국 웹 인프라 기업 클라우드플레어가 만화 해적판 확산을 막지 않은 책임이 있다며 일본 출판사들...
yna.co.kr/view/AKR202511191566

日법원 "클라우드플레어, 日만화 해적판 확산 책임…배상해야" | 연합뉴스

(도쿄=연합뉴스) 박상현 특파원 = 일본 법원이 미국 웹 인프라 기업 클라우드플레어가 만화 해적판 확산을 막지 않은 책임이 있다며 일본 출판사들...

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

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
1
0
0
0
1
0
0
José A. Alonso @Jose_A_Alonso@mathstodon.xyz
Public

Structuring definitions in mathematical libraries. ~ Alena Gusakov, Peter Nelson, Stephen Watt. arxiv.org/abs/2509.10828

arXiv logo

Structuring Definitions in Mathematical Libraries

Codifying mathematical theories in a proof assistant or computer algebra system is a challenging task, of which the most difficult part is, counterintuitively, structuring definitions. This results in a steep learning curve for new users and slow progress in formalizing even undergraduate level mathematics. There are many considerations one has to make, such as level of generality, readability, and ease of use in the type system, and there are typically multiple equivalent or related definitions from which to choose. Often, a definition that is ultimately selected for formalization is settled on after a lengthy trial and error process. This process involves testing potential definitions for usability by formalizing standard theorems about them, and weeding out the definitions that are unwieldy. Inclusion of a formal definition in a centralized community-run mathematical library is typically an indication that the definition is "good." For this reason, in this survey, we make some observations about what makes a definition "good," and examine several case studies of the refining process for definitions that have ultimately been added to the Lean Theorem Prover community-run mathematical library, mathlib. We observe that some of the difficulties are shared with the design of libraries for computer algebra systems, and give examples of related issues in that context.

arxiv.org · arXiv.org

0
0
0
1
0
0
0
0
0
MIT Technology Review @mittechreview@flipboard.com
Public
Shared by Chao-c'

Quantum physicists have shrunk and “de-censored” DeepSeek R1
technologyreview.com/2025/11/1

Posted into MIT Technology Review @mit-technology-review-mittechreviewMIT Technology Review

Quantum physicists have shrunk and “de-censored” DeepSeek R1

They managed to cut the size of the AI reasoning model by more than half—and claim it can now answer politically sensitive questions once off limits in Chinese AI systems.

www.technologyreview.com · MIT Technology Review

0
0
0
noyb.eu @noybeu@mastodon.social
Public

📰 "With the 'Digital Omnibus', the claims to reduce burdens and simplify regulation for businesses. However, this premise rests on a misleading assumption: that Europe’s is being held back by excessive regulation."

Read more 👉 epicenter.works/en/content/dig

Digital Omnibus: When “Simplification” Becomes a Security Risk

Under the banner of “simplification,” the European Commission plans to revise core pieces of digital protection: from data protection to cybersecurity and artificial intelligence. What sounds like cutting red tape could, in reality, erode Europe’s digital safeguards. Instead of clarity and strategic direction, fundamental rights, security, and trust risk being sacrificed to a misguided deregulatory logic.

epicenter.works

0
0
0
Socket @SocketSecurity@fosstodon.org
Public
Shared by sublimer@あすてろいどん鯖管

🚀 We’re kicking off another Socket Launch Week today!

Day 1 is a big one: Reachability for is now in beta.

Ruby teams can finally see which vulnerabilities are actually exploitable in their apps, cutting through endless CVE noise.

Our Ruby reachability analysis uses function-level call graphs to identify which vulnerable functions your application can actually reach, enabling precise vulnerability triage.

Read the full announcement → socket.dev/blog/reachability-f

Reachability for Ruby Now in Beta - Socket

Reachability analysis for Ruby is now in beta, helping teams identify which vulnerabilities are truly exploitable in their applications.

socket.dev · Socket

0
0
0