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.
Simplified and verified: A second look at a proof-producing union-find algorithm. ~ Lukas Stevens, Rebecca Ghidini. https://arxiv.org/abs/2504.10246 #ITP #IsabelleHOL
Previous Action: 🅰
ありがとうございます！これは代理じゃなくてただのタヌキなのでほどほどに気楽にお使いください
RE: https://misskey.io/notes/a6lz2d1n66zk0fnc
ただの企業系ブログみたいなやつでGoogleアカウントで続行、みたいなやつだしてくるところ、本当にきもちわるい
this is great fun -- an interactive web page that reveals what's in the oceans at various depths
음... 요 며칠 아이폰에서 Phanpy 가 더 이상하게 동작하는 느낌이 드는데... hollo를 재시작 할 때가 된건가!!??
Trump on the Putin war:
“And Biden could have stopped it, and Zelenskyy could have stopped it, and Putin should have never started it. Everybody’s to blame.”
Well you said you would stop it in 24h.
AWSが死に、私も死んだ
내란수괴와 성범죄자(트XX)는 혐오로 대통령이 되었고, 이를 원동역으로 나라를 효과적으로 조지고 있습니다. 또다른 이들을 막기 위해서라도 포괄적 차별금지법이 필요합니다.
AWSが死に、私も死んだ
因涉嫌違反《反壟斷法》，日本公平交易委員會對Google 發出停止違法行為的排除措施命令。這是日本首次對美國大型IT企業發出排除令。
這算另類報復嗎？🤔
https://www3.nhk.or.jp/news/html/20250415/k10014779641000.html
ioとかしゅいろママのファンボックスを確認したいと思った時無意識に支援者バッチをクリックしてる
the FreeBSD ${svc}_svcj_ipaddrs rc.conf option for service jail was committed, so how you can limit an rc service to a specific set of IP addresses: https://cgit.freebsd.org/src/commit/?id=6fbd1bed6e7bf880a6cc579b06bdc6476983613a
thanks netchild@
내란수괴와 성범죄자(트XX)는 혐오로 대통령이 되었고, 이를 원동역으로 나라를 효과적으로 조지고 있습니다. 또다른 이들을 막기 위해서라도 포괄적 차별금지법이 필요합니다.
misskey.ioに新しい絵文字 (tanuki_daradara)が追加されたかも。
차별금지법으로 한창 얘기가 나오는 동안, 여성시대 등 터프 세력에서는 '차별금지법 찬성 및 일부 보완 요청'이라는 청원을 올렸는데, 내용은 바로 '성별정체성을 빼달라'라는 내용이었습니다. 하나라도 빠지면 혐오의 대상이 되게 됩니다. 차별을 조장하는 법이 되지요.
차별금지법으로 한창 얘기가 나오는 동안, 여성시대 등 터프 세력에서는 '차별금지법 찬성 및 일부 보완 요청'이라는 청원을 올렸는데, 내용은 바로 '성별정체성을 빼달라'라는 내용이었습니다. 하나라도 빠지면 혐오의 대상이 되게 됩니다. 차별을 조장하는 법이 되지요.
Savoir | 連蓋章都不會的龍應台為何這麼愛當《紐約時報》的棋子？
https://www.savoirtw.org/article/4820
> 過去幾年，《紐時》在部分報導中採取了過度理解或合理化中共政策的立場，例如對中國數位監控系統、清零政策、甚至中共對外宣傳機器的報導，表現出一種「文化相對主義式的欣賞」。這與它自詡的「自由主義價值」立場是矛盾的。
這部分有哪位大大可以補充嗎？我記得新疆的內部文件不就是紐約時報披露的嗎？
きたない
うんちでた！！！
AWSが死んだけど、弊鯖は死んでないので、弊鯖はAWSよりも可用性が高い
しかし人類は死滅していなかった！！(CV. 千葉茂)
@ailrunAilrun (UTC-5/-4) 
@kodingwarriorJaeyeol Lee 
@lionhairdino 아아 어떤 느낌인지 상상이 갑니다. 저는@parksb
님이 하신것처럼 맥주가 차있으면 좋겠다싶어 H 중간 막대를 위로 올렸습니다.
H가 컵이고, P가 손잡이어야 하는데, H가 컵 모양이 잘 안나와서, 포기하고 그냥 맥주에 담가 버렸습니다. (근데 호스트분 아주 근거리에 디자이너분 계신 거 아닌가 모르겠습니다.) @ailrunAilrun (UTC-5/-4)
따라서 이 분야에서의 어설픈 타협은 "소수자 속의 소수자"를 만들어, 재차 시민사회 연대를 분열시키는 끔찍한 결과를 초래할 수도 있습니다.
악인에게 인권을 보장할 필요가 없다고 단정하면, 누군가 당신의 인권을 모조리 빼앗고 싶을 때에는 당신을 악인으로 단정하려 할 것입니다. 그것은 당신이 아무리 개인적으로 "선하게" 살아왔는지와는 전혀 무관하게 타인이 뜻대로 저지를 수 있는 일입니다.
うげげ
IIJ、サイバー攻撃で407万件以上の顧客メールアカウント情報が漏えいの可能性 - PC Watch
https://pc.watch.impress.co.jp/docs/news/2006826.html
[단독] 김성훈 경호처 차장 사의 표명… 초유 '연판장 사태' 압박 느낀듯
m.hankookilbo.com/News/Read/A2...
“김 차장은 "이달 내 사퇴하겠다. 남은 기간 직무에 관여하지 않겠다"는 취지로 말한 것으로 전해졌다. 김 차장은 1월 언론 인터뷰에서 경호처를 '사병 집단'으로 표현한 것에 대해서도 "대통령을 위해 희생하는 조직이라는 점을 설명하려던 것"이라며 사과한 것으로 알려졌다.”
[단독] 김성훈 경호처 차장 사의 표명… 초유 '연판장...
로그인한김에 적고 가야지
플라티나랩 프로그래머입니다
뺑이칩니다 열심히 했습니다
플레이해주셔서 감사합니다
밤비 귀엽죠 저도 알아요
De paasdagen komen eraan en sommige scholen starten dit weekend met de meivakantie. We verwachten een extra drukke donderdag- en vrijdagavondspits die vroeg op gang kan komen. Ook in het weekend is er mogelijk meer vakantie- en recreatieverkeer. Lees meer: https://rwsverkeersinfo.nl/nieuws/meer-verkeersdrukte-verwacht-vanwege-pasen-en-start-meivakantie/
이거보고 화들짝놀라서로그인함 아니대체웨 않이
RE: https://hoto.moe/notes/a6lwplz6v2
「AI Coding」という語の商標独占に対する問題提起｜ハヤカワ五味 : 👀
---
https://note.com/hayakawagomi/n/necd75508cd81
よく見たらお前がバイクに乗るのかよ
そんなこと
あるのかな
万が一アドオンが原因でクラッシュした時復帰できないのは困るから…
ディープラーニングの本を2冊持ってるけどまだ片方しか読んでない
Mathematical reasoning & proofs. ~ Alistair Savage. https://alistairsavage.ca/mat1362/notes/MAT1362-Mathematical_reasoning_and_proofs.pdf #Math
ミャクミャク様（たつのすがた）描いた
Side quest sneak peek: a browser extension that visualizes (Service Worker) Cache Storage for web sites.
Decided to build this after seeing how difficult it is too see what's stored in Service Worker cache. They can (accidentally) take up quite a lot of storage space.
Repo: https://github.com/cheeaun/stakataka
Not released yet, under review in Chrome Web Store.
Interesting that Firefox add-on submission requires uploading source code if the code is bundled/minified/etc.
Can't I just point them to the repository URL instead of uploading maybe… a zip file of the git repo? 🤔
いいかんじ
たのしい
메타가 10여년 전 인스타그램과 왓츠앱을 인수해 시장 지배 사업자가 된 것을 놓고, 미국에서 반독점 소송이 시작됐습니다. 메타가 경쟁사를 제거하기 위해 이들 업체를 인수했는지 여부가 재판의 쟁점인데요. 패소할 경우 인스타그램과 왓츠앱을 강제 매각할 수 있다는 전망이 나옵니다.
메타, 반독점 소송 시작…사거나 묻어버렸는지 따진다
로그인한김에 적고 가야지
플라티나랩 프로그래머입니다
뺑이칩니다 열심히 했습니다
플레이해주셔서 감사합니다
밤비 귀엽죠 저도 알아요
미드 쇼츠보다가 깨달았는데, 우리나라는 왜 검찰이 임명직일까? 배경이 뭘까? 🤔
sublimer@あすてろいどん鯖管
MJ+
코미 
の絲針紡🐬🤓 
쯔방 
🦐 
@reiver ⊼ (Charles) 
가배