HK
Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Top
New
Best
Ask
Show
Jobs
Request
1.
▲
The Rust borrow checker from a different perspective
blog.systems.ethz.ch
49 comments
8 years ago
utaal
173 points
2.
▲
Physical Adressing on Real Hardware in Isabelle/HOL
blog.systems.ethz.ch
discuss
8 years ago
utaal
2 points