Y Hacker News new | ask | show | jobs

user: mrLSD-dev created: 2023-07-28 karma: 98 Professional Engineer, developer. https://github.com/mrLSD Ph.D. of Philosophy submissions: F# RISC-V v0.6.0 released 4 points | 0 comments Formal Verification of a Token Sale Launchpad: A Compositional Approach in Dafny 1 points | 0 comments 0 points | 0 comments Swift EVM (Ethereum Virtual Machine) new release v0.5.13 2 points | 3 comments Aurora EVM rust library: Cancun hard fork release 1 points | 0 comments Custom Semantic Analyzer library written Rust lang 19 points | 0 comments 0 points | 0 comments Rust library semantic-analyzer-rs for creating subset of compilers 2 points | 1 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments 0 points | 0 comments F# RISC-V Instruction Set formal specification 134 points | 42 comments