On Thu, 2012-01-26 at 22:52 -0500, Daniel Santa Cruz wrote:
* shachaf: Haskell's type system is the perfect mix of useless and stupid.
...btw, what's the context of this quote?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
On Wed, Sep 28, 2011 at 8:09 PM, Daniel Santa Cruz dstc...@gmail.comwrote:
Welcome to issue 201 of the HWN, a newsletter covering developments in
the Haskell community. This release covers the week of September 18 to
24, 2011.
You can find the HTML version of this issue at:
You could always just subscribe to the HWN feed on Contemplating Code. I just
load up my reader when I don't want to read the text dispatches. Try
http://contemplatecode.blogspot.com/feeds/posts/default?alt=rss
That's the feed URL I use. Then the one on the mailing list is your plaintext
On Thu, Jun 23, 2011 at 6:37 PM, Felipe Almeida Lessa
felipe.le...@gmail.com wrote:
On Thu, Jun 23, 2011 at 6:53 PM, Rogan Creswick cresw...@gmail.com
wrote:
Short, obfsucated, urls may direct you places you don't want to go,
but I fail to see how that concern applies to HWN: since each
On 23/06/2011 11:30 PM, Jack Henahan wrote:
My solution for the '[0] with a link far down the page' issue is just to search
for '[0]'.
My solution is to never read the text version and only ever read the
HTML version. Works great for me. :-)
___
It's probably obvious, but is there a reason why the links in this
email are being minimised?
On Thu, Jun 23, 2011 at 11:08 AM, Daniel Santa Cruz dstc...@gmail.com wrote:
Welcome to issue 187 of the HWN, a newsletter covering developments in
the Haskell community. This release covers the
Lyndon,
The links are minimized in hopes of making the plain text version
somewhat readable. It is purely for aesthetical reasons. If you view
the web version
http://contemplatecode.blogspot.com/2011/06/haskell-weekly-news-issue-187.html
you'll see that they are not minimized there.
Daniel
On
On Thu, Jun 23, 2011 at 01:26:58PM -0400, Daniel Santa Cruz wrote:
Lyndon,
The links are minimized in hopes of making the plain text version
somewhat readable. It is purely for aesthetical reasons. If you view
the web version
On Thu, Jun 23, 2011 at 11:16 AM, Simon Michael si...@joyful.com wrote:
On 6/23/11 10:49 AM, Iustin Pop wrote:
FYI, a regular link (though longer) seems more appropriate to me.
Don't know if other people feel the same though.
I prefer the short links, since it is much easier to keep track of
On 6/23/11 10:49 AM, Iustin Pop wrote:
FYI, a regular link (though longer) seems more appropriate to me.
Don't know if other people feel the same though.
+1
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Picky readers we are.
I don't mind URL length. And there are ways to have long URLs in-situ
without being a big disruption.
I hate the borrowed academic practice of saying [0] and giving the URL
two hundred lines later. It worked great on paper in hands because I
could stick my finger to
On Thu, Jun 23, 2011 at 2:26 PM, Albert Y. C. Lai tre...@vex.net wrote:
I hate the borrowed academic practice of saying [0] and giving the URL two
hundred lines later. It worked great on paper in hands because I could stick
my finger to the paper to remember where to return. It also works great
Whoops, forgot to Reply All.
My solution for the '[0] with a link far down the page' issue is just to search
for '[0]'. Then it brings me to the link, I can open it if I like, and then I
just search again for '[0]' and it brings me back to the context. It's
imperfect and requires wraparound
On Thu, Jun 23, 2011 at 6:53 PM, Rogan Creswick cresw...@gmail.com wrote:
Short, obfsucated, urls may direct you places you don't want to go,
but I fail to see how that concern applies to HWN: since each url is
accompanied by a description of its content, that seems to obviate the
need to see
On 24 June 2011 02:24, Rogan Creswick cresw...@gmail.com wrote:
On Thu, Jun 23, 2011 at 11:16 AM, Simon Michael si...@joyful.com wrote:
On 6/23/11 10:49 AM, Iustin Pop wrote:
FYI, a regular link (though longer) seems more appropriate to me.
Don't know if other people feel the same though.
I
On 11/17/2010 09:56 PM, Daniel Santa Cruz wrote:
Curious about the most active members of the #haskell IRC channel? Out
of around 28K utterances in the channel this week, 24% of them where
spoken by the top 5 most active members. Not suprisingly, the dear
lambdabot is at the top
On 10/21/10 5:38 AM, Ketil Malde wrote:
I'm always getting two copies of everything in haskell@, since
everything is cross-posted to -cafe. Are there actually people
subscribed to -cafe, but *not* to hask...@? And if so, why?
I am. In part because I don't want to get two copies of
I just noticed that the recent revival of HWN is only being posted to
haskell-cafe. I know there are lots of people who no longer subscribe
to -cafe because of the amount of traffic, but who remain subscribed
to the hask...@haskell.org list to receive announcements only, and who
might
Malcolm Wallace malcolm.wall...@me.com writes:
might value HWN as a quick-summary catchup of community news. Can you
resume posting HWN there as well please?
s/as well/instead/g
I'm always getting two copies of everything in haskell@, since
everything is cross-posted to -cafe. Are there
On Thursday 21 October 2010 11:38:37, Ketil Malde wrote:
I'm always getting two copies of everything in haskell@, since
everything is cross-posted to -cafe. Are there actually people
subscribed to -cafe, but *not* to hask...@? And if so, why?
I have long been subscribed to -cafe but not to
On Thu, Oct 21, 2010 at 11:38, Ketil Malde ke...@malde.org wrote:
Are there actually people
subscribed to -cafe, but *not* to hask...@?
Yes.
And if so, why?
Because...
I'm always getting two copies of everything in haskell@, since
everything is cross-posted to -cafe.
:)
--Max
Hi,
On 21.10.2010, at 11:38, Ketil Malde wrote:
Malcolm Wallace malcolm.wall...@me.com writes:
might value HWN as a quick-summary catchup of community news. Can you
resume posting HWN there as well please?
s/as well/instead/g
+1
I'm always getting two copies of everything in
Daniel Fischer daniel.is.fisc...@web.de writes:
I have long been subscribed to -cafe but not to hask...@.
Regarding why, I wasn't interested in what haskell@ was supposed to be for,
while I was interested in what -cafe is for.
The Wiki documents these lists as:
hask...@haskell.org
Excellent! Thanks for putting this together. It's nice to have.
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe
I'd like to do it. Any tips?
-deech
On Thu, Sep 9, 2010 at 9:35 AM, Malcolm Wallace malcolm.wall...@me.com wrote:
I miss the Haskell Weekly News.
The most recent issue was published on 8th March 2010. The volunteer who
produces it claimed on 27th April that he would be back in action soon,
I miss it too,
I've got one person set up (or in the process of setting up) to take
it over. I'll be happy to help anyone else get set up (the tools are
nontrivial to use at first). The current plan, when I finally get back
on my feet, is to have multiple editors trading off weeks/months/
I haven't seen HWN in a while. If there is still community interest,
how can we help you with this?
-deech
On Wed, Apr 28, 2010 at 2:45 AM, Joe Fredette jfred...@gmail.com wrote:
While I would not be opposed to being paid, I don't think it's at all
necessary or even really appropriate. I liken
2010/6/23 aditya siram aditya.si...@gmail.com:
I haven't seen HWN in a while. If there is still community interest,
how can we help you with this?
It will come back, see this thread:
http://www.reddit.com/r/haskell/comments/cdw38/hwn_it_will_be_back_promise/
Cheers,
Thu
Neat. Thanks!
-deech
On Wed, Jun 23, 2010 at 10:06 AM, Vo Minh Thu not...@gmail.com wrote:
2010/6/23 aditya siram aditya.si...@gmail.com:
I haven't seen HWN in a while. If there is still community interest,
how can we help you with this?
It will come back, see this thread:
Yah, this is gonna sound like a crappy thing -- but my computer is
still broken. What I thought was a faulty SATA port seems to actually
be an issue with the harddrive, so -- one more week is the punchline.
I'm really sorry guys...
/Joe
On Jun 23, 2010, at 10:13 AM, aditya siram wrote:
On Wed, Apr 28, 2010 at 7:47 AM, David Sankel cam...@gmail.com wrote:
I'm wondering if a monetary incentive would keep the person who does this
work more accountable. I personally would be willing to contribute to
continue getting this service. I wonder if there are others as well.
I don't
While I would not be opposed to being paid, I don't think it's at all
necessary or even really appropriate. I liken the job to volunteering
at a local community action group -- not really the kind of thing you
get paid for.
That said, if any of you have time machines/time dilation devices
Joe Fredette jfred...@gmail.com writes:
That said, if any of you have time machines/time dilation devices in
the works, I'm happy to beta test.
Don't be silly, you don't need more time, you need more _you_
(i.e. clones); after all, nothing ever goes wrong with clones! :p
--
Ivan Lazar
2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com:
Joe Fredette jfred...@gmail.com writes:
That said, if any of you have time machines/time dilation devices in
the works, I'm happy to beta test.
Don't be silly, you don't need more time, you need more _you_
(i.e. clones); after all,
minh thu not...@gmail.com writes:
2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com:
Joe Fredette jfred...@gmail.com writes:
That said, if any of you have time machines/time dilation devices in
the works, I'm happy to beta test.
Don't be silly, you don't need more time, you need
2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com:
minh thu not...@gmail.com writes:
2010/4/28 Ivan Lazar Miljenovic ivan.miljeno...@gmail.com:
Joe Fredette jfred...@gmail.com writes:
That said, if any of you have time machines/time dilation devices in
the works, I'm happy to beta
I'm wondering if a monetary incentive would keep the person who does this
work more accountable. I personally would be willing to contribute to
continue getting this service. I wonder if there are others as well.
David
On Mon, Apr 26, 2010 at 9:32 PM, Joe Fredette jfred...@gmail.com wrote:
Hehe,
Mostly, at the moment, as I mentioned to Deech, what is holding me
up is trying to get HWN and 7 classes worth of finals and papers done.
This is the last two weeks of my last semester, but it should be all
done soon.
I hope to get HWN out shortly after it's all finished up. I
On 27 April 2010 10:08, Joe Fredette jfred...@gmail.com wrote:
I hope to get HWN out shortly after it's all finished up. I shall return!
As long as you don't end up copying the Gentoo situation where the
Gentoo Weekly News died, was resurrected (not sure how many times),
was converted to the
Most certainly, the HWN is easy to put together, it's just a little
time consuming, the weekly schedule is just enough under a normal 40-
hour courseload. When that number jumps into the high billions (as it
did this last semester), it becomes someone more difficult to fit in.
HWN will
On Mon, Feb 8, 2010 at 11:47 AM, jfred...@gmail.com wrote:
---
Haskell Weekly News
http://sequence.complete.org/hwn/20100208
Issue 149 - February 08, 2010
Hi,
First and foremost; thanks for your work on the HWN. It is greatly
appreciated. :)
Just a quick tip:
On Monday 14. December 2009 00.45.29 jfred...@gmail.com wrote:
Until next week, Haskeller's, […]
why we Haskeller's […]
Both of these refer to many “haskellers” – no apostrophe should be
English, while my first language (and in fact, only language...) is
also my worst language... Thanks for catching the grammar snafu.
While I'm here, please note that the issue number is off as well, it's
fixed in the version on sequence.complete.org, but not in the email
version.
/Joe
On Fri, Nov 06, 2009 at 10:04:45PM -0800, jfred...@gmail.com wrote:
* mauke: @unpl const (flip const)
lambdabot: (\ _ c d - d)
I didn't get this one, is it just because lambdabot didn't change
'c' to an underscore?
Thanks for the HWN, as always :),
--
Felipe.
On Sat, Nov 7, 2009 at 10:48 AM, Felipe Lessa felipe.le...@gmail.com wrote:
On Fri, Nov 06, 2009 at 10:04:45PM -0800, jfred...@gmail.com wrote:
* mauke: @unpl const (flip const)
lambdabot: (\ _ c d - d)
I didn't get this one, is it just because lambdabot didn't change
'c' to an
Hi,
Could/should the Haskell Weekly News be posted to the beginners list as
well?
I normally don't follow haskell-cafe (too much traffic and generally above
my level I must admit...), but I like to follow what's going on in the
Haskell community.
Patrick
On Sat, Oct 10, 2009 at 3:47 AM,
Why don't you subscribe to haskell? It's much lower volume, and I
think it's a better option than taking -beginners off-topic.
--Max
On Sun, Oct 11, 2009 at 2:10 PM, Patrick LeBoutillier
patrick.leboutill...@gmail.com wrote:
Hi,
Could/should the Haskell Weekly News be posted to the beginners
I'm happy to tack it on to the sendout, but as others have mentioned,
subscription to haskell-general (to use GManes nomenclature) is
probably the better option. -beginners, iirc, is principally for
questions, not community content. Is this the consensus over there?
I'll do whatever you
Patrick LeBoutillier wrote:
Could/should the Haskell Weekly News be posted to the beginners list as
well?
I normally don't follow haskell-cafe (too much traffic and generally above
my level I must admit...), but I like to follow what's going on in the
Haskell community.
I find reading the
On Sun, Sep 20, 2009 at 03:11:04PM -0400, Joe Fredette wrote:
Ahh, I found the issue. I generated this on the 18th, the software makes
files of the form yearmonthdate.ext, so when Brent uploaded the hwn
for me, the link it generates is to the date it was generated on, not the
date it was
Joe Fredette wrote:
Haskell Weekly News
http://sequence.complete.org/hwn/20090918
Issue 131 - September 18, 2009
Does anybody else get page not found for this URL?
___
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
Ahh, I found the issue. I generated this on the 18th, the software
makes files of the form yearmonthdate.ext, so when Brent
uploaded the hwn for me, the link it generates is to the date it was
generated on, not the date it was published on.
The appropriate link is
Brent Yorgey wrote:
The [2]5th Haskell Hackathon is underway in Utrecht! Happy Haskell
hacking! An early HWN this week since I will be traveling this weekend
(but not, unfortunately, to the Hackathon).
Yes! It's been a good day so far; there are lots of projects being
worked on. You
conal: Recursion is the goto of functional programming
BTW, I certainly did not mean to take credit for this wonderful quote. I
don't know the origin. I first heard it from Erik Meijer.
- Conal
___
Haskell-Cafe mailing list
This paper from 1994:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5611
begins point 1.1 with exactly that sentence. It doesn't seem to be
quoted there, so one can assume this is the original source of that
sentence. I'm not sure dough.
Regards
Christopher Skrzętnicki
2009/3/28
The quote has been around since at least the early 80s, but I don't
know who it's from.
2009/3/28 Krzysztof Skrzętnicki gte...@gmail.com:
This paper from 1994:
http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.36.5611
begins point 1.1 with exactly that sentence. It doesn't seem to be
Brent Yorgey wrote:
---
Haskell Weekly News
http://sequence.complete.org/hwn/20081108
Issue 92 - November 08, 2008
---
GHC version 6.10.1. Ian
Anyway, I don't see it anywhere in the release notes, but I get the vibe
that type families are supposed to be fully working now. Is that
correct? If so, why no mention anywhere?
Type families have been completely reimplemented and should be stable
now, but there are some bugs - notably
Richard A. O'Keefe wrote:
On 14 Sep 2008, at 10:59 pm, Rafael Almeida wrote:
One thing have always bugged me: how do you prove that you have
correctly proven something?
This really misses the point of trying to formally verify something.
That point is that you almost certainly have NOT.
On Mon, 15 Sep 2008 13:05:11 -0300
Rafael C. de Almeida [EMAIL PROTECTED] wrote:
I do not know. I'm not experienced on the field and I was under the
impression you'd write your code then get a pen and a paper and try to
prove some property of it.
In fairness, that's how it's often done in
On Sep 15, 2008, at 10:43 AM, Robin Green wrote:
In fairness, that's how it's often done in universities (where
correctness doesn't really matter to most people - no offense
intended). But once you start using software to write formal proofs,
it
is quite easy in principle to get a computer
On Mon, Sep 15, 2008 at 2:43 PM, Robin Green [EMAIL PROTECTED] wrote:
On Mon, 15 Sep 2008 13:05:11 -0300
Rafael C. de Almeida [EMAIL PROTECTED] wrote:
Someone mentioned coq, I read a bit about it, but it looked really
foreign to me. The idea is to somehow prove somethings based only on
the
On 2008 Sep 14, at 1:24, Daryoush Mehrtash wrote:
What I am trying to figure out is that say on the code for the IRC
bot that is show here
http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot/Source
What would theorem proofs do for me?
Assurance of correct operation; for example, a
On Sun, Sep 14, 2008 at 5:56 AM, Thomas M. DuBuisson
[EMAIL PROTECTED] wrote:
What would theorem proofs do for me?
Imagine if you used SmallCheck to exhastively test the ENTIRE problem
space for a given property. Now imagine you used your brain to show the
programs correctness before the
2008/9/14 Rafael Almeida [EMAIL PROTECTED]:
One thing have always bugged me: how do you prove that you have
correctly proven something? I mean, when I write a code I'm formaly
stating what I want to happen and bugs happen. If I try to prove some
part of the code I write more formal text
On Sunday 14 September 2008 6:59:06 am Rafael Almeida wrote:
One thing have always bugged me: how do you prove that you have
correctly proven something? I mean, when I write a code I'm formaly
stating what I want to happen and bugs happen. If I try to prove some
part of the code I write more
dmehrtash:
I have a newbie question Does theorem proofs have a use for an
application? Take for example the IRC bot example
([1]http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot) listed
below. Is there any insight to be gained by theorem proofs (as in COQ)
into
What I am trying to figure out is that say on the code for the IRC bot that
is show here
http://www.haskell.org/haskellwiki/Roll_your_own_IRC_bot/Source
What would theorem proofs do for me?
Daryoush
On Sat, Sep 13, 2008 at 9:29 PM, Don Stewart [EMAIL PROTECTED] wrote:
dmehrtash:
I have
What would theorem proofs do for me?
Imagine if you used SmallCheck to exhastively test the ENTIRE problem
space for a given property. Now imagine you used your brain to show the
programs correctness before the heat death of the universe...
Proofs are not features, nor are they code. What
On Mon, Feb 11, 2008 at 02:24:19PM +0100, Wolfgang Jeltsch wrote:
Am Montag, 11. Februar 2008 02:09 schrieb Don Stewart:
[???]
* Imlib 0.1.1. Uploaded by Cale Gibbard. [120]Imlib: Added by
CaleGibbard, Sun Jan 13 22:26:59 PST 2008..
[???]
* haddock 2.0.0.0.
Am Montag, 11. Februar 2008 02:09 schrieb Don Stewart:
[…]
* Imlib 0.1.1. Uploaded by Cale Gibbard. [120]Imlib: Added by
CaleGibbard, Sun Jan 13 22:26:59 PST 2008..
[…]
* haddock 2.0.0.0. Uploaded by David Waern. [147]haddock: Added by
DavidWaern
[…]
What's the
---
Haskell Weekly News
http://sequence.complete.org/hwn/20070507
Issue 62 - May 07, 2007
---
Chaos. Andrew Coppin [29]announced chaos, a fun
One of my editors at somepoint, told me that he had asked his lawyers
about this (i.e. don't think this is anything like real legal advice),
and the answer was 'If you publish an article and advise someone that
the way to do something is X, no judge will be happy if you sue them
for taking your
On Tue, 2 Jan 2007, Donald Bruce Stewart wrote:
Dimensional: Statically checked physical dimensions. Björn Buckwalter
[4]announced version 0.1 of [5]Dimensional, a module for statically
checked physical dimensions. The module facilitates calculations with
physical quantities
On 12/12/06, Donald Bruce Stewart [EMAIL PROTECTED] wrote:
---
Haskell Weekly News
http://sequence.complete.org/
Issue 53 - December 12, 2006
---
jbapple+haskell-cafe:
On 12/12/06, Donald Bruce Stewart [EMAIL PROTECTED] wrote:
---
Haskell Weekly News
http://sequence.complete.org/
Issue 53 - December 12, 2006
76 matches
Mail list logo