jongrae.k

통합을 위해서 강력한 내란 척결을 바랍니다.

유학가서 돈없을때 학교 근처에 한국분이 하는 샌드위치가게에서 불고기 샌드위치를 시키면 빵이 닫히지 않을 정도로 고기를 넣어주시곤 했었죠.

일년전즈음인가부터 아마존에서 칼을 사려면 성인인증을 해야 했는데 이게 계속 실패했는데 오늘 드뎌 성공해서 토마토 자르는 칼을 주문할 수 있었습니다.

#오운완

알고리즘 이론에서 맞다고 생각하고 많이 이용되던 가설 Exponential Time Hypothesis (ETH) 가 오픈AI에 의해서 틀린 가설이라 증명되었다고 합니다. openai.com/index/buildi...

반성문을 제출하며 선처를 호소하는 이들도 있었으나, 유진씨는 합의하지 않았습니다. “단 한 사람이라도 처벌을 받아야 다음 사람들이 두려워서라도 멈출 것”이라는 생각 때문이었습니다.

수식을 치다가 부호를 하나 잘못쳤는데 클로드에게 이 문서에 식에 기반해서 시뮬레이션하는 프로그램을 짜라고 했더니 클로드가 보기엔 이게 무한대로 발산할텐데 물리적으로 말이 안돼므로 여기 부호가 잘못된거 갔다면서 고쳐서 짠 프로그램을 주는군요. 그래서 문서에 오타가 있는걸 알게 되었습니다. 음 … 😳

인권이나 차별에 대한 개념을 갱신하면 좋겠는데 안돼는 건지 아니면 그 이전 개념에 대한 확고한 신념이 있는 건지 잘 모르겠습니다. 이번 정부의 성공을 바라는 입장에서 많이 안타깝습니다.

영국대학 로고의 멋짐에 따른 순위랍니다. 리즈대학로고 저는 괜찮다 생각하는데 순위는 좋지 않군요. 근데 임페리얼 대학 로고는 왜 저렇데요? ㅋ

룰라 대통령 당선 소감이라는데 너무나 가슴을 후비네.

이 주제도 재미있군요. 모델은 아직 다 이해못했지만 이렇게 손으로 그려보니까 뭔가 더 알게 된거 같고 말이죠.

시바스리갈 마시다 총맞아 죽은 놈이 무슨 막걸리 좋아하는 서민형 인간인것처럼 생각하는지 원. 그때 죽지않고 계속 살아서 20년을 더 집권했으면 얼마나 많은 사람들이 더 고통받고 한국이 지금 어디에 가 있었을지 가늠이 안되는 그래서 그저 안도하게 되는 날이 오늘입니다.

유럽항공사 조종사 4분의 1이 비행하지 말았어야 할 과로 상태에서 비행을 한다고 합니다.

어제 희한 찬란 컬러풀한 꿈을 꾸었는데 등장 인물 중 하나는 상반신은 인간 하반신은 피자였습니다. 아마도 페퍼로니 피자였던거 같습니다.

누구를 너무 너무 미워하면 그게 자신의 정체성이 되어서 인생을 망치게 되는데 그거의 국가 단위의 실례가 북한이지요.

지난밤에 폭풍으로 동네에 강풍이 불었는데 동네 sns에 누가 자기집 고양이가 이렇게 바람에 시끄러운게 너 때문이란 식으로 계속 자기한테 화를 내서 곤란하다고 글을 올렸더군요.

어제 49일째에서 꽝나서 다시 오늘부터 1일 시작입니다. Wordle 1,954 5/6 ⬜🟩🟩🟩⬜ ⬜🟩🟩🟩🟩 ⬜🟩🟩🟩🟩 🟩⬜⬜⬜⬜ 🟩🟩🟩🟩🟩

