What is Hackers' Pub?

탐라여러분!!! 노파심에 하는 말이지만 이 병은 웃긴 병이 아닙니다!!

RE: https://bsky.app/profile/did:plc:a2ls5fugh3ahgnxvbsj7fbu3/post/3lu7yjqust22t

やっぱり京都駅の切り絵。掛けた手間の分、愛着がある。
#これでフォロワー増えたかはさておき個人的に好きなのを見てほしい

근성장이 아니라 커팅이 필요한데 근력은 유지 레벨로 하고 유산소를 진짜 이빠이 탈까... 먹성도 줄이고
이제 여름회피력이 기하급수적으로 늘어날거라 여력이 갱장히 많이날거임

“ #ザフー #キッズアーオールライト #ドキュメンタリー” / “ピート・タウンゼントの風車奏法も炸裂！『ザ・フー キッズ・アー・オールライト』予告編” (1 user) https://www.youtube.com/watch?v=iiFRjZ0JItc これは観る #thewho #マストドン音楽好き部 #fedibird　

[속보]법원, 尹 구속적부심 청구 기각…'재구속' 유지 업데이트 2025.07.18 오후 08:23 www.news1.kr/society/cour...

[속보]법원, 尹 구속적부심 청구 기각…'재구속' 유지

지난밤 경기도 광명시 아파트에서 발생한 화재로 주민 3명이 심정지 상태에 빠지는 등 대규모 인명피해가 발생했습니다.

광명 아파트 화재로 3명 심정지 포함 65명 중경상

I missed the deadline to vote in [Australian radio station] JJJ’s poll for the “Hottest 100 Australian Songs”, so I will have to console myself with something even more ineffectual: posting my list of the ten songs I would have voted for.

The Go-Betweens

“The Old Way Out”
“Draining the Pool For You”
“Spring Rain”

The Triffids

“Tarrilup Bridge”
“Life of Crime”

Hunters and Collectors

“Love All Over Again”
“Say Goodbye”
“Judas Sheep”
“Carry Me”

Ed Kuepper

“Not A Soul Around”

​​

https://dic.nicovideo.jp/a/ゲイリーにありがとうと言って

暗号資産関係者が意図的に拡散しているというのは記事の通りだろうけど、ミーム自体は別に暗号資産が発祥というわけでもないのでは。TikTokに2024年7月から存在する@biscuitsndgaryは"there has been a few accounts stealing gary's content"（<https://www.tiktok.com/@biscuitsndgary/photo/7466959057249717547>）と注意喚起していたりするし（このアカウントが正当な権利者なのかは知らぬ）

Leanabell-Prover-V2: Verifier-integrated reasoning for formal theorem proving via reinforcement learning. ~ Xingguang Ji et als. https://arxiv.org/abs/2507.08649v1 #LLMs #ITP #LeanProver

ゲイリーは意図的に拡散されたミームらしい(?) https://dic.nicovideo.jp/t/a/%E3%82%B2%E3%82%A4%E3%83%AA%E3%83%BC%E3%81%AB%E3%81%82%E3%82%8A%E3%81%8C%E3%81%A8%E3%81%86%E3%81%A8%E8%A8%80%E3%81%A3%E3%81%A6

Stamattina, mentre vado al lavoro, per radio passano “Tunnel of Love” dei Dire Straits, gruppo che ho adorato fin da ragazzino. Durata: otto minuti abbondanti. Non ho potuto fare a meno di pensare a come una volta brani lunghi diversi minuti fossero normali, tollerati e anzi apprezzati, mentre oggi una durata di quattro minuti è già tanto. Le canzoni quasi mai “raccontano”: un ritornello, un “reef”, al più un’atmosfera ed è tutto. Anche la musica si è adeguata alla velocità dei social.

I'm very honoured to be among this year's NWO (Dutch Research Council) Veni research grant recipients, for my proposal "Finding Variables that Matter"!

I cannot quite believe it, but I'm excited to get started on the actual research.

Many congratulations to all of my colleagues who received their Veni grants. Over the last few months, I was lucky enough to get to know them and their research, and I can't wait to see what they do with the funds.

I'm grateful to Delft University of Technology and all my colleagues and trainers for their support and trust. The Veni application process was part of my life for almost a year. Could not have done it without their encouragement and wisdom. Many thanks also to NWO and all reviewers and committee members!

