남들에게 알려주면 굉장히 재미있어할만한 코딩지식이 있을까?

마인크래프트 내에 레드스톤으로 물리적으로 언어모델을 만든 사람이 나타남... 그러니까 간단한 디지털 회로도 아니거 언어모델을 만듬 ㅋㅋㅋ 외부 언어모델을 연결한것이 아닙니다;; 말그대로 트랜스포머를 구축해놨던데 세상은 넓고 천재는 많다... www.youtube.com/watch?v=VaeI...

I built ChatGPT with Minecraft...

요즘 리모트 서버에서 코딩을 하고 있는데, 클로드 코드 돌려두고 자꾸 멍때리게 되어서 디스코드 알람을 만들었다

타입시스템이 충분히 좋은 언어는, 특정 함수(타입을 만족하는 프로젝트 내의 아무 함수)를 CLI 바이너리로 빌드하는 기능을 one-liner로 지원할 수 있을 것이고, 그건 아마 지원할만한 기능일 것이다.

Context: Cabal의 어떤 내부 함수를 끄집어내서 CLI 툴로 만드는데 황금같이 귀중한 내 주말을 써야했다.

주로 하스켈만 하는 분께 좀 유명한 JS 라이브러리의 깃헙 링크를 공유드렸는데, 스타가 10k인걸 보고는 엄청나게 훌륭한 프로젝트인가보다... 하시길래 / 20 정도로 보정을 하라고 했다.

• 하스켈 리포트: WellTyped에서 작성한 하스켈 생태계 활동 보고서
• 언어 서버: HLS(Haskell Language Server)
• 번역 링크: https://rosettalens.com/s/ko/haskell-ecosystem-report-june-august-2025

My windows is kind because, they removes my cli tool path to automatic, no ask. :)

브랜치명은 해결하려는 문제가 아닌 시도하는 방법을 묘사해야한다.

Claude와 함께 react-form-mozard 문서를 만들었다. 2년전에 만들었는데 귀찮아서 문서 안쓰고 버티고 있었다.

글은 Claude가 다 썼는데 솔직히 맘에 안든다(하지만 장기적인 협력을 고려해서 일단 칭찬했다).

요즘 개발 스터디나 모각코가 예전만큼 열리지 않는 것 같다는 이야기를 나눴다. 바로 떠오른 게 페이스북이었는데, 페이스북을 사람들이 덜 쓰게 되면서 페이스북 그룹 같은 (접근성이 좋고 열려 있는) 모임 공간을 만들고 접하기 어려워진 게 크지 않을까 하는 생각이 들어 그렇게 말씀드렸다. 내가 그런 게 열리는 사회에서 멀어진 게 원인일 수도 있겠지만..

최근 하스켈 리포트를 보니, 언어 서버 지원이 뭔가 바뀌었답니다.

Hannes made hie-bios use Cabal’s --with-repl command to load the session, which greatly simplifies the implementation and its treatment of multiple home units

이런 게 있네요. 당연히 --with-repl 로 했어야 하는 것 아닌가, 기존에는 어떻게 했나 찾아보니, 각 툴들이 각자 도생하고 있었다네요. 명확히 동일한 환경으로 언어 서버가 실행되는 줄 알았는데, 아니었나 봅니다.

macOS Tahoe에서 일렉트론 애플리케이션이 말도 안되게 느렸던 이유는 Liquid Glass 도입으로 시스템에 전반적 연산이 늘어난게 아니라 Electron이 AppKit의 private API를 잘못 쓰면서 WindowServer에서 GPU를 미친듯이 쓴 것이었다.

https://github.com/electron/electron/pull/48376

3년 전 파이콘 갔던 사진이 구글 포토에 추억 여행하라고 떴는데 ㄹㅇ 그때 파이콘은 엄청 부자였구나
그땐 그냥 파이콘에서 점심을 줬음ㅋㅋㅋ

