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

RP)전형적인 폰지사기입니다. 폰지사기의 구조는 쉽게 말해 밑장 빼기인데, 후에 들어오는 투자자의 돈으로 앞선 투자자의 수익을 만들어줍니다. 폰지라는 사람이 처음 했다하여, 폰지사기라는 이름이 붙었지만 우리에게는 다단계, 피라미드 사기로 더 알려져 있고, 사기를 벌이는 이들은 이런 이유로, 프로슈머나 네트워크 마케팅 사업구조 이라고 소개합니다.

0

"Today's announcement is turning out to be a huge disappointment for climate groups who want Ottawa to double down on renewable energy like wind and solar"

point of order: can we start by even *singling* down on wind and solar? for all the talk about how we need to drastically increase electricity generation, our year-on-year growth is not even hitting double digits. our installed solar capacity, in particular, is well behind peer countries 😥

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

I mentioned a little while back the tiny suspicion some of us had about the number of cancers among ex colleagues who worked with us on Alameda naval base - you know, the one with the "nuclear wessels".

Anyway, this is about the naval base 8 miles away just over the bay. Hard to not be paranoid.

theguardian.com/us-news/2025/n

0
0
0
1
0

남산에 꼭대기에 올라 자물쇠와 낙서를 보다가, 오래전 흔적들을 보는 재미를 온라인으로 옮겨 볼까해서 만들었습니다.

yearit.com

실시간이 아니라, 썼다는 것도 잊어버릴 때쯤 다시 보게되는 걸 상상했는데, 이용하는 분들은 실시간을 원하는 분들이 많은 것 같아 고민입니다.

(남산 꼭대기 낙서, 자물쇠. 직접 촬영)

남산 빨간벽 낙서남산 자물쇠
0
0
2
0

한편 듀얼링크스에서는 팬텀나이츠와 유리 기본 스킬(스타브베놈 추가)과 액션듀얼(융합 뽑아오기)이 상성이 좋다는 사실을 발견하고 뭐라 말할 수 없는 기분이... 유리는 덱이 없어서 팬텀나이츠에 융합 하나 넣어서 들려줌...(유토: 극혐)

0

Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 erdosproblems.com/367 :

1. On Nov 20, Wouter van Doorn produced a (human-generated) disproof of the second part of this problem, contingent on a congruence identity that he thought was true, and was "sure someoneone here is able to verify... does indeed hold".

2. A few hours later, I posed this problem to Gemini Deepthink, which (after about ten minutes) produced a complete proof of the identity (and confirmed the entire argument): gemini.google.com/share/81a65a . The argument used some p-adic algebraic number theory which was overkill for this problem. I then spent about half an hour converting the proof by hand into a more elementary proof, which I presented on the site. I then remarked that the resulting proof should be within range of "vibe formalizing" in Lean.

3. Two days later, Boris Alexeev used the Aristotle tool from Harmonic to complete the Lean formalization, making sure to formalize the final statement by hand to guard against AI exploits. This process took two to three hours, and the output can be found at borisalexeev.com/t/Erdos367.le

EDIT: after making this post, I decided to round things out by making AI literature searches on this problem, which (after about fifteen minutes) turned up some related literature on consecutive powerful numbers, but nothing directly relating to #367. chatgpt.com/share/6921427d-9dc gemini.google.com/share/0d2964

0
0
0
1
0
0
0

[원작]
마법관에 눈오리 기구를 두면 제일 잘 갖고 노는 거 누굴까
: 최종적으로 오래오래 가지고 노는데 방향성이 점점 이상하게 굴러가는 건 미스라하고 오웬이요...
저 둘과 다른 방향으로 희안하게 가지고 노는 현법 - 무르 하트.
리케나 미틸은 초반에 열올리다가 네로가 타주는 코코아에 정신이 팔릴 거 같고...(샤일록은 어른들용 핫와인 해줄 거 같음) 정말로 최종적으로 어른들이...예...

0
0
0
0
0
0
0
1