What is Hackers' Pub?

Good morning Fediverse.

Using anything but expanded JSON-LD as the wire format when using JSON-LD is silly.

China has launched major military drills near Taiwan, involving ground forces, navy, air force, and rocket units in the Taiwan Strait. The exercises focus on sea-air combat patrols, blockades of key ports, and pressure beyond the island chain. Beijing says the drills are a warning to pro-independence forces and foreign interference.

일단 서사봐야함 인건가

門だね…うん…一応は観光地らしいけど門だね…

내가 불행한 이유는 설마... (올해 아직 전기매트 안 꺼냄)

RE: https://bsky.app/profile/did:plc:4jywbzn3miys65iqcdz7lkya/post/3mb4cb6k32227

다크웹 판매 글은 ‘침해 사실’과 ‘판매 시도’가 반드시 일치하지 않는다. 실제로 유사 사건에서는 다크웹 게시글이 과장·재포장·허니팟 등으로 판명되거나, 반대로 초기 단계에서 부인되던 사안이 뒤늦게 침해 신고로 이어지는 사례도 반복돼 왔다. 이번 사안 역시 “특수전사령부 시스템 침해”로 단정하기보다, 계정 탈취, 협력사 경유, 개인 단말 감염, 제3자 저장소 노출 등 다양한 가능성을 열어두고 봐야 한다.

Hmmm what ever happened to that guy? He seemed so excited~ hehe

RE: https://mastodon.social/users/numberz/statuses/111561033107771388

다크웹 판매 글은 ‘침해 사실’과 ‘판매 시도’가 반드시 일치하지 않는다. 실제로 유사 사건에서는 다크웹 게시글이 과장·재포장·허니팟 등으로 판명되거나, 반대로 초기 단계에서 부인되던 사안이 뒤늦게 침해 신고로 이어지는 사례도 반복돼 왔다. 이번 사안 역시 “특수전사령부 시스템 침해”로 단정하기보다, 계정 탈취, 협력사 경유, 개인 단말 감염, 제3자 저장소 노출 등 다양한 가능성을 열어두고 봐야 한다.

村上さん​​
#村上アート #村上さん

The unnegatable loop: Tetralemma's performative geometry (with Coq-verification). ~ Siegfried Meister. https://philarchive.org/archive/MEITUL #ITP #CoqLang

奮発してしゅいろさんにクリスマスプレゼントと誕生日プレゼント的な意味で４０００円分の支援

#中央社即時新聞 文化新聞 15:34

日本BL漫畫家言論惹議　出版社取消訪台簽名會

（中央社記者王寶兒台北29日電）日本BL漫畫「當面相凶惡的鄰居是Ω時的應對法」作者ニクヤ乾，原訂明年2月訪台舉辦簽名會，但其以中國國旗象徵中文版等言論，引起台灣書迷不滿，出版社今天宣布取消簽名會。

https://www.cna.com.tw/news/acul/202512290161.aspx

#新聞

Formal verification of Borrow-Checking by local commutation diagrams. ~ Alban Reynaud Michez. https://hal.science/hal-05428143/ #ITP #Rocq

하라는 설정은 안짜고 인터위키 매크로를 구현

어휴. 제발 아니길 빌어야겠는데요

Show HN: My app just won best iOS Japanese learning tool of 2025 award (blog)

Link: https://skerritt.blog/best-japanese-learning-tools-2025-award-show/
Discussion: https://news.ycombinator.com/item?id=46415819

Why I think Valve’s retiring the Steam Deck LCD

Link: https://gardinerbryant.com/why-valves-retiring-the-steam-deck-lcd/
Discussion: https://news.ycombinator.com/item?id=46417252

Met deze Bits of Freedom Collectors Sjaal zul je nooit meer de klassieke Konami-code vergeten. Want ja écht, die staat erop! En heb jij de binaire code al gekraakt? Met deze sjaal schreeuw je NEE tegen Big Tech, en JA voor jouw online vrijheid. ✊

Deze sjaal is gemaakt in samenwerking met multiple identities en kunstenaar Maarten Schuurman. Pre-order hem nu in onze webshop: https://www.bitsoffreedom.nl/product/collectors-sjaal-2/! 👀

대한민국 육군 특수전사령부 개인정보 유출... 140GB 분량

다크웹에 매물로 올라와

