Skip to content

Top Best Ask Show New Jobs

RolfRolles | Better HN

RolfRolles

11 karmaJoined March 8, 201112 submissions

Recent submissions

1

Semi-automated key generator generation, with video (opens in new tab)

(openrce.org)

2RolfRolles14y ago0

2

Finding Bugs in VMs with a Theorem Prover (opens in new tab)

(openrce.org)

2RolfRolles14y ago0