Mike Izbicki

Mike Izbicki has asked 68 questions and find answers to 4 problems.

Stats

About

I'm a phd student at UC Riverside.

Mike Izbicki questions

When will travis-ci support ghc 7.10?
Is there any reason to include a `tsvector` column in a postgres table rather than in the index?
Using Type Nats to create a type level list (having problems adding numbers on the type level)
Cost sensitive folds
How to use cabal with bash tests
Quickcheck for non-boolean tests
How is (,) defined internally?
Why is Data.Binary's encodeFile not acting lazy?
Can we think of immutable lists as a dual to trees?
Bind mounts created using rootless docker have a weird uid on the host machine. How can I delete these folders?

Mike Izbicki answers

Is it possible to use Haskell to reasonably solve large DP problems
Is there a library that uses ConstraintKinds to generalize all the base type classes to allow constraints?