zlacker

>>matt_d+(OP)
Man, lately, I feel like this stuff has been following me around. I'd really like to deep-dive into logic programming and related paradigms. Just recently came across Answer Set Programming[0] (via Potassco's clingo[1]), and it has made me realize just how ignorant I am of the design space that's being explored here.

More personally, I recently spent enough time with first Scheme and then APL that the paradigms clicked for me, and the effect that had on the entirety of my outlook on work was dramatically changed as a result. For whatever reason, I feel like breaking down my ingrained technical paradigms has allowed me to integrate and strengthen my soft skills.

Plus, mind-expanding experiences are just plain fun. Looking for more of that juice!

[0]:https://en.wikipedia.org/wiki/Answer_set_programming

[1]:https://potassco.org/

>>xelxeb+6i2
I'm literally using ASP and Clingo to do logic programming for school. And you're telling it became relevant to you in your work??

>>MIA_Al+jz2
I use ASP at work! I used it as the core of a powerful code generator: I modeled the type system I wanted to implement, some base operations and derivation rules, and had it synthesize implementations for every possible operator between every possible pair of types. I run clasp and it dumps out thousands of lines of C# implementing a simple symbolic matrix linear algebra library. It's one of the most beautiful things I've made, imo.