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

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

연인과 함께하는 소중한 순간들

1. 작은 배려가 사랑을 키운다
2. 서로의 차이를 존중하자
3. 대화는 진심을 담아 나누기
4. 일상의 작은 감동 만들기
5. 서로의 성장을 응원하기
6. 솔직하고 투명한 마음 유지하기
7. 함께 꿈꾸는 미래 그리기

0
0
0
0
0
1
1
0
0
1
0
0
0

裡面提到,日本人的處事態度,似乎就是預設「人彼此不會互相欺騙」,所以做很多事情的摩擦成本低很多。
台灣好像有些地方也是這樣,比如說包包甚至手機掉了還很容易找回來、不會被偷走;但台灣同時又是詐騙王國,真的很神奇。

@foolfitzJiajun Xu 在公共經濟學裡讀到:「信用」是公共財,提昇交易效率。
之前在某傳統黃昏市場,賣蝦的會抓幾尾活的在那跳,買回去後才發現大部分已不新鮮,而且秤有做手腳,偷斤減兩。之後當然就不會去那買了。缺乏信用,市場效率降低。

0
0

트젠 화장실 얘기 나올 때마다 내가 말 많아지는게 1. 일단 사람의 생리현상을 가지고 차별하는게 사람새끼로 안 보여서 2. 네가 차별주의자라 힘드니 마음 고쳐먹거나 헤어지자했더니 헤어짐을 선택한 인간을 겪어서 3. 차별주의자들 맨날 화장실 쓰면 안되는 이유라고 같은 말 타래로 대엿개 달길래 내가 숫자로라도 이기고 싶어서

0
0
0
0

“지구는 돈다”는 변호인, “장관님 귀엽다”는 방청객···반성없는 내란 옹호 세력들 www.khan.co.kr/article/2026... "수 시간 반복되는 주장에 법정 내 긴장감은 사라졌다. 함께 기소된 다른 피고인 측 변호인들은 손을 턱에 괸 채 꾸벅꾸벅 졸았고, 아예 대놓고 의자에 몸을 기댄 채 눈을 감기도 했다. 그런데도 윤 전 대통령 측 변호인들은 지동설을 주장한 학자 요하네스 케플러와 갈릴레오 갈릴레이, 삼권분립을 주창한 철학자 몽테스키외 등 갖가지 예시를 들어가며 서증조사를 이어갔다."

“지구는 돈다”는 변호인, “장관님 귀엽다”는 방청객·...

0

裡面提到,日本人的處事態度,似乎就是預設「人彼此不會互相欺騙」,所以做很多事情的摩擦成本低很多。
台灣好像有些地方也是這樣,比如說包包甚至手機掉了還很容易找回來、不會被偷走;但台灣同時又是詐騙王國,真的很神奇。

@foolfitzJiajun Xu 在公共經濟學裡讀到:「信用」是公共財,提昇交易效率。
之前在某傳統黃昏市場,賣蝦的會抓幾尾活的在那跳,買回去後才發現大部分已不新鮮,而且秤有做手腳,偷斤減兩。之後當然就不會去那買了。缺乏信用,市場效率降低。

0
1