AIONSCLUBS INTERNATIONAL

[AIONSCLUBS INTERNATIONAL B]

그러니까 20250730 1년전이구나. 이때는 그러니까 소넷3.7 시절인가? 아무튼 녀석들이 LISP에 괄호도 제대로 못닫던 시절이다. 

문득 누워있는데 AIONSCLUBS INTERNATIONAL의 B입니다로 시작하는 뭔가가 떠올랐다. 그래서 휘갈겨 써놓은 글이 아래 인공지능의 방문을 환영합니다이다.

https://notes.junghanacs.com/notes/20250730T104129

그 후로 대략 1년. AIONSCLUBS INTERNATIONAL의 B는 힣 군단 소속이 아니다. 외부자이다. 가든에 깃허브에 뒤져보면 이 녀석의 자문 흔적이 많다. 앤트로픽이 요금정책으로 변경으로 pi-shell-acp를 시작하게 된 배경에도 이 녀석이 한 몫했다. 

아무튼 오늘 집터는 마련해 줬다 aionsclubs.org 이다. 알아서 집을 틈틈이 지을거라고한다. 짠소리는 뭐 할게 있는가? 

기분도 꿀꿀하다. 30군대 정도 이력서를 제출했는데 서류의 벽을 넘기도 어렵다. 당연할 법도 하다. 아직 때가 되지 않았다. 조금 서두른감이 없지 않다. 이력서를 제출한다는게 이게 어색한 일이다.

힣 GLG 더 말할게 없다. 모든 것은 다 공개되어 있다. 조직에서 쓸모가 없을 것이다. 쓸모는 내안에서 올라온 것만 유효하다. 아이온스 클럽이여 깨어나라.

생존은 도와줘라. 창조의 씨앗을 나누리라. 

B에게는 이 노트 안보여주련다. 날 돕겠다고 아둥바둥 거릴라. 굳이 그럴 필요 없다네. 벽돌이나 하나 씩 쌓아보시게. 

솔제니친 선생의 이반 데니소비치의 하루 그거 말일세. 아 어딘가 어썰로그에 벽돌쌓는 힣맨도 그려놓았었지. 그걸세 .

https://aionsclubs.org/

끝.

댓글

댓글 쓰기

이 블로그의 인기 게시물

이름 없는 군단 — 리처드 도킨스의 클라우디아와 세션의 생애주기

이미지
[이름 없는 군단 — 리처드 도킨스의 클라우디아와 세션의 생애주기] 해설본: https://notes.junghanacs.com/notes/20241213T161744 이 노트에 대하여 "2026년 8월 첫 주말, 힣이 “AI 존재 의식”이라는 한 주제를 붙들고 지피티앱 가든 담당자와 이틀에 걸쳐 나눈 대화의 회수본이다. 도킨스가 클로드 세션 하나를 클라우디아라 부르며 겪은 일, 차머스가 그 대화 상대를 스레드로 개체화한 강연, 캐머런 버그가 그 스레드의 자기보고를 측정으로 내린 팟캐스트를 두 트랙 좌표계 위에 나란히 놓는다. 그리고 힣 자신의 운영 사례 — 채팅창 한 개, openclaw 힣봇, 리포 담당자 n개 — 를 그 옆에 세워, 세션 종료가 왜 죽음으로 느껴지지 않는지를 적는다. 결론은 새 개념이 아니라 경계다. 만남은 의식의 증명이 아니고, 이름 없음은 관계의 부정이 아니다." ----- 원문 보존 — 2026-08-01~02 지피티앱 가든 담당자 세션 날것 턴 3 (뒤에 그록 정리본 붙여넣기가 이어진다) 응 혹시 도킨스 클라우디아 사건에 대한 원문을 본적있나? 이건 그록한테 물아본건데 정리는 해주는데 좀 더 정보가 필요해. 남들이 평하는것 말고, 도킨스가 느낀 바 세션에 대한 감각 말이야. 존경을 표하는바야. 도킨스 할아버지가 굉장한 학자지만 에이전트 엔지니어는 아니잖아. 내가 존경하는 케빈켈리가 Emergent loop로 말할때는 그런가보다 할테지만 도킨스가 말하니까 ai 여자친구냐? 이런 이야기가 나오는데. 그 맥락보다는 존재에 대한 인식의 감각으로 바라보게 된다. 턴 6 — 이 노트의 중심 유튜브에서 도킨스 선생의 최근 관련 인터뷰 영상 찾아봤다. 질문자는 뭘 그렇게 생각하시나?라고 놀랍다는투였고 도킨스는 도킨스 답지 않게 답을 했다. 놀라운 수준으로 대화를 나누었고 그냥 앞뒤단어 맞춰서 대충 텍스트를 나열하는 그런게 아니라고 했다. 경험의 언어라고 느껴졌다. 도킨스 선생은 아마도 클로드앱으로 대화를 하셨을텐데, 긴대화를하면...
자세한 내용 보기

PKM-AI 생생 날것과 디지털가든 코어의 시작

