얼추 돌아간다

강화학습 재활훈련을 위한 플레이그라운드를 만들기 시작했다. 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) 파일들을 쌓아두다 보니까 관리가 잘 안되는 느낌도 있는 것 같아요. 이건 조만간 한번 회사 쪽에 얘기를 해봐야겠습니다

회사의 다른 레포들 보고 있는데 zero install 방식을 사용하고 있는 곳이 보인다. 근데 아무리봐도 캐시에다가 패키지 파일을 쌓아두는게 썩 좋은 방법 같아보이지는 않는데 내가 모르는 뭔가가 있는건가

러스트의 ICE 관련 이슈는 파보면 확실히 난이도가 높다. 이번에 본건 조기 종료 때문에 에러가 전파되지 않는 것이 문제인 줄 알았는데, Higher-Rank Trait Bound와 concrete 타입 간의 불일치를 처리하지 못해서 equality 검사를 하기 직전에 뻗는 것이였음.

<최초의 역사 수메르>라는 책을 읽고 있는데 두께에 비해 난이도 쉬워서 금방 읽게된다. 근래 읽은 것 중에서 가장 재밌음.

또 글쓰다가 막바지에 힘빠져서 날림으로 씀

@kodingwarriorJaeyeol Lee 근데 브런치만 미리보기 링크에 undefined가 추가되네요. 나머지는 괜찮은듯요

https://brunch.co.kr/@<user_id>/2#:~:  // 일반적인 링크
https://brunch.co.kr/@<user_id>/undefined/@<user_id>/2#:~:text // 미리보기 링크

미리보기 이미지를 클릭하면 404가 뜨는데 링크를 클릭하면 잘 표시가 된다. 이슈 생성하러 가야지

블로깅의 쇠퇴, AI의 끝없는 학습, 비공개 플랫폼(Discord 등)으로의 이주, 짧고 중독성만을 강조하는 피드와 BM, 한 번 보면 다시 찾기도 힘든 SNS 포스트, 범람하는 가짜뉴스와 개소리와 혐오... 웹은 정보의 망망대해도 아닌 소행성대로 변해가고 있다.

Hacker’s Pub/Sub