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

Fel's conjecture on syzygies of numerical semigroups. ~ Evan Chen et als. arxiv.org/abs/2602.03716v1

arXiv logo

Fel's Conjecture on Syzygies of Numerical Semigroups

Let $S=\langle d_1,\dots,d_m\rangle$ be a numerical semigroup and $k[S]$ its semigroup ring. The Hilbert numerator of $k[S]$ determines normalized alternating syzygy power sums $K_p(S)$ encoding alternating power sums of syzygy degrees. Fel conjectured an explicit formula for $K_p(S)$, for all $p\ge 0$, in terms of the gap power sums $G_r(S)=\sum_{g\notin S} g^r$ and universal symmetric polynomials $T_n$ evaluated at the generator power sums $σ_k=\sum_i d_i^k$ (and $δ_k=(σ_k-1)/2^k$). We prove Fel's conjecture via exponential generating functions and coefficient extraction, solating the universal identities for $T_n$ needed for the derivation. The argument is fully formalized in Lean/Mathlib, and was produced automatically by AxiomProver from a natural-language statement of the conjecture.

arxiv.org · arXiv.org

0
0
0
Paul Cantrell @inthehands@hachyderm.io
Public

LLMs have no model of correctness, only typicality. So:

“How much does it matter if it’s wrong?”

It’s astonishing how frequently both providers and users of LLM-based services fail to ask this basic question — which I think has a fairly obvious answer in this case, one that the research bears out.

(Repliers, NB: Research that confirms the seemingly obvious is useful and important, and “I already knew that” is not information that anyone is interested in except you.)

1/ 404media.co/chatbots-health-me

Chatbots Make Terrible Doctors, New Study Finds

Chatbots provided incorrect, conflicting medical advice, researchers found: “Despite all the hype, AI just isn't ready to take on the role of the physician.”

www.404media.co · 404 Media

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

Statistical learning theory in Lean 4: Empirical processes from scratch. ~ Yuanhe Zhang, Jason D. Lee, Fanghui Liu. arxiv.org/abs/2602.02285v1

arXiv logo

Statistical Learning Theory in Lean 4: Empirical Processes from Scratch

We present the first comprehensive Lean 4 formalization of statistical learning theory (SLT) grounded in empirical process theory. Our end-to-end formal infrastructure implement the missing contents in latest Lean 4 Mathlib library, including a complete development of Gaussian Lipschitz concentration, the first formalization of Dudley's entropy integral theorem for sub-Gaussian processes, and an application to least-squares (sparse) regression with a sharp rate. The project was carried out using a human-AI collaborative workflow, in which humans design proof strategies and AI agents execute tactical proof construction, leading to the human-verified Lean 4 toolbox for SLT. Beyond implementation, the formalization process exposes and resolves implicit assumptions and missing details in standard SLT textbooks, enforcing a granular, line-by-line understanding of the theory. This work establishes a reusable formal foundation and opens the door for future developments in machine learning theory. The code is available at https://github.com/YuanheZ/lean-stat-learning-theory

arxiv.org · arXiv.org

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
wyatt @wyatt@soc.megatokyo.moe
Public

> the problem of decentralized platforms is that they just refuse to get on with the times. all the cool shit has to inevitably belong only to the big corpo apps

(politely) if you aren't willing to take a stand and use things that are "worse" because they're 5% less convenient or require spreading your activities across multiple such decentralised platforms for feature parity, politely fuck off
0
0
0
Simon Willison @simon@fedi.simonwillison.net
Public

Interesting research in HBR today about how the productivity boost you can get from AI tools can lead to burnout or general mental exhaustion, something I've noticed in my own work simonwillison.net/2026/Feb/9/a

AI Doesn’t Reduce Work—It Intensifies It

Aruna Ranganathan and Xingqi Maggie Ye from Berkeley Haas School of Business report initial findings in the HBR from their April to December 2025 study of 200 employees at a …

simonwillison.net · Simon Willison’s Weblog

0
0
0
Eyeling @eyeling@mastodon.art
Public
Shared by earthling

Next part of photos. Never thought I'd get to witness such a spectacle here. When the IPA (isolated proton aurora) visible in image 2 & 4 took off.... Wow. Words can't describe it. Images are in chronological order, panoramas of 8-12 images shot within 3-8 minutes beginning 21:30 UTC.
If you want to see a video of it: Someone near Stuttgart filmed that bright green burst visible in my last pic in *real time*: youtu.be/e19kAuC-6eU

Photos of a frozen over lake on a moonless night. A bright bow of green aurora in front of another red-grewn curtain is mirrored in the iceGreen bow weakening, but a blurp of acid dust blowing of further West like a silent firework. Eastern red intensifies.Changing location slightly. Just a few greenish spots on that northern colour curtain. Show's over? Ohh, no...an intensely white and green burst rips open the sky, turning tourquoise before fading. Meanwhile another green bow gnaws its way from West to East on the Northern horizon.
0
0
0
0
0
0
Ashe Dryden @Ashedryden@xoxo.zone
Public
Shared by Maho 🦝🍻

RE: mastodon.social/@verge/1160410

Two things:
1. We are creating a two-tiered internet that will see people willing to give up their IDs having one experience while those who can’t, won’t, or don’t have them missing out on those experiences or being outright excluded from whole areas of the web

2. Why you would be willing to give up your ID to web services that have such poor security in a time when identity is being weaponized by state actors is beyond me