요즘은 좀 나아졌겠지만 내가 프론트엔드 개발 한창 하던 때만 해도 디펜던시 지정 제대로 안 해서 yarn pnp나 pnpm 쓰면 깨지는 패키지가 꽤 자주 있었다...

pnpm에는 --shamefully-hoist라는 옵션이 있군 ㅋㅋㅋㅋㅋ

AP vs ATproto 논쟁 끝내는 법
둘을 합친 또다른 오픈 쏘쌸 프로토콜을 만든다
이제 AP vs AT vs 또다른 프로토콜 논쟁이 됨\

오늘은 https://www.acmicpc.net/problem/27157 이 문제를 러스트로 풀겠다고 삽질하다가 시간만 날리고 C++로 풀었다...🥲

yt-dlp 쓰려다가 403 Forbidden 떠서 이슈 트래커 가 보니 원 세상에 이런 전쟁통이 있나. 혀를 내두름 https://github.com/yt-dlp/yt-dlp/issues/3766

fedify를 다른 프로그래밍 언어로 사용할 수 있다면, 어떤 언어가 좋으신가요?

Python -> 하트 Rust -> 축하

기타 언어는 답글로 달아주세요.

#시장조사

JAR로 되어있는 한글 형태소 분석기 라이브러리인 꼬꼬마 2.0과 Maven에 게시된 open-korean-text를 C#에서 프로젝트 구성없이 불러다 쓰는 예제입니다.

C# 코드 파일과 XML 설정 파일만 있으면 Maven과 JAR 패키지도 손쉽게 가져와서 C#으로 코딩할 수 있습니다. C# 파일 하나만 바라보면 될테니 코드 어시스턴트의 도움도 마음껏 받을 수 있으니 더욱 좋겠죠!

https://forum.dotnetdev.kr/t/file-based-app-maven-jar/13803

#Java #닷넷 #크로스오버 #Maven #NLP

요즘에는 타입스크립트로 이상한 핵 안쓰고 LR 파서를 100% 타입세이프하게 구현할 수 있는지 테스트해보고 있다

memo: あとでやる

https://codeberg.org/AmaseCocoa/fedlogin

역시 최고의 장애대응은 롤백이다. (한달간의 내 코드 돌려내)

Why doesn't Bash's programmable completion provide the cursor offset within the word being completed? With all the complexity around word splitting—shell quoting, escpaing, expansions—figuring out the intra-word cursor position by hand is a nightmare. Would it really be so hard for Bash to offer this info natively, rather than leaving script authors to replicate the shell's own parsing logic?

오늘은 오랜만의 회사 일???로 IDC에 갔다 IDC란걸 처음 가봤는데 이렇게까지 에어컨 바람이 강력한줄은 몰랐다 종이박스 정도는 그냥 날아가네

디노 붐은 온다

I've signed the Plan Vert letter, calling on Rails Core and the wider Ruby community to fork Rails and cut ties with DHH and his work.

Please sign, the future of Rails and Ruby depends on it. https://github.com/Plan-Vert/open-letter

Graal Truffle tutorial part 0 – what is Truffle? via @ahelwerAndrew Helwer https://lobste.rs/s/3sg5sy #compilers #java
https://www.endoflineblog.com/graal-truffle-tutorial-part-0-what-is-truffle

레거시 만지니까 느껴지는 상태기반 프론트엔드 개발의 소중함

캬 요맛에 홈서버 열지 짜릿하다 짜릿해

lens 라이브러리의 타입들은 optics(광학기구)라고 불립니다. 여기에는 Prism, Lens, Iso, Traversal, Fold, Getter, Setter 같은 것들이 포함됩니다. 이 이름들 중 일부는 빛의 굴절에 대한 말장난에서 비롯되었습니다. 예를 들어, 렌즈(lens)는 망원경이 풍경의 작은 일부를 시야 가득히 채워 보이게 해주는 것이고, 프리즘(prism)은 흰빛을 분리하여 그 구성 색들을 드러내 줍니다. 어느 정도는 은유가 담겨 있지만, 이런 이름들은 깨달음을 주기보다는 귀여운 쪽에 가깝습니다. 따라서 이름 자체에 너무 깊이 집중하는 것은 권하지 않습니다.

