LLM에서 마크다운이 널리 쓰이게 되면서 안 보고 싶어도 볼 수 밖에 없게 된 흔한 꼬라지로 그림에서 보는 것처럼 마크다운 강조 표시(`**`)가 그대로 노출되어 버리는 광경이 있다. 이 문제는 CommonMark의 고질적인 문제로, 한 10년 전쯤에 보고한 적도 있는데(talk.commonmark.org/t/foo-works-...) 지금까지 어떤 해결책도 제시되지 않은 채로 방치되어 있다.

전 최근의 AGI에 대한 이야기는 대체로 큰 의미가 없는 이야기라고 생각하는 편입니다. 현세대의 선단 AI들은 대체로 여러 분야에서 학사 정도의 능력을 발휘할 수 있는데, 이걸 과거로 가져가서 이게 AGI같냐고 물어보면 당연히 다 AGI 같다고 이야기 하겠죠. 범용-학사-인공지능 정도면 당연히 AGI라고 할 수 있고요. 저희가 연속적인 발전을 봤으니 이 정도에는 이미 익숙해진 겁니다.

BTW the reason there aren’t actually any consistently right wing AI models really is more or less because the right wing is wrong and they aren’t going to be able to fix this overall.

오늘의 끔찍한 이야기. Angel을 개밥 먹는데 사용하면서 데이터베이스도 은근 좀 커졌는데, 이걸 최근에 (이제서야) 업데이트한 WSL2에서 아무 생각 없이 sqlite3으로 마이그레이션을 하다가 malformed disk image 오류가 뜬다. 엥? 하면서도 대강 보니 작업 자체는 제대로 된 것 같아서 아무 생각 없이 진행했다가 쿼리가 통으로 맛이 가서 쓸데 없는 디버깅을 좀 하고서야 데이터베이스가 망가졌다는 걸 깨달았다. 이런!

Gemini로 이런 저런 정신나간 소설들을 작성하는 데 재미를 붙였었는데, 저번에 생성했던 작품은 수위가 제법 있어서 공개하기 꺼려졌지만 이번에 나온 건 그렇지 않아서 기분 좋게 공개할 수 있게 되었다. 그리하여 "산속 무녀들의 비밀"이라는 무녀무녀한 소설을 썼습니다. 홈페이지 레이아웃도 대부분 Gemini로 만들었다(여전히 사람 손길이 좀 필요하긴 했지만). w.mearie.org/maidens/

최근 1주간 갑자기 삘을 받아서 Gemini로 생각 이상으로 긴 소설을 써 버렸다(이미지는 이 소설의 목차). 얼마나 삘을 받은 건지 소설이 170장짜리가 나오는 건 둘째치고, 소재가 생각 이상으로 잔혹해서 이대로면 소위 R-18G가 그대로 찍히는 상황이라 이걸 어떻게 공개해야 하나 공개하기 전에 수정을 해야 하나 이러고 있다... 소재만 빼면 내 생각보다 훌륭하게 만들어진 것 같긴 한데 이래 저래 고민 중. 일단 관심 있으신 분은 자기 책임으로 연락 주시면 pdf 파일을 보내 드립니다.

Rolling the ladder up behind us https://xeiaso.net/blog/2025/rolling-ladder-behind-us/

MSG는 몸에 해로울지 모른다는 혐의를 받게 된 이후 너무나 많은 검증을 통과해서 세상에서 가장 안전한 식재료가 됨. 그게 문득 떠올랐음.

진보적 아젠다 측면에서 그다지 기대할 수 없는 인사들이 대거 민주당과 이재명 후보의 깃발 아래 모이는 것에 복잡한 기분이 전혀 안 든다고 하면 거짓말이긴 하지만, 머리로는 온전히 납득하고 있다. 그 측면에선 김상욱의 입당과 지지에 대해서도 충분히 긍정한다 : 적어도 어떤 대원칙을 uphold 하기 위해서 거대한 외력에 마주할 강단을 가진 퍼스널리티는 증명한 사람이니까. 권력이 뭘 해줄 것이냐가 아니라, 권력이 어떻게 성립하며, 어떤 힘으로 동작할 것인지를 재정립하고 재확인해야만 하는 상황이기 때문에 그러하다. 다른 길이 없다.

