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

・代わりのスマートフォンを使って渡航する
要するに、旅行用のスマートフォンに必要最低限に整理されたデジタル環境をつくるということである。理想的には、旅行専用につくったメッセージアプリやソーシャルメディアのアカウントを使うことが望ましい。
oh...

0
0

[中共收買台灣幫派當攻台內應 情資地圖驚人內容曝光 - 鏡週刊 Mirror Media](mirrormedia.mg/story/20250501e)

"據《鏡報新聞網》報導,中國透過親共的台灣黑幫分子,蒐集整理出一份「台灣黑幫武裝勢力分布圖」情資,該報告標記各縣市幫派據點、動員半徑、擁槍數量、幫主電話等詳細資料,甚至還寫下政治評語,採ABC等級標註各幫派親共意願與程度;據悉,該份報告持續更新中,而最親共的A級幫派數量有增加趨勢。

情資報告揭露,全台各地部分宮廟,早已長期成為親共黑幫分子的運作據點,不只是設有祕密會議場所,還提供空間作為物資倉庫,更成為掩護對岸爭議人士入台或洗錢的管道。國安情治人員分析,從這份報告幾乎證實中國透過「金流+人脈+地圖」三路並進方式,最終策動台灣黑幫作為戰時裡應外合的第一波攻勢。"

0
0
0
0
0
0

[中共收買台灣幫派當攻台內應 情資地圖驚人內容曝光 - 鏡週刊 Mirror Media](mirrormedia.mg/story/20250501e)

"據《鏡報新聞網》報導,中國透過親共的台灣黑幫分子,蒐集整理出一份「台灣黑幫武裝勢力分布圖」情資,該報告標記各縣市幫派據點、動員半徑、擁槍數量、幫主電話等詳細資料,甚至還寫下政治評語,採ABC等級標註各幫派親共意願與程度;據悉,該份報告持續更新中,而最親共的A級幫派數量有增加趨勢。

情資報告揭露,全台各地部分宮廟,早已長期成為親共黑幫分子的運作據點,不只是設有祕密會議場所,還提供空間作為物資倉庫,更成為掩護對岸爭議人士入台或洗錢的管道。國安情治人員分析,從這份報告幾乎證實中國透過「金流+人脈+地圖」三路並進方式,最終策動台灣黑幫作為戰時裡應外合的第一波攻勢。"

0

I want to be clear this isn’t the only or even a primary reason AVP is an app dead zone. The price, utility and the positioning of a dev kit as a mass market product are massive reasons why too. But it is **A** reason, and as I said in @jsnellJason Snell’s annual report card, this is a consequence of burning your developer goodwill. I’ve seen how hard it is to win devs back. That’s been my job before. That’s part of my job now. And no company is immune forever.
mastodon.social/@film_girl/114

0
0

一直很喜歡一些生活帳跟故事帳,剛開始threads也是這麼有趣的,但慢慢的大家都不再寫太多自己了,寫更多的是想被他人看見的自己。

描述自身經驗常會被別人過度投射,而不管發表什麼看法,或多或少都會被反方攻擊,容許差異的範圍是很低的,不利於討論。可能也有部分是演算法的助長,他們知道誰討厭什麼,就把那些推給他讓他去罵,難免讓不想吵的人越來越不想說話,感覺一不小心就會惹上麻煩。

然而在這種情況下,意圖吸引流量的人比一般人更會持續發布爭議言論,最後就變得一團糟了(´-ω-`)

0
0
0

一直很喜歡一些生活帳跟故事帳,剛開始threads也是這麼有趣的,但慢慢的大家都不再寫太多自己了,寫更多的是想被他人看見的自己。

描述自身經驗常會被別人過度投射,而不管發表什麼看法,或多或少都會被反方攻擊,容許差異的範圍是很低的,不利於討論。可能也有部分是演算法的助長,他們知道誰討厭什麼,就把那些推給他讓他去罵,難免讓不想吵的人越來越不想說話,感覺一不小心就會惹上麻煩。

然而在這種情況下,意圖吸引流量的人比一般人更會持續發布爭議言論,最後就變得一團糟了(´-ω-`)

