Profile img

이하

@evenharder@hackers.pub · 26 following · 28 followers

이것저것 해보고 싶은 사람입니다. 지금은 C++과 함께 고통받고 있습니다.

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

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

1
0
0
2
1
0
1
0
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
2
0
0
이하 @evenharder@hackers.pub
Public

회사컴이 점점 맛이 가고 있어서 내일 포맷을 할 예정이다. 브라우저 북마크나 환경설정 백업을 열심히 해두고 있지만, 꼭 몇몇은 기억 저 편 너머에 있다가 한참 나중에 생각이 나곤 한다...

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

블로깅의 쇠퇴, AI의 끝없는 학습, 비공개 플랫폼(Discord 등)으로의 이주, 짧고 중독성만을 강조하는 피드와 BM, 한 번 보면 다시 찾기도 힘든 SNS 포스트, 범람하는 가짜뉴스와 개소리와 혐오... 웹은 정보의 망망대해도 아닌 소행성대로 변해가고 있다.

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

powershell nerd font installer 대신 폰트를 직접 설치하니 해결되었다. 며칠간 더 써본 느낌으로는 Powershell 7은 wezterm보다는 좀 느리다. vim keystroke 하나의 latency가 미세하게 느껴지는 정도. config는 다소 복잡해보였다. Windows 11의 난해한 번역 때문일수도...

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

오늘 Pyodide 모임은 비록 40분을 늦게 도착해서 세미나는 많이 못 들었지만, Typer를 어떻게 교체해야 할지 조언을 들었다. 뒷풀이에서도 멘토 멘티분들과 가까워지는 시간을 잘 보냈다. 앞으로가 더욱 기대된다

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

오늘은 바이너리의 glibc++ 버전이 안 맞는 걸 삽질분석하다가 ldd와 objdump랑 조금 더 친숙해졌다. 해결책은 그냥 LD_PRELOAD긴 했지만, ldd -r -v와 objdump -T라는 재밌는 옵션을 발굴했다.

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

왜인지는 모르겠으나 회사컴을 Win11로 올린지 얼마 안 된 오늘 WezTerm이 실행이 안 되어서 Powershell v7로 급하게 이주했다. 회사 보안 프로그램 때문으로 보이는데 고치기도 어려워보인다. 대체 왜 이런 시련이...

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

왜인지는 모르겠으나 회사컴을 Win11로 올린지 얼마 안 된 오늘 WezTerm이 실행이 안 되어서 Powershell v7로 급하게 이주했다. 회사 보안 프로그램 때문으로 보이는데 고치기도 어려워보인다. 대체 왜 이런 시련이...

0
1
0