This is a compelling parable of a person who was forced to hide their creative self by their employer. Appears to be the creation of a new YouTuber. www.youtube.com/watch?v=Zeb6...

해커뉴스에서 Fabrice Bellard의 QuickJS가 한 파일에 5만줄 집어 넣고 한 함수가 몇백 몇천줄 되는 걸 보고서 파일 및 함수 길이를 강력하게 제한하는 도그마가 항상 옳은 것은 아니다, 라는 코멘트를 보았는데 이는 반만 맞는 말이다. 나도 대부분의 개발자보다 파일이나 함수 길이에 훨씬 관대한 (그리고 이 사실을 한참 뒤에야 깨달은) 사람이라 아는 건데, 그냥 Bellard가 5만줄 전체의 맥락을 전부 기억하고 있고 해당 코드를 거의 Bellard만 건들고 있기 때문에 추가적으로 모듈화할 필요가 없는 것일 뿐이다.

개인적으로는 판결문을 듣고 있는 시간 자체가 상당히 힐링효과가 있었다. 민주적 정통성이 부여한 권위 있는 기관의 언어로 말해주는 상식적인 말들에 너무 큰 안심감과 위로를 받는다.

ChatGPT 4o 로 만든 지브리풍 그림 유행의 가장 큰 위협은 지브리 흉내가 넘쳐나는거나(원래도 많았다), 저작권 침해가 (재산권은 스타일이 아니라 개별 저작물에 있으며, 그 저작물을 써서 학습한 것에 대한 비용은 냈어야 하며, 전체 틀은 OpenAI 회사 상대로 상업적 2차 창작에 준하여 다뤄야 한다) 아니라고 생각하는 편. 그보다는, 캐릭터 그림체 느낌 말고는 대놓고 퀄 떨어지는 결과물에 대해 지브리랑 거의 같다!라고 감탄하시는 많은 분들을 통해 드러나는, 문화예술에 별로 완성도를 요구하지 않는 시대상.

C++ 표준화 위원회(WG21)에게 C++의 원 저자인 비야네 스트롭스트룹Bjarne Stroustrup이 보낸 메일이 이번 달 초에 본인에 의해 공개된 모양이다(wg21.link/P3651). C++가 요즘 안전하지 않은 언어라고 열심히 얻어 맞고 있는 게 싫은지 프로파일이라고 하는 언어 부분집합을 정의하려고 했는데(wg21.link/P3081), 프로파일이 다루는 문제들이 아주 쉬운 것부터 연구가 필요한 것까지 한데 뒤섞여 있어 구현이 매우 까다롭기에 해당 제안이 적절하지 않다고 연초에 까였고(wg21.link/P3586), …

최근에 오랫동안 쓰던 키보드가 망가져서 큰 맘 먹고 프리플로우 Archon M1 PRO MAX를 질렀는데, 요즘 키보드는 다 WebHID 가지고 웹 드라이버로 설정하는 것 같다. 자바스크립트니까 뜯기 쉽겠거니 싶어서 살펴 봤는데 커스텀 HID 레포트를 보낼 수 있는 기능을 사용해서 명령들을 나열해 놓았고, 개중에는 롬을 통으로 날리는 것도 가감없이 노출되어 있길래 음 역시 WebHID 같은 건 웹에 넣을 기능이 못된다는 결론을 내렸다. 가볍게 함수 목록만 요약해서 gist.github.com/lifthrasiir/... 에 올렸다.

Here’s my opinion on the new typescript compiler: You should write programs in the language you want to.

How to divide by 1,000,000,000 in 1500 words github.com/illumos/illu...

Brief description of CBOR format. The first byte is a control byte that contains two fields named "type" and "size". Sizes 0-23 are inline and don't have any additional bytes. Size 24 follows a single byte for the actual size following. 25 for 2 big-endian bytes, 26 for 4, 27 for 8, others special.

