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.
thanks, Kenneth 🙄
震源が浅いから悪石島だけピンポイントに揺れてるって感じかな
@undongcong2.bsky.social 선샌닌 혹시 도내에서 단호박 농사 지으시는 분이나 파는분 아십네까
[단독] 인권위, 십대여성건강센터 긴급구제 신청 각하…내일 폐쇄
n.news.naver.com/article/421/...
개쓰레기 정치적 인권위원장과 반인권적 위원들부터 물갈이해야 한다.
[단독] 인권위, 십대여성건강센터 긴급구제 신청 각하…...
이것저것규탄한다
아무거나보장하라
震度6弱か……なんだろうなぁ、おそろしい
H는 :묵음아니야:
꾸준히 해도 현타라는게 왜케 가슴아프지
Just in time for summer, Vivaldi 7.5 is here!
This release is shaped by your feedback and driven by our commitment to putting you in full control of your browser. It’s about delivering the thoughtful upgrades that make a real difference in how you browse every day.
어..알리에서 보던 그런가격이 한국돈이 아니라 중국돈이였어?...990원 이런거는 애초에 없는건가?
근육을 찢으면 이로운게 너무 많은데 감정적으로 너무 힘들고 귀찮음
그리고 근육 찢은 다음날 몸 가누는데 약간의 부하가 걸리니까 꾸준히 하면 현타가 옴...
Just in time for summer, Vivaldi 7.5 is here!
This release is shaped by your feedback and driven by our commitment to putting you in full control of your browser. It’s about delivering the thoughtful upgrades that make a real difference in how you browse every day.
Photoshopの生成AI削除機能、雑に消す分にはめちゃくちゃすごい
不自然な部分はあるけど
「まぁ震度5レベルはしばらく出ないだろう」って思った矢先これかよ
Rediscovering the Beauty of Chemistry Through Quantum Theory and Prolog https://lobste.rs/s/jwyu1t #programming #science
https://medium.com/@kenichisasagawa/the-beginning-666ff734e647
The Evolution of Caching Libraries in Go
Link: https://maypok86.github.io/otter/blog/cache-evolution/
Discussion: https://news.ycombinator.com/item?id=44414630
나는 이 싸움에서 이길 자신이 없어... 
Verifying Datalog reasoning with Lean. ~ Johannes Tantow, Lukas Gerlach, Stephan Mennicke, Markus Krötzsch. https://iccl.inf.tu-dresden.de/w/images/d/dc/ITP-2025-Paper-116-Camera-Ready.pdf #ITP #LeanProver
욕 있음
아니 씨발 뭔 소꿉친구가 소재로 나오면 다 NTR이야... 작가새끼들 정신머리가 다 어떻게들 됐나?
아님 독자들 수준이 거기인거임? 팔리니까 그리겠지? 좆같네 진짜..
일머서버비축내기위원회
탐라에 헬스귀신이있어요
오히려 마비노기 모바일이나 민속놀이 스타크래프트가 아는 사람이 많아서 많이 보는 듯
Wie kann man nur auf die Idee kommen, dass das eine gute Idee ist: Die komplette Bahn-Logistik-IT eines gesamten Landes gebündelt bei US-Anbieter AWS und Microsoft betreiben? Hold my beer 🍺, sagt die Deutsche Bahn 🚂. Super praktisch, wenn man die kritische Verkehrsinfrastruktur eines Landes per Knopfdruck aus dem Ausland abschalten kann. Warum führen wir denn die Diskussion um Digitale Souveränität. Als ob wir das in der EU nicht könnten..
오늘 가능한 스킨십은 부록1에 별도로 첨부합니다.
Wishing a nice day, to all the neurospicy people, who end up conjuring a song, because a word they just read / heard reminds them of the lyrics. But, who also can't remember human names.
Enjoy the song I currently have in my head after tagging an email https://www.youtube.com/watch?v=6PDmZnG8KsM
https://www.youtube.com/watch?v=6PDmZnG8KsM
Use `bastille bootstrap` to fetch and prepare a FreeBSD releases or templates for use as a jail base.
Your infrastructure automation starts here.
LeanLTL: A unifying framework for linear temporal logics in Lean. ~ Eric Vin, Kyle A. Miller, Daniel J. Fremont. https://arxiv.org/abs/2507.01780 #ITP #LeanProver
@darkdohee
때리는것보다좋은근육찢기어떠신가요?!?!???@?@
잡!?!?!?생각이안!?!?@?들어요?!?@?@?@@
と
への支援を始めて2年！
This is a serious data question for Mastodon nerds -- is anyone aware of a single data governance product that actually does anything useful? I'm reviewing everything I can find for a client, and not a single one seems to offer any serious benefits over dbt lineage. They don't even seem to support access models more sophisticated than just like, keeping a big table mapping users to tables they're allowed to read.
@darkdohee 
@thx땡상어 
샥스핀 라면??? ㄷㄷ
CI/CD 파이프라인 펀치
??: 팀장님여기문제가생겼는데요
파이프라인펀치
仕事したり昼寝したりの合間にちょっとずつ見てる
https://www.youtube.com/live/YZWyG2G2I4k?si=9AeB_ePZT6OfB_vm
묵음은 이 세상에 존재해선 안됐다
하다못해 묵음이라는 표시라도 하나 만들어주지
紅磡一間寵物店店東涉嫌將客人寄放的名種貓隻「以貓抵債」，用作償還個人欠款。警方接報展開調查，拘捕涉案店主，並成功尋回全部失蹤貓隻。
案發地點為紅磡船澳街2號地下一間名為「幸福貓舍」的寵物店。警方指，兩名顧客分別於今年5月及6月將合共35隻名種貓交由該店寄賣及寄宿，包括英國短毛貓、布偶貓及豹貓，總值逾62萬元。
據了解，該店44歲陳姓男店主去年8月向一間持牌財務公司借貸21萬元，惟未能如期還款。至本周一（6月30日），財務公司職員到店追討債項，陳男竟提出以店內貓隻作抵押償還部分欠款，職員隨即將貓隻帶走。
翌日（7月2日）下午約2時，57歲林姓女客人到店準備接回寄宿的3隻豹貓時，赫然發現貓隻失蹤，遂報警處理。警方經調查後，以涉嫌「盜竊」將陳男拘捕。其後人員於油麻地及元朗區尋回全部35隻貓，並交由愛護動物協會檢查，確認牠們均無受傷，身體狀況良好。
#幸福貓舍
음.. 모르겠다
Newer versions of Claude Code seems more inclined to create temporarily files for notes and plans. It's helpful, but also scary. I'm reluctant to provide permission for the `rm` commands.
最近有一個德高望重的人，一直在跟我聊大腦外包概念，但完全沒心思聽，只是一直想，大腦外包能不能簡稱成腦包。
蔡瀾逝世與最後港式風流：「香港四大才子」稱號曾是大陸輸入？ | 端傳媒 Initium Media
https://theinitium.com/opinion/20250702-culture-chua-lam-and-the-hk-style
> 來了香港，在此大展拳腳，就是香港人，就是香港才子。金庸、倪匡皆非廣東人，到香港後才學粵語，黃霑和蔡瀾倒是廣東文化背景，但四人都不是香港出生，黃霑在廣州，蔡瀾在新加坡。若集中討論蔡瀾的話，他由新加坡到日本，而後主要定居香港，就更是香港一度作為華人人才流動中心點的典範。
> 在此大背景下，才把握得到蔡瀾的流動性所帶來的，局外人笑看人生宇宙的哲學，他強調的半生追尋人生意義，最終相信吃吃喝喝，對酒色財氣風花雪月毫不遮掩的讚頌，說實在也是一個香港時代的普遍價值。這種特質，後來再為香港壹傳媒的媒體出品放大，形成一種港人普遍對「不扮高深」、要活得自在真誠的人生觀的誇讚。
ちょっと知りあいの neoコーキョー辻本達也さんの記事、おもしろいので共有します。池袋でキャンピングチェアに座って勝手にカウント調査をしてみたという人です。 https://digital.asahi.com/articles/AST6W2S50T6WULLI00FM.html?ptoken=01JZ7HACFM03Y0MHAH76X2FF8S
django -> 머릿속에서 계속 드장고라고 읽힘
GENKI
leyrer
Stefano Marinelli
MJ