https://www.tudelft.nl/en/2025/tu-delft/record-number-veni-grants-for-leading-tu-delft-researchers

#AcademicMastodon #AcademicLife #NWO #Veni #ResearchFunding #AI #AcademicChatter #TUDelft #Research #Grateful #GoodNews

#Tシャツパワーバトル

근데 사람 둘이서 170접시는 ㄹㅇ 좀 경이롭기까지 하다 초밥을 아무리 작게 만들어도 엄지만할텐데 그걸 170 그릇? 어케 한건데

Wow. AAAI 2026 is running a pilot “AI-Assisted Peer-Review Process”. Besides regular reviews, each paper will receive one extra LLM-generated review. No scores, but visible to reviewers and authors.

I take it that as an AI conference, AAAI was eager to try this out. Not looking forward to writing the author response to an LLM’s opinion on my paper, though. Also not sure how this will help reviewers.

https://aaai.org/conference/aaai/aaai-26/main-technical-track-call/

#aaai #aaai2026 #llm #peerreview

[속보]법원, 尹 구속적부심 청구 기각…'재구속' 유지 업데이트 2025.07.18 오후 08:23 www.news1.kr/society/cour...

[속보]법원, 尹 구속적부심 청구 기각…'재구속' 유지

TL遡ってるときに「もっと見る」をタップしないとそれより前のノートを見れないのが不便なので該当コミットだけ元に戻してみてる

まだ仕事しておりますよ​​

#Yuito がGoogle Playから削除されて数ヶ月が経つんですが、のえるさん @noellaboのえる のご厚意によりまたGoogle Playにアプリを置けるようになったので、この機会に全機能を作り直した新バージョンを公開することにしました。

まだ実装してない機能もたくさんあるんですが、最新のTuskyをベースにしているので新機能が増えていたりバグが減っていたりするはずです。
現在オープンテスト中なので、もし暇があったら試してみてください。

https://play.google.com/store/apps/details?id=net.accelf.yuito.dash

あと告知・サポート専用のアカウントを作ったので(いまさら)、今後のアプデ告知とかはこっちを使うと思います。
@yuitoYuito (dash)

いっぱい見てほすぃ
　
#これでフォロワー増えてほしい

걍 인터넷에다 조용히 "무한리필이랬더니 170접시 먹고간 손님 계시네요ㅠ" 이러고 징징댔으면 "무한리필이라고는 했지만 그래도 170접시는 좀ㅋㅋ" 이러고 동정표라도 받았을텐데 경찰 부르는건 ㄹㅇ 역고소각 아닌가

ポップコーンは自分でつくるのが一番うまい​​
（味付けはカレーベースの塩コショウです）

にゃん付箋

법원의 간권 보호 현장(?)

RE: https://bsky.app/profile/did:plc:y53e6ku7mzcgb3gw3ijjakqn/post/3luadjsqtns22

[속보]법원, 尹 구속적부심 청구 기각…'재구속' 유지

@smallcirclesjust small circles 🕊 Is it safe to say that what you describe here as "app-centric" could also be called "platform-centric"?

Because I also think we have too much stuff that requires signing up for a new account on a new web app first thing, before you even know if you'll like it.

That's why I'm building @encyclia (incl. the stuff beyond its core ORCID function) as a collection of service accounts that you can interact with from wherever you already are. https://encyclia.pub/roadmap

ふざけんな #写真フォルダの15番目の写真があなたの彼女です

ヤバい夫婦で熱出してる

물에 잠긴 나주평야…"어떻게 살까 막막" (영상) news.sbs.co.kr/news/endPage... "오늘(18일) 새벽 4시부터 이 길을 포함한 마을로 향하는 길이 모두 침수됐습니다. 주민들은 대피한 상태지만 안쪽에는 주택 9채와 비닐하우스 농가가 모두 고립된 상태입니다. 흙탕물이 덮인 축사에는 300마리의 소가 있었습니다. 농가는 둥둥 떠다니던 어린 송아지 13마리만 급하게 구해냈고, 나머지는 흙탕물 속에 방치돼 물을 빼 보려 하지만 역부족입니다."

물에 잠긴 나주평야…"어떻게 살까 막막"

