Early Explorations of Xline a Stateful Application Managed by Karmadadatenlord.github.io·1 pts·SandmanDZ·0
Show HN: A High-Performance CRC Hardware Generator in Bluespec SystemVeriloggithub.com·2 pts·SandmanDZ·0
Tackling programs from mathematical perspective to verify their correctnessxline.cloud·1 pts·SandmanDZ·0
Show HN: Xline v0.3.0: A Geo-Distributed KV Store for Metadata Managementgithub.com·3 pts·SandmanDZ·0
Thinking about programs from a mathematical perspective to verify correctnesscncf.io·1 pts·SandmanDZ·0