What is Hackers' Pub?

🎊축하합니다! 🎊👑킹👑받으셨다니 👍❤정말❤축하해요! 🎉👑킹👑은 좋은 거에요 👑킹👑은🤴임금님🤴이잖아요👑킹👑받았다는 거는👍 내가🤴임금님🤴이 된 것 같다는🌈느낌을🌈받았다는 거에요👍❤정말정말♨️🎊축하해요🎊

오른쪽에 하얀 줄 하나 들어간 넷플릭스 아이콘 안 본 눈 삽니다...

새 아이폰이 필요한 이유:

• USB-C 포트
• 5배광학줌

...... 이게 다네??????

透明書店、すごく頻繁にイベントやってるなという印象がある。

MNGしたい

[속보] 김문수 "韓, 본인은 무소속으로 출마할 생각 없다고 밝혀" 우리는 한덕수가 최근까지 트럼프하고 관세 협상하고 그랬던 걸 알고 있음. 모든 협상을 저렇게 해왔겠구나 싶어서 ....

Fedoraはいいぞ

💥 Issue opened: #15982 "[2025.5.0]エラー画像が横長になる"
https://github.com/misskey-dev/misskey/issues/15982

のぼせた

アプデするのでサーバー止めたりしますよ〜

https://forest.watch.impress.co.jp/docs/news/2012136.html

@risa2@mstdn.y-zu.orgりさ姉@V2β おはよう

生きてた

#냥스토돈

あれ？りさ姉死んだ？

37.4℃
解熱剤と鼻炎薬を入れた直後。香りは壊滅してないのでこのまま1-2日で完治してくれるといいな。
#ふぉの温度202505_本土最南端ツーで拾った風邪

「目的とゴール」というセクションタイトルを見て、日本語って難しいなと思うなど。

なんでお腹空いてるんだろうと思ったけどそりゃそうだわね

今月も​​に​​の意を込めて​​の助​​ @syuiloしゅいろ(本物) しゅいろママには増額しましたのだ！ありがとう​​ありがとう​​​​

What is programming?... and what is programming in the age of artificial intelligence? ~ Sebastian Nicolajsen, Claus Brabrand. https://cacm.acm.org/opinion/what-is-programming/ #Programming

ぺちゃんこ藍ちゃん復活ですか

Apple Watch in significant global decline for two years now; new features needed https://9to5mac.com/2025/05/07/apple-watch-in-significant-global-decline-for-two-years-now-new-features-needed/?utm_source=dlvr.it&utm_medium=mastodon

エラー画面の画像が横長になる不具合、復活してる？

[속보] 김문수 "한덕수, 다시 만날 필요 더 있겠냐 해" 송고2025-05-07 19:34 www.yna.co.kr/view/AKR2025...

[속보] 김문수 "한덕수, 다시 만날 필요 더 있겠냐 ...

[속보] 김문수 "후보 등록할 생각도 없는 분을 누가 끌어냈나" 송고2025-05-07 19:38 www.yna.co.kr/view/AKR2025...

[속보] 김문수 "후보 등록할 생각도 없는 분을 누가 ...

[스푼랩스] RAG 도입기 — 챗봇을 만들다, 조용히 그리고 낭만적으로…

2만 여 성전환 미군, 군복 벗는다…대법원, 군 복무금지 시행 허용 입력 2025-05-07 08:07 미군에 1만5000∼2만5000명의 트랜스젠더 군인 복무 중 진보성향 대법관 3명, 보수 성향 대법관 6명으로 트럼프 손 들어줘 www.munhwa.com/article/1150...

2만 여 성전환 미군, 군복 벗는다…대법원, 군 복무금...

The register follows along: https://www.theregister.com/2025/05/07/curl_ai_bug_reports/

I've always wanted someone to write a type-safe framework for tensor manipulation that
a) fully leverages first-class types, and
b) is ergonomic

Maybe that someone has to be me; I wrote a proof-of-concept in Idris and used it to implement transformers:
https://github.com/bgavran/TypeSafe_Tensors

It supports standard tensors, and *non-cubical* tensors given by applicative functors, as well tensor indexing.

So if you have a 't : Tensor [BinTree, BinTree] Double' and you index outside of the shape of the tree, you get a *compile-time* error.

