What is Hackers' Pub?

国民民主はスパチャ（youtube課金）付だと優先して質問に答えるとかやってるのか…。
立憲にその仕組みがなくてよかった。

No "Joker 3" or "Matrix 5", I guess...

'Joker,' 'Matrix' producer Village Roadshow files for bankruptcy protection - Los Angeles Times https://www.latimes.com/entertainment-arts/business/story/2025-03-17/joker-matrix-studio-village-roadshow-files-for-chapter-11-bankruptcy

#film

만우절 이브 한탄 : 평화롭게 만우절 농담 수위가지고 머리채잡고 싸우던 그 시절이 그립다 내게는 헌재가 4/1까지도 파면선고를 안하는게 살면서 본 가장 고약한 농담이다 (ㅠ

「東京大学SNS分散化プロジェクト」が BlueSky に肩入れする理由、なんとなく理解した。イーロンが来る前の twitter 運営は、左系の人、DEI が好きな人が後押ししそうなトコだったもんな。

まぁ、反権力・反体制に固執する人らの考えるところはそんなもんやろ。

RE: https://bsky.app/profile/did:plc:e75xs7zubktzjeg352tucbun/post/3lln2nwfosk27

ちょっと前の東大分散型SNS云々の投稿がまた話題になってる？

SNSはスケーラビリティが重要なので、普通に考えたらBluesky一択だよねとは思う

裏話2:Why not ActivityPub? Blueskyと同じ連合型ネットワークとしてActivityPubというプロトコルがあり、MastodonやMisskey等が採用しています。連合型ネットワークにとって本質的に重要である相互運用性において、ActivityPubはBlueskyよりも優れています。しかしActivityPubはNostrと異なり、ネットワーク構造のレベルで分散性を保証しているわけではないためBlueskyに対する優位性は非本質的なものにとどまると考えられます。UXがXに近いことや最近の移行の動きを考慮し、Xからの移行しやすさの観点からBlueskyを選びました。

AI 이미지 생성 같은 거... 꽤 쓸모있는 용도가 많다고 생각하는데 그게 인간 예술가를 대체할 수 있다고 생각하는 사람들하고는 말이 좀 안 통할 거 같음

택배 언제와...

ぬあ〜

VitePressはServer Side Generatﾅﾝﾄｶなのでw3mでも読めるんだけど<noscript>相当は欲しいような気もするな

あ、そういえばふぉの氏のニコ動チャンネル、ラムダ技術部にフォローされててビックリした

😡헌재를 에워싸자! 윤석열을 파면하자!(월/목/금) 🚩 3/31(월) 19:30 - 한덕수 규탄 ! 동십자각 ~ 헌법재판소 - 경찰 규탄 ! 신촌역 5번 출구 ~ 서대문 경찰청 🚩 4/3(목) 19:30 - 헌법재판소 규탄 ! 동십자각 ~ 헌법재판소 - 검찰 규탄 ! 강남역 9번 출구 ~ 대검찰청 🚩 4/4(금) 19:30 - 헌법재판소 규탄 ! 동십자각 ~ 헌법재판소 - 내란수괴 규탄 ! 녹사평역 평화의 소녀상 ~ 한남동 대통령 관저 * 별도 집회 없이 2개의 코스로 나누어 행진만 진행합니다.

なんかこれ作った人も大変そうな経歴だけど
えーあいのおかげで一人でもかなりやりやすくなっているんだろうな

Formally verifying a transformation from MLTL formulas to regular expressions. ~ Zili Wang, Katherine Kosaian, Kristin Yvonne Rozier. https://research.temporallogic.org/papers/WKR25.pdf #ITP #IsabelleHOL

그러고 보니 오늘이 트랜스 젠더 가시화의 날이죠. 트랜스 젠더의 인권이 모두의 인권이라는 정의가 실현되는 날까지 연대합니다. 그런 의미에서 오늘은 투쟁이 아니라 트젠으로 인사드립니다! 트젠!

マルチ対応・荷物配達FPS『Mailstrom』発表。人々が分断された世界でドタバタ配達、無理そうだったらネコババして逃げる https://automaton-media.com/articles/newsjp/coop-fps-mailstrom-20250331-333454/

“몸이 싱싱한 20대 후반에 아이를 낳아라”…여고서 남교사 발언 논란 입력2025.03.31. 오전 10:41 www.mk.co.kr/news/society...

“몸이 싱싱한 20대 후반에 아이를 낳아라”…여고서 남...

大阪府庁舎に落書き…「万博」「イスラエル」「虐殺」「抗議する」の内容が赤や黒の塗料で : 読売新聞オンライン https://www.yomiuri.co.jp/national/20250330-OYT1T50053/

こういうことしちゃう奴の意見が相手にされるわけないだろ

컴퓨터 관련 제품들 중에 상품명에 "ㅇMMㅇ" 이라는 키워드를 넣은 경우가 많이 보이는데요.

• https://duckduckgo.com/?t=ffab&q="ㅇmmㅇ"&ia=web
• https://www.google.com/search?q="ㅇMMㅇ"

검색해 봐도 진짜로 상품명에 쓰인 경우만 확인되고, 그밖의 언급을 전혀 찾을 수가 없네요. 업계 은어인가? 혹시 이것의 정체를 아시는 분?

oh yeah, april's fools soon

I have absolutely no idea what to do for this year

またけの

さーえてピッカピーカ

그리고 입법과 행정의 선거를 동시에 치르는 데에 나는 굉장히 부정적이게 되었다... 각각 4년 임기에 2년 주기로 대통령/단체장 선거와 국회/지방의회 선거 엇갈려서 하자... 그래야 상호 중간평가가 되어 견제를 할 것 아니야...

We're incredibly honored to announce that #Ghost (@indexBuilding ActivityPub) has become a formal sponsor of Fedify through Open Collective!

This is a significant milestone for our project, and we're deeply grateful to @johnonolanJohn O'Nolan and the entire Ghost team for their support and recognition of our work in the #ActivityPub ecosystem.

Ghost's social web integration built on #Fedify is a perfect example of how open standards can connect different publishing platforms in the fediverse. Their backing over the past months has been invaluable, and this formal sponsorship will help ensure Fedify remains sustainable as we continue to develop and improve the framework.

If you're building with ActivityPub or interested in federated applications, please consider joining Ghost in supporting open source development through our Open Collective:

https://opencollective.com/fedify

Every contribution, no matter the size, helps us maintain and enhance the tools that make the fediverse more accessible to developers. Thank you for being part of this journey with us! ❤️

Statuzer라는 마스토돈 웹 클라이언트 잠깐 써봤는데 꽤 괜찮은 것 같음
다만 새로운 기능에 집중하고 싶어서 소스 공개는 아직 예정에 없다고 함
https://statuzer.com

Misskey麻雀開発そのうち再開したい

​​の設定マニュアルに

一度使用を始めたサーバーのドメイン・ホスト名は、決して変更しないでください！

一度使用を始めたサーバーのドメイン・ホスト名では、データベースを作り直さないでください！

만약 대선을 4월에 치르는 사이클이 성립한다면 언젠가 총/대선을 같은 해 4월에 동시에 치를 수 있는 기회가 올 수도 있는데... 4월 중으로 윤석열이 파면되고 6공화국 헌법이 그냥 굴러가며 대통령 선거 주기가 또 바뀌지 않는다면... 2040년 4월이 된다. 아무래도 그 전에는 개헌을 하든가 한 명쯤은 더 쫓겨나든가 할 것 같다.

Prince Disconnect

中国Unitreeのカンフーロボが、さらにパワーアップしてた

Movement creates intelligence - Unitree's G1 humanoid robot nails the world's first kip-up!😘 - YouTube: https://www.youtube.com/watch?v=Nkh6RUocD8c

We're incredibly honored to announce that #Ghost (@indexBuilding ActivityPub) has become a formal sponsor of Fedify through Open Collective!

This is a significant milestone for our project, and we're deeply grateful to @johnonolanJohn O'Nolan and the entire Ghost team for their support and recognition of our work in the #ActivityPub ecosystem.

Ghost's social web integration built on #Fedify is a perfect example of how open standards can connect different publishing platforms in the fediverse. Their backing over the past months has been invaluable, and this formal sponsorship will help ensure Fedify remains sustainable as we continue to develop and improve the framework.

If you're building with ActivityPub or interested in federated applications, please consider joining Ghost in supporting open source development through our Open Collective:

https://opencollective.com/fedify

Every contribution, no matter the size, helps us maintain and enhance the tools that make the fediverse more accessible to developers. Thank you for being part of this journey with us! ❤️

헌재가 판결을 4월까지 미뤄서 나라에 좋을 일이라곤 딱 하나 뿐이다. 차차기 대통령 선거일이 누구에게나 접근성 좋은 4월로 조정되는 것, 단 하나 뿐이다. 12월도 3월도 솔직히 좀 추웠어. (물론, 임기단축 개헌이나 또다른 대통령 탄핵이 일어난다면 다 쓸모없는 일이다. 그리고 차기는 일단 장마 대선 내지 찜통 대선이 될 게 거의 확실시된다)

Ghost's social web integration is built on the fantastic work of @hongminhee洪 民憙 (Hong Minhee) and the Fedify.dev framework.

We've been backing work on the project for 6 months or so, and now we're thrilled to be formal sponsor of the project on Open Collective!

If you're building with Fedify and ActivityPub, please consider joining us to keep helping to make great open source work sustainable ❤️ Every little helps

https://opencollective.com/fedify

We're incredibly honored to announce that #Ghost (@indexBuilding ActivityPub) has become a formal sponsor of Fedify through Open Collective!

This is a significant milestone for our project, and we're deeply grateful to @johnonolanJohn O'Nolan and the entire Ghost team for their support and recognition of our work in the #ActivityPub ecosystem.

Ghost's social web integration built on #Fedify is a perfect example of how open standards can connect different publishing platforms in the fediverse. Their backing over the past months has been invaluable, and this formal sponsorship will help ensure Fedify remains sustainable as we continue to develop and improve the framework.

If you're building with ActivityPub or interested in federated applications, please consider joining Ghost in supporting open source development through our Open Collective:

https://opencollective.com/fedify

Every contribution, no matter the size, helps us maintain and enhance the tools that make the fediverse more accessible to developers. Thank you for being part of this journey with us! ❤️

We're incredibly honored to announce that #Ghost (@indexBuilding ActivityPub) has become a formal sponsor of Fedify through Open Collective!

This is a significant milestone for our project, and we're deeply grateful to @johnonolanJohn O'Nolan and the entire Ghost team for their support and recognition of our work in the #ActivityPub ecosystem.

Ghost's social web integration built on #Fedify is a perfect example of how open standards can connect different publishing platforms in the fediverse. Their backing over the past months has been invaluable, and this formal sponsorship will help ensure Fedify remains sustainable as we continue to develop and improve the framework.

If you're building with ActivityPub or interested in federated applications, please consider joining Ghost in supporting open source development through our Open Collective:

https://opencollective.com/fedify

Every contribution, no matter the size, helps us maintain and enhance the tools that make the fediverse more accessible to developers. Thank you for being part of this journey with us! ❤️

"La simplicidad es lo más difícil de conseguir en este mundo, es el último límite de la experiencia y el último esfuerzo del genio." ~ George Sand (1804-1876).

헌법기관이며 최상위 사법기관인 헌법재판소의 기능이 정지되는 경우가 없어야 한다는 게 사실 옳은 것 같음.

따라서 이번 뿐만이 아니라, 앞으로도 계속 바로 이어받을 후임자가 임명 되지 않으면 임명 될때까지 전임자가 유임되는 게 논리상 맞는 거 같은데?

Readings shared March 30, 2025. https://jaalonso.github.io/vestigium/posts/2025/03/30-readings_shared_03-30-25 #Coq #FunctionalProgramming #Haskell #ITP #IsabelleHOL #LeanProver #Math #Maxima

【速報】「女性Aが中居正広氏によって性暴力による被害を受けたもの」と認定　フジテレビと親会社が第三者委員会の調査報告書を公表
https://news.yahoo.co.jp/articles/5073453ceb297524a1d109fe175e573bf8f2b6d7

집 근처에 노브랜드가 생겼어요
크지는 않고 이마트24에 꼽사리끼는 정도의 규모
근데 그 이마트24가 다른 편의점들에 비해 크긴 함

made a post about how baseball field dimensions aren't standardized and someone got real pissed. they're not gonna like it when they learn about the polo grounds

경북 산불로 26명이 숨지는 등 큰 피해를 입은 가운데 이철우 경북도지사가 산불 피해 복구를 언급하며 “파괴의 미학”이라는 표현을 써 논란이 일고 있습니다.

평생 삶터 잿더미인데…경북지사 “파괴의 미학” 발언 논...

산불 이재민 지원하던 50대 공무원 과로로 쓰러져 송고2025-03-31 14:51 영덕 물관리사업소 팀장…"병원서 스텐트 시술 후 안정 중" www.yna.co.kr/view/AKR2025...

산불 이재민 지원하던 50대 공무원 과로로 쓰러져 | ...

서울대 교수들 4차 시국선언 "헌재, 尹 파면이 그렇게 어려운가" 2025. 3. 31. 14:54 오늘 서울대 행정관 앞에서 4차 시국선언 열어 "헌재, 더이상 위기 관망말고 신속히 판결하라" v.daum.net/v/2025033114...

서울대 교수들 4차 시국선언 "헌재, 尹 파면이 그렇게...

경북 산불로 26명이 숨지는 등 큰 피해를 입은 가운데 이철우 경북도지사가 산불 피해 복구를 언급하며 “파괴의 미학”이라는 표현을 써 논란이 일고 있습니다.

평생 삶터 잿더미인데…경북지사 “파괴의 미학” 발언 논...

【速報】「女性Aが中居正広氏によって性暴力による被害を受けたもの」と認定　フジテレビと親会社が第三者委員会の調査報告書を公表
https://news.yahoo.co.jp/articles/5073453ceb297524a1d109fe175e573bf8f2b6d7