0
0
0
Pseudo Nym @pseudonym@mastodon.online
Public

discord.com/press-releases/dis

Discord adding age verification next month. All accounts to be set to "teen" level without verification. Gov ID and/or face scan.

Discord Launches Teen-by-Default Settings Globally

Discord is announcing enhanced teen safety features rolling out globally that reinforce its long-standing commitment to creating a safer and more inclusive experience for users over the age of 13.

discord.com

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

Sleeper Shells: Attackers Are Planting Dormant Backdoors in Ivanti EPMM

Link: defusedcyber.com/ivanti-epmm-s
Discussion: news.ycombinator.com/item?id=4

Sleeper Shells: How Attackers Are Planting Dormant Backdoors in Ivanti EPMM

A February 2026 campaign used a internal JSP path and in-memory Java class loaders to quietly seed persistent access across Ivanti EPMM deployments - then walked away. We break down the tradecraft.

sveltekit-prerender

0
0
0
0
0
0
0
0
0
1
0
0
Slashdot :verified: @slashdot@mastodon.cloud
Public
Shared by @reiver ⊼ (Charles) :batman:

Discord Will Require a Face Scan or ID for Full Access Next Month yro.slashdot.org/story/26/02/0

Discord Will Require a Face Scan or ID for Full Access Next Month - Slashdot

Discord said today it's rolling out age verification on its platform globally starting next month, when it will automatically set all users' accounts to a "teen-appropriate" experience unless they demonstrate that they're adults. From a report: Users who aren't verified as adults will not be able to...

yro.slashdot.org

0
0
0
0
0
0
アオジ🦈 @aoGLDN@misskey.io
Public

好きを言語化するっていう行動はそれ自体が好きな人はいいけど、普段から言語化してない人には呪いの行動になると思う
すきを理解するという行動がどういうことかをちゃんと考えないと「〇〇があるから好き」みたいに手段と目的が逆転しかねないという罠もあるんだよね

1
0
0
OpenMedia @OpenMediaOrg@mastodon.social
Public

AI is engaging with people and children more intimately than any technology ever has before. Safety and privacy regulation, NOW!

wired.com/story/an-ai-toy-expo

An AI Toy Exposed 50,000 Logs of Its Chats With Kids to Anyone With a Gmail Account

AI chat toy company Bondu left its web console almost entirely unprotected. Researchers who accessed it found nearly all the conversations children had with the company’s stuffed animals.

www.wired.com · WIRED

0
0
0
Chris Siebenmann @cks@mastodon.social
Public

I rode the new Line 5 Crosstown today, although only two stops¹. It was okay and there weren't that many people on it, which is good because the two-car "trains" don't look like they have a huge capacity. The actual transit was fine, the Cedarvale interface is a confusing mess, and I wish the trains came more frequently. Given wait times it's probably faster for me to walk to Cedarvale; I normally hit Eglinton midway between Fairbank & Oakwood stations.

¹ Fairbank (Dufferin) to Cedarvale.

0
0
0
1
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
1
0
0
mcc @mcc@mastodon.social
Public

I wish Matrix/Element had the kind of account portability Mastodon has— "social graph portability", let me change addresses while moving my room memberships/spaces on other people's friend lists.

I have never taken advantage of this feature on Mastodon, since on Mastodon I would want to take my post history with me, which you can't. But Matrix doesn't have the same notion of "post history", and also it constantly deletes your old chat histories claiming key errors so who cares

0
0
0
Paul Cantrell @inthehands@hachyderm.io
Public

LLMs have no model of correctness, only typicality. So:

“How much does it matter if it’s wrong?”

It’s astonishing how frequently both providers and users of LLM-based services fail to ask this basic question — which I think has a fairly obvious answer in this case, one that the research bears out.

(Repliers, NB: Research that confirms the seemingly obvious is useful and important, and “I already knew that” is not information that anyone is interested in except you.)

1/ 404media.co/chatbots-health-me

Chatbots Make Terrible Doctors, New Study Finds

Chatbots provided incorrect, conflicting medical advice, researchers found: “Despite all the hype, AI just isn't ready to take on the role of the physician.”

www.404media.co · 404 Media

0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
0
regina_nyckelharpista @regina_nyckelharpista@sunny.garden
Public

Oj, it seems I've missed my first anniversary on Mastodon last friday :blobblush:

In this first year I've had a lot of meaningful and joyful interactions with lots of interesting folks, read and learned about many cool things, got inspired and found this place to be very welcoming and slow in a very pleasant way.

I'm enjoying my time here so much more than any other kind of social media, so I reeeeally hope all my friends will join me here soon, so we can have a real good time together away from those disgusting tech billionaires.

Feeling grateful, special thanks to @brookBrook Miles for being a great groundskeeper :)

A selfie showing my face (dark hair, big glasses). The sun in going down in the back over a beautiful Swedish forest lake. There are soft waves on the water and it is reflecting the treeline and the sun like a rippled mirror. There are sunrays and lens flare. I'm wearing a thin chain necklace with a silver nyckelharpa pendant.
0
0
0
1
0
0
amos @fasterthanlime@hachyderm.io
Public

"And do you, Claude, consent to take (redacted) for your wife?"
"...actually, this seems like a major life commitment that requires careful planning and execution. Let me write a document about what we've learned so far and file an issue to follow-up on that"

0
0
0
0
0
0
0
0
0