notJoon

파서가 얼추 돌아가기 시작했다. 이제 최적화해야지

〈타입 검사는 해결책이 아니라 증상이다〉(Type Checking is a Symptom, Not a Solution).

난 이 글에 동의하지 않는데, 여러 측면에서 그렇지만, 한 측면에만 집중해서 얘기해 보자면: 좋은 아키텍처는 훌륭한 프로그래머를 요구하지만 타입 시스템은 훌륭한 프로그래머를 요구하지 않기 때문이다.

누구나 훌륭한 프로그래머가 되어야만 하는가? 혹은 될 수 있는가? 좋은 아키텍처를 그릴 수 있는 훌륭한 프로그래머가 아니라면 소프트웨어 개발을 해서는 안 될까? 좋은 아키텍처에만 의존하는 것은 잠재적으로 엘리트주의를 끌어들이기 쉽다: 「어떤 시스템이 오작동하는 것은 아키텍처가 나쁘기 때문이다. 아키텍처가 나쁜 이유는 그걸 설계한 프로그래머가 수준 미달이기 때문이다」와 같이.

반면 타입 시스템은 일단 도입만 하면 누구나 그 덕을 볼 수 있다. 팀 내의 프로그래머들의 역량이 뛰어나든 뛰어나지 않든. 훨씬 평범한 보통 사람에게 유리하다. 타입 시스템이 미봉책일 수는 있지만, 그 미봉책이 더 많은 사람들을 프로젝트에 참여할 수 있게 해준다고 생각한다.

@kodingwarriorJaeyeol Lee @akastoot악하 미리 감사합니다

업무량이 다시 줄어들었다. 다시 주말에 모각코 나가야지

일하면서 논문 써보는 것도 해봐야하는데 https://lemire.me/blog/rules-to-write-a-good-research-paper/

https://contribute-suggestion.vercel.app/
대강 배포는 했어요
프론트 버그가 많아서 고쳐야 하지만 일단 올리긴 올림
깃헙 토큰은 각자 받아서 사용해야 됩니당

Zig도 즐겁습니다

필기할 때 흘려 쓰면 한자도 꽤 빠르고 편하군

GPT 한테 최근 1년간 연구 동향 전부 조사하라고 시킨다음에 미심쩍은 부분만 논문 찾아서 읽는 중

얼추 돌아간다

강화학습 재활훈련을 위한 플레이그라운드를 만들기 시작했다. https://github.com/notJoon/reinforce-learning

@woaol벨 살려주세요

fedify도 다시 슬슬 건드려야 하는데 회사 일의 축복이 끝이 나지 않는군

역시 오후 출근이 좋다

수작업으로 그렸지만 뭔가 중심이 안 맞는 느낌임

지난 몇 달간 htmx로 웹 앱을 만들면서 느낀 점은, 골디락스 존의 하위 50% 애플리케이션에만 htmx가 적합하다는 것이다. 클라이언트 상태를 조금이라도 다뤄야 하는 순간이 오면 불행이 시작된다. 하이퍼미디어 시스템의 철학에 동의하는데, 그 구현은 아일랜드 아키텍처의 접근법이 더 나을 수도 있겠다는 생각이 든다. https://deno.com/blog/intro-to-islands

