from Hacker News

sankha93

joined 1/24/12, 10:09 AM has 419 karma

• NSF Budget Cuts Would Put the Future of U.S. Innovation and Security at Risk

  by sankha93 on 2/10/25, 4:36 PM, with 0 comments

• The Kani Rust Verifier Project

  by sankha93 on 5/4/22, 10:09 PM, with 1 comments

• Show HN: Program Synthesis for Ruby

  by sankha93 on 4/13/22, 2:52 PM, with 19 comments

• Type-Level Computations for Ruby Libraries

  by sankha93 on 7/23/19, 1:21 AM, with 0 comments

• How Tinder keeps your exact location (a bit) private

  by sankha93 on 7/18/18, 8:34 PM, with 0 comments

• JVM Profiler: A Tool for Tracing Distributed JVM Applications

  by sankha93 on 6/28/18, 9:23 PM, with 0 comments

• Concrete and Abstract Interpretation, Explained Through Chess

  by sankha93 on 2/27/18, 10:20 PM, with 0 comments

• Long-Term Consequences of Spectre and Its Mitigations

  by sankha93 on 1/17/18, 1:14 AM, with 68 comments

• Browser-Wars History: MD5-Hashed Posts Declassified

  by sankha93 on 1/7/18, 6:05 AM, with 71 comments

• Show HN: ShakyDraw – Hand-drawn block diagrams from plain text

  by sankha93 on 6/21/17, 6:25 PM, with 50 comments