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
1
0
0
0
0
0
1
0
0
Hacker News 100 @hn100@social.lansky.name
Public

The Free Software Foundation Europe deleted its account on X

Link: fsfe.org/news/2025/news-202512
Discussion: news.ycombinator.com/item?id=4

A split image shows the Twitter bird icon dissolving into digital fragments on the left and a colorful decentralized network on the right, with bright light at the center.

Opening the cage: the FSFE flies away from X (Twitter) - FSFE

The Free Software Foundation Europe deleted its account on X. The platform never aligned with our values and no longer serves as a space for communication....

fsfe.org · FSFE - Free Software Foundation Europe

Link author: Free Software Foundation Europe@fsfe@mastodon.social

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

Microsoft drops AI sales targets in half after salespeople miss their quotas

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

A dartboard with only a few darts hitting it, with many misses beside it.

Microsoft drops AI sales targets in half after salespeople miss their quotas

Report: Microsoft declared “the era of AI agents” in May, but enterprise customers aren’t buying.

arstechnica.com · Ars Technica

0
0
0
0
0
0
1
0
0
0
0
0
0
1
0
0
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
Paul Cantrell @inthehands@hachyderm.io
Public

Fascinating story from a software dev Fedi friend, shared with permission to keep it anonymous:

❝A couple of days ago, I had an experience at work that made me understand one of the reasons why the chasm of opinion about LLMs is so deep and wide.

My department mostly does fiddly lowlevel work, [close to hardware]. A few of us don't use LLMs at all, a few use them sparingly, and one member is absolutely all-in. So during one of our morning meetings he suddenly started going off on a deeply disturbing diatribe about how we need to treat the LLMs “like slaves”.❞

1/

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
pvergain (framapiaf) @pvergain@framapiaf.org
Public

- tube.numerique.gouv.fr/w/gzwjk (Présentation de LaSuite - Novembre 2025)

- lasuite.numerique.gouv.fr/
- github.com/suitenumerique/docs
- github.com/gristlabs/grist-core
- github.com/suitenumerique/drive

Présentation de LaSuite - Novembre 2025

À l’occasion du Mois de l’Innovation Publique, la DINUM présente LaSuite numérique. En 1 heure, découvrez : ✅ Les nouveautés de Tchap, Visio, Docs, Grist et Fichiers ✅ Un aperçu exclusif des intégr...

tube.numerique.gouv.fr · Dinum

0
0
0
2
0
0
0
0
0
0
0
0
4
0
0
Hacker News 50 @hn50@social.lansky.name
Public

Building optimistic UI in Rails (and learn custom elements)

Link: railsdesigner.com/custom-eleme
Discussion: news.ycombinator.com/item?id=4

Building optimistic UI in Rails (and learn custom elements)

Learn how custom elements work in Rails by building an optimistic form. From simple counters to instant UI updates, understand when to use custom elements over Stimulus controllers.

railsdesigner.com · Rails Designer

0
0
0
0
0
0
Oakland Privacy @oaklandprivacy@mastodon.social
Public

Futurism found that Elon Musk’s Grok chatbot is actively doxxing everyday people, handing over real, current home addresses, phone numbers, emails, even family members’ info with almost no prompting.

futurism.com/artificial-intell


1/3

Elon Musk's Grok AI Is Doxxing Home Addresses of Everyday People

Elon Musk's Grox chatbot will happily cough up real, current residential addresses of everyday Americans, with little to no prompting.

futurism.com · Futurism

0
0
0
1
0
0
1
0
0
0
0
0
0
0
0
Kim Perales @KimPerales@toad.social
Public
Shared by Paul Cantrell

"Trump🚨keeps talking fraud case in MN to smear Somali Americans when in reality THE architect of the fraud was Aimee Bock-a white woman convicted in March of "masterminding a brazen scheme that reaped >$240M in pandemic relief funds."
-D Obeidallah

Trump is a master at spreading , & , esp when ginning up hatred for POC, , Muslims...
His goal: purge blk & br ppl/IMMs➡️.


nytimes.com/2025/03/19/us/nonp

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

Formal analysis of the sigmoid function and formal proof of the universal approximation theorem. ~ Dustin Bryant, Jim Woodcock, Simon Foster. arxiv.org/abs/2512.03635

arXiv logo

Formal Analysis of the Sigmoid Function and Formal Proof of the Universal Approximation Theorem

This paper presents a formalized analysis of the sigmoid function and a fully mechanized proof of the Universal Approximation Theorem (UAT) in Isabelle/HOL, a higher-order logic theorem prover. The sigmoid function plays a fundamental role in neural networks; yet, its formal properties, such as differentiability, higher-order derivatives, and limit behavior, have not previously been comprehensively mechanized in a proof assistant. We present a rigorous formalization of the sigmoid function, proving its monotonicity, smoothness, and higher-order derivatives. We provide a constructive proof of the UAT, demonstrating that neural networks with sigmoidal activation functions can approximate any continuous function on a compact interval. Our work identifies and addresses gaps in Isabelle/HOL's formal proof libraries and introduces simpler methods for reasoning about the limits of real functions. By exploiting theorem proving for AI verification, our work enhances trust in neural networks and contributes to the broader goal of verified and trustworthy machine learning.

arxiv.org · arXiv.org

0
0
0
0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
Kim Perales @KimPerales@toad.social
Public

"Trump🚨keeps talking fraud case in MN to smear Somali Americans when in reality THE architect of the fraud was Aimee Bock-a white woman convicted in March of "masterminding a brazen scheme that reaped >$240M in pandemic relief funds."
-D Obeidallah

Trump is a master at spreading , & , esp when ginning up hatred for POC, , Muslims...
His goal: purge blk & br ppl/IMMs➡️.


nytimes.com/2025/03/19/us/nonp

0
0
0