https://github.com/moonbitlang/mbtcc/blob/master/main%2Fpkg.generated.mbti

어떻게 소스코드 확장자 이름이 mbti.... (M)oon(B)i(t) (i)interface 인듯 ㅋㅋㅋ

진짜 이번주 내내 뭐 하나 손대기가 어려움 (물리적으로)

@techanna바보언니 cc @hongminhee洪 民憙 (Hong Minhee)

@techanna바보언니 아마 연락이 갈거에유

#레퍼럴프로젝트 일단 깃헙을 통해서 코드 관리 등을 자동으로 하는 걸로. CI/CD도 심심하면 구현해볼까...

일단 레포는 여기입니다.

https://github.com/IAOON/referral/pull/1

첫 PR 올림......

살짝 다른 차원에서 확장해서 바라보는 얘기이긴 한데 그냥 첨언하자면 언어학의 하위 분야인 화용론에서 전제(Presuppositions)라는 주제랑 연결되는 것 같네요. 댓글에 프랑스 왕은 머머리다 예문도 써주신 걸 보니 더욱 더 그런 것 같고요. 간단하게 설명드리자면, 일단 한국어 예문으로 하면 살짝 오해의 소지가 있어^[1] 영어 예문을 갖고 쓰면 다음과 같이 생각해볼 수 있습니다.

• P: The King of France is bald.^[2]
• Q: There exists an entity that is King of France.

이 때 P의 명제가 참일 수 있는 이유는 Q를 전제로 깔고 가기 때문입니다. 이렇게 Q를 전제로 갖고 가면 P에 부정을 넣어도 (The King of France is not bald 혹은 ¬(The King of France is bald)) 여전히 그 명제는 참입니다. 하지만 실제 현실에서 Q는 거짓입니다. 왜냐하면 오늘날 프랑스는 군주국가가 아니니깐요. 그럼에도 불구하고 P는 여전히 참을 진리값으로 가지죠.

따라서 실제로 전제를 이렇게 정의하기도 합니다 (Levinson, 1983, p. 175).

• A sentence P sematically presupposes a sentence Q iff:
• (a) P ⊨ Q
• (b) ~P ⊨ Q

참고로 여기서 "⊨"는 "함의한다"를 지칭하는 기호입니다 (예: "하스켈은 함수형 언어다."란 문장은 "하스켈은 언어다"란 걸 함의하죠.).

그렇다면 Q가 전제되는 건 알겠는데, 이 진리값이 무엇이느냐에 대한 질문이 생길 수 있습니다. 이에 대해서 언어학자들은 보통 크게 두 가지로 봅니다. 하나는 참으로 간주하는 거고, 다른 하나는 참도 거짓도 아니다라고 보는 거죠. 전자같은 경우엔 어떻게 보면 기계적으로 바라보는 거고, 후자의 경우엔 참/거짓이라는 기존 이치논리(two-valued logic) 혹은 1 또는 0으로 하는 불 논리에서 확장해서 Kleene의 삼치논리(three-valued logic)로 가게 되죠.

참고로 전제 성립 여부 포함 화용론 전체에서 깔고 가는 가장 큰 가정이 하나 있는데, 이 경우에는 바로 해당 발화(utterance) P, 즉 '프랑스왕은 머머리다'라는 명제가 이루어질 때 화자와 청자가 프랑스에는 왕이란 개체가 존재한다(=Q)라고 암묵적으로 서로 동의한다라는 가정입니다.

@techanna바보언니 귀여운 이건 어떠세요

F# 언어로 "빵쇼날" 다루는 책이고, 도메인 모델을 어떻게 설계하는지 다루는 책임. Railway oriented progeamming 이라는 표현을 쓰신, 스콧 윌라스친 선생님의 책이기도 하다

Domain Modeling Made Functional 라는 책을 언젠가는 봐야겠다하고 벼르고 있는데, 올해안에는 꼭 읽어야 겠다는 생각이

9월 20일 토요일에 Claude Code Meetup이 서울에서 열립니다. 관심 있다면 신청해보세요!

https://luma.com/houp1cbv

OpenAI의 gpt-oss 모델에 이어, RAG (검색 증강 생성)에서 매우 중요한 역할을 하는 임베딩 모델을 Google에서 새롭게 오픈 소스로 공개헀습니다.

EmbeddingGemma라는 이름의 임베딩 모델로, 고성능 하드웨어 없이도 RAG를 구현할 수 있으면서, 한국어, 중국어, 일본어를 포함한 수많은 언어를 지원하도록 개발된 모델이어서 의미가 있습니다.

그래서 재빨리 File-based App과 Semantic Kernel용으로 개발된 sqlite-vec 확장 모듈을 붙여서 프로토타입 코드를 만들어봤는데, 잘 작동하는 것 같네요! :-D

#embeddinggemma #RAG #AI #SemanticKernel #Google

https://forum.dotnetdev.kr/t/google-embeddinggemma-ollama-sqlite-vec-rag/13754

@akastoot악하 리버스프록시 물릴거면 Caddy

이젠 트위터에서 사담 쓰기도 애매해졌어.... 진짜 마스토돈이랑 해커스펍 정착이여...

@yg1ee밀 저도 그렇게 인사를 제대로 못 드린 분이 한 10명 되는 것 같습니다,,,

@yg1ee밀 이게... 제 기준에서 보면 다 제가 아는 사람들이긴 했던 것 같은데, 서로서로 모르는 분들도 제법 계시긴 했습니다(?)

@akastoot악하 좋아. "QA를 시작하지"

하루종일 퍼져서 누워있는 중.... Zzz

@akastoot악하 아니 테스트로 만든 계정을 왜 파묘하세요 ㅋㅋㅋㅋㅋ

