## Profile

Carter Schonwald
Works at WellPosed
514 have him in circles

## Stream

### Carter Schonwald

Shared publicly  -

test post
$$\partial \nabla \delta$$ $\delta \sigma$﻿
1

Resuming soon﻿

### Carter Schonwald

Shared publicly  -

ooo, very neat

Tying knots in light fields﻿
3
1

This is so cool, thanks for the pointer.﻿

### Carter Schonwald

Shared publicly  -

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! :)﻿
17
2

ok, maybe more than 2 weeks, good engineering takes a while, esp when life intervenes :) ﻿

### Carter Schonwald

Shared publicly  -

this is why I really really need to try out shake

Shake just compiled LLVM, using the CMake build system in LLVM, which can generate Ninja build files, which Shake can now interpret. The nothing to build run is 2s vs 199s for the LLVM Makefile system, and there's still a lot of optimisation to go.﻿
5

Not yet, but if you run the "shake" binary it will automatically find your Makefile and try and run it with Shake. The Ninja evaluator in Shake is intended to be perfect, the Make one is intended to be able to do "a bit", but it can execute some Makefile tutorials, and if there is some particular feature you need, I'd be happy to add it or accept a patch.

It's still not a converter though, but that was "on my list" after the evaluator. Whether I ever do it really depends on demand.﻿

### Carter Schonwald

Shared publicly  -

I was curious about how much time Haskell developers spend on correctness versus performance issues so I put together this (two question) survey. If you have a spare minute, please fill it out. I will post the results on G+ and perhaps use them to guide development tooling efforts.﻿
Drive
What kind of problems do Haskellers run into?This survey tries to classify how much time Haskell developers spend on correctness issues versus performance issues. A correctness issue is an issue where the program computes an incorrect result (i.e. a bug). A performance issue is an issue where the program takes too long time or uses too much memory to compute a result.
1
Have him in circles
514 people

### Carter Schonwald

Shared publicly  -

The following, is my own little effort to create a cryptography platform for Haskell.﻿
1

### Carter Schonwald

Shared publicly  -

my directions for how to get ghc  / haskell platform working on your mavericks mac after that fateful update. Tested by quite a few folks aready! https://gist.github.com/cartazio/7131371 ﻿
7
1

### Carter Schonwald

Shared publicly  -

"By programming a computer to interpret our formulas we soon learn whether the or not a formula is correct. If a formula is not clear, it will not be interpretable. If it is wrong, we will get a wrong answer. In either case we are led to improve our program and as a result improve our understanding."

From the preface to "Functional Differential Geometry."

People make mistakes when writing programs, and they make mistakes when writing proofs. But they tend to make different mistakes in each, so our confidence in both goes up when they agree.﻿
3

### Carter Schonwald

Shared publicly  -

really really cool

Japan, looks like it's a bike friendly city! And what technology for storing bikes, amazing! I wonder what it costs to have an account?﻿
5
3

### Carter Schonwald

Shared publicly  -

lets do the awesomethings

Following discussions on Haskell-cafe, we have created a form to gather information on the community's views with regard to a recent proposal.﻿
Drive
Haskell stability and being orneryProposal: Move Data.Foldable and Data.Traversable into the Prelude. The monomorphic variants of functions currently in the Prelude (and anywhere they are re-exported) will be retired.
3
People
Have him in circles
514 people
Work
Occupation
Science and stuff
Employment
• WellPosed
President and Computer Scientist, 2012 - present