What is Hackers' Pub?

Readings shared April 20, 2025. https://jaalonso.github.io/vestigium/posts/2025/04/20-readings_shared_04-20-25 #FunctionalProgramming #Haskell #IsabelleHOL #LeanProver #Math

백합SF로봇 애니메이션 『망성의 발리시아』가 최종장 제작을 위해 CAMPFIRE 펀딩을 시작했습니다! camp-fire.jp/projects/830...

自主制作アニメ『忘星のヴァリシア』の完結編を作りたい！【百合...

@saschanazKAGAMI🏳️‍🌈🏳️‍⚧️ 그렇다고하네요

園芸は地域毎に時期や管理の方法が違うけれど培養土として何をどの割合とか追肥の時期や種類などを報告し合えると楽しいかもしれないですね

#おまねこ

追っ肥ーだ

​​


🤯

스타벅스에 왔어요. ...의자는 영 불편하지만, 에어컨이 켜져 있어서 편하네요..

미쿠키보드 완성!

@thx@mustard.blog땡상어 그러니까요. 어쩐지 미국애들 이상한 것만 배워가요.
- 부정선거론 수출
- 이젠 탄핵용 태극기 수출 ​​

한국은 반대 아닌가

요즘 미국인들 트럼프 탄핵하라고 시위하면서 태극기 들고 나타난다면서요? ;;;;;;
우리나라 탄핵의 상징인가봐.

園芸は地域毎に時期や管理の方法が違うけれど培養土として何をどの割合とか追肥の時期や種類などを報告し合えると楽しいかもしれないですね

이스라엘때문에 콜라 사이다 끊으려는중인데 그래 차도 있고 쥬스도 있고 요구르트도 있고 탄산 그거 몸에도 안좋고 끊는게 맞지 사람들이 죽어나가고있다는데...........하는데도 뭔가 안절부절하고 견디기 힘든것이다 뭔가 지금의 트위터와 나의 관계라고 생각했다 다른거 할게 얼마든지 많고 꼭 그게 아니어도 되는데 너무 내 생활에 깊게 물들어있어서 없으면 뭔가 안절부절 불안한 그런데 그걸 씀으로서 피해를 보는 사람들이 너무나도 많은.......

속초 진짜 한 달에 한 번은 가는 것 같은데 항아리물회를 안 먹어봤네1!!!!!!!!!!!아이고매

🥺<ﾁｴｪｪｪｴｴｪｪｪﾝ

매번 일 저질러놓고, 부하잘못이니, 경고성이니, 발표만 한거라느니 하는 우리나라 정부랑 비슷하네?

停用 Facebook 及 Instagram 對用戶（user）情緒狀態的影響 https://www.nber.org/papers/w33697

這份研究分析了在美國 2020 年大選前夕，暫時停用 Facebook 及 Instagram 對人的情緒狀態（包含快樂、焦慮與憂鬱指數）的影響。結果顯示，停用 Facebook 的受試者在這段六週期間，情緒分數平均提升了 0.060 個標準差（standard deviation），停用 Instagram 的則提升 0.041 個標準差。這些變化雖在統計上有顯著意義，但以實質感受來說幅度極小，相當於情緒分數提升約 1% 或以下，一般人難以明顯體會，但對某些特定群體（如 35 歲以上、未決定投票意向者或沒有大學學歷者，以及年輕女性）可能影響較大。研究也指出，這些改善與替代性的離線活動無明顯關聯。

討論區許多留言聚焦於這些改善幅度之微小，有人形容這種提升，「大概就像今天撿到一塊美金那樣，隔兩個月再問心情其實沒什麼差別」。部分留言引用標準差的意義，指出在情緒變化的全體分布中，這 0.060 標準差的提升形同只喝掉一杯飲料的 6%，遠未對整體幸福感產生本質性影響。儘管如此，對於本身情緒受社群媒體困擾較深或屬極端值的個人來說，有可能感受更明顯，但大眾的平均影響仍然十分有限。

社群媒體功能演變也是討論重點之一。有網友懷念 Facebook 早期只展示自己選擇內容的時代，批評現今演算法（recommendation algorithms）強調黏著度及廣告收益，結果充斥與個人無關卻吸引眼球的內容（俗稱 engagement farming），帶來焦慮而非正向體驗。有人建議若能恢復簡單的朋友動態清單、排除推播流，對心情可能更有幫助，但這與大型科技公司（big tech）當前追求獲利的平台設計背道而馳。

