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
1
0
0
0
0
0
1
0
0
Palm Oil Detectives @palmoildetectives@mastodonapp.uk
Public

Soulful 🐘💗 are not only intelligent, they add more diversity, finds this landmark . All species are threatened by and . 🌴🔥⛔ @palmoildetect.bsky.social wp.me/pcFhgU-7dB?utm_source=ma

A Sumatran elephant enjoys a playful river dip, by Craig Jones Wildlife Photography

Large herbivores such as elephants contribute to tree diversity

A recent study using satellite data has highlighted the critical role that large herbivores play in promoting tree diversity in forest ecosystems. The research showed that areas with abundant large…

palmoildetectives.com · Palm Oil Detectives

Link author: Palm Oil Detectives@palmoildetectives.com@palmoildetectives.com

0
0
0
1
0
0
1
0
0
1
0
0
1
0
0
1
0
0
0
0
0
0
0
0
Ryan He @ryanhe@mistyreverie.org
Public
Shared by Jiajun Xu

先說結論

這證明了社群媒體平台如果願意，可以透過調整他們的演算法，來減少大家對彼此的敵意和政治對立。這對社會來說，有助於提高信任，讓不同立場的人之間可以進行更健康的溝通
演算法重排序對情感兩極化的影響研究（使用Gemini產生的摘要
https://www.science.org/doi/10.1126/science.adu5584
這份研究想知道什麼？

這篇論文在探討一個很重要的問題：社群媒體上的「演算法」（就是決定你先看到什麼、後看到什麼的那個系統）是不是會讓我們更討厭政治立場不同的人？以前的研究都要靠社群平台自己提供資料，但這份研究找到了一個獨立的方法來實驗。

他們做了什麼實驗？

研究人員開發了一個特別的瀏覽器外掛程式，讓 1256 位美國民眾在用 X（以前叫 Twitter）時，可以「偷偷」改變他們看到的東西。

他們使用了最新的 AI 技術（大型語言模型），來找出那些充滿「反民主」和「針對對手政黨的敵意」（我們簡稱「吵架文」）的貼文。

參與者被隨機分成兩組，進行為期一週的實驗：

減少吵架文組： 演算法會把這些充滿敵意的貼文往下藏，讓你少看到。

增加吵架文組： 演算法會把這些貼文往前推，讓你多看到。

他們發現了什麼？

實驗結果非常清楚地證明：演算法決定你看到什麼，真的會影響你對政治對手的感覺。

如果你被分配到少看「吵架文」的那一組，一週後，你對對立政黨的人會變得比較友善、沒那麼討厭。

如果你被分配到多看「吵架文」的那一組，你對對立政黨的人就會變得更冷漠、更討厭。

這種情緒上的變化很明顯，幅度大約等於美國人花三年時間才會累積的政治對立程度。而且，不論你是哪個黨派的支持者，結果都一樣。此外，少看吵架文也會讓你減少生氣和難過等負面情緒。

這代表什麼？

這證明了社群媒體平台如果願意，可以透過調整他們的演算法，來減少大家對彼此的敵意和政治對立。這對社會來說，有助於提高信任，讓不同立場的人之間可以進行更健康的溝通。

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

Propagace komunismu bude od nového roku trestná - Ústavní soud odmítl návrh na zrušení části trestního zákoníku. Na soud se obrátila neparlamentní Komunistická strana Československa, která se názvem odkazuje k předlistopadovému režimu. Podle této strany jde o nepřiměřený zásah do politických práv a svobod. Ústavní soud samotný princip neposuzoval. Návrh odmítl, protože zrušení právních předpisů mohou navrhovat skupiny poslanců nebo senátorů, ne politické strany.

0
0
0
Hacker News 100 @hn100@social.lansky.name
Public

After 40 years of adventure games, Ron Gilbert pivots to outrunning Death

Link: arstechnica.com/gaming/2025/12
Discussion: news.ycombinator.com/item?id=4

After 40 years of adventure games, Ron Gilbert pivots to outrunning Death

Interview: Storied designer talks lost RPG, a 3D Monkey Island, “Eat the Rich” philosophy.

arstechnica.com · Ars Technica

0
0
0
1
0
0
相戸ゆづな @yuzuna@ariesmc21.com
Public

ゲーム実況とかVtuberの雑談、どうも苦手なんだよなあ。一方的に字幕のない雑談を聞くのが苦手くさい。結論から言うタイプの人ならいけるけど、雑談のダラダラ感が出た途端に離脱したくなるな

1
0
0
0
0
0
0
0
0
1
0
0
白長谷 @siranagatani@misskey.io
Public

