Profile cover photo
Profile photo
Jason Dagit
481 followers
481 followers
About
Jason's posts

Post has shared content

Post has shared content

Post has shared content
This year's Formal Methods in Computer-Aided Design (FMCAD) conference is being held from October 20 - 23 here in Portland, OR. Galois is proud to be one of the sponsors of this annual event - we're excited to be having it in our own back yard!

Dr. Lee Pike is on the program committee, and he's also giving a keynote address at the co-located MEMOCODE conference on October 18.

We hope to see folks there!

Post has shared content
+Jason Dagit and +Matthew Sottile developed a cool technique that could help you learn something interesting from your software's history. Read more about it here and let us know what you think: http://bit.ly/16nH9DB

Post has shared content
Students at U.S. Universities!

The NSF wants YOU to attend ICFP 2013 in Boston. Just write to icfp-support@lambda-calcul.us and we'll make it happen. Funds are limited, as is time, so email us now!

Already attending? Write and ask for reimbursement.

Please spread this far and wide.

For more on ICFP 2013, see http://icfpconference.org/icfp2013/

Post has shared content

Post has attachment

Post has attachment

Post has shared content

Post has shared content
Over the coming two weeks (ok, might take three), I'll be rolling out an open preview "version zero" of the numerical libs i've been developing for Haskell.  This initial release will be suitable for use/experimentation by Haskell experts and folks already writing numerical libraries using Haskell.

I'm excited (and terrified), and look forward to all the great feedback and such that the Haskell community is (inf)famous for! :)
Wait while more posts are being loaded