scriptdevil's submissions

1.		Factorial Experiment (wikipedia.org)
		2 points by scriptdevil on Oct 11, 2021 \| past
2.		Bluespec Compiler is now open-source (github.com/b-lang-org)
		5 points by scriptdevil on Feb 6, 2020 \| past
3.		Nvidia's Jetson AGX Xavier Carmel Performance vs. Low-Power x86 Processors (phoronix.com)
		3 points by scriptdevil on Feb 11, 2019 \| past
4.		Concrete Semantics with Isabelle/HOL (concrete-semantics.org)
		4 points by scriptdevil on Dec 27, 2016 \| past
5.		Rust infrastructure can be your infrastructure (huonw.github.io)
		2 points by scriptdevil on June 30, 2015 \| past