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.
[속보] 김문수 "후보 등록할 생각도 없는 분을 누가 끌어냈나"
송고2025-05-07 19:38
www.yna.co.kr/view/AKR2025...
[속보] 김문수 "후보 등록할 생각도 없는 분을 누가 ...
2만 여 성전환 미군, 군복 벗는다…대법원, 군 복무금지 시행 허용
입력 2025-05-07 08:07
미군에 1만5000∼2만5000명의 트랜스젠더 군인 복무 중
진보성향 대법관 3명, 보수 성향 대법관 6명으로 트럼프 손 들어줘 www.munhwa.com/article/1150...
2만 여 성전환 미군, 군복 벗는다…대법원, 군 복무금...
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
この手のタグ興味あるけど、昔誰も反応してくれなかったときがあって若干落ち込んだことあったな……。
かえってきたぁ
こっちからだとみれるのなんでだろ
We’re excited to share more details about the #SovereignTechFund’s investment in GFortran. It advances an open source Fortran compiler, to enable modern, efficient capabilities for high-performance computing and scientific research. The commissioned work improves parallel computing support, fixes critical standards compliance issues, and overhauls key internal systems for better performance and maintainability. Learn more: https://www.sovereign.tech/tech/gfortran
Gina has posted a statement about the events of the past weeks and how the Fosstodon team is committed to being an inclusive space:
いちばん強い印象はアイコンがmastodonから見れない人かもしれん…
おなかすいたけどご飯食べてはならぬ
calicoを3.30に上げたらGoldmaneってやつとWhiskerってやつが生えてきた
私の印象について聞いてもメンヘラかおかしい人としか返ってこない気がするので聞きません
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!
のっぽパンの人
#私をなんの人で認識してますか
取りあえず置いておく
Will it get any worse? Why is firefox sending me notifications for features I don't give a shit about
GGOLIM.......
よし、ブルアカ更新読んでいきます
なんというか、人間との対話が不可能だと感じてしまうから、薬との対話にならざるをえないのかなと、自分自身に対して感じる
ひつじになりたい
24出たのかー
Node.js — Node v24.0.0 (Current)
https://nodejs.org/en/blog/release/v24.0.0
とてもねむい
#MULCIA: 2 PhD-position in proof-theoretic semantics, UCL - London (UK). https://tinyurl.com/2yyrx8ce #PhD #CompSci
ねむい
しゅいろ
dansup
Hugo van Kemenade
