오랜만에 다루려니 파이썬이 에러 메시지가 친절하진 않긴 하다

웹 브라우저 책 읽기 시작했는데, HTTP 책이랑 같이 보니까 더 재밌다

예비군 가서 3일 동안 『UNIX의 탄생』하고 『오래된 인터뷰 개발자의 미래를 긷다』만 주구장창 읽고 왔고, 꽤 도움이 되었다

예비군 2일차. 코딩하고 싶다

[3] https://corememoryshield.com/report.html

메모 [1] https://jeffmcbride.net/core-memory/single-bit/ [2] https://www.rs-online.com/designspark/building-a-retro-32-bit-core-memory-for-arduino

이번 겨울엔 페라이트 코어 메모리를 만들어 볼 계획임. 샌프란 갔었을 때 컴퓨터 역사 박물관에서 설명을 읽어봐도 도저히 작동 원리가 이해가 안되서 직접 만들어봐야겠다는 결론을 내림.

옛날 키보드(예시 Apple IIGS) 구해서 블루투스 키보드로 만들어볼까

길을 가다 "없는 것 빼고는 다 있다"는 문장을 보았다.

가능한 모든 품목의 집합을 $U$로 둔다면, 가게가 실제로 보유한 재고는 $S \subseteq U$로 표현 할 수 있고, 없는 것의 집합은 $U \setminus S$로 표현할 수 있다.

즉, "없는 것 빼고 다 있다"는 "전체($U$)에서 없는 것($U \setminus S$)을 제외하고 남은 모든 것은 있다"로 작성할 수 있고, 이는

$\forall x \in U \setminus (U \setminus S) \; : \; x \in S$

로 표현 할 수 있다.

하지만, 여집합(complement)의 여집합은 원래 집합이 되기 때문에

$U \setminus (U \setminus S) = S$

가 되고, 위 명제는 결국 $\forall x \in S \; : \; x \in S$로 축약할 수 있고, 동어반복(tautology)이기 때문에 정보값은 없지만 항상 참으로 볼 수 있다.

어느덧 #FOSSforAll Conference 2025가 이번주 토요일로 다가 왔습니다! 처음으로 열리는 #FOSS for All Conference 에서 어떤 분들이 연사로 나서서 어떤 메시지를 전달할지 궁금하지 않으신가요? 올해 #미디어 파트너 #요즘IT 와 함께 몇몇 발표자 분들을 인터뷰 하였습니다. 인터뷰 기사를 통해 어떤 행사가 될지 알아보세요!

- 기사 읽어보기 https://yozm.wishket.com/magazine/detail/3436/
- 참가등록 https://event-us.kr/fossforall/event/110400

생성형 모델이 만든 이미지를 보면 가끔씩 다른 우주에 있는 풍경을 찍어서 보여주는게 아닌가 하는 생각이 들 때가 있음

저게 38만 킬로미터 떨어진 허공에 떠 있는 물체고, 1억 5천만 킬로미터 떨어진 광원의 빛을 반사해서 내 눈에 보인다는 게 가끔 정말 생경하게 다가올 때가 있다.

RE: https://bsky.app/profile/did:plc:4sujqnbd47ey26qcvajqoxa2/post/3m4ueopbvzw23

@theeluwin제이미 님 축하드립니다

저희 학교 강의자료에 올라가셨습니다

@kodingwarriorJaeyeol Lee (a.k.a. kodingwarrior) 스피드런으로 따라잡죠

<밑바닥 부터 시작하는 웹 브라우저>를 샀다

온 세상이 toml이다

Codex 써봤는데 상당히 좋군

근데 LLM에서 XML이나 JSON을 쓰는 게 효율 때문이 아니라 LLM이 해당 포맷에 익숙하기 때문인 거 아닌가…? 🤔

https://github.com/johannschopplich/toon

연말에 읽을 책들 샀다. 유닉스의 탄생은 예전에 읽긴 했는데 소장용으로 샀음.

time.Now()를 쓰다가 갑자기 머신이 시간을 어떻게 가져오는지 깊게 파보고 싶어짐

3090은 진짜 젊어서는 비트코인 캐고 늙어서는 llm 돌리는 불쌍한 세대네

최근 몇 달간 개발을 하는 것에 대한 현타가 심하게 왔었는데, 프로그래밍을 처음 시작했던 중학생 시절부터 남긴 흔적들을 되짚어 보면서 내가 진짜 뭘 하고 싶었던건지 되짚어봤고, 이제 다시 회복이 되가는 것 같음.

• servo 코드베이스 분석
• 모각코 (일요일)

알고계십니까? 고대의 언어인 줄 알았던 Smalltalk 친척 Self는 놀랍게도 최근까지도 업데이트가 되고 있습니다. https://selflanguage.org/

JavaScript의 .prototype 개념에도 영향을 주었다고 알려진 Self가 어떤 언어인지 궁금하시다면 Series about Self(lobste.rs)를 읽어보세요. 프로그래밍 언어에 대한 여러분의 시야가 넓어지는 데에 도움이 될 겁니다.

