리액트, Next.js로 완성하는 프론트엔드 - TypeScript 기본기부터 React, Next.js를 활용한 프로젝트, Git/GitHub까지 (강경석 (지은이) / 영진.com(영진닷컴) / 2025-10-20 / 36,000원) https://feed.kodingwarrior.dev/r/GwRzhD

https://www.aladin.co.kr/shop/wproduct.aspx?ItemId=373331965&partner=openAPI&start=api

오늘은 (enhanced) ER model 챕터들 좀 읽고 러스트 덕질 좀 하다가 리트딩코 몇 개 풀고 자야겠당

DB 책 보는데 논리학 기본 파트들을 쭉 훑어주길래 올만에 복습이나 할까 하면서 보고 있는데 문제는 영어 원어가 안 적혀져있고 다 번역어로만 적혀있어서 다시 역으로 번역하면서 보고 있음...정량자는 quantifier, 속박변수는 bound variable, 범용정량자는 universal quantifier 등등..이런 용어들 학교 다닐 때 형식 의미론 수업에서 영어로만 배웠지 (근데 그마저도 가르치는 교수가 막말로 더럽게 못 가르쳤음) 한국어로는 사실상 처음 보는 거라서 좀 헤매고 있다 😵‍💫

부산 내려가자마자 딩코 해야할 거 있어서 첫날 오전 공연들은 놓쳤지만 그래도 그 날 포함 총 3일 동안 정말로 재밌게 보냈다...울고 웃고 방방 뛰고 슬램 하고 목소리 터져라 노래 따라부르고 누군지도 모르는 사람들이랑 진흙밭에서 같이 춤추고 어깨동무하고 기차놀이하고..어른인 척 하나도 안 해도 되어서 너무 좋았음 내년에 갈 수 있으면 또 가야지!! 이제 다시 딩코의 세계로!!

예전에 우스개소리로 낮에는 프로그래머 저녁에는 락밴드 기타리스트로서의 삶을 살고 싶다고 했는데 정신 차리고 보니 진짜 IT쪽으로 취준하고 있고..오타쿠 밴드에서 곧 공연한다고 열심히 기타 연습하고 있고..둘 다 잘 돼면 정말 행복할 것 같다는 생각이 들었다

인생의 대부분을 락음악을 좋아했던 사람으로서 밴드 활동을 실제로 하고 또 밴드 음악을 좋아하는 사람들을 위한 서비스를 해보고 싶은데 뭐가 있을까? 그런 게 있으면 누가 좀 데려가줬으면 좋겠고 아니라면 혼자서 좀 생각해봐야할 듯...스포티파이같은 음원 스트리밍 서비스가 메인인 곳에서 일해보고 싶기도 하다..물론 뽑아주면! 부산락페에서 너무 재밌게 즐기는 와중에 생각나서 써봄.

오늘의 딩코는 여기까지!! 이제 부산락페 가서 씐나게 즐길 거야!!!!!

Resurrect the Old Web

Link: https://stevedylandev.bearblog.dev/resurrect-the-old-web/
Discussion: https://news.ycombinator.com/item?id=45372113

도배금지 필터링 따위...2000년대 초반 야생의 온라인 게임 시절을 거친 날 막을 수 ㅇ벗다

대학원 다닐 때 주로 썼던 통계기법이 일반화/선형 혼합효과 모형(+베이지언)이었는데 데이터 분석쪽에서 쓰이는 가설검정 기법들은 딱 통계분석 책 피면 항상 나오는 t-test, ANOVA나 책 후반 챕터들에 나오는 Chi-squared test 같은 것들이 대부분인 것 같다. 역사가 깊고 보수적인 기법들이라서 그런 건가? 비슷하게 A/B testing도 처음에 볼 때 이게 뭐지 하다가 그냥 two-sample independent sample design^[1] 갖고 검정 돌리는 거였다는 걸 깨닫고 나선 이름을 왜 이렇게 헷갈리게 지었을까 싶었음...여튼 실제 산업에서 쓰이는 데이터는 샘플 사이즈가 나 대학원 다닐 때 썼던 거에 비하면 엄청 커서 뭔가 복잡한 걸 쓸 것 같았는데, 저번에 파이콘에서 알게된 데이터 분석가분한테 얘기 들은 것도 그렇고 오히려 크니깐 그냥 안전빵(?)으로 t-test같이 많이들 알려져 있는 걸 쓰는 건가 싶다. 뭐...무슨 기법을 쓰든 결국엔 데이터를 얼마나 잘 모았느냐가 제일 중요한 거겠지만.

