Seo Sanghyeon Profile
Seo Sanghyeon

@sanxiyn

Followers
4,175
Following
1,082
Media
48
Statuses
3,287

Card-carrying member of Cetocratic Party of Manifold

Seoul, South Korea
Joined June 2008
Don't wanna be here? Send us removal request.
Explore trending content on Musk Viewer
@sanxiyn
Seo Sanghyeon
4 years
누가 그러더라 돈으로 살 수 없는게 있는데 그게 바로 공룡이라고. 너무나도 맞는 말이다.
3
6K
3K
@sanxiyn
Seo Sanghyeon
1 year
Attention, LK-99 people! We have an exciting discovery from the department of the history of science. First, we acquired an interview of Professor Chair from National Library of Korea. It's short, just two pages.
@sanxiyn
Seo Sanghyeon
1 year
@altryne Especially interesting is an interview of Professor Chair by Donga Science (a Korean version of New Scientist) in the issue of September, 1993. I confirmed it is available in the library.
1
3
31
8
70
590
@sanxiyn
Seo Sanghyeon
2 years
C 언어를 공부하면 운영체제를 공부하는데 도움이 될까요? 같은 질문을 자주 받는다. 내가 생각하기에, 그 답은 고전 한문을 공부하면 춘추전국시대의 역사를 공부하는데 도움이 될까요? 와 같은 것이다.
2
234
302
@sanxiyn
Seo Sanghyeon
1 year
We haven't finished reading PKU paper yet, but "soft ferromagnetism" is not a blow against LK-99. This is easy to prove. Download patent KR20230030188 and check description paragraph 129. Do your homework.
@alexkaplan0
Alex Kaplan
1 year
It's as close to official as we'll probably get: LK-99 is likely simply a ferromagnetic material, which explains its levitating properties, according to new research from Peking University. The room temperature superconductivity revolution will have to wait another day.
305
1K
13K
13
26
282
@sanxiyn
Seo Sanghyeon
1 year
As a result, we reached some surprising conclusions that we thought we need to share. So here is a writeup, titled "On LK-99 papers". By Seo Sanghyeon, Kang Seonghoon, and Kim Joongi. Thank you, you are my best friends forever.
3
91
270
@sanxiyn
Seo Sanghyeon
1 year
얼마 전 해커뉴스에서 자료구조와 알고리즘에 최근 어떤 발전이 있었냐는 논의가 있어서 생각을 적어봤는데 의외로 많은 투표를 받았다 (32표). 2010년대의 가장 주요한 발전으로 정렬에서 분기 없는 퀵정렬(2016)과 해시테이블에서 스위스 테이블(2017)이 있었다.
2
138
266
@sanxiyn
Seo Sanghyeon
1 year
So we now see the research program had a long history stretching back to 65 years ago, and @iris_IGB wasn't kidding when she was talking about "a material predicted by Soviet theory of superconductivity". The end.
10
29
253
@sanxiyn
Seo Sanghyeon
1 year
Floaty rock is floaty
12
13
243
@sanxiyn
Seo Sanghyeon
1 year
거대 언어 모델이 데이터의 문제라면, 구글을 이기기 쉽지 않을 것이다. 구글에는 2500만권의 책을 스캔한 구글 북스가 있기 때문이다. 이것은 우연이 아닌데, 애초에 2005년(!)에 구글은 AI가 읽게 하기 위해서 책을 스캔하고 있다고 말했다. 당시에는 대부분의 사람들이 농담으로 생각했다.
3
192
231
@sanxiyn
Seo Sanghyeon
2 years
컴퓨터가 어떻게 동작하는지 아는 것만으로 여러분을 짜증나고 이상한 사람으로 보는 이들도 보게 될 겁니다. 여기에 대해서 제 조언은 하나 뿐입니다: 그들은 지옥에 갈 것입니다... 여러분은 코드를 짤 수 있습니다. 그들은 못 합니다. 이건 정말 멋진 겁니다.
0
82
223
@sanxiyn
Seo Sanghyeon
2 years
C 언어가 기계에 가깝기 때문에 빠른 언어라는 식의 주장은 가소로운 것이다. malloc과 free를 쓰는 언어가 그런 주장을 해서는 안된다.
2
151
217
@sanxiyn
Seo Sanghyeon
2 years
공공 연구기관 블라인드 채용이 우수연구자 확보를 막아왔던 것은 틀림없는 사실이다. 일단 제도 시행 초기에는 서류에 논문을 못 적게 했다. 그래서 깜깜이 심사가 되었다. 이렇게는 사람을 못 뽑는다고 항의하면 다들 이렇게 하는데 과학이 뭐 특별하냐고 핀잔을 주었다.
@frombc7197
사해문서
2 years
공공 연구기관 블라인드 채용 폐지…尹 "우수연구자 확보 막아" 블라인드로 때문에 못 들어오는 우수인자는 혈통인자나 인맥인자 아님?
12
3K
563
3
391
207
@sanxiyn
Seo Sanghyeon
2 years
러스트 어디에 쓰냐고, 그거 블록체인에 쓰는 거냐고 묻는 사람들이 너무 많아서 문서를 만들었다. 한국 러스트 사용자 그룹 제공 러스트 사용례:
2
106
203
@sanxiyn
Seo Sanghyeon
2 years
C는 왜 이런 이상한 메모리 함수를 가지게 된 것일까? 어떤 분이 당시에는 그럴만한 사정이 있지 않았겠냐고 하셨다. 그렇지 않다. 이것은 당시에도 이상한 결정이었다.
@sanxiyn
Seo Sanghyeon
2 years
malloc은 크기를 인자로 받는데 free는 포인터만 인자로 받고 크기를 인자로 받지 않는다. free는 도대체 메모리가 얼마나 할당되었는지 그 크기를 어떻게 아는 것일까?
1
22
63
1
148
170
@sanxiyn
Seo Sanghyeon
3 years
그렇습니다 여러분 러스트 하세요 이제 5년 남았습니다.
@KrComet
Hyeseong Kim
3 years
자주 얘기하는거지만 단순하게 구글 트렌드로 봐도 한국과 북미의 트렌드 격차가 대충 5년쯤 차이나는게 보이는데, 예를들면 React vs jQuery를 했을때 트렌드가 교차되는 시점이 북미에선 2015년 말~2016년 초 쯤 되는 반면 국내에선 2021년 절찬리 진행중이다가 이제 넘어옴
2
216
361
1
95
164
@sanxiyn
Seo Sanghyeon
1 year
@protosphinx This is a project to rehabilitate their teacher and his theory and to execute his will as well as a commercial venture. I think this is why they go on and on about somewhat doubtful theoretical explanations instead of simply reporting the material. It matters to them.
3
15
157
@sanxiyn
Seo Sanghyeon
1 year
If LK-99 is a superconductor (or rather an SPSS, aka superconducting phase support scaffold, thanks Iris), its Tc is near 310 K, not 400 K. Q-Centre's claim of Tc = 400 K should be rejected in favor of CAS paper. Here, have a look at figure 23 from the patent.
Tweet media one
10
18
146
@sanxiyn
Seo Sanghyeon
1 year
제가 PSAT형 인간이고 (PSAT 1달 준비해서 90점 합격함) 평생 저보다 시험 잘보는 사람을 만난 적이 없는데요, 공부 잘하는 거랑 시험 잘보는건 완전 다릅니다. 말꼬리 잡는게 아니에요.
@moomini00
Moomini
1 year
ㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎㅎ 공부 잘하는거랑 시험 잘보는건 다르다는 인알이 많이 보이는데, 인알 쓴 분들은 시험은 못보고 공부만 잘하신건가요? 🤔 어쨌건 사회는 시험을 잘 봐서 어딘가에 잘 들어가 있는 사람들을, 통상 ‘공부를 잘한다’고 합니다. 이건
0
11
36
6
101
138
@sanxiyn
Seo Sanghyeon
1 year
We met yesterday and had a blast. We talked nonstop for 4 hours and went through all three papers page by page and all three interviews and then had a free discussion.
@sanxiyn
Seo Sanghyeon
1 year
So I arranged an impromptu meetup with my friends tonight to discuss room temperature superconductor. We will have dinner, coffee, and talk while eating and drinking. Maybe we will watch Twitch stream trying to replicate this. Whatever.
2
1
44
1
14
147
@sanxiyn
Seo Sanghyeon
1 year
This is a teaser. I am working on digitizing it and translating it, manually, not by machine translation. I spent so many hours on it already. So without further ado, Theoretical Framework of the Superconducting Revolution.
2
8
135
@sanxiyn
Seo Sanghyeon
2 years
Pelikan은 트위터를 지탱하는 인메모리 캐시이다. C로 작성했다가 Rust로 재작성했다. 트위터가 NSDI 2021에 발표한 논문에 따르면, 기존 memcached에 비해 8배의 처리량 향상이 있었다. 논문은 인메모리 캐시에는 아직 최적화할 여지가 많다는 결론을 내렸다.
1
69
134
@sanxiyn
Seo Sanghyeon
2 years
나는 엔지니어다. 나는 내 일에 큰 자부심을 느낀다. 거기에는 숭고한 의무가 따른다. 엔지니어로서 나는, 진실하고 공정하고, 포용하고 존경하며, 내 일의 존엄과 기준을 지킬 것을 맹세하고, 언제나 기술에는 지구의 소중한 자원을 가장 잘 활용하여 인류에 봉사할 의무가 함께한다는 것을 상기한다.
1
34
131
@sanxiyn
Seo Sanghyeon
1 year
People, Seo is my family name, and I have nothing to do with and am not interested in Search Engine Optimization. Please stop following me for that reason. Thanks.
12
33
128
@sanxiyn
Seo Sanghyeon
1 year
말을 잘 하는 모델은 얼마나 커야 할까? 정말 수십억개의 파라미터가 꼭 필요한 것일까? 이 문제를 풀기 위해 마이크로소프트 리서치에서 GPT-4로 세 살짜리 애들이 아는 낱말만 써서 문단 세 개짜리 이야기를 1500만개 생성했다. 이 데이터셋은 공개했다.
1
64
126
@sanxiyn
Seo Sanghyeon
1 year
@protosphinx The story is in fact wilder than this. In six authors paper, "We acknowledge late Prof. Chair Tong-seek for initiating research of a 1-dimensional superconductor". This is the key name, telling us where this came from.
5
12
119
@sanxiyn
Seo Sanghyeon
2 years
모질라가 파이어폭스를 만들려고 러스트를 만든다고 했을때 많은 사람들이 의아해했다. 웹 브라우저와 컴파일러의 크기를 잘 모르기 때문이라고 생각한다. 파이어폭스는 1000만줄이 넘고 러스트는 50만줄이 안되니 5%에도 미치지 못한다. 웹 브라우저에 비하면 컴파일러는 과자 부스러기 같은 것이다.
0
63
118
@sanxiyn
Seo Sanghyeon
2 years
64비트로 그렇게 빨리 바뀔까? ARM으로 그렇게 빨리 바뀔까? AVX로 그렇게 빨리 바뀔까? 소프트웨어를 하는 사람들은 항상 하드웨어에 주의를 기울여야 한다. 하드웨어는 생각보다 빨리 바뀌고, 일단 바뀌면 소프트웨어에 큰 영향을 미친다.
2
52
114
@sanxiyn
Seo Sanghyeon
1 year
Our group agreed on the statement, "So what the heck has happened with LK-99 really?". If you are confused (aren't we all?), we hope it help understand the situation better. Primary writing was by @senokay and everyone else commented.
7
21
112
@sanxiyn
Seo Sanghyeon
1 year
딥러닝이 어떻게 동작하는지에 대해 아는게 거의 없는데도 GPT-4 같은게 나오는게 이상하다면, 산소에 대해 전혀 모르고도 구석기인들이 불을 피웠다는걸 떠올려보자. 불 뿐 아니라 가마도 용광로도 심지어 증기기관도 산소를 모르고 만들었다. 불이라는게 산소와 결합하는 것인데도 그렇다.
1
81
111
@sanxiyn
Seo Sanghyeon
4 years
공룡 자리에 쵸비츠, 매머드 상아, 주말 화성 여행 티켓 같은걸 넣어도 된다. 이걸 표현하는 보통 방법은 "루이 15세의 권력과 돈으로도 천연두 백신을 살 수 없었다"인데 역시 공룡이 좋은 것 같다.
1
166
110
@sanxiyn
Seo Sanghyeon
1 year
@protosphinx Translation: "After the death of Prof. Chair, following his last wish, we worked on research and development of room temperature and ambient pressure superconductor for 6 years".
2
11
97
@sanxiyn
Seo Sanghyeon
1 year
This is extremely interesting, to say the least. From Google Books, we learn that Zygmunt M. Galasiewicz, who is indeed from Poland, actually Professor of Physics, Wrocław, wrote Superconductivity and Quantum Fluids.
6
15
91
@sanxiyn
Seo Sanghyeon
1 year
Press is very useful, because unlike online detectives like me, reporters can call people and get answers back. Some information you are looking for is not online and only exists in people's heads.
1
9
88
@sanxiyn
Seo Sanghyeon
1 year
An interview with Chair Tong-seek (PBUH). Donga Science, September 1993, pp. 106-107.
Tweet media one
Tweet media two
4
16
89
@sanxiyn
Seo Sanghyeon
1 year
소련이 망하고 소련 과학계에는 밥을 굶어도 과학을 하겠다는 정신나간 과학자들만 남았다고 함. 돈과 명예를 원하던 사람들은 사라지고 열정에 불타는 사람들만 남은 것은 사실임. 그러나 그 누구도 이게 바람직하다거나 과학계를 그렇게 만들어야 한다고 하지는 않을 것.
@golbin
골빈해커
1 year
저는 코딩 그 자체가 재밌는 사람이고, 제 주변 소프트웨어 엔지니어는 그런 사람들이 대부분입니다. 결과의 성취감과 포기하지 않는 끈기는 무슨 업이든 마찬가지로 필요한 일이고, 프로그래밍도 마찬가지긴 한데요. IT 기술쪽은 트렌드가 굉장히 빠르게 변하기 때문에, 코딩 그 자체가 재미 없으면
2
144
237
0
78
89
@sanxiyn
Seo Sanghyeon
1 year
@protosphinx In 1994, Korea University Press publishes a book titled 초전도혁명의 이론적 체계, which translates as Theoretical system of the superconducting revolution.
3
7
87
@sanxiyn
Seo Sanghyeon
6 months
해커뉴스에서 누가 64비트가 넘칠 일이 있냐니까 어떤 사람이 갑툭튀해서 자기가 S3에서 일할때 사용중인 용량 바이트 합계를 낼 일이 있었는데 넘쳤다고. 넘칠 수 있는건 이론이고 그런 말 하자마자 경험자가 나타나는건 해커뉴스의 묘미.
1
45
85
@sanxiyn
Seo Sanghyeon
1 year
This also lets us view today's talk at the International Symposium on Metallic Multilayers in entirely different light. I assumed the talk reflected the group's opinion, but it may well not be. The end.
3
6
83
@sanxiyn
Seo Sanghyeon
1 year
Which translates as "At first, I thought I discovered the concept of collective oscillation, but recently, I found out from literature search that Galasiewicz from Poland already did".
2
11
79
@sanxiyn
Seo Sanghyeon
2 years
null 종결 문자열이라는 잘못된 디자인을 덮기 위해서 크기를 받지 않는 free라는 잘못된 디자인이 추가되고 잘못된 디자인이 눈덩이처럼 불어난 것이다. 이것이 C라는 언어의 정체이다. C가 프로그래밍 언어를 수십년 후퇴시켰다는 평가가 괜히 나오는 것이 아니다.
0
56
84
@sanxiyn
Seo Sanghyeon
3 years
오늘부터 카카오를 떠나 @KrComet 님과 당근마켓 파트너 팀에서 일하게 되었습니다.
5
8
85
@sanxiyn
Seo Sanghyeon
1 year
Now some speculations. The timing of 4 months ago coincides with the submission to Journal of the Korean Crystal Growth and Crystal Technology. It is possible that departure was over conflict about how to publish the result.
1
5
80
@sanxiyn
Seo Sanghyeon
2 years
GPT-4 발표. 주목해야 할 점은 2022년 8월에 GPT-4의 훈련이 끝났다는 점이다. (논문 40쪽에 나온다.) 6개월 넘게 공개하지 않고 가지고 있었던 것이고, 2022년 11월에 ChatGPT 서비스를 시작했으니 그 시점에 이미 GPT-4 훈련이 끝나 있었던 것이다.
7
63
81
@sanxiyn
Seo Sanghyeon
1 year
The paper is work in progress and not yet ready to be published. He also said that while Young-Wan Kwon was a CTO of Quantum Energy Research Centre, he quit 4 months ago and is now unrelated to the company.
1
7
79
@sanxiyn
Seo Sanghyeon
2 years
윤석열 정부가 공공 연구기관 블라인드 채용을 전면 폐지하기로 한 것은 매우 잘한 일이다. 과학계가 축제 분위기인 것을 충분히 이해할 수 있다. 블라인드 채용의 의도가 나빴기 때문이 아니고, 실제 시행이 너무 이상했기 때문이다.
1
120
75
@sanxiyn
Seo Sanghyeon
6 years
Airbnb에 따르면 버그의 40%는 타입을 쓰지 않아서이고, Microsoft에 따르면 버그의 70%는 메모리를 수동으로 관리해서이다. 그러므로 내 Java 코드는 110% 버그가 없어서 버그가 전혀 없다.
2
184
68
@sanxiyn
Seo Sanghyeon
1 year
@dystopiabreaker Yes, but I am worried whether we are living in the world of the Three-Body Problem instead, where physicists commit suicide due to incomprehensible experimental results.
3
5
75
@sanxiyn
Seo Sanghyeon
2 years
@disjukr 실제로 캘리포니아 노동법은 근로계약에 연봉에 대한 비밀유지 조항을 넣는 것을 금지하고 있습니다. 한국에도 도입해야 한다고 생각합니다.
0
108
73
@sanxiyn
Seo Sanghyeon
1 year
Working men and women and cowboys and catgirls of all countries following me for LK-99 updates, let us unite, and I propose we sing together L'Internationale to commemorate its noble spirit. 起来, 饥寒交迫的奴隶! 起来, 全世界受苦的人!
6
4
72
@sanxiyn
Seo Sanghyeon
1 year
Miraculously, this book is not out of print! You can even buy an ebook! But since you won't (but I did), you may want to search for "collective oscillation", as Google does show snippets in search. Here we already built a link for you.
1
5
69
@sanxiyn
Seo Sanghyeon
3 years
"데이터 분석가의 숫자유감" 사서 읽었다. @mazycat 님이 말씀하시길, "혹자는 데이터로 사기를 치고, 혹자는 데이터로 약을 팔며, 혹자는 데이터로 아무말을 한다". 과연 그렇다. 문장들이 너무 좋다. 추천.
3
31
72
@sanxiyn
Seo Sanghyeon
1 year
I took Monday off. Software development demands concentration and I can't concentrate. Therefore I can't work today. A simple syllogism.
2
5
70
@sanxiyn
Seo Sanghyeon
2 years
GPT-4 논문에서 데이터 오염을 분석하면서 Codeforces Rating의 오염도를 0%로 분석했는데 (28쪽), 실제로 Codeforces 문제를 풀게 해본 결과 동일한 난이도에서 2021년 문제는 10문제 중 10문제를 다 풀고 최근 문제는 10문제 중 한 문제도 풀지 못했다고 한다.
@cHHillee
Horace He
2 years
I suspect GPT-4's performance is influenced by data contamination, at least on Codeforces. Of the easiest problems on Codeforces, it solved 10/10 pre-2021 problems and 0/10 recent problems. This strongly points to contamination. 1/4
Tweet media one
Tweet media two
80
688
4K
1
59
69
@sanxiyn
Seo Sanghyeon
1 year
I am sorry it is in Korean. We agreed speed is in premium, and writing in Korean is faster for us.
1
0
71
@sanxiyn
Seo Sanghyeon
2 years
모질라에서 만든 UniFFI는 공통 코드를 Rust로 작성하면 안드로이드 앱의 Kotlin과 iOS 앱의 Swift에서 사용할 수 있게 해주는 바인딩 생성기이다. 실제로 파이어폭스 Sync 코드는 Rust로 작성되어 수억명이 사용하는 파이어폭스 안드로이드 앱과 iOS 앱에 쓰이고 있다.
0
39
64
@sanxiyn
Seo Sanghyeon
2 years
고수 개발자들이 유튜브 안 하는 이유. 바빠서 그런거 할 수 없다.
2
57
65
@sanxiyn
Seo Sanghyeon
1 year
이 데이터셋으로 모델을 훈련하자 파라미터 1억개 이하의 모델로도 유창하고 일관되며 문법적이고 상식과 추론 능력을 보여주는 텍스트를 생성할 수 있었다. 모델의 넓이와 깊이를 바꿔가며 실험하자 상식은 넓이의 영향을 받았고 추론은 깊이의 영향을 받았다.
1
27
68
@sanxiyn
Seo Sanghyeon
1 year
My comparative advantage seems to be that I am a native Korean speaker, comfortable with English and Twitter, and also comfortable with reading technical literature, both for work and for fun.
1
3
65
@sanxiyn
Seo Sanghyeon
2 years
OpenJDK 19의 출시와 함께 Project Loom의 결과물인 JEP 425: Virtual Threads도 같이 출시되었는데, 러스트 프로젝트 기여자로서 아쉬운 점이 많다. 왜냐면 Project Loom이 옳기 때문이다.
2
32
67
@sanxiyn
Seo Sanghyeon
1 year
BREAKING: In SEIZE's interview with Hyun-Tak Kim, we have been pointed out that Hyun-Tak Kim's use of words superconductor/초전도체 and superconductivity/초전도 is consistent and this is important. So we updated to highlight them.
4
8
67
@sanxiyn
Seo Sanghyeon
1 year
Which translates as "Professor Chair said he is looking for Galasiewicz from Poland, who was drawing similar conclusions to him in 1970, and Bogoliubov from the former Soviet Union, who was his teacher".
5
8
64
@sanxiyn
Seo Sanghyeon
2 years
2015년 Andrei Alexandrescu는 C++, D, Go, Rust를 비교하면서, 거칠게 요약하자면, C++은 10배 많이 쓰고, D는 언어가 10배 좋고, Go는 전략이 10배 좋고, Rust는 이론이 10배 좋다고 했다. 큰 그림에서 여전히 대충 맞는 이야기 같다.
2
42
66
@sanxiyn
Seo Sanghyeon
1 year
Why did Gandalf throw the One Ring into the fire? Recent events made it clear that the One Ring is a room temperature ambient pressure superconductor and Gandalf was trying to measure its heat capacity by Istari magic. Also, Black Speech letters appear due to phase transition.
6
8
65
@sanxiyn
Seo Sanghyeon
3 years
아스트라제네카 백신의 드문 부작용으로 보고된 혈전 발생의 원인 가설. 코로나19 스파이크 단백질이나 아데노바이러스 벡터와는 무관하고, 아스트라제네카 백신에만 이례적으로 많은 양이 사용된 방부제인 에틸렌다이아민테트라아세트산(EDTA) 연관성이 의심된다고 한다.
1
123
63
@sanxiyn
Seo Sanghyeon
1 year
메타에서 유출된 LLaMA는 이제 끝났다. 왜냐면 낙타과 라마속에는 4종이 있는데 llama, alpaca, vicuna, guanaco가 모두 쓰이면서 붙일 이름이 떨어졌기 때문이다.
1
45
62
@sanxiyn
Seo Sanghyeon
2 years
malloc은 크기를 인자로 받는데 free는 포인터만 인자로 받고 크기를 인자로 받지 않는다. free는 도대체 메모리가 얼마나 할당되었는지 그 크기를 어떻게 아는 것일까?
1
22
63
@sanxiyn
Seo Sanghyeon
2 years
C: 서로 힘을 합치면 C++이 나와요.
0
50
63
@sanxiyn
Seo Sanghyeon
1 year
Rather, it is a literary analysis of papers: papers are writings too, and they can be analyzed in relation to their writers and circumstances of their writing.
0
2
60
@sanxiyn
Seo Sanghyeon
1 year
From the summary post: "Conclusion: No Meissner effect was demonstrated and data (various measurements and analysis of physical properties and composition) was too poor. General mood was negative."
7
15
58
@sanxiyn
Seo Sanghyeon
1 year
There are decades where nothing happens; and there are weeks where decades happen. Vladimir Ilyich Lenin
4
8
60
@sanxiyn
Seo Sanghyeon
2 years
도움이 되기야 하겠지만 고전 한문의 주술 구조를 이해한다고 춘추전국시대의 합종연횡이 깨달아지는 것은 아니다.
0
39
57
@sanxiyn
Seo Sanghyeon
1 year
돈을 빌려서 어렵게 사업하는 분들한테 와서 조직적으로 횡포를 부리는 것은 바람직하지 못하다 should be translated "It is inappropriate to terrify business people in group when they are on loan and in hardship"
2
3
57
@sanxiyn
Seo Sanghyeon
2 years
이러한 이유 때문에 C 표준 위원회는 다음 버전의 C 표준에 free_sized를 추가하는 작업을 진행하고 있다. N2699를 보라.
1
23
60
@sanxiyn
Seo Sanghyeon
2 years
답은 C 런타임이 (C 런타임은 존재한다) 포인터에서 크기로 가는 룩업 테이블을 관리한다는 것이다. 이 룩업 테이블을 저장해야 하므로 불필요한 메모리 오버헤드가 발생하고, 이 룩업 테이블을 참조해야 하므로 불필요한 CPU 오버헤드가 발생한다.
1
32
59
@sanxiyn
Seo Sanghyeon
2 years
이러한 수정은 C++은 2014년에, Rust는 2018년에 이미 해결한 문제이다. C는 2022년까지도 이 문제를 해결하지 못하고 있다.
0
26
59
@sanxiyn
Seo Sanghyeon
1 year
CUDA 때문에 NVIDIA 독점이 깨지기 어렵다고 보는 사람들은 OpenAI가 CUDA를 사용하지 않는다는 점에 대해 어떻게 생각하는지 궁금하다.
5
30
56
@sanxiyn
Seo Sanghyeon
6 years
옛부터 vim vs emacs 라는 성전이 있었는데 마침내 vs가 승리했다는 것이다:
1
128
53
@sanxiyn
Seo Sanghyeon
2 years
이러한 오버헤드는 포인터와 크기를 인자로 받는 free_sized 같은 API가 있었더라면 불필요한 것이다. 그렇다면 이러한 오버헤드가 무시할만큼 작은가? 그것도 아니다. 구글에 따르면 free_sized 대신 free를 써서 발생하는 CPU 오버헤드가 30%나 된다.
2
25
54
@sanxiyn
Seo Sanghyeon
4 years
(루이 15세와 에드워드 제너는 동시대인이고 루이 15세는 천연두로 죽었다.)
1
36
54
@sanxiyn
Seo Sanghyeon
6 months
이 건 Anthropic 기술 지원에 문의를 했는데 답이 왔고 해결이 되었습니다. 파일 내용의 한글이 문제가 아니라 파일 이름의 한글이 문제로, 파일 이름에서 한글을 없애고 재시도하자 성공했습니다. 다른 분들도 참고하시길...
@sanxiyn
Seo Sanghyeon
6 months
Claude가 한국어 PDF 처리를 못해서 CLOVA X 써봄. 몰랐는데 그새 PDF 업로드 대화 기능을 추가했네요. 당연히 한국어 PDF 처리도 잘됨.
0
5
12
1
23
48
@sanxiyn
Seo Sanghyeon
1 year
CEO replied, "your mind must be floating thanks to Meissner effect". Indeed.
0
1
55
@sanxiyn
Seo Sanghyeon
3 years
저는 제 자신을 코더로 정의하고 코더임을 자랑스럽게 생각합니다. 코딩이 얼마나 어려운건데 코더를 깔봐.
2
25
53
@sanxiyn
Seo Sanghyeon
1 year
The author spent two years, 1958 and 1959, at the Joint Institute for Nuclear Research in Dubna, USSR, where he had the opportunity of working om some problems in the theory of superconductivity suggested to him by Professor n. Bogoliubov.
1
4
51
@sanxiyn
Seo Sanghyeon
1 year
Hello, new followers, welcome! As you can see, I normally tweet in Korean and not in English, but I decided to make an exception while current LK-99 situation(TM) lasts.
4
0
52
@sanxiyn
Seo Sanghyeon
1 year
So thanks to the end of the Cold War, he learned about some fresh ideas from the Eastern Bloc, such as collective oscillation. Now let's look at the book itself. It is pretty long (248 pages) and we can't talk about it all here, but the first sentence of the preface is quotable.
1
2
51
@sanxiyn
Seo Sanghyeon
2 years
내가 더럽고 치사해서 맥을 켰다. FreeBSD 시스템 malloc이 jemalloc이므로 이것은 전혀 불필요한 것이지만, 어느 누가 그건 "대부분의 C 런타임"이 아니란다. 아래 프로그램을 컴파일하고 실행해서 malloc(1234)가 반환한 포인터의 한 워드 전을 살펴보자.
2
27
53
@sanxiyn
Seo Sanghyeon
1 year
SCP Foundation has classified LK-99 as an Euclid class SCP due to its reality warping power. Zhihu user Sleepless Dragon (whose profile picture is Paimon from Genshin Impact) gained access to the internal database and shared the entry for the world.
5
2
48
@sanxiyn
Seo Sanghyeon
1 year
This is interesting throughout, and we will digitize and translate it properly. Meanwhile, we would like to highlight two sentences from the leftmost column of the second page.
1
2
48
@sanxiyn
Seo Sanghyeon
1 year
@andrewmccalip @8teAPi My understanding is that this is where they made a breakthrough (in 2018) and where they started, but you can't be expected to break a quartz tube every time you want to synthesize a sample, so they iterated on it and arrived at the recipe.
1
2
50
@sanxiyn
Seo Sanghyeon
1 year
I had a weekend plan to work on my software side project (a source-to-source transpiler from Rust to Zig) but I would be distracted all day about LK-99, am I not.
2
3
47
@sanxiyn
Seo Sanghyeon
1 year
Hyun-Tak Kim is on fire and his words are spicy. Who could have guessed he is such a keyboard warrior.
2
2
49
@sanxiyn
Seo Sanghyeon
1 year
Since I seem to be the Twitter's designated Korean to English translator (oh people oh why), you called unto me, and I will answer thee, and show thee great and mighty things, eh
5
1
48
@sanxiyn
Seo Sanghyeon
1 year
From this we learn that according to Chair, he made an independent (but late) discovery of collective oscillation, learned about the work of Galasiewicz later, and the source of the knowledge was most likely the book Superconductivity and Quantum Fluids.
1
2
46