0
1

bgl gwyng shared the below article:

업자를 위한 아주 인포멀한 모나드 설명

lionhairdino @lionhairdino@hackers.pub

1.

함수형에선, 스트림 [1,2,3]
(+1)map해서 [2,3,4]를 만들고,
(+2)map해서 [3,4,5]를 만드는 작업을,
(+2) ∘ (+1)[1,2,3]map하는 걸로 표현할 수 있어야 한다.

(+1), (+2), ((+2) ∘ (+1)) 함수들은 모두 Int -> Int 함수를 원하는 곳에 넣어 줄 수 있는 함수들이다.

위와 같이, 완벽하게 정보를 유지하진 않지만, 같은 "류"의 작업을 두 번 하는 것을, 한 번 작업하는 것으로 표현할 수 있는 경우도 있다. 예를 들어, 첫 번째 작업으로, "hello"를 로그로 남기고, 두 번째 작업으로, " world"를 로그로 남기는데, 이를 한 번의 작업으로, "hello world"를 로그로 남기는 작업으로 표현할 수 있다. 여기는 로그를 남기는 횟수 정보는 필요 없고, 최종 로그만 필요하다는 인위적 정보 선택이 들어가 있다. 이 인위적 선택(여기선 로그 문자열을 합치는 것)을 수긍해야만 가능하다.

로그를 남기는 작업을 m이라 부를 때, m a를 받는 곳에 m (m a)를 넘길 방법이 생긴다는 뜻이다. 달리 말하면, m (m a)로 표현되는 작업을 인위적인 절차를 거쳐 m a로 만들어도, 내가 필요한 정보는 사라지지 않는다는 뜻이다.

2.

무언가가 하나인데, 유심히 보면 하나가 아닌 경우, 이게 바로 모노이드다. mono는 하나를 뜻하고, ~oid는 "척"하는 걸 말한다. (예. 인간인 척 하는 휴머노이드) 하나인척 하는 게 모노이드다. 수학 책 앞 부분에서 이항 연산, 결합 법칙, 항등원이 있으면 모노이드라는 설명을 하는데, 그래서 모노이드가 뭐에 쓰는 물건인지는 한참 공부해야 알 게 된다.

(아래는 혼자만의 생각입니다.)
모노이드를 바라 보는 눈 중 하나로, "모든 대상을 이항 연산으로 표현"을 들 수 있다.

0을 포함한 자연수들 0,1,2,3,... 들은, + 이항 연산과, 이 연산의 항등원 0이 있으면, 모두 ○ + ○ 한 가지 모양으로 표현할 수 있게 된다.
0 -> 0+0
1 -> 0+1
2 -> 0+(1+1) = 1+1
...
모노이드 구조이기에, 어딘가에서 ○ + ○ 모양을 원한다면, 0,1,2,3,...을 모두 넣어 줄 수 있다.

3.

"어딘가에서 m a를 원한다면, m a, m (m a), m (m (m a)), ...를 모두 넣어 줄 수 있다."를 위와 비교하며 보자.

위에서 얘기한 인위적 선택 작업join으로 표현하면,
m (m a) --join--> m a
m (m (m a)) --join--> m (m a) --join--> m a
...
m 반복 작업을 모두 ○ --join--> ○ 모양으로 표현할 수 있을 것만 같다. 그런데, 딱 하나는 표현하지 못한다. joinm이 두 개 있는 걸, 하나로 만드는 작업이라, m하나를 ○ --join--> ○로 표현하지 못한다. mjoin이 들어간 모양으로 표현하려면, 자연수, + 에서 처럼 0에 대응하는 것이 필요하다. m하나를, m 두 개로 만들되, 최종 결과에 영향을 미치지 않는 pure라는 작업을 만든다. 위 로그 작업을 예로 들면, 로그로 빈문자 ""을 추가하는 작업을 pure로 만든다. 그러면 이제야 비로소, 모든 반복된 m 을 join으로 표현할 수 있게 된다