데이터 분석가를 위한 데이터 엔지니어링 기초 다지기 with Python - 2025년 초판 (Evan (지은이) / 부크크(bookk) / 2025-09-02 / 37,300원) https://feed.kodingwarrior.dev/r/GGS0a8

https://www.aladin.co.kr/shop/wproduct.aspx?ItemId=373019408&partner=openAPI&start=api

연결리스트 거꾸로 하는 거 오랜만에 다시 보니깐 머리 터질 것 같아

부산락페 갈 준비 얼추 완료...!! 오늘은 (easy의 탈을 쓴) 알고리즘 문제들 쭉 풀다가 자야겠다

이번주 일본어 과외 받는 거 끝...이제서야 동사 존댓말/반말 + 부정/과거부정이랑 여기서 나오는 불규칙 변화들이 좀 머릿속에 들어오는 듯. 역시 언어학 전공했더라도 외국어 배우는 거랑은 그닥 크게 상관 없다니깐? 결국엔 달달달 외워서 자꾸 써봐야함...그래도 일본어 선생님이 보통 여기가 히라가나 다음에 겪는 통곡의 벽이라고 하셨는데 잘 하고 있다고 해주셔서 기분 좋았다.

Introduction to Programming Languages

Link: https://hjaem.info/itpl
Discussion: https://news.ycombinator.com/item?id=45311498

Please help me list math formalization projects looking for volunteers:

https://mathoverflow.net/a/500723/

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

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

러스트로 간단하게 별찍기 문제 풀었는데 파이썬이랑은 다르게 repeat()이란 함수란 게 있어서 신기했음...

# Python starrrrrrrs
for i in range(1, 4):
    print("*"*i)

// Rust starrrrrs
fn main() {
    for _i in 1..4 {
        println!("{}", "*".repeat(_i))
    }
}

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

오늘도 러스트를 덕질하고 리트딩코를 합시다

존X 예전에 끝난 밴드 티셔츠랑 포스터 사러 갈 성덕은 그저 기쁠 뿐입니다

그냥 간단하게 디버깅 하는 건데 vscode 켜서 또 이거저거 환경 셋팅하기 귀찮고 그럴 때가 종종 자주 있어서 요즘은 웹에다가 online python 대충 이렇게 검색해서 거기에다가 돌리면서 함...

오늘도 COMPILING!

어차피 살거라면 펀딩할때 일찍,싸게(아마도?) 사자 https://event.kyobobook.co.kr/funding/detail/336

C를 해본 게 있어서 그런가? 러스트 진짜 편하네 컴파일 오류 메세지도 되게 친절하고...

https://rosettalens.com/s/ko/ewd667

요전번에 산 책 '관계형 데이터베이스 실전 입문' 첫 챕터를 정리했다. 정리하는 김에 원래 대학원에서 썼던 학술용 홈피도 싹 다 갈아엎을 겸 해서 맘에 드는 테마 하나 포크해서 블로그도 다시 만들어서 첫 포스트로 써서 올림...글로 쓰다보니 뭔가 보충하면 좋을 것 같은 내용들이 보였는데, 특히나 관계형 모델에서 튜플(=행)은 하나의 집합이라서 그 원소가 사실 순서가 없어도 되는데 실제 SQL로 표현되는 테이블에서는 순서가 있어야한다는 지점이 흥미로워서 다른 DB 개론서들 보면서 그 내용들을 추가하다보니 결국엔 형식적으로 정의하는 부분까지 넣게 됐다. 써놓고 보니 배보다 배꼽이 더 커진 듯한 느낌이지만...뭐 어때, 재밌으면 됐지!

몸살 난 거 컨디션이 좀 좋아졌으니 DB 공부한 거 포스트 정리를 좀 해볼까...!

몸살 났는데 그 와중에도 좀 괜찮아지니 (안 괜찮음) 딩코를 생각하는 나란 녀석이란 훗…아니 쯧쯧

오늘 밴드 합주하는데 우리가 대여한 연습실이 천장에서 물이 새고 있었다. 다행히 앰프라든가 그런 장비에 영향을 끼치는 건 아니었지만 어찌됐든 중간중간 관리직원분이 오셔서 고치셨는데 뭔가...할 일을 분명 다 하신 것 같은데 우리 봇치 노래 하는 거 들으시곤 일부러 없는 일 만드셔서 계시는 것 같았음. 관상(???)도 뭔가 오타쿠처럼 보이셨고...나만 그렇게 느낀 줄 알았는데 밴드 멤버들 모두가 다 비슷한 생각을 했다고 해서 좀 웃겼다 ㅋㅋ

최근 며칠간 WAH라는 이름의 WebAssembly 인터프리터를 만들고 있다. ~와! 샌즈!~

