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

Misskey v2025.4.0が公開されました​:ameowuniquedance:

ハイライト
- 刷新された設定管理システム
- 自動バックアップやデバイス間同期が含まれます。これで設定が吹き飛ぶことが無くなりました
- 設定画面も整理されて分かりやすくなりました
- 強化されたデッキUI
- 強化されたプラグイン管理システム
- プラグインのホットリロードが可能に
- 新しいダイレクトメッセージ機能
- 複数人でのやり取りがより便利に
- 画面を重ねて表示可能に
- 現在のページの状態を失うことなく別のページを開くことができます
- 設定 → その他 → 実験的機能 → Enable stacking router view
- クライアントのパフォーマンス向上
- 全体的なレンダリングが効率化しています
- 新しく追加されたオプションを有効にしてバッテリー消費をさらに抑えることも可能です

他にも様々な改良・修正が含まれています。詳細は
リリースノートをご確認ください​:ai_blink_nod:

リリースにあたってご協力いただいた皆様に感謝申し上げます。
いつもありがとうございます
:arigunyatogonyainyasu:​​:arigunyatogonyainyasu:​​:arigunyatogonyainyasu:

また、これからも開発が続けられるようぜひ
プロジェクトへの支援をお願いいたします​:blob_bongo_cat_keyboard:

0
0
0
0
0
0

인도 수리 문화와 '프랑켄슈타인' 노트북의 등장
------------------------------

- 델리의 Nehru Place에 위치한 수리점에서 *오래된 노트북의 부품을 모아 작동 가능한 기기로 재조립* 하는 기술자들이 있음
- 메인보드, 스크린, 배터리 등 폐기된 노트북의 부품을 재사용하여 저렴한 하이브리드 노트북을 제작함
- 최신 모델이 아닌 '작동하는' 저렴한 기기를 원하는 수요가 많아짐
- 이…
------------------------------
https://news.hada.io/topic?id=20228&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
0

2022년 지방선거에 당선된 국민의힘 소속 광역단체장은 12명입니다. 이 가운데 대선 출마를 선언했거나 출마를 저울질하는 이는 최소 7명입니다. 국민의힘 소속 대통령이 파면된 상황에서 ‘지지율 0%’대 단체장까지 시정·도정을 떠넘기고 대선판을 넘보는 것에 곱지 않은 시선이 쏠립니다.

국힘 단체장 12명 중 7명 대선 들썩…지지율 0% ‘...

0
0
0
0

Mastodonのセキュリティインシデントを発見した場合、報告すべき窓口はこちらです。
github.com/mastodon/mastodon/s

Misskeyのセキュリティインシデントを発見した場合、報告すべき窓口はこちらです。
github.com/misskey-dev/misskey

それぞれ説明とあわせて、報告フォームへのリンクがありますので、そちらでご報告ください。

なお、MastodonもMisskeyも、サーバの設置者がソフトウェアに改造を加えている場合があります。

あるいは、別の名前がついて広く配布されているフォークを利用している場合もあります。

問題・原因が本家にあるのか、フォークやサーバ毎の改造にあるのか、通常は利用者にはわかりません。

どこに報告したら良いでしょうか?

判断がつかない場合は、サーバの管理者に報告するのが良いと思います。

サーバの管理者としては、利用者に対し報告窓口をあらかじめ案内しておくことが重要になります。

Fedibirdについては、何らかの方法で私に伝えていただければOKです。ミンナニナイショダヨ

実は、先日Pixelfedにも特大のヤツが発生しています。PeerTubeも何かあったようで、各サーバが最新版を適用するのを待っているところです。

こういうことは日々発生していますので、問題の有無もさることながら、その対応状況をみて評価してください。

各サーバ毎に事情は異なりますが、まったく更新されている様子のないサーバは切り離しやむなし、ということもありますので、

自分で設置している人はマメに更新チェックをお願いします。

人のサーバに間借りしている場合は、メンテナンス状況をチェック、といったところです。

とりあえずバージョンで見るのが簡単ではありますが、バージョン番号を変えずに対策されている場合もありますので、管理者の報告などを参照してください。

0

게임 프로그래밍에서 AI에 대한 John Carmack의 견해
------------------------------
- Microsoft가 AI로 생성된 Quake II 데모를 공개한 것에 대한 비판(개발자의 가치를 훼손한다는 주장)에 대한 반론
- Doom/Quake의 개발자 존 카맥은 AI가 개발자, 아티스트, 디자이너의 기술을 폄하한다는 주장을 이해하며 이에 대한 본인의 생각을 정리