m a --pure--> m (m a) --join--> m a
m (m a) --join--> m a
m (m (m a)) --join--> m (m a) --join--> m a
...

이제, join절차가 항상 있는 m a를 원하는 곳에 m am (m (m a))도 넣어 줄 수 있게 되었다. "hello"와 " world"를 남기던 두 개의 작업 합쳐, "hello world"를 남기는 하나의 작업으로 표현할 수 있게 되었다.

※ 지금 눈에 명확히 보이진 않지만, m 둘을 합성하는 연산을 .이라 하면, .만으론 모노이드 이항 연산 역할을 못하지만, join의 도움을 받고, id 만으론 항등원 역할을 못하지만, pure의 도움을 받아 모노이드 구조를 이룬다.

결론.

당연히 모든 내용이 담겨 있진 않고, 모나드를 무엇의 모노이드로 보는 내용을 비수학적으로 풀어 봤다. 모노이드는 모두를 하나의 모양으로 표현 할 수 있다는 걸, 보증해주는 거대한 개념이지만, 업자인 나에겐 "그렇게 해도 된다"는 정도의 느낌만 있다. (결합 법칙이 빠졌는데, 나중에 코드를 모듈화 하는 것과 연관지어 보면, 명확한 대응을 알 수 있다.)

모나드는, 조금 다르게 생긴 것을, 당장 필요한 요소만 잘 관리한다면 "같은 걸로 치자"를 멋지게(,어렵게) 형식화한 이론이다.

사족.
저와 대화를 나눠본 분들은 아시겠지만, 제가 비전공자라 용어 선택이나 개념 정의가 매우 인포멀해서 인상을 찌푸리는 경우도 자주 만듭니다. PL 전공자분들처럼 깊숙히 이론을 파고 싶은 게 아니라, 현실에 적용할 수 있을 만큼의 눈만 가지고 싶습니다. 현실을 모델링할 때, "인위적 정보 선택"을 해서 필요한 정보를 남길 수 있는 경우를 알아채는 눈을 길러야 되는데, bind 또는 flatmap, return 또는 pure가 있는 구조가 모나드라고만 배우면, 이런 눈을 가지는데 매우 오래 걸리는 것 같습니다.

비전공 업자분이 보셨다면, 얻어 가시는 아이디어가 있었으면 좋겠고, 전공자분이 보셨다면, 인포멀한 부분에 너무 인상 찌푸리지 마시고, 틀린 개념이 있다면, 부드럽게 조언을 해주시면 좋겠습니다.

※ 모나드 용어는 monotriad에 온 게 아닐까 의심한다는 설이 있습니다.(검색해 보면 근거는 미약해 보입니다.) 모나드는 join, return 그리고 위에서 명시적 언급은 안했지만, 펑터의 fmap, 이렇게 세 개 triad의 도움을 받아 모노이드로 만들 수 있는 구조입니다.

※ "정교한" 내용이 아님을 강조하고 선입견이 생기지 않기 위해, 일부러 제목을 달지 않고, 반말(혼잣말)투로 썼습니다.

제목은

  1. 함수형
  2. 모노이드
  3. 모나드

순서 입니다.

Read more →
6
0

업자를 위한 아주 인포멀한 모나드 설명

lionhairdino @lionhairdino@hackers.pub

1.

함수형에선, 스트림 [1,2,3]
(+1)map해서 [2,3,4]를 만들고,
(+2)map해서 [3,4,5]를 만드는 작업을,
(+2) ∘ (+1)[1,2,3]map하는 걸로 표현할 수 있어야 한다.

