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.
별로 놀라운 소식은 아니고… 책임주체가 있으며 그것이 회사라면 그렇게 되지.
本日のmstdn.jpの停止の件、私の理解している範囲で簡単にまとめると、
・mstdn.jpのサーバはドイツにある
・ドイツでNGなものは駄目
・児童ポルノは確実に駄目
・テロ関連は確実に駄目
・サーバ業者から削除要請がくる
・対応まで1時間しか待たない
・時間切れでネットワーク遮断
・削除対応報告し解除を待つしかない
今回は、児童ポルノの削除要請への対応が1時間以内に行えなかったことにより、2025年4月16日 2:00頃から同13:40頃まで、ホスティング事業者の処置としてネットワーク遮断されていた。
残念ながら、児童ポルノ投稿を行うアカウントは絶えない。自由な気風のオープン登録サーバなので自然発生する面もあるし、悪意ある攻撃としてわざと行われることもある。
毎日止まらずに動いているのは、最悪の場合でも管理者が24時間、1時間以内に対応しているから。これはとても大変なこと。
変化が少なく、運営者の姿が見えないので利用者に実感はないと思うが、日頃の管理は行っている。でも間に合わないこともある。
lionhairdino shared the below article:
Ailrun (UTC-5/-4) @ailrun@hackers.pub
이 글은 함수형 언어의 핵심 개념을 람다 대수를 통해 소개하며, 함수형 언어의 평가 방식에 대한 깊이 있는 이해를 제공합니다. 람다 대수의 기본 요소인 변수, 함수, 함수 호출을 설명하고, 값에 의한 호출(CBV)과 이름에 의한 호출(CBN)의 차이점을 명확히 분석합니다. 특히, 폴 블레인 레비의 "값 밀기에 의한 호출(CBPV)"을 소개하며, 이 방식이 CBV와 CBN을 모두 포괄할 수 있는 강력한 도구임을 강조합니다. CBPV가 함수와 함수 호출을 스택 기반으로 어떻게 다르게 해석하는지, 그리고 이를 통해 람다 대수를 기계 수준으로 컴파일할 때 얻을 수 있는 이점을 설명합니다. 항수 분석과 같은 최적화 기법을 CBPV를 통해 어떻게 더 명확하게 표현할 수 있는지 보여주며, GHC 컴파일러의 중간 언어로서 CBPV의 중요성을 부각합니다. 이 글은 함수형 언어의 깊은 이론적 배경과 실제 컴파일러 구현 사이의 연결고리를 탐구하고자 하는 독자에게 유용한 통찰력을 제공합니다.
Read more →정말 오랜만에... 메인폰을 안드로이드로 한번 바꿔봅니다
洪 民憙 (Hong Minhee) replied to the below article:
Ailrun (UTC-5/-4) @ailrun@hackers.pub
이 글은 함수형 언어의 핵심 개념을 람다 대수를 통해 소개하며, 함수형 언어의 평가 방식에 대한 깊이 있는 이해를 제공합니다. 람다 대수의 기본 요소인 변수, 함수, 함수 호출을 설명하고, 값에 의한 호출(CBV)과 이름에 의한 호출(CBN)의 차이점을 명확히 분석합니다. 특히, 폴 블레인 레비의 "값 밀기에 의한 호출(CBPV)"을 소개하며, 이 방식이 CBV와 CBN을 모두 포괄할 수 있는 강력한 도구임을 강조합니다. CBPV가 함수와 함수 호출을 스택 기반으로 어떻게 다르게 해석하는지, 그리고 이를 통해 람다 대수를 기계 수준으로 컴파일할 때 얻을 수 있는 이점을 설명합니다. 항수 분석과 같은 최적화 기법을 CBPV를 통해 어떻게 더 명확하게 표현할 수 있는지 보여주며, GHC 컴파일러의 중간 언어로서 CBPV의 중요성을 부각합니다. 이 글은 함수형 언어의 깊은 이론적 배경과 실제 컴파일러 구현 사이의 연결고리를 탐구하고자 하는 독자에게 유용한 통찰력을 제공합니다.
Read more →てｓｔ
@what2eat今晚食乜嘢 那香港店有學到神粹XD
콜라에 라듐을 첨가해요
來自大站的更新
個人檔案新增了一個「精選內容」的頁面，大概被pin的文章都會集中在那邊顯示，還可以加自己喜愛的hashtag
還有現在hashtag功能多了一個選單，現在點按hashtag，會讓你選擇瀏覽聯邦宇宙上有該hashtag的文章 (像以往一樣)，或者瀏覽該發文者過往也有這個hashtag的文章
不知道正式版本什麼時候有
경제 / 추측을 담고 있으니 참조로만 하십시요.
조금씩 조금씩 🇯🇵의 기관(금융)들이 지수 매물 정리중 입니다.
일본은행 총재가 오늘 미국 관세를 언급하고 일본 금리를 올릴 수 있을지도 모른다고 합니다.
그 이후 USD-JYP Pair 가 내려가는 것으로 보아 큰 사건의 전조로 보입니다. 앤 캐리 청산보다 무서운게 올 수 있다는 의미
꽉 잡으십시요.
The WCAG Conformance Levels (A, AA and AAA) can be confusing.
Dennis Deacon prepared a small summary to help you understand what you need to do to achieve that level, which users it’s helping, and some examples of requirements:
- Level A is the minimum standard that removes the biggest barriers, so users with disabilities can access basic content and functionality.
- Level AA adds more support for people with vision, hearing, and cognitive disabilities, and is the common
https://www.dennisdeacon.com/web/accessibility/a-note-about-wcag-conformance-levels/
#세월호_11주기
#REMEMBER_0416
#꽃이_진다고_그대를_잊은_적_없다
온라인기억관: https://416foundation.org/온라인-기억-공간/
기억식: https://www.youtube.com/live/9NIqlOwn0_s (416TV, 지금 진행중입니다)
(계정 관리자가 외국에 있어 시차 탓에 조금 늦었습니다. 하지만 저처럼 부득이하게 시간을 놓쳤거나 잊으신 분이 있다면 지금이라도 잠시 묵념해보시면 어떨까 합니다.)
ちょ、ま、アメリカが脆弱性データベースのCVE援助をやめる？
このままだとWebサイトが停止するらしい。さすがにAppleやMicrosoft、Googleが支えるだろうけど、公的な資金で運営されて欲しいよこれは。
https://www.theregister.com/2025/04/16/homeland_security_funding_for_cve/
LLM-powered Typed-Holes
https://github.com/Tritlo/OllamaHoles
Discussions: https://discu.eu/q/https://github.com/Tritlo/OllamaHoles
https://youtu.be/raeOKTEC3qc
워해머40k라는 세계관을 나도 참 좋아하지만
이게 파시즘이랑 연결되는건 정말 피할 수 없는 것 같음... GW가 정말 칼들고 강력한 액션을 보이지 않는 이상...
Bluesky didn't reach a federated stage where you could choose a service provider in a free country before they started to censor people based on authoritarian demands.
"Cada elección tiene su anverso, es decir, una renuncia, por lo que no hay diferencia entre el acto de elegir y el acto de renunciar." ~ Italo Calvino (1923-1985).
Solidarity with my colleagues at Maastricht University on strike today. Stop the cuts. #woinactie
✨Introducing What the Spec?!✨
A brand new podcast where I unpack web standards and browsers with the people who create them. In this month's episode, I speak to 
@keithamus about going from web developer to 100 browser contributions in 18 months.
Spotify: https://open.spotify.com/episode/1Noq4Oh3VY5eXNqo2PnNDE?si=kGNE7RaBQjSNx5ZosDdMEQ
Apple: https://podcasts.apple.com/us/podcast/how-keith-got-very-into-browsers/id1808741502?i=1000703647362
RSS: https://lolaslab.co/what-the-spec/feed.xml
Transcript & show notes: https://lolaslab.co/what-the-spec/s01/ep01/
저 새끼들은 도대체 누구를 경호하는 거죠.....?????
RE: https://bsky.app/profile/did:plc:4sujqnbd47ey26qcvajqoxa2/post/3lmvynv7ric2z
세월호 참사 11주기를 맞아 ‘기억은 힘이 세다’며 추모의 뜻을 실천하는 시민들의 움직임이 활발합니다. 온라인 추모 팻말을 만들고, 모자와 팔찌 등을 만드는 펀딩에 참여하기도 하며, SNS에도 관련 해시태그를 단 게시물이 잇따라 올라오고 있습니다.
오늘 4시16분 잠시 멈춤…기억은 강합니다, 세월호 1...
今日はフォーでおなかいっぱいなのでプランク重力が大きい
Bluesky didn't reach a federated stage where you could choose a service provider in a free country before they started to censor people based on authoritarian demands.
當世界同時展示他最壞及最好的樣貌be like:
あらまあ
Bluesky didn't reach a federated stage where you could choose a service provider in a free country before they started to censor people based on authoritarian demands.
本日のmstdn.jpの停止の件、私の理解している範囲で簡単にまとめると、
・mstdn.jpのサーバはドイツにある
・ドイツでNGなものは駄目
・児童ポルノは確実に駄目
・テロ関連は確実に駄目
・サーバ業者から削除要請がくる
・対応まで1時間しか待たない
・時間切れでネットワーク遮断
・削除対応報告し解除を待つしかない
今回は、児童ポルノの削除要請への対応が1時間以内に行えなかったことにより、2025年4月16日 2:00頃から同13:40頃まで、ホスティング事業者の処置としてネットワーク遮断されていた。
残念ながら、児童ポルノ投稿を行うアカウントは絶えない。自由な気風のオープン登録サーバなので自然発生する面もあるし、悪意ある攻撃としてわざと行われることもある。
毎日止まらずに動いているのは、最悪の場合でも管理者が24時間、1時間以内に対応しているから。これはとても大変なこと。
変化が少なく、運営者の姿が見えないので利用者に実感はないと思うが、日頃の管理は行っている。でも間に合わないこともある。
web部分が 
で設定ファイル作るのにあわあわしてる
エンジニアが自動的に？！
＞エンジニアが数分以内に自動的に対応を開始し
エンジニア「うわぁ、身体が勝手に動いてハード交換をさせられている！」
https://ascii.jp/elem/000/004/263/4263547/
Freitag 15:15: Vortrag "Für 'n Appel und 'n #Ei: die Vereinnahmung des öffentlichen Raumes durch #digitale Werbung" auf dem 
@easterhegg2025
In diesem #Doppelvortrag mit 
@skyeskye gänseblum wird es auch um die engen Verbindungen zwischen #Online-#Werbung und #digitaler #Außenwerbung gehen.
Der #Vortrag wird gestreamt.
https://cfp.eh22.easterhegg.eu/eh22/schedule/
#Vortrag #Werbung #Werbefrei #Adblocker #Hamburg #EH22 #EasterHegg #SaveTheDate
當世界同時展示他最壞及最好的樣貌be like:
✨Introducing What the Spec?!✨
A brand new podcast where I unpack web standards and browsers with the people who create them. In this month's episode, I speak to @keithamus about going from web developer to 100 browser contributions in 18 months.
Spotify: https://open.spotify.com/episode/1Noq4Oh3VY5eXNqo2PnNDE?si=kGNE7RaBQjSNx5ZosDdMEQ
Apple: https://podcasts.apple.com/us/podcast/how-keith-got-very-into-browsers/id1808741502?i=1000703647362
RSS: https://lolaslab.co/what-the-spec/feed.xml
Transcript & show notes: https://lolaslab.co/what-the-spec/s01/ep01/
Goede actie van Greenpeace, mooie beeldvorming.
https://www.greenpeace.org/nl/klimaat-categorie/68923/dit-kabinet-koerst-met-130km-u-op-de-klimaatcrisis-af/
#greenpeace #130km
お引越ししました。バージョンアップの停滞があるのと、ドイツにサーバーがある(未確認)のはパレスチナ問題について語る上では不安しかないので。
From the river to the sea
Bluesky didn't reach a federated stage where you could choose a service provider in a free country before they started to censor people based on authoritarian demands.
I know, many people know the Niemöller poem, and posting it may even feel tired, like a trope
But times like this, there are reasons to remember why the words have power, why they originally resonated with you
There will not be much time left to speak up, at this rate.
@cwebberChristine Lemmer-Webber Indeed. White House report on invoking the Insurrection Act is due out this weekend. https://wagingnonviolence.org/2025/04/what-to-do-if-the-insurrection-act-is-invoked/
Good morning Fedi friends!
In case you missed it, on Monday I was able to successfully send a newsletter from my self-hosted, manually installed #Ghost blog. So it appears to be fully working now.
🔗: https://news.elenarossini.com
I don't have any new #selfhosting anecdotes to share. I thought I would be able to relax for a bit and enjoy this milestone. I spent the day yesterday writing a blog post for #TheFutureIsFederated on the topic of resistance to the digital coup.
In the meantime, my 4-year-old spotted some vintage #LEGO panels in the attic. I identified them as belonging to LEGO's King Castle and she demanded I "BUILD IT RIGHT NOW." I'm not even sure I have all the pieces required... I remember that a couple of years ago I found stacks of old LEGO boxes and organized pieces by color in transparent drawers. I found an old manual online for the castle set and so far so good (sort of). I made it to step 10 out of 43. The real test will be building the retractable bridge.
All this to say: no more self-hosting adventures for me this week, I'll be tackling a complex LEGO project (and I can't use code to get out of hurdles...)
#MySoCalledSudoLife #MyLEGOLife
比起IT我真的對於食品科技更有興趣！為何我當不成理科生嗚嗚嗚嗚
感覺糧食生產真的是一件很矛盾的事
因為太累人了，所以大家都不想做
但是為了減少累人程度而引入各種機器，又會推高糧食價格而讓大家受苦
但不引入／不抬價又會導致生產者受苦
從以前到現在都是只能由其中一方抽鬼牌，結果就是糧食安全嚴重有問題.....
但真的無解啊....
第一次覺得河道一直有動靜XDD 薪偷會看不完QQ
回去換件衣服又要去天才吧了
トランプ朝アメリカで大統領令の未成年を対象にした不可逆的な性自認ケアを密告するフォームが設置されたらしい（確か、まだ法律はできていないよね）。
必要な人たちへの手当てができなくなるのも問題だけど、きっと拡大するだろうな……
https://www.erininthemorning.com/p/hhs-launches-snitch-form-to-report
本日のmstdn.jpの停止の件、私の理解している範囲で簡単にまとめると、
・mstdn.jpのサーバはドイツにある
・ドイツでNGなものは駄目
・児童ポルノは確実に駄目
・テロ関連は確実に駄目
・サーバ業者から削除要請がくる
・対応まで1時間しか待たない
・時間切れでネットワーク遮断
・削除対応報告し解除を待つしかない
今回は、児童ポルノの削除要請への対応が1時間以内に行えなかったことにより、2025年4月16日 2:00頃から同13:40頃まで、ホスティング事業者の処置としてネットワーク遮断されていた。
残念ながら、児童ポルノ投稿を行うアカウントは絶えない。自由な気風のオープン登録サーバなので自然発生する面もあるし、悪意ある攻撃としてわざと行われることもある。
毎日止まらずに動いているのは、最悪の場合でも管理者が24時間、1時間以内に対応しているから。これはとても大変なこと。
変化が少なく、運営者の姿が見えないので利用者に実感はないと思うが、日頃の管理は行っている。でも間に合わないこともある。
SparklingOutlaw🍉
박준규
wakest ⁂
Esurio
Honnip
tenjuu99(天重誠二)