miniblog.

← Back to all posts
Feb 17, 2018 at 11:51
Common types of implementation bugs found by RISC-V formal:
riscv-formal/docs/examplebugs.md at main · cliffordwolf/riscv-formal
riscv-formal/docs/examplebugs.md at main · cliffordwolf/riscv-formal
RISC-V Formal Verification Framework. Contribute to cliffordwolf/riscv-formal development by creating an account on GitHub.

Related Posts

Apr 26, 2026 at 20:52
2
It's confusing how 'REPL' refers to two different UIs: A CLI like IPython or Julia, where things like multiline editing and syntax highlighting need careful implementation. An editor protocol like SLIME or CIDER where multiline editing is a total non-issue.
Mar 15, 2026 at 20:42
Really elegant developer tool: Go's inline IDE feature is used with deprecation markers, so call sites are autofixed from OldApi() to NewApi() based on the implementation of OldApi.
//go:fix inline and the source-level inliner - The Go Programming Language
How Go 1.26's source-level inliner works, and how it can help you with self-service API migrations.
Mar 5, 2026 at 10:27
12
Is there a good term for "after using this feature we realised that the best design is different from the current design"? In casual conversation I generally hear "bug" but there was nothing wrong with the original implementation.