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.
ベテランエンジニアがクラウドワークスで5,000円の案件を受けてみた｜ebiebi_pg https://note.com/ebiebi_pg/n/nf3519b5041ee
発注側がパパ活で金銭感覚ぶっ壊されたJDみたいにされてて可哀想。
第5世代型成田エクスプレス
한편 듀얼링크스에서는 팬텀나이츠와 유리 기본 스킬(스타브베놈 추가)과 액션듀얼(융합 뽑아오기)이 상성이 좋다는 사실을 발견하고 뭐라 말할 수 없는 기분이... 유리는 덱이 없어서 팬텀나이츠에 융합 하나 넣어서 들려줌...(유토: 극혐)
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
紛争は30日たたないとつかえないんやで
마듀 짜보고 싶은 덱 히어로 이블히어로 환주 가스타 요선수 블랙페더 보옥수 자크덱(?) 플레이용이라기보단 RP용으로 짜고 싶은 덱 Em...프레데터 플랜츠...즉 데니유리 (짜봐야 RP상대가 없다)
写真入りの名刺もらうと便利だと思うけど自分のに写真入れるのは恥ずかしい
[원작]
마법관에 눈오리 기구를 두면 제일 잘 갖고 노는 거 누굴까
: 최종적으로 오래오래 가지고 노는데 방향성이 점점 이상하게 굴러가는 건 미스라하고 오웬이요...
저 둘과 다른 방향으로 희안하게 가지고 노는 현법 - 무르 하트.
리케나 미틸은 초반에 열올리다가 네로가 타주는 코코아에 정신이 팔릴 거 같고...(샤일록은 어른들용 핫와인 해줄 거 같음) 정말로 최종적으로 어른들이...예...
"작은 약속을
매일 지키다보면
인생도
나를 밀어주기 시작한다."
Isn't it enough to see that a garden is beautiful without having to believe that there are fairies at the bottom of it too?
名刺を渡してくれるときに目の前で切り込みを入れる人も居るよね。みんながそうする社会ではもともと切り込みの入ってた名刺は第三者のものだとわかる。
市ヶ谷 本と活字館いいぞ...とても...。
自作くろでんってなに...?
Being an NPC is hard
広島公演のチケット当選してた。待ってろ宮本
미안해요 탐라 너머 은혜를 베풀어 주신 현자님
눈사람 만드는 현법(자캐커뮤캐릭터)들
근데 현법(원작)들이 눈사람 만드는 생각 하니까 마음이 좋네
장갑도 끼고 목도리도 해야 해 얘들아 알았지
듣고있냐 북법들아
Wireshark
너무 좋아하는 짤 주움
Vsora Jotunn-8 5nm European inference chip
Link: https://vsora.com/products/jotunn-8/
Discussion: https://news.ycombinator.com/item?id=46074111
눈사람 만드는 현법들
냉동실 시간정지를 믿은 자들의 최후
(사실은 대부분 굴 잘못 먹은거 ㅋㅋ)
そういえばtheHunter積んだきりですわ 大学の講師さんに勧められてぽちったんだけどね
財務大臣になれば欲しいもの買い放題なのでは...！？
이번에 나온 굿즈 너무 귀여워.........
특히 올리브 오일이랑 아이스크림이 탐남
一家に1
냉동실 시간정지를 믿은 자들의 최후
(사실은 대부분 굴 잘못 먹은거 ㅋㅋ)
Bonjour les Mammouths !
朝ごはんこれ食べて寝て夜ご飯を食べるという生活をしている
RE: https://prismisskey.space/notes/aflj9ul60zsl1xp2
もふ…は財務省
もふぁ…は外務省
냉동실은 시간을 멈춰주니까요 캡틴아메리카를 보세요
プロフィール画面出さずに「いつも
見てますぅ～」と言って逃げ出すおじさんやりたい
午後をやっつけちゃいましょうね〜
最近はgitの署名くらいにしかPGP使ってないけど
가내빛전 이런저런 이유로 일기쓰는 설정이라 각 시기별 일기 만드는게 저의 오타쿠 목표중 하나에요
Dungeons & Dragons alignment charts are Myers-Briggs for cool people.
They are also more accurate + more useful than Myers-Briggs.
@miaolu喵路 看到有人說，這種光亮，倒讓那些傷痛和黑暗更為突出
@magaolun馬鮫倫 🇺🇦 🇭🇰 🇹🇼 🏳🌈 🏳⚧ 台灣經歷過很長的戒嚴，大部分人都逐漸習慣自我審查與噤聲，對不公不義視而不見，從絕望到麻木，但善良的人性從來沒有消失，它不敢強出頭，卻會在暗處遞火，這就是火種。不要小看，它是未來光明的預留之力。
現在看起來如此絕望，只要火種不從人性中消失，永遠都還有希望。
🍝 저의 주님, 날아다니는 스파게티 괴물 님, 저를 보호하시어 살펴주소서.
😋 어서 구원하시어 혼자 내버려 두지 마소서.
🍝 날아다니는 스파게티 괴물 님께서 여러분과 함께.
😋 또한 주교의 면발과 함께 하소서.
🍝 기도합시다.
지극히 선하신 스파게티 괴물 님, 사람들이 더욱더 완전한 것을 이루기 위해서 서로 협조하여 일하게 해주셨으니,
저희 기도를 들으시고 저희가 항상 우정을 품고, 모든 이들을 위한 박애로 끊임없이 일하게 하소서.
"5. 이 시간에도 주님의 자비가 이웃에게 향하게 하시고, 저희를 평화의 도구로 삼아 주소서."
🍝 날아다니는 스파게티 괴물 님께서 여러분과 함께.
😋 또한 주교의 면발과 함께 하소서.
🍝 전능하신 스파게티 괴물 님, 미트볼🧆과 소스🥫와 성면🍝께서는 여기 모인 모든 이에게 강복하소서.
😋 라-멘 🍜.
🍝 날아다니는 스파게티 괴물 님을 찬미합시다.
😋 주님 감사합니다.
2025-11-28T14:01:15+09:00
#날아다니는스파게티괴물님 #성면 #면발 #스파게티 #라멘 #파스타파리안 #성무일도 #성무일과 #매일전례
#FlyingSpaghettiMonster #FSM #HolyNoodle #Noodle #Spaghetti #Ramen #Pastafarian #NoodlyAppendage #Pastafarian #FSMism #FSMist #DivineOffice #DailyOffice #Breviary
Great green #macaws are supremely intelligent can live to up to 70 years old. They are critically endangered from #palmoil #meat and #soy #deforestation in #SouthAmerica. Help them by being #vegan and #Boycottpalmoil #Boycott4Wildlife @palmoildetect.bsky.social https://wp.me/pcFhgU-183?utm_source=mastodon&utm_medium=Palm+Oil+Detectives&utm_campaign=publer
Great Green Macaw Ara ambiguus
The Great Green Macaw Ara ambiguus are the largest macaw species and in flight they are dazzling symbol of Central and South America’s vanishing rainforests. Draped in shimmering green plumage with…
palmoildetectives.com · Palm Oil Detectives
Link author: 
Palm Oil Detectives@palmoildetectives.com@palmoildetectives.com
カフェイン入れてﾊﾞｷﾊﾞｷになった
作業再開
역대 우주 탐사선 중 가장 멀리까지 날아가고 있는 보이저 1호가 내년 11월15일께 지구로부터 1광일(light day) 거리에 도달할 것으로 보입니다. 1광일은 빛이 24시간 이동하는 거리를 말합니다. 빛의 속도는 1초에 30만km이므로, 1광일은 259억km에 해당하는 거리입니다.
보이저 1호, 반세기 만에 ‘1광일’ 거리 우주에 닿는...
ごはんを食べたあとって、眠くなっちゃうよね…。ねむい……
2025년 11월 28일 오하아사 전체 순위 1위 염소자리 1위 황소자리 1위 처녀자리 1위 물고기자리 1위 게자리 1위 전갈자리 1위 물병자리 1위 쌍둥이자리 1위 천칭자리 1위 양자리 1위 사자자리 1위 사수자리
여성에게 안전한 일자리 만든다…노동부·성평등부 합동 점검
(서울=연합뉴스) 옥성구 기자 = 여성이 안전하게 일할 수 있는 환경을 만들기 위해 김영훈 고용노동부 장관과 원민경 성평등가족부 장관이 28일 ...
https://www.yna.co.kr/view/AKR20251128084200530
2025년 11월 28일 오하아사 전체 순위 1위 염소자리 1위 황소자리 1위 처녀자리 1위 물고기자리 1위 게자리 1위 전갈자리 1위 물병자리 1위 쌍둥이자리 1위 천칭자리 1위 양자리 1위 사자자리 1위 사수자리
여성에게 안전한 일자리 만든다…노동부·성평등부 합동 점검
(서울=연합뉴스) 옥성구 기자 = 여성이 안전하게 일할 수 있는 환경을 만들기 위해 김영훈 고용노동부 장관과 원민경 성평등가족부 장관이 28일 ...
https://www.yna.co.kr/view/AKR20251128084200530
누리호 1회 발사 1200억 vs 한강버스 1500억
それにつけても 
の欲しさよ
우리나라에는 인터넷주소자원에 관한 법률이 있습니다.
정당한 법적 권리(권원)가 없는 사람이 도메인 이름 등의 등록을 방해하거나 정당한 권원이 있는 자로부터 부당한 이득을 얻는 등 부정한 목적으로 도메인이름등을 등록·보유 또는 사용하여서는 안된다고 규정하고 있고, 권원이 있는 사람은 법원에 그 도메인이름등의 등록말소 또는 등록이전을 청구할 수 있습니다.
영상에서 나온 이슈를 사이버 스쿼팅이라고 부르는데요. 도메인을 선점하거나, 혹은 연장 사이의 틈에 도메인을 선점, 절취하거나, 혹은 비슷하거나 오타가 있는 주소로 선점하는거죠.
RE: https://bsky.app/profile/did:plc:oeors5le2tmvqzojsjxxqwro/post/3m6ls2tfi4k2v
법령 > 본문 > 인터넷주소자원에 관한 법률 | 국가법...
Shugo Maeda
정진명
가온뉘 
세랄이 
리피 
わしゃ
MJ+
시오
쯔방 
