Dear all,
for quite a while now, I have experienced this issue with some curiosity;
yesterday I had it again, when a program that took well over one hour
before only needed about ten minutes, after a system reboot (recent Ubuntu)
and with no browser started -- finally deciding to post this.
I
Hi Gwern,
thanks for the interesting info. I quite often have processing of CSV file
data of about 100M-1G done.
Thanks a lot, Nick
2013/2/2 Gwern Branwen gwe...@gmail.com
On Sat, Feb 2, 2013 at 3:19 PM, Nick Rudnick nick.rudn...@gmail.com
wrote:
Roughly, I would say the differences
Dear Haskellers,
did anybody of you stumble about surprisingly having a 2GB memory limit on
Win64? I admit I didn't get it at once (just about to finish a complete
memcheck... ;-) -- but of course there already is a discussion of this:
Dear all,
if you want to temporarily store haskell data in a file – do you have a
special way to get it done efficiently?
In an offline, standalone app, I am continuously reusing data volumes of
about 200MB, representing Map like tables of a rather simple structure,
key: (Int,Int,Int)
value:
Hi Vasili,
not understanding clearly «in a categorical logic sense» -- but I can be
sure you already checked out coherent spaces, which might be regarded as
underlying Girard's original works in this sense?? I have a faint idea
about improvements, but I don't have them present at the moment.
Dear all,
recently, at an email conversation with pgsql hackers I had a quick
shot, asking about their position to somebody replacing their palloc GC
-- having roughly in mind that either here or on a Mercury mailing list
(where there's a similar case with a pure declarative language and a
Hi Philipp,
depending on what engineering calculations you are interested in, you
might like http://timber-lang.org/ , a direct descendant of O'Haskell,
targeted at embedded real-time systems.
If you are just stepping out of the OO programming world, it might be
helpful to imagine OO as a
for early demand strongly reminds me of our
concepts of knowledge techniques -- it is my hope that this is possible.
Thanks a lot,
Nick
Paul Johnson wrote:
On 16/07/10 05:41, Nick Rudnick wrote:
In consequence, an 8-student-project with two B.Sc. theses is raised
as a pilot to examine
Dear all,
besides good ambitions in many other areas, it is interesting to see
that a great number of present Haskell projects is run by a very small
number of persons and even some parts of the usual developer's toolkit,
like e.g. Haddock, seem to contribute to it.
Has the Haskell culture
Hi Chris,
these are good questions -- actually, you might have mentioned Takusen, too.
Clearly, HDBC is the largest of these projects, and there are lots of
things well done there.
Takusen has an interesting approach, and I would like to see a
discussion here about the practical outcomes,
Hi Markus,
I am afraid your questions are formulated quite narrowly so that people
you might like to reach might not feel addressed -- so it might be
helpful to ask yourself how your subject might look in the perspective
of an average Haskeller, if a such dies exist at all.
At first, please
Hi Thomas,
up to 3/3/2010 I am looking after nearly 100 Haskell newbies in their
project end phase -- but Marc Weber promised to kick my ass in time so I
look after the hsql-XXX repos.
Anyway, I just uploaded 1.8.1, since it seems to work.
Cheers,
Nick
Thomas Girod wrote:
replying to
Hi Maciej,
I will try to reproduce the error -- could you send me your both *.cabal
files (for hsql hsql-mysql), if you have changed anything, and your
system configuration.
Is this extremely urgent? I ask this, as these days exactly the end
phase of the projects of about 100 beginner
A place in the hall of fame and thank you for mentioning clopen... ;-)
Just wanting to present open/closed as and example of improvable maths
terminology, I oversaw this even more evident defect in it and even
copied it into my improvement proposal, bordered/unbordered:
It is questionable
Richard O'Keefe wrote:
On Feb 19, 2010, at 2:48 PM, Nick Rudnick wrote:
Please tell me the aspect you feel uneasy with, and please give me
your opinion, whether (in case of accepting this) you would rather
choose to consider Human as referrer and Int as referee of the
opposite -- for I think
Alexander Solla wrote:
You specifically ask withConstraintsOf to accept only Suitable2's when
you say
withConstraintsOf :: Suitable2 m a b = m a b - (Constraints m a b
- k) - k
But you aren't saying that the argument of withConstraintsOf IS a
Suitable2, when you say:
instance (RCategory c1,
and
the «psychologism» becoming possible (- cf. CCCs, Toposes). Con:
Personalized meaning has an association with somewhat unfriendly behaviour.
Anybody to drop a comment on this?
Cheers,
Nick
Sean Leather wrote:
On Thu, Feb 18, 2010 at 04:27, Nick Rudnick wrote:
I haven't seen anybody
14:48:08 schrieb Nick Rudnick:
even in Germany, where the
term «ring» seems to originate from, since at least a century nowbody
has the least idea it once had an alternative meaning «gang,band,group»,
Wrong. The term Ring is still in use with that meaning in composites like
that this approach would be of great help in learning category
theory.
All the best,
Nick
Hans Aberg wrote:
On 18 Feb 2010, at 14:48, Nick Rudnick wrote:
* the definition of open/closed sets in topology with the boundary
elements of a closed set to considerable extent regardable as facing
Gregg Reynolds wrote:
On Thu, Feb 18, 2010 at 7:48 AM, Nick Rudnick
joerg.rudn...@t-online.de mailto:joerg.rudn...@t-online.de wrote:
IM(H??)O, a really introductive book on category theory still is
to be written -- if category theory is really that fundamental
(what I believe, due
Hi Mike,
so an open set does not contain elements constituting a border/boundary
of it, does it?
But a closed set does, doesn't it?
Cheers,
Nick
Michael Matsko wrote:
- Forwarded Message -
From: Michael Matsko msmat...@comcast.net
To: Nick Rudnick joerg.rudn...@t-online.de
set contains its interior, which is the part of the set without
its boundary and is contained in its closure - for a given set x,
Interior(x) is a subset of x is a subset of Closure(x).
Mike
- Original Message -
From: Nick Rudnick joerg.rudn...@t-online.de
To: Michael Matsko msmat
Hans Aberg wrote:
On 18 Feb 2010, at 19:19, Nick Rudnick wrote:
agreed, but, in my eyes, you directly point to the problem:
* doesn't this just delegate the problem to the topic of limit
operations, i.e., in how far is the term «closed» here more perspicuous?
* that's (for a very simple
Solla wrote:
On Feb 18, 2010, at 10:19 AM, Nick Rudnick wrote:
Back to the case of open/closed, given we have an idea about sets --
we in most cases are able to derive the concept of two disjunct sets
facing each other ourselves, don't we? The only lore missing is just
a Bool: Which term fits
Gregg Reynolds wrote:
On Thu, Feb 18, 2010 at 1:31 PM, Daniel Fischer
daniel.is.fisc...@web.de mailto:daniel.is.fisc...@web.de wrote:
Am Donnerstag 18 Februar 2010 19:55:31 schrieb Nick Rudnick:
Gregg Reynolds wrote:
-- you agree with me it's far away from every day's common
Hans Aberg wrote:
On 18 Feb 2010, at 23:02, Nick Rudnick wrote:
418 bytes in my file system... how many in my brain...? Is it
efficient, inevitable?
Yes, it is efficient conceptually. The idea of closed sets let to
topology, and in combination with abstractions of differential
geometry led
Alexander Solla wrote:
On Feb 18, 2010, at 2:08 PM, Nick Rudnick wrote:
my actual posting was about rename refactoring category theory;
closed/open was just presented as an example for suboptimal
terminology in maths. But of course, bordered/unbordered would be
extended by e.g. «partially
Daniel Fischer wrote:
Am Donnerstag 18 Februar 2010 19:19:36 schrieb Nick Rudnick:
Hi Hans,
agreed, but, in my eyes, you directly point to the problem:
* doesn't this just delegate the problem to the topic of limit
operations, i.e., in how far is the term «closed» here more perspicuous
Hi Alexander,
please be more specific -- what is your proposal?
Seems as if you had more to say...
Nick
Alexander Solla wrote:
On Feb 18, 2010, at 4:49 PM, Nick Rudnick wrote:
Why does the opposite work well for computing science?
Does it? I remember a peer trying to convince me
Hi,
wow, a topic specific response, at last... But I wish you would be more
specific... ;-)
A *referrer* (object) refers to a *referee* (object) by a *reference*
(arrow).
Doesn't work for me. Not in Ens (sets, maps), Grp (groups, homomorphisms),
Top (topological spaces, continuous
I haven't seen anybody mentioning «Joy of Cats» by Adámek, Herrlich
Strecker:
It is available online, and is very well-equipped with thorough
explanations, examples, exercises funny illustrations, I would say
best of university lecture style: http://katmat.math.uni-bremen.de/acc/.
Hi all,
doing some work with a regex library I stumbled over some segmentation
faults due to illegal byte combinatations.
Looking for a way to get this caught some way, I failed in finding any place
at GHC (6.10.1) or Hackage libraries where this is covered -- a quick check
with HUnit revealed
32 matches
Mail list logo