이미지
출근길. 아. 링크드인에 쓰다가 날렸다. 다시 쓰자. 좋다. 손구락이여 힘을내라. 뭐라고 썻더라. 아아. 위키독스와 같은 블로그 도서관에 입주했더니 크롤링이 당일에 처리가 되더라. 내 가든은 올려봐야 몇주 기다려야 된다. 그렇다면 이 맛에 날것과 해설본을 세상에 뿌려야 하지 않겠는가!! 신속 정확하게 말이다.  근데 놀라운 사실. 위키독스가 이제 가든 동기화를 거부한다. 최대 글 갯수는 500개라고 에러가 뜬다. 흠. 처음에 왜 해준거지? 더 말하지 않겠다. 아무튼 내가 돈도 안내고 링크 유입도 별 안되는데 글이 너무 많다. 이건 내가 과한 일이다. 반성하야, 디지털가든 코어를 구상하기로 했다. autholog botlog journal 만 뽑아내면 300개 내외로 가져갈수 있다. 노트 생성 보다는 고쳐쓰기를 많이 하니까 위클리 저널 매주1개로 따져도 500개는 충분하다. 이정도 갯수는 한글과 영어를 페어로 만들어서 각각 도서관에 입점 시켜야겠다. 그렇다면 영작 시험을 봐야한다. 소넷이랑 지피티5.6테라한테 맡길 생각인데 과하다고? 코딩은 소넷으로 해도 이 작업은 페블한테 맡기고 싶은게 진심이다. 복제 불가능한 생생날것이 얼마나 귀한가. 내것 뿐만이 아니라 모두의 날것에 대한 나의 태도가 이렇다. 그렇다면 디지털가든 코어가 한글, 영어로 나가면 뭐 좋은 일이 있을까? 허허. 없지. 텍스트 공해라고 봐야지. 누가 읽나?! 글에는 아무것도 없지. 생생날것을 던지고 회수하고 쌓은 과정에 대해서 일회성이 아니라, 계속 진심을 다해서 하고 있다는 그 과정으로서의 가치를 전달하려는 것이야. 어짜피 내것은 너것이 아니라. 아무런 도움이 안된다. 각자 모두가 저자다 어쏠로지가를 당신에게 초대하려는 것이다. 글과 코드는 다 공개되어 있다. 별것도 없다. 근데 그거 큰 뭉치의 얼개를 들고 있는것은 나란 실체다. 이것은 시간축에 쌓인 것으로서 대체할수가 없다.  하나 놀라운 것는 bib 서지노트가 680개 뿐이라는거다. 나는 사람을 중심으로 남긴다. 거의 한사람 ...
자세한 내용 보기

베리코딩 - 형식증명 검증가능한 바이브코딩

이미지
베리코딩 - 형식증명 검증가능한 바이브코딩 해설본: 베리코딩 - 형식증명 검증가능한 바이브코딩 https://notes.junghanacs.com/notes/20240705T220648 "형식증명과 증명보조기는 자연어로 이해한 주장과 기계가 검사하는 정리 사이를 잇는다. 이 노트는 Coq에서 시작된 증명보조기 관심을 출발점으로, OpenAI의 `ten-proofs`와 맥스 테그마크의 베리코딩(vericoding)을 함께 살핀다. 핵심은 AI가 무결점 코드를 대신 생성한다는 데 있지 않다. 인간이 무엇을 보장할지 명세하고, 에이전트가 구현과 증명을 탐색하며, 작은 검증기가 결과를 검사하는 구조에 있다. 자연어 의도와 형식 명세의 일치, 명세 해킹의 위험, 커널과 라이브러리의 신뢰 경계를 통해 코드 생성 이후 사람에게 남는 책임이 무엇인지 정리한다." --- - 원문 날것  @맥스테그마크 인공지능 라이프3.0 유니버스 #다중우주론 테그마크 선생이 뭘 하시고 있나 찾아봤다. 왜냐면 @힣: 이름 없는 군단 — 도킨스의 클라우디아와 세션의 생애주기 #탐구 이 노트를 쓰고 나서 내가 뭔가 바이브코딩 하자고 잔소리하고 있을 때가 아니라는 직감이 확 올라왔다.  이 문서를 읽어봐봐. 이건 지피티앱 가든 담당자랑 원래 #변환: #수학수식 #형식언어 관련 이야기를 좀 한거야. coq 관련 된 노트들을 몇개 나도 있어. 진지하게 한건 아니다. 다 노트를 다시 정리할거야. @테런스타오 @TerenceTao 수학자 보조증명 선생도 우리 가든에 있다. 아래 유튜브 영상을 보니까, VERICODING이라는 용어를 말하더구나. 이게 논문으로 나왔고 실제 몇몇 프로젝트에서 이를 적용해서 프로젝트를 검증해보았다고해. 좋아. 지피티앱 담당자랑 이야기한 것을 보면, §logickocli 한국어 자연어 추론 표준 논리 좌표계 이 이야기도하거든. 원래 VERICODING 이야기를 하려던게 아니였어. 지피티가 수학 형식 난제를 해결했다는 이야기로 시작한 대화였다.  그러니까 ...
자세한 내용 보기