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
1
1
1
1
1
0
8
0
0
3
0

Hi, I'm Ridley!

I think a lot about building healthier online communities. I'm interested in distributed computing, consent-focused design, privacy, and object capability programming.

I am currently working on a Dart-based implementation of ocapn.org which I hope will make it easier to create distributed and federated applications.

I am very grateful to have @nlnet sponsoring some of this work.

0
0
0
0
0
1
1
0

Tonight’s movie… Pirates of the Caribbean: On Stranger Tides. Had the 3D Blu-ray so bit the bullet and risked all my fears coming true that keeping my old Optoma projector around would turn out to be a waste of time as I’d be so used to the quality of the new Sony I couldn’t bear to watch with the old one and have to upgrade that too at some point. I am super thrilled to report it’s still a great 3D projector and that fact has saved future me 2.5 grand.

Ian McShane with a long beard and a pirate hat stands on a ship.
0
1
0
1
0
0
1
0
0
0
0
1
0

SCALE 23x is happening this week!
We’re excited to be back at SCALE, one of the best places to connect with the people building and supporting open source in the real world.

This year, we’re looking forward to:
Meeting community members, from new to longtime FreeBSD users

Connecting with fellow open source organizations and exploring what’s ahead in 2026
If you’ll be at SCALE 23x, stop by booth #112 and say hello; we’d love to meet you.

socallinuxexpo.org/scale/23x

0

I’m building a new tool and looking for volunteers to test it! A linktree. (UPDATE: hub.vocalcat.com )

It’s designed for two types of people:

Normies / newcomers – Think of it like a free, privacy-respecting Linktree. No trackers, no ads. But here's the cool part: it's a Trojan horse for the fediverse. Your profile link is itself an ActivityPub actor. That means people can interact with it directly in the fediverse, and it encourages exploration of open platforms.

Fediverse users, If you have multiple accounts (, , Loops, a federated blog…), you know the struggle: sometimes you just want one persona to follow. This tool gives you that. It doesn’t post on its own (read-only), but it boosts all your other accounts and even has its own inbox. PLUS it can receive and show your badges issued by @badgefedThe BadgeFed Project !

Interested in testing? Right now it only supports mastodon authentication, so if you have a mastodon account reach out in private mention for the invitation code.

One webpage screenshot in white background and big letters saying Your links, Your Identity our NetworkA screenshot of links in rows, showing a profile with Pixelfed, Blog, Mastodon, LinkedIn links among others.
0
1
0

URLお掃除くんにamazon.comとかamazon.co.jpとかのパスの不要部分を消す機能も足そうと思ってて他にもAmazonぽいホスト名あったなあと思ったんだけどamzn.asiaさんは短縮URLサービスなのわね

0
1

1. The Supreme Court just handed down its 5th anti-trans decision in less than a year. It could lead to forced outing of trans youth across the country, with 40 cases pending that it may impact. It also forces CA teachers to misgender some trans students. Subscribe to support our journalism.

The Supreme Court Just Handed ...

0

国際化ドメインを掲示してるコマーシャルをみかけてぷにコードを解決してみたらIPアドレスはGoogleさんのものっぽいんだけどcurlするとCloudflareさんぽいレスポンスで非国際化ドメインにリダイレクトしててなんもわからん

0
0
0
0
0
0

Hey Trump... We got another one!
She is a psychiatric nurse practitioner from Arizona. She and her family are moving to soon, and she'll be the Team Lead RN for the Nanaimo complex care housing team!
The whole Island community is making this happen — from Island Health recruiters, to the Ministry, to the nurses College, our local helpers in the Infusion Discord.

ALL YOUR NURSES ARE BELONG TO US.
Thank you for your attention to this matter.

0
0
0

i've been trying to optimise some code for two hours now, entirely unsuccessfully. the naïve version generates a massive pile of movs and jmps, and i assumed i could do better. no matter what i did, i could only make the code slower. the few times i managed to make one benchmark 10% faster, the others became 50% slower.

finally, i received some very wise advice from my wife. this has helped me put things into a new perspective

discord screenshot. username: the pecha. comment: sometimes it's impossible to know what the compiler is cooking til you taste it
0

This is amazing. EA1FUO has built nec2c into WebAssembly, and now you can do antenna simulations on your phone or desktop without depending on nec2c running on a server. You can also deploy it locally, and he provides instructions for how to do this on docker or bare, and you can run nec2c on the server if you like.

Takes seconds to simulate my inverted V, and it even displays updates on what it is doing while running the simulation. It then gives a 3d rendering that you can drag around to get a better intuition. As you hover your mouse over the model, it shows gain in dBi with elevation and azimuth.

Beautiful work!

I don't know where else he's active, but he's been posting about this on Reddit as he's been developing it:
reddit.com/r/amateurradio/comm

Source code GPLv3: github.com/EA1FUO/AntennaSim

0
1
0

Half a year ago, I filled in some sorry's for the massive project [1] to formalize the Fields-medal winning proof that sphere packing in dimension 8 is optimized by the E8-lattice. Last week it was announced that all remaining sorry's were filled by Gauss, an autoformalization agent. Gauss was able to build on the blueprint and other scaffolding built by the community. A few days later, Gauss also formalized the proof in dimension 24, this time working directly from the published paper, without mayor community input [3].
Since Lean verifies the generated proofs, hallucinations are not a problem.
The community now processes the generated proofs to make sure it satisfies the community standards and remains usable in the future [2].

[1] thefundamentaltheor3m.github.i

[2] leanprover.zulipchat.com/#narr

[3] math.inc/sphere-packing

0
2
50
2
0
0
0

🚨 Security release alert! 🚨

Wagtail 6.3.8 (LTS), 7.0.6 (LTS), 7.2.3 and 7.3.1 are now available. These fix two security issues with severity "moderate" concerning cross-site scripting vulnerabilities in `TableBlock` and `wagtail.contrib.simple_translation`. Version 7.3.1 also provides dditional bug fixes.

Check our release notes for more details: docs.wagtail.org/en/stable/rel

0
2
0
1