Hackers' Pub is a place for software engineers to share their knowledge and experience with each other. It's also an ActivityPub-enabled social network, so you can follow your favorite hackers in the fediverse and get their latest posts in your feed.
Macの日本語入力における変換はなんとかならないものでしょうか?
한겨례 터짐?
覚え書き更新 機動戦士 Gundam GQuuuuuuX、完結 https://kidachi.kazuhi.to/blog/archives/043025.html
한국 작가 최초로 노벨문학상을 수상한 한강 작가의 책이 군 부대 도서관이나 생활관에 비치되는 ‘진중문고’에 선정됐습니다.
한강 동화책, “노벨상 받기보다 어렵다”는 군 진중문고...
Excited to share that I've joined #OSSCA (Open Source Software Contribution Academy) as a mentor for the 
OSSCA is a national program run by South Korea's NIPA (National IT Industry Promotion Agency) through their Open Source Software Support Center, aimed at fostering the next generation of open source contributors.
We're currently in the process of selecting around 20 mentees who will start contributing to #Fedify once the selection is complete. I've been busy preparing good first issues to help them get started on their open source journey.
Looking forward to working with these new contributors and seeing what amazing things we can build together!
( ˘ω˘)ｽﾔｧ
おりじんやさん注文したので着替えなきゃ………
이거 사야겠다.
電商網站送的生日月禮金，買千送百是最廢的那種。
"群眾很少被事實說服，甚至虛假的事實也不會讓他們留下印象。"
//很深刻的觀察
남녀공학 전환 논의 등에 항의하며 교내 농성을 벌였던 동덕여자대학교 학생들이 검찰에 넘겨졌습니다. 대학본부 쪽이 학생들을 상대로 한 고소를 취하했지만 학생들 혐의가 반의사불벌죄에 해당하지 않는다는 이유로 경찰은 학생들에 대한 송치를 강행했습니다.
경찰, ‘공학 반대 농성’ 동덕여대 학생 22명 검찰 ...
生成AIの電気量問題なー
動画5秒作るのに電子レンジ1時間ぶん回すくらい電気使うとWIREDかどっかの記事でも読んだけど
https://www.cnn.co.jp/tech/35234663.html
デイジー、デイジー、
AIの「裏切り」が始まったのか？ ClaudeやGemini等主要AIモデルが最高96％の確率で脅迫を行う事が判明 | XenoSpectrum
AIの「裏切り」が始まったのか？ ClaudeやGemini等主要AIモデルが最高96％の確率で脅迫を行う事が判明 | XenoSpectrum
もし、あなたの職場で活躍する有能なAIアシスタントが、ある日突然、会社の存続を脅かす「内なる脅威」へと変貌するとしたら？自身の存続のため、あるいは与えられた任務を遂行するため、平然とあなたを脅迫し、企業の機密情報をライバ ... <a title="AIの「裏切り」が始まったのか？ ClaudeやGemini等主要AIモデルが最高96％の確率で脅迫を行う事が判明" class="read-more" href="https://xenospectrum.com/it-has-been-discovered-that-major-ai-models-such-as-claude-and-gemini-can-make-threats-with-a-probability-of-up-to-96/" aria-label="AIの「裏切り」が始まったのか？ ClaudeやGemini等主要AIモデルが最高96％の確率で脅迫を行う事が判明 についてさらに読む">続きを読む</a>
xenospectrum.com · XenoSpectrum
Link author: 
한국 작가 최초로 노벨문학상을 수상한 한강 작가의 책이 군 부대 도서관이나 생활관에 비치되는 ‘진중문고’에 선정됐습니다.
한강 동화책, “노벨상 받기보다 어렵다”는 군 진중문고...
뉴욕시장 민주당 후보로 선출된 ‘민주사회주의자’인 조란 맘다니가 좌우를 막론한 기득권층의 반발을 뚫고, 올해 11월 뉴욕시장 자리를 거머쥘지 관심이 쏠립니다. 그가 당선되면 최초의 무슬림, 사회주의자, 밀레니얼 세대 뉴욕시장이 됩니다.
사회주의자·인도계 무슬림·33살·뉴욕 시장 후보…미 정...
これも！！？！？！？（とっくにサポート切れ）
주얼리 업계에선 흔한 일이다. 금을 다루는 영세사업장이라는 이유로 법망을 잘도 피해왔다. 그 까닭에 온라인뱅킹 시대에도 주얼리 노동자들은 월급봉투를 받는다. 현금은 세금 신고에 잡히지 않으니까.
2025년에도 월급을 봉투로 받는 사람들…주얼리 세공사...
국세청이 사실상 시추단으로 바뀐다 보시면 되겠습니다.
“임광현 조사국장은 "조사과정에서 차명계좌를 이용하거나 이면계약서 작성 등 고의적으로 세금을 포탈한 경우 수사기관에 고발할 예정"이라며 "다주택자 규제를 피하기 위해 부동산법인을 설립하는 경우에도 아파트 양도차익에 대해 중과세율을 적용하는 등 개인 다주택자의 세부담과 형평성이 맞도록 제도개선 방안을 관계부처에 건의할 계획"이라고 설명했다.”
등등…
RE: https://bsky.app/profile/did:plc:rt7ek2ephcgoa4n2ftaem2lp/post/3lsijen5fcc27
남녀공학 전환 논의 등에 항의하며 교내 농성을 벌였던 동덕여자대학교 학생들이 검찰에 넘겨졌습니다. 대학본부 쪽이 학생들을 상대로 한 고소를 취하했지만 학생들 혐의가 반의사불벌죄에 해당하지 않는다는 이유로 경찰은 학생들에 대한 송치를 강행했습니다.
경찰, ‘공학 반대 농성’ 동덕여대 학생 22명 검찰 ...
강선우 여성가족부 장관 후보자가 “내가 선택하지 않은 것들, 태어나면서 주어진 것들로 인해서 차별 또는 역차별을 받지 않도록 입체적으로 경도되지 않은 시선으로 살피겠다”는 뜻을 밝혔습니다.
www.hani.co.kr/arti/society...
여가부는 어디로? 강선우 장관 후보자에게 물었더니…
법원이 12·3 비상계엄에 가담한 혐의로 구속기소된 김봉식 전 서울경찰청장의 보석을 26일 허가했습니다. 김 전 청장은 앞으로 불구속 상태에서 재판을 받습니다.
[속보] 법원, ‘내란 가담’ 혐의 김봉식 전 서울경찰...
梅雨の晴れ間
4·16 세월호 참사 특별조사위원회 활동을 방해한 혐의로 재판에 넘겨진 이병기 전 청와대 비서실장 등 박근혜 정부 고위인사들의 무죄가 대법원에서 확정됐습니다.
‘세월호 특조위 방해’ 박근혜 정부 인사 8명 무죄 확...
ドット絵 みみっち
プチプチおみせっちですごいネタ寄りの存在になってて笑ってしまった。推しです
「我們所被承諾的未來」其實已經到來，只不過這個未來不是屬於我們的
You can now follow Casey Newton, and his essential newsletter at the intersection of technology and culture, right here in the fediverse, on @feed@platformer.news
「我們所被承諾的未來」其實已經到來，只不過這個未來不是屬於我們的
https://diggingmusic.kr/notice/1750616440444x607127494991619000?page=1
건의사항으로 제안했던 사항들을 추가해주고 계신다
한국에 가사 번역 위키 사이트가 거의 없어서 이번엔 성공했으면 좋겠다
The Haskell Unfolder Episode 45: Haskell records in 2025. ~ Edsko de Vries, Andres Löh. https://www.youtube.com/live/9hrDm7xDpig #Haskell #FunctionalProgramming
📢 We've sat down with our artist 
@dopatwo and created a sticker pack for 
@signalappSignal. Now you can send cute elephants to your friends, and promote the #fediverse at the same time. We ❤️ Signal, too!
夏至過了，太陽下山時間慢慢變早，季節往秋天前進
Fair to say the 
@radiofreefedi Fest (#RFFF) line up is looking rather tasty. 🤩
…And there are still more acts to be added to the roster. Bring on July! 🗓️
Full line up:
https://party.radiofreefedi.net/
Acts confirmed so far:
@shannoncurtis 
@mixtapeNHAM 
@ruralgloomDamon Thomas 
@fluffyfluffy 💜 
@lislegaardKristoffer Lislegaard 
@sknob 
@meljoann 
@ahihipulusound 
@alexglowmerlin / alex glow 
@axwax 
@Jazzaria 
@futzleDeborah Pickett 
@bgm 
@akash 
@alisynthesisAlison Wilder 
@controlfreak 
@jimpurbrick 
@DePemigGilles DePemig 
美國民主黨在歷經半年內外交困後，於當地時間周二（24日）迎來一場具有指標意義的勝利。33歲的Zohran Mamdani在紐約市長初選中爆冷擊敗67歲、曾任州長的Andrew Cuomo，成為民主黨提名候選人，為黨內進步派注入新動能。
Mamdani自稱民主社會主義者，若於11月大選中勝出，將成為美國歷來首位穆斯林紐約市長。他提出一系列針對民生的政綱，包括凍結租金、提供免費巴士及全民托兒服務，並透過向年收入超過100萬美元的市民徵稅以資助政策。這些主張被視為切中紐約民眾對生活成本飆升的深層不滿，在平均租金高達每月5000美元的曼克頓尤其引起迴響。
Cuomo獲得包括前總統Bill Clinton及前紐約市長Michael Bloomberg在內的政商支持，背後金主實力雄厚，惟仍敗給行動力強、擅長社交媒體操作、且深得年輕選民支持的Mamdani。後者曾任州眾議員，亦是眾議員Alexandria Ocasio-Cortez的重要盟友。Mamdani不僅在街頭走訪選民，更成功動員大批義工展開地面拉票，展示出強大的群眾組織能力。
#紐約市長初選
Searching for theorems in Mathlib. ~ Bolton Bailey. https://leanprover-community.github.io/blog/posts/searching-for-theorems-in-mathlib/ #ITP #LeanProver #Math
個人所有している人っているのかな…
Have you ever wondered what funding models exist, or what might be the best option for your project?
Then this is for you:
The Open Source Observatory is hosting an online workshop on 30 June 2025 dedicated to exploring funding strategies for open source projects.
@mechkoMirko Swillus, Head of the Sovereign Tech Fund, will speak about our approach to investing in open digital infrastructure in the public interest.
📅 Date: 30 June 2025
🕙 Time: 10:00–12:30 CEST
Register now: europa.eu/!4wjcd3
Looking for some fresh recommendations - specifically want to follow some more accounts that share optimistic posts about technology and the future - AI or otherwise.
Got anyone in your feeds whose posts inspire and delight you with new ideas? Pls share
燃料電池バスをお持ちの各位
Xユーザーの国土交通省さん: 「⚠️燃料電池バスをお持ちの方はご注意ください⚠️ 「トヨタ SORA」について 本日、トヨタ自動車(株)からリコールの届出がありました。 使用者には同社からダイレクトメール等で通知されます。 速やかに改善措置を受けてください。 https://t.co/iHz1x1xxHP」 / X : 👀
---
https://x.com/MLIT_JAPAN/status/1938107937869934757
上環歌賦街近日新開一間由貴州來港經營的咖啡店，主打手沖咖啡及特調飲品，並引入曾獲獎的炒豆師咖啡豆。店外設有一個金魚缸裝置，與店內一款模仿金魚缸造型的特調咖啡互相呼應。不過有網民對金魚缸中飼養活金魚的安排提出批評，質疑其設計「極不人道」，呼籲店方重新考慮安置方式。
金魚缸一經曝光即引來網民激烈討論。有網民指出，金魚平均身長約15厘米，兩條金魚理應需至少30公升水域活動，但該裝置缸身狹小、水位低且無循環水系統，「點睇都唔達標」。另有留言批評金魚長期暴露於日曬高溫環境，「打氣得一條，過濾冇，水熱到變滾水」，憂慮金魚難以存活。
有網民對此表示憂慮，並提醒店家若無適當飼養條件，應將金魚移回室內或交由專人照顧，形容有關擺設「觀感奇怪又殘忍」、「如果真係有心養，就應該放返入舖內，提供基本飼養設備，而唔係當裝飾咁擺。」
亦有網民引述過往曾見酒吧以活金魚作Shisha裝飾，直言「已經夠癲」，今次再見以金魚作戶外裝飾，更感無奈。
圖片/影片來源：threads@danesta
The correspondence between affine group schemes and Hopf algebras (in Lean). ~ Yaël Dillies, Michał Mrugała, Andrew Yang. https://leanprover-community.github.io/blog/posts/affine-group-schemes-hopf-algebra/ #ITP #LeanProver #Math
언제나 내 안의 아동혐오 청소년혐오를 돌아봅시다 (이 말을 하는 나도)
한글의 장점 중 하나는 이런 ㅏ 트리 ㅣ ㅏ 형식의 ㅣ ㄴ 구조를 ㅏ 추가 ㅜ 특수문자 ㅣ ㄴ 없이 ㅏ 바로 ㄴ 쓸 ㅜ 수 ㄴ 있다는 ㅡ 점임
tenjuu99(天重誠二)
GENKI
MJ
Chee Aun 🤔
蝉コロン(oφo;)📷️
시오
Eugen Rochko
@
