Darmani

22 ms·

181.
by Darmani 9y ago
Cool to see a VCMI developer here. I'm the creator of Project Ironfist, the Heroes 2 mod that works by some seriously cool binary modification tech (www.ironfi.st).
182.
by Darmani 9y ago
I definitely don't think "tried to destroy his life" is hyperbole at all. In this case, they didn't succeed. This is why I usually don't post in threads like these. Grandparent asked for an example of men griping. I
183.
by Darmani 9y ago
However, I rarely see personal gripes. I'd invite you to actually make a personal gripe, because it will be more topical than dragging up an age-old trope. Scott Aaronson tried this. They tried to destroy his life. This
184.
WaitChatter: Learn a new language while you wait for IM replies(techcrunch.com)
1 points by Darmani 10y ago|0 comments
185.
by Darmani 10y ago
Hi, I bought a copy of IDA when I was 18 expressly for the purpose of reverse-engineering old games. To be fair, I used my university E-mail, and they thought they were licensing it to my university until I tried to transfer it to my person
186.
by Darmani 10y ago
You're right that it is an opportunity for attention. What seems to actually happen is that a bunch of people who really don't know what they're doing get a bunch of publicity, recruits, and potentially funding and tech-trans
187.
by Darmani 10y ago
"Traditional" program synthesis to me means the kind of stuff Dijkstra was doing 50 years ago, which works quite a bit differently than a lot of the constraint-solving based stuff that has really become hot in the last decade. But
188.
by Darmani 10y ago
Yep. I talked to Dario, one of the authors of this press release. He's definitely interested in both kinds of approaches.
189.
by Darmani 10y ago
That's actually quite easy to do. The techniques used by the AI community (statistical estimation, numerical optimization, etc) are quite different from the techniques used to do things like the Cyber Grand Challenge (heavy use of SAT
190.
by Darmani 10y ago
FlashFill, a feature in Microsoft Excel.
191.
by Darmani 10y ago
So first, NP-hard isn't much of a barrier. We often like to call it "NP-easy." Or, going a step further: "PSPACE-complete is great news. It's the new poly-time." -- Moshe Vardi SAT solvers are very fast. It&#x2
192.
by Darmani 10y ago
DARPA's already put 10s of millions into #3. What do you know that they and their teams don't? https://cgc.darpa.mil/
193.
by Darmani 10y ago
Hi, I'm a researcher in program synthesis. I think you meant to say "NP-hard" . And indeed, there are many program synthesis problems which are NP-hard, 2EXP-complete, or undecidable. But there are also many program synthesis
194.
by Darmani 10y ago
There are a couple ways to be called a 10x programmer. One is by doing more, by throwing around more code and building more features. This is the kind that the article talks about. It's quite hard to maintain this kind of multiplier, n
195.
by Darmani 11y ago
I can't tell if this is sarcasm. RCTs are incredibly commonplace in medicine, but they are hardly the only way to do causal inference. They are also incredibly easy to make mistakes in; I'd more call them a bronze standard.
196.
by Darmani 11y ago
Most of paleo is just understanding the science of how our food affects us at a level beyond the nutrition label. It evolves as new evidence comes in, so this can't be a slap against paleo any more than measuring the gravitational cons
197.
by Darmani 11y ago
That's a lot of it, except that it turns out that how to "stand up straight" is very counterintuitive. You will hurt yourself if you just try. Really, the book is not enough; you need the class, or at least the videos. They a
198.
by Darmani 11y ago
I took Esther's course in 2013, and it's had a huge effect on my life. Getting into the correct position involves moving some muscles I didn't know I had, but, once achieved, it feels amazing. Sitting feels like being massage
199.
by Darmani 12y ago
I tried this with the first few people I interviewed. None of them had any code from outside work to bring. (This includes a brilliant and hardworking coworker that I practice-interviewed -- he just hadn't coded outside work in a very
200.
by Darmani 13y ago
One of your friends walks up to you and asks you to join his company. Maybe he has an impressive demo. Maybe he found a couple people who said they'd pay big $$$ if it was finished. Either way, he believes this could be big...and you&#
201.
by Darmani 13y ago
> don’t say “if we capture 10% of this 100 billion dollar market, we’ll be making 10 billion dollars!” > From this, based on the volume of repairs in San Francisco...we could be operating at about $70k per day in just SF. A bottom-up
202.
by Darmani 13y ago
This kid is living his dream and having a great time. There's no rule that says he has to want any of those things. We should all support him for being who he wants to be. My parents said similar things to me, and I grew to resent them
203.
by Darmani 13y ago
I've actually found knowledge of type inference quite useful for understanding error messages. In OCaml, you typically allow the compiler to infer all types for functions, and only have them compared to your type signatures later, when
204.
by Darmani 13y ago
You have it backwards. For the first few months of existence, Hacker News was called "Startup News."
205.
by Darmani 13y ago
Are you using weight machines? Those are usually isolation exercises that neglect the stabilizer muscles. Most beginning lifting programs such as Starting Strength recommend the major, compound lifts. There's something quite beautiful in wa
206.
by Darmani 13y ago
One offer is $150k salary, plus stock (somehow, the company still has its own stock, despite having already been acquired for $300 million). This person is finishing a 5th-year Master's though. The other offer is $110k salary, plus $40k ann
207.
by Darmani 13y ago
There is tons of research like this. There are multiple conferences dedicated to research like this (e.g.: http://www.program-comprehension.org/ ). You just need to go out and find it instead of waiting for it to appear on Hacker News.
208.
by Darmani 13y ago
You may be interested to know that the value restriction is not there to protect against unsafe programs. Rather, it is because polymorphic values get elaborated to functions after type inference, which produces some exceptionally unintuiti
209.
by Darmani 13y ago
Your argument is quite sensitive to the numbers, and your estimates of the numbers are questionable. Maybe someone from CMU CS is starting with $90k, but everyone I've talked to has offers significantly higher. Two of my closest friends hav
210.
by Darmani 14y ago
Test coverage is near worthless as a metric. I'm trying to write programs with countless possible states consisting of thousands of attributes, and gain high confidence my program performs correctly in every single one. Coverage states that

More ›