What is Hackers' Pub?

​​

A Dumb Introduction to z3 via @RunxiYuRunxi Yu https://lobste.rs/s/g0yhjl #formalmethods #plt
https://asibahi.github.io/thoughts/a-gentle-introduction-to-z3/

or 104 years of #Obsidian Sync
https://mas.to/@obsidian/115215130770065148

Icon cms on Vgen! #vgencomm

기차티켓 뽑다가 관습헌법 이야기 나오는게 이게 맞니

​​
みんにゃおぱよよよ

​​

관습헌법이라는 개소리가 헌재판례로 남아버림에 따라 저걸 뒤집으려면 헌재가 저걸 직접 뒤집거나 저걸 뒤집는 개정헌법이 올라와야 하죠

俺は赤ちゃんなのでその辺に落ちてるハサミ振り回します！！！！！！あぁーーーぶぁーー！！きゃっきゃっきゃっきゃ！！！！

추석이 언젠데요??(진짜모름)

헌법은 보통 가장 "이해하기 쉽게" 표현해야한더는

극심한 가뭄 탓에 시민들이 제한급수로 고통받고 있는 가운데 최일선에 서야 할 강릉시청이 스스로를 제한급수 대상에서 제외하고 물 절약에도 늑장 대응해 비판이 제기됩니다.

시민들 계량기는 잠그고…‘나 홀로’ 물 펑펑 쓴 강릉시...

俺は赤ちゃんなので何もわかりません何も見てませんあーぶー！！！！

うひょ〜〜

korail 예매 기다리는 사람이 4440명도 있나요?

Whats the collective noun for a group of anubis servers?

Claude Can (Sometimes) Prove It https://lobste.rs/s/limhxl #math #vibecoding
https://www.galois.com/articles/claude-can-sometimes-prove-it

岡山県倉敷市の障害者自立支援を目的としたレインボー・カフェ・プロジェクトの作業場で
ウォークイン冷凍庫が故障し、
連休中で修理ができず、障害のある仲間たちと一緒に作ったドライフルーツがこのままだと全部ダメになってしまうため、オンラインショップからドライフルーツを購入してほしいとのこと。
ご協力できる方はよろしくお願いします！！！

https://www.instagram.com/reel/DOn0KvpE8Kr/?igsh=bDZ3aW5rZDdhMDU

https://r-c-p.jp/

#fedibird

It’s a lovefest ♥️👅 #CatsOfMastodon #TheSnuggleBrothers #TongueOutTuesday

デジタル庁とか総務省の公開している資料をよく読むとマイナンバーカードの詳細を隠してるわけではなさそうな気はする。これはデジタル庁による2023年9月づけの「次期個人番号カード仕様に係る検討事項について」(PDF)で、例えば、現行(2023年当時)のカードの公開鍵暗号がRSA 2048ビット、ハッシュ関数としてSHA-256ということがわかるし、次期カード(たぶん2026年ごろから)で公開鍵暗号アルゴリズムをECDSAに移そうとしていることも書いてある。
https://www.digital.go.jp/assets/contents/node/basic_page/field_ref_resources/c6296242-c198-4fcd-8a17-b6168f9f5fa1/56bcc279/20231121_meeting_mynumber-card-renewal_outline_04.pdf (PDF)

何度か書いたと思うんだけど、公開鍵暗号鍵対の私有鍵の取り扱いがめんどくさいのはみんなが受け入れるしかないんだよなぁと思いつつ https://mitome.in を書いてたんだけどマイナンバーカードはみんながわりと安全に私有鍵を管理できるふいんきで、もっと公開鍵暗号なことを前面に出して使ってもらってもいいんじゃないかと思ってるんだけど、まあ、

Nobody asked me but I think it would make a lot of sense if every website used invite codes forever because that way if 30,000 spammers all got invite codes from the same person you'd know that person's invite codes shouldn't be trusted

　本邦、ふたたび枢軸国入りへ。

日本政府、パレスチナ国家承認を見送りへ　首相は国際会議欠席見通し
https://digital.asahi.com/articles/AST9J4H4TT9JUTFK01XM.html?iref=comtop_7_02

