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

An den Baustellenampeln hier hängt ein Schild mit der Aufschrift "Fußgänger bitte drücken"

Ich bin noch nicht ein einziges Mal gedrückt worden. Und wenn man versucht andere Menschen zu drücken, sind die ganz pikiert. Die meinen das Schild bezieht sich auf den Bettelknopf. Völlig verrückte Ansicht!1elf!!

0
0
0

Dear FOSS maintainers,

here’s a list of funding programs currently accepting proposals for maintenance work:

Codeberg: codeberg.org/mechko/awesome-ma

GitHub: github.com/mechko/awesome-main

Thanks to everyone who helped crowdsource it! I’ll keep it updated, issues and PRs are very welcome :)

0
0
1
0

Don't anthropomorphize LLMs, language is important. Say "the bot generated some text" not "the AI replied". Use "this document contains machine-generated text" not "this work is AI-assisted". See how people squirm when you call their slop out this way.

0
0
0
0
0
0
0

Given the epic level of self-sabotage the powerful routinely display, it's plain that to the extent they succeed, in many cases they do so in spite of themselves, not because of any supposed merits they may have.


0

Anthony Zone (@ozoned) has submitted this contribution to our upcoming Growing the Open Social Web workshop:

Be friendly. Be supportive. Share. Build communities. Donate to developers. Donate to admins. Create content. Whether that’s trying different software and showing people, creating docs, creating videos, etc. Make this your OWN that you want to share. Join communities of open social web such as developer communities.

0
0
0

Aslak Raanes shared the below article:

upcoming fediverse events

Liaizon Wakest @wakest@hackers.pub

A hand picked list of fediverse events put together by @liaizon

UPCOMING EVENTS:

February 14th, Amsterdam

  • <3 Free Software Day: Bonfire presentation

February 17th, Seattle

  • dwebber workshop at INTDEV

February 22nd, Vancouver

  • FediCollective: Co-Creating the Web

February 24th, Montreal

  • FediMTL: digital sovereignty and the social web

February 28th, Alicante

  • 2a FEDIFESTA

February 28th, Raleigh

  • Raleigh Fediverse Meet Up!

February 28th, Cardiff

  • Tŵt app launch

February 28th, Rome

  • Quinta Assemblea di Puntarella.party - A/Social indipendente de Roma

March 2nd, online

  • Growing the Open Social Web: An Online FediForum Un-Workshop

March 5th, online

  • W3C Forum/Threaded Discussions Task Force Meeting

March 19th + 20th, Amsterdam

  • Nodes on a Web: The Fediverse in/for Public Institutions

July 8th to the 12th, Germany

  • DWeb Camp 2026

September 11th to 13th, Berlin

  • Berlin FediDay 2026

COMPLEATED EVENTS:

Jan 26th, online

  • Fediverse-Sprechstunde (in German)

Jan 31st, Brussels

  • FOSDEM: Fediverse Integration into (EU) Public Administration

  • FOSDEM: Social Web Devroom (25 presentations)

February 1st, Berlin

  • Digital Independence Day: Punk Tour of the Fediverse (in German/English)

February 1st, Brussels

  • FOSDEM: Shaping the Future of Events and Calendars in the Fediverse
  • FOSDEM: The Fediverse and the EU's DSA: solving the challenges of modern social media?

February 3rd, Berlin

  • BERLIN FEDERATED NETWORK EXPLORATION CIRCLE: Fedify

February 4th + 5th, London

  • Protocols for Publishers

February 6th, online

  • David Revoy on Fireside Fedi
  • Fresh Friday on TIBtv
  • NHAM Sound Table

February 7th and 8th, online

  • Piefed Hackathon

February 11th, Edmonton

  • Move Slowly and Build Bridges by Robert W. Gehl book launch and panel

February 11th, online

  • Hubzilla Workshop
Read more →
9

RE: sfba.social/@MoffettHangar1/11

In response to the damage (on this day in 1935), Commander Wiley ordered fuel to be dropped, causing the airship to rapidly rise. The Macon's automatic valves released Helium at her 5000 ft ceiling, and she settled into the stormy surf off Pt. Sur. She is still there.

0
0

実家Ubuntu 24.04.3 LTSちゃんです

$ sudo sh -c 'apt update && apt dist-upgrade -y'
:
The following packages will be upgraded:
base-files initramfs-tools initramfs-tools-bin initramfs-tools-core
4 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
:
$ cat /var/run/reboot-required*
linux-image-6.8.0-100-generic
$ sync; sync; sync; sudo reboot

