Haskell News

Updated automatically every 10 minutes.


38 minutes ago
thomas-huet/warlightBot for the [Warlight AI Challenge](http://theaigames.com/competitions/warlight-ai-challenge)
an hour ago
yegortimoschenko/loshadkaan hour ago
seanmhickman/katana-streamNo description
an hour ago
seanmhickman/katana-loadNo description
an hour ago
seanmhickman/katana-raceNo description
an hour ago
seanmhickman/katana-parallelNo description
an hour ago
seanmhickman/katana-multiNo description
an hour ago
seanmhickman/katana-preludeNo description
2 hours ago
bitemyapp/piebota few hours ago


data-lens-light minutes ago
type-aligned 0.9.356 minutes ago
type-aligned 0.9.257 minutes ago
type-aligned 0.9.1an hour ago
reflection-without-remorse 0.9.2an hour ago
tinylog 0.12.0an hour ago
DRBG 0.5.33 hours ago
bound 1.0.4a few hours ago
system-random-effect few hours ago
monad-logger 0.3.94 hours ago


what does AutoDeriveTypeable do?4 hours ago
getmiddle8 hours ago
maximums14 hours ago
GADT for logic formulae20 hours ago
GADT for logic formulas20 hours ago
variadic HTML combinators with GADTs and TypeFamiliesa day ago
Bad https POST with http-client-tls2 days ago
Ch3Context2 days ago
printErrorChapter32 days ago
fibonacci3 days ago


Android11 hours ago
User:Inaimathi17 hours ago
User groups17 hours ago
User:Inaimathi18 hours ago
Template:Main/Eventsa day ago
Android2 days ago
Yi/FAQ2 days ago
Android3 days ago
Implement a chat server3 days ago
The JavaScript Problem4 days ago

IRC Quotes

<Dijkstra> Simplicity is a great virtue but it requires hard work to achieve it and education to appreciate it. And to make matters worse: complexity sells better.a week ago
<Dijkstra> How do we convince people that in programming simplicity and clarity —in short: what mathematicians call "elegance"— are not a dispensable luxury, but a crucial matter that decides between success and failure?a week ago
<hunt> what the fuck is thisa week ago
<DavidHilbert> We must not believe those, who today, with philosophical bearing and deliberative tone, prophesy the fall of culture and accept the _ignorabimus_ ("Ignoramus et ignorabimus","We do not know, we shall not know"). For us there is no _ignorabimus_, and in my opinion none whatever in natural science. In opposition to the foolish _ignorabimus_ our slogan shall be: _Wir müssen wissen — wir werden wissen!_ ("We must know — we wila week ago
<Brouwer> "Does every real number have a decimal expansion?" (1921)a week ago
<HermannWeyl> Brouwer, that is the revolution!a week ago
<ErrettBishop> We are not contending that idealistic mathematics is worthless from the constructive point of view. This would be as silly as contending that unrigorous mathematics is worthless from the classical point of view. Every theorem proved with idealistic methods presents a challenge: to find a constructive version, and to give it a constructive proof.a week ago
<ErrettBishop> In the words of Kronecker, the positive integers were created by God. Kronecker would have expressed it even better if he had said that the positive integers were created by God for the benefit of man (and other finite beings). Mathematics belongs to man, not to God. [...] When a man proves a positive integer to exist, he should show how to find it. If God has mathematics of his own that needs to be done, let him do it himself.a week ago
<ErrettBishop> Meaningful distinctions deserve to be preserveda week ago
<ErrettBishop> A proof is any completely convincing argumenta week ago