3ChipWhispererLite: Open-source toolchain for embedded hardware security research (opens in new tab)(kickstarter.com)2cipher011y ago0Save
4StrangeLoop: Exploring four hidden superpowers of Datomic (opens in new tab)(youtube.com)Video2cipher011y ago0Save
7SEED: Software Engineering Evidence Database (opens in new tab)(evidencebasedse.com)29cipher011y ago6Save
9In classical logic, why is(p⇒q) True if both p and q are False? (opens in new tab)(math.stackexchange.com)1cipher012y ago0Save