GoogleのAIエージェントがユーザーのHDD全体を許可なく消去する致命的ミスをやらかす - GIGAZINE
​:uwa_xtu:​​:juudai_incident:​

GoogleのAIエージェントがユーザーのHDD全体を許可なく消去する致命的ミスをやらかす

GoogleによるAI搭載エージェント型統合開発環境「Google Antigravity」を使用していた開発者が、AIによって許可なくDドライブ全体が削除されてしまったと報告しました。

gigazine.net · GIGAZINE

0
0
0
1
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
2
0
0
1
0
0
earthling @appassionato@mastodon.social
Public

Eastern and northeastern parts of Gaza’s southern city of Khan Younis have come under Israeli attack by artillery shelling, gunfire and a helicopter gunship, despite the October 10 ceasefire.

Central Gaza: An air strike was reported east of the central governorate, specifically near the Maghazi refugee camp.

Southern Gaza: Israeli naval vessels opened fire towards the coast of Khan Younis, while air raids were also reported in the city of Rafah.



0
0
0
1
0
0
1
0
0
Karel 'Clock' K. @clock@f.cz
Public

Britské Listy rozkryly ilegální dumpování stavebního odpadu z Německa do Česka, které poškozuje životní prostředí: blisty.cz/art/130284-stavebni-

Stavební odpad: „Bílé zlato“: Zakopáno místo recyklováno | 5. 12. 2025 | Britské listy

Britská televize Channel 4 ve svém zpravodajství upozorňuje, že v Anglii vznikají za nečinnosti všech úřadů obrovské ilegální skládky odpadu, které brutálně ...

blisty.cz · Britské listy

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

A Rocq formalization of monomial and graded orders. ~ Sylvie Boldo, François Clément, Vincent Martin, Micaela Mayero. arxiv.org/abs/2512.04573

arXiv logo

A Rocq Formalization of Monomial and Graded Orders

Even if binary relations and orders are a common formalization topic, we need to formalize specific orders (namely monomial and graded) in the process of formalizing in Rocq the finite element method. This article is therefore definitions, operators, and proofs of properties about relations and orders, thus providing a comprehensive Rocq library. We especially focus on monomial orders, that are total orders compatible with the monoid operation. More than its definition and proved properties, we define several of them, among them the lexicographic and grevlex orders. For the sake of genericity, we formalize the grading of an order, a high-level operator that transforms a binary relation into another one, and we prove that grading an order preserves many of its properties, such as the monomial order property. This leads us to the definition and properties of four different graded orders, with very factorized proofs. We therefore provide a comprehensive and user-friendly library in Rocq about orders, including monomial and graded orders, that contains more than 700 lemmas.

arxiv.org · arXiv.org

0
0
0
oli @oli@hachyderm.io
Public
Shared by notJoon

Officially unemployed now after almost 5 years at aws working completely in the open on the Rust compiler.

With rustnl.org/fund/ and rustfoundation.org/media/annou both figuring out how to ensure maintainers are paid to do reviews, refactorings and mentoring, I'm optimistic I can continue doing my work in the future.

If your company uses Rust a lot and would like to support it and talk about how that support can either indirectly or directly benefit its Rust-writing employees, I'm happy to chat to explain both funds and make the connection to the right fund for you. Or just skip directly to one of the funds if you already know ppl there!

Rust Maintainers Fund - RustNL

RustNL - Stichting Rust Nederland

rustnl.org

0
0
0
0
0
0
0
0
0
0
0
0
David Beazley @dabeaz@mastodon.social
Public

When I see people lament "where did it all go wrong?" with respect to tech, I sometimes think back to one of my favorite books "Soul of a New Machine." Sure, there are inspiring stories of programmers in there, but there is also an underlying story of business--and it's a complete shit show. So, I have to think that maybe tech didn't go wrong--it's just been wrong the whole time.

0
0
0
0
0
0
0
0
0
2
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
earthling @appassionato@mastodon.social
Public

“What is being tested around Venezuela is less a single country policy than a broader template, where complex domestic crises are reframed as ‘narco-terrorist’ threats that justify extraterritorial use of force under the banners of law enforcement and counterterrorism,”

Santino Regilme

aljazeera.com/news/2025/12/5/o



Opening ‘Pandora’s box’: What happens if the US attacks Venezuela?

Opening ‘Pandora’s box’: What happens if the US attacks Venezuela?

Experts warn a US strike on Venezuela could trigger instability rather than a peaceful transition.

www.aljazeera.com · Al Jazeera

0
0
0