Hacker News
- How to improve the RISC-V specification https://alastairreid.github.io/riscv-spec-issues/ 60 comments
- Machine Readable Specifications at Scale https://alastairreid.github.io/mrs-at-scale/ 16 comments
- What can you do with an ISA specification? https://alastairreid.github.io/uses-for-isa-specs/ 6 comments
- Managing risks in research https://alastairreid.github.io/research-risks/ 5 comments
- Rust testing or verifying: Why not both? https://alastairreid.github.io/why-not-both/ 28 comments
- Formal Verification Tool Competitions https://alastairreid.github.io/verification-competitions/ 12 comments
- Are natural language specifications useful? https://alastairreid.github.io/natural-specs/ 13 comments
- ARM Releases Machine Readable Architecture Specification https://alastairreid.github.io/alastairreid.github.io/ARM-v8a-xml-release/ 18 comments
- ARM Releases Machine Readable Architecture Specification https://alastairreid.github.io/alastairreid.github.io/ARM-v8a-xml-release/ 2 comments
- Verifying ARM processors against the official ARM specification https://alastairreid.github.io/alastairreid.github.io/using-armarm/ 64 comments
Lobsters
- How to improve the RISC-V specification https://alastairreid.github.io/riscv-spec-issues/ 11 comments formalmethods , hardware
- Rust verification tools https://alastairreid.github.io/rust-verification-tools/ 6 comments rust
- How to improve the RISC-V specification https://alastairreid.github.io/riscv-spec-issues/ 6 comments riscv
- What can you do with an ISA (Instruction Set Architecture) specification? https://alastairreid.github.io/uses-for-isa-specs/ 2 comments programming
- Automatic Rust verification tools (2021) https://alastairreid.github.io/automatic-rust-verification-tools-2021/ 15 comments rust
- Rust Design-for-Testability: a survey https://alastairreid.github.io/rust-testability/ 3 comments rust
- Summarizing 12 months of reading papers https://alastairreid.github.io/a-year-of-papers/ 14 comments programming
- Rust testing or verifying: Why not both? https://alastairreid.github.io/why-not-both/ 8 comments rust
- Rust verification tools https://alastairreid.github.io/rust-verification-tools/ 12 comments rust
- Are natural language specifications useful? https://alastairreid.github.io/natural-specs/ 4 comments programming
- ARM Releases Machine Readable Architecture Specification https://alastairreid.github.io/alastairreid.github.io/arm-v8a-xml-release/ 112 comments programming