Logs: freenode/#haskell
| 2021-05-17 07:32:36 | × | Unhammer quits (~Unhammer@gateway/tor-sasl/unhammer) (Remote host closed the connection) |
| 2021-05-17 07:32:41 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-17 07:32:53 | → | zariuq joins (~zar@fw1.ciirc.cvut.cz) |
| 2021-05-17 07:33:22 | → | Unhammer joins (~Unhammer@gateway/tor-sasl/unhammer) |
| 2021-05-17 07:35:41 | × | zargoertzel quits (~zar@fw1.ciirc.cvut.cz) (Ping timeout: 260 seconds) |
| 2021-05-17 07:35:53 | → | zargoertzel joins (~zar@fw1.ciirc.cvut.cz) |
| 2021-05-17 07:37:26 | × | zariuq quits (~zar@fw1.ciirc.cvut.cz) (Ping timeout: 240 seconds) |
| 2021-05-17 07:38:48 | → | acidjnk_new joins (~acidjnk@p200300d0c72b9554e88f3d58cc93ff66.dip0.t-ipconnect.de) |
| 2021-05-17 07:39:10 | → | libertyprime joins (~libertypr@118.149.80.101) |
| 2021-05-17 07:43:31 | → | Pickchea joins (~private@unaffiliated/pickchea) |
| 2021-05-17 07:43:48 | × | libertyprime quits (~libertypr@118.149.80.101) (Ping timeout: 265 seconds) |
| 2021-05-17 07:44:44 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 2021-05-17 07:48:16 | × | nyd quits (~nyd@unaffiliated/elysian) (Client Quit) |
| 2021-05-17 07:48:27 | → | guriya joins (a0ee4af6@unaffiliated/guriya) |
| 2021-05-17 07:48:33 | → | nyd joins (~nyd@unaffiliated/elysian) |
| 2021-05-17 07:48:42 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 07:53:21 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 07:53:29 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-17 07:53:47 | × | guriya quits (a0ee4af6@unaffiliated/guriya) (Quit: Connection closed) |
| 2021-05-17 07:54:57 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 2021-05-17 07:55:09 | → | oxide joins (~lambda@unaffiliated/mclaren) |
| 2021-05-17 07:55:39 | → | DTZUZU_ joins (~DTZUZO@207.81.119.43) |
| 2021-05-17 07:57:33 | × | DTZUZU quits (~DTZUZO@205.ip-149-56-132.net) (Ping timeout: 240 seconds) |
| 2021-05-17 07:59:28 | → | fendor joins (~fendor@178.115.130.102.wireless.dyn.drei.com) |
| 2021-05-17 08:00:09 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-17 08:01:52 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-17 08:03:07 | → | LKoen joins (~LKoen@2a01cb0407597a00ac2f91280bdd769f.ipv6.abo.wanadoo.fr) |
| 2021-05-17 08:03:33 | × | bitdex quits (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-17 08:06:05 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-17 08:06:19 | → | bitdex joins (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-17 08:07:20 | → | kritzefitz joins (~kritzefit@212.86.56.80) |
| 2021-05-17 08:07:57 | → | poljar joins (~poljar@93-139-93-177.adsl.net.t-com.hr) |
| 2021-05-17 08:08:11 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-17 08:09:57 | × | hendursaga quits (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-17 08:11:16 | × | poljar1 quits (~poljar@78-1-50-185.adsl.net.t-com.hr) (Ping timeout: 260 seconds) |
| 2021-05-17 08:12:12 | × | Codaraxis_ quits (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Quit: Leaving) |
| 2021-05-17 08:13:13 | × | ixlun quits (~user@109.249.184.235) (Ping timeout: 240 seconds) |
| 2021-05-17 08:14:13 | → | bitmagie joins (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) |
| 2021-05-17 08:14:32 | × | kritzefitz quits (~kritzefit@212.86.56.80) (Ping timeout: 268 seconds) |
| 2021-05-17 08:14:51 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-17 08:14:58 | × | bitmagie quits (~Thunderbi@200116b80619af0038b023e60a9f8697.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-17 08:15:12 | → | hendursaga joins (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-17 08:17:29 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-17 08:21:49 | × | stree quits (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-17 08:24:35 | → | vchlup joins (~vchlup@nat.brnet.cz) |
| 2021-05-17 08:26:43 | × | heatsink quits (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-17 08:27:09 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 08:28:47 | → | libertyprime joins (~libertypr@124.197.60.232) |
| 2021-05-17 08:32:08 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-17 08:34:45 | → | stree joins (~stree@68.36.8.116) |
| 2021-05-17 08:38:12 | → | shiraeeshi joins (~shiraeesh@46.34.206.196) |
| 2021-05-17 08:40:16 | → | newdeal joins (~root@185.234.208.208.r.toneticgroup.pl) |
| 2021-05-17 08:45:11 | × | drbean_ quits (~drbean@TC210-63-209-25.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 2021-05-17 08:45:34 | × | sqrt2 quits (~ben@unaffiliated/sqrt2) (Ping timeout: 252 seconds) |
| 2021-05-17 08:47:46 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 2021-05-17 08:49:01 | → | sqrt2 joins (~ben@unaffiliated/sqrt2) |
| 2021-05-17 08:49:42 | → | ddellaco_ joins (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-17 08:50:06 | → | Schrostfutz joins (~Schrostfu@schettlerdck.tkn.tu-berlin.de) |
| 2021-05-17 08:55:28 | × | ddellaco_ quits (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-17 08:59:59 | × | aVikingTrex quits (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 245 seconds) |
| 2021-05-17 09:00:52 | → | viluon joins (uid453725@gateway/web/irccloud.com/x-zdmcjlqqmfcybklj) |
| 2021-05-17 09:02:34 | → | rootmolloch joins (~lokitrall@2a02:3038:406:61a7:a13b:9b98:12ef:11db) |
| 2021-05-17 09:03:10 | <rootmolloch> | bellman : let l = lambda in lambda = foldr (l) [+,-,*,/] |
| 2021-05-17 09:03:26 | <rootmolloch> | :-) |
| 2021-05-17 09:04:10 | <Axman6> | o.O |
| 2021-05-17 09:07:00 | → | ddellacosta joins (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-17 09:07:22 | <rootmolloch> | http://whats-the-while.de.cool |
| 2021-05-17 09:07:27 | × | nigel_c quits (~nigel_c@37.120.211.190) (Remote host closed the connection) |
| 2021-05-17 09:07:29 | × | kritzefitz quits (~kritzefit@2003:5b:203b:200::10:49) (Ping timeout: 245 seconds) |
| 2021-05-17 09:07:29 | <rootmolloch> | ?? |
| 2021-05-17 09:07:48 | → | kritzefitz joins (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-17 09:09:39 | <[exa]> | phishy. |
| 2021-05-17 09:09:49 | <Axman6> | agreed |
| 2021-05-17 09:09:55 | <Axman6> | @where ops |
| 2021-05-17 09:09:55 | <lambdabot> | byorgey Cale conal copumpkin dcoutts dibblego dolio edwardk geekosaur glguy jmcarthur johnw mniip monochrom quicksilver shachaf shapr ski |
| 2021-05-17 09:10:09 | ChanServ | sets mode +o dcoutts |
| 2021-05-17 09:11:06 | → | biglama joins (b0a5a711@gateway/web/thelounge/ip.176.165.167.17) |
| 2021-05-17 09:11:46 | × | LKoen quits (~LKoen@2a01cb0407597a00ac2f91280bdd769f.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-17 09:11:56 | × | ddellacosta quits (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-17 09:12:37 | ChanServ | sets mode -o dcoutts |
| 2021-05-17 09:14:28 | → | nineonine joins (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) |
| 2021-05-17 09:15:39 | × | biglama quits (b0a5a711@gateway/web/thelounge/ip.176.165.167.17) (Client Quit) |
| 2021-05-17 09:16:04 | → | biglama joins (~alex@static-176-165-167-17.ftth.abo.bbox.fr) |
| 2021-05-17 09:16:38 | Lycurgus | wundert wenn er Richard meint |
| 2021-05-17 09:17:21 | <dminuoso> | Axman6: Who knows, or they used a proper shadyurl tool. |
| 2021-05-17 09:17:30 | <dminuoso> | Imagine, when people asking about monad and you just give them http://www.5z8.info/blackmarket_a1r3qh_stalin |
| 2021-05-17 09:17:42 | → | DavidEichmann joins (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-17 09:17:53 | → | sz0 joins (uid110435@gateway/web/irccloud.com/x-fpfeimeqtceiorln) |
| 2021-05-17 09:18:08 | <Axman6> | I should use shadyurl more often |
| 2021-05-17 09:18:44 | × | nineonine quits (~nineonine@2604:3d08:777e:900:e4fe:87c8:c43b:fc90) (Ping timeout: 245 seconds) |
| 2021-05-17 09:18:53 | → | jespada joins (~jespada@90.254.244.151) |
| 2021-05-17 09:27:15 | → | heatsink joins (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-17 09:27:40 | <biglama> | Hi guys, is there a way to convert an ascii code stored in a Data.Text to the corresponding Data.Text, without using Char as an intermediary ? |
| 2021-05-17 09:27:58 | <biglama> | My current solution : T.pack [toEnum (read "65") :: Char] |
| 2021-05-17 09:28:24 | <dminuoso> | biglama: Any particular reason you dislike the Char as intermediary? |
| 2021-05-17 09:29:25 | → | Johann_Petrak joins (~johann@2a02:8388:2740:3d00:841b:6448:2f3e:281f) |
| 2021-05-17 09:29:28 | <biglama> | dminuoso: I wanted a shorter code :p |
| 2021-05-17 09:29:41 | <wrunt> | biglama: maybe use Data.Text.singleton to go from Char -> Text? |
| 2021-05-17 09:30:00 | <wrunt> | (still uses Char though) |
| 2021-05-17 09:30:00 | <merijn> | That's now what he's doing |
All times are in UTC.