분류 전체보기
tmate: Instant terminal sharing
실험 서버가 보안이 아주 잘 되어 있다. 교내 WIFI 망에서도 접근이 불가능하다. 많은 것은 필요 없다. 터미널만 열어주면 충분하다. 이는 tmate로 아주 쉽게 해결했다. 조금 느리긴하다. 이 부분은 집에 저전력 mini-pc를 두고 tmate 자체 서버를 운영하면 될 것 같다. 랩에서 서버를 운영하는 것이 가장 BEST이나, 다 막혀있는 터라. (포트 개방할까?) 그럼에도 내 자리에서 작업하는 것이 최고다. 위 작업은 실험 등등에서 활용하기 위함이다. tmate.io/ tmate • Instant terminal sharing brew install tmate Note: Homebrew is required as a prerequisite. sudo apt-get install tmate sudo ..
Traits: A Deep dive
Traits과 관련하여 유명한 Nell님의 톡 및 Rust 관련 주제 공식 문서들. 일단 Rust Book을 이해하는 것이 가장 우선됨. 특히, 19장 Advanced Traits은 읽어야함. 관련 기법을 사용한 코드 때문에 이해하는데 어려움이 있었음. Traits and You: A Deep Dive — Nell Shamrell-Harrington youtu.be/grU-4u0Okto - Rust Book doc.rust-lang.org/book/ch10-02-traits.html Traits: Defining Shared Behavior - The Rust Programming Language A trait tells the Rust compiler about functionality a partic..
완전 가성비 24인치 QHD 모니터
24인치 QHD 모니터를 하나 더 질렀다. 메인으로 사용하는 레노버 제품을 구매하려다가 저렴한 가성비 제품을 한번 시도해보기로 했다. 스펙으로는 전혀 꿀릴 게 없는 제품이기에 문제만 없다면 나쁠 게 없다는 생각이었다. 기존 모니터 암에 세로로 연결하여 문서, 논문 보는 용도로 사용할 예정이었다. 1) 24인치 QHD 해상도, 75Hz 주사율 2) IPS 패널 3) 플리커프리,안티글래어 4) 무결점 보장 5) 300CD 밝기 6) VESA 연결 레노버 제품과 똑같은 스펙에 가격이 2/3였다. 내 생각에는 이미 24인치 QHD 제품은 상향 평준화되었다고 보았다. 역시 설치해보니 기존 레노버 제품과 특별히 나를게 없는 퀄리티를 보여주었다. 물론 OSD와 마운트 쪽을 보면 부족함이 있다. 하나, 어차피 모니터 ..
Safe Systems Programming in Rust: The Promise and the Challenge
검색을 해보면 RUST 언어에 관련된 논문들도 꽤 많이 보인다. 시스템 관련 분야에서 RUST를 기반으로 구현한 연구들이 많다. 올해 최근 Top-Tier에 보면 늘상 있다. 이전에는 관심이 없었을 뿐. 이제 눈에 보인다. Rust의 핵심 이야기를 담고 있다. 슬라이드로 만들어서 발표하는게 좋을 것 같다. 일단 Todo에 넣자! people.mpi-sws.org/~dreyer/papers/safe-sysprog-rust/paper.pdf 저자 정보 scholar.google.com/citations?user=zddokfoAAAAJ&hl=en Ralf Jung Post-doctoral researcher, MPI-SWS - Cited by 826 - programming languages - verific..
24인치 QHD 모니터 구입!
모니터를 하나 샀다. 업무용인데 갑자기 지름신이 진동하여 내돈내산 했다. 로켓으로 받고 이렇게 글을 남긴다. 나의 요구사항 1) 24인치 2) QHD급 3) 플리커프리/안티글레어 4) IPS 패널 5) 피벗/엘리베이션 6) 가성비 6가지를 충족하는 제품이 몇개 있었지만, 그 중에서 나는 레노버 제품을 샀다. 이유 1) DELL 제품보다 5만원 저렴 2) 로켓 배송 여기에 반품 물건 할인 제품이 있었다. 그래서 최종적으로 엄청 싸게 잘 샀다. 물건에 하자도 물론 없다. (쿠팡 반품 물건은 중고라고 하기도 그렇다) 24인치 QHD가 효용이 있을까 싶었는데, 픽셀 피치가 작아서인지 확실히 조밀한 화면을 볼 수 있다. 그리고 기존 5년이 넘은 DELL FHD 제품이 아무래도 플리커프리가 아닌 것이 신경이 쓰였는..
Github.io 페이지 디자인 모음
1) lanyon 김민장 님 블로그 참고. 이걸로 바꿔야겠다. github.com/poole/lanyon poole/lanyon A content-first, sliding sidebar theme for Jekyll. - poole/lanyon github.com 2) .... 계속 추가 할 예정
Corundum: Statically-Enforced Persistent Memory Safety, ASPLOS '21
ABSTRACT Fast, byte-addressable, persistent main memories (PM) make it possible to build complex data structures that can survive system failures. Programming for PM is challenging, not least because it combines well-known programming challenges like locking, mem- ory management, and pointer safety with novel PM-specific bug types. It also requires logging updates to PM to facilitate recovery af..
Rust Language Cheat Sheet
Rust Language Cheat Sheet 이런게 있었다니... 왜 이제 알았을까! 너무 훌륭한 정리다. cheats.rs/ Rust Language Cheat Sheet Rust Language Cheat Sheet 15.04.2021 Contains clickable links to The Book BK, Rust by Example EX, Std Docs STD, Nomicon NOM, Reference REF. Clickable symbols BK The Book EX Rust by Example STD Std Docs NOM Nomicon REF Reference RFC Official RFC documents cheats.rs