— 《Finding Success (and Failure) in Haskell》, 158쪽

아 재밋다

도메인 검색하면서 .uk 도메인 가격 볼 때마다 욱으로 끝나는 이름 가진 사람들은 자기 이름 달린 도메인 싸게 사겠지 싶어서 묘하게 부러움

요것이 진정한 Domain-Driven Development...

프로젝트 홍보: No programming language https://github.com/hoxy/no-lang

최근에 Apple의 Pkl에 옵션 추가하려 한 게 내 예상보다 스코프가 넓어서인지 SPICE(Pkl의 기능제안 프로세스인 듯) 작성해달라는 요청을 받았음. 문서 길이가 길어서 제미나이 CLI한테 내 PR 내용과 이미 있는 SPICE들 읽어서 작성해달라 요청했더니 소소한 실수 몇 개 빼고는 꽤 만족스럽게 작성해줬다!

https://github.com/apple/pkl-evolution/pull/24

AI와 함께 오라클 클라우드에 terraform으로 쿠버네티스 클러스터 올리기 해서 결국 성공했다... 맨날 콘솔로 만들땐 실패했었는데 역시 오라클은 자체서비스 믿지말고 무조건 외부서비스를 사용해야 한다는 생각이 더 강해졌다...

Its been a while! I just added #HackersPub (https://hackers.pub), #Elk (@elk) and #Elgg (@elgg) icons to https://iconography.fediverse.info

#코딩IDE

나중에 나올 IDE들은, 로컬 모델을 기본적으로 탑재하거나 뭐 그렇지 않을까?

http://logitext.mit.edu/main 재미있는 웹 앱 중 하나. 논건 대수(Sequent Calculus)를 사용해 1차 논리("모든 대상에 대해"나 "어떤 대상이 있어"를 서술할 수 있는 논리)의 명제를 상호작용을 통해 증명해 볼 수 있다. 예를 들어 A /\ B -> A (A 그리고 B이면 A이다)를 증명하려면

• 위 명제를 입력칸에 넣는다.
• ->를 눌러 명제 안의 "이면"을 증명에서 쓸 수 있는 가정(|-의 왼쪽에 있는 것)으로 바꾼다.
• 가정의 A /\B를 눌러 "그리고"의 양 측에 해당하는 가정 A와 B 각각을 얻는다.
• 가정이나 결론의 A를 눌러 가정을 사용하는 것으로 증명을 끝낸다.

보다 입문자에게 친절한 설명은 http://logitext.mit.edu/tutorial 에서 읽어볼 수 있다.

나는 매킨토시로 일기쓰는 사람이다 무섭지

rangho.is 사고싶다

그러면

• 블로그는 rangho.is/thinking에
• 메모장은 rangho.is/knowing에
• 발표자료는 rangho.is/talking에 다 집어넣을 수 있을텐데

너무 이른 시점에 일반화를 걱정하는 것은 위험할 수 있습니다. 자신이 코드를 작성하든 다른 사람의 코드를 이해하려 하든, 우리는 이 책에서 취한 접근 방식을 따를 것을 권장합니다. 즉, 일반적인 것부터 시작하지 말고 구체적인 예시부터 시작하세요. 그런 다음 그들이 어떤 측면을 공유하는지 관찰하세요. 학습자로서 이러한 순서는 더 쉬운 구체적인 예시를 토대로 더 어려운 추상적 개념을 이해할 기회를 더 많이 제공합니다. 저자로서 이러한 순서는 더 추상적인 발상이 타당성을 갖고 목적을 지닐 수 있도록 도와줍니다.

— 《Finding Success (and Failure) in Haskell》, 149쪽

문서와 플러그인 차이 때문에 결국 pulumi에서 terraform으로 갈아타고 말았다...