News

GitHub

alasconnect/pipes-telnetA programmable telnet client built with pipes and attoparsec
26 minutes ago
BasicNeural/Derivation미분법칙을 이용한 미분
an hour ago
swamp-agr/carbuyer-advisorhow to buy used car in Russia, tech recommendation for used cars
3 hours ago
lgastako/tennis-kata-haskNo description
a few hours ago
diegolinhares/haskell_filesNo description
a few hours ago
Molosse/personal_projectsA place to dump any projects and code snippets I'm working on
5 hours ago
kkmonlee/Learning-HaskellCode while I learn Haskell
6 hours ago
lgastako/chaskNo description
6 hours ago
internet-high-five-machine/high5-driverManages communication between the website and the high 5 arm.
6 hours ago
formrre/extensible-effectsNo description
7 hours ago

Twitter

mojobojo: We have a bit of network equipment that only talks telnet, so I wrote this #haskell lib using pipes and attoparsec - https://github.com/alasconnect/pipes-telnet …24 minutes ago
polyaletheia: Network.Socket is a straight port of the UNIX C Sockets API into #Haskell. It could really use a properly Haskellish typed layer.50 minutes ago
objectxplosive: コレはこのままだと速くならんわなあ… Int64辺り使って C で書く様に書いたら普通に速度出る気はする ➤ #Haskell: Efficient bit-fiddling in a LFSR implementation http://j.mp/2pfVSAd an hour ago
LawConcepts: I would prefer a funktional language like #Haskell ...an hour ago
Jose_A_Alonso: #Exercitium: Enunciado de "Recorrido en ZigZag". http://www.glc.us.es/~jalonso/exercitium/recorrido-en-zigzag … #Haskell #I1M20162 hours ago
StephenPiment: A Logical Relation for Monadic Encapsulation of State proving contextual equivalences with runST #Haskell http://iris-project.org/pdfs/runST.pdf a few hours ago
camloeba: where じゃなくて 後置 let をおくれ #haskell4 hours ago
wrengr: Logical relations proof that the ST monad doesn't break contextual equivalence http://iris-project.org/pdfs/runST.pdf  #haskell4 hours ago
AdamSmitht1: #Haskell FFI with CUDA using stack build tool set up? #Tech #News #HowTo http://abizy.com/p/view.html?url=http://stackoverflow.com/questions/43597927/haskell-ffi-with-cuda-using-stack-build-tool-set-up …7 hours ago
iRadioTube: #Haskell , @nixos_org - the idea of an OS that does not link #NSA code as required dependencies on just about every linux program. selinux8 hours ago

Pastes

How to make foo compile? (Could not deduce (Store a2)...)a few hours ago
floata few hours ago
default.nix 10 hours ago
array problem18 hours ago
How to make this less verbose?a day ago
stack builda day ago
Monadic loopa day ago
No title2 days ago
No title2 days ago
No title4 days ago

HaskellWiki

Compose Unconference 201719 hours ago
User:Eyal19 hours ago
BayHac2017a day ago
BayHac20172 days ago
BayHac20172 days ago
BayHac20172 days ago
BayHac20172 days ago
BayHac20172 days ago
IDEs2 days ago
HacFreiburg20173 days ago

IRC Quotes

<pikajude> fibonacci numbers are quite common in nature; some examples include 1, 2, and 33 months ago
<monochrom> <monochrom> If stack doesn't understand it, kill stack. <monochrom> If Buddha doesn't understand it, kill Buddha.3 months ago
<hpc> the first lisp interpreter was a room full of grad students3 months ago
<johnw> they said at this year's Fibonnaci conference that it was as good as the last two combined3 months ago
<FAQ> paste: Paste long things at a paste site. http://lpaste.net highlights and lints haskell and announces to this channel.5 months ago
<FAQ> details: When asking for help, give details such as platform, GHC version, cabal or stack, exact command line, source code, full output, urls. If it's long, paste at http://lpaste.net5 months ago
<FAQ> faq-help: @remember FAQ topic: some info , @forget FAQ topic: some info , @quote topic:5 months ago
<geekosaur> so fwiw it looks like [Mac Lane] introduced it in _Categories for the Working Mathematician_, and his terminology note doesn't explain why he picked "monad", but perhaps can be understood to imply a sort of cross between "monoid" and "triad". (p.138 at http://www.maths.ed.ac.uk/~aar/papers/maclanecat.pdf)5 months ago
<geekosaur> wibble5 months ago
<geekosaur> so fwiw it looks like he introduced it in _Category Theory for the Working Mathematician_, and his terminology note doesn't explain why he picked "monad", but perhaps can be understood to imply a sort of cross between "monoid" and "triad". (p 138 at http://www.maths.ed.ac.uk/~aar/papers/maclanecat.pdf)5 months ago