# 기술의 진보는 불가피한 변화임

- 과거에는 …
------------------------------
https://news.hada.io/topic?id=20223&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0

침대에서 코딩하다가 잠들었더니 작업하던 내용이 그대로 꿈에 나왔어 ㅋㅋㅋㅋ 꿈 속에서 열심히 문제 찾고 고치고 테스트 시나리오 짜고 다 했는데 일어나니까 머리만 아프고 문제는 그대로 남아 있음…

0
0
0

It's impossible to develop a production line in four years in USA that doesn't make displays, batteries or semiconductors yet. And the labour costs are too high. They might even resort to child labour or slave hunting, but even if they did, it wouldn't be worth the cost.
Once Trump leaves, the tariffs will disappear, so it's obviously better to import via a country or region with low tariffs (penguin island!) until then.

0
0
0

2022년 지방선거에 당선된 국민의힘 소속 광역단체장은 12명입니다. 이 가운데 대선 출마를 선언했거나 출마를 저울질하는 이는 최소 7명입니다. 국민의힘 소속 대통령이 파면된 상황에서 ‘지지율 0%’대 단체장까지 시정·도정을 떠넘기고 대선판을 넘보는 것에 곱지 않은 시선이 쏠립니다.

국힘 단체장 12명 중 7명 대선 들썩…지지율 0% ‘...

0
0
0
0

リモートワークを必要としている障害者たちがいくらそれを求めても実現しなかったのに、コロナ禍が始まったらあっという間にリモートワークが一気に増え、コロナ禍が終わったことになったらどんどん減少。健常者中心、元気のあるひと中心の社会。

0
0
0

有名人だから最初に報道することは仕方ないけど、状況がわかってきたなら、こういう報道は止めるべきじゃないかな

広末涼子容疑者 取り調べで興奮し 会話成り立たない様子も 病院で看護師にけがさせた疑いで逮捕 | NHK | 静岡県: www3.nhk.or.jp/news/html/20250

0

リモートワークを必要としている障害者たちがいくらそれを求めても実現しなかったのに、コロナ禍が始まったらあっという間にリモートワークが一気に増え、コロナ禍が終わったことになったらどんどん減少。健常者中心、元気のあるひと中心の社会。

0
0
0
0
0

최치선 shared the below article:

같은 것을 알아내는 방법

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

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

Read more →
5
2
2
0

Fediverseのソフトウェアにも時々、欠陥が見つかることがあります。

通常の不具合は、つながらなくなったり、一部の機能が使えなくなる程度で済みますので、状況を知らせて速やかに修正適用という対応で済みますが、

意図されていない結果が生じたり、許可されていない操作が実行できてしまったり、見えてはいけない情報の閲覧を許すものなど『セキュリティインシデント』については、

問題発生時点で情報を公開・共有すると、対応前に欠陥を利用して悪用する者が現れ、被害が拡大します。

ついては、

・公開の場で問題を報告してはいけない

→ 必ず専用の窓口へ報告して、口外しないこと

・開発者は直ちに問題を修正し、アップデートを公開する

→ セキュリティアップデートであることを明示するが、公開時点では具体的な内容を説明できない

・サーバ設置者は、セキュリティアップデートを遅滞なく適用する

→ ある程度アップデート適用が行き渡るのを待って問題が公表されるが、公表時点でアップデート未適用のサーバは直ちに危険にさらされる

という対応が必要になります。

サーバの利用者も、サーバ管理者も、開発者も、どのように行動すべきか共有されていないと、対応を誤ったことにより取り返しが付かなくなるので、よく覚えておいてください。

Mastodonのセキュリティインシデントを発見した場合、報告すべき窓口はこちらです。
github.com/mastodon/mastodon/s

Misskeyのセキュリティインシデントを発見した場合、報告すべき窓口はこちらです。
github.com/misskey-dev/misskey

それぞれ説明とあわせて、報告フォームへのリンクがありますので、そちらでご報告ください。

なお、MastodonもMisskeyも、サーバの設置者がソフトウェアに改造を加えている場合があります。

あるいは、別の名前がついて広く配布されているフォークを利用している場合もあります。

問題・原因が本家にあるのか、フォークやサーバ毎の改造にあるのか、通常は利用者にはわかりません。

どこに報告したら良いでしょうか?

判断がつかない場合は、サーバの管理者に報告するのが良いと思います。