어제 밋업 재밌었어요!

어젯밤에 그냥 갑자기 필 받아서 만든 것 전에 TUI 애플리케이션을 디버깅하다가 혈압 뻗쳐서 겨우겨우 디버깅했었는데

이게 갑자기 생각나서 Unix Socket 기반의 로거 라이브러리와 서버를 하나 만들었다.

https://github.com/makachanm/flogger-server https://github.com/makachanm/flogger-lib

@catyouvin유빈집사 안녕하세요! 반갑습니다!

@roo_37루 저는 발표하거나 부스 지키고 있을지도

@2chanhaeng초무 아.... 이렇게 스포방지를 할 수도 있구나... 한편 마스토돈 앱에서는. .

@rlaisqls김은빈 아......... 프사보고 바로 알아봤네요 ㅋㅋㅋ 여기서도 반갑습니다

@2chanhaeng초무 dQw4w9WgXcQ가 아닌게 아쉽네요

@2chanhaeng초무 이상한거 QA 하시네 ㅋㅋㅋㅋㅋ

안녕하세요! 반갑습니다! 저도 Neovim 정말 좋아해요! @rlaisqls김은빈

오늘 옛날옛적 트위터 얘기도 좀 했었는데... 곰곰이 생각해보니 해커스 펍에서 2009년에 트위터 처음 할 때 분위기가 좀 나는 것 같기두 👀

굉장히... 임팩트를 주는 닉네임을 쓰시는 군요.... 안녕하세요!! @user

@fpg123훈이

1. 당장은 웹브라우저로 이용이 가능하고, 앱처럼 쓰고 싶다면 PWA 지원되니 그걸 쓰시는 것오 방법이에요.
2. 전용 어플리케이션은 지원 계획은 있지만, 아직은 진행되지는 않았고... 진행되고 있는건 깃헙 리포지토리가 공개가 되고 있으니 거기서 확인하시면 됩니다.
3. 통로는 찾아보면 많이 있겠지만, 해커스펍에서도 많이 공유해주세요 ㅋㅋ

@fpg123훈이 안녕하세요! 반갑습니다!

많은 관심 덕분에 Hackers' Pub 모임이 성공적으로 마무리되었습니다! 🎉

1회차 발표 주제들은 아래 이미지에서 확인하실 수 있구요, 다음 밋업을 더욱 흥미롭게 만들 연사자도 모집 중입니다! 전문지식·시행착오·독특한 경험까지 환영합니다!

https://forms.gle/1qM2fQmZciZu3erAA

많은 관심 부탁드립니다!

튜사 입장 11시 30분 / 행사 준비 시작 2시 / 행사 시작 3시 / 행사 종료 6시 / 서베이 작성 완료 9시 / 감사 메일 발송 10시 15분 / 외부 연사자 추천 서베이 초안 작성 11시 20분

이렇게... 하루가 끝났다...

다녀왔습니다! 발표도 재밌게 잘 들었어요!!

발표 들어주시고 소소한 얘기에 호응해주신 분들 감사합니다.

덕분에 발표가 너무 즐거웠어요.

다음에는 리스너로 참여하겠습니다!

@z9mb1wwj @catamorphicCata @msy윤민석 @joonnotnotJoon @d01c2Hyunjoon Kim @icecream_mable구슬아이스크림 @minju2996bbang @2chanhaeng초무 @lionhairdino @akastoot악하 @jihyeokJihyeok Seo @linea @woaol벨 @theeluwin제이미 @rangho우주해커 끄적끄적 랭호 📝 @robin @1ho1호 @nebuletoHaze @morealLee Dogeon @harei106Hannah Reinecke @realfishbread최윤희 @jcha0713joohoon @hyunjoon @krepe90남기현 (Krepe) @cetaceanightskyCetacea @aiooAhn Kiwook @ink_punctuation책 읽는 프로그래머 @yg1ee밀

오늘 Hackers' Public 행사 첫번째 모임에 와주셔서 정말 감사합니다! 정말 즐거웠습니다! 잘 들어가세요!

오늘 @TuringAppleDev튜링의 사과 에서 해커스퍼블릭이 열립니다!

Many hard LeetCode problems are easy constraint problems

Link: https://buttondown.com/hillelwayne/archive/many-hard-leetcode-problems-are-easy-constraint/
Discussion: https://news.ycombinator.com/item?id=45222695

@akastoot악하 거의 다 만드신 것 같기도 하고, Fake it Till Make it 전략으로 가실수도 잇죵

@woaol벨 ㅜㅜ

최고으ㅏ 백엔드 개발자 되는 법

#cosmoslide 개발하다가 느낀 뻘 생각

연합우주 서비스를 호스팅한다는 관점에서 봤을때,

• 팔로잉을 한다 -> 외부 인스턴스에서 오는 인바운드 트래픽을 수시로 맞을 준비를 한다.
• 팔로워를 받는다 -> 아웃바운드 트래픽을 와다다다 쏠 준비를 한다.

이런 관점으로 볼 수 있는 것 같다.

외부 연합우주 인스턴스에 큐가 적게 쌓이게 하고 싶다면, 팔로우를 가능하면 하지 않는게 맞다..... 좀 감이 잡히는 것 같음

I wrote a post on my blog after a long time: Recent open source development updates.

@akastoot악하 그게 해커스펍인데용

뭐래. 일본어권 개발자를 위한 dev.to

이건 약간, 개발자를 위한 dev.to 같은 느낌이군

일본어 계정 / 영어 계정 만들어서 발품팔고 다녀야 하나(?)

@2chanhaeng초무 https://github.com/Gargron 마스토돈의 수장이 되는 분이십니다. 갓.그.론 (물론, 연합우주에서의 독보적인 행보로 인한 업보는... 크흡...)