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.
회사의 워크샵을 왔습니다. 집에 가고 싶어요.
会社のワークショップに来ました。家に帰りたいです。
乗ってる最中のなおすきの発言まとめ
・たのし〜〜〜〜〜〜！！！！！
・ばんざぁぁぁぁぁぁぁあい！！！！！
・うまれるうううううううううう！！！！！
・Oh！Yes！Ohh！！！Yeeeees！！！！！
ついでに髪の毛切ってこよ
あ～～～～～～～～～～～～～～～！！！！！！！！！
ストロボの充電してなかった！！！！！！！！！！！！！！！！！！！！！！
うおお～～～～自分偉い！！！！
日本って国連常任理事国入り目指してたの？やめとけそんなん面倒くさいだけだから
> 日本が目指す安全保障理事会の常任理事国入り
https://news.ntv.co.jp/category/international/95bec32680da450494210a1b18b3c112
日本って国連常任理事国入り目指してたの？やめとけそんなん面倒くさいだけだから
> 日本が目指す安全保障理事会の常任理事国入り
https://news.ntv.co.jp/category/international/95bec32680da450494210a1b18b3c112
スチールドラゴンから生還
爽快でした
香港兩家低成本航空公司大灣區航空和香港快運宣布，可以為更改行程的赴日旅客作特別安排
網民：是延長行程還是改買單程 
Oh, I just noticed! If you want the Japanese paperback version of the Warudo Guidebook, you can get it in the Japanese store page, and it includes the English PDF download too!
Dipshit is smashing out a car window with his gun, barrel first. Just rogue, cowboy stiff. There were two US citizens in the car. They were apprehended and detained for “obstructing” ICE by honking their horn to let people know ICE was in the neighborhood.
Oh, I just noticed! If you want the Japanese paperback version of the Warudo Guidebook, you can get it in the Japanese store page, and it includes the English PDF download too!
ねぎら
カステラ食べてる
みんなまともに働いてて偉いよな
토스 프론트엔드 플랫폼 팀에서 어시스턴트를 모집합니다. 서비스 개발에 필요한 CLI 도구 개발, CI 파이프라인 구축, 프레임워크 설계 등 플랫폼 업무를 경험해볼 수 있어요. https://toss.im/builder/to/ecec6cbba9344082920c82ba28698bfb
にゃんぷっぷーは
のことが好きみたい
겨울 방석이 좋은가벼
今日はメッチャあったかいなぁ
Tシャツとパーカーくらいで全然いける
소 솔직히 기사 야마만 보고 오세훈 까는건줄 알았어요
人間いつかは必ず死ぬ
캡틴 무라사! 투명수채화
Over at the Erdos problem website, AI assistance is now becoming routine. Here is what happened recently regarding Erdos problem #367 https://www.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): https://gemini.google.com/share/81a65aecfd70 . 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 https://borisalexeev.com/t/Erdos367.lean
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. https://chatgpt.com/share/6921427d-9dc0-800e-b798-be8fc94a9240 https://gemini.google.com/share/0d296454bea0
考えたら「死」くらいしかないか？
人間いつかは必ず死ぬ
考えたら「死」くらいしかないか？
구글에서 이분 매칭 알고리즘을 검색하면 예를 들어서 https://blog.naver.com/ndb796/221240613074 이런 게 검색되고 코드도 나와서 참고할 수는 있는데... 아무리 찾아봐도 정확성 증명도 없고 이게 왜
Cybersecurity isn’t ready for the conversation about how bad sexism and ageism are in the whole pen test / red team community, or how influencer culture and the saturated market are enabling it to get worse. https://www.linkedin.com/pulse/tryhackmes-advent-cyber-2025-zero-women-creators-look-josh-mason--rz7ie?utm_source=share
突然覺得Mamdani和Trump可以有本本耶
「美髯共產主義弟弟」
「金髮碧眼法西斯哥哥」
(先不要
AIやツールがあっても「誰でもできる」にはならい。
これは歴史が証明してるんだよな。
裾野は広がるけど、誰でもできるにはならないし、みんながやる世界にもならない。「やるやつは、やる」の裾野が広がることで変わることはあるけど、「誰でもできる」とは違うんだよ。
少し昼寝した
レターパックで米ドル送れ
Xユーザーの骨しゃぶりさん: 「米ドル両替を注文したら米ドル紙幣がレターパックプラスで送られてきた。米ドル紙幣は現金じゃなかったのか。650ドルだから俺にとってはそれなりの金額なのだが。」 / X : 👀
---
https://x.com/honeshabri/status/1991794055727259730
パン食い競争で3位になって、賞品もらいました！！
[인터뷰] 김예지 의원 “혐오하지 마라, 일할 시간 없으니”
www.sisain.co.kr/news/article...
"혼자 사회를 바꿀 순 없어도, 여러 사각지대를 우리 사회와 연결해주는 최소한의 통로라도 되는 게 장애 당사자, 비례대표 국회의원으로서 할 일이라고 생각한다. 나를 두고 “장애 빼면 기득권”이라고 하는데, 장애를 빼고 나에 대해서 말하는 것부터가 문제다. 그게 나인데, 장애를 거기서 왜 빼나. 장애인이 과대표됐다는데 정작 과대표되고 있는 건 법조인과 언론인 아닌가. 이런 얘기는 왜 안 하나."
[인터뷰] 김예지 의원 “혐오하지 마라, 일할 시간 없...
Our #cat Lilly, completely knackered, after having 8 adults and 2 kids visit in the morning. And 15 kids and 7 adults in the afternoon.
Children's birthday madness.
🖌 예전에 마린블루스에서도 나왔던 말이 시간이 지나도 변하지 않는 진리 중 하나가
메뉴 많은 식당은 맛이 없다 
紅葉を見に
여기는화장실이아니에요!
바로 그냥 연친소 날먹하고 냅다 자러간사람
RE: https://qdon.space/@Lambda_1stLight/115587480351071884
라고 말하는 커피 대리 연친소
糸葱ににか 
sublimer@あすてろいどん鯖管
dansup
5/18スパコミ大阪 
Cat 🐈🥗 (D.Burch) 
