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
0
0

ところでfedibird.comですが、comドメインなので、アメリカのベリサインがドメインを管理しています。

ベリサインが気に入らなければ、ドメインが剥奪されるかもしれません。

ドメインの登録とネームサーバの運用はアメリカのCloudflareを利用しています。

Cloudflareが気に入らなければ、ドメインやネームサーバをロックされるかもしれません。

画像サーバのキャッシュはcloudflareを利用していますが、これはネームサーバをロックされなければいつでも切り替えられます。

メディアを保存するオブジェクトストレージは、アメリカのWasabiを利用しています。

サーバは日本国内のNTTビルにありますが、Wasabiが気に入らなければサービス停止されるかもしれません。

このあたりまでは、アメリカの影響を受ける可能性があります。

サーバの実行プロセスやデータベースは、日本のカゴヤ・ジャパン株式会社を利用しています。全文検索のサーバは日本のさくらインターネットを利用しています。

同様に事業者が気に入らなければサービス停止されるかもしれません。

ただ、日本企業の日本拠点なので、国内法のもと、日本語で、日本の裁判所で話ができます。

0
0
0
0
0
9
0
0
3
9
0
0
0
0
0
1
0
0

Simon Park shared the below article:

함수형 언어의 평가와 선택

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

이 글은 함수형 언어의 핵심 개념을 람다 대수를 통해 소개하며, 함수형 언어의 평가 방식에 대한 깊이 있는 이해를 제공합니다. 람다 대수의 기본 요소인 변수, 함수, 함수 호출을 설명하고, 값에 의한 호출(CBV)과 이름에 의한 호출(CBN)의 차이점을 명확히 분석합니다. 특히, 폴 블레인 레비의 "값 밀기에 의한 호출(CBPV)"을 소개하며, 이 방식이 CBV와 CBN을 모두 포괄할 수 있는 강력한 도구임을 강조합니다. CBPV가 함수와 함수 호출을 스택 기반으로 어떻게 다르게 해석하는지, 그리고 이를 통해 람다 대수를 기계 수준으로 컴파일할 때 얻을 수 있는 이점을 설명합니다. 항수 분석과 같은 최적화 기법을 CBPV를 통해 어떻게 더 명확하게 표현할 수 있는지 보여주며, GHC 컴파일러의 중간 언어로서 CBPV의 중요성을 부각합니다. 이 글은 함수형 언어의 깊은 이론적 배경과 실제 컴파일러 구현 사이의 연결고리를 탐구하고자 하는 독자에게 유용한 통찰력을 제공합니다.

Read more →
15
3
0

WSJ, 일론 머스크의 자녀는 알려진 것보다 더 많을 수 있다고 보도 일론 머스크가 혼외 자녀들을 관리하는 담당자를 두고 있으며, 양육비 지급을 이유로 자녀를 둔 여성들에게 비밀 유지 계약을 강요했다는 사실이 우익 인플루언서 세인트 클레어에 의해 폭로됨. (세인트 클레어는 최근 머스크의 자녀를 출산한 것으로 알려져 있음) 세인트 클레어가 임신하는 동안 머스크는 더 많은 아이를 더 빨리 낳기 위해 다른 여성들을 데려올 것을 제안하기도 했으며 소셜 미디어를 통해 자신의 아이를 임신해 줄 여성들을 모집하기도 했다고... 🧵

The Tactics Elon Musk Uses to ...

0
0
0
0
0
0
0
0
0

도막도 shared the below article:

함수형 언어의 평가와 선택

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

