HNHacker News
TopNewBestAskShowJobs

scriptdevil

212 karma · joined April 2, 2014

submissionscomments

Factorial Experiment

en.wikipedia.org·2 pts·scriptdevil·
0

Bluespec Compiler is now open-source

github.com·5 pts·scriptdevil·
0

Nvidia's Jetson AGX Xavier Carmel Performance vs. Low-Power x86 Processors

phoronix.com·3 pts·scriptdevil·
0

Concrete Semantics with Isabelle/HOL

concrete-semantics.org·4 pts·scriptdevil·
0

Rust infrastructure can be your infrastructure

huonw.github.io·2 pts·scriptdevil·
0