What is Hackers' Pub?

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.

0
0
0

Staying the Course: Our Continuing Mission

Over the past few weeks, we’ve shared some difficult news, a few of our projects have come to a close after not meeting their funding goals. We know that’s never easy to hear. But we also want to take a moment to share what hasn’t changed – what is continuing, growing, and making a difference every day.

IFTAS is still here. Closing a few projects has allowed us to refocus our funding, and we are fully funded for a year at least. We’re still working, collaborating, researching, advocating, and supporting. The past year has made it clearer than ever that trust and safety infrastructure for the decentralised web isn’t optional – it’s essential.

Here’s what we’re still doing, and why it matters.

📝 Moderator Needs Assessment

Independent moderators are the backbone of the social web, and too often they’re expected to do critical work with little support or recognition. Our Moderator Needs Assessment gathers real data on what moderators need – so that platforms, peers, and funders can respond with resources that actually help. It’s about building a foundation for lasting support, rooted in lived experience. Here’s the latest report.

🌐 CARIAD Domain Observatory

We’re continuing to develop CARIAD, our tool for observing safety signals and behaviours across the federated web. CARIAD offers valuable insight into abuse trends, moderation challenges, and trust indicators – empowering moderators to respond proactively while respecting the values of decentralisation and autonomy. We also still publish our Do-Not-Interact domain denylist, representing domains reviewed and labelled by IFTAS.

🫂 IFTAS Connect

The IFTAS Connect community remains active, supportive, and essential. It’s a place where moderators, admins, researchers, and advocates come together to share advice, resources, and strategies for keeping their communities safe and resilient. Soon, we plan to participate in a co-design effort to create standalone moderation tooling for the Fediverse. Whether you’re new to this work or deeply embedded, Connect is a space for connection and collective problem-solving. Request an account today.

📢 Advocacy and Research

IFTAS continues to represent the interests of decentralised platforms and independent communities in broader discussions about Internet governance, safety regulation, and funding. We provide evidence-informed responses to consultations, highlight the real-world impacts of policy decisions, and advocate for the empowerment, safeguarding, and inclusion of minority and underserved groups. We’re particularly focused on how online harm translates into offline consequences – and how to better bridge that gap in practice and policy.

🛡️ Social Web ISAC (Information Sharing and Analysis Centre)

The Social Web ISAC is still hard at work, supporting secure, coordinated responses to threats across decentralised networks. Whether it’s technical vulnerabilities, emerging abuse patterns, or cross-network incidents, the ISAC provides a space for timely information-sharing and trusted collaboration. Follow the alerts account.

🤝 Collaboration Across the Ecosystem

We’re also continuing to build bridges with developers, researchers, standards organisations, and fellow non-profits working on digital safety. Our work depends on these relationships – on listening to each other, learning from each other, and pushing for collective solutions that scale with care.

We know the landscape isn’t always easy. Funding can be precarious. The problems are complex. But the need for safe, inclusive, and resilient online communities hasn’t gone away, and neither have we.

IFTAS is still here. Still advocating. Still researching. Still showing up for the people doing this work at the ground level. And we’re glad you’re here with us.

Want to get involved or support what we’re doing? Join the community at connect.iftas.org or get in touch – we’d love to hear from you.

0
0
0
0
0
0

@lynnesbianLynnesbian :bune_ylw:

Very much so. Hardware and software.

A company I was a partner in bought a full case (144) bogus ethernet cards. They all had the same MAC address.

Friends startup Manga business got a great deal on Photoshop. It occasionally crashed in weird ways. They called support. Found out it was bogus and had a keylogger. They were able to negotiate their way out of the lawsuit by purchasing retroactive licenses. And testifying against the reseller.

Government entity I worked for bought >$1 million in bs cisco gear. Found out when they tried to register the gear with the TAC -- two weeks after installing it.

Logistics company in town got an "integrator" to build them a VMware virtualization stack and migrate everything over. The version of VMware Tools installed had a coinminer. The license was an educational license.
They decided to fight the lawsuit, ended up settling for an undisclosed amount plus hiring VMware certified partner to rebuild the environment.

0
0
0

