Profile img

이하

@evenharder@hackers.pub · 25 following · 27 followers

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

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

pyodide-build가 어떻게 돌아가는지 조금 습득했다. cli가 어떻게 작동하나 싶어 찾아봤는데 python package의 entry point 개념을 새롭게 익혔다. uv sync를 수행하니 neovim에 연결된 lsp가 알아서 제3자 패키지도 분석해줘서 한결 작업을 쉽게 해볼 수 있겠다

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

멤버변수가 200개 가량 되는 C++ 클래스 인스턴스를 정녕 우아하게 직렬화할 수는 없는 걸까? 컴파일 에러 메시지를 보니 g++ paramater pack 상한에 걸리는 느낌이다

이하 @evenharder@hackers.pub
Public

reflect-cpp랑 toml++을 엮어서 reflectivity 기반으로 컴파일이 되기는 했고, 출력도 아주 잘 된다. TU 1개 컴파일에 무려 10분이 걸린다는 '사소한' 문제가 있어서 어떻게 해야 할지 고민이 된다.

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

멤버변수가 200개 가량 되는 C++ 클래스 인스턴스를 정녕 우아하게 직렬화할 수는 없는 걸까? 컴파일 에러 메시지를 보니 g++ paramater pack 상한에 걸리는 느낌이다

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

TDD 실습으로 TDD의 한계점만 느끼고 있다. std::cin buffer를 바꿔치기해서 thread를 띄우고 gmock에 시간차를 두고 표준 입력을 전달하려니 이게 프로그램 테스트인지 C++ 지식 테스트인지 모르겠다. 테스트 코드가 테스트할 코드보다 어려운 현상은 매우 흔하며, 대개 src 폴더에 있는 코드보다 더욱 빠르게 레거시 코드로 상해버린다. 테스팅은 소프트웨어 개발 주기에서 필수적인 역할을 지니고 있으나 TDD가 프로그램의 명확함을 보장하는 방향으로 굴러가긴 어렵다. 명확한 프로그램은 선행되는 테스트가 아니라 명확한 설계에서 나오기 때문이다.

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

교육 받으며 Windows 11에서 nvim dotfile이랑 lazygit 깔아 쓰려고 했는데 git이 계속 타임아웃 걸려서 순정 nvim에 미니멀한 .vimrc 적용해서 쓰고 있다. 기이하게도 git이 명령 하나에 (git log, git switch 포함) 2초씩 걸리고 lazygit에서 커서를 움직이면 diff pane이 한 줄씩 갱신되는 수준의 끔찍한 속도를 자랑하고 있다. Windows는 뭐가 잘못된걸까.

1
0
0