(+1), (+2), ((+2) ∘ (+1)) 함수들은 모두 Int -> Int 함수를 원하는 곳에 넣어 줄 수 있는 함수들이다.

위와 같이, 완벽하게 정보를 유지하진 않지만, 같은 "류"의 작업을 두 번 하는 것을, 한 번 작업하는 것으로 표현할 수 있는 경우도 있다. 예를 들어, 첫 번째 작업으로, "hello"를 로그로 남기고, 두 번째 작업으로, " world"를 로그로 남기는데, 이를 한 번의 작업으로, "hello world"를 로그로 남기는 작업으로 표현할 수 있다. 여기는 로그를 남기는 횟수 정보는 필요 없고, 최종 로그만 필요하다는 인위적 정보 선택이 들어가 있다. 이 인위적 선택(여기선 로그 문자열을 합치는 것)을 수긍해야만 가능하다.

로그를 남기는 작업을 m이라 부를 때, m a를 받는 곳에 m (m a)를 넘길 방법이 생긴다는 뜻이다. 달리 말하면, m (m a)로 표현되는 작업을 인위적인 절차를 거쳐 m a로 만들어도, 내가 필요한 정보는 사라지지 않는다는 뜻이다.

2.

무언가가 하나인데, 유심히 보면 하나가 아닌 경우, 이게 바로 모노이드다. mono는 하나를 뜻하고, ~oid는 "척"하는 걸 말한다. (예. 인간인 척 하는 휴머노이드) 하나인척 하는 게 모노이드다. 수학 책 앞 부분에서 이항 연산, 결합 법칙, 항등원이 있으면 모노이드라는 설명을 하는데, 그래서 모노이드가 뭐에 쓰는 물건인지는 한참 공부해야 알 게 된다.

(아래는 혼자만의 생각입니다.)
모노이드를 바라 보는 눈 중 하나로, "모든 대상을 이항 연산으로 표현"을 들 수 있다.

0을 포함한 자연수들 0,1,2,3,... 들은, + 이항 연산과, 이 연산의 항등원 0이 있으면, 모두 ○ + ○ 한 가지 모양으로 표현할 수 있게 된다.
0 -> 0+0
1 -> 0+1
2 -> 0+(1+1) = 1+1
...
모노이드 구조이기에, 어딘가에서 ○ + ○ 모양을 원한다면, 0,1,2,3,...을 모두 넣어 줄 수 있다.

3.

"어딘가에서 m a를 원한다면, m a, m (m a), m (m (m a)), ...를 모두 넣어 줄 수 있다."를 위와 비교하며 보자.

위에서 얘기한 인위적 선택 작업join으로 표현하면,
m (m a) --join--> m a
m (m (m a)) --join--> m (m a) --join--> m a
...
m 반복 작업을 모두 ○ --join--> ○ 모양으로 표현할 수 있을 것만 같다. 그런데, 딱 하나는 표현하지 못한다. joinm이 두 개 있는 걸, 하나로 만드는 작업이라, m하나를 ○ --join--> ○로 표현하지 못한다. mjoin이 들어간 모양으로 표현하려면, 자연수, + 에서 처럼 0에 대응하는 것이 필요하다. m하나를, m 두 개로 만들되, 최종 결과에 영향을 미치지 않는 pure라는 작업을 만든다. 위 로그 작업을 예로 들면, 로그로 빈문자 ""을 추가하는 작업을 pure로 만든다. 그러면 이제야 비로소, 모든 반복된 m 을 join으로 표현할 수 있게 된다

m a --pure--> m (m a) --join--> m a
m (m a) --join--> m a
m (m (m a)) --join--> m (m a) --join--> m a
...

이제, join절차가 항상 있는 m a를 원하는 곳에 m am (m (m a))도 넣어 줄 수 있게 되었다. "hello"와 " world"를 남기던 두 개의 작업 합쳐, "hello world"를 남기는 하나의 작업으로 표현할 수 있게 되었다.

