Thanks! I'll certainly give it a try. Not sure what the business model should be, though.
You may want to take some inspiration from prezi.com. One could write prezi-like HS workspaces to document some particular workflows. You would want the possibility to add text to the canvas (outside of the code editors), and allow zooming in/out from editors. This could be a premium feature that large companies want to pay for.
Thanks for the feedback. We'll see how we can improve the communication.
Quick response: with pypi, you can only install the reasoning engine. By cloning the repository, you get the full suite of tools, including the "interactive consultant".
Hi, I'm one of the main devs. TLA+ is useful to prove properties of programs. By contrast, IDP-Z3 is a reasoning engine that can be used as a module in a program. It is closer to a constraint solver, but offers more functionality than a traditional CSP solver. For example, it can compute what are relevant questions, given some inputs. This is useful to build "interactive consultants".
For example, you give IDP-Z3 the formula that links a tax-free amount, a tax rate and a tax-included amount, and the values of any two of its parameters, and it will compute the missing parameter. You do not need to write 3 different formula, one for each case. If you give him only one parameter, it will say that the other two parameters are relevant.
You are missing the complaint he filed because he was a victim of retaliation. This is first hand evidence that the inspector general of the intelligence community found credible and urgent, and the main point of the story.
Elinor Ostrom would agree. She received the Nobel prize in Economics in 2009 (after OP's article) for her work on "Common Pool Resources" and the institutions that successfully manage common resources.
Noticing that commons are not always managed to tragedy, as noticed by OP's article, her motto was "A resource arrangement that works in practice can work in theory".
ProbLog2 is our second generation engine to reason with the ProbLog language. The current engine builds on logic programming, knowledge compilation, the distribution semantics and probabilistic, graphical models. It allows you to:
- Compute marginal probabilities of any number of ground atoms in the presence of evidence.
- Learn the parameters of the ProbLog program from partial interpretations.
This reminds me of the effort by Sussman to teach physics by programming : Functional differential geometry [1] was discussed on hacker news before [2].
Best application of this tissue : a head cover with electrodes to do electro encephalograms and read your thoughts. What a powerful source of info to target ads...
Yes, but making it part of the language would bring clear error messages in case of misuse, and would allow the use of a different token, e.g. ":", as in smalltalk
Not really. The language of year is the one with the largest growth of "popularity share". C# has gone from 8.2% to 10.5% this year, while your presumed language would go from 0% to 0.0000001 % : not a big increase, really.