1Open Logic Project: An Open-Source, Collaborative Logic Text (opens in new tab)(openlogicproject.org)60markhkim7y ago8Save
2Fundamentals of Fully Homomorphic Encryption – A Survey (opens in new tab)(eccc.weizmann.ac.il)2markhkim7y ago0Save
5Program that repairs programs: how to achieve 78.3% precision (opens in new tab)(microsoft.com)3markhkim8y ago1Save
6Learning Cross-Modal Embeddings for Cooking Recipes and Food Images (opens in new tab)(im2recipe.csail.mit.edu)3markhkim8y ago0Save
7A Coq-based synthesis of Scala programs which are correct-by-construction (opens in new tab)(arxiv.org)arXiv2markhkim9y ago0Save
8Why Quantum Computers Might Not Break Cryptography (opens in new tab)(quantamagazine.org)52markhkim9y ago23Save
10Butter doesn’t increase risk of heart disease after all (opens in new tab)(statnews.com)1markhkim9y ago0Save
13SQL, NoSQL, Spark How to Choose Your Tech-Stack (opens in new tab)(youtube.com)Video4markhkim9y ago0Save
15Reporting on the libreboot controversy, in tweets (opens in new tab)(twitter.com)4markhkim9y ago0Save