サーバの管理者としては、利用者に対し報告窓口をあらかじめ案内しておくことが重要になります。

Fedibirdについては、何らかの方法で私に伝えていただければOKです。ミンナニナイショダヨ

0

Fediverseのソフトウェアにも時々、欠陥が見つかることがあります。

通常の不具合は、つながらなくなったり、一部の機能が使えなくなる程度で済みますので、状況を知らせて速やかに修正適用という対応で済みますが、

意図されていない結果が生じたり、許可されていない操作が実行できてしまったり、見えてはいけない情報の閲覧を許すものなど『セキュリティインシデント』については、

問題発生時点で情報を公開・共有すると、対応前に欠陥を利用して悪用する者が現れ、被害が拡大します。

ついては、

・公開の場で問題を報告してはいけない

→ 必ず専用の窓口へ報告して、口外しないこと

・開発者は直ちに問題を修正し、アップデートを公開する

→ セキュリティアップデートであることを明示するが、公開時点では具体的な内容を説明できない

・サーバ設置者は、セキュリティアップデートを遅滞なく適用する

→ ある程度アップデート適用が行き渡るのを待って問題が公表されるが、公表時点でアップデート未適用のサーバは直ちに危険にさらされる

という対応が必要になります。

サーバの利用者も、サーバ管理者も、開発者も、どのように行動すべきか共有されていないと、対応を誤ったことにより取り返しが付かなくなるので、よく覚えておいてください。

1
0
0
0

Git 20주년 회고 – 여전히 이상하고, 여전히 멋진 도구
------------------------------
- Git은 20년 전 Linus Torvalds가 첫 커밋을 하며 시작된 버전 관리 시스템임
- 원래는 단순한 개인 프로젝트였지만, 이후 전 세계적으로 가장 널리 사용되는 버전 관리 시스템으로 성장함
- 작성자는 GitHub 공동 창립자이며, Git 관련 책과 커뮤니티를 구축하면서 Git의 발전에 깊게 관여해왔음
- 초기에는 단…
------------------------------
https://news.hada.io/topic?id=20217&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0

Meta, AI 벤치마크 조작 논란
------------------------------
- Meta는 새로운 Llama 4 모델 두 가지를 발표함: 작은 모델인
Scout 과 중간 크기 모델인 Maverick
- Meta는 Maverick이 GPT-4o와 Gemini 2.0 Flash보다 더 나은 성능을 보인다고 주장함
- Maverick은 AI 모델 비교 플랫폼인
LMArena 에서 2위를 차지함
- 공개된 ELO 점수는 1417점으로, GPT-4o보다 높…
------------------------------
https://news.hada.io/topic?id=20229&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0

Fediverseのソフトウェアにも時々、欠陥が見つかることがあります。

通常の不具合は、つながらなくなったり、一部の機能が使えなくなる程度で済みますので、状況を知らせて速やかに修正適用という対応で済みますが、

意図されていない結果が生じたり、許可されていない操作が実行できてしまったり、見えてはいけない情報の閲覧を許すものなど『セキュリティインシデント』については、

問題発生時点で情報を公開・共有すると、対応前に欠陥を利用して悪用する者が現れ、被害が拡大します。

ついては、

・公開の場で問題を報告してはいけない

→ 必ず専用の窓口へ報告して、口外しないこと

・開発者は直ちに問題を修正し、アップデートを公開する

→ セキュリティアップデートであることを明示するが、公開時点では具体的な内容を説明できない

・サーバ設置者は、セキュリティアップデートを遅滞なく適用する

→ ある程度アップデート適用が行き渡るのを待って問題が公表されるが、公表時点でアップデート未適用のサーバは直ちに危険にさらされる

という対応が必要になります。

サーバの利用者も、サーバ管理者も、開発者も、どのように行動すべきか共有されていないと、対応を誤ったことにより取り返しが付かなくなるので、よく覚えておいてください。

1
0

老梗笑話,但一直很萬用啊~

第1任因為對方外遇而離婚,第2任則是因為對方負債太多而離婚。但就算如此,我弟弟(39歳)還想要再婚。我嚇到了,覺得真的假的啦。

於是我老爸(72歳)說了『人啊,因為“判斷力不足”而結婚,因為“忍耐力不足”而離婚,又因為“記憶力不足”而再婚』這樣的名言。

果然是人生結過3次婚的老前輩才能說出的響亮話語。

---

最近又看到有影片演出這一段...

0
0
0
0

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

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

0
0
0