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.
おお、irubyがRuby 4.0で動かないのか。JupyterでRubyつかってるから動いてほしいな、僕で直せるだろうか・・・
난 개허접이래.....
I don't often look at our #MapsintheWild Instagram feed often, 
@arferrandArnaud runs that one, but this morning I had to check something and I was struck by what a beautiful way it is to present our daily map. Have a look at a year or more's work at https://www.instagram.com/maps_in_the_wild/
ケーキ食べた
공계들 인스타쪽 팔로잉 하는데 여기는 공지같은거 한번에 보기 불편해. 인스타는 배우계정 구독계로 쓰는데 게시물 많아지면 타임라인 엉망진창에 광고에 추천 어쩌구랑 뒤섞이면 대략....
The latest cubical Agda repository has this definition:
record Iso {ℓ ℓ'} (A : Type ℓ) (B : Type ℓ')
...
sec : section fun inv
ret : retract fun inv
but the paper I'm reading uses
leftInv
rightInv
instead. Chat GPT insists that the "modern" library uses the latter, but I can't seem to find it. I'm using
https://github.com/agda/cubical
主に異国情緒や季節の移ろいをテーマにした絵を描いています #新規多いので自己紹介しよう
아무튼 세상엔 많은 게임이 있으니까 본인이 재미있게 즐길 수 있는 게임을 찾는 것도 재미있는 여행이 될 수 있을 것이다. 많은 사람이 그 여행을 편하게 즐길 수 있으면 좋겠다.
#크리스마스_블친소 #일상계_블친소
저는 다른 sns에서 글을 써서 블스에 같이 올리는 사람이에요
뭔가 블스 평균 성향과는 안맞을수도 있지만
이상한 쿠키몬스터를 구경하고 싶으시면 들어오세요 ^~^
성탄절 아직 1시간 남았으니까 아직 이거 쓸수있죠?
RE: https://stella.place/notes/aewwc5fz07
Don't forget to hug your loved ones today
사실 공개된 인터넷 공간에 뭘 올린 시점에 AI로부터 완전히 안전할수는 없음. 다만 트위터는 아예 대놓고 직접 AI 학습자료로 쓰고 AI 리터칭을 공식 기능으로 박아놓고 그런 곳이니까 ㅋㅋ
絵を
描く
타카기 이후로 여주가 남주에게 일방적으로 다가와서 관심가져주는 장르가 유행했는데 그래서 그 여주는 왜 하필 저 남주에게 관심을 가져야 하지? 이 질문에 답하지 못하고 원패턴 소재는 떨어져서 재미없는 만화 되어 버린 거 자주 본 듯.
主に異国情緒や季節の移ろいをテーマにした絵を描いています #新規多いので自己紹介しよう
One thing i always do before deciding to subscribe to whatever online:
I create a temporary fake account and then i try to delete it. If deleting the account is too difficult/impossible without contacting their support, i don't subscribe.
Every accusation is confession이라는 말이 있군….
Misskey.ioは過去30日間で272万回のAIクロールリクエストをブロックしています
※許可されているのは検索エンジンのAIだけです
代わりにレンズ買っとく？
my #gotosocial instance is slow, super slow inside #FreeBSD 15.0-RELEASE, it's working fine and fast enough in 14.3
약간 어제 저녁부터 정신머리 레전드라 크리스마스 기념 연친소도 못햇음
이말을 왜하냐면
지금이라도 하려고요
1차 2차 커뮤 게임 티알 뭐 다 합니다
일상얘기도 많고요
반려견 얘기도 합니다
선팔 or 리액션 주시면 찾 아 가 요
'좋아하는 애가 안경을 깜빡했다' 다 봤다. 첫권은 원패턴 개그물이었는데 서서히 캐릭터 조형이 붙어가면서 본격 러브코메 장르로 성장하는 게 좋았다.
Misskey.ioは過去30日間で272万回のAIクロールリクエストをブロックしています
※許可されているのは検索エンジンのAIだけです
고객의 파산 또한 토스의 기회입니다. - https://blog.native.cat/post/129
고객의 파산을 비즈니스 기회로 삼는 플랫폼에게 우리는 더 이상 ‘혁신’이라는 왕관을 씌워줄 수 없습니다.
光る波打ち際
牛池灣彩虹邨今日（25日）聖誕節發生一宗懷疑縱火案。下午約2時，紫薇樓有住戶經過大廈梯間時，赫然發現有數塊膠板正在燃燒，隨即合力將火救熄，並通知大廈保安員報案。警方及消防人員接報趕至現場，經檢查後證實火勢已被撲滅，事件中無人受傷，亦毋須安排疏散。
消防經初步調查後，認為起火原因有可疑，並無自然起火跡象，遂將案件轉交警方處理。警方將案件列作「縱火」，交由黃大仙警區刑事調查隊第三隊跟進。探員正翻查閉路電視片段及向附近住戶搜集資料，以追緝涉案疑兇歸案。
#縱火案
アイコンのうちの子、くぐらちゃんです！
Yeiih! Azubine vom 
@leyrer !
女の子と着物とファンタジー描いてる #新規多いので自己紹介しよう
Security updates for Thursday
いろんなかわいいドット絵を上げてるよ！よろしく！ #新規多いので自己紹介しよう
ハンガリーで大判作ってる工房、8x8っていうクソデカスクエアカメラを製作してるんよね
http://www.argentumcamera.com/eng/pages/other/home.htm
頭もみもみしていたら頭お花畑になった！
35mm、毎回なんでこんななんもない感じになるんだよ。
ってブチ切れるけどたまーーに
うーん悪くないんじゃない？
みたいな時がある。実質DV
寝る前に1枚だけ絵をあげとこ
あったかぬくぬくぽよわにゃ
我發現一個我使用筆電而不是用手機瀏覽網路的優勢了！
那就是我可以自在的使用瀏覽器瀏覽我要的網站而不會一直被要求要安裝 App。
我說的就是你 x.com 💢
我想也有許多惡名昭彰的中國網站也是如此，不過我沒在用 
Snow is right on time this year
First year we can say merry wayland-mas
Still can't believe we no longer have to deal with x11
10in*100ftもイかれたサイズね
RE: https://misskey.io/notes/agp2b1ez90jy04dp
水面に反射で紅葉手水
A7RIII + SIGMA 35mm Art DG HSM
#misskey写真部 #io写真撮ろうぜ
【work】
宮本彩陽さまより音楽DLカードのイラストを担当させていただきました🌟
シティポップな夏をイメージして描かせて頂きました✨ #イラスト #illustration #work
"논리적 상단은 보수적으로 5,500~6,000달러, 구조적 재평가 시 7,000~8,000달러, 통화 체제 불안이 심화될 경우 9,000달러 이상까지도 설명 가능한 범위로 열려 있으나 상승 과정은 직선이 아니라 변동성과 계단식 조정을 반복할 가능성이 큼" 와... 일단 금은 그냥 매달 매수하는것이 맞긴할듯. 근데 정말 내가 적은 내용이 틀렸으면 좋겠다;;
とるねど
🕊️
白長谷
The Rt. Rev. Fumire, Ph.D.
MJ+
