Z3 API in Python: From Sudoku to N-Queens in Under 20 Lines (2015)ericpony.github.io155 points·by amit-bansil·قبل 8 أشهر·14 comments
amit-bansil·قبل 5 أشهر·discussIntusCare | Tech Lead | REMOTE (US) | Full-Time | $160K–$190K + Bonus + Equity | https://intuscare.comIntus is building the OS for PACE, the Program for all Inclusive Care for the Elderly [1].We are seeking a lead to run a team and solve hard technical challenges at a hyper-growth startup.Stack: Node, React, TypeScriptYou will grow faster in this role than almost anywhere else.Contact kelli.mackiewicz [at] intus.care[1] https://www.nytimes.com/2022/03/12/health/elderly-health-car...
Intus is building the OS for PACE, the Program for all Inclusive Care for the Elderly [1].
We are seeking a lead to run a team and solve hard technical challenges at a hyper-growth startup.
Stack: Node, React, TypeScript
You will grow faster in this role than almost anywhere else.
Contact kelli.mackiewicz [at] intus.care
[1] https://www.nytimes.com/2022/03/12/health/elderly-health-car...