Skip to content

Top Best Ask Show New Jobs

scriptdevil | Better HN

scriptdevil

212 karmaJoined April 2, 201481 submissions

Recent submissions

1

Factorial Experiment (opens in new tab)

(en.wikipedia.org)

2scriptdevil4y ago0

2

Bluespec Compiler is now open-source (opens in new tab)

(github.com)GitHub

5scriptdevil6y ago0

3

Nvidia's Jetson AGX Xavier Carmel Performance vs. Low-Power x86 Processors (opens in new tab)

(phoronix.com)

3scriptdevil7y ago0

4

Concrete Semantics with Isabelle/HOL (opens in new tab)

(concrete-semantics.org)

4scriptdevil9y ago0