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.
Ailrun (UTC-5/-4) @ailrun@hackers.pub
이 글은 함수형 언어의 핵심 개념을 람다 대수를 통해 소개하며, 함수형 언어의 평가 방식에 대한 깊이 있는 이해를 제공합니다. 람다 대수의 기본 요소인 변수, 함수, 함수 호출을 설명하고, 값에 의한 호출(CBV)과 이름에 의한 호출(CBN)의 차이점을 명확히 분석합니다. 특히, 폴 블레인 레비의 "값 밀기에 의한 호출(CBPV)"을 소개하며, 이 방식이 CBV와 CBN을 모두 포괄할 수 있는 강력한 도구임을 강조합니다. CBPV가 함수와 함수 호출을 스택 기반으로 어떻게 다르게 해석하는지, 그리고 이를 통해 람다 대수를 기계 수준으로 컴파일할 때 얻을 수 있는 이점을 설명합니다. 항수 분석과 같은 최적화 기법을 CBPV를 통해 어떻게 더 명확하게 표현할 수 있는지 보여주며, GHC 컴파일러의 중간 언어로서 CBPV의 중요성을 부각합니다. 이 글은 함수형 언어의 깊은 이론적 배경과 실제 컴파일러 구현 사이의 연결고리를 탐구하고자 하는 독자에게 유용한 통찰력을 제공합니다.
Read more →다들 모나드 괴담을 한번씩 보셔야합니다
DAG 꾸미기: 패키지 매니저의 디펜던시 그래프에서 쓸데없는 패키지를 정리하는 행위
패딩드라이맡겨도되겠지??
이제패딩드라이맡겨도되겠지???
이제진짜로패딩드라이맡겨도되겠지????
Erg veel zin in om vandaag in #Nieuwspoort te zijn met 
@wsslmnCoen Wesselman 
@andypiper 
@mellifluousboxFelix Hlatky om met Politici te praten over #Mastodon en de #Fediverse 🤩🤩
Erg veel zin in om vandaag in #Nieuwspoort te zijn met @wsslmnCoen Wesselman @andypiper @mellifluousboxFelix Hlatky om met Politici te praten over #Mastodon en de #Fediverse 🤩🤩
저도 두 가지 쟁점 모두 동의하는 편입니다. 그리고, 별개의 이야기입니다만, $ 를 가르칠 때에는 그냥 문법이라고 가르치는 게 학습자의 이해와 응용이 압도적으로 빠르고 좋았습니다.
"이건 여기서부터 뒤로는 다 괄호로 감싸겠다는 뜻이라고 생각하세요."
이러면 한 방에 설명이 끝나고, 필요성이나 편리성에 대해서도 알아서들 납득하는 것이죠. 연산자 우선순위나 좌결합 우결합 등은 그게 되고 나서 얘기하고요. 그러면 "아, 이게 그래서 이렇게 되는 거였군요?" 하면서, 훨씬 쉽게 이해합니다. 이걸 거꾸로 좌결합 우결합 어쩌고부터 가르치려고 하면 다들 꾸벅꾸벅 졸아요... ㅋㅋ ㅠㅠ
(결국 "모나드란 무엇인가"부터 배우면/가르치면 안 된다는 주장과 같은 맥락입니다.)
RE: https://hackers.pub/@bgl/01963c3b-98fa-7432-a62f-0d2dfc0691bf
@rootwyrmRootWyrm 🇺🇦
@desperadoduckFlo Thank you, this seems to be an important thing. Would you mind writing the post up again in a way that a normal, educated (MD) , and interested person can understand it?
@DevelopmentdocBluewater_61 @rootwyrmRootWyrm 🇺🇦 @desperadoduckFlo
this is my attempt to explain this problem for people who do not work in infosec:
When a security issue with any sort of computer product is found, it’s suppose to be forwarded to these people, MITRE. They assign each one a tracking name, maintain a big database, and publish a list of new ones.
Whether you are a huge corporation or a small business with a website, this list is incredibly helpful in staying on top of what needs to be fixed. Your computer has software components from literally thousands of different organizations running on it. Overlooking that one critically needs an update is how you wake up to your whole hospital having been ransomwared by criminals.
Cutting the funding for this means that there’s no centralized list everyone can reference and trust to be updated in a timely fashion. Hacking incidents, in general, everywhere, will begin to rise.
Ey Leute, das geht nicht, dass der 
@hhwerbefreiInitiative Hamburg Werbefrei #HamburgWerbefrei noch unter 1000 Leute folgen 😉
Es ist ein progressives Volksbegehren, das sehr gut zu den anderen Klimaschutz- / Stadtbegrünungs- / Recht-auf-Stadt-mäßigen Initiativen passt, die es so gibt.
Was die Werbekonzerne in #Hamburg abziehen, geht echt gar nicht.
Achtung, #HamburgWerbefrei tootet seit dem Crash von bewegung.social (temporär?) wieder von chaos.social.
Folgeempfehlung für alle aus #Hamburg - das #Volksbegehren startet in 7 Tagen und geht nur bis zum 13. Mai. 👇
패딩드라이맡겨도되겠지??
이제패딩드라이맡겨도되겠지???
이제진짜로패딩드라이맡겨도되겠지????
여태 모나드 가르칠때 그냥 do notation부터 알려주고 알아서 써보라고했는데 절반정도는 잘 따라왔다.
문법적으로 <-를 넣어야할 위치만 아는 상태에서도 코드를 웬만큼 짰다.
즉, next token prediction은 휴먼에게도 좋은 학습 방법이다.
RE: https://hackers.pub/@xt/01963d1e-e20c-77c5-a395-69c592137fb3
I just reviewed my first PR with mostly AI generated code and it felt like I was having a stroke. Asked the author and he said it was, and that it was getting to the point that generating it was more work than just writing it himself lol.
This interaction has been worrying. Even with someone who is capable, well intentioned, and experienced the code, while it worked, was slop. It spit out the right results, but there were bizarre and unnecessary try/excepts, error messages wholly being thrown away meaning debugging in the future would be hell, and complete ignorance of the data structures the code was operating on meaning data validation was completely random and mostly superfluous, as well as being overly permissive.
Also lol at looking for type errors without ever using a single typed object.
Anyway. RIP. I keep wanting to try them out but I'm so inundated I can't and what I get sent as outputs of them make me want to try them less and less.
其實我覺得他長得很像那個 LowCostCosplay!
다들 모나드 괴담을 한번씩 보셔야합니다
저도 두 가지 쟁점 모두 동의하는 편입니다. 그리고, 별개의 이야기입니다만, $ 를 가르칠 때에는 그냥 문법이라고 가르치는 게 학습자의 이해와 응용이 압도적으로 빠르고 좋았습니다.
"이건 여기서부터 뒤로는 다 괄호로 감싸겠다는 뜻이라고 생각하세요."
이러면 한 방에 설명이 끝나고, 필요성이나 편리성에 대해서도 알아서들 납득하는 것이죠. 연산자 우선순위나 좌결합 우결합 등은 그게 되고 나서 얘기하고요. 그러면 "아, 이게 그래서 이렇게 되는 거였군요?" 하면서, 훨씬 쉽게 이해합니다. 이걸 거꾸로 좌결합 우결합 어쩌고부터 가르치려고 하면 다들 꾸벅꾸벅 졸아요... ㅋㅋ ㅠㅠ
(결국 "모나드란 무엇인가"부터 배우면/가르치면 안 된다는 주장과 같은 맥락입니다.)
RE: https://hackers.pub/@bgl/01963c3b-98fa-7432-a62f-0d2dfc0691bf
저도 두 가지 쟁점 모두 동의하는 편입니다. 그리고, 별개의 이야기입니다만, $ 를 가르칠 때에는 그냥 문법이라고 가르치는 게 학습자의 이해와 응용이 압도적으로 빠르고 좋았습니다.
"이건 여기서부터 뒤로는 다 괄호로 감싸겠다는 뜻이라고 생각하세요."
이러면 한 방에 설명이 끝나고, 필요성이나 편리성에 대해서도 알아서들 납득하는 것이죠. 연산자 우선순위나 좌결합 우결합 등은 그게 되고 나서 얘기하고요. 그러면 "아, 이게 그래서 이렇게 되는 거였군요?" 하면서, 훨씬 쉽게 이해합니다. 이걸 거꾸로 좌결합 우결합 어쩌고부터 가르치려고 하면 다들 꾸벅꾸벅 졸아요... ㅋㅋ ㅠㅠ
(결국 "모나드란 무엇인가"부터 배우면/가르치면 안 된다는 주장과 같은 맥락입니다.)
RE: https://hackers.pub/@bgl/01963c3b-98fa-7432-a62f-0d2dfc0691bf
저도 두 가지 쟁점 모두 동의하는 편입니다. 그리고, 별개의 이야기입니다만, $ 를 가르칠 때에는 그냥 문법이라고 가르치는 게 학습자의 이해와 응용이 압도적으로 빠르고 좋았습니다.
"이건 여기서부터 뒤로는 다 괄호로 감싸겠다는 뜻이라고 생각하세요."
이러면 한 방에 설명이 끝나고, 필요성이나 편리성에 대해서도 알아서들 납득하는 것이죠. 연산자 우선순위나 좌결합 우결합 등은 그게 되고 나서 얘기하고요. 그러면 "아, 이게 그래서 이렇게 되는 거였군요?" 하면서, 훨씬 쉽게 이해합니다. 이걸 거꾸로 좌결합 우결합 어쩌고부터 가르치려고 하면 다들 꾸벅꾸벅 졸아요... ㅋㅋ ㅠㅠ
(결국 "모나드란 무엇인가"부터 배우면/가르치면 안 된다는 주장과 같은 맥락입니다.)
RE: https://hackers.pub/@bgl/01963c3b-98fa-7432-a62f-0d2dfc0691bf
⏳ Noch 7 Tage bis zum offiziellen Start der Sammelphase. Briefeintragung schon jetzt möglich.
https://www.hamburg-werbefrei.de/
Gestalte Deine #Stadt - mit weniger #Werbung!
#Moin #Volksbegehren #Hamburg #Werbefrei #HamburgWerbefrei #BessereStadt
@thx@mustard.blog상어학땡스 
우웃! 홍돼지다!
원래 사람은 배가 부르면 딴 생각을 해용.
말로 해도 잘 듣지 않고.
Es gibt wieder ganz viele neue Plakate in der Zentrale (Caffamacherreihe 47).
#WerbungGegenWerbung #Hamburg #Werbefrei #Mitmachen #HamburgWerbefrei #WahlPlakate
Die #Plakate-Aktion geht weiter. Das soll uns helfen, unseren Bekanntheitsgrad zu erhöhen und auf 80.000 Unterschriften zu kommen.
1.000 Stück mit neuen Motiven und Slogans sind zu verteilen. Am besten an Orten mit vielen Werbeanlagen - das macht das Anliegen besonders deutlich.
#Lastenräder, Material und freundliche Leute, die Fragen beantworten, stehen bereit.
8-9 years ago during a live round-table, I said that game devs had a social responsibility especially towards children, to not put gambling-money-related spending incentive in videogames; and it was dismissed. I was right, this kind of stuff isn't good.
🍩🌙 It's fascinating to take a close look at the many tiny donut-shaped magnets that make up ferrite memory! Did you know that in the Apollo program, the ROM for the spacecraft's control unit was hand-woven by highly skilled factory workers?
Sources and more information:
- https://en.wikipedia.org/wiki/Magnetic-core_memory
- https://en.wikipedia.org/wiki/Core_rope_memory
ㅇㅇ.. 일단 싸울래도 배가 불러야 싸우죵. ㅠㅠ
@tĥ@mustard.blog 삼한은 있었답니다 (?)
@stefanoStefano Marinelli But did anyone take a photo of the person taking a photo of you taking a photo of the sea? 🤔
(Sea turtles all the way down 😁)
산리오 캐릭터 대상 시작한거 모르고있다가 친구가 중간결과 보여줘서 투표하려고 사이트 들어가니 터져있다...뭐야 쿠로미한테 투표할거야 열어줘
아 집에서 하드 안들고왔다 멍청
숙원사업 완료하고 나니 시원하구마
(이제 디스크 더 던져넣어야 함)
そこそこ大きなSNSになると、CSAM対応は24時間体制必須になるねえ。
세월은 무심하지만 기억은 강합니다.🎗
저도 두 가지 쟁점 모두 동의하는 편입니다. 그리고, 별개의 이야기입니다만, $ 를 가르칠 때에는 그냥 문법이라고 가르치는 게 학습자의 이해와 응용이 압도적으로 빠르고 좋았습니다.
"이건 여기서부터 뒤로는 다 괄호로 감싸겠다는 뜻이라고 생각하세요."
이러면 한 방에 설명이 끝나고, 필요성이나 편리성에 대해서도 알아서들 납득하는 것이죠. 연산자 우선순위나 좌결합 우결합 등은 그게 되고 나서 얘기하고요. 그러면 "아, 이게 그래서 이렇게 되는 거였군요?" 하면서, 훨씬 쉽게 이해합니다. 이걸 거꾸로 좌결합 우결합 어쩌고부터 가르치려고 하면 다들 꾸벅꾸벅 졸아요... ㅋㅋ ㅠㅠ
(결국 "모나드란 무엇인가"부터 배우면/가르치면 안 된다는 주장과 같은 맥락입니다.)
RE: https://hackers.pub/@bgl/01963c3b-98fa-7432-a62f-0d2dfc0691bf
땡스 님과 가우르구라는 가까운 친척인가요?
にゃーん
우리는 지구인이다
再掲。
----
mstdn.jpのみんな、これフォローエクスポートのURLだから、とりあえず踏んでおきな……。CSV落ちてくるからさ。
https://mstdn.jp/settings/exports/follows.csv
なお、mstdn.jpの停止時間が長引くと、溜まっていたたくさんのActivityがmstdn.jpの外部から流れてきます。（mstdn.jpに限らず、どのサーバでも起きる話です）
しばらくサーバが重くなったり、投稿の順番が狂いますが、それは少し我慢していればそのうち解消します。
外部のサーバは、送信がエラーになると、次の再送信の時間を延ばします。停止時間が長くなると、それだけ次のリトライを遅らせる仕組みです。
雑な計算でいうと、1時間止まっていると、2時間ぐらい送られてくるのが遅くなることがあります。停止が長引くと、その影響もそれだけ長くなります。
次に、過負荷な状態が一度発生すると、サーバのプロセスがメモリを大量確保して肥大したりして、外部からのActivityを処理しきって、もう過大な負荷がかからなくなってから、あらためて不安定になることがあります。
ちょこちょこ投稿するたびに500エラーが発生するような状況になったり、というのは記憶に新しいかと思います。
落ち着いたら一度サーバプロセスを全体に再起動かけるなどの対処が有効です。ここでもう一度メンテしてもらいましょう。
가정용 Ceph
오늘은 다꾸를 해볼거에요!
다꾸가 뭐냐구요?
다꾸는 '다이렉티드 어사이클릭 그래프 꾸미기'의 줄임말로, 요즘 MZ 세대에서 유행하는 행위랍니다!
@thx@mustard.blog상어학땡스 너 진짜 상어회로 만들어버려?!
mstdn.jp、落ちてるのかな？
@taiyo藤井太洋, Taiyo Fujii ホスティング業者からの児童ポルノの削除要請の対応が間に合わず、本日2:00頃から1時間ほど前までネットワークから切断されておりました。
잠온다고!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
洪 民憙 (Hong Minhee)
C105新刊委託中 
세랄이 
Glyph
@
MJ+
마족공주 
깻잎 (상태: 좀비) 
드라코
@hillside@kurry.social
