Logs: liberachat/#haskell
| 2021-05-26 11:18:49 | → | eggplantade joins (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) |
| 2021-05-26 11:19:26 | NieDzejkob_ | is now known as NieDzejkob |
| 2021-05-26 11:19:45 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-05-26 11:19:51 | <ksqsf> | xprlgjf thanks for the pointers! |
| 2021-05-26 11:20:03 | × | therion quits (~therion@191.177.175.57) (Ping timeout: 264 seconds) |
| 2021-05-26 11:20:37 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 11:21:50 | × | dminuoso quits (~dminuoso@user/dminuoso) (Quit: WeeChat 2.9) |
| 2021-05-26 11:22:17 | × | bfrk quits (~Thunderbi@200116b8453bc10024c96ca01cd76d14.dip.versatel-1u1.de) (Ping timeout: 272 seconds) |
| 2021-05-26 11:23:33 | × | eggplantade quits (~Eggplanta@2600:1700:bef1:5e10:b043:8b77:c7da:42a0) (Ping timeout: 272 seconds) |
| 2021-05-26 11:23:41 | → | groucho joins (~user@dynamic-adsl-78-12-53-190.clienti.tiscali.it) |
| 2021-05-26 11:24:12 | × | Unhammer quits (~Unhammer@2a01:799:42:6a00::40c) (Changing host) |
| 2021-05-26 11:24:12 | → | Unhammer joins (~Unhammer@user/unhammer) |
| 2021-05-26 11:24:23 | × | pera quits (~pera@user/pera) (Ping timeout: 244 seconds) |
| 2021-05-26 11:24:51 | → | holy_ joins (~h01y_b4z0@2400:adc1:178:c800:9e45:76a9:57f2:1665) |
| 2021-05-26 11:25:02 | → | pavonia joins (~user@user/siracusa) |
| 2021-05-26 11:25:34 | <starlord> | I need an ordered and non empty set type, is there such a data structure available already? |
| 2021-05-26 11:26:05 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-05-26 11:26:52 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 11:27:16 | <pavonia> | Is freenode/#haskell officially dead now? |
| 2021-05-26 11:28:10 | → | mebassett joins (~Srain@88.97.97.244) |
| 2021-05-26 11:28:14 | <Vq> | It was brought out back and shot. You could join ##Haskell on freenode I guess. |
| 2021-05-26 11:28:23 | <maerwald> | not sure how that would ever be official |
| 2021-05-26 11:28:35 | <Vq> | That is if you really wanted to stay on that network. |
| 2021-05-26 11:29:17 | <Vq> | I imagine that you get rerouted to that channel if you try to join now. |
| 2021-05-26 11:29:42 | <__monty__> | maerwald: Freenode ops took over channels and set up redirects to ##topical. |
| 2021-05-26 11:29:50 | <pavonia> | I'm asking because several channels redirect to their ##-counterparts now, which wasn't the case yesterday |
| 2021-05-26 11:30:20 | <__monty__> | It's pretty much all the channels that had "libera.chat" in their topic. Even if it was to say "We're not on libera.chat yet." |
| 2021-05-26 11:30:31 | <maerwald> | they still have ops? interesting |
| 2021-05-26 11:31:43 | → | eightball joins (~jbrechtel@162-226-201-119.lightspeed.tukrga.sbcglobal.net) |
| 2021-05-26 11:31:58 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 2021-05-26 11:32:44 | Franciman | is now known as rasenshuriken |
| 2021-05-26 11:32:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 11:32:50 | rasenshuriken | is now known as Franciman |
| 2021-05-26 11:34:44 | mebassett | is now known as meb |
| 2021-05-26 11:35:28 | × | jpds quits (~jpds@tor-relay.zwiebeltoralf.de) (Remote host closed the connection) |
| 2021-05-26 11:37:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 272 seconds) |
| 2021-05-26 11:38:12 | <kritzefitz> | maerwald, s/still/again/ as I understand it. |
| 2021-05-26 11:38:40 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-26 11:39:08 | × | gensyst quits (~gensyst@user/gensyst) (Quit: Leaving) |
| 2021-05-26 11:40:24 | → | aez joins (~aez@zoo-zarebski.zoo.ox.ac.uk) |
| 2021-05-26 11:42:10 | × | Morrow quits (~Morrow@bzq-110-168-31-106.red.bezeqint.net) (Ping timeout: 264 seconds) |
| 2021-05-26 11:44:42 | → | mc47 joins (~yecinem@89.246.239.190) |
| 2021-05-26 11:45:05 | × | Guest821 quits (~Guest821@85.206.163.148) (Quit: Connection closed) |
| 2021-05-26 11:46:02 | → | Toast52 joins (~Toast52@151.192.167.120) |
| 2021-05-26 11:50:34 | × | wonko quits (~wjc@62.115.229.50) (Ping timeout: 264 seconds) |
| 2021-05-26 11:53:32 | → | kawzeg_ joins (~finn@li2046-66.members.linode.com) |
| 2021-05-26 11:54:29 | × | hmmmas quits (~chenqisu1@183.217.200.8) (Quit: Leaving.) |
| 2021-05-26 11:54:55 | → | ddellacosta joins (~ddellacos@89.46.62.130) |
| 2021-05-26 11:56:00 | × | mankyKitty quits (uid31287@id-31287.brockwell.irccloud.com) (Quit: Connection closed for inactivity) |
| 2021-05-26 11:56:45 | ← | jalonso parts (~user@90.106.128.3) (ERC (IRC client for Emacs 26.3)) |
| 2021-05-26 11:56:47 | → | Morrow joins (~Morrow@147.161.12.124) |
| 2021-05-26 11:56:49 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-26 11:57:09 | → | pera joins (~pera@0541db7e.skybroadband.com) |
| 2021-05-26 11:57:28 | × | hr0m quits (~hr0m@2a03:4000:6:446f:899:53ff:fe87:3ffe) (Quit: WeeChat 2.3) |
| 2021-05-26 11:57:33 | pera | is now known as Guest4064 |
| 2021-05-26 11:57:45 | × | Guest4064 quits (~pera@0541db7e.skybroadband.com) (Client Quit) |
| 2021-05-26 11:58:26 | → | hr0m joins (~hr0m@2a03:4000:6:446f:899:53ff:fe87:3ffe) |
| 2021-05-26 11:59:06 | → | favonia joins (~favonia@user/favonia) |
| 2021-05-26 11:59:14 | → | wonko joins (~wjc@62.115.229.50) |
| 2021-05-26 11:59:39 | × | ddellacosta quits (~ddellacos@89.46.62.130) (Ping timeout: 272 seconds) |
| 2021-05-26 12:01:01 | → | xwx joins (~george@user/george) |
| 2021-05-26 12:04:00 | × | noddy quits (~self@user/noddy) (Quit: (λω.ωω)(λω.ωω)) |
| 2021-05-26 12:04:11 | → | vire joins (~vire@136.185.204.212) |
| 2021-05-26 12:04:22 | → | noddy joins (~self@c6a7c7c6.vpn.njalla.net) |
| 2021-05-26 12:04:22 | × | noddy quits (~self@c6a7c7c6.vpn.njalla.net) (Changing host) |
| 2021-05-26 12:04:22 | → | noddy joins (~self@user/noddy) |
| 2021-05-26 12:04:49 | → | smitop joins (uid328768@user/smitop) |
| 2021-05-26 12:09:04 | → | iphy joins (sid67735@id-67735.tooting.irccloud.com) |
| 2021-05-26 12:12:19 | → | haskman joins (~haskman@171.61.174.98) |
| 2021-05-26 12:12:26 | → | Guest9877 joins (~Guest98@cpc121274-nmal25-2-0-cust99.19-2.cable.virginm.net) |
| 2021-05-26 12:13:43 | → | ddellacosta joins (~ddellacos@86.106.121.100) |
| 2021-05-26 12:14:06 | → | Guest31 joins (~textual@cpc146410-hari22-2-0-cust124.20-2.cable.virginm.net) |
| 2021-05-26 12:15:15 | <xerox> | why is HLS a 380MB download and GHC 180MB |
| 2021-05-26 12:15:55 | → | rbutler joins (uid5425@id-5425.highgate.irccloud.com) |
| 2021-05-26 12:16:06 | × | ddellacosta quits (~ddellacos@86.106.121.100) (Read error: Connection reset by peer) |
| 2021-05-26 12:16:12 | <merijn> | Better compression on GHC? :p |
| 2021-05-26 12:16:31 | <_________> | better optimization of GHC? ;) |
| 2021-05-26 12:17:11 | <maerwald> | my program on windows only outputs to stdout and with exit status 0 if I run it via `strace`... |
| 2021-05-26 12:17:28 | → | aib joins (~aib@dslb-178-008-083-018.178.008.pools.vodafone-ip.de) |
| 2021-05-26 12:17:39 | ← | vire parts (~vire@136.185.204.212) () |
| 2021-05-26 12:18:10 | ← | Guest9877 parts (~Guest98@cpc121274-nmal25-2-0-cust99.19-2.cable.virginm.net) () |
| 2021-05-26 12:19:05 | → | poljar1 joins (~poljar@93-139-109-71.adsl.net.t-com.hr) |
| 2021-05-26 12:19:20 | <mc47> | Hello, I was wondering if there's a function for a function with this signature: `(a -> b -> (c, b)) -> [a] -> b -> [c]` |
| 2021-05-26 12:19:23 | <wz1000> | xerox: because HLS includes all of GHC and much more |
| 2021-05-26 12:19:47 | <xerox> | that's a lot more! |
| 2021-05-26 12:20:00 | <mc47> | it's kinda like map, but also takes has an accumulator? I guess it's clear what it's supposed to do from the signature |
| 2021-05-26 12:20:14 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.1) |
| 2021-05-26 12:20:20 | <mc47> | used it a couple of times so I was wondering if it's common enough to deserve a name |
| 2021-05-26 12:20:25 | × | poljar quits (~poljar@78-2-63-198.adsl.net.t-com.hr) (Ping timeout: 265 seconds) |
| 2021-05-26 12:20:36 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-26 12:21:02 | <xerox> | :t mapAccumL |
| 2021-05-26 12:21:03 | <lambdabot> | Traversable t => (a -> b -> (a, c)) -> a -> t b -> (a, t c) |
| 2021-05-26 12:22:12 | → | Kaivo joins (~Kaivo@user/kaivo) |
| 2021-05-26 12:23:53 | <xerox> | they got some bits flipped from yours but it's that |
| 2021-05-26 12:24:53 | <mc47> | that's cool, thanks xerox |
| 2021-05-26 12:25:12 | <xerox> | yw! |
| 2021-05-26 12:25:17 | × | Brumaire quits (~quassel@81-64-14-121.rev.numericable.fr) (Remote host closed the connection) |
| 2021-05-26 12:26:17 | × | ksqsf quits (~textual@67.209.186.120.16clouds.com) (Remote host closed the connection) |
| 2021-05-26 12:26:40 | → | dyeplexer joins (~dyeplexer@user/dyeplexer) |
| 2021-05-26 12:27:26 | → | takenobu joins (uid459077@id-459077.stonehaven.irccloud.com) |
All times are in UTC.