zsh 쓰지도 않고 써 본 적도 없는데 zsh에서 완성(completion) 함수 어떻게 만드는지 배우고 있음…

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

@bglbgl gwyng 요즘에는 점점 별로가 되어가고 있지만, 그래도 그럭저럭 좋은 편이라고 생각하는데… 어떤 점이 불만이신가요?

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

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

@xiniha 그거 당장 쓸 수 있어요? 잘 몰라서… @z9mb1wwj

요즘 한 번쯤 시도해 보고 싶은 언어들: MoonBit (@moonbitlangMoonBit), Gleam, Swift (@swiftlangSwift Language).

@z9mb1wwj Haskell → 😂

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란걸 처음 가봤는데 이렇게까지 에어컨 바람이 강력한줄은 몰랐다 종이박스 정도는 그냥 날아가네

예상대로 첫 시도는 그냥 엎는 걸로… 😂

Optique에 미루고 미루던 셸 완성 기능을 구현해 보고 있다. 첫 시도라 아마도 엎을 것 같긴 하지만… 🙄

디노 붐은 온다

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

@cocoaAmaseCocoa Holloの場合、@fedify/postgresパッケージを使用しており、ここでPostgreSQLのLISTEN/NOTIFY機能を活用してPostgresMessageQueueを実装しています。

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

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

@2chanhaeng초무 비싼 투두 리스트입니다만?

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

@xtjuxtapose 네, 이슈로 만들어 주시겠어요? 그리고 일단은 임시로 본문을 <!-- -->으로 채워 넣는 꼼수가 있긴 합니다… 😂

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

#코딩IDE

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

@lionhairdino 저도 제 글이 널리 읽히면 좋죠!

@curry박준규 @lionhairdino 저는 괜찮습니다! ㅎㅎㅎ

@lionhairdino 여기서 볼 수 있군요 ㅎㅎㅎ

@lionhairdino 엥, 저런 뉴스레터가 있군요?

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으로 갈아타고 말았다...

Real world Haskell use case arrived

https://tidalcycles.org/

최종적으로는 Monorepo로 구성했다. 각각이 장단점이 있는 선택지라서, 고민고민하다가, 개발중 반복작업을 최소화하는 쪽과 미래의 누군가 유지보수하기 편한 (혹은 내가 유지보수한다면 좀 더 편할 것으로 예상되는) 쪽에 무게를 두기로 했고 그렇게 Monorepo로 결정했다. 결국 AI의 추천대로 흘러가고 있..

최근 디스코드 메시지를 모바일 앱에서도 종종 확인해야 하는 경우가 있는데, 메시지의 글씨 크기가 작아서 불편하던 차에, 클래식 채팅 문자 크기 라는 옵션이 켜져있고 이 옵션이 켜져 있으면 글씨 크기가 작아진다는 것을 알게 되어, 바로 옵션을 꺼버렸다. (중년 개발자들에게 이 옵션을 끄는 것을 추천합니다.)