2026
an archive of posts from this year
| Jun 05, 2026 | AI and Engineering Instinct: A GPU Porting Exercise |
|---|---|
| Mar 22, 2026 | Integrating SMT Solving into Climate Model Configuration |
an archive of posts from this year
| Jun 05, 2026 | AI and Engineering Instinct: A GPU Porting Exercise |
|---|---|
| Mar 22, 2026 | Integrating SMT Solving into Climate Model Configuration |