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.
“대선 국면서 ‘여성’ 지워지면 안 돼”…기본소득당, 성평등 과제 발표
입력2025.05.08. 오후 4:22
생활동반자법·친밀관계폭력방지법·혐오표현대응법 등 제안
용혜인 “윤석열 정부가 무너뜨린 성평등 가치 복구할 것” www.womennews.co.kr/news/article...
“대선 국면서 ‘여성’ 지워지면 안 돼”…기본소득당, ...
김문수, 심상정에 손짓했다가 바로 퇴짜…“함부로 이름 언급 유감”
수정2025.05.08. 오후 4:54
민주노동당, 8일 입장문 내고 항의 www.hani.co.kr/arti/politic...
김문수, 심상정에 손짓했다가 바로 퇴짜…“함부로 이름 ...
진보당 김재연, 전농과 정책협약 “내란농정 끝내고 농민헌법 실현”
농업대개혁·식량주권 7대 과제 추진 합의
발행 2025-05-08 14:12:01
www.vop.co.kr/A00001670521...
진보당 김재연, 전농과 정책협약 “내란농정 끝내고 농민...
きのこですか？ たけのこですか？
RE: https://misskey.io/notes/a7io58dtcxej0bni
myaght
ioはいいやつがいいので争いと混沌を持ち込みたい
Today is the first day of #WimbledonArtFair - putting finishing touches on the 
@forgeandcraft studio this morning and then showing plotters and talking generative algorithmic art this afternoon and evening.
@bri_seven fucking int to int
Mycoria is an open and secure overlay network that connects all participants
Link: https://mycoria.org/
Discussion: https://news.ycombinator.com/item?id=43923372
그리고 이제 곧 죄수복 입은 내란수괴의 모습을 볼 수 있다면 좋겠다...
[속보] 윤석열 드디어 포토라인 선다…법원, 지하 출입 불허 - 한겨레
www.hani.co.kr/arti/society...
[속보] 윤석열 드디어 포토라인 선다…법원, 지하 출입...
EU prepares to give new rights to live #streaming sites, to the detriment of the Internet and its users - https://walledculture.org/eu-prepares-to-give-new-rights-to-live-streaming-sites-to-the-detriment-of-the-internet-and-its-users/ efforts to turn the #copyright ratchet once more have begun
EU prepares to give new rights to live streaming sites, to the detriment of the Internet and its users
<p>At the heart of Walled Culture the book (free digital versions available) lies the dispiriting saga of how the EU Copyright Directive came into being. It began in early 2013 with the usual “stakeholder dialogue”, in which the European Commission sought the views of the various constituencies affected. It generated an unprecedentedly large response that …</p>
walledculture.org
Link author: 
Walled Culture@walledculture.org@walledculture.org
하 ...... 또 우유 2개를 산다는게 2개씩 2개를 사고말았어 .........
Meanwhile in Switzerland: after US embassy demanded to know if the bakery that supplies them with baked goods is not too WOKE and send them a questionaire, the bakers responded with sending US embassy a questionaire asking if they are willing to respect human rights, otherwise they might bake their right-wing croissaints themselves. 🙂
진보당 김재연, 전농과 정책협약 “내란농정 끝내고 농민헌법 실현”
농업대개혁·식량주권 7대 과제 추진 합의
발행 2025-05-08 14:12:01
www.vop.co.kr/A00001670521...
진보당 김재연, 전농과 정책협약 “내란농정 끝내고 농민...
前職でPolycomだったかで固定端末間でやっとテレビ会議ができるようになった頃にもっと素早くリモートでサポートできるようにSkypeの端末を置いておいたりしてたんだよね
BREAKING NEWS: India says more than 100 "terrorists" were killed in Wednesday's strikes on Pakistan
지난 4월 30일(현지 시간), NSPCA는 국영 기업 데이브레이크 푸드(Daybreak Foods)의 한 계약 농장에서 약 20만 마리의 닭이 사료를 제공받지 못한 채 방치돼 있다가 서로를 잡아먹는 동족 포식(cannibalism) 상황이 벌어졌다는 제보를 받고 현장 조사에 나섰다.
www.newspenguin.com/news/curatio...
굶주림 내몰린 100만마리 닭...지옥 같았던 유혈 참...
I've got a Polish friend who's a sound engineer.
And a Czech one too...
A Czech one too...
A Czech one too...
코미디쇼 ‘에스엔엘’(SNL)에 이준석 개혁신당 대통령 후보가 출연해 남녀공학 전환 논의와 학교의 비민주적 운영 방식에 항의하며 학내에서 시위한 동덕여대 학생들을 웃음 소재로 삼은 데 대해 부적절하다는 비판이 나온다.
수정 2025-05-07 10:27
www.hani.co.kr/arti/society...
선 넘는 SNL…이준석에 “동덕여대 학생들과 학식 VS...
Today I learnt that you can become the US's surgeon general without being a licensed doctor. I'm inspired.
https://www.thedailybeast.com/trumps-new-surgeon-general-is-one-half-of-rfk-jrs-favorite-influencer-duo/
Removal of Deepin Desktop from openSUSE due to Packaging Policy Violation
https://security.opensuse.org/2025/05/07/deepin-desktop-removal.html
#我在看什么
读完这篇 openSUSE 为什么决定移除 Deepin Desktop 的博文，真大为震惊。
国内最有名，颇受好评的 Deepin Desktop 安全水准竟然这么差。
从2017年至今 D-BUS service 不断的有安全问题，还偷偷搞小动作私自安装被 openSUSE 安全团队拒绝的 D-Bus service、Polkit policies。
当然最让我惊讶的是，博文的最后竟然还为不在乎系统安全，看了上述博文仍想安装 Deepin Desktop 的用户留下了安装 Deepin Desktop 的方法。
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
If you want to see some more thoughts on this, some are in this talk I gave https://www.youtube.com/watch?v=jI8gA68OXLM
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、ユーザー登録を承認制にすることで話がついたんだね。
サーバ内アナウンスしかないので、参照できるよう記録しておきます。
GENKI
