On Wed, Feb 20, 2013 at 11:19 AM, Gwern Branwen gwe...@gmail.com wrote:
On Wed, Feb 20, 2013 at 1:35 PM, Jan Stolarek jan.stola...@p.lodz.pl
wrote:
Gwern, and what do you think about James' fork of lambdabot? It seems
that there was a lot of work
put into it and that this is indeed a good
Scott Lawrence byt...@gmail.com writes:
All the object serialization/deserialization libraries I could find (pretty
much just binary and cereal) seem to be strict with respect to the actual
data
being serialized.
Binary became strict between 0.4.4 and 0.5, I think doing so improved
the
=
Call for papers
15th International Symposium on
Principles and Practice of Declarative Programming
PPDP 2013
Special Issue of Science of
On Mar 14, 2013, at 11:08 PM, Jason Dagit dag...@gmail.com wrote:
My real reason for reviving this thread: Can I get a status update, please?
Sure. I don't have as much time as I'd like these days for open-source
projects, but with Jan's help the code has been cleaned up quite a bit in
On 13-03-11 10:52 PM, Michael Orlitzky wrote:
On 03/11/2013 11:48 AM, Brent Yorgey wrote:
So I'd like to do it again this time around, and am looking for
particular projects I can suggest to them. Do you have an open-source
project with a few well-specified tasks that a relative beginner (see
I have a couple of problems with attoparsec which I think are related
to its always backtrack nature, but maybe there's some other way to
solve the same problems.
The first is that it's hard to get the right error msg out. For
instance, I have a parser that tries to parse a number with an
I was trying to solve a computational problem form James P Sethna's book
Statistical Mechanics: Entropy, Order Parameters, and Complexity[1]. The
problem is on page 19 of the pdf linked and is titled Six degrees of
separation. For it I came up with this code: http://hpaste.org/84114
It runs
Hey Azeem,
have you tried running the same calculation using rationals? Theres some
subtleties to writing numerically stable code using floats and doubles,
where simple optimizations change the orders of operations in ways that
*significantly* change the result. In this case it looks like you're
Hey folks,
Have you ever wanted to implement this function in Haskell?
-- | Forks a thread, but kills it if it has more than 'limit'
-- bytes resident on the heap.
forkIOWithSpaceLimit :: IO () - {- limit -} Int - IO ThreadId
Well, now you can! I have a proposal and set of patches
On Fri, Mar 15, 2013 at 5:17 PM, Edward Z. Yang ezy...@mit.edu wrote:
There is a lot of subtlety in this space, largely derived from the
complexity of interpreting GHC's current profiling information. Your
questions, comments and suggestions are greatly appreciated!
How secure is this? One of
On Fri, Mar 15, 2013 at 9:19 AM, James Cook mo...@deepbondi.net wrote:
On Mar 14, 2013, at 11:08 PM, Jason Dagit dag...@gmail.com wrote:
My real reason for reviving this thread: Can I get a status update,
please?
Sure. I don't have as much time as I'd like these days for open-source
The particular problem you're referring to is fixed if you compile all
your libraries with -falways-yield; see
http://hackage.haskell.org/trac/ghc/ticket/367
I believe that it is possible to give a guarantee that the kill
signal will hit the thread in a timely fashion. The obvious gap in
our
On Mar 15, 2013, at 2:45 PM, Jason Dagit dag...@gmail.com wrote:
I haven't been following the thread closely. Is there also a github? If so,
where? Some of us figured out a bug fix for the quotes plugin and I'll send a
pull request if I get a chance.
Yep, there is[1]. I'm not sure what the
On 3/15/13 3:29 PM, Evan Laforge wrote:
However, which error msg shows up depends on the order of the (|)
alternatives, and in general the global structure of the entire
parser, because I think it just backtracks and then picks the last
failing backtrack. Even after carefully rearranging all
On Fri, Mar 15, 2013 at 3:30 PM, James Cook mo...@deepbondi.net wrote:
On Mar 15, 2013, at 2:45 PM, Jason Dagit dag...@gmail.com wrote:
I haven't been following the thread closely. Is there also a github? If
so, where? Some of us figured out a bug fix for the quotes plugin and I'll
send a
On Fri, Mar 15, 2013 at 4:31 PM, Jason Dagit dag...@gmail.com wrote:
On Fri, Mar 15, 2013 at 3:30 PM, James Cook mo...@deepbondi.net wrote:
On Mar 15, 2013, at 2:45 PM, Jason Dagit dag...@gmail.com wrote:
I haven't been following the thread closely. Is there also a github? If
so, where?
Evan Laforge wrote:
The first is that it's hard to get the right error msg out. For
instance, I have a parser that tries to parse a number with an
optional type suffix. It's an error if the suffix is unrecognized:
p_num :: A.Parser Score.TypedVal
p_num = do
num - p_untyped_num
On 16 March 2013 12:54, Erik de Castro Lopo mle...@mega-nerd.com wrote:
Evan Laforge wrote:
The first is that it's hard to get the right error msg out. For
instance, I have a parser that tries to parse a number with an
optional type suffix. It's an error if the suffix is unrecognized:
Is it not possible to add an alternative (no pun intended) to | that
supports the semantics Evan wants?
I would agree that what attoparsec does for | of Alternative and mplus
for MonadPlus is correct since e.g. the mplus laws say that a failure
must be identity and therefore the following
19 matches
Mail list logo
