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

《Git 诞生二十周年》 二十年前的 2005 年 4 月 7 日,Linus Torvalds 向新版本控制系统 Git 首次递交了代码。由于私有工具 BitKeeper 的授权分歧,内核开发者无法再使用 BitKeeper。Torvalds 在 10 天内完成了对 Git 的开发。在首次递交中,他已经编写了足够多的代码使得他能通过 Git 完成代码递交。20 年后,Git 已经无处不在,BitKeeper 则在 2018 年停止了开发。最大的代码托管平台 GitHub 就是基于 Git,为庆祝诞生二十周年,Torvalds 接受了 GitHub 的采访,回顾了过去的二十年。Torvalds 表示,他相信在二十年后自 | solidot.org/story?sid=81007

0
0
0
0
0
0
1
1
0
0

KDDI 「スターリンク」とスマホの間で直接通信サービス開始 | NHK | 通信
http://www3.nhk.or.jp/news/html/20250410/k10014775651000.html

KDDIが衛星通信網「スターリンク」とスマートフォン間の直接通信サービスを開始。山間部や海上でもメッセージや位置情報交流が可能になるぽい。

0
0

@pitrh@mastodon.socialPeter N. M. Hansteen thanks for prepping the undeadly.org OpenSSH 10.0 release announcement!

I rectified the errors with the HTML validator (you had two "blockquote" misspelled as "blockqoute" and a couple of missing "pre" dealios too) and published it.

Also, I noticed that a link was semi broken and fixed it, but the same is true in the https://www.openssh.com/releasenotes.html#10.0p1 release notes. So I am CCing @djm@cybervillains.comDamien Miller for this part:

Basically (sorry I am kind of stripping some of the HTML because snac considers some of the angle brackets escape characters) the submission (and still the release notes) have:

" * sshd(1): support the VersionAddendum in the client, mirroring
the option of the same name in the server; bz2745"

Well, there is no "sshd(1)" man page and looking at the BugZilla issue too, I think that was a change to ssh(1) client, not daemon?

So I changed that to:

" * ssh(1): support the VersionAddendum in the client, mirroring
the option of the same name in the server; bz2745"

And linked to the appropriate man page.
0

さよなら、Google アシスタント。よろしく、Gemini

Image:shutterstockLifehacker2025年3月25日掲載の記事より転載モバイルデバイスにおけるデジタルアシスタントで、多くの人がまず思い浮かべるのはSiriとGoogleアシスタントの2つでしょう。Siriが完全にAppleの存在と結びついているように、私にとってGoogleアシスタントはAndroidの代名詞です(たとえiPhoneでもGoogleアシスタントをダウンロー

Read more →
0
0
0
0

KDDI 「スターリンク」とスマホの間で直接通信サービス開始 | NHK | 通信
http://www3.nhk.or.jp/news/html/20250410/k10014775651000.html

KDDIが衛星通信網「スターリンク」とスマートフォン間の直接通信サービスを開始。山間部や海上でもメッセージや位置情報交流が可能になるぽい。

0
1
0
0

@xiniha 오 어떤게 그렇게 나오는지 궁금합니다! 어찌보면 말씀하신걸 그대로 다른 솔루션으로 만들 수 있다는걸 알아서 더 그렇지 않을까... 라는 생각도 드는군요 :)

@ujuc우죽 일단 쿠버가 가지는 강점은 결국 vendor-neutral한 플랫폼 위에서 다양한 벤더들이 만든 서드파티 소프트웨어를 엮어서 각자가 선호하는 애플리케이션 배포 환경을 구축할 수 있다는 점이라고 보는데요, 물론 앱 걍 띄우면 되지 굳이 커스텀된 배포 환경을 구축할 필요성이 있냐 하는 입장이라면 쿠버가 분명한 오버킬이 되겠지만 😅 개인적으로는 홈서버만 굴리는 상황에서도 도커컴포즈나 systemd를 얼기설기 엮어서 매번 뭔가를 만들기보단 처음에 한번 쿠버로 이것저것 환경 구축해두고 나중에 앱 올릴 때는 Helm 차트 파라미터만 약간 수정해서 올리는 식으로 사용하는 쪽을 선호하게 되더라구요. 해당 장점을 온전하게 대체할 수 있는 메인스트림 플랫폼이 현재로썬 없는 것으로 보이다 보니 자연스레 쿠버네티스를 밀게 되는데, 중장기적으로 WASM 컴포넌트 생태계가 성장하게 되면 wasmCloud 같은 것들이 더 우아한 대체제로 떠오를 가능성도 크다고 생각합니다!

