Hacker Newsnew | past | comments | ask | show | jobs | submit | pcarbonn's commentslogin

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.


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


Yup this is our plan! Collaborative features + Gen AI features as part of premium version.


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.


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


I see...

I think it could probably be evolved so that they can be pip installed too.

e.g. instead of git clone and `poetry run python3 main.py` maybe your pip package could provide its own cli frontend for running the server.


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.


So it's layer on top of the z3-solver right? That's a way to see it?


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


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.


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


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


For starters, what happens to your numerical algorithm when it contains less-than comparisons? Intervals don't form an order.


It's not a total (heh) disaster, since many intervals are comparable with many other intervals. Floating point implicitly "solves" this problem by truncating the implicit interval onto a member of a fixed discrete set. It does so quite cleverly, but ultimately it still silently loses information; sometimes (admittedly rarely) you might want the correct result "I was unable to compute an answer due to lack of input precision" that happens when you try and work out whether [0,2] is less than [1,3].


Forget ordering. The useful equals relation becomes ternary.


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


Yes, it does. Plain Markdown links and HTML links remain intact and behave normally. Here is an example:

  <!DOCTYPE html><script src="https://cdn.jsdelivr.net/npm/texme@0.7.0"></script><textarea>

  # Euler's Identity

  In mathematics, **Euler's identity** is the equality
  $$ e^{i \pi} + 1 = 0. $$

  To read more, [click here](bar.html).
The last line in the above example contains a link to a file named bar.html in the same directory.


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

Disclosure: I maintain it.


I just can't take TIOBE seriously, I don't think Kotlin is as popular as the Logo educational programming language and Rust dropping 20 positions despite adding a new keyword to it is also interesting. And Typescript isn't even measured. Yours is much more believable, but I don't see C++ there. Is this a bug or a feature? EDIT: I saw the clarification in the other comment but maybe C/C++ would be better then?


It depends what you are looking for in a rating. If you are making a new programming language and want to know which concepts and syntaxes are familiar to people, than TIOBE is probably not that far off. PYPL on the other hand seems to show how many people want to try the language, not necessarily trying or sticking with it, but more like a measure of its visibility on the market. Both are useful metrics and help to paint a better overall picture.


Kotlin is now the preferred programming language for Android development.


Another alternative ranking:

https://redmonk.com/sogrady/2018/03/07/language-rankings-1-1...


In your wordcloud graphic "Java" is twice as big as "Python"; however, in the rankings they are almost identical (Java=22.7%, Python=21.69%)


No C++ in Top 10?


> The index is currently limited to 22 languages. You can still analyze the popularity of your favorite language and compare it to others, using Google Trends. C++ has the same popularity as C on Google trends: to avoid duplication, it is not included in the PYPL index.


Hence, to avoid confusion, the table should be updated as "C and C++" (or worse, "C/C++").

That said, any index which conflates C and C++ cannot be taken seriously.


Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact

Search: