What is Hackers' Pub?

좋은 표현을 배웠다. 해질녘의 그림자 처럼 긴 거리.

진짜 가아끔 메뉴 많은데 맛집인데가 있음

🖌 예전에 마린블루스에서도 나왔던 말이 시간이 지나도 변하지 않는 진리 중 하나가

메뉴 많은 식당은 맛이 없다

#Gemüseturnier Tag 30 - Achtelfinale 6 🌮

​​ 대포 카메라 오우너 분들 천왕성 사진 찍어주세양 ​​

‘녹색 행성’ 천왕성 관측에 가장 좋은 때가 왔다

https://www.hani.co.kr/arti/science/science_general/1230638.html

バイテン重すぎます
肩壊れる

#Zigbee #HomeAutomation without #HomeAssistant, instead all defined in #nix / #NixOS, this is neat! 😲

https://quackhack-mcblindy.github.io/blog/house/

何があったんだ / 他7件のコメント https://b.hatena.ne.jp/entry/s/www.nikkei.com/article/DGXZQOGN21DPD0R21C25A1000000/#utm_campaign=bs_md “トランプ氏、次期NY市長マムダニ氏を「党派超え支える｣　共闘へ一転 - 日本経済新聞” https://htn.to/2TmfA5b1ko

리피님은 별별 커모지를 다 아신다

What kind of versioning do people prefer for command line apps? (And no, I'm not going to provide more clarity since most people don't read the versioning scheme for individual tools; they just look at the version format.)

I love Loops.video, the future of short-form vertical video. This IS an Explicit Endorsement of the platform Loops. Check out my new Loop on Loops: https://loops.video/v/c9hzDriuUW

盛岡以南ではやて走るの久しぶり?

줄때까지 이러는 개 어떻게 이기는데

때로는 길을 잃어야 길을 찾을 수 있습니다.

소중한 순간을 놓치지 마세요.

작은 희망이 큰 변화를 만듭니다.

うおっすんごい人

보드게임 좋아하시는 모 블친도 더지니어스 같은거 좋아하실거같은데 이준석을 비롯한 국힘당원들이 자꾸 나와서 은은한 혐오감과 함께 봐야하기때문에 영업할수없는 장르가됨

🌲🌲🌲​​

#툿친소
오는 사람, 가는 사람 말리지 않습니다냥.
여러분의 타임라인에 곧 복학하는 방구석 잉여를 키워 보세요!

- 컴공 대학생 4학년이에요
- 일본어에도 관심이 있어, 일본어권 연합우주와도 가끔씩 교류하는 편이에요
- 게임을 가볍게 하고 있어요. 요즘에는 드럼매니아와 작혼에 관심이 있어요.
- 일단 k.lapy.link의 운영자예요
- 매일 어딘가 흐물흐물하게 굴러다니고 있어요
- 밀면 광인입니다. 밀면맛집 추천해주세요밀면. ​​

게시물로는... 평소 일상의 파편 내지는 문득 떠오른 생각을 위주로 게시할 것 같아요.

타임라인에 굴러다니는 마리모를 키워 보세요!
감사합니다냥.

i love loops

깊은 의미가 담긴 사진들..

https://www.instagram.com/p/DOnz4YdjObo/
#Author Threads

회사의 워크샵을 왔습니다. 집에 가고 싶어요.
会社のワークショップに来ました。家に帰りたいです。​​

​​​​​​​​

乗ってる最中のなおすきの発言まとめ
・たのし〜〜〜〜〜〜！！！！！
・ばんざぁぁぁぁぁぁぁあい！！！！！
・うまれるうううううううううう！！！！！
・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!

https://furukaworks.booth.pm/items/7242882

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!

https://furukaworks.booth.pm/items/7242882

Ihr dachtet, der #Grand Prix des Fahrradfrachtens findet nur im Sommer statt?

Man kann auch im Winter frachten und Kilometer fuers #Frostpendeln sammeln!

#Darmstadt -> #Frankfurt -> #Darmstadt
70km, -2,6 °C

#carryshitolympics #grandprixdesfahrradfrachtens #fahrrad #lastenrad #biobike #radentscheid #radentscheiddarmstadt

This video brings me a lot of joy.

https://youtube.com/watch?v=69fgnoyBczs

ねぎら

カステラ食べてる​​

みんなまともに働いてて偉いよな

토스 프론트엔드 플랫폼 팀에서 어시스턴트를 모집합니다. 서비스 개발에 필요한 CLI 도구 개발, CI 파이프라인 구축, 프레임워크 설계 등 플랫폼 업무를 경험해볼 수 있어요. https://toss.im/builder/to/ecec6cbba9344082920c82ba28698bfb

にゃんぷっぷーは​​のことが好きみたい

겨울 방석이 좋은가벼

닥터후 트레짤

RE: https://bsky.app/profile/did:plc:plqxfz6kufe6xjfydeijpqln/post/3m6577boecs2c

今日はメッチャあったかいなぁ
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

考えたら「死」くらいしかないか？