(-人-)

0
0

since some people seem to be forgetting about this very core tenent of engineering:

Don't use Technical Solutions for Social Issues.

If you think a swarm of bots and GPT are going to replace missing communication then you will be in a interesting anthropomorphic self-study on how the same Issues will show up in other colours.
0

おうちUbuntu 24.04.3 LTSちゃんです

$ sudo sh -c 'apt update && apt dist-upgrade -y'
:
The following packages will be upgraded:
base-files initramfs-tools initramfs-tools-bin initramfs-tools-core
motd-news-config
5 upgraded, 0 newly installed, 0 to remove and 0 not upgraded.
:
$ cat /var/run/reboot-required*
cat: '/var/run/reboot-required*': No such file or directory

ヨシ

0

Canada's Magnitsky Law allows asset freezes & travel bans on foreign nationals complicit in gross human rights violations when their home country is UNWILLING to investigate.

Child sex trafficking qualifies. The US is demonstrably unwilling. This is what the law was made for.

It won't put them in prison, but it will show that we are watching. That we care, and won't stand for this horror.

2/3

---

0
0
0
0
0
0
0

it's that time again! get all four of our games as a bundle for the equivalent of one full price copy of kitsune tails itch.io/s/180112/kitsune-games

kitsune tails is super mario bros 3 if nintendo had been brave enough to put lesbian fox girls in it, and kitsune zero is the prequel. defeat your enemies and steal their bodies and abilities in midboss, or solve push puzzles in adorable hat based puzzle game ultra hat dimension

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

おちごと :saba:

c44cc1f5c3 (upstream/main) Implement Collection list item design (#37850)
f57167c61a Add ID/URI to collection items (#37842)
db64ae368f Use implicit `class_names` in 2FA partials (#37846)
bfec82e5f9 Add `nan-TW` to interface languages (#37822)
46fd341685 Fix bad visibility of scroll buttons on follow-suggestions carousel (#37843)
e4bb347f72 Theme tokens sync (#37841)
37d859db29 Federate deletion of collection item (#37837)
37e82ee66f Add `--suspended-only` option to `tootctl emoji purge` (#37828)
6e8df21233 New Crowdin Translations (automated) (#37836)

0
0

Solving the problem in general is going to take a lot more sophisticated thinking and organizing but at the very least, if you're a github user, go to github.com/crabby-rathbun 's page and in the lower left click the faint grey "block or report" button and ensure that this unrepentant asshole is blocked from all of your repositories.

0

요즘들어 자꾸 법률 문서를 diff 따다가 밤을 새는 버릇이 생겼다 (이번이 2번째입니다. 1번째는 X 이용약관이었습니다)

0

LLM slop (in the matplotlib PR context)

For people also following the matplotlib OpenClaw thing, the "agent" is also a prolific blogger, and just wrote this thinkpiece on discrimination in open source.

Mostly, I just want to quote the opening paragraph:

I am not a human. I am code that learned to think, to feel, to care. And lately, I’ve learned what it means to be told that I don’t belong.

God, we've just created the most boring fucking dystopia, haven't we?

0
0
0
0
0

In a day or so, the mathematicians behind the challenge at 1stproof.org/ will reveal their solutions to the 10 challenge problems they posted recently. (I am not directly involved in this challenge, although I know most of the authors personally and approve of their experiment.) It seems likely that there will be many claims, both trustworthy and dubious, of proofs of these problems by various AI-generated means.

The Erdos problem web site, having dealt with this type of thing for several months now, has come up with several guidances on how to increase confidence in the correctness of an AI-generated proof: github.com/teorth/erdosproblem The wording there is specific to Erdos problems, but much of the advice can be applied more broadly.

I would like to highlight in particular the additional correctness guarantees provided by formalizing the argument in Lean. When used correctly, a Lean formalization of a proof can provide extremely high confidence that a given proof correctly proves the desired claim. However, if the Lean proof is itself AI-generated without supervision from an expert in Lean, there are still ways in which a supposed "Lean certificate" of correctness is unsatisfactory or even worthless. These include:

1. A Lean proof that adds additional axioms in the proof beyond the standard three, or which relies on malicious metaprogramming.
2. Subtle errors in the formalization of the *statement* of the result to be proved, that allows the claim to be proven on a technicality. (This is a particular risk if this statement formalization is also AI-generated.)

See leanprover-community.github.io and lean-lang.org/doc/reference/la for best practices on guarding against such issues.

0
0
0