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.
Just for clarity: I am optimistic about AI, but AI is a wider field. I am not optimistic about this particular wave of AI being squeezed, unexamined, past its useful limits.
You need other tools as part of the toolkit in order for everything to not be fucked
我覺得告知客戶服務條款有異動，就應該要標示清楚，不然根本沒有盡到告知義務
あの大統領はこの国を世界一から引きずり下ろすのに一所懸命に見えるんだけど本人は気づいてないんだろうなあw
법원이 오는 12일 열리는 윤석열 전 대통령의 내란 혐의 형사재판 세 번째 공판 때는 윤 전 대통령이 지상출입구로 법정에 들어오도록 할 계획입니다. 앞선 공판 기일들에서는 윤 전 대통령에게 지하주차장을 통한 진출입을 허용해 특혜 논란이 불거진 바 있습니다.
[속보] 법원, 윤석열 12일 재판부터 ‘지하주차장 진...
'뇌물 구속 무죄' 김학의 전 차관에 1억3천만원 형사보상
2025. 5. 8. 07:14
'별장 성접대' 의혹으로 재수사 끝 구속…대법서 무죄 확정 v.daum.net/v/2025050807...
'뇌물 구속 무죄' 김학의 전 차관에 1억3천만원 형사...
김문수, 심상정에 손짓했다가 바로 퇴짜…“함부로 이름 언급 유감”
수정2025.05.08. 오후 4:54
민주노동당, 8일 입장문 내고 항의 www.hani.co.kr/arti/politic...
김문수, 심상정에 손짓했다가 바로 퇴짜…“함부로 이름 ...
ブログ書いた。
Firefox 138 に新しいコントラスト設定が追加 https://blog.w0s.jp/entry/737
Ailrun (UTC-5/-4) @ailrun@hackers.pub
이 글은 어떤 문장이 "논리적"이라고 할 수 있는지에 대한 심도 있는 탐구를 시작합니다. 일상적인 오용을 지적하며, 진정으로 논리적인 주장은 증명 가능성과 체계의 무모순성이라는 두 가지 핵심 조건을 충족해야 한다고 주장합니다. 특히, "좋은 가정 아래" 논리성을 증명하는 두 가지 방법, 즉 함수형 언어와 유사한 구조를 가진 자연 연역과, 약간의 "부정행위"를 통해 무모순성을 쉽게 보일 수 있는 논건 대수를 소개합니다. 글에서는 명제와 판단의 개념을 명확히 정의하고, 자연 연역을 통해 논리적 증명을 구축하는 방법을 상세히 설명합니다. 특히, 자연 연역과 함수형 언어 간의 놀라운 유사성, 즉 커리-하워드 대응을 통해 논리적 사고와 프로그래밍 언어 이해 사이의 연결고리를 제시합니다. 또한, 자연 연역의 한계를 극복하고 무모순성을 보다 쉽게 증명할 수 있는 논건 대수를 소개하며, 자연 연역과의 구조적 차이점을 강조합니다. 이 글은 논리적 사고의 깊이를 더하고, 프로그래밍 언어와 논리 간의 관계에 대한 흥미로운 통찰을 제공합니다. 특히, 커리-하워드 대응을 통해 논리와 프로그래밍이 어떻게 연결되는지 이해하고 싶은 독자에게 유익할 것입니다.
Read more →집이다... 깔끔하게 한 방에 실격당했음 뭘로? 신호위반으로... 아니 그치만 저기요 제가 앉은 키가 크긴 한데 그래도 신호등 보려면 숙여야 하는 건 좀 너무하지 않습니까 그리고 옆에서 이상한 지시 해가지고 가도 되는 줄 알았잖아요 이게 뭐람
ブログ書いた。
Firefox 138 に新しいコントラスト設定が追加 https://blog.w0s.jp/entry/737
세월호는 왜 전복됐나, 10년 만의 매듭 하나
10년7개월 만에 목포지방해양안전심판원(목포해심)에서 세월호 전복 이유를 결론 내렸다. 배를 기울게 한 건 부품 고장이지만, 배를 끝내 가라앉힌 건 세월호가 지키지 않은 규정들이었다.
입력 2025.05.07 07:29
www.sisain.co.kr/news/article...
세월호는 왜 전복됐나, 10년 만의 매듭 하나
함수형 프로그래밍과 객체지향 프로그래밍은 상호 배제적인 패러다임이 아니다.
기후정책이 이번 조기 대선에서 중요한 까닭
조기 대선이 시작되면서 기후환경 단체들이 정책 제안을 발표하고 나섰다. 윤석열 시대의 역주행을 되돌리고, 기후 의제를 수면 위로 끌어올리려는 노력이다. 기후경제부 신설 등이 눈에 띈다.
입력 2025.05.07 07:29
www.sisain.co.kr/news/article...
기후정책이 이번 조기 대선에서 중요한 까닭
あっちのみずは にがいぞ
雖然可愛即正義，但是你這樣跳到窗台上也是不允許的你知道嗎？！
意気込み
意気別
剛出境後等女兒上廁所，有一對台灣人情侶也在廁所門口等人，男方突然開始在空氣投籃，女方：你再空氣投籃試試看！
有夠兇 🤣
Ailrun (UTC-5/-4) @ailrun@hackers.pub
이 글은 "논리적"이 되는 두 번째 방법인 논건 대수를 재조명하며, 특히 컴퓨터 공학적 해석에 초점을 맞춥니다. 기존 논건 대수의 한계를 극복하기 위해, 컷 규칙을 적극 활용하는 반(半)공리적 논건 대수(SAX)를 소개합니다. SAX는 추론 규칙의 절반을 공리로 대체하여, 메모리 주소와 접근자를 활용한 저수준 자료 표현과의 커리-하워드 대응을 가능하게 합니다. 글에서는 랜드(∧)와 로어(∨)를 "양의 방법", 임플리케이션(→)을 "음의 방법"으로 구분하고, 각 논리 연산에 대한 메모리 구조와 연산 방식을 상세히 설명합니다. 특히, init 규칙은 메모리 복사, cut 규칙은 메모리 할당과 초기화에 대응됨을 보여줍니다. 이러한 SAX의 컴퓨터 공학적 해석은 함수형 언어의 저수준 컴파일에 응용될 수 있으며, 논리와 컴퓨터 공학의 연결고리를 더욱 강화합니다. 프랭크 페닝 교수의 연구를 바탕으로 한 SAX는 현재도 활발히 연구 중인 체계로, ML 계열 언어 컴파일러 개발에도 기여할 수 있을 것으로 기대됩니다.
Read more →문제에서 복잡한 부분을 잘 발견하는 건지, 그냥 문제를 복잡하게 만드는 것을 잘 하는 건지 헷갈린다. 둘을 유의미하게 구별하고 싶은데.
“대선 국면서 ‘여성’ 지워지면 안 돼”…기본소득당, 성평등 과제 발표
입력2025.05.08. 오후 4:22
생활동반자법·친밀관계폭력방지법·혐오표현대응법 등 제안
용혜인 “윤석열 정부가 무너뜨린 성평등 가치 복구할 것” www.womennews.co.kr/news/article...
“대선 국면서 ‘여성’ 지워지면 안 돼”…기본소득당, ...
마호쇼죠니나리타이
why isnt there a record player that can flip over the record and also doesnt cost anything
내일 2주마다 마법소녀력 충전하는 날입니다
mstdn.jp、ユーザー登録を承認制にすることで話がついたんだね。
サーバ内アナウンスしかないので、参照できるよう記録しておきます。
[1보] 법원, 다음 주 尹 재판 '지상 출입구로 출입' 결정
송고2025-05-08 16:50
www.yna.co.kr/view/AKR2025...
[1보] 법원, 다음 주 尹 재판 '지상 출입구로 출입...
@echir I don't remember having it, only have the usual coverage after purchase, and it expired. Bought this phone in 2021.
MBC: 나는 이 게임을 해 본 적이 있어요! > 자유게시판 | 다모앙
https://damoang.net/free/3791113
ㅋㅋㅋㅋ
김문수, 국힘 지도부 전대 소집에 '후보 지위 확인' 가처분신청
송고2025-05-08 16:06
"당무우선권 제가 갖고 있는데 지도부가 후보 교체 절차 진행"
"한덕수와 단일화하라고 날 압박…당경선 들러리 된 것에 문제 제기"
www.yna.co.kr/view/AKR2025...
김문수, 국힘 지도부 전대 소집에 '후보 지위 확인' ...
폰 옮겼다.. 뭐 빠뜨린거는 없으려나
애효 수업 끝나면 인공눈물부터 사야지...
국내 3대 멀티플레스 가운데 2·3위 업체인 롯데시네마와 메가박스를 운영하는 롯데컬처웍스와 메가박스중앙이 합병합니다.
롯데시네마와 메가박스 합친다…영화관 업계 구조조정 신호...
💸 Germany sends €204.5M to Microsoft annually while European open-source projects need investment.
Our Account Manager's analysis shows how redirecting these funds could:
✔️End vendor lock-in cycles
✔️Strengthen data sovereignty
✔️Create local tech jobs
✔️Support FLOSS innovation
XWiki, CryptPad and other open-source solutions prove alternatives exist, they just need proper funding.
Read the full analysis here: https://xwiki.com/en/Blog/why-governments-should-invest-in-open-source/
こういうの、 #Mastodon 
みたいにドメインによる認証すれば済む話なんじゃないのかと思ったけど、紛らわしいドメインでのニセサイトとかをあらかじめ用意すれば偽装はできなくもないか…？
まあでもそれらしい一意のドメインを取得して、それらしいちゃんとしたサイトをそこに用意する、というほうが SNS にアカウント作るよりはハードルは高そうだし、やはり一定の効果はありそうだけどな。
まあ #X とかはそういう認証機能も自社でもつことで運営の権威化をしたりブルーチェックをアカウントにお金で売りつける、みたいなことをしたいのだろうから のようなやり方はしないだろうけど
https://www.factcheckcenter.jp/fact-check/lifestyle/baseless-arashi-tour-fake-accounts/
김문수, 국힘 지도부 전대 소집에 '후보 지위 확인' 가처분신청
송고2025-05-08 16:06
"당무우선권 제가 갖고 있는데 지도부가 후보 교체 절차 진행"
"한덕수와 단일화하라고 날 압박…당경선 들러리 된 것에 문제 제기"
www.yna.co.kr/view/AKR2025...
김문수, 국힘 지도부 전대 소집에 '후보 지위 확인' ...
久しぶりにNOVAらしいNOVAを見ている。たのしいなあ!!
Ultimate Crash Test: Countdown | NOVA | PBS
https://www.pbs.org/wgbh/nova/video/ultimate-crash-test-countdown/
Good Copy Bad Copy is a documentary about copyright and culture in the context of Internet, peer-to-peer file sharing and other technological advances, directed by Andreas Johnsen, Ralf Christensen, and Henrik Moltke.
It features interviews with many people with various perspectives on copyright, including copyright lawyers, producers, artists and filesharing service providers.
A central point of the documentary is the thesis that "creativity itself is on the line" and that a balance needs to be struck, or that there is a conflict, between protecting the right of those who own intellectual property and the rights of future generations to create.
#Copyright #Film #Activism #Internet #P2P
https://soulvlog.blogspot.com/2025/05/good-copy-bad-copy.html
i should get a torrenter thing
FedifyにRFC 9421を実装した後、昨晩からhttpsig.orgで生成（署名）したテストベクターとの照合を試みていたが、どう見てもテストに成功せず、一日を無駄にした末に、httpsig.orgで生成したテストベクターがhttpsig.orgでも検証に失敗するという事実を悟ってしまった。
국내 3대 멀티플레스 가운데 2·3위 업체인 롯데시네마와 메가박스를 운영하는 롯데컬처웍스와 메가박스중앙이 합병합니다.
롯데시네마와 메가박스 합친다…영화관 업계 구조조정 신호...
국산 코드에서 gubun 같은 식별자를 볼 때, 우리는 그게 왜 type 내지는 discriminator가 아닌지 물을 것이 아니라, 어째서 구분이 될 수 없는지를 물어야 한다.
RFC: the “function” keyword in all future programming languages should be “fukn”
𝗡𝗲𝘄 𝗽𝗮𝗽𝗲𝗿 𝗼𝗻 𝗖𝗼𝗿𝗽𝗼𝗿𝗮𝘁𝗲 𝗠𝗮𝗽𝗽𝗶𝗻𝗴 𝗶𝗻 𝗢𝗽𝗲𝗻𝗦𝘁𝗿𝗲𝗲𝘁𝗠𝗮𝗽
Many companies have been editing OSM, including giants such as Apple, Microsoft, Meta, and Amazon. Corporate contributors can map on a global scale and add large amounts of data in a short time.
This new study explores the impact of corporate mapping and highlights the need for transparency:
💡 Study highlights: https://heigit.org/new-paper-corporate-mapping-in-openstreetmap-shifting-trends-in-global-evolution-and-small-scale-effects/
📑 Full paper: https://doi.org/10.1080/10095020.2025.2493076
Beautiful illustration inspiration, for all my bird and nature lover friends.
Meet Aled Thompson, a Welsh illustrator and concept artist
Instagram: https://www.instagram.com/aled.thompson/
Tumblr: https://alt-illustrations.tumblr.com/
GENKI
요즈미나 
쯔방 
minor! 
ここあにゃん 
Perlmint
