Kristopher Micinski

mentions 2 type Person feed RSS

// recent coverage 2 mentions

06:47

2026-08-10

surface.syr.edu

artificial-intelligence

Scaling Logical Reasoning on Modern HPC Hardware

Yihao Sun's doctoral dissertation, completed at Syracuse University under advisor Kristopher Micinski, demonstrates that GPU-accelerated HPC architectures can scale Datalog logic reasoning to supercom…

20:09

2026-07-22

kmicinski.com

artificial-intelligence

Puffin: Scheme-like language with self-hosting compiler and gradual types

Kristopher Micinski and Claude Code have created Puffin, a minimal Scheme/ML-like functional programming language with a self-hosting compiler, gradual types, and three backends (arm64, x86-64, byteco…

// co-occurs with top 8 entities

Claude Code 1 Puffin 1 puffincc 1 Racket 1 Z3 1 Jeremy Siek 1 Yihao Sun 1 Syracuse University 1

// topics top 5 topics

artificial intelligence 2 developer tools 1 ai research 1 ai infrastructure 1 ai chips 1