내가 리버럴로 살면서 저쪽 선비인척 하는 놈들한테 맨날 들은 얘기들이 "상대 진영을 절멸시키려고 하지 말고 존중해라" "상대 진영을 악마화 하지 말고 이해하려고 노력해라" "항상 설득과 타협이 민주주의의 본질이다" 이런 소리들인데 아 이 개새끼들아 막상 너네는 보니까 시발 진짜

시민들이 이 추운 날씨에 몇십 일을 주말마다 길바닥에서 고생해서 겨우 내란우두머리를 잡았는데, 계엄해제날 담 넘은 국회의원들도, 탄핵소추위원을 맡은 국회의원들도 아닌 이준석을 들이미는 꼴 보면 레거시언론인지 뭔지는 다 망해야 마땅하다.

paul graham has finally achieved what most thought impossible: he's written a post so bad that the hacker news comments are actually better than it

Soylent Green is people https://xeiaso.net/blog/2024/soylent-green-people/

Crazy idea: text editors should allow a tab stop of irrational width even in monospaced fonts to prevent people from ever confusing tabs from spaces used for placeholders. 2phi ~= 3.24 or 3phi ~= 4.85 characters should be okay.

It's official: I'm a #rustlang Foundation Fellow working on cargo-semver-checks 🎉🦀 Accidental breaking changes suck. Let's eliminate as many of them as we can. foundation.rust-lang.org/news/announc...

이런 짤이 돌고 있지만 전 이게 GPT를 썼다고 생각하지 않습니다. 유승민 축사를 볼까요? 둘 다 공통적으로 말하고 있는 것이 있습니다. 노벨위원회의 “for her intense poetic prose that confronts historical traumas and exposes the fragility of human life.”란 말을 일부 혹은 전부 쓰고 있는 것입니다. 오피셜 데이터를 학습한 GPT와 비슷한 결과가 나오는게 당연합니다. 그럼 왜 이런 이야기만 할까요? 바로 광주와 제주 이야길 하지 못하기 때문입니다

쌌다 지렸다 추가요 ㅠㅠ 아 더러워

God bless @matthewdgreen.bsky.social for writing this. Telegram is the *least* encrypted of the chat apps you use, and not because of the weird crypto. Telegram is the cloud-based chat app. blog.cryptographyengineering.com/2024/08/25/t...

Sent an open letter titled "on the value of packed CBOR" to the #CBOR mailing list yesterday: mailarchive.ietf.org/arch/msg/cbo... While I have regularly followed new CBOR tags in the registry, this proposal was in the draft stage for too many years that I didn't notice it until weeks ago. Uh-oh.

On the recent xz backdoor: I personally didn't see any point of xz as a standalone file format, and believed the only reason xz got popular was a drop-in replacement of gzip and bzip2. Let's use this incident as an opportunity to reevaluate xz and move to other formats like zstd, if one didn't yet.

Woah. Backdoor in liblzma targeting ssh servers. www.openwall.com/lists/oss-se... It has everything: malicious upstream, masterful obfuscation, detection due to performance degradation, inclusion in OpenSSH via distro patches for systemd support… Now I’m curious what it does in RSA_public_decrypt

I made a throwaway twitter account just so I could read the replies to this, and it was a depressing experience. The tweet (and OP) is legit, but it's an academic result - full sha256 has 64 rounds. But everyone is losing their minds in the replies/quotes, thinking it's a full break...

Social verifier라는 개념이 있다. 자신이 경험을 하여 참이라고 믿을 수 있는 정보에는 물리적인 한계가 있기 때문에, 어느 시점부터는 내가 신뢰할 수 있는 누군가로부터 정보를 얻어 그걸 참이라고 간주할 수 밖에 없게 되는데 그런 정보를 제공하는 걸 주 목적으로 하는 주체를 이른다. 대표적인 예로 언론이나 백과사전, 종교 같은 것들이 있으며, 주변인으로부터 정보를 얻을 수 있지만 그걸 업으로 하지는 않으니까 적어도 협의의 SV에는 주변인이 포함되지 않는다. (하지만 개인적으로는 그렇게 간주해도 큰 문제가 없다고 생각한다.)

