HNHacker News
TopNewBestAskShowJobs

sankha93

421 karma · joined January 24, 2012

https://sankhs.com

[ my public key: https://keybase.io/sankha; my proof: https://keybase.io/sankha/sigs/fNCBWiRz03YhX9qwaVqJtlytd4Cu4ow8db4gHejSxhU ]

submissionscomments

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

cra.org·8 pts·sankha93·
0

The Kani Rust Verifier Project

model-checking.github.io·4 pts·sankha93·
1

Show HN: Program Synthesis for Ruby

github.com·82 pts·sankha93·
19

Type-Level Computations for Ruby Libraries

arxiv.org·1 pts·sankha93·
0

How Tinder keeps your exact location (a bit) private

robertheaton.com·1 pts·sankha93·
0

JVM Profiler: A Tool for Tracing Distributed JVM Applications

eng.uber.com·4 pts·sankha93·
0

Concrete and Abstract Interpretation, Explained Through Chess

msreverseengineering.com·3 pts·sankha93·
0

Long-Term Consequences of Spectre and Its Mitigations

robert.ocallahan.org·136 pts·sankha93·
68

Browser-Wars History: MD5-Hashed Posts Declassified

robert.ocallahan.org·163 pts·sankha93·
71

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

shakydraw.com·140 pts·sankha93·
50

EFF: AI Progress Measurement

eff.org·5 pts·sankha93·
1

Introduction to WebAssembly

rsms.me·3 pts·sankha93·
0

[Bug Bounty] GitHub Enterprise SQL Injection

blog.orange.tw·1 pts·sankha93·
0

Ruby meta-hacking: Looking under the hood

sankhs.com·3 pts·sankha93·
0

Neural networks, regression and feature learning in Clojure

github.com·4 pts·sankha93·
0

Llnode for Node.js Memory Leak Analysis

brendangregg.com·3 pts·sankha93·
0

Coinbase Debuts the First Bitcoin Debit Card in the US

wired.com·17 pts·sankha93·
7

Eclipse based IDE for Rust

github.com·2 pts·sankha93·
0

Copysets and Chainsets: A Better Way to Replicate

hackingdistributed.com·1 pts·sankha93·
0

Tuning Blink for faster animation

groups.google.com·4 pts·sankha93·
0

Where is Indian engineering education headed?

coolage.in·2 pts·sankha93·
0

JavaScript Parallelism - Project RiverTrail

typedarray.org·2 pts·sankha93·
0

What if morse code became a programming language?

github.com·1 pts·sankha93·
0

The Free JavaScript campaign

fsf.org·13 pts·sankha93·
17

A declarative syntax based presentation tool

github.com·2 pts·sankha93·
1

NSA PRISM Access Console

sankha93.github.io·3 pts·sankha93·
2

Show HN: Blog using Github Gists

sankha93.github.io·4 pts·sankha93·
3

Show HN: File watching with powerful expression parser

sankha93.github.io·1 pts·sankha93·
0

Ask HN: Will Blink support <blink>?

6 pts·sankha93·
4

Take care, it's Floating Point Arithmetic

thelimbeck.wordpress.com·35 pts·sankha93·
49
Page 1 of 2Next →