許多留言也分享個人經驗，有人指出戒用 Facebook、Instagram 或停止在 Reddit 等論壇評論後，情緒壓力明顯減輕。這顯示除統計上的群體效應外，個人差異性很大，尤其頻繁參與者或情緒受社群互動波動者，可能獲得實質益處。然而，也有不少網友提及社群媒體已深入生活、成為學校、家庭活動協調工具，戒斷後會有實用上的不便與社交隔閡。

https://news.ycombinator.com/item?id=43748486

遅延( º дº)<ｷｴｪｪｪｴｴｪｪｪ

( º дº)<ｷｴｪｪｪｴｴｪｪｪ

승인도 없이 잘못 발송...트럼프·하버드 전쟁 시발점 알고 보니 [지금이뉴스] / YTN - YouTube

https://www.youtube.com/watch?v=FFkmuTxcb5E

백악관 수석 전략가는 "한 번쯤은 서한의 진위를 따져봤어야 했다"며 하버드대의 탓으로 돌렸습니다.

공문 보내 놓고 반발하니까 그거 진짜 보낸거 아닌데? 진짜인지 확인 안해본 학교쪽 잘못이라고 하는 트럼프 정부 ㅋㅋㅋㅋㅋㅋㅋㅋㅋ

( º дº)<ｷｴｪｪｪｴｴｪｪｪ

The old FreeBSD master Vi was praised by many sysadmins for his perfect understanding of FreeBSD and pure life.
Once some youngster decided to test master Vi's knowledge and asked him: "Tell me, oh Master, how did you configure your servers?"
Master Vi answered: "I don't really know".
Disappointed youngster returned to his own master and told him: "Master Vi is just a pretentious old man, he doesn't know anything. I know every configuration file in all of my Linux installations".
His Master gave him a slap upside the head and said: "Master Vi configured his servers when these mountains were still young and this river was but a small spring. He never needed this knowledge again, because his servers have worked flawlessly ever since. This is why his understanding is perfect".
#FreeBSD

육회물회(마이따)

停用 Facebook 及 Instagram 對用戶（user）情緒狀態的影響 https://www.nber.org/papers/w33697

這份研究分析了在美國 2020 年大選前夕，暫時停用 Facebook 及 Instagram 對人的情緒狀態（包含快樂、焦慮與憂鬱指數）的影響。結果顯示，停用 Facebook 的受試者在這段六週期間，情緒分數平均提升了 0.060 個標準差（standard deviation），停用 Instagram 的則提升 0.041 個標準差。這些變化雖在統計上有顯著意義，但以實質感受來說幅度極小，相當於情緒分數提升約 1% 或以下，一般人難以明顯體會，但對某些特定群體（如 35 歲以上、未決定投票意向者或沒有大學學歷者，以及年輕女性）可能影響較大。研究也指出，這些改善與替代性的離線活動無明顯關聯。

討論區許多留言聚焦於這些改善幅度之微小，有人形容這種提升，「大概就像今天撿到一塊美金那樣，隔兩個月再問心情其實沒什麼差別」。部分留言引用標準差的意義，指出在情緒變化的全體分布中，這 0.060 標準差的提升形同只喝掉一杯飲料的 6%，遠未對整體幸福感產生本質性影響。儘管如此，對於本身情緒受社群媒體困擾較深或屬極端值的個人來說，有可能感受更明顯，但大眾的平均影響仍然十分有限。

社群媒體功能演變也是討論重點之一。有網友懷念 Facebook 早期只展示自己選擇內容的時代，批評現今演算法（recommendation algorithms）強調黏著度及廣告收益，結果充斥與個人無關卻吸引眼球的內容（俗稱 engagement farming），帶來焦慮而非正向體驗。有人建議若能恢復簡單的朋友動態清單、排除推播流，對心情可能更有幫助，但這與大型科技公司（big tech）當前追求獲利的平台設計背道而馳。

許多留言也分享個人經驗，有人指出戒用 Facebook、Instagram 或停止在 Reddit 等論壇評論後，情緒壓力明顯減輕。這顯示除統計上的群體效應外，個人差異性很大，尤其頻繁參與者或情緒受社群互動波動者，可能獲得實質益處。然而，也有不少網友提及社群媒體已深入生活、成為學校、家庭活動協調工具，戒斷後會有實用上的不便與社交隔閡。

https://news.ycombinator.com/item?id=43748486

@thx@mustard.blog땡상어 모두 케챱! 감튀를 흔들어!

한우물회

#おまねこ

急にMakina欲が出てきたのできいている

Do you using google ads, what do you think？

也 만 보이면 예 라고 읽는 사람
와럽 맨 예— 캐찹핸졉