Here is a first proof-of-concept demonstration of an actual outcome for the erdosproblems/OEIS linkage project. There are a number of Erdos problems relating to irrationality of specific series. I asked an AI to compute several of these series to several decimal places (https://chatgpt.com/share/68b7160a-3d4c-800e-a834-415ee9aac2a8), then entered in these decimal strings into the OEIS search bar. I found several hits, which I then uploaded to the project https://github.com/teorth/erdosproblems/commit/89c3a9c977fd40de74c0ea18d30ff258af053ff3%E2%80%9C .

In particular, I linked Erdos problem 259 https://www.erdosproblems.com/259 to OEIS A371134 https://oeis.org/A371134. In the latter page, there was a reference to a solution to the problem by Chen and Ruzsa https://doi.org/10.1023/A:1004742930674 that was not known to the erdosproblems.com site. So now we can mark that problem as solved!

I think this type of semi-automated literature search could be a good use case for AI tooling, since the (potentially unreliable) output of such AI tools is only used to locate more reliable human-generated resources, rather than being directly incorporated into the final product.

https://keivan.io/the-day-appget-died/

윈도 패키지 매니저 AppGet의 개발자가 WinGet 개발 과정에서 접촉했던 경험을 쓴 글.

MS가 오픈소스 친화적으로 바뀌고 있다고 하지만, 여전히 내부 문화가 매우 관료적이고 사내 정치가 toxic하다고 유명한데, 독립 개발자로서 MS와 컨택하는 일이 어떤 것인지 잘 알려주는 사례라고 봄.

Special thanks 한 줄만 적어줬어도 그가 분노하지는 않았겠지만, 그 한 줄 넣기가 어려운 게 Microsoft겠지.

확실히 스타트업에 들어오고 충분한 시간이 지나면 풀스택이 되는게 맞다

10만년만에 백엔드 코드를 건들기 시작했다

Tiny Datasette Uses USB For the Modern Day

https://hackaday.com/2025/09/01/tiny-datasette-uses-usb-for-the-modern-day/

혹시 번역본이 편한 분은 여기에 번역본이 있습니다.(notJoon님 말고 다른 분들 보시라고 링크 달아 둡니다.)
https://eatchangmyeong.github.io/2022/12/04/parse-don-t-validate.html
@joonnotnotJoon

@z9mb1wwj @kodingwarriorJaeyeol Lee @akastoot악하

@akastoot악하 @kodingwarriorJaeyeol Lee 제 강의료가 비싸서요

Parse, don’t validate는 언제 읽어도 좋은 글이다 https://lexi-lambda.github.io/blog/2019/11/05/parse-don-t-validate/

@kodingwarriorJaeyeol Lee 가을이 오고있는지 멘헤라가 제철이네요

저번주는 상당히 멘헤라 상태였지만 다시 정신 차림

I just published a blog post on the use of type-level programming in TypeScript. It was originally a section of the larger post I’ve been alluding to but I broke it out and expanded it. It’s much more of an opinion piece than most things I write but I’d like to think I have a few decent insights in there. Please check it out and let me know what you think.

https://jnkr.tech/blog/expressive-types-tradeoffs

#programming #typescript

코드를 짜야 하는데 가장 큰 걸림돌을 그러고 싶지 않다는 것 정도?

오늘 면접 진행(정확히는 시간 끌려고 들어간 것이지만)하면서 GraphQL 관련한 질문을 받았지만 기본적인 것만 알다보니 답변이 영 만족스럽지 못했다. 깊게 파봐야지

GPT5 꽤 괜찮은듯? 알고리즘 설계한거 의사 코드 던져줬는데 엣지케이스 바로 찾아줌

질문이 너무 어려워요

오늘 면접 들어가야 하는 담당자가 지각을 해서 30분간 시간을 끌어야 했는데, 마침 면접 보러오신 분이 OSSCA 신청을 했었다고 해서 그걸로 자연스럽게 얘기를 이끌어나갔다. 하지만 그래도 좋은 면접 경험을 제공하지 못한 것 같아서 마음이 아프군

look at this big fucking cat ​​

Today is the new semester for @CMUDBCMU Database Group's Intro to Database Systems! We're going harder into material than ever before. Projects are more challenging but you can use LLMs to help. We also have 10min talks each Wed from leading DB companies. Follow from home/prison on YouTube: https://15445.courses.cs.cmu.edu/fall2025

Everything is available for free to non-CMU students:
• Lectures on YouTube: https://www.youtube.com/playlist?list=PLSE8ODhjZXjYMAgsGH-GtY5rJYZ6zjsd5
• Slides + Notes + Homeworks on course website.
• Project source code on GitHub: https://github.com/cmu-db/bustub
• Grading with Gradescope (see FAQ ➡️ https://15445.courses.cs.cmu.edu/fall2025/faq.html#q7)

Special thank you to our Affiliate companies for their support this academic year:
• ClickHouse
• DataStax
• dbt Labs
• Firebolt
• MotherDuck
• RelationalAI
• SingleStore
• SpiralDB
• PingCAP / TiDB
• Yellowbrick
• Yugabyte

급작스럽게 해외로 출장가게 됨

Hackers' Pub은 현재 Fresh 프레임워크로 만들어져 있는데, Fresh 프레임워크의 한계를 벗어나기 위해 GraphQL + SolidStart 스택으로 넘어가는 작업(web-next)을 진행중입니다. 진행 상황을 관리하기 위해 에픽 이슈를 만들었습니다.

시부야 핫플에 옴

합주하려고 외국까지 온 건 처음인데 꽤 재밌다

일본와서 코드 한 줄도 안 짜고 사리사욕을 채우는 중

머지가 되었다는 소식

역시 수제코딩을 해야 감각이 늘고 리터러시가 생긴다..... 뇌에 힘주고 해야하는건 수제코딩..

@2chanhaeng초무 자유는 쟁취하는 것이니까요

책 샀음. 공부의 목적이라기 보단 존재하길래 샀다.

라이프타임의 추론에 대해서 정리를 하고 walkthrough를 작성해봐야겠다

@2chanhaeng초무 ts-ignore을 하니 자유로워졌어요

로컬 LLM용 GPU 클러스터를 만들고 싶어짐. 이유는 낭만있어보여서

졌음

오늘은 any 타입과 싸웠다

@hongminhee洪 民憙 (Hong Minhee) 파일들을 쌓아두다 보니까 관리가 잘 안되는 느낌도 있는 것 같아요. 이건 조만간 한번 회사 쪽에 얘기를 해봐야겠습니다