Magazine: 1580년대, "창고, 물품, 특히 군용 탄약을 보관하는 장소"는 프랑스 마가쟁 "창고, 창고, 상점"(15C.)에서 유래했다고 합니다. 다양한 주제와, 다양한 난이도의 글들이 누적되는, 글창고가 해커즈펍의 주요 아이덴티티가 되길 응원합니다.

0
0

Transformational technologies like microcomputers and smartphones were so obviously useful that rank and file workers were smuggling them into their workflows despite the best efforts of CEOs to stop them.

The "transformational" technology of LLMs is so obviously anti-useful that CEOs must resort to threats and coercion to get their rank and file workers to go anywhere near them.

0
0
0
0

A friend asked me to look at some of their Typescript code, and at the very top of their application is... this.

global.Promise = /* ... */;

I've ellipsized the right hand side because it's not public. I can say though it's not a polyfill, and it's
also the code is meant to run under nodejs v18+

:neodog_scream_angry:

0

ひとりで過ごすことを『かわいそう』だとする風潮は日本の方がまだ軽いのかもしれないな、と思います。「過去数年にわたって専門家らは「アメリカ人が1人で過ごす時間が増えている」と警鐘を鳴らし」ってすごい。警鐘鳴らしちゃうんだ……。

ひとりで過ごすことを恥とみなす常識が個人の本心を歪めていることもあるのではないかな。誰とどのくらいの頻度でどのような形で繋がっていくのか、自由意志で選べたらいい。ひとりでいるために必要以上に気を張らねばならない状況だってあるだろう。まるで攻撃に備えるように。
gigazine.net/news/20250409-pos

0
0
0
0

@ailrunAilrun (UTC-5/-4) 님의 같은 것을 알아내는 방법 글이 저같은 사람들을 독자로 삼은 글인가 싶습니다. 늘상 만나면 피하는 주제들인데, 비전공자가 보기에도 무리 없는 낱말과 Javascript 예시로 볼 수 있다니, 정말 좋습니다.

같은 것을 알아내는 방법