그림을 올리는 이상 불펌 당하는 거 어쩔 수 없는 게 맞습니다(다들 어뜨케든 퍼감) 근데 올릴 때마다 ai학습까지 당연하게 허용되는 곳에 올릴 바엔 적어도 ai학습 안 하고 조금이라도 창작자 저작권 생각하는 블스에 올리는 게 백배천배 나음

상승효과

📷 : SONY RX1R III, ZEISS Sonnar T* 35mm F 2
🏙️ : Mangwon Hangang Park, Seoul, Korea Rep.

#사진토돈 #사진 #Photography #写真 #マストドン写真部 #Misskey写真部 #마스토돈사진부 #미스키사진부

This creek looks different every time I pass by.
Happy stress-free Holidays!

#photography #nature #creek

The machine-checked complete formalization of Landau’s foundations of analysis in Rocq. ~ Yue Guan, Yaoshun Fu, Xiangtao Meng. https://www.mdpi.com/2227-7390/14/1/61 #ITP #Rocq #Math

DevRevでAirSyncを定期実行し、Zendeskの情報を自動同期してみた
https://dev.classmethod.jp/articles/devrev-airsync-periodic-sync-setup/

#dev_classmethod

[속보] 국방부, 여인형·이진우·고현석 '파면'…곽종근 '해임 송고2025-12-29 17:00 www.yna.co.kr/view/AKR2025...

[속보] 국방부, 여인형·이진우·고현석 '파면'…곽종근...

I'm curious how much collective responsibility we have for pointing out LLM output when we see it.

I, for one, am glad when someone identifies that an image or video has been generated. I'm not as good as others at identifying those. It helps me learn, but it also helps me not promote/boost such content.

I am, however, familiar with the patterns of LLM text. I'm a little flabbergasted when nobody says, "Why did this have to be AI?" or "This is AI" or "You could have just quoted from the article and linked to it instead of putting it wholesale into an LLM and generating a summary before providing the link."

Do people not see it or don't they care?

Do I (or any of us) say something for the sake of others, or just block?

Does it help you when people identify it when you don't see it?

Final item to going live on prod for MyOG.social:

✅ Better Stack
✅ Cloudflare
✅ Postmark
✅ Google
✅ Clicky
✅ Telegram
✅ PostHog
✅ Stripe
⬜ Ahrefs

#buildinpublic

Met deze Bits of Freedom Collectors Sjaal zul je nooit meer de klassieke Konami-code vergeten. Want ja écht, die staat erop! En heb jij de binaire code al gekraakt? Met deze sjaal schreeuw je NEE tegen Big Tech, en JA voor jouw online vrijheid. ✊

Deze sjaal is gemaakt in samenwerking met multiple identities en kunstenaar Maarten Schuurman. Pre-order hem nu in onze webshop: https://www.bitsoffreedom.nl/product/collectors-sjaal-2/! 👀

하라는 설정은 안짜고 인터위키 매크로를 구현

기술적으로 지금 2026년 첫번째 주구나

얼마전부터 이운전점수로는보험할인을못받으니까세탁할용도로 티맵에서 네이버 지도로 네비를 옮겼는데.. 예전엔 그저 그랬는데 그세 업데이트가 많이 된건지 티맵보다 괜찮은 것 같더라고요

​​​​

え…今日もお腹痛い​​

​​​​

芋が焼けたで〜​​

On my Thinkpad P16s dropped debian and moved to OpenBSD current.

Dropped XMonad and switched to Herbstluftwm (stack and cabal did not work for me in OpenBSD).

Emacs & denote smooth.

Only miss Zotero.

#OpenBSD

何もしない時間て貴重だなあ

Set reconciliation (in Isabelle/HOL). ~ Paul Hofmeier, Emin Karayel. https://www.isa-afp.org/entries/Set_Reconciliation.html #ITP #IsabelleHOL

Amazing talk by @pluralisticCory Doctorow

We need #canada to step up it's digital game #elbowsup, and my employer @polymtlPolytechnique Montréal to find alternatives to Microsoft...

다크웹에 뭐가 올라와요??????

......어...... 네?

スマホで東京タワー!​​

대한민국 육군 특수전사령부 개인정보 유출... 140GB 분량

다크웹에 매물로 올라와

Dynamic pushdown networks (in Isabelle/HOL). ~ Peter Lammich. https://www.isa-afp.org/entries/Dynamic_Pushdown_Networks.html #ITP #IsabelleHOL