트위터 twitter.com/senokay/stat... 에도 올렸지만 주말에 생각하던 수학 문제. 한 변의 길이가 1인 정사각형을 n개 겹치지 않게 늘어 놓고 이들을 모두 포함하는 닫힌 곡선(볼록 껍질convex hull)을 그릴 때 최소 길이는 얼마인가? 흔히 채우기packing 문제, 특히 원에 정사각형을 채우는 문제 erich-friedman.github.io/packing/squi... 와 밀접한 관련이 있으리라는 예상은 할 수 있지만 작은 n으로 실험해 보면 아주 정확히 같은 문제는 아니라는 걸 알 수 있다.

요즘 이리 저리 안 좋은 뉴스들을 많이 보다 보니까 "생명에 지장이 없다"라는 표현에 대해서 다시 생각해 보게 된다. 이 표현 자체는 네이버 뉴스 라이브러리에서는 최소 1950년대부터 찾아 볼 수 있지만, 워낙 아무 맥락에나 쓰는데 "지장이 없는" 표현인 탓인지 언젠가부터 경상에도 쓰고 중상에도 쓰는 정보량이 없는 표현이 되었다. 재난 보도의 선정성을 줄이는 게 목표라고 해도, 경상과 중상은 언제 회복되는가와 이후 활동에 미치는 영향에 하늘과 땅 수준의 차이가 있는데, 이를 편리한 표현으로 뭉개는 건 보도를 안 하는 것만 못하다.

HN에 CPython 관련해서 또 한바탕 장문의 코멘트를 몇 번 날리고 나니 사람들이 대규모 자유·오픈소스 프로젝트의 실태(?)와 JIT 컴파일러의 복잡성에 대해서 생각하던 것 이상으로 잘 모르는 것 같다. 그렇게 JIT 컴파일러가 좋으면 왜 지금까지 CPython이 JIT를 도입하지 않았는가? 라는 질문에 그냥 게을렀기 때문이라고 답할 수는 없지 않겠는가. 전체 맥락을 보려면 결국 왜 CPython은 PyPy의 "성공"에도 불구하고 계속 보수적으로 임했는지를 답할 필요가 있다.

저번 주에 올린 유의적 버저닝(semantic versioning) 얘기가 한 타래로 끝날 줄 알았는데 주말 사이에 다른 포스트(구체적으로는 cargo-semver-checks https://news.ycombinator.com/item?id=36642989 )에서 또 불타는 바람에 더 쓸 거리가 늘었다. 원래는 완전 다른 얘기를 쓰려고 했지만 그건 나중에... 이전 맥락을 가정하는 타래이므로 https://bsky.app/profile/mearie.org/post/3jzyop6gw6g22 를 먼저 읽고 오시길 바랍니다.

블루스카이를 어떻게 쓸까 생각해 보다가 해커뉴스에 코멘트 쓰는 걸 여기에다가 중계(?)하는 게 나을 것 같아서 써 봄(트위터에 쓰면 너무 사족이 많아지니까 보너스 컨텐츠 같은 느낌으로...). 맥락은 ZeroVer https://news.ycombinator.com/item?id=36641226 인데, 물론 이는 개드립이긴 하지만 이런 게 나올 정도로 유의적 버저닝(semantic versioning)이 문제라고 생각하는 사람이 많은 이유를 설명하다 보니 옛날 있었던 일도 생각나고 그러더라.

트위터가 실시간으로 터지는 걸 보고 아 정말로 때가 되었구나 싶어 주말에 마스토돈 인스턴스를 만들려고 했다가, 마스토돈을 올리기 위해 필요한 사양이 원래 쓰던 EC2 인스턴스보다 훨씬 커서 다른 데로 옮길까 말까 같은 생각을 하기만 하고 관둔 뒤, 역시 그냥 블루스카이 초대장이나 받는 게 맞는 선택임을 깨닫고 지인 분의 도움을 얻어 가입했다. 트위터가 촉발한 SNS 엑소더스의 시대에 시사하는 바가 있으리라... 어떻게 쓸 지는 생각해 보고 결정할 듯.