같은 것과 같지 않은 것 국밥 두 그릇의 가격이 얼마인가? KTX의 속력이 몇 km/h인가? 내일 기온은 몇 도인가? 일상에서 묻는 이런 질문은 항상 같음의 개념을 암시적으로 사용하고 있다. 앞의 예시를 보다 명시적으로 바꾼다면 아래와 같이 (다소 어색하게) 말할 수 있다.국밥 두 그릇의 가격은 몇 원과 같은가?KTX의 속력은 몇 km/h와 같은가?내일 기온은 몇 도와 같은가?<이런 질문들의 추상화인 이론들은 자연스럽게 언제 무엇과 무엇이 같은지에 대해서 답하는 데에 초점을 맞추게 된다. 예를 들면x2+x+1=0x^2 + x + 1 = 0의 실수 해의 갯수는 0과 같다.물 분자 내의 수소-산소 연결 사이의 각도는 104.5도와 같다.합병 정렬의 시간 복잡도는 O(nlog⁡n)O(n\log{n})과 같다.<등이 있다. 이렇게 어떤 두 대상이 같은지에 대해서 이야기를 하다보면 반대로 어떤 두 대상이 같지 않은지에 대해서도 이야기하게 된다. 즉,x+4x + 4를 22로 나눈 나머지는 x+1x + 1을 22로 나눈 나머지와 같지 않다.연결 리스트(Linked List)와 배열(Array)은 같지 않다.함수 λ x→x\lambda\ x \to x와 정수 55는 같지 않다.<같은 것과 판정 문제(Decision Problem) 이제 컴퓨터 과학(Computer Science)과 프로그래밍(Programming)에 있어 자연스러운 의문은 "두 대상이 같은지 아닌지와 같은 답을 주는 알고리즘(Algorithm)이 있나?"일 것이다. 다시 말해서 두 대상 aa와 bb를 입력으로 주었을 때알고리즘이 참 값(True\mathtt{True})을 준다면 aa와 bb가 같고알고리즘이 거짓 값(False\mathtt{False})을 준다면 aa와 bb가 같지 않은<알고리즘이 있는지 물어볼 수 있다. 이런 어떤 명제가 참인지 거짓인지 판정하는 알고리즘의 존재 여부에 대한 질문을 "판정 문제"("Decision Problem")라고 하며, 명제 PP에 대한 판정 문제에서 설명하는 알고리즘이 존재한다면 "PP는 판정 가능하다"("PP is decidable")고 한다. 즉, 앞의 질문은 "임의의 aa와 bb에 대해 aa와 bb가 같은지 판정 가능한가?"라는 질문과 같은 의미라고 할 수 있다. 이 질문에 대한 대답은 당연하게도 어떤 대상을 어떻게 비교하는지에 따라 달라진다. 예를 들어 우리가 32 비트(bit) 정수에 대해서만 이야기하고 있다면 "임의의 32 비트 정수 aa와 bb에 대해 aa와 bb가 각 비트별로 같은지 판정 가능한가?"라는 질문에 대한 답은 "그렇다"이다. 반면 우리가 비슷한 질문을 자연수를 받아 자연수를 내놓는 임의의 함수에 대해 던진다면 답은 "아니다"가 된다.[1] 그렇다면 어떤 대상의 어떤 비교에 대해 판정 문제를 물어보아야할까? 프로그래머(Programmer)로서 명백한 대답은 두 프로그램(Program)이 실행 결과에 있어서 같은지 보는 것일 것이다. 그러나 앞서 자연수를 받아 자연수를 내놓는 함수에 대해 말했던 것과 비슷하게 두 프로그램의 실행 결과를 완벽하게 비교하는 알고리즘은 존재하지않는다. 이는 우리가 두 프로그램의 같음을 판정하고 싶다면 그 같음을 비교하는 방법에 제약을 두어야 함을 말한다. 여기서는 다음의 두 제약을 대표로 설명할 것이다.문법적 비교(Syntactic Comparison)β\beta 동등성 (β\beta Equivalence)<1. 문법적 비교(Syntactic Comparison) 이 방법은 말 그대로 두 프로그램이 문법 수준에서 같은지를 보는 것이다. 예를 들어 다음의 두 JavaScript 프로그램은 문법적으로 같은 프로그램이다.// 1번 프로그램let x = 5;console.log(x);// 2번 프로그램let x = 5;console.log( x );<공백문자의 사용에서 차이가 있으나, 그 외의 문법 요소는 모두 동일함에 유의하자. 반면 다음의 두 JavaScript 프로그램은 동일한 행동을 하지만 문법적으로는 다른 프로그램이다.// 1번 프로그램let x = 5;console.log(x);// 2번 프로그램let x = 3 + 2;console.log(x);<두 프로그램 모두 x에 5라는 값을 할당하고 5를 콘솔에 출력하나, 첫번째 프로그램은 = 5;를, 두번째 프로그램은 = 3 + 2을 사용하여 5를 할당하고 있기 때문에 문법적으로 다르다. 문법적 비교는 이렇게 문법만 보고서 쉽게 판정할 수 있다는 장점이 있으나, 두번째 예시처럼 쉽게 같은 행동을 함을 이해할 수 있는 프로그램에 대해서도 "같지 않음"이라는 결과를 준다는 단점을 가진다. 혹자는<3 + 2같은 계산은 그냥 한 다음에 비교하면 안돼? 컴파일러(Compiler)도 상수 전파(Constant Propagation) 최적화라던지로 3 + 2를 5로 바꾸잖아?<라는 생각을 할 수도 있을 것이다. 이 제안을 반영한 방법이 바로 β\beta 동등성이다.2. β\beta 동등성 바로 앞의 소절에서 단순 계산의 추가에 의해 같음이 같지 않음으로 변하는 것을 보았다. 이런 상황을 피하기 위해서는 같음을 평가할 때 프로그램의 실행을 고려하도록 만들어야 한다. 가장 대표적인, 대부분의 프로그래밍 언어(Programming Language)에 존재하는 프로그램의 실행은 함수 호출이다. 따라서 함수 호출을 고려한 같음의 비교는 f(c)와 함수 f의 몸체 b 안에서 인자 x를 c로 치환한 것을 같다고 취급해야한다. 예를 들어let f = (x) => x + 3;<이 있다면, f(5)와 5 + 3 혹은 8을 같은 프로그램으로 취급해야한다. 이 비교 방법의 큰 문제는 함수가 종료하는지 알지 못한다는 것이다. 두 프로그램 a와 b를 비교하는데, a가 종료하지 않는 함수 l을 호출한다면, 이 알고리즘은 "같음"이나 "같지 않음"이라는 결과를 낼 수조차 없다. 즉, 올바른 판정법이 될 수 없다. 더 심각한 문제는 아직 값을 모르는 변수가 있는 "열린 프로그램"("Open Program")에 대해서도 이런 계산을 고려해야한다는 것이다. 다음의 JavaScript 예시를 보자.let g = (x) => f(x) + 3;let h = (x) => (x + 3) + 3;<g와 h는 같은 프로그램일까? 우리가 g와 h가 같은 프로그램이기를 원한다면 f(x)와 x + 3을 같은 프로그램으로 보아야한다. 대부분의 프로그램은 함수 안에서 쓰여지기 때문에 프로그램의 비교는 거의 항상 g와 h의 몸체와 같은 열린 프로그램들의 비교이다. 따라서 g와 h를 다른 프로그램으로 본다면 계산을 실행하여 두 프로그램을 비교하는 의미가 퇴색되고 만다. 그렇기 때문에 우리는 x와 같이 값이 정해지지 않은 변수가 있을 때에도 f(x)을 호출하여 비교해야만 한다. 이는 우리가 단순히 모든 함수가 종료하는지 여부를 떠나서, 함수의 몸체에 등장하는 모든 부속 프로그램(Sub-program)이 종료하는지 아닌지를 따져야만 한다는 이야기이다. 이런 강한 제약조건으로 인해 β\beta 동등성을 통해서 프로그램 비교의 판정 문제를 해결 가능한 곳은 매우 제한적이지만, β\beta 동등성이 매우 유용한 한가지 경우가 있다. 바로 의존 형이론(Dependent Type Theory)의 형검사(Type Checking)이다.의존 형이론과 형의 같음 의존 형이론은 형(Type)에 임의의 프로그램을 포함할 수 있도록 하는 형이론(Type Theory)의 한 종류이다. 예를 들어 명시적인 길이(n)를 포함한 벡터(Vector) 형을 Vector n Int과 같이 쓸 수 있다. 이 형은 n개의 Int값을 가진 벡터를 표현하는 형이다. 이제 append라는 두 벡터를 하나로 연결하는 함수를 만든다고 해보자. 대략 다음과 같은 형을 쓸 수 있을 것이다.append : Vector n a -> Vector m a -> Vector (n + m) a<즉, append는 길이 n짜리 a 형의 벡터와 길이 m짜리 a 형의 벡터를 합쳐서 길이 n + m짜리 a 형의 벡터를 만드는 함수이다. 이 함수를 사용해서 길이 5의 벡터를 길이 2와 길이 3짜리 벡터 x, y로부터 만들고 싶다고 하자.append x y : Vector (2 + 3) a<안타깝게도 우리는 길이 2 + 3짜리 벡터를 얻었지, 길이 5짜리 벡터를 얻진 못했다. 여기서 앞서의 질문이 다시 돌아온다.<아니, 2 + 3를 5로 계산하면 되잖아?"<그렇다. 이런 의존 형에 β\beta 동등성을 적용하면 우리가 원하는 형을 바로 얻어낼 수 있다. Vector (2 + 3) a과 Vector 5 a는 같은 형이기 때문이다. 더욱이, 의존 형의 경우 종료하지 않는 부속 프로그램이 잘못된 형을 줄 수 있기 때문에 많은 경우 종료하지 않는 부속 프로그램을 어차피 포함하지 않는다. 다시 말해, 앞서 말한 제약 조건 즉 모든 부속 프로그램이 종료해야만 한다는 제약조건은 의존 형의 경우 상대적으로 훨씬 덜 심각한 제약조건이 되는 것이다. 이런 의존 형에 있어서의 β\beta 동등성 검사를 "변환 검사"("Conversion Check")라고 하며, 두 형이 β\beta 동등일 경우 이 두 형이 서로 "변환 가능하다"("Convertible")라고 한다. 이 변환 검사는 의존 형이론 구현에 있어서 가장 핵심인 기능 중 하나이며, 가장 잦은 버그를 부르는 기능 중 하나이기도 하다.마치며 이 글에서는 같음과 같지 않음의 판정 문제에 대해 간략히 설명하고 프로그램의 같음을 판정하는 법에 대해서 단순화하여 다루어보았다. 구체적으로는 문법 기반의 비교와 β\beta 동등성을 통한 비교로 프로그램의 같음을 판정하는 법을 알아보았고, 이 중 β\beta 동등성이 적용되는 가장 중요한 예시인 의존 형이론을 β\beta 동등성을 중점으로 짤막하게 설명하였다. 마지막 문단에서 언급했듯 의존 형이론의 구현에 있어서 β\beta 동등성을 올바르게 구현하는 것은 가장 중요한 작업 중 하나이기에, 최근 연구들은 β\beta 동등성의 구현 자체를 의존 형이론 안에서 함으로서 검증된 β\beta 동등성의 구현을 하기 시작하고 있다. 이 글이 같음과 같지 않음과 판정 문제 그리고 β\beta 동등성에 있어 유용한 설명을 내놓았기를 바라며 이만 줄이도록 하겠다. 두 함수가 같다라고 보는 방법에 따라 다르나, 두 함수가 항상 같은 값을 가진다면 같다고 하자. 이때 함수의 판정 문제는 정지 문제(Halting Problem)와 동일하다. 임의의 튜링 기계(Turing Machine) ff가 입력 nn을 받았을 때 종료하면 g(n)=1g(n) = 1, 아니면 g(n)=0g(n) = 0이라고 하면 이 함수 gg와 상수 함수 c(n)=1c(n) = 1가 같은 함수임을 보이는 것은 ff가 항상 종료한다는 것을 보이는 것과 동등하다. ↩︎

