Profile img

이하

@evenharder@hackers.pub · 31 following · 34 followers

이것저것 해보고 싶은 사람입니다. 지금은 Rust에 입문하고 있습니다.

이하 @evenharder@hackers.pub
Public

2026년 1월 13일

5일과 12일에 이어서 피타고라스 쌍 (5, 12, 13)에 해당하는 삼각형의 가장 작은 각이 보인다. KMS 달력은 각 날짜의 가로세로비가 3:2 정도인데, 덕분에 직각삼각형과 각 변의 길이를 담을 공간이 충분하다.

0
0
0
이하 @evenharder@hackers.pub
Public

2026년 1월 13일

5일과 12일에 이어서 피타고라스 쌍 (5, 12, 13)에 해당하는 삼각형의 가장 작은 각이 보인다. KMS 달력은 각 날짜의 가로세로비가 3:2 정도인데, 덕분에 직각삼각형과 각 변의 길이를 담을 공간이 충분하다.

0
1
0
이하 @evenharder@hackers.pub
Public

2026년 1월 11일

11은 gcd⁡(1111,2112,3113,4114,5115,6116,7117,8118,9119)\gcd(1111, 2112, 3113, 4114, 5115, 6116, 7117, 8118, 9119)이다. 유클리드 호제법을 통해 간단히 보일 수 있다.

0
1
0
이하 @evenharder@hackers.pub
Public

2026년 1월 11일

11은 gcd⁡(1111,2112,3113,4114,5115,6116,7117,8118,9119)\gcd(1111, 2112, 3113, 4114, 5115, 6116, 7117, 8118, 9119)이다. 유클리드 호제법을 통해 간단히 보일 수 있다.

0
1
0
0
1
0
이하 @evenharder@hackers.pub
Public

2026년 1월 8일

​잘 알지 못하는 위상수학의 세계로 들어간다. 숫자 8처럼 생긴 '8자 모양 공간(Figure-8 space)'의 기본군(Fundamental group)은 Z×Z\mathbb{Z} \times \mathbb{Z}, 즉 두 개의 생성원을 가진 자유군(Free Group)이다.

0
1
0
이하 @evenharder@hackers.pub
Public

2026년 1월 8일

​잘 알지 못하는 위상수학의 세계로 들어간다. 숫자 8처럼 생긴 '8자 모양 공간(Figure-8 space)'의 기본군(Fundamental group)은 Z×Z\mathbb{Z} \times \mathbb{Z}, 즉 두 개의 생성원을 가진 자유군(Free Group)이다.

1
1
0
0
1
0
이하 @evenharder@hackers.pub
Public

2026년 1월 5일

1월 달력에서 시각적으로 가장 돋보이면서 또한 가장 넓은 요소이기도 하다. 피타고라스 쌍 (5,12,13)(5, 12, 13)에 맞춰 길이가 5, 12, 13인 직각삼각형이 5일, 12일과 13일에 걸쳐 놓여있다.

0
1
0
이하 @evenharder@hackers.pub
Public

새로운 회사에서 맥북을 받아 써보고 있는데, 자판 크기나 단축키가 다른 점도 문제지만 작성해둔 dotfiles가 맥에서 호환이 안 된다. 아뿔싸... 맥이 처음이라 당했다.

2
0
0
이하 @evenharder@hackers.pub
Public

2026년 1월 5일

1월 달력에서 시각적으로 가장 돋보이면서 또한 가장 넓은 요소이기도 하다. 피타고라스 쌍 (5,12,13)(5, 12, 13)에 맞춰 길이가 5, 12, 13인 직각삼각형이 5일, 12일과 13일에 걸쳐 놓여있다.

0
1
0
이하 @evenharder@hackers.pub
Public

2026년 1월 3일

정육면체의 부피는 정육면체의 꼭짓점 중 서로 이웃하지 않는 네 꼭짓점으로 구성된 정사면체의 부피의 3배이다. 또한, 각기둥의 부피는 밑면과 높이가 동일한 각뿔의 부피의 3배이다.