또한 논바이너리, 트랜스젠더,
퀴어 정체성을 가진 사람들이
본인을 星星人(xīngxīngrén)이라고 지칭하기도 함.

원래는 외계인, 또는 별의 사람들이라는 의미인데,
퀴어들이 자신의 정체성을 설명할 때
"지구의 성별 이분법으로는 나를 설명할 수 없는 존재다!"라는 의미로
星星人(xīngxīngrén)이란 말을 사용하기 시작했다고 함.
중국 특유의 시적인 표현인 셈.

그래서 중국 SNS에서
性别？我是星星人，谢谢。
(성별이요? 저는 별의 사람이에요. 감사합니다.)
라고 하거나,

不要给我贴标签，我是自由的星星。
(나한테 레이블 붙이지마. 난 자유로운 별이야.)
라고 하는 경우를 볼 수 있습니다.

#오늘의_잼얘

"100분 무한리필" 간판만 믿고 초밥 170접시를 먹었다가, 사장에게 쫓겨나 경찰까지 출동하는 황당한 일이 벌어졌다. lawtalknews.co.kr/article/P7J2... "명백한 계약 위반… 되레 사장이 책임져야" "'무한리필' 간판, 함부로 내걸었다간 '부당 광고' 철퇴"

lawtalknews.co.kr/article/P7J2BF...

俺とお前と大五郎とあなたとコンビニ、ファミリーマート

早寝早起き民は そろそろ 寝る支度を始めます ​​

​​ ではなく ​​ ​​ の 皆様も ​​
今日も ​​ ​​ ​​

では また明日ね ​​
​​

永遠の18歳です​​

若くなって美少女になりたい

なんかデザートめいたものも食べたいわね

マクド！！！！売上の140％をよこせ！！！

“ #ザフー #キッズアーオールライト #ドキュメンタリー” / “ピート・タウンゼントの風車奏法も炸裂！『ザ・フー キッズ・アー・オールライト』予告編” (1 user) https://www.youtube.com/watch?v=iiFRjZ0JItc これは観る #thewho #マストドン音楽好き部 #fedibird　

週末だ！お肉買ってきたぞ！
​​​​​​

모기와 날벌레들을 섬멸할 수 있어야만 인간을 먹이사슬 최상위라고 부를 수 있음

渋谷にて
#Misskey写真部 #photography

BIND9のロゴ、ダイナミックループみたいなやつだったのか…

ISC Open Source Projects / BIND · GitLab : 👀
---
https://gitlab.isc.org/isc-projects/bind9

와!!! 이런 당연한 결정조차 촉각을 세우고 기다려야 되다니... 지귀연이 정말 큰일 했죠...ㅡ.ㅡ;;;;

RE: https://bsky.app/profile/did:plc:wqa7ygdl5uwn2tfb7jkybdxd/post/3luad7hvgrs22

pip install hogehoge --break-system-packages​​

TIL: “Vorab per Email” gehört nach DIN 5008 nicht in den Postvermerk.

とるねど氏が車買ったら、カメラ関係者だけで3台か​​​​​​
胸が熱くなるな​​​​​​

自転車に乗らずに駅まで来たので家まで走りながら帰ってきた​​

"'남태령 대첩' 2030 여성의 힘"… 전태일의료센터 건립기금 50억 채웠다 www.hankookilbo.com/News/Read/A2... "2030 세대가 63%에 달했던 것으로 나타났다. 30대가 37%로 가장 많았고, 20대(26%)가 뒤를 이었다. 전체 기부자의 80%는 여성이었다. 건립위는 "교차 분석 결과를 보면 '2030 여성 기부자'만 55%에 달한다"며 "(내란 사태 후) 광장에서, 온라인에서 (한국사회의) 변화를 이끈 이들의 힘을 전태일의료센터(의 설립 추진 과정)에서도 느낄 수 있었다"고 설명했다."

"'남태령 대첩' 2030 여성의 힘"… 전태일의료센터...

CSLib: An open-source Lean 4 library formalizing a significant subsetof undergraduate-level computer science. ~ Clark Barrett et als. https://docs.google.com/presentation/d/1aJFM3EaI4LcppHR_2YFQHiBjUfMMhMKxCeM3BfINi48 #ITP #LeanProver #CompSci

TIL: “Vorab per Email” gehört nach DIN 5008 nicht in den Postvermerk.