sankha93

9 ms·

31.
by sankha93 7y ago
GP is talking about the inline images protocol: https://www.iterm2.com/documentation-images.html
32.
by sankha93 7y ago
I have written and deployed message queues in Node.js that take data from Redis and push it out on websockets. It is a pain to deal with the GC in weird cases. This was about 5 years ago, so the details might not accurate. Things worked fin
33.
by sankha93 7y ago
The menu icon looks very similar to Facebook's Libracoin [1] logo. [1]: https://libra.org/en-US/
34.
Type-Level Computations for Ruby Libraries(arxiv.org)
1 points by sankha93 7y ago|0 comments
35.
by sankha93 7y ago
I really like F* . It is very close to OCaml in design but allows you to write proofs using a SMT solver or tactic based proofs when the SMT solver gives up. Instead of a proof theoretic language like Coq, the language feels closer to somet
36.
How Tinder keeps your exact location (a bit) private(robertheaton.com)
1 points by sankha93 8y ago|0 comments
37.
JVM Profiler: A Tool for Tracing Distributed JVM Applications(eng.uber.com)
4 points by sankha93 8y ago|0 comments
38.
by sankha93 8y ago
There are a bunch of interesting stuff coming along. I don't know if you have seen the Refinement types in Ruby paper based on RDL recently published in VMCAI [1], this opens the window to verification of Ruby code. [1]: https:/&
39.
by sankha93 8y ago
Oh, I am not sure how these went unmerged! We should do something about the PRs. Will shoot you an email to discuss more.
40.
by sankha93 8y ago
Any reason why existing typecheckers for Ruby didn't make the cut? There are projects like RDL [1] which provide similar functionality. I know for certain that people from Stripe were taking a look at it last year from the issues they
41.
Concrete and Abstract Interpretation, Explained Through Chess(msreverseengineering.com)
3 points by sankha93 9y ago|0 comments
42.
by sankha93 9y ago
I tried multiple feed readers but didn't find anything satisfying or simple enough. These days I use a Python script that runs as a daily cron and sends me a plain text email of new posts from the sites to which I have subscribed.
43.
Long-Term Consequences of Spectre and Its Mitigations(robert.ocallahan.org)
136 points by sankha93 9y ago|68 comments
44.
Browser-Wars History: MD5-Hashed Posts Declassified(robert.ocallahan.org)
163 points by sankha93 9y ago|71 comments
45.
by sankha93 9y ago
Oops! Will take a look into it and fix this right away.
46.
by sankha93 9y ago
There are tools available to draw ASCII diagrams easily, like asciiflow.com or asciidraw.com. Their output can be directly pasted into ShakyDraw.
47.
by sankha93 9y ago
While going the other way is not possible directly, but you can use something like asciiflow.com to make a ASCII diagram easily and paste it in ShakyDraw.
48.
Show HN: ShakyDraw – Hand-drawn block diagrams from plain text(shakydraw.com)
140 points by sankha93 9y ago|50 comments
49.
EFF: AI Progress Measurement(eff.org)
5 points by sankha93 9y ago|1 comments
50.
Introduction to WebAssembly(rsms.me)
3 points by sankha93 10y ago|0 comments
51.
[Bug Bounty] GitHub Enterprise SQL Injection(blog.orange.tw)
1 points by sankha93 10y ago|0 comments
52.
Ruby meta-hacking: Looking under the hood(sankhs.com)
3 points by sankha93 10y ago|0 comments
53.
Neural networks, regression and feature learning in Clojure(github.com)
4 points by sankha93 10y ago|0 comments
54.
by sankha93 10y ago
Firefox Nightly has Container Tabs [1] which have different sessions even though they are a part of the same widow. Also the tabs are colour coded to show that they are different containers. [1] https://blog.mozilla.org/tanv
55.
Llnode for Node.js Memory Leak Analysis(brendangregg.com)
3 points by sankha93 10y ago|0 comments
56.
Coinbase Debuts the First Bitcoin Debit Card in the US(wired.com)
17 points by sankha93 11y ago|7 comments
57.
by sankha93 11y ago
Internet access is essential. But providing a limited number of sites for free and the rest as paid creates unequal opportunity on an otherwise level playing field. There are other ways to provide internet connectivity to people - by allowi
58.
by sankha93 11y ago
The open web is essentially open because anybody with a computer can create and access content online. The cost to entry is almost nil, be it a big corporation or a small startup or any individual. With Facebook's Internet.org or the &
59.
by sankha93 11y ago
The draft design documents state that any WebAssembly code will have an equivalent text representation - so that is almost comparable to human readable source code. It will not be a linear list of instructions like an assembly source code b
60.
Eclipse based IDE for Rust(github.com)
2 points by sankha93 12y ago|0 comments

More ›