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
0
0
0
0
0
0
0
0
2
1
2
0

검찰 모두가 범죄자는 아니다는 참이겠지만 그게 조직으로써 검찰이 명실 어느쪽으로든 존속하는 쪽으로 손을 놓을 이유가 되는 것 같진 않은데. 그 권력의 이름과 실체 모두를 부정하지 않고 형사사법권력을 자의적/선택적으로 행사했던 조직으로써의 정체성을 말소할 수 있나? 국정원 방첩사 등이 이름 남겨줬더니 어떤 꼴이 났는가 기억이 안 날 정도로 기억력이 상하지는 않았을 텐데.

0
0

I was looking for information online and ended up on a tech stack I did not know. Out of curiosity, I opened the website.
The first thing I noticed was a series of clickable AI logos with the label "Summarize $PROJECT with AI".

To me, this is one of the clearest examples of the failure of a certain modern web. It means the page is so full of useless content, marketing language, hype, and buzzwords that even its authors realize it is impossible to extract meaningful information from it. In short, communicative bloatware.

This raises two questions.

First: if you realize the content is impossible to understand, why not rethink the entire site to make it actually communicative?

Second: if you realize an AI is needed to explain it, why not use it yourself once and publish a simplified page, instead of making every visitor click a button, generate essentially identical prompts, and create load, consumption, and environmental impact that are entirely avoidable?

This is not an argument against AI. It is an argument against the useless, costly, and harmful abuse of it, to the point of delegating even the decision of how to sit on a couch.

0

Recently, the application of AI tools to Erdos problems passed a milestone: an Erdos problem (#728 erdosproblems.com/728) was solved more or less autonomously by AI (after some feedback from an initial attempt), in the spirit of the problem (as reconstructed by the Erdos problem website community), with the result (to the best of our knowledge) not replicated in existing literature (although similar results proven by similar methods were located).

This is a demonstration of the genuine increase in capability of these tools in recent months, and is largely consistent with other recent demonstrations of AI using existing methods to resolve Erdos problems, although in most previous cases a solution to these problems was later located in the literature, as discussed in mathstodon.xyz/deck/@tao/11578 . This particular case was unusual in that the problem as stated by Erdos was misformulated, with a reconstruction of the problem in the intended spirit only obtained in the last few months, which helps explain the lack of prior literature on the problem. However, I would like to talk here about another aspect of the story which I find more interesting than the solution itself, which is the emerging AI-powered capability to rapidly write and rewrite expositions of the solution. (1/5)

0
0
0
0
1
1
0
0
0

On political compass, where X scale is more or less traditional left vs. right, egalitarian - hierarchical, but the Y scale is instead of "authoritarian" marked as nuclear energy needed = yes, nuclear energy not needed = no, you are at:

0
3
0
0
0
0
0

accounts to follow:

("Playdate" is a quirky handheld console with a physical crank on it: en.wikipedia.org/wiki/Playdate )

➡️ @playdate - Official Playdate account
➡️ @UncrankdPDUncrank'd - Fanzine for the Playdate
➡️ @XanialasagnaXanialasagna :playdate: - Indie dev & designer working on Playdate games
➡️ @panic - Makers of the Playdate, publishers of indie games
➡️ @daveDave Hayden 🏊 - Playdate staff member & typewriter fan
➡️ @pawprintsPawprints Games - Indie game dev making Playdate & web games

0
0
0
2
0
0
0
0
0
1
1

If I were a digital rights activist, I would see this time as a golden opportunity.

#Grok, the #AI "assistant" powered by Musk's xAI, has become an engine of non-consensual image and video generation at a mass scale - including pornographic and pedopornographic content. Creating and distributing this imagery has never been quicker or easier. All one has to do is reply to an image posted by someone on X with a mention of Grok and a prompt. This feature was restrained recently but people who pay an $8 subscription to X can still do it. As Sam Cole writes on @404mediaco404 Media : "Masterful Gambit: Musk Attempts to Monetize Grok's Wave of Sexual Abuse Imagery" https://www.404media.co/x-premium-grok-paywall-images-ai-generator/

How many politicians pushing for #ChatControl are still using X? How many official government accounts? You know, the same people who screamed WE NEED TO PROTECT THE CHILDREN and pushed for the scanning of all digital communications and files (including E2EE encrypted ones) of European citizens? An "Orwellian nightmare" as @Em0nM4stodonEm :official_verified: wrote on Privacy Guides: https://www.privacyguides.org/articles/2025/09/08/chat-control-must-be-stopped/#act-now

In the Privacy Guides article by Em, the French, Portuguese, Spanish, Italian and Irish governments (amongst many others) were in full support of Chat Control. As far as I can tell, prominent politicians, Prime Ministers and official government accounts from these countries are still posting on X.

Is there anything we can do to point out the hypocrisy? Or have the abuse machine that is Grok sanctioned and fined? And - this is key - use this horrible incident to push politicians to FINALLY quit X? It's about time.

#StopChatControl #LeaveX #QuitX #SaveSocial

0
0
1
0
1
0
0

I want to update my Android phone to a new version of LineageOS, and unfortunately this means I have to do a complete wipe of the phone and set it up again from scratch, which is a pain.

Can anyone recommend a good backup solution, app or command line tool that makes backing up all files and apps and restoring them afterwards easy?

0
0
0
0
0
0
1
1
0
1
2
0