작은 배려와 이해의 마음이 인간관계의 기본이에요.

서로를 존중하고 상대방의 감정을 인정하는 것, 그것이 진정한 소통의 시작입니다.

상대방의 입장에서 생각해보는 습관은 관계를 더욱 깊고 따뜻하게 만들어줄 거예요.

역시 서울에 제주도를 떨궈야

오늘은 집 들어가면서 책상 앞에서 안고있을 쿠션을 살거에오

만약 하루 동안 모든 사람들의 생각을 읽을 수 있다면, 가장 먼저 알고 싶은 사람은 누구인가요?

Today in #openzfsmastery

"ZFS support in Linux distributions varies. The broader Linux community questions the compatibility between the GPL and the CDDL and in response, distributions have added and removed installer ZFS support. Intellectual property attorneys who have considered CDDL/GPL compatibility often say “it’s an interesting question,” which is lawyerese for “$500 an hour and the hearing’s gonna be *lit*.” This doesn’t matter to users, but operating system vendors are risk-adverse. The result? OpenZFS considers Linux a top-tier platform. Most Linux distributions do not consider ZFS a top-tier filesystem."

No, no sponsorships yet. Gotta finish the last crowdfund before starting another. (Stupid ethics!)

무섭다 mac os

バニー好き​​

@windy@iqhina.org윈디 오세요, 매킨토시 ​​ 로. 할 게임이 없어서 안 하게 됩니다. ㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋㅋ

점점 "게임을 끊어야할거 같아"가 아니라
"게임을 끊자" 라는 마음이 됨

관습헌법상 수도는 막말로
조선시대때도 여기가 수도였고
백제도 여기다 수도를 박았었는데
수도를 옮기는 게 말이 되냐??? 라는 논리라
명문화돼 있는 속인주의 속지주의 중복적용관 차원이 다르죠

美國耶魯大學的學者發表研究報告，稱俄羅斯有至少210個再教育營，把烏克蘭兒童和少年「俄化」，灌輸他們是俄羅斯人的思想

「俄式再教育」一大特徵是頗多軍訓活動，例如教導兒童和少年如何開槍；這應該是跟俄羅斯愛國教育看齊，近年俄政府鼓勵國內兒童參與軍訓活動，作為愛國教育的一部份

https://europechinese.blogspot.com/2025/09/210.html

점점 "게임을 끊어야할거 같아"가 아니라
"게임을 끊자" 라는 마음이 됨

ちょっと温泉へ♨️
#misskeyおでかけ部

출근

Did you know that on macOS, you can update just to Safari 26, while remaining on macOS 15 Sequoia or even macOS 14 Sonoma?

Go to  > System Settings > General > Software Update. Under “Also Available” you’ll find Safari listed. Click “Update Now”.

帰省の用事を済ませるために、病院とか役場とか歩いて回る。

#cuteposting

んばんば

道具に使われてどうすんの。あほか。

再生の道、新代表に25歳　「AIが党の意思決定」
https://www.47news.jp/13160082.html

툿모닝☆

그게 극단적으로 뒤틀린게 순복음교회를 비롯한 한국 교계입니다. 가뜩이나 치부는 좋은 것 -> 자본주의는 옳은 것 -> 반대하는 공산주의는 나쁜 것이라는 인식이 있는데, 6.25 전에 있었던 북한의 종교 압박으로 인한 엑소더스와, 이명박 이후 적극적으로 추진했던 대중국 선교사업이 시진핑의 눈에 거슬리며 완전히 실패하는 등 실패를 겪으며 교계 전체가 공산진영에 대한 히스테릭한 반응을 보이게 된거죠. 이런걸 다 생각해보면 더 이상 한국 개신교는 종교가 아니라 일종의 카고, 아니 캐시 컬트... 에 가까운 정치결사라 봐야한다 생각되요.

#yurunee

今日も頑張って働くか​​

​​​​

You can still help sponsor the Brazilian national #Python conference!
You can also donate a ticket so that a student can attend!
#PythonBrasil2025

おはよう少年！ #ohayougirl