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.
linkspam!
Uncurled: everything Daniel Stenberg learned about running and maintaining Open Source projects for three decades.
https://daniel.haxx.se/blog/2022/04/30/uncurled/
saved 2022-05-01 https://dotat.at/:/Z0IBY.html
김해공항은 의외로 부산에 있습니다.
원래는 김해였지만.
사투리도 스펙트럼이더라고요 ㅎㅎㅎ
(사투리 재미있어요. 물론 전 처음 모 지역에 갔을때 전체 대화의 40%도 이해를 못했지만;;)
@stefano@bsd.cafeStefano Marinelli I understand the sentiment, but nice words do not help broken and hungry people.週休三日實際怎麼運行？原來，雲品將小單位進行整併、一起排班，例如原本三個人部門，跨部門整合後變六個人；其次是新增10％的整體人力，以提升排班彈性
測試六個月後，雲品的數據成果令人驚喜，離職率下降，集團300多位員工平均每月離職數控制在個位數，且履歷投遞暴增10倍 https://www.gvm.com.tw/article/121004
寄り添う文鎮はイイゾ
一個人到底要有幾個社交平台 XDDDDDD
這邊最不習慣的大概還是發文框吧。縮在左邊小小的感覺分外委屈。但是字數限制對於喜歡碎碎念的人應該算友善。
介面友善、社群氛圍、訊息傳散和隱私性中間的拿捏真不容易。
只好每天提醒自己：你今天去整理部落格了沒？
Fujifilm people: Looking for a wide lens for my X-T5 for a trip to North Wales, any recommendations? Also really enjoy street photography.
Want something wider than my XF 16-80mm - perhaps Viltrox 13mm f/1.4 or maybe XF 10-24mm - any others I should consider?
#photography
🚨 Rustaceans! Got a Rust programming language project, a crazy idea, or a hard-earned lesson to share? The CFP for #rustconf 2025 (taking place in Seattle+online) is OPEN — but not for long! Get your in-person or remote talk proposal in by May 6th. 🦀✨ https://sessionize.com/rustconf-2025
マニュアルマトン
ʕ•͡ω•ʔ 自動羊肉
ʕ•͡ω•ʔ 自動羊肉
Today, Thursday, Germany will get 99% of its power from solar and wind.
Es ist zwar Feiertag, aber Franzi hat trotzdem eine Geschichte für euch. Sie erzählt, wie etwas Zahlenmagie des sonst seriösen Physikers Paul Dirac Blüten treibt - und sogar ein paar Geologen inspiriert.
➡️ https://astrogeo.de/expandierende-erde-zu-grosse-zahlen-und-zu-kleine-schwerkraft/ 🌍 🎈
Yesterday I posted about Spotify’s plans to increase monthly rates and my thoughts on it. Also mentioned CDs and ripping as an alternative. By chance I ran into this great blogpost from 
@neilNeil Brown .
And I can just say 💯 agree.
https://neilzone.co.uk/2024/09/what-do-you-mean-you-dont-use-spotify/
金欠に拍車が
リアルアバター用の服とか靴とかアクセサリーいっぱい買った
Google翻譯的法文翻中文好像出了點神奇的問題 
之前在家附近舊區小商場看到一家有點帥的理髮店，外面放滿鋼彈模型
外面看價錢又不貴，而且看客人好像都是一個人。想說不用電髮的時候再過去這邊修理好了。沒想到直接推門進去，被告知要預約，今天已經滿客了
不是，我這兩次經過的時候，都是只有一個客人在啊。沒見過這樣也要預約的，這家也太有個性了點 
不過今天是球隊確認聯賽冠軍後第一次穿利物浦球衣 
< Nullspace : FROM NOTHING >
📆 2025. 5.3 - 2026. 04. 30
🎉 오프닝행사 : 2025. 5. 3(SAT) 15:00 - 18:00
📍 성수 언더스탠드에비뉴 널스페이스(서울 왕십리로63)
무료 입장 / 작품 구매 가능 / 작가 참여 / 이벤트 진행
오프닝 VIP 초대장 : https://www.dohwakim.com/fromnothing
* 오프닝은 초대장 없이도 입장 가능하지만 초대링크를 통해 초대장을 받아주시면 오프닝 행사 당일 추첨을 통해 선물을 받으실 수 있어요.
✔️총괄아트디렉터 : 도화 김소영
✔️참여 아티스트 :
글라스호이(유리) • 김동환(회화) • 김수희(목공) • 남인근(사진) • 대리석 디자이너(석재) • 든해소(스테인드글라스)• 락가(음악) • 로제블랑(티아라) • 릴리(회화) • 소중한(목공) • 샌던아트(키캡) • 스튜디오 리포소(아크릴) • 아리(일러스트) • 아트놈(회화) • 이성헌(아트토이) • 정영욱(책) • 천데이(일러스트) • 최정호(도자기) • 쿨레인(아트토이) • 캐쓰(일러스트) • 밀실 터프팅 팀(터프팅) • 토베이(아트토이) • 토인즈(도자기) • 퍼엉(일러스트) • 팻두(뮤지션/소품) • 홍원표(회화) • 하인드(가죽) • SARAM TRAVEL(사진) • JNK(가죽) • 도화 김소영(회화/도자기)
✔️협력사 : 센트온(공간/향기) • 김진수(오프닝진행/카피라이터)
이상의 멋진 작가님들과 함께합니다!
이번에도 잘 부탁드려요~
#전시 #무료전시
謎の味がしないチップを食べてる
@stefanoStefano Marinelli I'd go even further and say that certain things must be local and on paper (like patient history etc)! There's got to be a basic fallback plan not reliant on electronics or even electricity.
My relay instance for the #Fediverse evolved in a great way - more than 120 instances are already connected to boost your posts across the Fediverse.
If you're running #snac / #snac2, #Mastodon, #Pleroma or any other software on the #ActivityPub protocol that supports relay instances - feel free to join the relay! Hopefully #GoToSocial also supports relay services soon! Of course #IPv6 is supported (for IPV6 only instances).
판교가 타질 않아요
Büdingen, Nazis, Hexenverfolgung, Radfahren, Geocaching, Mittelalter
Ich habe das große Bedürfnis, euch von meinem verlängerten Oster-Ausflug zu berichten, der Alles das hatte, was im CW steht. Hier, schnallt euch an, geht los, Achtung #longread
Warum Büdingen?
Als ich so ungefähr 4 war, also Mitte der 70er, sind wir von Tübingen nach Büdingen gezogen. Mein Vater bekam eine Anstellung als Fachbereichsleiter Sprachen bei der Volkshochschule (was er bis an sein sehr frühes Lebensende mit 56 geblieben ist, aber das ist eine andere Geschichte). Meine Mutter war am Kreiskrankenhaus Mathildenhospital als Hebamme tätig.
Sie war durch ihre Lehrhebamme Maria Hipp, die Mitte der 30er in der Berliner Charité zusammen mit Pschyrembel (ja, DER Pschyrembel, der Maria Hipp wesentliches Wissen zur Geburtshilfe verdankt, aber auch das ist eine andere Geschichte) arbeitete, sehr stark antifaschistisch geprägt und hatte rote Haare. Ihr vorgesetzter Arzt war, sagen wir es mal vorsichtig, nicht frei von Misogynie und sie wurde öfter mal als Hexe diskreditiert von so ziemlich allen Männern (ich sage NICHT ALLE MÄNNER, ihr merkt das, ne‽) nicht nur im Krankenhaus.
Nach einem Jahr in Büdingen zogen wir um nach Rinderbügen, ein Dorf, so etwa 7,5 km entfernt. Anfang der 80er war die Büdinger Zeit zu Ende, wir zogen um nach Gießen, wo meine Mutter als Lehrhebamme die dortige Hebammenschule an der Uni aufbaute (die einschlägigen Konflikte nahmen auch dort nicht ab, aber auch das ist eine andere Geschichte).
Ich war in Büdingen im Kindergarten, in der Grundschule und in der 5. Gymnasialklasse (durch den Umzug nach Gießen wurde ich für die 6. Klasse in die Förderstufe zurückgestuft und musste für die 7. Klasse erneut meine Gymnasialtauglichkeit beweisen, aber auch das ist eine andere Geschichte). In der 5. Klasse las ich meine 1. Bravo (weil der aufregende spanische Junge immer Dr. Sommer las) und als wir mal eine Feuerwehr-Übung hatten so richtig mit Rettung über die Leiter aus dem 3. Stock hatte ich "Hurra Hurra die Schule brennt" auf meinem Walkman im Ohr.
Büdingen ist für mich seither ein sehr dichter Ort und ich möchte euch gerne auf meine Oster-Reise mitnehmen.
Das mit dem Radfahren:
In Büdingen lernte ich Radfahren. Ich erinnere mich daran, wie ich das 1. Mal einen kleinen Abhang in unserem Hinterhof runterfuhr und ohne zu bremsen gleich weitersegelte in den Garten, wo ich liegenblieb. Der Lenker war wohl ein wenig verwunden (siehe Bild mit früher - heute, das war kurz nach dem Sturz). Das war in Büdingen, ich war also 4. Später in Rinderbügen durfte ich mal das ganz neue 5-Gang-Rennrad(!) des Nachbarjungen fahren und kam mit dem Freitritt nicht klar - Zack, ab in's Gebüsch!
Mein Vater brachte mich morgens in die Schule - immer zu spät, so 5 Minuten. Jahrelang. Ihr wisst, was das in der Grundschule bedeutet: jeden Morgen die ganze Klasse "Ach, die schon wieder zu spät, haha wie peinlich!" Es half Alles nicht, jeden Abend bat ich meinen Vater Alles vorzubereiten, ich hätte es sogar für ihn übernommen, aber er versicherte, er wäre am nächsten Tag pünktlich - leere Versprechungen. Und wen das nun an toxische Haustyrannen erinnert - die Spur ist richtig, aber auch das ist eine andere Geschichte.
Jedenfalls war ich froh, irgendwann Radfahren zu können und damit nicht mehr abhängig zu sein von diesem herrschsüchtigen Manipulator.
"Das Fahrrad hat mehr für die Emanzipation der Frauen getan als irgendetwas anderes auf der Welt."
Susan B. Anthony 1896
Ich fuhr die knapp 8 km Rinderbügen-Büdingen entweder auf der Landesstrasse oder durch den Wald, wo auch die Lastwagen vom nahen Basaltbruch unterwegs waren. Ich war frei, ich war stark. Und seither ist das Radfahren ein Teil von mir.
Auf dem Weg zurück gab es, sozusagen als letzte Meile, einen extrem starken Anstieg. Einer von der Sorte, bei der der ganze Körper im Stehen in die Pedale gedrückt werden muss, damit es einen Meter voran geht und eins nicht wieder rückwärts den Berg runter rollt. Und Kurven über die ganze Strassenbreite gefahren werden müssen, um das Ganze überhaupt bewältigen zu können.
Zu Ostern 2025 hab ich es endlich geschafft, diesen Berg mal wieder mit dem Rad zu fahren und ja, da ist genau so ein steiler Anstieg, der hat mich ordentlich Laktat gekostet! Aber hey, ich kann's noch und damit hatte ich endlich diese offene Rechnung von meiner Lebens-Bucketlist <3
Das Ganze hat noch einen anderen Hintergrund: ich hatte jahrzehntelang Alpträume, in denen ich nie aus Rinderbügen wegkam. In Variationen kam ich immer weiter weg von zu Hause, aber nie über das Ortsschild hinaus. In der letzten Variante versuchte ich, per Anhalter wegzukommen. Es kam eine Pferdekutsche, die immer langsamer wurde und direkt vor mir schlief der Kutscher einfach ein. Ich und mein Fahrrad haben das jetzt 40 Jahre später erledigt - Tschekk!
Der Punkt Radfahren aus dem CW ist damit abgehakt.
光明.
📸 : Panasonic Lumix S9, Voigtländer ULTRON Vintage Line 35mm F 2 Aspherical
🎨 : LEICA Monochrome
🏙️ : Euljiro, Seoul, Korea Rep.
#사진토돈 #사진 #Photography #写真 #マストドン写真部 #Misskey写真部 #마스토돈사진부 #미스키사진부
Google翻譯的法文翻中文好像出了點神奇的問題
lionhairdino @lionhairdino@hackers.pub
함수형에선, 스트림 [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로 만들어도, 내가 필요한 정보는 사라지지 않는다는 뜻이다.
무언가가 하나인데, 유심히 보면 하나가 아닌 경우, 이게 바로 모노이드다. mono는 하나를 뜻하고, ~oid는 "척"하는 걸 말한다. (예. 인간인 척 하는 휴머노이드) 하나인척 하는 게 모노이드다. 수학 책 앞 부분에서 이항 연산, 결합 법칙, 항등원이 있으면 모노이드라는 설명을 하는데, 그래서 모노이드가 뭐에 쓰는 물건인지는 한참 공부해야 알 게 된다.
(아래는 혼자만의 생각입니다.)
모노이드를 바라 보는 눈 중 하나로, "모든 대상을 이항 연산으로 표현"을 들 수 있다.
0을 포함한 자연수들 0,1,2,3,... 들은, + 이항 연산과, 이 연산의 항등원 0이 있으면, 모두 ○ + ○ 한 가지 모양으로 표현할 수 있게 된다.
0 -> 0+0
1 -> 0+1
2 -> 0+(1+1) = 1+1
...
모노이드 구조이기에, 어딘가에서 ○ + ○ 모양을 원한다면, 0,1,2,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--> ○ 모양으로 표현할 수 있을 것만 같다. 그런데, 딱 하나는 표현하지 못한다. join은 m이 두 개 있는 걸, 하나로 만드는 작업이라, m하나를 ○ --join--> ○로 표현하지 못한다. m을 join이 들어간 모양으로 표현하려면, 자연수, + 에서 처럼 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 a도 m (m (m a))도 넣어 줄 수 있게 되었다.
"hello"와 " world"를 남기던 두 개의 작업 합쳐, "hello world"를 남기는 하나의 작업으로 표현할 수 있게 되었다.
※ 지금 눈에 명확히 보이진 않지만, m 둘을 합성하는 연산을 .이라 하면, .만으론 모노이드 이항 연산 역할을 못하지만, join의 도움을 받고, id 만으론 항등원 역할을 못하지만, pure의 도움을 받아 모노이드 구조를 이룬다.
당연히 모든 내용이 담겨 있진 않고, 모나드를 무엇의 모노이드로 보는 내용을 비수학적으로 풀어 봤다. 모노이드는 모두를 하나의 모양으로 표현 할 수 있다는 걸, 보증해주는 거대한 개념이지만, 업자인 나에겐 "그렇게 해도 된다"는 정도의 느낌만 있다. (결합 법칙이 빠졌는데, 나중에 코드를 모듈화 하는 것과 연관지어 보면, 명확한 대응을 알 수 있다.)
모나드는, 조금 다르게 생긴 것을, 당장 필요한 요소만 잘 관리한다면 "같은 걸로 치자"를 멋지게(,어렵게) 형식화한 이론이다.
사족.
저와 대화를 나눠본 분들은 아시겠지만, 제가 비전공자라 용어 선택이나 개념 정의가 매우 인포멀해서 인상을 찌푸리는 경우도 자주 만듭니다. PL 전공자분들처럼 깊숙히 이론을 파고 싶은 게 아니라, 현실에 적용할 수 있을 만큼의 눈만 가지고 싶습니다. 현실을 모델링할 때, "인위적 정보 선택"을 해서 필요한 정보를 남길 수 있는 경우를 알아채는 눈을 길러야 되는데, bind 또는 flatmap, return 또는 pure가 있는 구조가 모나드라고만 배우면, 이런 눈을 가지는데 매우 오래 걸리는 것 같습니다.
비전공 업자분이 보셨다면, 얻어 가시는 아이디어가 있었으면 좋겠고, 전공자분이 보셨다면, 인포멀한 부분에 너무 인상 찌푸리지 마시고, 틀린 개념이 있다면, 부드럽게 조언을 해주시면 좋겠습니다.
※ 모나드 용어는 mono와 triad에 온 게 아닐까 의심한다는 설이 있습니다.(검색해 보면 근거는 미약해 보입니다.) 모나드는 join, return 그리고 위에서 명시적 언급은 안했지만, 펑터의 fmap, 이렇게 세 개 triad의 도움을 받아 모노이드로 만들 수 있는 구조입니다.
※ "정교한" 내용이 아님을 강조하고 선입견이 생기지 않기 위해, 일부러 제목을 달지 않고, 반말(혼잣말)투로 썼습니다.
제목은
순서 입니다.
사용한 지가 20일밖에 안 된 사실상 새 휴대폰이다. 검찰은 전날 압수수색 영장을 집행하면서 김 여사 측에 이런 사정을 들었지만 휴대폰을 밀봉해 가져갔다. 휴대폰 비밀번호를 요구했지만 답을 듣지 못했다. www.hankookilbo.com/News/Read/A2...
검찰 정말 .. 유능함. 압수하면서 밀봉해서 가져간게 새 아이폰, 음악 재생용 공기기 폰 2개. 패스워드는 모름.
[단독] 김건희 휴대폰 3대 압수했지만 빈손 되나......
turning it off and on again -- a compost.party picnic
hello friends,
we are doing a picnic! spring is here, the sun is out and https://compost.party is online again. things are beginning to move. we'd like to breathe new life into the solar server and invite you to join and add your own experiments.
when: may 10th, 2025
where: tempelhofer feld, berlin, germany
we will bring the server onto tempelhofer feld, perform upcoming maintenance work, and set up plots on it for anyone interested. you will get help and guidance. we will create user accounts together, have a little login party, and together explore the oddity and possibilities of hyper-connected hardware from the cracks of obsolescence.
do you have an idea for a small website or a poem that is looking for a place to live? did you ever wonder how a server may perceive its environment? come and join us to find out! bring your favorite computing device and a picnic blanket, maybe some cake, snacks, or drinks to share and it will be a great time.
we're planning to do this with about 10 people max, so please write a message under this post if you're interested. write a mail to yeah@compost.party if you don't have an account on the fediverse.
looking forward to meeting you!
민주 "한덕수, 공무원 신분으로 사전 선거운동…즉각 수사해야"(종합)
송고2025-04-30 16:50
김민석 "국정원 출신으로 상황실 꾸려 대선 준비" 의혹 제기
美재무장관 발언에 "韓대행, 외교를 선거 유세장처럼 사용…월권 졸속외교"
www.yna.co.kr/view/AKR2025...
민주 "한덕수, 공무원 신분으로 사전 선거운동…즉각 수...
Iltis: Learning Logic in the Web. ~ Gaetano Geck et als. (2022). https://arxiv.org/abs/2105.05763v3 #Logic #Teaching
Bô hiah-nī bô-êng--ah, m̄-koh mā thiám kah bô-hoat-tō͘ siá code--ah. 
沒那麼忙了，但也累到沒辦法寫code。
Hā-pan góa beh thê cha-hng thâu-ke hō͘ góa ê chióng-kim chia̍h hó liāu--ê. 
下班我要拿昨天老闆給我的獎金去吃好吃的。
趁肌肉記憶還在又自虐畫了鰻魚飯🫣
不趕時間慢慢刻白飯還是不滿意
但我決定放過自己🤭
（畫了8小時）
使用Van Gogh 水彩
#watercolor #水彩
キャラメル欲しい？口移ししてあげよ～か？ｗ
Regarding Seattle Worldcon’s use of OpenAI’s LLM for gathering information on presenters.
@seattlein2025Seattle Worldcon 2025
https://seattlein2025.org/2025/04/30/statement-from-worldcon-chair-2/
First of all, thank you for publicly disclosing your use of an LLM. That must have been a courageous announcement.
Here are my thoughts. With today’s o3, it should indeed be possible to research participants’ backgrounds, and I believe its hallucination rate is far lower than the biases of human staff.
Statement From Worldcon Chair
We have received questions regarding Seattle’s use of AI tools in our vetting process for program participants. In the interest of transparency, we will explain the process of how we are using a Large Language Model (LLM).
seattlein2025.org · Seattle Worldcon 2025
Link author: Seattle Worldcon 2025@seattlein2025@seattlein2025.org
Introduction to Iltis: An interactive, web-based system for teaching logic. ~ Gaetano Geck et als. (2018). https://informatik.rub.de/wp-content/uploads/Zeume/GeckLPSVZ18-iltis.pdf #Logic #Teaching
シアトルワールドコンが登壇者の情報収集にOpenAIのLLMを利用した件について。
まず、LLMの利用について発表してくださったことに感謝します。勇気の必要なリリースだったことでしょう。
私の考えを述べます。現在のo3なら参加者の背景を調べることは可能だったでしょう。ハルシネーションも、人間のスタッフの偏見よりはずっと低いと私は考えています。
実務上の必要もわかります。現在のGoogle検索は広告を出しているアカウントの商業的な情報に比して、オーガニックに蓄積された人文的な情報が検索結果に出にくくなっていますから、o3の方がずっとマシな結果になることは多い。利用したくなる気持ちはわかります。
しかしOpenAIの利用に問題がないわけではありません。OpenAIはあのLLMを作るためにフェアユースが認めていない海賊版を利用していました。徐々に「公正さ」に寄っている今もその疑惑は晴れていません。
コンベンションとして利用するのなら、そこには言及し、あるいは強く批判していただきたいものです。
https://seattlein2025.org/2025/04/30/statement-from-worldcon-chair-2/
Statement From Worldcon Chair
We have received questions regarding Seattle’s use of AI tools in our vetting process for program participants. In the interest of transparency, we will explain the process of how we are using a Large Language Model (LLM).
seattlein2025.org · Seattle Worldcon 2025
Link author: Seattle Worldcon 2025@seattlein2025@seattlein2025.org
Appleのエコシステムの利益を享受したいならカネを払うしかない
まあAppleはブランドとエコシステムの分だけ上乗せしてくるから
Iltis: An interactive, webbased system for teaching formal foundations of computer science. https://iltis.rub.de/ #Logic #Education
길에서 동물들을 보면
고양이 위협
까치 배만지기
멍멍이랑 뛰기
하고싶음
크큭 극악무도하지 무섭지
왜 뭐가 좋으면 퍽퍽때리고싶을까
길에서 동물들을 보면
고양이 위협
까치 배만지기
멍멍이랑 뛰기
하고싶음
Andy Piper
💕
MJ+
just small circles 🕊
초크