※ 지금 눈에 명확히 보이진 않지만, m 둘을 합성하는 연산을 .이라 하면, .만으론 모노이드 이항 연산 역할을 못하지만, join의 도움을 받고, id 만으론 항등원 역할을 못하지만, pure의 도움을 받아 모노이드 구조를 이룬다.

결론.

당연히 모든 내용이 담겨 있진 않고, 모나드를 무엇의 모노이드로 보는 내용을 비수학적으로 풀어 봤다. 모노이드는 모두를 하나의 모양으로 표현 할 수 있다는 걸, 보증해주는 거대한 개념이지만, 업자인 나에겐 "그렇게 해도 된다"는 정도의 느낌만 있다. (결합 법칙이 빠졌는데, 나중에 코드를 모듈화 하는 것과 연관지어 보면, 명확한 대응을 알 수 있다.)

모나드는, 조금 다르게 생긴 것을, 당장 필요한 요소만 잘 관리한다면 "같은 걸로 치자"를 멋지게(,어렵게) 형식화한 이론이다.

사족.
저와 대화를 나눠본 분들은 아시겠지만, 제가 비전공자라 용어 선택이나 개념 정의가 매우 인포멀해서 인상을 찌푸리는 경우도 자주 만듭니다. PL 전공자분들처럼 깊숙히 이론을 파고 싶은 게 아니라, 현실에 적용할 수 있을 만큼의 눈만 가지고 싶습니다. 현실을 모델링할 때, "인위적 정보 선택"을 해서 필요한 정보를 남길 수 있는 경우를 알아채는 눈을 길러야 되는데, bind 또는 flatmap, return 또는 pure가 있는 구조가 모나드라고만 배우면, 이런 눈을 가지는데 매우 오래 걸리는 것 같습니다.

비전공 업자분이 보셨다면, 얻어 가시는 아이디어가 있었으면 좋겠고, 전공자분이 보셨다면, 인포멀한 부분에 너무 인상 찌푸리지 마시고, 틀린 개념이 있다면, 부드럽게 조언을 해주시면 좋겠습니다.

※ 모나드 용어는 monotriad에 온 게 아닐까 의심한다는 설이 있습니다.(검색해 보면 근거는 미약해 보입니다.) 모나드는 join, return 그리고 위에서 명시적 언급은 안했지만, 펑터의 fmap, 이렇게 세 개 triad의 도움을 받아 모노이드로 만들 수 있는 구조입니다.

※ "정교한" 내용이 아님을 강조하고 선입견이 생기지 않기 위해, 일부러 제목을 달지 않고, 반말(혼잣말)투로 썼습니다.

제목은

  1. 함수형
  2. 모노이드
  3. 모나드

순서 입니다.

Read more →
6
6

昨日は大阪関西万博に行ってきたよ​:murakamisan_tutinoko_ring:
西ゲートから入場後、当日予約も意外とすんなり取れてパビリオンを休憩ほぼナシで回りまくったよ
:blobcat_dotadota_run:
立ち寝体験やiPS心臓、各国の料理を楽しむことができたよ
:blobcatrainbow:
どれも興味深かったけど、料理はUAE、パビリオンはサウジが特に印象的かな
:ablobcatheadbangfastultra:
文化・美術・技術への興味関心が高めな性格なので、コモンズ館もめちゃくちゃ楽しめたよ
:blobcataww:
通期パスで何度でも通い詰めたくなる万博でした!チケットはまだ残ってるから、また来ます!
:murakamisan_tutinoko_nikoniko:

RE:
https://misskey.io/notes/a7743smtpj2l0dbi

0
0
0
0

4/30 國際不打小孩日

打孩子,是許多人用來停止「自己不喜歡的事」的一種方法,卻常常是下下策。
因為——沒有人真正喜歡這種方式,
你不喜歡,孩子也不喜歡。