4
5
0
5
0

Hyunjoon Kim shared the below article:

같은 것을 알아내는 방법

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

이 글은 일상적인 질문에서부터 컴퓨터 과학의 핵심 문제에 이르기까지, '같음'이라는 개념이 어떻게 적용되고 해석되는지를 탐구합니다. 특히, 두 프로그램이 '같은지'를 판정하는 문제에 초점을 맞춰, 문법적 비교와 $\beta$ 동등성이라는 두 가지 접근 방식을 소개합니다. 문법적 비교는 단순하지만 제한적이며, $\beta$ 동등성은 프로그램의 실행을 고려하지만, 계산 복잡성으로 인해 적용이 어렵습니다. 이러한 어려움에도 불구하고, 의존 형 이론에서의 형 검사(변환 검사)는 $\beta$ 동등성이 유용하게 활용될 수 있는 중요한 사례임을 설명합니다. 이 글은 '같음'의 개념이 프로그래밍과 타입 이론에서 어떻게 중요한 역할을 하는지, 그리고 이 개념을 올바르게 이해하고 구현하는 것이 왜 중요한지를 강조하며 마무리됩니다.

Read more →
5
2
2
0
1
1
0
1

おたく

周りから推し活だね〜って言われると「あっまぁ…はいそうです!」って答えてはいるんだけど、「推し活」をしている認識はなくてただ面白いものを見て、面白そうなことをやっているんだよ それが周りから観測された時に推し活になるのかもしれないけど…

0
1

광장 유감에 대한 유감
===============

글쓴이가 광장을 다시 보게 된 계기는 광장 기수와 퀴어의 ’반 민주당’ 정서이다. 글쓴이는 광장이, 퀴어가, 진보 시민이 왜 더불어민주당에 대해 비판적인지 알아보려는 시도조차 하지 않았다. 설득조차 하지 않았다. 기수 동지들을 그저 말 안통하는 집단으로 매도하는 것은 광장 시민이 아니라 글쓴이와 이에 동조하는 사람들이다.

광장의 민주주의를, 광장이라는 공론장을 부정한 것은 누구인가? 정당과 특정 개인에 대한 충성심을 보여주는 것이 ‘민주주의‘인가? 그런 것은 윤석열 내란 일당과 함께 떠나보내자고 하지 않았었나?

윤석열을 끌어내리고 내란 세력을 몰아내더라도 ‘사회대개혁’으로 가는 길이 멀고 험난하겠다는 각오는 이미 한 바 있다. 그래도 이렇게 빠르게, 대놓고 할 줄은 몰랐다.

개혁 대상에는 내란 세력만 포함되지 않는다. 당연히 우리 모두가 포함되어 있다. 특정 정당, 특정 개인은 면책받을 수 있는 게 아니다. 그걸 거부하면 결국 개혁 대상이 되는 건 당신들일 것이다.

당신들이, 민주당이, 이재명이 그렇게까지 되지는 않길 바란다.

x.com/perustuslaki/status/1909

0
0
0
0
0
0

本日10日締め切り!】

【【切実です!】】
▶クロストーク|目標100名に対して、参加希望者50名ぐらいです!一人でも多くの人にご参加いただきたいです!!

▶懇親会|25名の参加申し込みですが、懇親会会場は30名の申し込みがないと、懇親会会場貸し切り不可。懇親会中止となります!懇親会もぜひご参加ください!!

4月19日(土)14時開会
にて、現職・元職の国会議員を呼んで「 について考えるクロストーク!」を開催!
を全国開催している 主催。

近づく 。そして、全国各地の裁判所で 合憲判決。「あとは国会で実現だ」と同性婚実現の世論が高まる中、野党政治家へ同性婚実現に向けた政治情勢、同性婚実現への思いを、現職・元職国会議員3氏へ聞きます!

4月19日(土) に、ご参集を!!
懇親会参加者も、まだまだ募集中!
ぜひご参加ください!!

登壇者
さん
さん
さん

参加費1,000円
(17時30分から会場近辺で懇親会開催(申込要))
申込は下のリンクから!
※申込締切4月10日(木)
forms.gle/SddHFH6NygfoKXnn7


0
0
1
0