수학자들이 인공지능이 증명한 준-리만가설을 검토하기 시작했나봅니다. 검토에는 시간이 걸리겠지만 증명은 맞을거라 생각하는거 같습니다. 재미있는건 어떻게 증명했을까 였는데요. 새로운 접근법을 찾은건지 존재하는 방법의 조합인지 였는데요. 답은 두번째였나봅니다. 컴퓨터로 방대한 지식을 연결하면 난제를 풀 수 있다는 사례입니다. 다만 많은 사람들의 과장된 수퍼지능의 전조는 전혀 보이지 않았고 여전히 인공지능은 잘 만들어진 확률 예측기입니다. youtu.be/dsBXYAwQieI?...

그야말로 비전문가 일반인의 입장에서 보면 이런류의 판단이 시민의 권리를 더 지켜준다고 생각하지 않습니다. 항상 예외적 경우의 가능성을 상정해야 겠지만 이런 판단은 결국 모든 행정이나 법집행에 복잡성만 증가시켜서 법하는 사람들 돈벌기 좋은 사회를 만드는데 일조하겠죠. 더불어 온갖 말도 안돼는 핑계거리만 늘리고 그걸 처리하는 비용만 증가시킬테구요.

오늘 서머타임 끝나는 날인거 몇주전부터 알고 있었는데 정작 당일날 아침에 까맣게 잊고 있어서 늦잠잔거 같은데 7시네 이러고 있었습니다.

#오운완

온라인 인터뷰에서 llm을 이용해서 답변하는 사례가 드물지 않게 있는거 같습니다.

집에 쓰레기통이 한 15년쯤 되어서 오늘 새걸로 바꿨습니다. 같은 제품으로. 같은 제품이 여전히 팔리고 있더군요. 가격이 만오천원정도 하는 쓰레기통인데 잘팔리나 봅니다.

오늘은 일찍 집에와서 스페인 안주로 맥주 시간입니다.

LLMs are making formal software verification feasible at a much larger scale \ Anthropic www.anthropic.com/research/for... - 앤트로픽은 클로드를 활용해 전문가의 수작업에만 의존하던 소프트웨어 정형 검증을 기계어(RISC-V) 레벨에서 대규모로 자동화하는 데 최초로 성공 (🧵1/2)

레딧에 박사과정 학생이 내 지도교수는 아무것도 모르는것 같다는 글에 붙은 답변이 재밌군요. 아마도 실제로 학생 지도에 무성의한 그리고 연구에 무능한 교수가 있기도 하겠죠. 하지만 박사연구주제가 지도교수에게도 새로운 문제일 수도 있지요. 그리고 결정적으로 그 문제를 본인이 직접 풀기 보다는 학생이 주도해서 풀수있도록 조언해 주는 역할이 아마 더 적당한 관계이겠죠. 더불어 지도교수가 멍청해보이는 시점이 바로 박사과정을 성공적으로 마무리하고 있다는 신호중 하나이기도 합니다. ㅎㅎ

#오운완

오늘 저녁은 태국 음식으로 외식입니다.

며칠전에 그릇몇개 산다고 했는데 집앞에 커다란 상자가 와 있더군요. 몇개가 2개는 아니었습니다.

수요일은 언덕 오르기 #오운완

#오운완

#오운완

리) 맘에 여유가 없어서 그런지 지난해부터 책읽는 속도가 영 느립니다. 다시 힘 좀 내야 겠습니다.

우리 모친은 이제 글은 못읽겠다 하시던데... 눈 좋은 양반인데도. 대단하시다 어르신. 울 아부지보다도 연세가 위신데...

항공학회에서 상을 준다는 이메일을 받았습니다. 올해 갑자기 상을 두개나 받는데 그전에 받은건 거의 40년전입니다. ㅎㅎㅎ

이렇게 설계했어야지?

겨울준비: 이불빨기/건조 완료.

할로윈?

#오운완

홍역주사 안맞아도 멀쩡한건 주변에 대부분 사람들이 홍역주사를 맞아서 홍역에 걸린 사람을 만날 확률이 낮아서 그런것이죠. 그런데 그걸보고 안맞아도 괜찮네 하면서 대부분이 안맞으면 대부분이 홍역에 걸리게 되는게 당연한 일이죠.

맥주 마시는 중