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

@huffpost you should turn on Fediverse sharing. It lets people on other platforms like Mastodon and Bluesky follow you remotely. You just keep posting here on Threads like normal. It just takes a minute.

https://www.threads.net/settings/account/fediverse

0
0
0

I've just sent the first end-to-end-encrypted messages from one instance to another.

News from around the USA really has me down, so it's important to celebrate the little wins 🎉

And, there's still so much to do. But with equal quantities of luck and caffeine, I can screencast some early prototypes for you before too long.

I believe is important for the because it will give us more ways to use this network, and expand what people can do here.

Application screenshot of the terminal from my laptop, showing debug output of an ActivityPub message being sent from one account and received by another.

It's really a bunch of gibberish, but that's the point. The messages are "end to end" encrypted using MLS, so there's nothing to actually read. And the lack of readable information is the whole point.
0
0
0
0
0
0
0
0
1
0
0
0
0
1
1
1

조계종 총무원장 "종교도 국가 안에서 존재…법 회피해선 안돼"
(서울=연합뉴스) 고미혜 기자 = 대한불교조계총 총무원장 진우스님은 "종교도 헌법이나 실정법을 회피할 수는 없다"며 "종교가 사회적 해악이 되거...
yna.co.kr/view/AKR202601140878

0
0
0
0

先週「まさか160円超えないよな…?」と思ってたがもう確実に超える。今159円だぞ???毎月の出費のダメージが半端なくて困ってる。昨年1番円安だったのが2025年4月の142円だった(石破政権)

嘘だろ…..
#円安

0
0
0
0

여자화장실 가서 성범죄를 저지르기 위해서 트젠한다? 성범죄 저지를라고 몇십만원과 오랜 기간을 거쳐 정신과 진단을 받고, 몇년동안의 트랜지션 기간을 거쳐서 생식능력을 잃어버리는 것까지 한다는거야?

0
0
0

Why run servers at home in 2026? For me, it comes down to three things: learning, privacy, and data ownership.

In my latest blog post, I walk through the current state of my homelab. I cover how I'm using NixOS to keep maintenance low, how I handle backups with Borg, and other goodies you may find interesting.

Check it out if you are interested in self-hosting or declarative infrastructure: stianlagstad.no/2026/01/homela

0

Democrats need to find a backbone and get better leaders who recognize what's happening in the nation and what's needed from them.

"Despite the fast-spreading outrage over the actions of DHS, many Senate Democrats aren’t eager to wage a fight over the department’s budget as part of this month’s funding fight."

thebulwark.com/p/senate-democr

0
0
1
0
0
0

There are now sufficiently many different examples of Erdos problems that have been resolved with various amounts of AI assistance and formal verification (see github.com/teorth/erdosproblem for a summary) that one can start to discern general trends.

Broadly speaking, we now see an empirical tradeoff between the level of AI involvement in the solution, and the difficulty or novelty of that solution. In particular, the recent solutions have spanned a spectrum roughly describable as follows:

1. Completely autonomous AI solutions to Erdos problems that are short and largely follow a standard technique. (In many, but not all, of these cases, some existing literature was found that proved a very similar result by a similar method.)

2. AI-powered modifications of existing solutions (which could be either human-generated or AI-generated) that managed to improve or modify these solutions in various ways, for instance by upgrading a partial solution to a full solution, or optimizing the parameters of the proof.

3. Complex interactions between humans and AI tools in which the AI tools provided crucial calculations, or proofs of key steps, allowing the collaboration to achieve moderately complicated and novel solutions to open problems.

4. Difficult research-level papers solving one or more Erdos problems by mostly traditional human means, but for which AI tools were useful for secondary tasks such as generation of code, numerics, references, or pictures.

(1/2)

0
0
0

"でもバベルの塔は崩れてしまい、私達はまたソーシャルメディア以前のような、散り散りのコミュニティの時代に戻りつつある。"

私は、それでいいと思っている。いずれまた振り子が振り切って、次のバベルの塔を目指し何処か・何かに集まり始める、そのときまで。自分自身が、そういう変化にどこまで追随できるかは、知らんけど。

コミュニケーション・コストの時代 - by youkoseki - たよりない話 youkoseki.substack.com/p/ed6

0
1

以前都用 VirtualBox ,之前想說試試看不同的,所以現在在公司主要用 KVM + virt-manager,設定確實很麻煩(分享資料夾 + 自動根據視窗調整解析度),不太確定效能有沒有比較好,然後... GUI 會 leak,開個三天吃掉 17GB,不過 virt-manager 設計的比較神奇的是他真的就只是 libvirt 的 GUI ,所以那個用 Python GTK 寫的 GUI 關掉後 memory 也跟著釋放掉,但 VM 實際上還是繼續被 libvirt 管理著繼續跑。

0
0
1

Note: The problem is now fixed; congratulations to everyone who replied "did you try running ldd?". The answer to the problem was "libc++1-19 was not installed", something which the LD_DEBUG=all points to not at all, but the ldd points out pretty clearly.

Oh also rpath was fucked. But as both you and I already know, rpath is always fucked.

0

Driving home, I came to the end of an album clearly inspired by John Carpenter. Wanting more I started to ask Siri to play the soundtrack to Escape from New York. But I looked at the car in front and, uncannily, it had another soundtrack suggestion.

0
0
0
0
0

Anthropic이 서드파티 클라이언트 접속을 차단한 것은 실수였다
------------------------------
- 2026년 1월 Anthropic이 *서드파티 코딩 에이전트의 Claude 접속을 차단* 하면서 개발자 커뮤니티의 반발이 발생
- 2025년부터 확산된 *터미널 기반 코딩 에이전트* 생태계에서 Claude Code는 핵심 도구로 자리잡았으며, OpenCode 등은 Anthropic 계정으로 로그인해 저렴한 구독 요금으로 이용 가능했음
- Anthro…
------------------------------
https://news.hada.io/topic?id=25790&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0