In the CS fields I am interested in programming languages, UX, Visualizations & AI. I've spent more than 10 years teaching CS.I love to social dance to swing & blues music.
Wow. I didn't think mine deserves that attention. I am happy it helped you learn some bit of Crystal.
I didn't put a lot of thought on the organization. I was more eager to make some experiments with Z3.
Definitely +1 for namespaces and your approach of safer expressions.
Mapping two different worlds it definitely deserves attention and design. I have experimented on bring together Tcl/Tk, Cocoa, Prolog, Z3 with Crystal. All of them has some notion of types or ast that are usually represented by an opaque pointer yet not everything can be combined together. Since these experiments were not aimed to be consumed they lack some attention to the design.
I am very happy there is another person willing to play with Z3 and Crystal. This series made my week 💙
Your repo is more about a log of this series. Let me know if you are interested in maintaining a shard of this. If not, maybe in the future I could grab some of the ideas you present here. But I am happy to collaborate in this regard and make Z3/SMT more approachable for Crystallers.
Yeah, the repo is just a log right now, I wasn't really sure if it's going to work out, or crash and burn. I think I'll move the per-episode code to another repo, and use crystal-z3 for a proper shard.
For further actions, you may consider blocking this person and/or reporting abuse
We're a place where coders share, stay up-to-date and grow their careers.
Wow. I didn't think mine deserves that attention. I am happy it helped you learn some bit of Crystal.
I didn't put a lot of thought on the organization. I was more eager to make some experiments with Z3.
Definitely +1 for namespaces and your approach of safer expressions.
Mapping two different worlds it definitely deserves attention and design. I have experimented on bring together Tcl/Tk, Cocoa, Prolog, Z3 with Crystal. All of them has some notion of types or ast that are usually represented by an opaque pointer yet not everything can be combined together. Since these experiments were not aimed to be consumed they lack some attention to the design.
I am very happy there is another person willing to play with Z3 and Crystal. This series made my week 💙
Your repo is more about a log of this series. Let me know if you are interested in maintaining a shard of this. If not, maybe in the future I could grab some of the ideas you present here. But I am happy to collaborate in this regard and make Z3/SMT more approachable for Crystallers.
Yeah, the repo is just a log right now, I wasn't really sure if it's going to work out, or crash and burn. I think I'll move the per-episode code to another repo, and use
crystal-z3
for a proper shard.