Manoj Mahalingam
@manoj.dev
Principal Engineer @Avalara
🇮🇳🇬🇧
Interested in LLMs at the moment. Leading low code adoption. #Scala #Python #Javascript #Kubernetes #Terraform #AWS #MachineLearning
💻 https://stacktoheap.com
🎥 https://youtube.com/manojlds
🇮🇳🇬🇧
Interested in LLMs at the moment. Leading low code adoption. #Scala #Python #Javascript #Kubernetes #Terraform #AWS #MachineLearning
💻 https://stacktoheap.com
🎥 https://youtube.com/manojlds
I have used Z3 before but would have never thought it's applicable here. Interesting approach.
December 17, 2024 at 11:24 PM
I have used Z3 before but would have never thought it's applicable here. Interesting approach.
Z3 as in Z3 Solver? Interesting, will check out your solution.
This is mine btw - github.com/manojlds/adv...
This is mine btw - github.com/manojlds/adv...
advent_of_code/src/days/day17 at main · manojlds/advent_of_code
Advent of Code 2024 in Rust. Contribute to manojlds/advent_of_code development by creating an account on GitHub.
github.com
December 17, 2024 at 10:37 PM
Z3 as in Z3 Solver? Interesting, will check out your solution.
This is mine btw - github.com/manojlds/adv...
This is mine btw - github.com/manojlds/adv...
#Rust code is here - github.com/manojlds/adv...
advent_of_code/src/days/day12 at main · manojlds/advent_of_code
Advent of Code 2024 in Rust. Contribute to manojlds/advent_of_code development by creating an account on GitHub.
github.com
December 13, 2024 at 3:05 AM
#Rust code is here - github.com/manojlds/adv...