Kang Seonghoon @mearie.org · 10/07/2026오늘의 코딩: github.com/rust-lang/ru... 를 밟아서 보고했다. 처음에는 계속 저장을 했는데도 저장이 안되는데 외부 편집기로는 잘만 저장이 되어서 내가 헛것을 보고 있나 했다. 알고 보니 macOS 내장 `smbd`가 버그 덩어리여서 파일을 잘라내야(truncate) 하는데 안 잘라내는 문제에 걸린 것이었다. 끔찍하다. 000
Kang Seonghoon @mearie.org · 06/07/2026멀고 먼 옛날 Unison이라는 괴상한 글꼴을 만들던 적이 있었다. (github.com/lifthrasiir/...) 비트맵-벡터 하이브리드 글꼴이라는 컨셉을 가지고 있어서 글꼴의 소스 코드도 텍스트로 만들고 파이썬으로 컴파일해서 글꼴 파일을 생성하게 하는 구조였는데, 당시에 전혀 그 원인을 알 수 없던 버그가 하나 있었다. 해당 버그가 얼마나 곤란했냐 하면 지금까지도 컴파일러에 주석과 함께 workaround가 남아 있다. 100
Kang Seonghoon @mearie.org · 21/06/2026주말에 Loupe라고 하는 OCR 웹 확장을 만들어 공개했다. github.com/lifthrasiir/... 정확히 주말에 만든 건 아니고, 일본어 텍스트가 들어간 이미지를 제법 볼 일이 있는데 읽는 것 자체는 가능하지만 너무 느려서 지치는 게 싫어서 짬짬이 만들다가 주말에 마무리한 것. 아직 크롬 웹 스토어나 그런 데다가 올리진 않았는데 (등록하려면 돈을 내야 하더라... 귀찮게) 사용에는 전혀 문제가 없으니 많이 이용해 주시라. 123
Reposted by Kang SeonghoonShriram Krishnamurthi @shriram.bsky.social · 09/06/2026I've spent months rethinking and rebuilding my programming languages course from scratch for the agentic coding era. I wrote myself a memo explaining what I'm doing. I figure others might be interested in the redesign, so here goes! Feedback welcome of course. docs.google.com/document/d/e...docs.google.comRFC: Programming Languages Course Reboot, 2026 55413
Kang Seonghoon @mearie.org · 01/06/2026백만년만에 돌아온 직소퍼즐. 정확하게는 9년 전에 SVG로 만들고 방치해 놓고 있다가 클로드로 간만에 WebGL로 재작성하고 저장소도 공개했다. 참고로 저는 결국 마지막 퍼즐은 못 풀었습니다... s.mearie.org/jigsaw/ 000
Reposted by Kang SeonghoonEd @ed3d.net · 31/05/2026Yeah, I'm not going to lie--unless paid for it, open-source software development seems even more awful now than before. Catching a Mastodon mob in exchange for giving stuff away for free? Bargain at twice the price. 527027
Kang Seonghoon @mearie.org · 24/03/2026ISO C에는 객체(object)라는 개념이 있는데, 이 개념은 객체지향 프로그래밍 같은 거랑은 상관 없고 자료형이 차지하고 있는 주소 공간의 일부분을 가리키는 말이다. 객체는 그 바이트 표현과 함께 타입이 항상 따라 다니며, union을 사용하지 않고 객체를 캐스팅만으로 다른 타입으로 재해석(reinterpret)하는 건 상당히 제한되어 있다(이게 그 악명 높은 strict aliasing 규칙이다). 다만 너무 막으면 저수준 작업을 아예 할 수 없으므로 몇 가지 예외가 있는데, 대표적으로 void*와 char가 있다. 100
Kang Seonghoon @mearie.org · 14/03/2026Political correctness is all about politeness. Politeness is not a strict requirement for the discourse, and some even see it as hinderance without actual value. But even under this view---which is debatable in reality---politeness is helpful simply because it's the easiest solution for many things. 100
Kang Seonghoon @mearie.org · 06/01/2026LLM에서 마크다운이 널리 쓰이게 되면서 안 보고 싶어도 볼 수 밖에 없게 된 흔한 꼬라지로 그림에서 보는 것처럼 마크다운 강조 표시(`**`)가 그대로 노출되어 버리는 광경이 있다. 이 문제는 CommonMark의 고질적인 문제로, 한 10년 전쯤에 보고한 적도 있는데(talk.commonmark.org/t/foo-works-...) 지금까지 어떤 해결책도 제시되지 않은 채로 방치되어 있다. 11218
Reposted by Kang SeonghoonSaturnsky @saturnsky.io · 13/10/2025전 최근의 AGI에 대한 이야기는 대체로 큰 의미가 없는 이야기라고 생각하는 편입니다. 현세대의 선단 AI들은 대체로 여러 분야에서 학사 정도의 능력을 발휘할 수 있는데, 이걸 과거로 가져가서 이게 AGI같냐고 물어보면 당연히 다 AGI 같다고 이야기 하겠죠. 범용-학사-인공지능 정도면 당연히 AGI라고 할 수 있고요. 저희가 연속적인 발전을 봤으니 이 정도에는 이미 익숙해진 겁니다. 102
Reposted by Kang Seonghoonellie lockhart (she/they) @eleanor.lockhart.contact · 01/10/2025BTW 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. 532752
Kang Seonghoon @mearie.org · 26/08/2025오늘의 끔찍한 이야기. Angel을 개밥 먹는데 사용하면서 데이터베이스도 은근 좀 커졌는데, 이걸 최근에 (이제서야) 업데이트한 WSL2에서 아무 생각 없이 sqlite3으로 마이그레이션을 하다가 malformed disk image 오류가 뜬다. 엥? 하면서도 대강 보니 작업 자체는 제대로 된 것 같아서 아무 생각 없이 진행했다가 쿼리가 통으로 맛이 가서 쓸데 없는 디버깅을 좀 하고서야 데이터베이스가 망가졌다는 걸 깨달았다. 이런! 100
Kang Seonghoon @mearie.org · 09/07/2025Gemini로 이런 저런 정신나간 소설들을 작성하는 데 재미를 붙였었는데, 저번에 생성했던 작품은 수위가 제법 있어서 공개하기 꺼려졌지만 이번에 나온 건 그렇지 않아서 기분 좋게 공개할 수 있게 되었다. 그리하여 "산속 무녀들의 비밀"이라는 무녀무녀한 소설을 썼습니다. 홈페이지 레이아웃도 대부분 Gemini로 만들었다(여전히 사람 손길이 좀 필요하긴 했지만). w.mearie.org/maidens/w.mearie.org산속 무녀들의 비밀 120
Kang Seonghoon @mearie.org · 22/06/2025최근 1주간 갑자기 삘을 받아서 Gemini로 생각 이상으로 긴 소설을 써 버렸다(이미지는 이 소설의 목차). 얼마나 삘을 받은 건지 소설이 170장짜리가 나오는 건 둘째치고, 소재가 생각 이상으로 잔혹해서 이대로면 소위 R-18G가 그대로 찍히는 상황이라 이걸 어떻게 공개해야 하나 공개하기 전에 수정을 해야 하나 이러고 있다... 소재만 빼면 내 생각보다 훌륭하게 만들어진 것 같긴 한데 이래 저래 고민 중. 일단 관심 있으신 분은 자기 책임으로 연락 주시면 pdf 파일을 보내 드립니다. 100
Reposted by Kang SeonghoonXe @xeiaso.net · 20/06/2025Rolling the ladder up behind us xeiaso.net/blog/2025/rolling-ladder…xeiaso.netRolling the ladder up behind usThe newest post on Xe Iaso's blog 1223292
Reposted by Kang SeonghoonSang Hoon Lee @lshlj.bsky.social · 03/06/2025MSG는 몸에 해로울지 모른다는 혐의를 받게 된 이후 너무나 많은 검증을 통과해서 세상에서 가장 안전한 식재료가 됨. 그게 문득 떠올랐음. 14386
Reposted by Kang SeonghoonAngry Discordant @quintavirtus.net · 19/05/2025진보적 아젠다 측면에서 그다지 기대할 수 없는 인사들이 대거 민주당과 이재명 후보의 깃발 아래 모이는 것에 복잡한 기분이 전혀 안 든다고 하면 거짓말이긴 하지만, 머리로는 온전히 납득하고 있다. 그 측면에선 김상욱의 입당과 지지에 대해서도 충분히 긍정한다 : 적어도 어떤 대원칙을 uphold 하기 위해서 거대한 외력에 마주할 강단을 가진 퍼스널리티는 증명한 사람이니까. 권력이 뭘 해줄 것이냐가 아니라, 권력이 어떻게 성립하며, 어떤 힘으로 동작할 것인지를 재정립하고 재확인해야만 하는 상황이기 때문에 그러하다. 다른 길이 없다. 11213
Reposted by Kang SeonghoonErnie Smith @ernie.tedium.co · 05/05/2025This 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...youtube.commy teacher was a youtuberYouTube video by nobody 3122
Kang Seonghoon @mearie.org · 15/04/2025해커뉴스에서 Fabrice Bellard의 QuickJS가 한 파일에 5만줄 집어 넣고 한 함수가 몇백 몇천줄 되는 걸 보고서 파일 및 함수 길이를 강력하게 제한하는 도그마가 항상 옳은 것은 아니다, 라는 코멘트를 보았는데 이는 반만 맞는 말이다. 나도 대부분의 개발자보다 파일이나 함수 길이에 훨씬 관대한 (그리고 이 사실을 한참 뒤에야 깨달은) 사람이라 아는 건데, 그냥 Bellard가 5만줄 전체의 맥락을 전부 기억하고 있고 해당 코드를 거의 Bellard만 건들고 있기 때문에 추가적으로 모듈화할 필요가 없는 것일 뿐이다. 130
Reposted by Kang SeonghoonRaoul Kim / 김형진 @raoulian.bsky.social · 04/04/2025개인적으로는 판결문을 듣고 있는 시간 자체가 상당히 힐링효과가 있었다. 민주적 정통성이 부여한 권위 있는 기관의 언어로 말해주는 상식적인 말들에 너무 큰 안심감과 위로를 받는다. 0105143
Reposted by Kang SeonghoonNakho Kim @capcold.bsky.social · 31/03/2025ChatGPT 4o 로 만든 지브리풍 그림 유행의 가장 큰 위협은 지브리 흉내가 넘쳐나는거나(원래도 많았다), 저작권 침해가 (재산권은 스타일이 아니라 개별 저작물에 있으며, 그 저작물을 써서 학습한 것에 대한 비용은 냈어야 하며, 전체 틀은 OpenAI 회사 상대로 상업적 2차 창작에 준하여 다뤄야 한다) 아니라고 생각하는 편. 그보다는, 캐릭터 그림체 느낌 말고는 대놓고 퀄 떨어지는 결과물에 대해 지브리랑 거의 같다!라고 감탄하시는 많은 분들을 통해 드러나는, 문화예술에 별로 완성도를 요구하지 않는 시대상. 35482
Kang Seonghoon @mearie.org · 20/03/2025C++ 표준화 위원회(WG21)에게 C++의 원 저자인 비야네 스트롭스트룹Bjarne Stroustrup이 보낸 메일이 이번 달 초에 본인에 의해 공개된 모양이다(wg21.link/P3651). C++가 요즘 안전하지 않은 언어라고 열심히 얻어 맞고 있는 게 싫은지 프로파일이라고 하는 언어 부분집합을 정의하려고 했는데(wg21.link/P3081), 프로파일이 다루는 문제들이 아주 쉬운 것부터 연구가 필요한 것까지 한데 뒤섞여 있어 구현이 매우 까다롭기에 해당 제안이 적절하지 않다고 연초에 까였고(wg21.link/P3586), …wg21.link 151
Kang Seonghoon @mearie.org · 17/03/2025최근에 오랫동안 쓰던 키보드가 망가져서 큰 맘 먹고 프리플로우 Archon M1 PRO MAX를 질렀는데, 요즘 키보드는 다 WebHID 가지고 웹 드라이버로 설정하는 것 같다. 자바스크립트니까 뜯기 쉽겠거니 싶어서 살펴 봤는데 커스텀 HID 레포트를 보낼 수 있는 기능을 사용해서 명령들을 나열해 놓았고, 개중에는 롬을 통으로 날리는 것도 가감없이 노출되어 있길래 음 역시 WebHID 같은 건 웹에 넣을 기능이 못된다는 결론을 내렸다. 가볍게 함수 목록만 요약해서 gist.github.com/lifthrasiir/... 에 올렸다. 143
Reposted by Kang SeonghoonSteve Klabnik @steveklabnik.com · 12/03/2025Here’s my opinion on the new typescript compiler: You should write programs in the language you want to. 2238538
Reposted by Kang SeonghoonAdam Leventhal @ahl.bsky.social · 04/03/2025How to divide by 1,000,000,000 in 1500 words github.com/illumos/illu...github.com 33910
Kang Seonghoon @mearie.org · 03/03/2025Brief 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. 100
Reposted by Kang Seonghoon사견의 지평선 @kivol.net · 29/01/2025내가 리버럴로 살면서 저쪽 선비인척 하는 놈들한테 맨날 들은 얘기들이 "상대 진영을 절멸시키려고 하지 말고 존중해라" "상대 진영을 악마화 하지 말고 이해하려고 노력해라" "항상 설득과 타협이 민주주의의 본질이다" 이런 소리들인데 아 이 개새끼들아 막상 너네는 보니까 시발 진짜 14043
Reposted by Kang Seonghoon보다 @jeongsoyeon.kr · 16/01/2025시민들이 이 추운 날씨에 몇십 일을 주말마다 길바닥에서 고생해서 겨우 내란우두머리를 잡았는데, 계엄해제날 담 넘은 국회의원들도, 탄핵소추위원을 맡은 국회의원들도 아닌 이준석을 들이미는 꼴 보면 레거시언론인지 뭔지는 다 망해야 마땅하다. 0110161
Reposted by Kang SeonghoonSteve Klabnik @steveklabnik.com · 13/01/2025paul 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 60133672
Reposted by Kang SeonghoonXe @xeiaso.net · 12/12/2024Soylent Green is people xeiaso.net/blog/2024/soylent-green-…xeiaso.netSoylent Green is peopleThe newest post on Xe Iaso's blog 1106
Kang Seonghoon @mearie.org · 21/10/2024Crazy 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. 000
Reposted by Kang SeonghoonPredrag Gruevski @predr.ag · 16/10/2024It'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... 4235
Reposted by Kang Seonghoon백화선생 @hybrideconomics.bsky.social · 11/10/2024이런 짤이 돌고 있지만 전 이게 GPT를 썼다고 생각하지 않습니다. 유승민 축사를 볼까요? 둘 다 공통적으로 말하고 있는 것이 있습니다. 노벨위원회의 “for her intense poetic prose that confronts historical traumas and exposes the fragility of human life.”란 말을 일부 혹은 전부 쓰고 있는 것입니다. 오피셜 데이터를 학습한 GPT와 비슷한 결과가 나오는게 당연합니다. 그럼 왜 이런 이야기만 할까요? 바로 광주와 제주 이야길 하지 못하기 때문입니다 25065
Reposted by Kang SeonghoonFilippo Valsorda @filippo.abyssdomain.expert · 25/08/2024God 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...blog.cryptographyengineering.comIs Telegram really an encrypted messaging app?This blog is reserved for more serious things, and ordinarily I wouldn't spend time on questions like the above. But much as I'd like to spend my time writing about exciting topics, sometimes the worl... 221586
Kang Seonghoon @mearie.org · 28/05/2024Sent 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.mailarchive.ietf.org[Cbor] On the value of packed CBORSearch IETF mail list archives 100
Kang Seonghoon @mearie.org · 30/03/2024On 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. 120
Reposted by Kang SeonghoonFilippo Valsorda @filippo.abyssdomain.expert · 29/03/2024Woah. 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_decryptopenwall.comoss-security - backdoor in upstream xz/liblzma leading to ssh server compromise 7243109
Reposted by Kang SeonghoonDavid Buchanan @retr0.id · 27/03/2024I 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... 107410
Kang Seonghoon @mearie.org · 13/01/2024Social verifier라는 개념이 있다. 자신이 경험을 하여 참이라고 믿을 수 있는 정보에는 물리적인 한계가 있기 때문에, 어느 시점부터는 내가 신뢰할 수 있는 누군가로부터 정보를 얻어 그걸 참이라고 간주할 수 밖에 없게 되는데 그런 정보를 제공하는 걸 주 목적으로 하는 주체를 이른다. 대표적인 예로 언론이나 백과사전, 종교 같은 것들이 있으며, 주변인으로부터 정보를 얻을 수 있지만 그걸 업으로 하지는 않으니까 적어도 협의의 SV에는 주변인이 포함되지 않는다. (하지만 개인적으로는 그렇게 간주해도 큰 문제가 없다고 생각한다.) 144
Kang Seonghoon @mearie.org · 08/01/2024트위터 twitter.com/senokay/stat... 에도 올렸지만 주말에 생각하던 수학 문제. 한 변의 길이가 1인 정사각형을 n개 겹치지 않게 늘어 놓고 이들을 모두 포함하는 닫힌 곡선(볼록 껍질convex hull)을 그릴 때 최소 길이는 얼마인가? 흔히 채우기packing 문제, 특히 원에 정사각형을 채우는 문제 erich-friedman.github.io/packing/squi... 와 밀접한 관련이 있으리라는 예상은 할 수 있지만 작은 n으로 실험해 보면 아주 정확히 같은 문제는 아니라는 걸 알 수 있다. 100
Kang Seonghoon @mearie.org · 04/01/2024요즘 이리 저리 안 좋은 뉴스들을 많이 보다 보니까 "생명에 지장이 없다"라는 표현에 대해서 다시 생각해 보게 된다. 이 표현 자체는 네이버 뉴스 라이브러리에서는 최소 1950년대부터 찾아 볼 수 있지만, 워낙 아무 맥락에나 쓰는데 "지장이 없는" 표현인 탓인지 언젠가부터 경상에도 쓰고 중상에도 쓰는 정보량이 없는 표현이 되었다. 재난 보도의 선정성을 줄이는 게 목표라고 해도, 경상과 중상은 언제 회복되는가와 이후 활동에 미치는 영향에 하늘과 땅 수준의 차이가 있는데, 이를 편리한 표현으로 뭉개는 건 보도를 안 하는 것만 못하다. 010
Kang Seonghoon @mearie.org · 27/12/2023HN에 CPython 관련해서 또 한바탕 장문의 코멘트를 몇 번 날리고 나니 사람들이 대규모 자유·오픈소스 프로젝트의 실태(?)와 JIT 컴파일러의 복잡성에 대해서 생각하던 것 이상으로 잘 모르는 것 같다. 그렇게 JIT 컴파일러가 좋으면 왜 지금까지 CPython이 JIT를 도입하지 않았는가? 라는 질문에 그냥 게을렀기 때문이라고 답할 수는 없지 않겠는가. 전체 맥락을 보려면 결국 왜 CPython은 PyPy의 "성공"에도 불구하고 계속 보수적으로 임했는지를 답할 필요가 있다. 143
Kang Seonghoon @mearie.org · 11/07/2023저번 주에 올린 유의적 버저닝(semantic versioning) 얘기가 한 타래로 끝날 줄 알았는데 주말 사이에 다른 포스트(구체적으로는 cargo-semver-checks news.ycombinator.com/item?id=366429… )에서 또 불타는 바람에 더 쓸 거리가 늘었다. 원래는 완전 다른 얘기를 쓰려고 했지만 그건 나중에... 이전 맥락을 가정하는 타래이므로 bsky.app/profile/mearie.org/post/3j… 를 먼저 읽고 오시길 바랍니다. 124
Kang Seonghoon @mearie.org · 08/07/2023블루스카이를 어떻게 쓸까 생각해 보다가 해커뉴스에 코멘트 쓰는 걸 여기에다가 중계(?)하는 게 나을 것 같아서 써 봄(트위터에 쓰면 너무 사족이 많아지니까 보너스 컨텐츠 같은 느낌으로...). 맥락은 ZeroVer news.ycombinator.com/item?id=366412… 인데, 물론 이는 개드립이긴 하지만 이런 게 나올 정도로 유의적 버저닝(semantic versioning)이 문제라고 생각하는 사람이 많은 이유를 설명하다 보니 옛날 있었던 일도 생각나고 그러더라.news.ycombinator.comZeroVer: 0-Based Versioning | Hacker News 158
Kang Seonghoon @mearie.org · 06/07/2023트위터가 실시간으로 터지는 걸 보고 아 정말로 때가 되었구나 싶어 주말에 마스토돈 인스턴스를 만들려고 했다가, 마스토돈을 올리기 위해 필요한 사양이 원래 쓰던 EC2 인스턴스보다 훨씬 커서 다른 데로 옮길까 말까 같은 생각을 하기만 하고 관둔 뒤, 역시 그냥 블루스카이 초대장이나 받는 게 맞는 선택임을 깨닫고 지인 분의 도움을 얻어 가입했다. 트위터가 촉발한 SNS 엑소더스의 시대에 시사하는 바가 있으리라... 어떻게 쓸 지는 생각해 보고 결정할 듯. 050