WAH의 특징이라면 C로 작성되어 있는데 헤더 하나로 구성되어 있다는 점과, 거의 대부분의 코드를 Gemini가 짰다는 것 정도일까? (Claude Code도 좀 사용했지만 코드 생성은 Gemini가 다 했다.) Gemini가 디버깅을 시키면 답답한 게 사실이라서 최대한 프롬프트에 정보를 많이 넣고 few-shot으로 생성하게 하는 걸 목표로 했는데 생각보다 잘 되었다. 예를 들어서 한 프롬프트는 다음과 같았다. 저 문장 하나 하나가 시행착오의 결과이다.

@wah.h 에 if~else~end 명령을 구현하고, 대응되는 test_*.c 파일들이 모두 성공하도록 (또는, 해당 테스트에서 잘못된 점이 있을 경우 그 원인을) 고쳐줘. 아직 loop 관련된 코드는 처리할 필요 없고 테스트 중에 그걸 테스트하는 게 있다면 주석 처리해(지우지는 마). 컴파일과 실행은 &&로 한 번에 하도록 해. 정확한 구현 방법은 이래야 해: if~else~end에서 마지막 end는 사라지고, if는 else 직후 명령으로 이동하는 conditional jump로 재활용하며, else는 unconditional jump로 바뀌어(즉 실행기 입장에서 br과 else의 동작은 똑같아야 해! else를 아예 없애고 br로 대체할지 말지는 알아서 정해). 그러니까, if A B C else D E F end G 같은 명령이 있다면 preparsing 이후에는 if <offset to D> A B B C else <offset to G> D E F G 형태가 되어야 한다는 뜻이야. WebAssembly 명세에 따르면 if 문에는 block type이 따르는데, 이 타입을 사용해서 validation을 진행하는 것도 정확히 구현해야 해(block type이 function type (T1..Tn)->(U1..Um)이면 현재 스택에 T1..Tn 타입이 들어 있고 end 이후에는 U1..Um 타입이 들어 있어야 하고, 일반 타입 T가 들어 있다면 ()->(T)와 동일하게 취급함). block type은 validation 이후 preparsing 과정에서 사라져서 런타임에는 반영되지 않도록 해.

솔직히 너무 많이 요구하는 거 아닌가, 안되면 validation 부분을 어떻게 뺄지 고민하고 있었는데 시도 세 번만에 800줄짜리 diff가 떡하니 나오고 일단 보기에는 틀린 부분이 없어서 놀랐다. 물론 삽질도 많이 했는데 가장 많이 한 삽질은 테스트를 작성할 때 수동으로 WebAssembly 바이너리를 짜면서 바이트 숫자를 잘못 세어서 오류가 나는 거랑, 분명 WebAssembly opcode를 사용해야 하는데 자기 마음대로 코드를 정해 버린다거나 하는... 그런 우스운 상황이었다.

우습기도 하고 놀랍기도 하지만 이 코드를 내가 직접 짜지 않는 이유는 귀찮아서...라기보다는 내가 이걸로 하고 싶은 일이 따로 있고 WebAssembly 인터프리터를 만드는 게 주 목표는 아니기 때문이다. (원래 하고 싶은 일은 나중에 언급할 듯.) WebAssembly 구현이라고 하면 기술적으로 복잡해 보이지만, 내 용도에서 유래하는 몇 가지 조건(대표적으로 결정론적인 동작)을 제약으로 걸면 기술적으로 복잡하다기보다는 그냥 노가다에 가까워지기 때문에 끌리지 않는 것도 있긴 하다. 이전의 Angel이 과연 얼마까지 바이브 코딩으로 할 수 있는지를 테스트하는 목표였다면, 이번에는 정말로 목표를 달성하는 수단으로 기능할지 실험해 볼 작정이다.

히힛 꽃게 먹어야징

하나의 유령이 해커스펍을 배회하고 있다. 아재개그라는 유령이

C++에서 UB는 하드웨어 수준에서는 UB가 아니라고 생각했던 얼마 전에 나어게 경종을 올렸던 글. "Pointers are complicated" 시리즈. 주로 Rust에 관한 글이지만 abstract machine, memory model의 개념은 C++에도 있으며 하드웨어와는 확연히 다르다. 특히 포인터가 얼마나 까다로운 개념인지, 컴파일러가 어떠한 가정하에서 최적화를 수행하는지 다시금 익혔다.

• https://www.ralfj.de/blog/2018/07/24/pointers-and-bytes.html
• https://www.ralfj.de/blog/2019/07/14/uninit.html
• https://www.ralfj.de/blog/2020/12/14/provenance.html
• https://www.ralfj.de/blog/2022/04/11/provenance-exposed.html

