Submission timeline
2007–2026One slot for every year since HN launched. Height is that year's peak points; orange marks a 100+ point or 50+ comment breakout. Select a bar to open its strongest thread.
First comments on top threads
HN comment orderRISC-V CPU formal specification written on F#. Formalazation of RISC-V ISA architecture.
To me "formal specification" sounds like it should have some sort of connection to formal methods, i.e., some proof system. This looks more like what I would call an "instruction set simulator". Though if the focus is on clarity and readability rather than performance, "executable specification" might be a good middle ground.
The first top-level comment from each of the four biggest threads, in HN’s own order. Excerpts are shortened; open a comment for full context.
- Breakout years
- 2
- Total points
- 259
- Total comments
- 58
100+ points or 50+ comments
reference only — not used in Hall rules or ranking
reference only — not used in Hall rules or ranking
Every submission
| Date | Title as submitted | By | Points | Comments |
|---|---|---|---|---|
| 2019-10-03 | New open source F# RISC-V ISA formal specification and CPU simulation | sfxws2006 | 2 | 0 |
| 2019-10-14 | F# RISC-V Instruction Set Formal Specification | adamnemecek | 1 | 0 |
| 2019-10-20 | F# RISC-V Instruction Set Formal SpecificationFirst breakout | adamnemecek | 122 | 16 |
| 2023-07-29 | RISC-V CPU formal specification F# editionBest thread · Latest 20+ point return | mrLSD-dev | 134 | 42 |