분류 전체보기

    Bespin Project

    내가 관심있게 지켜보고 있는 프로젝트인 VMware Research의 Bespin 프로젝트. Private Repo에서 엄청나게 작업이 진행되고 있는듯하다. 아마 조만간 Top-Tier에 논문이 떡하니 등장할 듯. research.vmware.com/projects/bespin VMware Research | Bespin VMware Research Group: We bring development to the VeRGe of research, and research to the VeRGe of production research.vmware.com SUMMARY Bespin is an new operating system written from scratch with the goal to explore..

    CS-3210 Coursework

    조지아텍 김태수 교수님의 운영체제 수업자료 운영체제 수업을 RUST 기반으로 진행한다. :-) https://tc.gts3.org/cs3210/2020/spring/cal.html Schedule — CS-3210, Spring 2020 1 documentation Last updated on Oct 18, 2020. tc.gts3.org

    우분투 설치 후 개발 환경 구성

    ** 우분투 20.04, 20.10 기준 ** updated 21.04.09 1. 우분투 기본 세팅 ( ** 벼루 설치 **) https://luckyyowu.tistory.com/409 ** 위에 블로그 대로 거의 따라감(7,8번 제외) ** 크롬 브라우저는 꼭 패키지(deb) 다운 받아서 설치 해야 함! (벼루와 호환성 문제) ** zsh 테마는"candy-kingdom" 혹은 risto" 가 내 스타일인듯 1.1 Graphics Driver 설치 amdgpu 드라이버 설치 - 나의 포스팅 참고! 2. 카카오톡 설치 (가--끔 필요할 때가 있다) https://tolovefeels.tistory.com/6 ** 카카오톡 업데이트방법 https://luckyyowu.tistory.com/409 2-1...

    VSCODE 우분투 한글 입력 문제 해결

    한글 주석을 작성하는데, 받침 문자가 입력이 안된다. 간단하게 해결할 수 있다. Droid Sans Fallback 이란 글꼴명을 삭제하면 된다. [출처] 우분투에서 비주얼 스튜디오 코드 ( Visual Studio Code ) 사용 시 한글 입력 문제 해결하기|작성자 두글 blog.naver.com/doogle/220889604173

    Traits: Defining Shared Behavior

    Traits을 이해하기 위해서 먼저 참고해야 할 문서들. 실제 코드로 쓰임을 이해한다. 1. Rust Doc. 10.2장 2. Rust By Example 16장 3. Rust Ref. 6.11장 물론, Traits을 이해하기 위해서는 물론 먼저 Generic을 알아야 한다. (Generic은 Rucs Doc. 10.1장, Rust By Example 14장) Traits의 개념이 어렵기보다는 코드의 복잡성을 줄이기 위해서 나오는 Bount, Where과 같은 것들이 헷갈리기 쉽다. 실제 분석하려는 코드를 보면 여러 개의 Traits을 복잡하게 사용하기 마련이다. 딱 보고 의미를 찾을 수 있어야 하는데 그게 쉽지 않다. 눈으로 몇 번 문서를 본 것으로 딱 보면 척이 되길 기대하면 안 된다. 무엇이든 익숙..

    Set up the audio card in Samsung notebook on Linux

    리눅스 사용법 혹은 팁 같은 것은 왠만하면 올리지 않으려고 하는데, 별 것은 아니지만 오랫동안 안되던 문제를 해결해서 기록해 놓는다. 최근 AKG 튜닝이 들어간 삼성 노트북은 아마 내장 스피커와 이어폰잭이 리눅스에서 동작을 안할 것이다. 이미 관련 문제를 검색해꽤 많은 글 들이 있다. 최근 삼성 노트북도 여러 종류가 있기 때문에 무엇을 적용해보기가 쉽지가 않다. 아마 나 처럼 스피커를 안쓴다고 생각하고 사용하는 분들이 많을 것이다. 블루투스 이어폰은 동작을 하기 때문에. 어찌되었든, 동작을 안하는 것은 굉장히 거슬리는 일이다. 지속적으로 눈팅을 해오다가 될 것 같아서 테스트를 해보았다. 혹시나 해서 우분투도 최신 배포판을 사용하고 있는데 굳이 그럴 필요는 없다고 본다. 아무튼 소리가 난다. 2년만에 처음..

    Rust 프로젝트 Gitlab-Github CI/CD 연동

    ** 우분투의 클립보드 버퍼와 티스토리 에디터 사이에 복사 붙여 넣기가 잘 안된다. 열심히 작성 중인 글을 여차하여 다 날려버렸다. 우선 간략히 기록만 하도록 한다. Gitlab-Github를 연동하여 CI/CD를 하는 것은 간단하나 비용이 든다. $19/Month이다. 한 달이 무료이니 경험해볼 만하다. 대학원에 있는 학생들은 CI/CD를 배우기가 어렵다. 나의 경우 그랬다. Rust 프로젝트를 빌드업하는 것이 급하니 일단 한 달 사용해보고 여분의 서버에 CI/CD를 구축하자. - Github에 Rust 프로젝트를 만들어서 Push 한다. '.gitlab-ci.yml'파일을 아래와 같이 만든다. 만든 프로젝트의 https clone 주소를 복사해 둔다. yml 파일은 샘플이니 추후에 필요한 대로 CI ..

    RUST 개발 환경 세팅

    IDE: VSCODE 나와 같이 VI 에디터만 사용해오던 사람의 경우, IDE를 사용한다는 것이 굉장히 낯설다. IDE가 주는 장점을 알면서도 익숙하지 않은 것은 시작하기가 어렵다. 운영체제 또한 리눅스, 윈도우, 맥까지 다양하다. 나는 현재 우분투와 윈도우즈10을 사용하고 있다. 어차피 개발은 서버에 붙여서 할 것이기 때문에 굳이 리눅스를 고집할 필요도 없다. 사실 정답은 이미 나와 있다. VSCODE를 이용하면 된다. 크로스 플랫폼 지원을 지원하고 SSH를 이용해서 원격지의 서버를 그대로 사용할 수 있다. 대부분 서버는 리눅스가 될 것이고 나는 굳이 PC에 리눅스를 쓸 필요가 없다. 맥이건 윈도우즈건 VSCODE만 설치하면 된다. VSCODE는 Microsoft 계정으로 로그인하면 개발 환경 설정도 ..