hackers.pub · Hackers' Pub

Link author: Ailrun (UTC-5/-4)@ailrun@hackers.pub

0

되게 극단적인 법안인데, 몬타나 주에서는 트랜스젠더 아동의 부모를 중범죄로 처벌하는 법안이 발의되었습니다. 트랜스젠더 아동에게 맞는 약물을 처방받은 것만으로 부모와 의사를 중범죄로 처벌 수 있다는 내용인데요. 논바이너리 의원의 열띤 연설과 양심을 가진 18명의 공화당 의원들의 반대로 결국 해당 법안은 폐기되었습니다!🏳️‍⚧️ 승리입니다!!! 아래의 타래는 생중계 타래입니다.

RE: https://bsky.app/profile/did:plc:m65ifh7vn5zdgs7izcmht4gy/post/3lmd63hicss24

0
0

米国の電子書籍販売プラットフォームWeightless Booksが、2025/04/02に「生成AIを採用した本を販売しない」というポリシーを発表。生成AIが使用された作品は、該当部の削除や販売中止といった対応を取ると。
Weightless Booksは、ケリー・リンクの夫ギャビン・J・グラントが共同創業したものです。現在はもう一人の創業者マイクル・J・デルーカが単身で運営。
bsky.app/profile/weightlessboo

0
0