0
1
0
이하 @evenharder@hackers.pub
Public

2026년 1월 2일

​1월 2일의 수는 겔폰트-슈나이더 상수인 222^{\sqrt{2}}이다.

힐베르트의 23가지 난제 중 7번은 "0과 1이 아닌 대수적인 수 aa와 대수적인 무리수 bb에 대해 aba^b는 초월수"인지 물으며, 이는 겔폰트-슈나이더 정리에 의해 참으로 증명되었다. 이 수는 무리수의 무리수 제곱이 유리수일 수 있음을 보이는데 단골로 소개되기도 한다.

Gelfond–Schneider constant - Wikipedia

en.wikipedia.org

이하 @evenharder@hackers.pub
Public

2026년 1월 3일

정육면체의 부피는 정육면체의 꼭짓점 중 서로 이웃하지 않는 네 꼭짓점으로 구성된 정사면체의 부피의 3배이다. 또한, 각기둥의 부피는 밑면과 높이가 동일한 각뿔의 부피의 3배이다.

0
1
0
이하 @evenharder@hackers.pub
Public

2026년 1월 2일

​1월 2일의 수는 겔폰트-슈나이더 상수인 222^{\sqrt{2}}이다.

힐베르트의 23가지 난제 중 7번은 "0과 1이 아닌 대수적인 수 aa와 대수적인 무리수 bb에 대해 aba^b는 초월수"인지 물으며, 이는 겔폰트-슈나이더 정리에 의해 참으로 증명되었다. 이 수는 무리수의 무리수 제곱이 유리수일 수 있음을 보이는데 단골로 소개되기도 한다.

Gelfond–Schneider constant - Wikipedia

en.wikipedia.org

2
1
0
2
1
0
3
1
0
5
0
0
이하 @evenharder@hackers.pub
Public

오늘 Hackers' Public @ Seoul 송년회에서 "개발자는 개발을 좋아해야 하는가? 에 대한 고찰"로 라이트닝 토크를 진행했습니다. 사실 제가 발표자인줄도 모르고 앞에서 이야기를 진행하게 되었는데, 많은 분께서 호응해주시고 또 경험에서 우러나온 진솔한 의견을 내주셔서 다양한 이야기가 오갈 수 있었습니다. 모두 감사드리며, 내년에 모두 원하시는 바 이루기를 기원하겠습니다. 🥰

8
0
0
3
0
0
1
1
0
2
0
0
1
0
0
이하 @evenharder@hackers.pub
Public

미러 대회는 3인 1키보드 화상 환경에서 8솔브로 마무리되었습니다. 오랜만에 문제 재밌게 풀었네요. 8솔과 9솔의 난이도 차이가 많이 커보이긴 했습니다.

1
0
0
2
1
0
0
0
0
이하 @evenharder@hackers.pub
Public

이번 주 토요일은 아침부터 낮까지 OSSCA 성과공유회고 아마 저녁식사까지 할텐데, 일요일 새벽에 해커컵 Round 2를 칠 체력이 있으려나 모르겠다. 하지만 티셔츠는 받아야 하는데...

2
0
0
1
0
0
이하 @evenharder@hackers.pub
Public

https://arxiv.org/abs/2510.17829 P-NP 문제를 해결하고 Lean4로 검증했다는 연구. 과연 세기의 난제에 마침표가 찍힐까?

arXiv logo

A Homological Proof of $\mathbf{P} \neq \mathbf{NP}$: Computational Topology via Categorical Framework