#おまねこ

​​

脆像是有人在吵架有人在murmur但是演算法會把麥克風遞給吵架的人
嘟就是所有人都默默在角落murmur自己的小屁事

@thx땡상어 (어둠 속에서 나오는 AI로봇) "이 닝겐의 말은 신경쓰지 마십시오 상어."

アルミ缶の上にあるビールのいれもん #とは

@thx땡상어 당신같이 눈치삐른 상어는 싫어해.(뭣)

半年ROMれってコト……？

アズールレーンのLive2Dなんか異次元の実装されててすき

현대 어반 환타지로 각성한 헌터 등등의 능력자들이 정치인과 부패한 행정가와 기업인들을 폭력으로 응징하는 작품 추천 받습니다.

친구가 외국 반도체회사에 다니는데 이름만 들으면 다 아는 세계에서 손꼽히는 회사다. 1년 전쯤에, 친구가 자기 팀에서 예전부터 쓰고있는 시뮬레이션 코드가 너무 복잡해서 리팩토링 하고 싶다고 나를 찾아왔다. 한 2, 3000줄 되는 Numpy 코드였다.

나는 시뮬레이션의 의미 자체는 전혀 이해를 못하니(이래서 보안문제도 익스큐즈 할수 있었을 것이다), 그냥 코드의 모양만 보고 이상한 부분을 조금씩 고쳐나갔다. 그... 전형적인 물리학자들의 실험실 코드였다(코드를 못짜는건 이해를 하는데, 거기에 대해 한치의 부끄러움도 느끼지 않는다는 점이 뒷목을 잡게 만든다). Numpy 함수도 제대로 활용을 못해놨길래, 나도 Numpy 잘 못쓰지만 대충 이런 함수가 아마 있겠지... 하고 검색해서 찾아내서 교체하고 이런걸 반복했다.

이것저것 고친 다음에 잘돌아가나 한번 실행을 해봤는데, 이럴수가. 시뮬레이션이 1000배 빨라졌다. 아니 뭐, 한 2배 3배 빨라졌으면 내 솜씨라고 자부할텐데, 1000배 빨라진거는 그냥 원래 코드가 똥통이었다고 해석할수 밖에 없다. 구라안치고 정말 1000배다. 1000배의 성능향상의 보답으로 나는 교촌치킨웨지콤보세트를 현장에서 받아먹었다.

그 이후에 어떤 일이 있었냐. 기존 시뮬레이션 코드로는 하루에 시뮬레이션을 2, 3번정도밖에 돌리지 못했는데, 1000배 빨라지고 나니까 결과가 수십초만에 나오니 하루에 수백번 돌릴수 있게 된것이다(내가 고친 코드가 전부는 아니어서 1000배 향상은 아닌데, 가장 큰 병목이긴 해서 결국 100배 이상이라는 듯). 그때부터 100배 많아진 데이터를 처리하기 위한 인프라가 필요해졌다. 그래서 거기 개발팀이 데이터베이스와 데이터 파이프라인 구축을 시작하게 되었다고 한다. 그 팀에서는 일종의 특이점이 시작된것이다;;

결론: 교촌치킨웨지콤보 세트는 개맛있었다.

진보당 대선 후보에 김재연...“페미니스트 대통령 되겠다” 이어 "새로운 평등 공화국을 열어내겠다. 차별금지법으로 존엄한 일상을 지킬 수 있는 나라, 일하는 사람 누구나 노동조합을 통해 권리를 말할 수 있는 나라를 만들겠다"며 "소득, 젠더, 주권, 지역 등 모든 불평등을 깨트려가는 대통령, 대한민국 최초의 페미니스트 대통령이 되겠다"고 밝혔다. 입력 2025.04.20 03:52 www.womennews.co.kr/news/article...

진보당 대선 후보에 김재연...“페미니스트 대통령 되겠...

그러니까 지금 주7일 배송을 강제하는 택배사가...(말을 줄임)
근데 이제 또 보면 뭐가 많음(은은하게 죽은 눈으로 웃기)
출처 : 전국택배노조 홈페이지

섬유질 조와요, 종이 많이 드세요

ひみつの質問の答えに本当のことを書くにはいままでもこれからもその答えを公開しないことを確認しないといけないから乱数で生成したほうがラクだよね。メモするのは忘れないようにしないとね。

脆像是有人在吵架有人在murmur但是演算法會把麥克風遞給吵架的人
嘟就是所有人都默默在角落murmur自己的小屁事

熱が出るのはいいんだが頭痛いのはやめてくれ