假稱(가칭) 「Fedify Studio」라는 웹 基盤(기반)의 ActivityPub 디버깅 및 開發(개발) 道具(도구)를 만들어 볼까 생각 中(중)입니다. fedify inbox 커맨드나 ActivityPub.Academy의 強化版(강화판) 같은 것으로, 액티비티 테스트, 액터 인스펙터, 聯合(연합) 이슈 디버거 等(등)을 제대로 된 UI로 提供(제공)하는 느낌인데요. ActivityPub 開發者(개발자) 분들께 需要(수요)가 좀 있으려나요?

사실 책 내용들을 내 식대로 글로 정리하면서 읽다보니 아직 초반부에 머물고 있긴 한데, 정리하다보니깐 뭔가 좀 설명이 부족한 게 보이는 것 같아서 (예: 정의가 느슨한다든가 어딘가 설명이 더 들어가야할 것 같은데 빠져있는 것 같다든가) DB 개론서들 몇 권이랑 해서 같이 보니깐 예전에 수업 들었을 땐 꽤나 중요하게 다루어졌다고 생각됐던 개념들은 언급이 잘 안됐다든가 (예: Key에 대한 설명들) 중요해보이는 가정이나 수리적 정의가 아예 스킵이 됐다든가 하는 게 보임...근데 또 한 편으론 저자 입장에선 최대한 독자들한테 부담을 안 줄려고 액기스만 뽑으면서 전공서적과 기술서적 사이의 밸런스를 맞추려 하다보니 이렇게 쓴 게 아닐까 하는 뇌피셜이 오가고 있다. 좋은 점은 저자가 DB가 구축될 때 사용되는 추상적/논리적 개념들이 실제 SQL 수준에선 어떻게 이루어지는지 종종 비교해준다는 거다. 예컨대 Relational Model에선 튜플(=행(row))은 속성(attribute)이랑 그 값이 서로 대응만 한다면 기존 집합의 원소들처럼 순서가 따로 없어도 되는데 실제 SQL에선 순서가 있다는 걸 비교해서 보여준다든가 등등..여튼 그렇다.

#레퍼럴프로젝트

이제 자신이 보여주고 싶지 않은 추천사를 가리는 기능도 추가되었습니다. 메인 페이지에서 링크 타고가시면 사용 가능해요. 많은 이용 부탁드립니다.

https://referral.akaiaoon.dev/ 이 링크에서 사용 가능하고, 내가 받은 추천사는 https://referral.akaiaoon.dev/u/:username 으로 볼 수 있습니다. 아래 말코링님의 추천사 리스트를 참조해 주세요.

레디스 창시자 Antirez(=살바토레 산필리포)도 새로 나온 아이폰 UI가 너무 맘에 들어서 그거 만든 사람들 고용 너무하고 싶다고 함...이 세상에서 제일 어려운 방탈출 방 만들어달라고.

부산 잘 아시는 분...다음주 금토일에 부산락페 가는데 서울에 비하면 부산 많이 더우려나요? 서울촌놈이 여쭈어봅니다 👀

한 챕터 후딱 읽었다 역시 나같이 무식하게 공부하는 사람들은 꼭 한 번 겁도 없이 고급주제에서 깨부당하면서 빙빙 돌다가 다시 내려와서 초급부터 다시 시작해야함

자기 싫어 DB 개론책 좀 읽다가 잘 거야

"두통과 함께하는 사람들"은 다음 주(22일 ~ 28일) 편두통 인식 개선 주간을 맞이해서 광화문에서 커피차 이벤트를 진행합니다! 주변에 많은 공유와 참여 부탁드려요.

• 📆 언제? 2025년 9월 22일 (월요일) 오전 10시 ~ 오후 2시
• 📍 어디서? 광화문 한국프레스센터 광장 [네이버 지도]
• 📋 무엇을 하나요? 편두통 질환과 캠페인을 소개하며 다양한 기념품(안대와 귀마개 등)과 음료를 드립니다! 🎁🥤
• ✅ 왜 하나요? 국제적으로 진행하는 캠페인의 일환으로 편두통에 대한 오해를 해소하고 편두통을 알리는걸 목표로 합니다.

오랫동안 열심히 준비하던 것 중 하나입니다. 부스 놀러와주시면 기쁠 것 같아요.

이제 자바 메인을 이렇게 써도 된다니 놀랍군요

void main() {  
    var name = IO.readln("What is your name? ");  
    IO.println("Hello, " + name);  
}  

@curry박준규 〈모나드 괴담〉과 같은 결의 내용이네요! 그러고 보니 읽었던 적 있는 것 같기도 하고…