This paper establishes the separation of complexity classes $\mathbf{P}$ and $\mathbf{NP}$ through a novel homological algebraic approach grounded in category theory. We construct the computational category $\mathbf{Comp}$, embedding computational problems and reductions into a unified categorical framework. By developing computational homology theory, we associate to each problem $L$ a chain complex $C_{\bullet}(L)$ whose homology groups $H_n(L)$ capture topological invariants of computational processes. Our main result demonstrates that problems in $\mathbf{P}$ exhibit trivial computational homology ($H_n(L) = 0$ for all $n > 0$), while $\mathbf{NP}$-complete problems such as SAT possess non-trivial homology ($H_1(\mathrm{SAT}) \neq 0$). This homological distinction provides the first rigorous proof of $\mathbf{P} \neq \mathbf{NP}$ using topological methods. The proof is formally verified in Lean 4, ensuring absolute mathematical rigor. Our work inaugurates computational topology as a new paradigm for complexity analysis, offering finer distinctions than traditional combinatorial approaches and establishing connections between structural complexity theory and homological invariants.

arxiv.org · arXiv.org

0
0
0
초무 @2chanhaeng@hackers.pub
Public

근데 왼쪽 같은 생각 들 때는 걍 무지성 딸깍이 누르는 것도 의외로 도움이 되긴 하는 듯...
당장 결과물 안 나와서 우울감에 빠져있을 때는 AI든 뭐든 써서 뭐라도 만들어내서 자기효능감 떡락 악순환에서 탈출하는 게 큰 도움이 됨

0
0
0
0
0
0
0
1
0
1
0
0
이하 @evenharder@hackers.pub
Public

C++에서 UB는 하드웨어 수준에서는 UB가 아니라고 생각했던 얼마 전에 나어게 경종을 올렸던 글. "Pointers are complicated" 시리즈. 주로 Rust에 관한 글이지만 abstract machine, memory model의 개념은 C++에도 있으며 하드웨어와는 확연히 다르다. 특히 포인터가 얼마나 까다로운 개념인지, 컴파일러가 어떠한 가정하에서 최적화를 수행하는지 다시금 익혔다.

Pointers Are Complicated, or: What's in a Byte?

This summer, I am again working on Rust full-time, and again I will work (amongst other things) on a “memory model” for Rust/MIR. However, before I can talk about the ideas I have for this ...

www.ralfj.de

6
0
1
1
0
0
이하 @evenharder@hackers.pub
Public

절반 정도 읽었는데 정말...무슨 말인지 잘 모르겠고, beta reduction을 수행하면 왜 이렇게 치환되는지도 잘 모르겠다. 아쉽게도 초심자를 위한 글은 아니었다...

1
0
0
2
1
0
1
0
0
이하 @evenharder@hackers.pub
Public

오늘 Pyodide 정기 모임에서 다양한 분들의 활동을 듣고 같이 이야기해서 재밌었다. 세상은 과연 넓다...한편으로는 좁기도 하다. 다만 Hackers' Public이랑 시간이 겹쳐 아쉬웠다...

5
0
0
3
0
0
0
0
0
3
0
0
이하 @evenharder@hackers.pub
Public

오늘은 다른 파트에서 나온 이상 현상을 보다가 흔한 실수 중 하나인 memcpy(dest, src, strlen(src))를 발견하고 공유했다. 동적 할당 방지를 위해 std::string과 std::format을 못 쓰는 상황도 아쉽고, 프로젝트 초창기에 다양한 helper class(std::array 기반 문자열 등)가 정립이 되지 않아 아쉽다. 그 때는 정말 초짜 신입이었으니, 별 도리가 없기도 했다.

올해 초에 조금이라도 바로잡고자 문자열 조작 로직을 개량해 직접 snprintf를 쓰지 않고 편리하게 문자열을 다룰 수 있도록 변경한 적이 있었다. 꽤 많은 팀원이 그 존재를 익혔지만 수많은 레거시 코드는 앞으로도 태곳적 상태에 머물지 않을까. 슬프기보다는 아쉽다. 근원적인 실수를 줄일 수 있는 기회가 더욱 있었을텐데...

4
0
0
3
0
0
4
0
0
1
0
0
2
1
0
1
0
0