Viewing profile — pcarbonn

In fact, one approach could be to sell a premium version with collaborative tools (such as sharing workspaces with colleagues).

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 worksp…

I found this page interesting.

Following a HN post on the IDP-Z3 knowledge base system yesterday, you might be interested in a talk I gave at Fosdem earlier this year.

Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.

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 th…

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…

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 a…

Surely you are not using neural networks ! They are quite magical too !

What do you mean, 'they get hairy really fast' ?

Does it support linking to another file in the same directory ?

Alternative ranking : the [PYPL index]( http://pypl.github.io/PYPL.html ) Disclosure: I maintain it.

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 man…

See also problog : https://dtai.cs.kuleuven.be/problog/ ProbLog2 is our second generation engine to reason with the ProbLog language. The current engine builds on logic programming…

This reminds me of the effort by Sussman to teach physics by programming : Functional differential geometry [1] was discussed on hacker news before [2]. [1] https://mitpress.mit.ed…

For a Web App, I'd like to encrypt user entries on the client side before sending them to the server (and decrypt them after receiving them from the server). The encryption salt (c…

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...

Logic programming, the third programming paradigm, will come to the rescue...

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

I agree. I wish python had the capability to infix functions. Maybe the topic for a new PEP ?

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% t…