Hacker News
- Hifitime https://nyxspace.com/hifitime/ 0 comments
- Understanding leap seconds and time scales https://nyxspace.com/hifitime/ 0 comments
Lobsters
- Understanding leap seconds and time scales https://nyxspace.com/hifitime/#time-scales 5 comments python , rust , science
Linked pages
- Rocket Lab | Frequent and reliable access launch is now a reality | Rocket Lab https://www.rocketlabusa.com 51 comments
- How Kani helped find bugs in Hifitime | Kani Rust Verifier Blog https://model-checking.github.io/kani-verifier-blog/2023/03/31/how-kani-helped-find-bugs-in-hifitime.html 4 comments
- How Open Source Projects are Using Kani to Write Better Software in Rust | AWS Open Source Blog https://aws.amazon.com/blogs/opensource/how-open-source-projects-are-using-kani-to-write-better-software-in-rust/ 0 comments
Related searches:
Search whole site: site:nyxspace.com
Search title: Hifitime - Nyx Space
See how to search.