任命された担当者たちは実際にある非関税障壁を協議するつもりなんだろうし、それは生産者にとっても切実なことなんだろうと思う。話し合ういいタイミングだよ、実際。車の安全基準が共通化されれば国産車のテストも減る。技適撤廃も、インチフィート表記の持ち込みも来るだろう(後半は要らないけど)。
そんなことで「貿易赤字」は消えないけど、協議の対象と期間が伸びれば状況は変わるだろうね。

nikkei.com/article/DGXZQOGN090

0
0
0
0

任命された担当者たちは実際にある非関税障壁を協議するつもりなんだろうし、それは生産者にとっても切実なことなんだろうと思う。話し合ういいタイミングだよ、実際。車の安全基準が共通化されれば国産車のテストも減る。技適撤廃も、インチフィート表記の持ち込みも来るだろう(後半は要らないけど)。
そんなことで「貿易赤字」は消えないけど、協議の対象と期間が伸びれば状況は変わるだろうね。

nikkei.com/article/DGXZQOGN090

0

구글 제미나이 진짜 쩌는게 노래 흥얼 거리는것도 아니고 대충 비슷한 틀린가사와 곡 분위기랑 여성이 불렀다 정도만 주고 이거임 저거임? 하고 몇번 물어보더니 님 가사 틀리게 생각하고 있는듯 하고 던져준 곡이 맞았음 ㅅㅂ ㅋㅋㅋㅋㅋ

