Darmani

16 ms·

121.
by Darmani 6y ago
For those chiming in about statistics and causal inference: This paper is about causal event ordering in distributed systems. While both might benefit from some common philosophy, this subject has almost nothing to do with causal inference
122.
Show HN: Cubix: A Haskell Framework for “One Tool, Many Languages”(cubix-framework.com)
2 points by Darmani 6y ago|0 comments
123.
A natural language shell based on GPT-3(vimeo.com)
44 points by Darmani 6y ago|7 comments
124.
by Darmani 7y ago
In some senses, no hash tables are O(1). Hash tables are bounded below by the speed of arithmetic. A trillion-bit number takes a while to multiply. You may have never touched a trillion-bit number, but it's called "asymptotic&quo
125.
by Darmani 7y ago
I've been studying program transformations for 7 years. Cosmin has a technique, context rewriting, which makes it easy to build refactorings that were hard to do previously. This tool can move is out of the Stone Age for making mass ch
126.
by Darmani 7y ago
This is correct. Theft requires the mens rea of turning someone else's property into your own. If you mistakenly believe the item is yours, you cannot be guilty of thefttheft. IIRV, the same goes if you believe an item is abandoned.
127.
by Darmani 7y ago
Indeed, maps and sets cannot be constructed from sums, products and recursion. They can be approximated if you throw exponentials in there. Instead, you can extend algebraic data types to combinatorial species, which do allow exactly the ki
128.
by Darmani 7y ago
http://news.mit.edu/2017/artificial-intelligence-for-your-bl... Kate also has some videos with the technical details. An object around the corner will have a minute but detectable effect on the light adjacent the corne
129.
by Darmani 7y ago
How about the complex number inverse one?
130.
by Darmani 7y ago
For irrationality of root 2, I typed. \sqrt{2}\not\in\mathbb{Q} It refused to accept this answer, even though it looked pixel-for-pixel identical with the intended output. On further play...perhaps there's some small differen
131.
Defunctionalize the Continuation(pathsensitive.com)
236 points by Darmani 7y ago|31 comments
132.
by Darmani 7y ago
Like many things from the Netherlands, it uses SGLR parsing (scannerless GLR, where GLR = generalized LR), which actually handles a class slightly more general than CFG s.
133.
by Darmani 7y ago
"Habitat-Sim with multiple processes renders detailed scenes at 10,000 frames per second (FPS) on a single GPU, compared with a typical rate of 100 FPS on other simulators." This is a pretty ridiculous speedup. Anyone know what th
134.
by Darmani 7y ago
Oh, I misunderstood. That's called "semantic clone detection," and it's been a breeding ground for second-tier papers for a long time.
135.
by Darmani 7y ago
That's called MOSS ("measure of source similarity"), and it's been used by universities for over a decade.
136.
Book Review: Practical TLA+(pathsensitive.com)
2 points by Darmani 7y ago|0 comments
137.
by Darmani 7y ago
A lot of what's been going on in the PL community would have been called "symbolic AI" in the 80's. Program synthesis, symbolic execution, test generation, many forms of verification --- all involving some kind of SAT or
138.
by Darmani 8y ago
So, as I understand it: how do you pick a P such that, if you fail to prove there is a difference with p<P, then there is no difference? If you compute the power of your test, you can do this, so long as you know the expected difference
139.
by Darmani 8y ago
Hi, actual OP here. I said that failing to show a statistically significant difference is not the same as showing equivalence with statistical significance. Tests designed for the former cannot do the latter with any amount of data. You nee
140.
by Darmani 8y ago
Yes, they used a test designed to find a difference between two groups, and it failed to report a difference. Your analysis of that is correct, although the terminology "p-test" to describe "a statistical test designed to fin
141.
by Darmani 8y ago
This report triggered several of my alarm bells, so I investigated further. I had a look at the quoted study. "RESULTS: No differences between trials ( P > 0.05) were found in the overall plasma triglyceride, glucose, or insulin res
142.
by Darmani 8y ago
One application: It makes it easier to do mechanized reasoning to optimize SQL queries. https://arxiv.org/pdf/1607.04822.pdf
143.
by Darmani 8y ago
How well does it work? The aforementioned exchange with Ilfak came after my poor experience with collabREate, a previous plugin that claimed to do the same thing.
144.
by Darmani 8y ago
Wait, IDA has a collaborative mode? I couldn't find one; link please? This is shocking, because, in an E-mail exchange a few years ago, Ilfak wrote to me: > [...] we at hex-rays do not have any ideas how to implement dynamic databas
145.
by Darmani 8y ago
I'm a Ph. D. student in programming languages. I've written at least 7 language frontends over the years, read many more, and have given a talk on parsing algorithms. My primary programming language is Haskell. I really don't
146.
by Darmani 8y ago
This is really confusing. There's another static analysis engine....also for Android....also called SPARTA! https://types.cs.washington.edu/sparta/
147.
by Darmani 8y ago
Prototype. Make a pen-and-paper version, pantomime the game, tell the story -- do something to test the game's excitement power before building it. http://www.pathsensitive.com/2015/10/the-prototype-stereotyp.
148.
Future of Coding: On the Maintenance of Large Software:(futureofcoding.org)
4 points by Darmani 8y ago|0 comments
149.
The real difference of immutability(pathsensitive.com)
1 points by Darmani 8y ago|0 comments
150.
by Darmani 8y ago
Duolingo has a policy of only recruiting from schools that have an above-average percent of women in their CS program. How do you feel about that?

More ›