개요 이번 학기에 cmu의 db강의를 따라 들으려 한다. c++ 연습을 위한 과제가 바로 올라왔는데, HyperLogLog를 구현하는 과제이다. 이것도 못 풀면 강의 드랍하라는 것 같다. 과제 나오자마자 풀었는데, test를 계속 틀렸었다. 머리 박고 있었는데, test code의 값이 잘 못 올라와 있던 것이었다. test 업데이트와...
추후 계획과 현 상황?
0. 현황, 듣고 있는 수업 토익 원트에 받을 만한 점수 받았다. 유튭 팁만 보다가 기출도 3회분 정도 풀고 간거 같다. 빨갱이 책은 산거 아까워서 다 풀었고, 파랭이 책도 아까워서 뒷부분만 다 풀어봤다. 컴파일러 솔직히 그냥 그렇다. 그냥 무미 건조하다. 아직 백엔드 부분을 ...
tla+ vscode setting
1. Install vscode-tlaplus https://github.com/tlaplus/vscode-tlaplus/wiki/How-to-Install install extension install java sudo pacman -Syu yay jdk17-openjdk 2. Getti...
노트북 세팅
동기 이번 학기에는 mac mini m1을 사용했었다. 적응도 했고, 이래저래 꾸미고 잘 섰다. 다만 프로그래밍 언어 수업때 opam으로 coq 설치과정에서 gmp관련 컴파일 에러로 고생을 했다. 근본적으로는 해결을 하지 못했다. 대신 NIX를 이용해서 vscoq을 설치해 사용했다. 처음에는 잘 썼는데 다른 파일들을 모듈로 불러오는 부분이 ...
SLS sat solver 서칭
Improving two-mode algorithm via probabilistic selection for solving satisfiability problem Sattime : i C, Li Y. Satisfying versus falsifying in local search for satisfiability. In: Proceed...
2023 Winter Vacation
인턴 시작 전까지 할 것들 Database internals 읽기 프로젝트 문서 읽기 rust 공부 - 방학 할 것들 - 텝스 - 연구 - 방학 하고 싶은 것들 - rust 공부 - 컴파일러 공부 - cuda 공부 - llm 공부 - 코테 - 계획적인 삶 - ...
Qubit Mapping and Routing Via MaxSAT
https://horizon.kias.re.kr/16769/
gpu 서버 세팅
tmux로 gpu 세션 받아 유지함 아나콘다 설치 # 설치 파일을 다운로드할 경로로 이동(to home directory) cd ~ # Anaconda 설치 파일 다운로드 wget https://repo.anaconda.com/archive/Anaconda3-2023.03-1-Linux-x86_64.sh # 설치 파일 실행 bash...
xv6 백업
2장 systemcall os의 3가지 multiplexing isolation interaction 응용프로그램은 믿지 못하고 버그가 있으며 강한 고립을 원할 수 있다. 직접 자원을 사용하기보다 파일 시스템으로 추상화하는 것이 강한 고립의 도움이 된다. cpu 전환시 레지스터 값 등이 저장되기 때문에 프로세스는 시분할에 대해 ...
네트워크 읽어볼만한 글
https://blog.naver.com/goduck2/221112593320 https://blog.naver.com/PostView.naver?blogId=goduck2&logNo=221113532619&parentCategoryNo=&categoryNo=&viewDate=&isShowPopularPosts=f...