Viewing profile — mgreenbe

I'd say it's conventional to reuse an existing parser to generate facts. The AST point is a subtle one. Classic Datalog (the thing that characterizes PTIME computation) doesn't hav…

I think the solvers _are_ tuned for PP. But we're comparing CSA and PP on the queries that Formulog issues... which don't really match well with the DFS discipline that the PP stac…

Datafun is quite cool! Formulog and Datafun seem similar---both combine logic programming and pure functional programming---but they take wildly different approaches. Datafun is a …

We do use incremental solving. check-sat-assuming is generally better than push/pop, though, because Datalog's bottom-up search isn't DFS. If you're interested, check out our ICLP …

Thanks! :) We should be very clear that the bulk of the work is Aaron Bembenek's. I think Formulog would work great for analyzing the shell---as would any other Datalog, though SMT…

See also: http://siek.blogspot.com/2012/07/crash-course-on-notation-in...

Fair enough. I would play down the significance where you played it up. Considering the equanimitous tone of the whole article, it seems unfair---or, at least, ungenerous---to take…

Dynamically typed languages are automobiles and statically typed are bicyles?? Not exactly a neutral comparison and hypocracy in light of his complaints against the strong vs. weak…

First, Coq isn't an automatic theorem prover, it's a proof assistant. Adequacy is an issue, but (particularly) for computer-science applications it's sometimes possible to use the …

A neat trick, but---as one of the commenters points out---manual dictionary passing is a bit much. I would love Haskell, but for laziness...

Good advice. Transaction costs and, in particular, startup costs are some of the most difficult things I face in my (graduate student) day-to-day. Simply getting up to the whiteboa…

You forgot to add the argument that it's (strictly speaking) more accurate, since Yehuda is just one of the tribes. But s/Hebrew/Colored/. Same arguments apply, but---here we are.

There's one particular thing about Christianity though. Well OK, a couple of things, one it's kind of a modern less complex flavor of Judaism, no offense meant to any Hebrews readi…

There are no French programming languages, not even Pascal or Eiffel uses French words for the syntax, and all the documentation is in English. OCaml is implemented by le French , …

Original article: http://www.nature.com/neuro/journal/vaop/ncurrent/abs/nn.238... I was inclined to be skeptical---breaking news, shocking the brain during sleep impairs performanc…

AOP was the next big thing five years ago. I've never heard of a serious, non-dog-food project written in any (pointcut-rich) implementation of aspects. The fundamental problem wit…

To be fair, Astarte and Ashtoreth are probably the same---just a vocalization error. :)

Python is just JS with extra syntax? The languages have very different object and meta-object/overloading models, as well as other divergent features: JavaScript can mutate closure…

Did you not read the talk? You can provide the car/cdr interface on top of tree-based implementations. Yes, you pay a cost to use that interface...but you pay a different (Guy Stee…

Your fingers are going to be crossed for a long time. I think the Steering Committee has too many divergent interests on it for there ever to be agreement on a serious standard lib…

Neat. I'm not familiar enough with typeflow analysis to know how practical it is. Can it handle polymorphic functions, e.g., map ? What about dependent functions (just kidding)? Is…

This is very nice---it catalogs a number of standard continuation tricks in a manner clear enough (I think) to enlighten those who barely know what continuations are in the first p…

Or any of the other soft/partial/gradual typing work that's been ongoing since the 80s. Check out Jeremy Siek's papers on gradual typing for some of the latest. Also Tobin-Hochstad…

A neat trick, but also one of the better arguments for more principled macro systems. These macros are fragile, and the error messages for misuse must be inscrutable. So: cool, but…

Settling on language-wide naming conventions reduces cognitive dissonance. Naming conventions don't supplant reading library docs, but they support it. In any case, you have to pic…