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.
in 24 hours this happens... #curl
Wir sind alle Petitionsmüde, ich weiß. Die Frauenklinik Lippstadt wurde von einem katholischen Träger übernommen und darf keine Schwangerschaftsabbrüche mehr durchführen. Der Chefarzt klagt dagegen und hat diese Petition gestartet.
いまなら期日前投票者全員サービスで
暴行済証明書をもらえるぞ！
#比例は暴力党
이제 진짜로 이름 정도는 지어줄 때가 됐는데
RE: https://bsky.app/profile/did:plc:7fbikvxjgwiomstwwnd2gp42/post/3ltwgciipv22t
Using Lean like an External SMT Solver from Python. ~ Philip Zucker. https://www.philipzucker.com/lean_smt/ #ITP #LeanProver
ASUSよね←
'Psychedelisch'.
#photography #FotoVorschlag #WiesenLiebe
얘들아 나한테 뭐가 생겼게... 관으로 시작해서 캐로 끝나는 거임 ㅠ,,, 네 맞습니다 관동팔경에 오랑캐가 처들어왔습니다 놈들을 잡으러 갈 테니 탐라를 지켜주시길 우리 사이에 아직 아이가 없으니 부인께서는 내가 이듬해 봄까지 돌아오지 않는다면 죽었다고 여기고 새 사람을 만나 재가하시오
Google's utter failure to turn Beyondcorp into a product has led to some absolute fuckery in the market
d20 슈퍼히어로 RPG의 대명사인 뮤턴트&마스터마인드 4판이 나온다는 발표입니다.
RE: https://bsky.app/profile/did:plc:b2riqkwdtxhyyt3weujdwpy7/post/3ltxitonhgk2u
ひょー。継続的に取られなければ大きな問題（配下のドメインについて偽物のTLS証明書を作らせられる）にはならないかもだけれどDNS over TLSにするべきかしら…
"#DOGE Denizen Marko Elez Leaked API Key for xAI
Marko Elez, a 25-year-old employee at Elon Musk’s Department of Government Efficiency (#DOGE), has been granted access to sensitive databases at the U.S. Social Security Administration, the Treasury and Justice departments, and the Department of Homeland Security."
https://krebsonsecurity.com/2025/07/doge-denizen-marko-elez-leaked-api-key-for-xai/
으윽...
身長が低くて細身で骨格が幼くて胸が膨らみかけで顔が可愛い成人済み女性が好きなのにロリコンだと思われています
誠に遺憾です
집중력이 너무 빠르게 떨어져
這個post和底下所有的留言都是中國女性的口述史
Protecting My Attention at the Dopamine Carnival
Link: https://www.amirsharif.com/protecting-my-attention-at-the-dopamine-carnival
Discussion: https://news.ycombinator.com/item?id=44566748
かっこいいTシャツが届きました！
Sサイズにしたけど161センチ痩せ体型の私が着ると、結構丈もあってゆったり着られそう。（タグはハサミで切りました。結構しっかりしている）
Stand up with youさんのお店で。
朝のCloudflare Public DNSの障害はBGPハイジャックであることが判明
インドのISPが誤って1.1.1.0/24を広報
似た事件は去年6月にも発生※1
1.0.0.0/8は2010年に割り当てられたばかりのIPで、テストルーターに使用していた事業者も少なくない
https://radar.cloudflare.com/ja-jp/routing/anomalies/hijack-107469#bgp-origin-hijack
https://www.thousandeyes.com/blog/cloudflare-outage-analysis-july-14-2025
※1: https://blog.cloudflare.com/ja-jp/cloudflare-1111-incident-on-june-27-2024/
소프트웨어를 빠르게 개발하는 나만의 방법
------------------------------
- *완벽함* 과 *속도* 의 균형은 쉽지 않지만, 상황에 맞는 *적정 품질* 과 *기한 준수* 가 중요함
- 초안(러프 드래프트) 개발을 먼저 진행하고, 이후에 코드 품질을 개선하는 방식이 효과적임
- *요구사항을 완화* 하거나 과도한 요구를 줄이면 속도와 효율을 높일 수 있음
- *산만함을 피하고 작은 단위…
------------------------------
https://news.hada.io/topic?id=21995&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
"Nada da tanta ventaja a una persona sobre otra como permanecer siempre tranquila y serena en todas las circunstancias." ~ Thomas Jefferson (1746-1823).
Readings shared July 14, 2025. https://jaalonso.github.io/vestigium/posts/2025/07/15-readings_shared_07-14-25 #Coq #ITP #IsabelleHOL #LLMs #LeanProver #Math
사야지 낫는 병
朝のCloudflare Public DNSの障害はBGPハイジャックであることが判明
インドのISPが誤って1.1.1.0/24を広報
似た事件は去年6月にも発生※1
1.0.0.0/8は2010年に割り当てられたばかりのIPで、テストルーターに使用していた事業者も少なくない
https://radar.cloudflare.com/ja-jp/routing/anomalies/hijack-107469#bgp-origin-hijack
https://www.thousandeyes.com/blog/cloudflare-outage-analysis-july-14-2025
※1: https://blog.cloudflare.com/ja-jp/cloudflare-1111-incident-on-june-27-2024/
https://x.com/cumulo_autumn/status/1944735244940448211
뭔가 음.. 신기하긴 하지만 그록이라서 안 쓸 것 같아
그록에 뭔가 이상한 기능 생겼대
bsky는 비로그인상태에서 메인에 섹계만 뜨는 걸 어떻게 안하면 이미지가 너무 안좋아질거같은데..
ASMRでいきなりロープ使うのは死を覚悟するだろ
あ、あの、レイオフは避けたいでつ #ダークモード
保身する方針 #いいえ
아니, 유튜브 뮤직을 달라고. 유튜브 라이트는 필요없어. 유튜브 뮤직을 달라고. 유튜브 뮤직만 달라고. #발광
RE: https://bsky.app/profile/did:plc:uabkr6tn7ru4b4e5e6udleuf/post/3ltxxjw2r5c2q
:net_literacy::taisetu:
だから時折
混ぜ込んで撹乱しましょう！
外晴れてて
RE: https://misskey.io/notes/aa7q71whw7v30bm5
Happy 20th Birthday Django
Link: https://www.djangoproject.com/weblog/2025/jul/13/happy-20th-birthday-django/
Discussion: https://news.ycombinator.com/item?id=44549154
고대의 혈액형 마술이 잊혀지자 이성의 시대가 열리는 게 아니라 MBTI 마술이 유행한다
RE: https://bsky.app/profile/did:plc:fl6xvsneko2e7wryimmdyum6/post/3ltkpchkl222t
ふと思ったこと
switch2のゲリラ販売がちらほら出始めてるけどこういうので運よくswitch2を買えると嬉しくてつい
近所の○○でswitch2売ってた！
とかって呟いちゃうと思うんですよ。
でも少し待って思い出してほしいの
ゲリラ販売してる=販売箇所が限定的ということを
つまり近所の○○で～って言っちゃうと一部の悪い人が
「この日に販売報告が上がってた○○はここかーほーん」
って住所まで行かなくても生活圏を絞られる可能性があるんですよ
話題にかこつけてそういうことしてくる輩もいる可能性があるので、今一度個人情報が洩れそうな投稿は公開する前に一呼吸おいてほんとに大丈夫かをよく考えてからやるようにしましょうね
https://www.reddit.com/r/dumbphones/comments/1ltuyb4/how_do_i_use_a_music_player_thats_not_spotify/
"...I’ve never used anything but online streaming..."
Memphis-based xAI’s Grok getting incorporated into our government days after turning hard into vicious antisemitism
Ten years of running every day, visualized.
https://nodaysoff.run
@running #running #visualization
송고2025-07-15 12:00
4년 동안 소비자 불리하게 요금제 변경 불가…"세계 최저 수준 요금"
국내 아티스트 육성 지원에 150억원…150억원어치 할인혜택도
공정위, 구글과 잠정 동의의결안 마련…한 달간 이해관계자 의견 수렴 www.yna.co.kr/view/AKR2025...
음악 뺀 '유튜브 라이트' 연내 출시…월 요금 8천50...
"복음주의 세력에게 시민권 확장은 종교 자유의 위축을 의미했다. 그들의 기반인 백인 인종주의와 가부장제가 위기에 처하게 됐다. 그러자 민주적인 법 체계와 제도들에 포위된 지상 최대의 피해자인 양 '종교의 자유가 없다!'고 비명을 지르기 시작했다."
"차별금지법 때문에 "자신이 처벌받은 것 아닌가 하는 절박한 반대의 목소리"가 있다며 '종교의 자유'를 침해할 수 없다는 김민석의 발언은 완벽하게, 너무도 완벽하게 미국 복음주의 세력의 주장을 모방한다." https://www.newscham.net/articles/113616
仕事上がりだと投票所に間に合わないから明日の休みに期日前投票行くぞー
そして外食するんよ
Stefano Marinelli shared the below article:
Stefano Marinelli @stefano@journal.bsd.cafe
<p>Mondays are always tough, I think that’s true for everyone. But one thing that makes me happy it’s Monday is the consistent arrival of the “Valuable News” from Slawomir Wojciech Wojtczak – or simply Vermaden – <a rel="mention" class="u-url mention" href="https://mastodon.bsd.cafe/@vermaden">@vermaden</a> – as we know him. His newsletter covers the world of *BSD and Unix, technology in general, and offers a look at articles (both old and new) about the world and life in general.</p> <p>Vermaden has been publishing his weekly newsletter for many years, and it’s a go-to […]</p>
Read more →今日中にできたらええな〜の仕事ができてしまいました
순애는 순두부 애호박인 거시와요 하와와
저랑 생일 똑같은 사람 중에 유명한 사람?에는
위르겐 하버마스 씨가 있습니다.
Jan Lehnardt 
유진🎀 
pkg update![select birth date
month
[3-column selection list with month names split into random letters]
day
[0, with the option to endlessly increment or reduce by one]
year
[1900 with a slider]](https://cdn.masto.host/shitposttrade/media_attachments/files/114/851/255/023/623/678/original/2964107def9557bf.jpg)
kazuhito
+ 
