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
1
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
1
0
0
1
0
0
2
0
0
0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
1
0
0
memeorandum @memeorandum@universeodon.com
Public

Foreign disinformation about Charlie Kirk's killing seeks to widen US divisions (David Klepper/Associated Press)

apnews.com/article/charlie-kir
memeorandum.com/250917/p8#a250

Law enforcement monitors the scene at Utah Valley University after Turning Point USA CEO and co-founder Charlie Kirk was shot and killed , Saturday, Sept. 13, 2025, in Orem, Utah. (AP Photo/Lindsey Wasson)

Foreign disinformation about Charlie Kirk's killing seeks to widen US divisions

Russia moved quickly to exploit conservative activist Charlie Kirk's shooting death at a Utah college, with groups linked to the Kremlin spreading false and misleading claims that experts say are designed to incite violence.

apnews.com · AP News

0
0
0
0
0
0
Honič Péra 24 hodin @honicpera@snac.lab8.cz
Public

Laboratorní testy provedené ve dvou zemích ukázaly, že Alexej Navalnyj byl loni otráven, uvedla na Telegramu vdova po opozičním předákovi Julija Navalná.
👉 Dlouholetý kritik ruského vůdce Vladimira Putina zemřel loni v polovině února náhle a za nevyjasněných okolností v trestanecké kolonii na Sibiři. Jeho rodina a spolupracovníci už dříve tvrdili, že byl zavražděn. Podle ruských úřadů byla jeho smrt přirozená.
🔗 Více v článku: https://czch.tv/8AfFFj

Navalnyj byl otráven, uvedla jeho žena

Laboratorní testy provedené ve dvou zemích ukázaly, že Alexej Navalnyj byl loni otráven, uvedla na Telegramu vdova po opozičním předákovi Julija Navalná. Dlouholetý kritik ruského vůdce Vladimira Putina zemřel loni v polovině února náhle a za nevyjasněných okolností v trestanecké kolonii na Sibiři. Jeho rodina a spolupracovníci už dříve tvrdili, že byl zavražděn. Podle ruských úřadů byla jeho smrt přirozená.

ct24.ceskatelevize.cz

0
0
0
0
0
1
1
0
0
Hacker News 50 @hn50@social.lansky.name
Public

EU Chat Control: Germany's position has been reverted to UNDECIDED

Link: mastodon.social/@chatcontrol/1
Discussion: news.ycombinator.com/item?id=4

Overview of current support and opposition for the Chat Control legislation by Patrick Breyer (https://www.patrick-breyer.de/en/posts/chat-control/). Countries opposing include the Netherlands, Belgium, Luxembourg, Austria, Czech Republic, Poland, Slovakia, Finland, and Estonia. Undecided countries are Germany, Slovenia, Romania, and Greece. All remaining member states supports Chat Control.

Fight Chat Control (@chatcontrol@mastodon.social)

Attached: 1 image Germany's position has been reverted to UNDECIDED. Despite expressing concerns about breaking end-to-end encryption, Germany refrained from taking a definitive stance on the Chat Control proposal during the September 12th LEWP meeting. A willingness to negotiate and compromise remains. This is an unfortunate development as Germany is crucial to defeating Chat Control. Please make your voices heard! https://fightchatcontrol.eu/ Source: https://netzpolitik.org/2025/chatkontrolle-noch-haelt-sich-widerstand/

mastodon.social · Mastodon

0
0
0
0
0
0
3
0
0
1
0
0
0
0
0
0
0
0
Yahoo! ニュース @yahoo_news@misskey.io
Public
Shared by 땡상어 :spinny_cat_gay:

アサヒが夜専用炭酸水を発売 狙い
https://news.yahoo.co.jp/pickup/6552767

アサヒが夜専用炭酸水を発売 狙い - Yahoo!ニュース

アサヒビールは１７日、ノンアルコール飲料「ウィルキンソン　タンサン　タグソバー」を発売した。「夜専用炭酸水」を打ち出し、お酒を飲まない層の需要の掘り起こしを狙う。２０２５年内に２０万箱の販売を目標に

news.yahoo.co.jp · Yahoo!ニュース

0
0
0
3
0
0
0
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
0
0
0
Yahoo! ニュース @yahoo_news@misskey.io
Public

アサヒが夜専用炭酸水を発売 狙い
https://news.yahoo.co.jp/pickup/6552767

アサヒが夜専用炭酸水を発売 狙い - Yahoo!ニュース

アサヒビールは１７日、ノンアルコール飲料「ウィルキンソン　タンサン　タグソバー」を発売した。「夜専用炭酸水」を打ち出し、お酒を飲まない層の需要の掘り起こしを狙う。２０２５年内に２０万箱の販売を目標に

news.yahoo.co.jp · Yahoo!ニュース

0
0
0
1
0
0
0
0
0
とかぷる:xflest_chance:みんたろう @tokaplmi@fle.st
Public

Fediverseが初めての人にもわかりやすいように解説すると、Misskeyっていうのは主体思想のソフトウェア顕現で、そこにあるサーバーっていうのは人民の理想的な集まりなのね。
それでユーザーは、偉大なる管理者の元で互いに幸福を分け合って暮らせる楽園ってこと。
帝国主義の貪欲な拡大主義者も居ないユートピアなんだ。
わかったかな？

1
0
0
1
0
0
1
0
0
0
0
0
Casey Callendrello @squeed@hachyderm.io
Public
Shared by Xe :verified:

My takeaway from the NPM mess is thus: languages should not shy away from large stdlibs.

I know they're incredibly expensive to maintain. But languages without usable built-in string processing, HTTP, or TLS implementations are setting themselves up for failure.

Rust is not as bad as JS, but it still makes me wary. Go's slow but steady adoption of "everyone-uses-them" third party libraries is a real boon. (And Python is sitting in a corner laughing at the rest).

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0