Profile

Cover photo
Carter Schonwald
Works at WellPosed
522 followers|53,115 views
AboutPosts

Stream

Carter Schonwald

Shared publicly  - 
 
oops I wrote a new blog post. Its on a topic thats boring -- how I trick myself into writing code more productively. No concrete math, no concrete code, nothing useful at all. :) 
Every tool you ever build will have some goal it supports. Start with writing the code/examples you want your tool to enable! They wont be quite right, but it gives you a start and a set of examples to evaluate your tool on. ...
2
Add a comment...
 
 
The following, is my own little effort to create a cryptography platform for Haskell.
1
Add a comment...

Carter Schonwald

Shared publicly  - 
 
ooo, very neat
 
Tying knots in light fields
3
1
Carter Schonwald's profile photoPatrick Wheeler's profile photoCarlos Scheidegger's profile photo
3 comments
 
This is so cool, thanks for the pointer.
Add a comment...

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
Chad Scherrer's profile photoCarter Schonwald's profile photoJason Dagit's profile photo
 
ok, maybe more than 2 weeks, good engineering takes a while, esp when life intervenes :) 
Add a comment...

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
Neil Mitchell's profile photoShae Erisson's profile photo
2 comments
 
+Shae Erisson 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.
Add a comment...
Have him in circles
522 people
Hamish Mackenzie's profile photo
Cokey Cohen's profile photo
Adam Granicz's profile photo
Jonathan Connell's profile photo
Ricardo Herrmann's profile photo

Carter Schonwald

Shared publicly  - 
 
test post
\( \partial \nabla \delta \) $\delta \sigma$
\( \partial \nabla \delta \) $\delta \sigma$
1
Carter Schonwald's profile photoDavid Kopec's profile photo
3 comments
 
Resuming soon
Add a comment...

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
Oliver Braun's profile photo
Add a comment...

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
Add a comment...

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
Nicolas Zhong's profile photoshridutt kothari's profile photo
Add a comment...

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
Add a comment...
People
Have him in circles
522 people
Hamish Mackenzie's profile photo
Cokey Cohen's profile photo
Adam Granicz's profile photo
Jonathan Connell's profile photo
Ricardo Herrmann's profile photo
Work
Occupation
Science and stuff
Employment
  • WellPosed
    President and Computer Scientist, 2012 - present
Story
Tagline
Computer Scientist with dastardly awesome schemes
Basic Information
Gender
Male