이 글은 함수형 언어의 핵심 개념을 람다 대수를 통해 소개하며, 함수형 언어의 평가 방식에 대한 깊이 있는 이해를 제공합니다. 람다 대수의 기본 요소인 변수, 함수, 함수 호출을 설명하고, 값에 의한 호출(CBV)과 이름에 의한 호출(CBN)의 차이점을 명확히 분석합니다. 특히, 폴 블레인 레비의 "값 밀기에 의한 호출(CBPV)"을 소개하며, 이 방식이 CBV와 CBN을 모두 포괄할 수 있는 강력한 도구임을 강조합니다. CBPV가 함수와 함수 호출을 스택 기반으로 어떻게 다르게 해석하는지, 그리고 이를 통해 람다 대수를 기계 수준으로 컴파일할 때 얻을 수 있는 이점을 설명합니다. 항수 분석과 같은 최적화 기법을 CBPV를 통해 어떻게 더 명확하게 표현할 수 있는지 보여주며, GHC 컴파일러의 중간 언어로서 CBPV의 중요성을 부각합니다. 이 글은 함수형 언어의 깊은 이론적 배경과 실제 컴파일러 구현 사이의 연결고리를 탐구하고자 하는 독자에게 유용한 통찰력을 제공합니다.

Read more →
15
3
0
0
0
0
0

* 여성으로만 이루어진 우주비행 프로그램도 의미있지만, 언급되는 비판자들 역시 여성인 점에 유념 * ... 지난 3일 "지금 세상에는 달걀 한 알을 살 수 없는 사람도 많은데 우주로 가는 데는 너무 많은 돈이 든다"며 "우주에서 대체 뭘 할거냐"고 따져 물었다. www.yna.co.kr/view/AKR2025...

10억달러짜리 결혼선물?…여성만 탑승한 블루오리진 '뒷...

0
0
0

우분투 한국 커뮤 메일링 리스트에 스팸이 하루에
원래 10개정도 왔는데 요즘 50개 오네?
...갑자기 유명해졌나?
운영자 분들 열심히 활동하시나 보다. ㅋㅋㅋ

0
0
0
0
0
0
0
0

박씨 측 김태연 변호사는 취재진에게 "경찰이 (박씨를) 전혀 피해자라고 생각하지 않는 것으로 보였고 피해자 보호 의사도 없는 것 같았다"며 "검찰의 보완 수사 지시 내용에 대해서도 전혀 정보를 주지 않아 공정한 수사가 맞는지 의심할 수밖에 없다"고 주장했다. www.yna.co.kr/view/AKR2025...

경찰 출석 쯔양, 돌연 조사 거부…"피해자 보호 의지 ...

0
2

"기쁘다 탄핵 오셨네" 현수막 내 건 식당... 보수 커뮤니티 '별점 테러' 입력 2025.04.13 15:20 수정 2025.04.13 16:42 프랜차이즈 족발집 '尹 탄핵 현수막' 논란 尹 지지자들 온라인 좌표 찍기 "본사 신고" 최근 尹 파면에 "국민 여러분 감사" 치킨집도 www.hankookilbo.com/News/Read/A2...

"기쁘다 탄핵 오셨네" 현수막 내 건 식당... 보수 ...

0
2

@thx@mustard.blog상어학땡스 :spinny_cat_gay: 일정에 따라 다른데 산노미야에서 JR 급행 타이밍 잘 맞으면 2x분에 오사카 우메다를 찍을 수 있습니다. 우메다 근처에 뭐가 많긴 한데 도심지를 헤메이는게 싫으시면 추천드리지 않습니다.
고베는 무역항이라 해산물은 크게 의미가 없습니다. 해산물이 핵심이시면 조금 무리를 해서 오사카 난바에서 카니도라쿠(?)나 아카시(이와지에 들려서 아카시 대교 전망대보고)쪽으로 빠지셔서 아카시 성을 보고 근처 상점가에서 드시는 걸 추천드립니다.(어르신들 기억에 남을듯)
아니면 효고현립미술관의 전시나 이진칸쪽 전시회둘러보시고 커피나 차 찬찬히 하고 여유롭게 여행 즐기시는 것도 좋습니다.(고베가 대략 그런 분위기)

0
0
1