Darmani

13 ms·

91.
by Darmani 3y ago
They sued a friend's company as well. He wrote very vividly about what it's like to be on the receiving end. I've stayed silent for too long. And I'm not going to stay silent anymore. A few weeks ago we got su
92.
by Darmani 3y ago
To people who are experienced in writing out the full interface of modules, ie their assumptions and guarantees, it's quite clear that being a "deep module" in Ousterhout's sense is quite rare and often undesirable, and
93.
Never again compare a startup to a vitamin(pathsensitive.com)
1 points by Darmani 3y ago|0 comments
94.
It's Time for the "Sell Painkillers, Not Vitamins" Metaphor to Die(pathsensitive.com)
2 points by Darmani 3y ago|0 comments
95.
by Darmani 4y ago
Correct. https://www.navalgazing.net/Nuclear-Weapon-Destructiveness > To put this another way, each bomb can destroy an area of 34.2 square miles, and the maximum total area destroyed by our nuclear apocalypse is about 1
96.
by Darmani 4y ago
Chinese computer scientists read sci-fi, play video games, and worry about militarization, just like American computer scientists. The top Chinese AI researchers work at American companies and go to American universities. Many of them also
97.
by Darmani 4y ago
For most of history, Japan has been existed as a small island next to the mighty kingdom of China. Even its name, "Land of the Rising Sun," refers to its relation as a nation east of Chinaa. Then along came the industrial revoluti
98.
by Darmani 4y ago
GPT-4 speaks every human language, knows every programming language, and can answer introductory and sometimes even advanced questions in history, law, biology, and mathematics. In what way is it not more knowledgable than us? Yes, everythi
99.
by Darmani 4y ago
Agreed point 2 seems to be the crux. An important concept behind this is Omohundro's Basic Drives. Any maximizing agent with a goal will try to acquire more resources, resist being shut off, resist having its goal changed, create copie
100.
Puzzles to convince you you don't understand dependence(pathsensitive.com)
31 points by Darmani 4y ago|13 comments
101.
by Darmani 4y ago
> If you are not already convinced that this property is important, I am not sure that I can convince you, except to ask whether you would be comfortable running, e.g., a worst-case-O(n^3) parser for a real industrial language in produc
102.
by Darmani 4y ago
Okay, we seem to be whittling down on the points where we disagree. Initial disagreement: * langcc/XLR is a major breakthrough in the ability to generate parsers for industrial languages ---- Positions: ----------- Joe: Yes -----------
103.
by Darmani 4y ago
Satirical answer: Because I'm a crusty old scientist who needs to defend his turf. Self-serving answer: I'm doing the author a favor as perhaps the first person with my level of knowledge of the field putting effort into giving fe
104.
by Darmani 4y ago
Hello Joe! Always good to see an author responding to criticism. > Again, the implicit claim here is "generated from a declarative BNF spec, efficiently, with guaranteed linear time, parsing full industrial languages...". Of co
105.
by Darmani 4y ago
I have not published any papers on parsing, but I've read a large chunk of the Handbook on Parsing, am buddies with Terrence Parr and have given a lecture on the ALL( ) parsing algorithm, and worked for a company that has perhaps the m
106.
Solving the Dog-Bunny Puzzle with Program Verification Technology(pathsensitive.com)
25 points by Darmani 4y ago|3 comments
107.
How to build a program that cannot do the wrong thing(geek.sg)
3 points by Darmani 4y ago|1 comments
108.
Demystifying Dependence, Part 2: The Three Dimensions of Dependence(pathsensitive.com)
1 points by Darmani 4y ago|0 comments
109.
Demystifying Dependence, Part 1: The Nine Dependency Puzzles(pathsensitive.com)
2 points by Darmani 4y ago|0 comments
110.
Show HN: Linguistic Antipatterns(linguistic-antipatterns.com)
27 points by Darmani 4y ago|4 comments
111.
by Darmani 5y ago
I saw a private demo of Mutable.ai last month. It was extremely impressive, and even more impressive was the pace of development. This is a clear must for anyone doing Jupyter.
112.
by Darmani 5y ago
It's possible, but if you have a lot of knowledge, I think he'd welcome the connection. It's also incredibly flattering if you can ask intelligent questions or give intelligent appreciation about their papers. How else do you
113.
by Darmani 5y ago
Well, I learned a lot from this comment. Cool! You should E-mail Mukund and start a conversation! (He should remember me, so feel free to name-drop me.)
114.
by Darmani 5y ago
I'm barely familiar with Inductive Logic Programming and never hear anyone talk about it. I came in prepared to dismiss the field's relevance to synthesis, but decided to do a bunch of reading first so that I could do so from an i
115.
by Darmani 5y ago
> Would knowledge in automated theorem proving (e.g. knowing how coq works) be somehow transferable to research in this field? Possibly. First, Coq is not an automated theorem proving tool; it's an interactive theorem prover. If by
116.
by Darmani 5y ago
It's a very lively field. Lots of groups working on it. Last year, the big 3 PL conferences (PLDI, POPL, OOPSLA) all had tracks dedicated to it. A few years ago, Armando (my advisor and the professor of this course) taught a weekend se
117.
by Darmani 5y ago
One word: search. Most of the traditional compilation pipeline can be expressed using deterministic rewrite rules. Synthesizers of all families generate and consider a large number of possibilities. Flipping it around, there's an old j
118.
by Darmani 5y ago
I was the TA for this course at MIT last time it was taught in 2020. Ask me anything.
119.
by Darmani 5y ago
SML/NJ uses CPS.
120.
Leaky Delegation: You are not a Commodity(lesswrong.com)
1 points by Darmani 6y ago|0 comments

More ›