0

판교에 인구수가 지속적으로 유입된 결과, 그 질량이 주변의 중력에 영향을 미칠 정도로 커져서 시공간의 왜곡이 발생해요.

따라서 판교 일대는 곧 시간선이 느려지는 것을 넘어, 중력이 임계점을 넘어서는 경우 블랙홀이 되어 그 안에 있던 직원들이 시간의 정지를 느끼게 될 거에요.

고로 판교에서의 퇴근은 영원히 불가능해질 수도 있다는 예측을 할 수 있어요.

0
0
0
0

구글 제미나이 진짜 쩌는게 노래 흥얼 거리는것도 아니고 대충 비슷한 틀린가사와 곡 분위기랑 여성이 불렀다 정도만 주고 이거임 저거임? 하고 몇번 물어보더니 님 가사 틀리게 생각하고 있는듯 하고 던져준 곡이 맞았음 ㅅㅂ ㅋㅋㅋㅋㅋ

0

판교에 인구수가 지속적으로 유입된 결과, 그 질량이 주변의 중력에 영향을 미칠 정도로 커져서 시공간의 왜곡이 발생해요.

따라서 판교 일대는 곧 시간선이 느려지는 것을 넘어, 중력이 임계점을 넘어서는 경우 블랙홀이 되어 그 안에 있던 직원들이 시간의 정지를 느끼게 될 거에요.

고로 판교에서의 퇴근은 영원히 불가능해질 수도 있다는 예측을 할 수 있어요.

0
0
0
0
0
1

world’s on fire, so/but i spent a couple hours this afternoon futzing with my site’s design: tightening up the header, adjusting some little layout details on posts, and fixing the (frankly broken) animation on the nav. started tinkering with a couple new design ideas, too.

anyway. let a website be a worry stone

0
0
0
0

I am not doing good at time management or indeed any approximation of knowing what day it is, but today was the last day to drop off art for the Somerville Open Studios and I managed to get this done just in time. Despite 1) running out of black thread (howwwww) and 2) goofing up the insignia the first time. Still. She looks good.

I probably did not need to agonize as much as I did over whether it’s the right shade of teal/blue but who am I even if I can’t overthink things.

A messenger bag hanging from a porch railing. It’s giving “medical uniform from Star Trek TNG” except it’s like. A bag.  Got the insignia and the little black waistline angle and everything.
0
0
0
0

Hello! I'm a wildlife photographer in Alberta, Canada. With easy access to Rockies, badlands, rolling foothills, and open skies, nature is my playground. I also travel to other parts of the globe when I can, to capture the beauty of the wider world as well.

DM me about custom prints of any of my images.

Larger portfolio 👉🏻 clickasnap.com/profile/photosb

Macro photo of a yellow and burgundy orchid with ripply side-petals and a smattering of "freckles." A second, softly blurred orchid of the same kind is in the background.A chipmunk sits on a large rock and munches on a dandelion bud.Crescent Falls in Alberta, Canada. Photographer POV: standing on the rocks at the edge of the pool, at the base of one waterfall, which serves as the top of the next cascading fall, which cascades out the bottom left side of the image.Northern lights glow green with a hint of purple, rippling in the sky above Astotin Lake, at Elk Island National Park in Alberta, Canada. The iconic tree-covered island in the middle of the lake is silhouetted in the background on the left, with the aurora on the right.
0
0
0
0
0
0
0
0
0