Indexing is powered by containers, transposition by Naperian functors, and non-cubical tensors by applicative functors (see https://cs.ox.ac.uk/people/jeremy.gibbons/publications/aplicative.pdf)

I was surprised how far one can go with this idea, and how pleasant it was in general to implement all of this in Idris.

What all of this does is enable you to implement the *generalised transformers* as described here (https://glaive-research.org/2025/02/11/Generalized-Transformers-from-Applicative-Functors.html) - transformers that operate on not just vectors, but potentially trees, and other structures too.

AmazonPrimeの解約が簡単になってる
怒られたんかな

> ５月９日から「わかめ」と「しび辛ラー油」が仲間入りして、無料の薬味とトッピングが全８種類に！楽しさがどんどん広がる丸亀製麺で、あなただけの一杯をぜひ。

わーい

新薬味・トッピング｜ここのうどんは、生きている。丸亀製麺 : 👀
---
https://jp.marugame.com/campaign/topping/

뉴요커도 사로 잡은 '전 남친 토스트'…온라인서 화제 n.news.naver.com/mnews/articl... 9.50달러(한화 약 1만 3천 원)... 이 것도 그렇고 한국 거리 음식들 해외에서 잘 먹히는거 보면 의외로 사람들 미각은 국경 넘어서도 통하는게 있는 듯 해요.

뉴요커도 사로 잡은 '전 남친 토스트'…온라인서 화제

사실 개인이 모든 혐오표현을 미리 알고 피하는 건 매우 어렵다고 생각해요 당장 저도 '병맛'에 ㅂ-word가 들어가는 걸 모르고 있었고 또 언론으로 올라가면 절름발이 파행 이런 장애혐오표현을 아무렇지 않게 쓰고 있고...

2만 여 성전환 미군, 군복 벗는다…대법원, 군 복무금지 시행 허용 입력 2025-05-07 08:07 미군에 1만5000∼2만5000명의 트랜스젠더 군인 복무 중 진보성향 대법관 3명, 보수 성향 대법관 6명으로 트럼프 손 들어줘 www.munhwa.com/article/1150...

2만 여 성전환 미군, 군복 벗는다…대법원, 군 복무금...

エラー画面の画像が横長になる不具合、復活してる？

@ e v e r y o n e

Hi everyone on #Fosstodon and the #Fediverse. 👋

I've posted a statement on our hub about the events of the past weeks and how we intend on doing better:

https://hub.fosstodon.org/fosstodon-community-statement

Tldr: Sorry about what happened, Fosstodon is committed to being a safe and inclusive space, and we're taking measures to ensure this won't happen again.

Please let me know what you think!

[속보] 김문수 "韓, 본인은 무소속으로 출마할 생각 없다고 밝혀" 우리는 한덕수가 최근까지 트럼프하고 관세 협상하고 그랬던 걸 알고 있음. 모든 협상을 저렇게 해왔겠구나 싶어서 ....

문수 : 덕수형 11일날 사퇴할거에요? 덕수 : 니가 단일화 안해주면 사퇴함 문수 : 그럼 내가 11일까지 버티면 자동단일화네요? 덕수 : ? 문수 : ㅇㅋ

RE: https://bsky.app/profile/did:plc:oeors5le2tmvqzojsjxxqwro/post/3lola642s3s2g

한덕수 "단일화 이뤄지지 않으면 대선 본후보 등록 않겠...

Server Directory 2.0 is here! 🚀

We completely rebuilt our server directory for a better community finding experience:

✅ Infinite scrolling - see ALL servers at once (goodbye pagination!)
✅ Rich server cards with location, user counts and more
✅ Improved filtering with better visibility
✅ Optimized crawling with 2-hour refresh rate (fixed the visibility delays!)
✅ Enhanced UI with improved colors and text legibility

Find your perfect #Pixelfed home today:
👉 https://pixelfed.org/servers

오늘따라 눈이 많이 가렵네.......

Apple Watch in significant global decline for two years now; new features needed https://9to5mac.com/2025/05/07/apple-watch-in-significant-global-decline-for-two-years-now-new-features-needed/?utm_source=dlvr.it&utm_medium=mastodon

Server Directory 2.0 is here! 🚀

We completely rebuilt our server directory for a better community finding experience:

✅ Infinite scrolling - see ALL servers at once (goodbye pagination!)
✅ Rich server cards with location, user counts and more
✅ Improved filtering with better visibility
✅ Optimized crawling with 2-hour refresh rate (fixed the visibility delays!)
✅ Enhanced UI with improved colors and text legibility

Find your perfect #Pixelfed home today:
👉 https://pixelfed.org/servers

あっぷででdone

この手のタグ興味あるけど、昔誰も反応してくれなかったときがあって若干落ち込んだことあったな……。

かえってきたぁ

こっちからだとみれるのなんでだろ