Tacton Systems | Multiple roles | Hybrid, Stockholm Full stack Java, JavaScript / TypeScript We make a Configure-Price-Quote SaaS for complex product portfolios. For example, one customer is Tetra Pak, that sells…
Hi Adrian! You’re doing great work Scryer Prolog, keep up the good work! :)
They're considering an IPO. I'd say an acquisition is unlikely. Even then, they'd be worth more to Facebook or MS.
nvidia hates this one little trick
How about the costs? Isn’t this a very expensive bandaid? How is it not a priority? :)
Yeah probably.
Curious to know what part of syntax you found convoluted. If you remember any examples I’d appreciate it. Maybe you want a constraint programming environment instead. As example check out Conjure from St Andrews:…
The generated programs are only technically Prolog programs. They use CLPFD, which makes these constraint programs. Prolog programs are quite a bit more tricky with termination issues. I wouldn’t have nitpicked if it…
If I may nitpick, the call to children’s accept methods should be in the visitor, not the parent. Imagine you’re writing an XMLGeneratorVisiter. The visit method for the parent would print <parent>, call child accepts,…
Prolog was never good at the things they thought it would be at, like AI, which is better done by ML today, specifically often like you said, with NNs. But it turned out to be good for other things, and those use cases…
I agree with your point, I just would like to point out maybe the OR-tools they meant is the one made by Google, so a specific one: https://developers.google.com/optimization
Yes :)
Indeed Prolog programs are also called databases sometimes. Some things Prolog can do over SQL: - infinite data defined by recursive predicates - flexible data structures (think JSON but better, called complex terms)…
Yes :) we make software that helps sell complex products (If your product has a million options and takes up a whole factory floor you can’t just have a series of dropdowns)
Prolog, and Constraint Programming especially are great to have in your toolbox. I’ve done research in the field for years, and my job in the industry today is writing Prolog. There are real issues with Prolog: - no…
That was a great explanation. Thanks.
I love the veiled threat in Page 4 about Journal of Logic Programming all editors abandoning Elsevier and starting a new journal (Theory and Practice of Logic Programming (TPLP)), noting the TPLP thrived after this and…
I took one of those (Alva labs) multiple times for different companies. My “intelligence” (or whatever they call it) score was 7/10 first, then 8/10, and then 9/10 I think in the last one. Just got better each time I…
Thanks but I’d rather curb the anxiety in my life, not inflame it.
Article doesn’t get into the question in the title. Even though, it is an interesting article on ancient maps and how people used them at the time.
> book may be trying too hard especially in the examples variety, and how it might not be needed for comprehension's sake Had a giggle. Sounds exactly like something a mathematician would say.
Not seaweed but in Turkey we still eat marsh samphire (Salicornia europaea), barilla plant (Salsola soda), and rock samphire (Crithmum). These grow in the tidal marshes on the sea. Very salty and delicious. It is not a…
Yes. Also, in the ancestor predicate, the arrow should be in the other direction.
Thank you. You make interesting stuff.
What’s this company, if we may ask?
Tacton Systems | Multiple roles | Hybrid, Stockholm Full stack Java, JavaScript / TypeScript We make a Configure-Price-Quote SaaS for complex product portfolios. For example, one customer is Tetra Pak, that sells…
Hi Adrian! You’re doing great work Scryer Prolog, keep up the good work! :)
They're considering an IPO. I'd say an acquisition is unlikely. Even then, they'd be worth more to Facebook or MS.
nvidia hates this one little trick
How about the costs? Isn’t this a very expensive bandaid? How is it not a priority? :)
Yeah probably.
Curious to know what part of syntax you found convoluted. If you remember any examples I’d appreciate it. Maybe you want a constraint programming environment instead. As example check out Conjure from St Andrews:…
The generated programs are only technically Prolog programs. They use CLPFD, which makes these constraint programs. Prolog programs are quite a bit more tricky with termination issues. I wouldn’t have nitpicked if it…
If I may nitpick, the call to children’s accept methods should be in the visitor, not the parent. Imagine you’re writing an XMLGeneratorVisiter. The visit method for the parent would print <parent>, call child accepts,…
Prolog was never good at the things they thought it would be at, like AI, which is better done by ML today, specifically often like you said, with NNs. But it turned out to be good for other things, and those use cases…
I agree with your point, I just would like to point out maybe the OR-tools they meant is the one made by Google, so a specific one: https://developers.google.com/optimization
Yes :)
Indeed Prolog programs are also called databases sometimes. Some things Prolog can do over SQL: - infinite data defined by recursive predicates - flexible data structures (think JSON but better, called complex terms)…
Yes :) we make software that helps sell complex products (If your product has a million options and takes up a whole factory floor you can’t just have a series of dropdowns)
Prolog, and Constraint Programming especially are great to have in your toolbox. I’ve done research in the field for years, and my job in the industry today is writing Prolog. There are real issues with Prolog: - no…
That was a great explanation. Thanks.
I love the veiled threat in Page 4 about Journal of Logic Programming all editors abandoning Elsevier and starting a new journal (Theory and Practice of Logic Programming (TPLP)), noting the TPLP thrived after this and…
I took one of those (Alva labs) multiple times for different companies. My “intelligence” (or whatever they call it) score was 7/10 first, then 8/10, and then 9/10 I think in the last one. Just got better each time I…
Thanks but I’d rather curb the anxiety in my life, not inflame it.
Article doesn’t get into the question in the title. Even though, it is an interesting article on ancient maps and how people used them at the time.
> book may be trying too hard especially in the examples variety, and how it might not be needed for comprehension's sake Had a giggle. Sounds exactly like something a mathematician would say.
Not seaweed but in Turkey we still eat marsh samphire (Salicornia europaea), barilla plant (Salsola soda), and rock samphire (Crithmum). These grow in the tidal marshes on the sea. Very salty and delicious. It is not a…
Yes. Also, in the ancestor predicate, the arrow should be in the other direction.
Thank you. You make interesting stuff.
What’s this company, if we may ask?