박준규

Hollo 설치했습니다! 핸들은 @hollo

오늘 자기 전에 Hollo 설치하자!

이런 게 이미 있는 것 같다.

액티비티퍼브에 Place가 있어서 사람들이 위치 공유도 하고 장소에 ‘좋아요’도 누르듯이 Book도 있으면 재밌겠다. 사람들이 좋아하는 책에 ‘좋아요’도 누르고 서로 연결도 시켜주고!

@bglbgl gwyng 이 글은 하스켈 학교에 공유하면 안 되겠군요!(들키니까)

이런 용어집도 있었구나! 이거 설마 예전에 봤던 neo4j 책에서도 이 용어집을 참고했으려나!

액티비티퍼브에서 Hashtag뿐만 아니라 Mention도 tag구나!

@joonnotnotJoon 파서 콤비네이터 하면 하스켈이죠!

@hongminhee洪 民憙 (Hong Minhee) 찾아보니 될 것 같습니다!

@hongminhee洪 民憙 (Hong Minhee) Hollo를 사용하려고 합니다. 오라클 클라우드의 S3 호환 오브젝트 스토리지도 Hollo가 지원하나요?

@bglbgl gwyng 어떤 깨달음을 얻으셨나요!

@hongminhee洪 民憙 (Hong Minhee) 도메인 이름 고르는 게 너무 어렵네요!😵

@hongminhee洪 民憙 (Hong Minhee) 하⋯ Hollo 설치하러 갑니다! 우선 도메인을 사야겠군요.

@hongminhee洪 民憙 (Hong Minhee) 네, 그렇긴 한데 graphviz를 직접 적으면 팬피에서는 이미지 표시가 안 되더라고요!

저는 소셜 서비스의 핵심이 ‘좋아요(Like)’라고 생각합니다. 저는 제가 페이스북에서 처음으로 ‘좋아요’를 많이 받아서 너무 신났던 감정을 잊을 수 없습니다. 그리고 저는 지금도 ‘좋아요’의 노예⋯(사람들은 그런 너를 관종이라고 부른단다.)

@hongminhee洪 民憙 (Hong Minhee) 안 그래도 Evan Prodromou 님이 쓴 책을 읽다가 든 생각을 적은 것인데 신기하네요!

액티비티 퍼브에 Place 타입이 아마도 트위터나 페이스북에서 글을 쓸 때 현재 위치를 남기는 용도인 것 같은데 장소에도 Like를 하면 재밌을 것 같은데 생각해보니 페이스북에 이미 있는 것 같다.

액티비티 퍼브를 구현한 지도앱 같은 게 있나요?

어디 RFC 문서 의존 관계 정리된 거 없나요?

https://naver.me/5VmXzsol

엔드포인트 솔루션이나 네트워크 장비를 운영하다 보면 그 솔루션 본연의 역할을 지고지순(?) 하게 지키기보다는 뭔가 민원을 해결하는 예외 처리에 리소스를 투입할 때가 많은데 그럴 때마다 뭔가 법을 어긴 것 같고 마음이 안 좋다.

https://www.msit.go.kr/bbs/view.do?sCode=user&mPid=208&mId=307&bbsSeqNo=94&nttSeqNo=3185757&fbclid=IwY2xjawJ9ZCRleHRuA2FlbQIxMQABHpMVXMv4-9A-AG8T_tYE6pIROEfI6ktAcvCzH8WvOawjoD3FPH1ZT3shcLcJ_aem_JQ-aD0zza0YXP6SXy3iIwA

@hongminhee洪 民憙 (Hong Minhee) 이제 잘 됩니다!

@hongminhee洪 民憙 (Hong Minhee) @parameterfreak 이분 계정이 다른 연합(우리.인생)에서 검색이 안 됩니다.

유심을 교체했다.

@ailrunAilrun (UTC-5/-4) 저는 둘 다 궁금합니다.😀

하스켈로 만든 스프레드시트 https://b4er.github.io/recalc/

하스켈 새 책이 나왔다! https://mail.haskell.org/pipermail/haskell-cafe/2025-April/137087.html

@bglbgl gwyng 어떤 코드에서 어떤 에러가 나나요?

책 읽다가 생소한 게 나와서 적어 본다.

패키지 attoparsec에 있는 함수 parseOnly는 청크 한 개만 다룰 수 있고 나머지 청크는 버린다. 이러면 스트림 데이터를 읽을 수가 없다. 이때 모듈 Data.Attoparsec.ByteString.Run에 있는 다음 도구를 사용하면 된다.

parseAndRestore :: Monad m =>
  RestorableInput m ByteString -> Parser a -> m (Either ParseError a)

data RestorbleInput m i = RestorableInput
  (m i)       -- ^ Get the next chunk of input, or an empty string if there is no more
  (i -> m ()) -- ^ Push a nonempty chunk of input back to the input stream

newRestorableIO
  :: IO i  -- ^ Get the next chunk of input, or an empty string if there is no more
  -> IO (RestorableInput IO i)

RestorableInput IO ByteString은 ByteString 청크 스트림을 표현한다. 이게 일종의 가변 상태를 가지고 있다. 이 가변 상태가 있기 때문에 앞에서 읽었지만 소모되지 않은 청크를 버리지 않고 입력에 다시 넣는 방식을 쓰는 것 같다.

이런 방식을 Incremental parsing이라고 하는 것 같다.

@bglbgl gwyng 몰래 Nix 영업은 안 하셨나요?

@bglbgl gwyng 고생이 많으십니다! 세미나는 어떤가요?

와, 이번 장에서는 ExceptT 모나드 트랜스포머를 알려준다! 크리스와 줄리 선생님 필력만 믿습니다. https://hackage-content.haskell.org/package/transformers-0.6.2.0/docs/Control-Monad-Trans-Except.html

@hongminhee洪 民憙 (Hong Minhee) 애플리케이션은 UI 때문에⋯

@hongminhee洪 民憙 (Hong Minhee) 앗, 전설의(?) 책 tapl을 갖고 계시다니! 저는 그 책 너무 비싸서 도서관에서 잠깐 열람만 했었어요.

하스켈 패키지 서버 에러 나서 라이브러리 문서를 못보니까 코딩을 못하네!

모든 파싱 라이브러리가 스트리밍을 지원하는 건 아니구나. Attoparsec은 스트리밍 데이터를 파싱할 수 있다고 한다. https://hackage.haskell.org/package/attoparsec

@hongminhee洪 民憙 (Hong Minhee) Document Driven Development!

@hongminhee洪 民憙 (Hong Minhee) 잘하셨습니다! 휴식이 중요하죠. 왠지 인기 웹툰의 독자가 댓글로 작가를 응원하는 마음으로 민희 님의 건강을 응원하게 됩니다.

책 제목에 포함되어 있는 단어이자 패키지 이름인 pipes가 도대체 뭐하는 건지 감이 안 잡혔는데 드디어 해당 챕터에 돌입했다. 대충 보니 스트리밍 데이터를 처리하는 패키지인 것 같다. 라이브러리 제작자가 가브리엘라 님이라니!

‘스트리밍’이라는 단어를 많이 들어보고 많이 써왔는데 정확한 의미는 뭔지 몰랐다. 스트리밍은 큰 데이터를 잘라서 전달하는 것을 의미하는 것 같다.

https://hackage.haskell.org/package/pipes

ChatGPT도 루비 태그를 지원하면 좋겠다!

@bglbgl gwyng miniKanren이라는 게 있고 다른 언어로 여러 구현체가 있나 봅니다. kanren은 일본어 関連かんれん의 발음을 영어로 적은 거네요. 공교롭게 하스켈 커뮤니티에서도 최근 typedKanren을 다룬 글이 있길래 잠깐 찾아봤습니다. https://discourse.haskell.org/t/the-haskell-unfolder-episode-42-logic-programming-with-typedkanren/11869

책에 나온 예제를 따라 하는데 결과가 책과 달라 이상했다. 코드를 한참 보다가 결국 원인을 찾았다. if 분기의 결과를 반대로 적었던 것이다.

repeatUntil
  :: Monad m
  => m chunk
  -> (chunk -> Bool)
  -> (chunk -> m ())
  -> m ()
repeatUntil getChunk isEnd f =
  repeatUntilNothing getChunkMaybe f
  where
    getChunkMaybe = do
      chunk <- getChunk
      if isEnd chunk
        then return (Just chunk)
        else return Nothing

청크가 없으면 Nothing을 리턴해야 하는데 반대로 적어버린 것이다. 덕분에 시간이 모자라서 남은 연습 문제 하나는 내일로 미뤄야겠다.

오늘 읽을 챕터 제목은 ‘스트리밍(Streaming)’이다. 서두에 이런 말이 나온다.

No one ever steps in the same stream twice, for it is not the same stream and they are not the same person.

ChatGPT에게 저게 유명한 말인지 물었더니 다음과 같이 대답했다.

https://chatgpt.com/share/6800e63e-07b4-800c-b32b-fef1723ef5c5

“판타 레이”가 여기서 나온 말이구나. 나는 이 말을 웹툰 “덴마”에서 처음 봤다. 무슨 뜻인지도 모르고 봤네.

https://tweag.io/blog/2025-04-17-wasm-ghci-browser/

@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 《오픈소스로 미래를 연마하라》(인사이트, 2019)에 고민하시는 내용이 일부 소개되어 있는 거 같습니다. 특히 181쪽에 나오는 ‘콘퍼런스나 모임에서 대처 팁’이 도움이 될 것 같아요.

책 한 챕터 다 읽었다. stm 패키지에서 제공하는 기능이 많지만 여기서는 TVar만 쓸 줄 알면 돼서 분량이 많지 않네. 다음과 같은 형식으로 웹사이트 방문자 카운터를 구현할 수 있다.

countingServer :: IO ()
countingServer = do
  hitCounter <- atomically (newTVar @Natural 0)
  serve @IO HostAny "8000" \(s, _) -> do
    count <- atomically (increment hitCounter)
    sendResponse s (textOk (countHelloText count))

increment :: TVar Natural -> STM Natural
increment hitCounter = do
  oldCount <- readTVar hitCounter
  let newCount = oldCount + 1
  writeTVar hitCounter newCount
  return newCount

이제 된다.

ChatGPT에 문제가 생긴 것 같다. 접속이 안 되네.

https://www.bleepingcomputer.com/news/security/cisa-extends-funding-to-ensure-no-lapse-in-critical-cve-services/