1Open Logic Project: An Open-Source, Collaborative Logic Text (opens in new tab)(openlogicproject.org)60markhkim7y ago8
2Fundamentals of Fully Homomorphic Encryption – A Survey (opens in new tab)(eccc.weizmann.ac.il)2markhkim7y ago0
5Program that repairs programs: how to achieve 78.3% precision (opens in new tab)(microsoft.com)3markhkim8y ago1
6Learning Cross-Modal Embeddings for Cooking Recipes and Food Images (opens in new tab)(im2recipe.csail.mit.edu)3markhkim8y ago0
7A Coq-based synthesis of Scala programs which are correct-by-construction (opens in new tab)(arxiv.org)2markhkim8y ago0
8Why Quantum Computers Might Not Break Cryptography (opens in new tab)(quantamagazine.org)52markhkim8y ago23
10Butter doesn’t increase risk of heart disease after all (opens in new tab)(statnews.com)1markhkim9y ago0
