pcarbonn

8 ms·

1.
by pcarbonn 2y ago
In fact, one approach could be to sell a premium version with collaborative tools (such as sharing workspaces with colleagues).
2.
by pcarbonn 2y ago
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 wou
3.
The risk of doing what we love(chessintheair.com)
2 points by pcarbonn 3y ago|1 comments
4.
by pcarbonn 3y ago
I found this page interesting.
5.
[video] IDP-Z3: A truly declarative approach to programming(video.fosdem.org)
3 points by pcarbonn 3y ago|1 comments
6.
by pcarbonn 3y ago
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.
7.
by pcarbonn 3y ago
Yes. It uses a more convenient language than SMT-Lib to express "knowledge", and offers more functionality.
8.
by pcarbonn 3y ago
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 "interactiv
9.
by pcarbonn 3y ago
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 th
10.
by pcarbonn 3y ago
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.
11.
by pcarbonn 5y ago
Surely you are not using neural networks ! They are quite magical too !
12.
by pcarbonn 6y ago
What do you mean, 'they get hairy really fast' ?
13.
by pcarbonn 6y ago
Does it support linking to another file in the same directory ?
14.
by pcarbonn 9y ago
Alternative ranking : the [PYPL index]( http://pypl.github.io/PYPL.html ) Disclosure: I maintain it.
15.
by pcarbonn 9y ago
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
16.
by pcarbonn 9y ago
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, knowledge compilation, the distribut
17.
by pcarbonn 10y ago
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.edu/books/functional-differential-geome..
18.
Ask HN: Legality of web app with encrypted database?
1 points by pcarbonn 10y ago|1 comments
19.
Generation of Over a Million of Watts of Power in the Volume of a Coffee Cup(brilliantlightpower.com)
3 points by pcarbonn 10y ago|2 comments
20.
by pcarbonn 11y ago
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...
21.
by pcarbonn 12y ago
Logic programming, the third programming paradigm, will come to the rescue...
22.
by pcarbonn 13y ago
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
23.
by pcarbonn 13y ago
I agree. I wish python had the capability to infix functions. Maybe the topic for a new PEP ?
24.
Python is the Language of the Year(sites.google.com)
6 points by pcarbonn 13y ago|0 comments
25.
by pcarbonn 14y ago
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.