Check it out: https://www.philipzucker.com/state_o_knuck/ The dude is adopting Z3 solver for Python 🕺 So far, its quite promising. Hopefully, it will continue to thrive 💪
Check it out: https://www.philipzucker.com/stateoknuck/ The dude is adopting Z3…
112 viewsОткрыть в Telegram →
Из этого канала
- #124My face when I realized on Wednesday evening that I forgot to start the new…
My face when I realized on Wednesday evening that I forgot to start the new sprint in Jira yesterday. Wait...
- #125🔤🔤🔤 🔤🔤🔤🔤❗️ What happened? Why am I writing about soft skills? Did I get bitten…
🔤🔤🔤 🔤🔤🔤🔤❗️ What happened? Why am I writing about soft skills? Did I get bitten by managers? Or was I always infected, because we’re all the walking dead…
- #126Wow! Look how we got here: https://calculatingempires.net/
Wow! Look how we got here: https://calculatingempires.net/
- #122Automation of tasks… How much meaning can be hidden behind these words, how…
Automation of tasks… How much meaning can be hidden behind these words, how many tasks. When considering automating anything, be mindful.
- #120Hello, everybody, everywhere! I hope you’re all doing well and staying healthy.…
Hello, everybody, everywhere! I hope you’re all doing well and staying healthy. Here is my fresh post about conditional statements, especially about how to…