한국어 번역:

1. 환경
2. 언어
3. 디버거, 트랜스포터, 그리고 문제점
4. 커뮤니티, 역사, 미래, 형이상학

안풀리는 문제가 있어서 시원하게 선릉 한바퀴 돌고 왔는데 다행히 어떻게 해야할지 방법이 생각나서 수정함

사실 모델 전환하면 계속 쓸 수 있는데 그냥 오랜만에 전부 직접 해보고 싶어서 수제 코딩으로 일을 했다. 이전 대비 시간은 오래걸렸지만 뭔가 잊고 있던 감각이 돌아오는 것 같았음

"Claude usage limit reached"라는 로그와 동시에 클로드 코드가 뻗었다.

K-자소서
저는 자상하신 어머니와 아버지 사이에서 태어난 장남이며, 사주팔자에 맞춰 이름과 생년월일을 맞춰 태어난 이 시대의 고주몽인 줄 알았으나 현실은 하늘 높은지 모르고 치솟는 구직의 벽에 치여 살고 있는 이 시대의 평범한 컴퓨터공학 졸업 예정 학생입니다.

Yet another recent example of AI assistance in mathematics: my colleague Ernest Ryu here at UCLA was able to solve an open problem in optimization theory (roughly speaking, an asymptotic convergence result for a certain class of ODEs) in large part through an extended conversation with a large language model, serving both as a "rubber duck" and a stochastic generator of proof ideas. https://x.com/ErnestRyu/status/1980759528984686715 Many of the ideas generated were not usable, but a non-trivial fraction of them did contain some viable strategies that had not been immediately evident to Ernest. There was a significant pruning process to isolate the small number of useful ideas and discard the larger set of non-useful ones, but even so, the tool provided a net time saving in reaching a working argument, which Ernest then polished by hand into a two-page proof. (1/2)

servo 써보는데 한글 입력 시 플레이스홀더랑 글자가 겹쳐보이는 문제가 있어서 수정함. https://github.com/servo/servo/pull/40082

FOSS for All 등록했다

이게 종료될거란건 아는데, 컴파일러에게 증명을 해줄 수는 없다는 사소한 문제가 있음

This is too funny to not share!

#AWS #UE1 #USEast1 #Pentagon #Hexagon #Octagon #Funny

대부분의 경우, 온프레미스로 서빙되는 연합우주 서비스들 연전연승

날이 추우니까 의욕이 저절로 없어진다

얼마 전 웹서핑을 하다가 우연찮게 현재 앤트로픽에서 엔지니어이자 연구원으로 근무하고 있는 Nelson Elhage가 쓴 Computers can be understood(=컴퓨터는 이해가능하다)라는 글을 봤습니다. 다 읽고나니 이 분 마인드가 제가 평소에 CS 공부할 때랑 너무 비슷해서 공감이 가고 아직 CS 뉴비인 저한텐 굉장히 도움이 되는 한편, 이 마인드가 어떠한 단점을 또한 가져다주는지 잘 얘기하는 것 같아 (사실 읽으면서 뜬끔하는 게 많았음) 저만 알기엔 아까워서 이렇게 번역해서 올려봅니다.

번역된 글을 보려면 여기로 이동해주세용.

혹시나 오역 및 CS 용어에 문제가 있다면 언제든 알려주시면 감사하겠습니다.

윈도우7 PC ‘블루스크린 대란’… 원인은 nProtect

2025년에 윈도우즈 7 뉴스가(.....)

https://v.daum.net/v/20251017161445726

From Linearity to Borrowing via @fanfTony Finch https://lobste.rs/s/dnf353 #pdf #plt
https://dl.acm.org/doi/abs/10.1145/3764117

I'm giving the keynote at the FOSS for All Conference 2025, but the organizers told me I have to provide my slides in English too, which means I'm now stuck having to explain what the heck Korean mixed script (國漢文混用體) is in English. 😇

@meWoojin Kim 심심함은 한시간 정도면 채워지더군요

UI 바뀌고 batch 기능 못쓰는건 마음이 아프군

연차쓰긴 했는데 심심해서 잠깐 사무실 나옴

단어 외우다 불규칙이 왜 발생하게 된건지에 대한 원인이 궁금해져서 논문 찾아보는 중

근데 왼쪽 같은 생각 들 때는 걍 무지성 딸깍이 누르는 것도 의외로 도움이 되긴 하는 듯...
당장 결과물 안 나와서 우울감에 빠져있을 때는 AI든 뭐든 써서 뭐라도 만들어내서 자기효능감 떡락 악순환에서 탈출하는 게 큰 도움이 됨

사극에서 AI 로봇을 찔러 죽이면 마지막 대사로 “너… 방금 정말… 핵심을 찔렀어…” 하고 죽을까?

미루고 미루던 집 청소도 끝내고 문서 작업도 끝냈다