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.
비즈니스 책들은 전략적 도구가 아니라 오락임
------------------------------
- 대부분의 *비즈니스 서적* 은 감정적 호소에 집중하며 실질적 전략 도구로는 부족함
- 제로 투 원, 나는 4시간만 일한다, 린스타트업, 좋은 기업을 넘어 위대한 기업으로, 하드씽, 신경끄기의 기술 등
- 이런 *주요 경영서* 는 단순 조언, 일반화, 미화로 가득 차 있음을 지적하며, 실제 *창업 및 경영* 에…
------------------------------
https://news.hada.io/topic?id=20819&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
I'm moving house on Monday, so we'll have a rebroadcast on Not Brahms and Liszt, https://alleystoughton.us/not-brahms-and-liszt/#show329, featuring music by Gabriela Lena Frank, Jennifer Higdon, Anne Leilehua Lanzilotti, Shawn E. Okpebholo and Augusta Read Thomas. Monday (5/12/25) 4-5:30pm ET on WMBR Cambridge 88.1 FM streaming on https://wmbr.org.
#Cambridge #Boston #Radio #ModernClassical
@wmbrWMBR Cambridge
@contemporarymusiccontemporaryMusic group@womencomposerswomencomposers group
@NewFocusRecordings
n.news.naver.com/mnews/articl... 찍어라 해도 어짜피 찍을 사람 많이 없는 무효표 가지고 왈가왈부하기 보단 모두가 챙겨보(아야 하)는 공약집 문제에 관심을
공약집 없는 최초의 선거 될까?
앞으로 20~30년 후에는 지금보다 훨씬 정교하게 꾸민 음모론이 나오겠지?
아뇨. 대충 만들어도 사람들은 믿고 싶은 것만 믿으니까 효과는 똑같은 것입니다.
Tesla hiring for Haskell Software engineer
https://www.linkedin.com/jobs/view/4224032068
Discussions: https://discu.eu/q/https://www.linkedin.com/jobs/view/4224032068
自從在現實中參加artist club之後確實感覺精神狀態好多了
我發現我比自己想像的還要E
而且超級喜歡在一大群人裡做活躍氣氛的那個
（從sns的形象裡是不是看不太出來XD）
『前編』【小出亜佐子】”ミニコミ「英国音楽」とあのころの話”を直接聞いてみたら・・・日本インディーポップ界の生き字引/語り部【サザン/ポール・ウェラー/ネオアコ/ファンジン】 - YouTube: https://www.youtube.com/watch?v=4QGl0UhwnWo
今日、長野県から帰ります
いい天気だー 
Threadsで動作確認しようと思ったら、不正なアクティビティを検知したとかいうて、パスワード変更やら確認コードやら求められて、それを繰り返すようになってしまった。
パスワード変更後、リダイレクトされる先のチャレンジページっぽいところが「そんなページないよ」になっているのが怪しい。
Threads自体は使えなくてもいいのだが、動作確認できないと互換性がテストできないので不便だな……。
なぜ若者は結婚しないのか？「金がないから」説を裏付ける明確な根拠 | ソロモンの時代―結婚しない人々の実像― | 東洋経済オンライン
「なぜ若者の婚姻数が減ったかといえば、それは20～30代の中間層年収帯の婚姻が減ったことがすべてです。それも、ここ10年間で急激に。
内閣府の国民生活基礎調査より、20～30代世帯主の児童のいる世帯の数は、2003年から2013年の10年間ではほぼ減ってはいません。が、2013年から2023年の10年間で約50％減です。
しかも、世帯年収別に増減を見ると、年収300万円未満では55％減、年収300～500万円の中間層帯では66%減です。500万円以上では38％減にとどまっていることから、人口ボリュームの多い中間層の若者の結婚と出産が特に減っていることを示しています。
ちなみに、世帯年収900万円以上では逆に14％も増えています。
https://toyokeizai.net/articles/-/876278?display=b
어라?
왜 붙인 커모지들이 전부 하트가 되어버리는거지?
Rust의 의존성들이 점점 걱정스럽다
------------------------------
- Rust의 *의존성 관리 시스템* 이 개발을 편리하게 하지만, 의존성 개수와 품질 문제가 고민임
- 잘 사용하는 Crate 조차 최신 상태가 아닐 수 있어 직접 구현하는 것이 나을 때도 있음
- Axum, Tokio 등 유명 Crate를 추가한 뒤, 의존성 포함 전체 *코드 라인 수* 가 360만이나 되어 감당하기 어려움
-…
------------------------------
https://news.hada.io/topic?id=20820&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
Our team is growing, and I am very excited that there are now 2 developers focused on the Mastodon web interface, with a designer joining in a few weeks.
Brace yourselves for a lot of interface improvements in Mastodon this year 💅
https://mastodon.social/@MastodonEngineering/114460783162498046
I recently set myself the exercise of using modern automated tools - in particular, a combination of the #GithubCopilot large language model and the dependent type matching tactic #canonical - to try to semi-automatically formalize in #Lean a one-page proof provided by a collaborator of the #EquationalTheoriesProject (Bruno Le Floch). With these tools, I was able to more or less blindly do the formalization in 33 minutes, withou any real high level conception of how the proof proceeded. It was a very different style to how I usually formalize results, but was workable for this type of technical, non-conceptual argument where the main issue is to get the details correct rather than the "big picture".
I recorded my attempt at https://www.youtube.com/watch?v=cyyR7j2ChCI . See also additional discussion at https://leanprover.zulipchat.com/#narrow/channel/458659-Equational/topic/Alternative.20proofs.20of.20E1689.E2.8A.A2E2 . The final proof (which is far from optimized, but got the job done) can be found at https://github.com/teorth/estimate_tools/blob/master/EstimateTools/test/equational.lean
we've reached the point of metal gear 1 sneak techniques working
Threadsで動作確認しようと思ったら、不正なアクティビティを検知したとかいうて、パスワード変更やら確認コードやら求められて、それを繰り返すようになってしまった。
パスワード変更後、リダイレクトされる先のチャレンジページっぽいところが「そんなページないよ」になっているのが怪しい。
Threads自体は使えなくてもいいのだが、動作確認できないと互換性がテストできないので不便だな……。
ジョギングを
サボる口実
みつからず
Cool way to track the progress of #BridgyFed, bridging between #Bluesky to interoperate with #Mastodon and other ActivityPub powered networks. cc: 
@bsky.brid.gyBridgy Fed for Bluesky Over 105,000 of us connecting these two open social web spaces.
finally found the asset store
『정진명의 굳이 써서 남기는 생각』에 새 블로그 포스팅이 올라왔습니다: 도둑의 도시 가이드
도둑의 도시 가이드
정진명의 굳이 써서 남기는 생각 @index@guji.jjme.me
서명: 도둑의 도시 가이드
저자: 제프 마노(Geoff Manaugh)
역자: 김주양
출판사: 열림원
출간일: 2018년 6월 20일
원서명: A Burglar's Guide to the City
원서 출간일: 2016년
은평구립도서관에서 장기대여한 39권의 책 중, 『궁극의 문자를 찾아서』에 이어 두 번째로 읽는 책입니다. 도시 설계와 건축에 관심이 있어서 그것을 범죄자의 입장에서 다룬 책이라고 하여 읽게 되었습니다.
책의 핵심 아이디어는 다음과 같습니다. 건축물을 설계하는 사람들은, 다소의 예외는 있을 수 있지만, 건축물을 이용하는 사람들이 이용하는 목적을 효율적으로 달성할 수 있도록 설계합니다. 그런데 도둑, 혹은 침입절도자(burglar)들은 설계자들이 상정하지 않고, 이용자들이 상상하지 못한 방법으로 건물을 이용한다는 것이죠.
맺는말에 가까운 성격인 마지막 장까지 총 일곱 장에 걸쳐 다양한 사람들을 만나며 여러 일화를 소개하는 구성으로, LA를 헬리콥터로 순찰하는 대원, 자물쇠 풀기 스포츠 관련자, 유명한 도둑을 검거한 경찰, 심지어는 게임 『시프』를 만든 디렉터나 『범죄의 재구성』, 『도둑들』의 최동훈까지 인터뷰하거나 업무에 동행하며(최동훈의 인터뷰는 책에 반영되지 않았습니다) 다양한 이야기를 보고 듣는 것이 이 책의 강점이라고 할 수 있겠습니다.
저는 게임을 하면서 게임의 진행 상태를 개조해서 플레이하곤 하는데, 이 책을 읽으면서 그런 행동들과의 유사성을 생각하기도 했습니다. 제가 진행상태나 게임 데이터를 개조하는 것은 대개 이 게임의 개발자가 의도를 가지고 어떤 경험을 주려고 했지만 도무지 그 목적을 달성하기 어려워보이는 게임 디자인에 항의하는 성격에(다음 단계로 넘어가려면 결과가 달라지지 않는 행동을 너무 많은 회수 반복해야 한다거나 하는 경우가 여전히 많은 게임에 있습니다) 가깝습니다만, 아무튼 목적 면에서는 일치한다고 생각합니다. 제가 하는 건 백화점에 들어가서 1층부터 8층까지 아무것도 안 보고 9층까지 순간이동해서 푸드코트에서 밥만 사 먹고 건물 밖으로 순간이동하는 행동에 가깝다고 생각합니다. 이 책에서 다루고 있는 것과는 다소 성향이 다르지요. 멀티플레이어 게임에서 핵을 쓰는 행위는 좀 더 명확하게 누군가에게 피해를 주기 때문에 좀 더 침입절도와 비슷하다고 할 수 있을까요? 음, 그런 기준으로 비교를 해도 될지 잘 모르겠습니다.
이것저것 생각나는 바가 많은 책이었습니다. 서울시가 광화문광장과 시청광장을 무력화하는 것도 생각이 나고, (무허가로) 마천루의 벽면을 오르거나 파쿠르를 하는 사람들 생각도 나고, 게임 『와치 독스』 생각도 나고요. 프로그래밍 쪽에서부터 관심을 가지게 된 『패턴 랭귀지: 도시, 건축, 시공』 생각도 나고요. 이 책은 다른 도서관에 있어서 빌리자면 빌릴 수는 있겠는데, 두께를 생각하면 완독하기 위해 빌릴 수는 없을 것 같네요. 반체제적이고 저항적인 건축/건축 오용(책의 표현을 빌림)을 다룬 책이 더 있으면 읽어보고 싶습니다.
Pope Leo XIV: "AI poses new challenges re: human dignity, justice and labour"
Link: https://www.vatican.va/content/leo-xiv/en/speeches/2025/may/documents/20250510-collegio-cardinalizio.html
Discussion: https://news.ycombinator.com/item?id=43948130
ジャージメイド玖夜ちゃん
#メイドの日
Astro 개발자를 위한 RSC
------------------------------
- Astro 와 *React Server Components(RSC)* 는 서버와 클라이언트 코드 분리를 유사하게 구현함
- Astro에서는 Astro Component 와 Client Island 가 각자 기능적 역할을 분담함
- RSC는 동일 개념을 Server Component 와 Client Component 로 나누며 'use client' 지시어로 경계 설정함
- R…
------------------------------
https://news.hada.io/topic?id=20818&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
Starlink Mini로 몽골에서 디지털 보톡스 즐기기 (한국 사용기 포함) | GeekNews
https://news.hada.io/topic?id=20821
디지털 디톡스가 아니라 보톡스는 뭐냐
BadgeFed opened a world of communities passionate about decentralizing microcredentials that I did not know existed.
Kudos to #opensource #openbadges and #decentralization
There are covers and then there are covers...
Don Maitz puts in his worst shift with his art for the 1985 edition of Richard S. Meyers' Return to Doomstar (1979)
#scifi #sciencefiction #books #art #artist
Z世代は「Grokチェック」だけで満足、情報リテラシー崩壊の危機 | Forbes JAPAN 公式サイト（フォーブス ジャパン）
https://forbesjapan.com/articles/detail/78961?s=ns
Starlink Mini로 몽골에서 디지털 보톡스 즐기기 (한국 사용기 포함) | GeekNews
https://news.hada.io/topic?id=20821
디지털 디톡스가 아니라 보톡스는 뭐냐
USPOL; deportation
In case you had any doubts before, it's pretty clear that the policy all across the highest levels of this admin is complete disregard for the constitution, and for humanity itself.
[단독] "대법원 미쳤네" 이 톡에 발칵...민주 텔레방 폭파 전말 | 중앙일보
https://www.joongang.co.kr/article/25334956
170명이나 들어간 방이 보안이 유지될리가
なぜ若者は結婚しないのか？「金がないから」説を裏付ける明確な根拠 | ソロモンの時代―結婚しない人々の実像― | 東洋経済オンライン
「なぜ若者の婚姻数が減ったかといえば、それは20～30代の中間層年収帯の婚姻が減ったことがすべてです。それも、ここ10年間で急激に。
内閣府の国民生活基礎調査より、20～30代世帯主の児童のいる世帯の数は、2003年から2013年の10年間ではほぼ減ってはいません。が、2013年から2023年の10年間で約50％減です。
しかも、世帯年収別に増減を見ると、年収300万円未満では55％減、年収300～500万円の中間層帯では66%減です。500万円以上では38％減にとどまっていることから、人口ボリュームの多い中間層の若者の結婚と出産が特に減っていることを示しています。
ちなみに、世帯年収900万円以上では逆に14％も増えています。
https://toyokeizai.net/articles/-/876278?display=b
Sofie - 라이브 TV 뉴스 제작을 자동화하는 오픈소스 웹 기반 시스템
------------------------------
- *라이브 TV 뉴스 제작* 을 * 자동화* 하기 위한 오픈소스 웹 기반 시스템
- 2018년 9월부터 노르웨이 공영 방송사 NRK에서 매일 라이브 TV 뉴스 제작에 사용중
- 사용자는 웹 인터페이스를 통해 *뉴스 러닝오더* 편집 및 비디오, 그래픽, 오디오 등 각종 요소를 통합 관리할 수 있음
- 자동화된 큐 시스…
------------------------------
https://news.hada.io/topic?id=20817&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
自分も思った＞生成AIの楽曲が韻を踏んでること
韻を踏んでるのすんげえな
できた・・できてしまった。めっちゃかっこいい・・・・・。みんな聞いて！ (SUNO-AI楽曲)
「プリウスミサイル - 黒き流星」
https://www.youtube.com/watch?v=aU9L7jGPWMw
プリウスミサイル 誰にも止められない
ゼロ加速で 景色が歪む
黒のボディに 映る星を背に
追いつけるやつなんて この地球にいない
プリウスミサイル 静かに襲いかかる
轟音じゃない ただ速すぎる
未来の鼓動を刻む Hybrid Soul
俺の道は 俺が決めるだけ
韻を踏んでるのすんげえな
できた・・できてしまった。めっちゃかっこいい・・・・・。みんな聞いて！ (SUNO-AI楽曲)
「プリウスミサイル - 黒き流星」
https://www.youtube.com/watch?v=aU9L7jGPWMw
プリウスミサイル 誰にも止められない
ゼロ加速で 景色が歪む
黒のボディに 映る星を背に
追いつけるやつなんて この地球にいない
プリウスミサイル 静かに襲いかかる
轟音じゃない ただ速すぎる
未来の鼓動を刻む Hybrid Soul
俺の道は 俺が決めるだけ
ナンジャモンジャの花が満開の、ソウルの5月。
Threadsから他のFediverseのアカウントを検索してフォローできるようになったようだけど、申請制っぽい。これはずっと気になっていたことだけど、ThreadsのデータはMeta社のLLMに学習させるとユーザーから同意をとっていたとしても、Threads以外のFediverseとつながってThreadsにシェアなり引用なりで投稿を引っ張ってこられた場合、Threads外のユーザーの投稿を勝手にLLMに学習させるのかどうかというのはずっと気になっていた。これが、ほぼThreadsのほぼ一方通行のFediverseへの参加の理由のひとつだと考えていたのだけど、申請制にすることでフォローの承認の際に同意をとるということなんだろうか。
今回どのようなオファーがThreadsからフォローしようとしたときに届くのかはわからないので、サブアカウントで試してみる。フォローが申請制になっているのは、先ほど試しにるまたんさんをThreadsからフォローしてみようと「フォローする」のボタンを押したら「リクエスト済み」という表示になったので知った。
Threadsから他のFediverseのアカウントを検索してフォローできるようになったようだけど、申請制っぽい。これはずっと気になっていたことだけど、ThreadsのデータはMeta社のLLMに学習させるとユーザーから同意をとっていたとしても、Threads以外のFediverseとつながってThreadsにシェアなり引用なりで投稿を引っ張ってこられた場合、Threads外のユーザーの投稿を勝手にLLMに学習させるのかどうかというのはずっと気になっていた。これが、ほぼThreadsのほぼ一方通行のFediverseへの参加の理由のひとつだと考えていたのだけど、申請制にすることでフォローの承認の際に同意をとるということなんだろうか。
今回どのようなオファーがThreadsからフォローしようとしたときに届くのかはわからないので、サブアカウントで試してみる。フォローが申請制になっているのは、先ほど試しにるまたんさんをThreadsからフォローしてみようと「フォローする」のボタンを押したら「リクエスト済み」という表示になったので知った。
Audience を Fast に Grow したい人が #BlueSky には多いんだろうなあという感想 
https://bsky.brid.gy/r/https://bsky.app/profile/did:plc:hzcyj3xwfnechvp4e4m6fbnf/post/3lotwhgoggo2i
Benchi - 벤치마크 자동화 도구
------------------------------
- 최소한의 설정으로도 성능 벤치마크를 실행할 수 있도록 설계된 *경량 벤치마킹 프레임워크* 로, 어플리케이션 및 인프라 성능 측정을 단순화하기 위해 개발
- 벤치마크 환경은 *Docker Compose 구성 파일* 을 통해 정의되며, 컨테이너 상태 모니터링 및 결과 수집이 자동화되어 있음
- 주요 기능
- Dock…
------------------------------
https://news.hada.io/topic?id=20824&utm_source=googlechat&utm_medium=bot&utm_campaign=1834
#SiliconValley is a #BlackMirror of its original rebellious roots—and it’s not just obviously terrible collaborators like #Palantir. 
@violetblue calls out the passivity of tech industry enablers who “need an empathy upgrade, stat.” https://www.engadget.com/2018-06-22-microsofts-ice-involvement-tech-denial-problem.html
불가사리 소년 
なうぞめ
realgsong
@reiver ⊼ (Charles) 
