sankha93
- Karma
- 0
- Created
- ()
- Submissions
- 0
- The Kani Rust Verifier Project (model-checking.github.io)
- Show HN: Program Synthesis for Ruby (github.com)
- Type-Level Computations for Ruby Libraries (arxiv.org)
- How Tinder keeps your exact location (a bit) private (robertheaton.com)
- Concrete and Abstract Interpretation, Explained Through Chess (msreverseengineering.com)
- Long-Term Consequences of Spectre and Its Mitigations (robert.ocallahan.org)
- Browser-Wars History: MD5-Hashed Posts Declassified (robert.ocallahan.org)
- Show HN: ShakyDraw – Hand-drawn block diagrams from plain text (shakydraw.com)
- EFF: AI Progress Measurement (eff.org)
- Introduction to WebAssembly (rsms.me)
- [Bug Bounty] GitHub Enterprise SQL Injection (blog.orange.tw)
- Ruby meta-hacking: Looking under the hood (sankhs.com)
- Llnode for Node.js Memory Leak Analysis (brendangregg.com)
- Eclipse based IDE for Rust (github.com)
- Copysets and Chainsets: A Better Way to Replicate (hackingdistributed.com)
- Tuning Blink for faster animation (groups.google.com)
- Where is Indian engineering education headed? (coolage.in)
- JavaScript Parallelism - Project RiverTrail (typedarray.org)
- What if morse code became a programming language? (github.com)
- The Free JavaScript campaign (fsf.org)