ianandrich

15 ms·

31.
by ianandrich 6y ago
Textx is the only game in town. https://github.com/textX/textX Last commit was a week ag
32.
by ianandrich 6y ago
I've had similar constraints based off my experience. Tech stacks being driven more by developers experience than whats necessarily the best possible fit. I can second the AWS mysticism as well.
33.
by ianandrich 6y ago
Are you talking along the lines of the red family of provers? What makes the cubical approach more powerful? What makes lean weak?
34.
by ianandrich 6y ago
Apparently someone had the following thought. "Everyone when faced with the dilemma of having either an unsound or incomplete formal system chooses incompleteness. What happens when we allow for unsoundness and treat this notion as fi
35.
by ianandrich 6y ago
This is what I hoped the future would be like.
36.
by ianandrich 6y ago
I'd wondered what would happen if Lisp and Algorithmic Information Theory teamed up. Great submission!
37.
by ianandrich 6y ago
Ooh, good observation. I never really thought about how many problems I've had explaining why I'm lifting something or how it makes things better.
38.
by ianandrich 6y ago
The last two Prolog 8 week intensive classes put on by the SWI-Prolog community have taught more than 400 people modern Prolog, so yes its growing and depending on what kinds of problems you're dealing with it may be worth picking up
39.
by ianandrich 7y ago
I want to second this sentiment. Wow.
40.
by ianandrich 7y ago
No more dsls without tooling to work with them at least.
41.
by ianandrich 7y ago
Interesting. Has anyone played with this yet?
42.
by ianandrich 7y ago
I'm intrigued. What are some of your favorite stories about effecting change from within the government?
43.
by ianandrich 7y ago
I thought he was arguing "Monthly vs. Transactional" rather than "Monthly vs. Yearly". I strongly agree with your assessment that Yearly is better than Monthly.
44.
by ianandrich 7y ago
Interesting. Any more thoughts on the stable orbit at 7?
45.
by ianandrich 7y ago
You are right, it is a serious problem.
46.
by ianandrich 7y ago
This looks awesome. Have you used it for anything yet?
47.
by ianandrich 7y ago
I really like this approach to handling bots.
48.
by ianandrich 7y ago
SWI Prolog also has the ability to provide a simple endpoint for querying prolog dynamically provided by the Pengines library. https://github.com/Anniepoo/JavaPengine Querying is straightforward. It's simply anot
49.
by ianandrich 8y ago
Please direct questions to @swi_prolog on Twitter!
50.
Show HN: SWI-Prolog Community's 8 Week MooC Starts June 8th(docs.google.com)
8 points by ianandrich 8y ago|1 comments