◀ 일년전◁ 한달전<< 일주일전< 하루전| 2024-05-06 |다음날 >일주일후 >>한달후 ▷일년후 ▶ 지난 소식21▲MIT, 채용 및 승진 시 DEI 진술서 요구사항 폐기 (whyevolutionistrue.com)MIT는 교수 채용과 승진에서 DEI 진술서 요구를 중단했고, 기존에 이를 요구하던 부서에도 관련 정보 사용을 멈추라는 지침이 내려간 것으로 전해...1 point by GN⁺ 2024-05-06 | 댓글 1개22▲Rust 검증 기술, 저수준 시스템 코드에 적용 (github.com/verus-lang)Verus는 Rust로 작성한 코드의 정확성을 검증하는 도구로, 개발자가 코드가 해야 할 일을 명세하면 실행 가능한 Rust 코드가 모든 가능한 실행에서...1 point by GN⁺ 2024-05-06 | 댓글 1개