你愛孩子,孩子也愛你。
正因為愛,一定可以找到別的方法。

✅ 先接住自己,再接住孩子
👀 看見行為背後的真正原因
🎯 找出你想要的,孩子想要的——你們的「想要」都很重要。

一定有你和/或孩子可以做的方法,一起靠近你們各自的需要。

那,就是你們的雙贏。

0

World's WLD launches in most of the US, including on Coinbase, starting this week, as Tools for Humanity debuts a portable "orb mini" device for iris scanning (Alex Heath/The Verge)

theverge.com/cryptocurrency/65
techmeme.com/250430/p61#a25043

0
0
0
0
0

Meta對與Ray-ban合作的智能眼鏡作出兩項隱私改動
在4月29日發給用戶的電郵中,Meta表示眼鏡的相機功能會長開,除非用戶主動下指令關掉

第二是Meta不再允許使用者選擇不把眼鏡的錄音上傳到雲端。Meta會用使用者的錄音為自家AI進行訓練,儲存期限為一年

什麼行走的侵犯隱私武器 🤡 🤡 🤡 🤡

theverge.com/news/658602/meta-

0

Misskeyに対する支援、金銭もあるけど私は正直他の人に布教することも同じくらい効果的だと思っておる
「ドエッチコンテンツしかない」的な先入観を破壊する必要がある

0
1
0
0
0
1
1

웹 앱들이 카메라, 위치 등 권한을 어떤 방식으로 요청하고 있는지, 사용자가 이에 어떻게 반응하는지에 관한 연구. 많은 웹 사이트가 사용자에게 아무런 맥락없이 권한을 요청한다. 기본적으로 사용자에게 권한이 왜 필요한지 설명하면 허용률이 높아졌고, 긍정적인 톤으로 권한을 요청하면 허용률이 18% 증가한다. 텍스트만 보여주기 보다는 UI 요소가 있을 때 허용률이 더 높았는데, 오버레이(+41%) 또는 전체화면(+33%)으로 권한을 요청하면 허용률이 늘지만 사용자의 불만족도 높아졌다. programs.sigchi.org/chi/2025/p

Permission Rationales in the Web Ecosystem: An Exploration of Rationale Text and Design Patterns
3
3

웹 앱들이 카메라, 위치 등 권한을 어떤 방식으로 요청하고 있는지, 사용자가 이에 어떻게 반응하는지에 관한 연구. 많은 웹 사이트가 사용자에게 아무런 맥락없이 권한을 요청한다. 기본적으로 사용자에게 권한이 왜 필요한지 설명하면 허용률이 높아졌고, 긍정적인 톤으로 권한을 요청하면 허용률이 18% 증가한다. 텍스트만 보여주기 보다는 UI 요소가 있을 때 허용률이 더 높았는데, 오버레이(+41%) 또는 전체화면(+33%)으로 권한을 요청하면 허용률이 늘지만 사용자의 불만족도 높아졌다. programs.sigchi.org/chi/2025/p

Permission Rationales in the Web Ecosystem: An Exploration of Rationale Text and Design Patterns
3

투자자 없이 연간 수익 $250k 달성한 Teams 용 위키 창업 이야기
------------------------------
- *Microsoft Teams 내장 위키의 불편함* 을 해결한 SaaS 제품
Perfect Wiki 로, *투자 없이 연 매출 $250,000 달성*
- 창업자 Ilia는 *팬데믹 시기 해고 이후* Zoom 및 Teams용 앱을 시도했고, * Teams 마켓플레이스의 기회*를 포착함
- *3주 만에 첫 MVP 개발* , 텍스트 기반 페이지 작성/검색 가능 위키…
------------------------------
https://news.hada.io/topic?id=20625&utm_source=googlechat&utm_medium=bot&utm_campaign=1834

0
0
0
0
0
1