User loginNavigation |
Edward KmettPersonal informationUSA I spent a lot of time in industry doing strange things: working as a dot-com CTO, embedded systems programming, computer generated holography, data mining, tackling 3d visibility problems... before deciding I needed an formal education. I added a couple of masters degrees, then went back to industry. Obsessed with lazy functional programming, substructural logics, and subset types. History17 years 40 weeks |
Browse archives
Active forum topics |
Recent comments
16 hours 53 min ago
40 weeks 2 days ago
40 weeks 2 days ago
40 weeks 2 days ago
1 year 10 weeks ago
1 year 14 weeks ago
1 year 16 weeks ago
1 year 16 weeks ago
1 year 18 weeks ago
1 year 23 weeks ago