| 2021-05-05 00:00:53 +0200 | ddellac__ | (~ddellacos@86.106.143.100) |
| 2021-05-05 00:01:38 +0200 | <dmj`> | haskell ffi is fantastic |
| 2021-05-05 00:01:47 +0200 | <dmj`> | haskell probably wouldn't be usable w/o it |
| 2021-05-05 00:01:48 +0200 | ADG1089 | (~aditya@122.163.193.183) |
| 2021-05-05 00:03:22 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-05 00:04:37 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-05-05 00:05:50 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 00:06:03 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 00:06:50 +0200 | <Arahael> | Truely underrated. |
| 2021-05-05 00:07:14 +0200 | <Arahael> | Rust ffi isn't too bad either, but I imagine that Haskell is insanely good. |
| 2021-05-05 00:07:27 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-05 00:08:23 +0200 | <dmj`> | Arahael: it is insanely good yea |
| 2021-05-05 00:10:36 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-05 00:12:05 +0200 | zmagii | (~zmagii@unaffiliated/zmagii) |
| 2021-05-05 00:13:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-05 00:14:54 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) |
| 2021-05-05 00:14:59 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 00:15:50 +0200 | <safinaskar> | Arahael: wow, thanks for mention of inline-rust, i didn't think this is possible. give me a link to inline-cc (you mean c or c++?) |
| 2021-05-05 00:16:01 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 00:17:16 +0200 | <geekosaur> | @hackage inline-c |
| 2021-05-05 00:17:16 +0200 | <lambdabot> | https://hackage.haskell.org/package/inline-c |
| 2021-05-05 00:17:23 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 00:17:27 +0200 | <Arahael> | safinaskar: inline-c works with c++ and even objc, apparently. |
| 2021-05-05 00:19:08 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-05 00:19:11 +0200 | jgt_ | (~jgt@87.227.221.129) |
| 2021-05-05 00:19:15 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Remote host closed the connection) |
| 2021-05-05 00:19:37 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) (Ping timeout: 276 seconds) |
| 2021-05-05 00:19:40 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-05 00:20:02 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-pwhdqevuibihainq) |
| 2021-05-05 00:20:35 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-05 00:21:58 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-05 00:22:20 +0200 | notzmv | (~zmv@unaffiliated/zmv) |
| 2021-05-05 00:23:28 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 00:24:20 +0200 | jgt_ | (~jgt@87.227.221.129) (Ping timeout: 240 seconds) |
| 2021-05-05 00:24:22 +0200 | Guest69224 | (~textual@zrcout.mskcc.org) (Ping timeout: 260 seconds) |
| 2021-05-05 00:24:57 +0200 | dinciorip | (~dincio@5.170.45.67) (Quit: WeeChat 3.1) |
| 2021-05-05 00:25:35 +0200 | <dmj`> | nothing beats hsc2hs |
| 2021-05-05 00:26:26 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-05 00:27:33 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 00:28:23 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 00:28:57 +0200 | safinaskar | (~user@109.252.90.136) () |
| 2021-05-05 00:29:01 +0200 | safinaskar | (~user@109.252.90.136) |
| 2021-05-05 00:29:23 +0200 | chisui | (588239b3@mue-88-130-57-179.dsl.tropolys.de) (Quit: Connection closed) |
| 2021-05-05 00:32:02 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 00:35:35 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-05 00:41:22 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 265 seconds) |
| 2021-05-05 00:45:43 +0200 | minoru_shiraeesh | (~shiraeesh@77.94.25.20) (Ping timeout: 265 seconds) |
| 2021-05-05 00:46:39 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 00:49:25 +0200 | Gurkenglas_ | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-05 00:51:01 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-05 00:51:31 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-05 00:51:39 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-05-05 00:52:06 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 240 seconds) |
| 2021-05-05 00:53:45 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-05 00:54:27 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-05 00:55:11 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Quit: Leaving) |
| 2021-05-05 00:55:12 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 00:55:19 +0200 | Gurkenglas_ | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-05-05 00:56:27 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 260 seconds) |
| 2021-05-05 00:56:46 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-05 00:58:31 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 00:58:50 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 00:59:55 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 276 seconds) |
| 2021-05-05 00:59:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-05 01:00:17 +0200 | Alleria | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) |
| 2021-05-05 01:00:30 +0200 | Alleria | Guest77881 |
| 2021-05-05 01:01:33 +0200 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-05 01:02:54 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 01:03:29 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-05 01:03:37 +0200 | natechan | (~natechan@108-233-125-227.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 01:03:42 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-05 01:04:12 +0200 | ddellac__ | (~ddellacos@86.106.143.100) (Ping timeout: 240 seconds) |
| 2021-05-05 01:05:07 +0200 | Guest77881 | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-05 01:05:42 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-eetcvtwqhyagxzpq) (Quit: Connection closed for inactivity) |
| 2021-05-05 01:05:50 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 01:06:25 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 01:08:22 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 01:09:27 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-05-05 01:09:42 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 2021-05-05 01:10:25 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-05-05 01:11:38 +0200 | tempate | (~alpha@unaffiliated/tempate) |
| 2021-05-05 01:12:11 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-05 01:13:31 +0200 | <tempate> | Hello. This is my very first time working with stack. Can anyone point me to some sort of guide to follow? I've been reading the reference manual and everything appears to be working, but it's generating a lot more stuff than I'd like. Ideally it'd just generate the minimum number of files for it to work. |
| 2021-05-05 01:14:53 +0200 | LKoen | (~LKoen@140.170.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-05 01:17:52 +0200 | Boarders | (sid425905@gateway/web/irccloud.com/x-xclcafplofufihrb) |
| 2021-05-05 01:18:23 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:7c7a:6e3f:2800:2d5e) (Ping timeout: 260 seconds) |
| 2021-05-05 01:18:26 +0200 | letmein | (~ircclient@2601:1c1:4200:938f:cd8d:4e48:d5b9:4929) |
| 2021-05-05 01:20:46 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-05 01:22:40 +0200 | <jollygood2> | tempate, this may be helpful: https://docs.haskellstack.org/en/stable/GUIDE/#hello-world-example |
| 2021-05-05 01:23:42 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 01:24:26 +0200 | <duairc> | Is there any way at all to make a type family instance like `type instance Foo a = (forall r. (X -> r) -> r) -> a`? GHC complains about an illegal polymorphic type. I don't even mind factoring the `r` into the type family itself, so like, `type instance Foo a r = ((X -> r) -> r) -> a`, but `forall r. Foo a r` doesn't have the same meaning |
| 2021-05-05 01:25:58 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-05 01:28:17 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-05 01:28:43 +0200 | <tempate> | jollygood2: Thanks, but that's the one I was following |
| 2021-05-05 01:28:52 +0200 | antoniotrkdz | (2d8b63d4@gateway/web/cgi-irc/kiwiirc.com/ip.45.139.99.212) (Ping timeout: 240 seconds) |
| 2021-05-05 01:28:53 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 250 seconds) |
| 2021-05-05 01:30:05 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-05 01:30:17 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) (Quit: Ping timeout (120 seconds)) |
| 2021-05-05 01:30:23 +0200 | poljar | (~poljar@93-139-14-190.adsl.net.t-com.hr) |
| 2021-05-05 01:30:28 +0200 | <shachaf> | duairc: Hmm, I don't know why that's not allowed. |
| 2021-05-05 01:30:32 +0200 | <shachaf> | I guess you can wrap it in a newtype. |
| 2021-05-05 01:30:38 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 01:31:24 +0200 | Inoperable | (~PLAYER_1@fancydata.science) (Quit: All your buffer are belong to us!) |
| 2021-05-05 01:32:26 +0200 | TMA | (tma@twin.jikos.cz) (Ping timeout: 245 seconds) |
| 2021-05-05 01:33:04 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 01:33:06 +0200 | poljar1 | (~poljar@93-143-154-6.adsl.net.t-com.hr) (Ping timeout: 240 seconds) |
| 2021-05-05 01:33:54 +0200 | ADG1089 | (~aditya@122.163.193.183) (Remote host closed the connection) |
| 2021-05-05 01:34:37 +0200 | TMA | (tma@twin.jikos.cz) |
| 2021-05-05 01:35:00 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-05 01:35:14 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-05 01:35:38 +0200 | Inoperable | (~PLAYER_1@fancydata.science) |
| 2021-05-05 01:37:27 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-05 01:37:33 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 250 seconds) |
| 2021-05-05 01:38:34 +0200 | rj | (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-05-05 01:38:56 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-05 01:39:06 +0200 | usr25 | (~usr25@unaffiliated/usr25) (Ping timeout: 240 seconds) |
| 2021-05-05 01:42:09 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 01:42:16 +0200 | <tempate> | This is my very first haskell project: https://github.com/Tempate/8puzzle . It'd be great if I could get some comments on it, as I'm sure I'm doing many things in a non-haskellian way. |
| 2021-05-05 01:42:27 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 01:43:06 +0200 | <tempate> | I was also wondering if there was a more standarized method of having tests instead of just having a src/Tests file and calling it from Main |
| 2021-05-05 01:43:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-05 01:44:18 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-05 01:47:11 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) |
| 2021-05-05 01:47:23 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-05 01:47:41 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 240 seconds) |
| 2021-05-05 01:48:23 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9574a5163a3f5f418180.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-05 01:49:26 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-05 01:50:19 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) |
| 2021-05-05 01:58:17 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 01:59:59 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-05 02:00:24 +0200 | <moet> | ooh, i like "haskellian" way better than "haskeller" |
| 2021-05-05 02:00:44 +0200 | <moet> | tempate: normally you define tests as their own stanza in the cabalfile, and then they'd have their own entrypoint (main file) |
| 2021-05-05 02:03:06 +0200 | <moet> | tempate: https://cabal.readthedocs.io/en/latest/cabal-package.html#test-suites |
| 2021-05-05 02:03:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-05 02:03:42 +0200 | <tempate> | moet: oh, thanks a lot. I'll give that a look |
| 2021-05-05 02:04:03 +0200 | proofofkeags | (~proofofke@205.209.28.54) (Ping timeout: 268 seconds) |
| 2021-05-05 02:04:16 +0200 | <moet> | tempate: it seems like Board, Move, and Search are meant to be exposed as library modules, since your main only runs tests.. to do that you'd use a library stanza in the cabalfile (probably also documented on the same page linked above) |
| 2021-05-05 02:04:16 +0200 | Solarion | (~solarion@fsf/member/solarion) (Remote host closed the connection) |
| 2021-05-05 02:05:04 +0200 | <moet> | tempate: a quick glance through Board, Move, and Search ... they look pretty haskellian to me! :) |
| 2021-05-05 02:05:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-05 02:06:07 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-05 02:06:10 +0200 | <tempate> | got it! |
| 2021-05-05 02:06:35 +0200 | <tempate> | I'm going to call it a day now, but tomorrow I'll give it another try and report back |
| 2021-05-05 02:07:01 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-05 02:08:40 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-05 02:08:54 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-05 02:11:05 +0200 | carlomagno | (~cararell@148.87.23.13) (Quit: Leaving.) |
| 2021-05-05 02:11:39 +0200 | tempate | (~alpha@unaffiliated/tempate) (Quit: Leaving.) |
| 2021-05-05 02:12:47 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 02:13:53 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 02:16:16 +0200 | jollygood2 | (~bc8134e3@217.29.117.252) (Quit: quit) |
| 2021-05-05 02:16:28 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-05 02:17:28 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-05 02:17:28 +0200 | moet | (~moet@172.58.35.68) (Ping timeout: 252 seconds) |
| 2021-05-05 02:18:46 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-05 02:19:12 +0200 | apache8080 | (~rishi@wsip-70-168-153-252.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-05 02:19:55 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Ping timeout (120 seconds)) |
| 2021-05-05 02:22:25 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 252 seconds) |
| 2021-05-05 02:22:30 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-05 02:26:10 +0200 | bennofs__ | (~quassel@dynamic-089-014-149-119.89.14.pool.telefonica.de) |
| 2021-05-05 02:26:11 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 02:27:06 +0200 | Tops2 | (~Tobias@dyndsl-095-033-019-164.ewe-ip-backbone.de) |
| 2021-05-05 02:28:10 +0200 | Solarion | (~solarion@fsf/member/solarion) |
| 2021-05-05 02:29:53 +0200 | bennofs_ | (~quassel@dynamic-077-013-190-096.77.13.pool.telefonica.de) (Ping timeout: 246 seconds) |
| 2021-05-05 02:30:56 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-hrzpydgljnsqxyfi) (Quit: Connection closed for inactivity) |
| 2021-05-05 02:31:49 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-05 02:33:28 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 02:33:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-05 02:33:47 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 02:35:03 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 252 seconds) |
| 2021-05-05 02:36:26 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-05 02:37:42 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2021-05-05 02:38:06 +0200 | Guest13599 | (~zmv@unaffiliated/zmv) |
| 2021-05-05 02:38:31 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-05 02:40:56 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-05 02:40:59 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-05 02:43:53 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Quit: Leaving) |
| 2021-05-05 02:44:17 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 02:44:58 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2021-05-05 02:45:37 +0200 | Codaraxis | (~Codaraxis@92.223.89.201) |
| 2021-05-05 02:46:04 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-05 02:50:44 +0200 | <monochrom> | https://github.com/treblacy/ccal :) |
| 2021-05-05 02:50:46 +0200 | alx741 | (~alx741@186.178.109.58) (Ping timeout: 260 seconds) |
| 2021-05-05 02:50:49 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-05 02:52:11 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-05-05 02:52:53 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-05 02:53:26 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 02:53:41 +0200 | lovesegfault | (~bemeurer@37.219.94.34.bc.googleusercontent.com) (Ping timeout: 245 seconds) |
| 2021-05-05 02:53:42 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 02:55:58 +0200 | lovesegfault | (~bemeurer@37.219.94.34.bc.googleusercontent.com) |
| 2021-05-05 02:57:26 +0200 | desophos | (~desophos@2601:249:1680:a570:5de7:46d0:692:fe26) |
| 2021-05-05 02:57:27 +0200 | desophos_ | (~desophos@2601:249:1680:a570:5de7:46d0:692:fe26) |
| 2021-05-05 02:57:53 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-05 02:59:42 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 03:04:16 +0200 | Tops2 | (~Tobias@dyndsl-095-033-019-164.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2021-05-05 03:04:49 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-05 03:05:33 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-05 03:07:45 +0200 | jgt_ | (~jgt@87.227.221.129) |
| 2021-05-05 03:08:41 +0200 | drbean_ | (~drbean@TC210-63-209-35.static.apol.com.tw) |
| 2021-05-05 03:12:21 +0200 | jgt_ | (~jgt@87.227.221.129) (Ping timeout: 260 seconds) |
| 2021-05-05 03:12:40 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-05 03:13:32 +0200 | moet | (~moet@172.58.35.68) |
| 2021-05-05 03:13:46 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-05 03:14:12 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-05 03:15:35 +0200 | conal | (~conal@ip-66-115-176-165.creativelink.net) (Ping timeout: 268 seconds) |
| 2021-05-05 03:17:47 +0200 | conal | (~conal@ip-66-115-176-165.creativelink.net) |
| 2021-05-05 03:21:40 +0200 | simony | (sid226116@gateway/web/irccloud.com/x-tedxcwlifdwpqlcf) (Quit: Connection closed for inactivity) |
| 2021-05-05 03:23:48 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 03:24:34 +0200 | Guest13599 | (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 2021-05-05 03:26:54 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds) |
| 2021-05-05 03:27:18 +0200 | safinaskar | (~user@109.252.90.136) () |
| 2021-05-05 03:28:45 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-05 03:33:26 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-05 03:33:44 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) (Quit: Leaving) |
| 2021-05-05 03:33:53 +0200 | alx741 | (~alx741@186.178.109.58) |
| 2021-05-05 03:34:10 +0200 | ddellacosta | (~ddellacos@86.106.143.44) |
| 2021-05-05 03:35:35 +0200 | xff0x | (~xff0x@2001:1a81:5215:6f00:4234:47e9:f91b:7534) (Ping timeout: 260 seconds) |
| 2021-05-05 03:36:11 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-akmjekqkfrijwwyl) |
| 2021-05-05 03:37:33 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:473c:7269:fd8b:abf4) |
| 2021-05-05 03:37:38 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 03:38:32 +0200 | ddellacosta | (~ddellacos@86.106.143.44) (Ping timeout: 240 seconds) |
| 2021-05-05 03:38:36 +0200 | moet | (~moet@172.58.35.68) (Ping timeout: 260 seconds) |
| 2021-05-05 03:39:48 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-pwhdqevuibihainq) (Quit: Connection closed for inactivity) |
| 2021-05-05 03:40:43 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-05 03:43:36 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) (Remote host closed the connection) |
| 2021-05-05 03:47:14 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) |
| 2021-05-05 03:47:21 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 260 seconds) |
| 2021-05-05 03:47:41 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-05 03:49:15 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-05 03:49:41 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-05 03:50:12 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-05 03:51:53 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) (Ping timeout: 250 seconds) |
| 2021-05-05 03:54:42 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-05 03:55:01 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 2021-05-05 03:56:22 +0200 | fivebox | (x@unaffiliated/fivebox) (Remote host closed the connection) |
| 2021-05-05 03:57:06 +0200 | petersen | (~petersen@redhat/juhp) (Quit: petersen) |
| 2021-05-05 03:59:09 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 04:00:00 +0200 | Alleria | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) |
| 2021-05-05 04:00:24 +0200 | Alleria | Guest38348 |
| 2021-05-05 04:01:36 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-05 04:04:02 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-05-05 04:04:27 +0200 | Guest38348 | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-05 04:05:07 +0200 | nineonin_ | (~nineonine@50.216.62.2) |
| 2021-05-05 04:05:19 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 250 seconds) |
| 2021-05-05 04:07:46 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 276 seconds) |
| 2021-05-05 04:09:42 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 04:10:10 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-zadqqerhzuegxzed) (Quit: Connection closed for inactivity) |
| 2021-05-05 04:10:38 +0200 | ddellac__ | (~ddellacos@86.106.143.44) |
| 2021-05-05 04:10:44 +0200 | ddellac__ | (~ddellacos@86.106.143.44) (Remote host closed the connection) |
| 2021-05-05 04:10:54 +0200 | ddellac__ | (~ddellacos@86.106.143.44) |
| 2021-05-05 04:11:00 +0200 | ddellac__ | (~ddellacos@86.106.143.44) (Remote host closed the connection) |
| 2021-05-05 04:14:55 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) |
| 2021-05-05 04:17:27 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 250 seconds) |
| 2021-05-05 04:24:04 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-05 04:24:06 +0200 | theDon | (~td@94.134.91.246) (Ping timeout: 240 seconds) |
| 2021-05-05 04:26:23 +0200 | theDon | (~td@muedsl-82-207-238-245.citykom.de) |
| 2021-05-05 04:27:22 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 04:30:49 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-05 04:31:11 +0200 | drbean_ | (~drbean@TC210-63-209-35.static.apol.com.tw) (Read error: Connection reset by peer) |
| 2021-05-05 04:31:27 +0200 | drbean_ | (~drbean@TC210-63-209-155.static.apol.com.tw) |
| 2021-05-05 04:32:11 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-05 04:32:11 +0200 | finn_elija | Guest48429 |
| 2021-05-05 04:32:11 +0200 | FinnElija | finn_elija |
| 2021-05-05 04:33:28 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-05 04:35:09 +0200 | Guest48429 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-05 04:35:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 246 seconds) |
| 2021-05-05 04:43:31 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-05-05 04:44:01 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-voenynfwrsjtqnhf) |
| 2021-05-05 04:44:41 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 240 seconds) |
| 2021-05-05 04:52:12 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-05 04:59:27 +0200 | toblorone | (4c674b05@gateway/web/cgi-irc/kiwiirc.com/ip.76.103.75.5) |
| 2021-05-05 05:02:22 +0200 | toblorone | (4c674b05@gateway/web/cgi-irc/kiwiirc.com/ip.76.103.75.5) (Client Quit) |
| 2021-05-05 05:03:46 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 260 seconds) |
| 2021-05-05 05:05:03 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) (Remote host closed the connection) |
| 2021-05-05 05:05:21 +0200 | gabiruh | (~gabiruh@vps19177.publiccloud.com.br) |
| 2021-05-05 05:05:38 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 05:07:13 +0200 | thunderrd | (~thunderrd@183.182.114.223) (Remote host closed the connection) |
| 2021-05-05 05:11:03 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) |
| 2021-05-05 05:13:18 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-05 05:15:31 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) (Ping timeout: 250 seconds) |
| 2021-05-05 05:15:44 +0200 | proteusguy | (~proteusgu@cm-58-10-209-239.revip7.asianet.co.th) (Remote host closed the connection) |
| 2021-05-05 05:18:59 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-tchfsqhddnixslwt) (Quit: Connection closed for inactivity) |
| 2021-05-05 05:24:35 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 05:28:52 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 05:30:14 +0200 | moet | (~moet@172.58.38.201) |
| 2021-05-05 05:33:44 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 05:34:13 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds) |
| 2021-05-05 05:34:49 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) |
| 2021-05-05 05:38:46 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-05 05:39:35 +0200 | drbean_ | (~drbean@TC210-63-209-155.static.apol.com.tw) (Ping timeout: 265 seconds) |
| 2021-05-05 05:40:19 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 05:40:25 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Ping timeout: 252 seconds) |
| 2021-05-05 05:40:55 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 05:42:01 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 05:44:50 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-05-05 05:45:12 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-05 05:45:22 +0200 | cortexauth | (~cortexaut@2409:4053:2293:13bc:6395:3f53:7ba0:c7e8) |
| 2021-05-05 05:46:06 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-05 05:47:06 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-05 05:49:04 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-05 05:49:43 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) |
| 2021-05-05 05:53:57 +0200 | TheScoop | (~TheScoop@unaffiliated/tryte) (Quit: _) |
| 2021-05-05 05:55:33 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-05 05:55:55 +0200 | marek | (~mmahut@209.250.249.245) (Ping timeout: 268 seconds) |
| 2021-05-05 05:56:35 +0200 | twk- | (~thewormki@unaffiliated/twk-) (Ping timeout: 248 seconds) |
| 2021-05-05 05:56:41 +0200 | TheScoop | (~TheScoop@unaffiliated/tryte) |
| 2021-05-05 05:57:07 +0200 | Uma_ | (~uma@umazalakain.info) |
| 2021-05-05 05:57:14 +0200 | Uma | (~uma@umazalakain.info) (Read error: Connection reset by peer) |
| 2021-05-05 05:57:25 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 05:57:46 +0200 | caubert | (~caubert@136.244.111.235) (Ping timeout: 268 seconds) |
| 2021-05-05 05:57:50 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-05 06:00:01 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 06:00:05 +0200 | caubert | (~caubert@136.244.111.235) |
| 2021-05-05 06:01:17 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 06:01:49 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 06:05:10 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-05-05 06:06:31 +0200 | marek | (~mmahut@209.250.249.245) |
| 2021-05-05 06:06:37 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-05 06:06:57 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) |
| 2021-05-05 06:10:18 +0200 | cortexauth | (~cortexaut@2409:4053:2293:13bc:6395:3f53:7ba0:c7e8) (Quit: Quit) |
| 2021-05-05 06:12:04 +0200 | nineonin_ | (~nineonine@50.216.62.2) (Remote host closed the connection) |
| 2021-05-05 06:12:31 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 06:12:56 +0200 | moet | (~moet@172.58.38.201) (Quit: leaving) |
| 2021-05-05 06:13:45 +0200 | conal | (~conal@ip-66-115-176-165.creativelink.net) (Quit: Computer has gone to sleep.) |
| 2021-05-05 06:14:36 +0200 | desophos | (~desophos@2601:249:1680:a570:5de7:46d0:692:fe26) (Quit: Leaving) |
| 2021-05-05 06:14:37 +0200 | desophos_ | (~desophos@2601:249:1680:a570:5de7:46d0:692:fe26) (Quit: Leaving) |
| 2021-05-05 06:18:36 +0200 | nineonine | (~nineonine@50.216.62.2) |
| 2021-05-05 06:21:12 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-05 06:22:44 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-05 06:23:18 +0200 | twk- | (~thewormki@unaffiliated/twk-) |
| 2021-05-05 06:23:53 +0200 | thunderrd | (~thunderrd@183.182.114.223) |
| 2021-05-05 06:29:04 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-05 06:32:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-05 06:33:45 +0200 | Sososasa | (~textual@2600:1700:17f2:2b0:ecce:efcb:83a6:d287) |
| 2021-05-05 06:36:38 +0200 | Sososasa | (~textual@2600:1700:17f2:2b0:ecce:efcb:83a6:d287) (Client Quit) |
| 2021-05-05 06:36:45 +0200 | ddellacosta | (~ddellacos@83.143.246.101) |
| 2021-05-05 06:41:28 +0200 | ddellacosta | (~ddellacos@83.143.246.101) (Ping timeout: 252 seconds) |
| 2021-05-05 06:43:40 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-05 06:45:44 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2021-05-05 06:50:12 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-05 06:53:39 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-voenynfwrsjtqnhf) (Quit: Connection closed for inactivity) |
| 2021-05-05 06:54:28 +0200 | VarikValefor[m] | (varikvalef@gateway/shell/matrix.org/x-tfacxcxzjhwwblul) |
| 2021-05-05 07:00:07 +0200 | Alleria | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) |
| 2021-05-05 07:00:30 +0200 | Alleria | Guest38372 |
| 2021-05-05 07:00:55 +0200 | danso | (~dan@modemcable156.91-20-96.mc.videotron.ca) (Quit: WeeChat 3.0) |
| 2021-05-05 07:04:39 +0200 | Guest38372 | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-05 07:06:12 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-05 07:09:37 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2021-05-05 07:11:23 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-05 07:11:41 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 07:12:41 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-05 07:12:54 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) |
| 2021-05-05 07:13:12 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-05 07:13:43 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-05 07:15:01 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-05 07:16:12 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 07:16:22 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-05 07:17:17 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:c487:22d4:1b86:5f1) (Ping timeout: 250 seconds) |
| 2021-05-05 07:20:58 +0200 | bennofs__ | (~quassel@dynamic-089-014-149-119.89.14.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-05 07:21:05 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-05 07:21:10 +0200 | bennofs_ | (~quassel@dynamic-089-014-149-119.89.14.pool.telefonica.de) |
| 2021-05-05 07:22:12 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-05 07:26:14 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 07:32:53 +0200 | coeus | (~coeus@p200300d02706db00f213b37d0883c9d6.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-05 07:35:27 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-rhabdusdgycjevhi) (Quit: Connection closed for inactivity) |
| 2021-05-05 07:37:39 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:473c:7269:fd8b:abf4) (Ping timeout: 250 seconds) |
| 2021-05-05 07:37:55 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2021-05-05 07:38:49 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 07:39:45 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-05-05 07:42:16 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 07:43:37 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2021-05-05 07:43:37 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 260 seconds) |
| 2021-05-05 07:45:16 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 252 seconds) |
| 2021-05-05 07:46:58 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:473c:7269:fd8b:abf4) |
| 2021-05-05 07:48:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 07:49:18 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-05 07:49:40 +0200 | coeus | (~coeus@p200300d027104f00a97967e1339e6120.dip0.t-ipconnect.de) |
| 2021-05-05 07:51:34 +0200 | hypercube | (~hypercube@75.186.121.128) (Quit: WeeChat 3.1) |
| 2021-05-05 07:52:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 07:53:56 +0200 | malumore | (~malumore@151.62.122.2) |
| 2021-05-05 07:54:11 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 07:54:55 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Remote host closed the connection) |
| 2021-05-05 07:55:21 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 07:55:23 +0200 | todda7 | (~torstein@anas10.static.otenet.gr) |
| 2021-05-05 07:57:36 +0200 | mozzarella | (~sam@unaffiliated/sam113101) (Remote host closed the connection) |
| 2021-05-05 07:59:10 +0200 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-05-05 07:59:36 +0200 | mozzarella | (~sam@unaffiliated/sam113101) (Remote host closed the connection) |
| 2021-05-05 08:00:55 +0200 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-05-05 08:00:56 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 08:01:29 +0200 | mozzarella | (~sam@unaffiliated/sam113101) (Remote host closed the connection) |
| 2021-05-05 08:03:19 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-05 08:03:26 +0200 | mozzarella | (~sam@unaffiliated/sam113101) |
| 2021-05-05 08:03:34 +0200 | tzh_ | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2021-05-05 08:05:46 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-05 08:06:50 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 08:07:46 +0200 | todda7 | (~torstein@anas10.static.otenet.gr) (Ping timeout: 240 seconds) |
| 2021-05-05 08:11:58 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:9fc4:8832:acfc:57c0) |
| 2021-05-05 08:13:06 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-05 08:13:25 +0200 | malumore | (~malumore@151.62.122.2) (Remote host closed the connection) |
| 2021-05-05 08:13:36 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) |
| 2021-05-05 08:17:17 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-05 08:21:14 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:473c:7269:fd8b:abf4) (Ping timeout: 245 seconds) |
| 2021-05-05 08:21:18 +0200 | malumore | (~malumore@151.62.122.2) |
| 2021-05-05 08:22:10 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:8059:c594:bba6:74e) |
| 2021-05-05 08:22:34 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds) |
| 2021-05-05 08:24:26 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Read error: Connection reset by peer) |
| 2021-05-05 08:26:39 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 08:28:47 +0200 | knupfer | (~Thunderbi@200116b82ba4e400a4316c44a93f97e3.dip.versatel-1u1.de) |
| 2021-05-05 08:31:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 08:33:07 +0200 | knupfer | (~Thunderbi@200116b82ba4e400a4316c44a93f97e3.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-05 08:33:41 +0200 | kuribas | (~user@ptr-25vy0i8zs4ypuosdav0.18120a2.ip6.access.telenet.be) |
| 2021-05-05 08:36:26 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-05-05 08:37:28 +0200 | FunguyTheMushroo | (50238d74@116.red-80-35-141.staticip.rima-tde.net) |
| 2021-05-05 08:37:33 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-05 08:38:06 +0200 | FunguyTheMushroo | (50238d74@116.red-80-35-141.staticip.rima-tde.net) () |
| 2021-05-05 08:39:53 +0200 | pfurla_ | (~pfurla@247.15.195.173.client.static.strong-in52.as13926.net) |
| 2021-05-05 08:42:48 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-05 08:46:50 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-05 08:49:36 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 2021-05-05 08:49:59 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-05 08:53:37 +0200 | Gurkenglas_ | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-05 08:54:05 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-05 08:55:30 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-203-255-063.002.203.pools.vodafone-ip.de) |
| 2021-05-05 08:56:45 +0200 | shaanjeet15 | (~kunwar@20.51.250.64) |
| 2021-05-05 08:57:55 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-05 08:58:18 +0200 | shaanjeet1 | (~kunwar@20.51.250.64) (Ping timeout: 240 seconds) |
| 2021-05-05 09:02:49 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-05-05 09:02:51 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-05 09:03:18 +0200 | alexander | Guest24182 |
| 2021-05-05 09:06:28 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 09:09:43 +0200 | lawt | (~lawt@2601:200:8101:f140:dea6:32ff:fea1:adfa) (Ping timeout: 260 seconds) |
| 2021-05-05 09:10:14 +0200 | lawt | (~lawt@2601:200:8101:f140:dea6:32ff:fea1:adfa) |
| 2021-05-05 09:11:09 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-05 09:14:46 +0200 | nineonine | (~nineonine@50.216.62.2) (Ping timeout: 240 seconds) |
| 2021-05-05 09:19:18 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-gaopgaecslifeogu) (Quit: Connection closed for inactivity) |
| 2021-05-05 09:22:09 +0200 | Lycurgus | (~niemand@98.4.118.65) |
| 2021-05-05 09:22:41 +0200 | <wrunt> | I'm finding these utilities useful: https://paste.tomsmeding.com/7Yee1X6v |
| 2021-05-05 09:23:14 +0200 | <wrunt> | Do they already exist somewhere? Am I somehow abusing runWithReplace? It seems odd... |
| 2021-05-05 09:27:00 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-05 09:32:43 +0200 | z0k | (~user@115.186.169.61) |
| 2021-05-05 09:34:05 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-05 09:34:50 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-05 09:38:25 +0200 | fendor | (~fendor@178.165.128.231.wireless.dyn.drei.com) |
| 2021-05-05 09:39:33 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 09:40:54 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 09:44:42 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-05 09:47:10 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-05 09:47:43 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 09:56:32 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) |
| 2021-05-05 09:56:51 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 260 seconds) |
| 2021-05-05 10:00:06 +0200 | Alleria | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) |
| 2021-05-05 10:00:29 +0200 | Alleria | Guest65100 |
| 2021-05-05 10:01:17 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-05 10:01:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection reset by peer) |
| 2021-05-05 10:02:04 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 10:02:24 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 10:03:02 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-05 10:03:26 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 10:04:33 +0200 | Guest65100 | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-05 10:05:59 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) |
| 2021-05-05 10:06:10 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-05 10:06:32 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 2021-05-05 10:08:47 +0200 | michalz | (~user@185.246.204.110) |
| 2021-05-05 10:09:57 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-05 10:10:42 +0200 | zpao | (~zpao@185.163.110.100) (Remote host closed the connection) |
| 2021-05-05 10:12:18 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-05 10:15:48 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-05 10:15:54 +0200 | xsperry | (~as@unaffiliated/xsperry) () |
| 2021-05-05 10:16:19 +0200 | vicfred | (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 2021-05-05 10:16:24 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 10:17:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-05 10:19:36 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-05 10:20:06 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Client Quit) |
| 2021-05-05 10:20:55 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-05 10:21:51 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-05 10:22:21 +0200 | xsperry | (~as@unaffiliated/xsperry) |
| 2021-05-05 10:23:25 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Quit: Leaving) |
| 2021-05-05 10:24:18 +0200 | CMCDragonkai2 | (~Thunderbi@60-242-118-130.tpgi.com.au) |
| 2021-05-05 10:24:36 +0200 | Lycurgus | (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-05-05 10:25:52 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 252 seconds) |
| 2021-05-05 10:26:21 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-05 10:26:37 +0200 | cprofitt | (~cprofitt@139.28.218.148) |
| 2021-05-05 10:27:15 +0200 | CMCDragonkai2 | (~Thunderbi@60-242-118-130.tpgi.com.au) (Remote host closed the connection) |
| 2021-05-05 10:27:45 +0200 | <dminuoso> | wrunt: What is runWithReplace or Adjustable? The latter does not seem to be the one from `keys` |
| 2021-05-05 10:30:18 +0200 | dminuoso | (~dminuoso@static.88-198-218-68.clients.your-server.de) (Changing host) |
| 2021-05-05 10:30:18 +0200 | dminuoso | (~dminuoso@unaffiliated/dminuoso) |
| 2021-05-05 10:35:00 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) (Read error: Connection reset by peer) |
| 2021-05-05 10:35:10 +0200 | <wrunt> | dminuoso: https://hackage.haskell.org/package/reflex-0.8.1.0/docs/Reflex-Adjustable-Class.html |
| 2021-05-05 10:35:33 +0200 | malumore | (~malumore@151.62.122.2) (Remote host closed the connection) |
| 2021-05-05 10:35:43 +0200 | ania123 | (5e89ad7c@94.137.173.124) |
| 2021-05-05 10:36:12 +0200 | <Cale> | wrunt: Those are definitely strange... |
| 2021-05-05 10:36:50 +0200 | malumore | (~malumore@151.62.122.2) |
| 2021-05-05 10:37:07 +0200 | <Cale> | You could at least use (pure never) in sequenceEvent |
| 2021-05-05 10:38:09 +0200 | <wrunt> | Oh... I was using (pure ()), but decided it didn't really matter what was there as it didn't seem to be used. |
| 2021-05-05 10:38:29 +0200 | <Cale> | oh, right, forgot the details of runWithReplace's type |
| 2021-05-05 10:38:48 +0200 | <Cale> | since you're taking snd in the end anyway, that bit will never be used |
| 2021-05-05 10:40:22 +0200 | <Cale> | sequenceEvent is a lot like dyn, though without the holdDyn |
| 2021-05-05 10:41:35 +0200 | <wrunt> | I couldn't use dyn as I have code on the backend that isn't using reflex-dom. |
| 2021-05-05 10:41:55 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-05-05 10:41:59 +0200 | jgt_ | (~jgt@87.227.221.129) |
| 2021-05-05 10:41:59 +0200 | <Cale> | Oh, you're using reflex in backend code? |
| 2021-05-05 10:42:28 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) |
| 2021-05-05 10:43:00 +0200 | <Cale> | I guess there's the terribly-named stuff in Reflex.Network (we really ought to put that module through a deprecation cycle to change the names, since the functions there have nothing to do with networks) |
| 2021-05-05 10:43:07 +0200 | <wrunt> | Yeah, I have a websocket from frontend to backend using RequesterT, and I wanted to use it in reverse as well, with the backend making requests to the frontend, so I used RequesterT on the backend as well (with GADT APIs). |
| 2021-05-05 10:43:20 +0200 | <Cale> | networkHold = widgetHold, networkView = dyn |
| 2021-05-05 10:43:44 +0200 | nicholasbulka | (~nicholasb@c-73-21-82-200.hsd1.ga.comcast.net) (Read error: Connection reset by peer) |
| 2021-05-05 10:43:45 +0200 | nicholas_ | (~nicholasb@2601:900:4301:da0:54f8:9d79:2393:45b9) |
| 2021-05-05 10:44:08 +0200 | <wrunt> | I came to sequenceEvent via the implementation of dyn, from memory, because it was just `dyn = networkView` |
| 2021-05-05 10:44:21 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 2021-05-05 10:44:27 +0200 | <Cale> | Interesting -- you might run into the limitation that Spider doesn't really work concurrently at some point, but if you can keep the reflex-y code on one thread, it should be okay. |
| 2021-05-05 10:45:04 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-05-05 10:45:05 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Read error: Connection reset by peer) |
| 2021-05-05 10:45:20 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-05-05 10:45:39 +0200 | <wrunt> | Er, well I have one thread (or maybe two?) per client... :/ |
| 2021-05-05 10:47:49 +0200 | <wrunt> | I am seeing this error periodically: 'Error : Unexpected Duplicate, syncCallbacks=True nBatch=217 nExpected=221', from jsaddle, which does feel like a concurrency issue. |
| 2021-05-05 10:48:08 +0200 | <Cale> | Are you using Events/Dynamics and such from multiple threads? |
| 2021-05-05 10:48:19 +0200 | nicholas_ | (~nicholasb@2601:900:4301:da0:54f8:9d79:2393:45b9) (Ping timeout: 250 seconds) |
| 2021-05-05 10:49:07 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 10:49:18 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-05 10:49:56 +0200 | <wrunt> | I'm only using reflex in one thread, but another thread is triggering events in the network, and receiving output from reflex. |
| 2021-05-05 10:50:11 +0200 | <Cale> | Yeah, that sounds like it could be fine |
| 2021-05-05 10:50:40 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) |
| 2021-05-05 10:50:49 +0200 | <Cale> | It's usually okay to do stuff like forking a thread from inside a performEventAsync even |
| 2021-05-05 10:53:07 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-05 10:53:31 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) |
| 2021-05-05 10:53:32 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 246 seconds) |
| 2021-05-05 10:54:55 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-05 10:55:27 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 10:57:54 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Ping timeout: 245 seconds) |
| 2021-05-05 11:03:26 +0200 | malumore | (~malumore@151.62.122.2) (Ping timeout: 240 seconds) |
| 2021-05-05 11:05:42 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9574a5163a3f5f418180.dip0.t-ipconnect.de) |
| 2021-05-05 11:05:43 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-05 11:06:32 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 11:09:13 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-05 11:11:36 +0200 | minoru_shiraeesh | (~shiraeesh@77.94.25.20) |
| 2021-05-05 11:12:50 +0200 | tempate_ | (~alpha@90.167.203.82) |
| 2021-05-05 11:17:48 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) |
| 2021-05-05 11:20:04 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-05 11:20:41 +0200 | minoru_shiraeesh | (~shiraeesh@77.94.25.20) (Ping timeout: 240 seconds) |
| 2021-05-05 11:22:47 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 11:26:25 +0200 | minoru_shiraeesh | (~shiraeesh@77.94.25.20) |
| 2021-05-05 11:27:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-05 11:28:31 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-05 11:29:02 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 2021-05-05 11:30:13 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-05 11:31:56 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-05-05 11:32:00 +0200 | knupfer | (~Thunderbi@dynamic-046-114-150-034.46.114.pool.telefonica.de) |
| 2021-05-05 11:35:41 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 11:38:35 +0200 | ericsagnes | (~ericsagne@2405:6580:0:5100:1f8e:c408:8077:5927) (Ping timeout: 250 seconds) |
| 2021-05-05 11:41:42 +0200 | ania123 | (5e89ad7c@94.137.173.124) (Quit: Connection closed) |
| 2021-05-05 11:42:51 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 11:42:59 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 11:43:53 +0200 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-05 11:44:21 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) |
| 2021-05-05 11:46:17 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) |
| 2021-05-05 11:46:23 +0200 | ClaudiusMaximus | (~claude@cpc98210-croy26-2-0-cust137.19-2.cable.virginm.net) (Changing host) |
| 2021-05-05 11:46:23 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) |
| 2021-05-05 11:47:02 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 2021-05-05 11:48:51 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-05 11:49:04 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-05-05 11:49:06 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) (Remote host closed the connection) |
| 2021-05-05 11:49:22 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) |
| 2021-05-05 11:53:20 +0200 | adziahel[m] | (adziahelma@gateway/shell/matrix.org/x-wfunetkhbecnexqt) |
| 2021-05-05 11:53:26 +0200 | ericsagnes | (~ericsagne@i220-108-228-29.s42.a013.ap.plala.or.jp) |
| 2021-05-05 11:55:51 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-05 12:00:09 +0200 | ddellacosta | (~ddellacos@86.106.143.122) |
| 2021-05-05 12:00:14 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-05 12:00:50 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-05-05 12:02:46 +0200 | pfurla_ | (~pfurla@247.15.195.173.client.static.strong-in52.as13926.net) (Ping timeout: 240 seconds) |
| 2021-05-05 12:02:46 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-05 12:04:26 +0200 | ddellacosta | (~ddellacos@86.106.143.122) (Ping timeout: 240 seconds) |
| 2021-05-05 12:04:38 +0200 | tempate_ | tempate |
| 2021-05-05 12:04:53 +0200 | tempate | (~alpha@90.167.203.82) (Changing host) |
| 2021-05-05 12:04:53 +0200 | tempate | (~alpha@unaffiliated/tempate) |
| 2021-05-05 12:05:46 +0200 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-05-05 12:07:06 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 12:08:38 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-05-05 12:09:06 +0200 | Codaraxis | (~Codaraxis@92.223.89.201) (Ping timeout: 240 seconds) |
| 2021-05-05 12:09:07 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 12:09:56 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-05-05 12:12:03 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-05 12:14:14 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-05 12:15:55 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:9fc4:8832:acfc:57c0) (Ping timeout: 260 seconds) |
| 2021-05-05 12:20:19 +0200 | LKoen | (~LKoen@140.170.9.109.rev.sfr.net) |
| 2021-05-05 12:21:40 +0200 | malumore | (~malumore@151.62.122.2) |
| 2021-05-05 12:24:15 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) |
| 2021-05-05 12:25:17 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-05-05 12:27:05 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-05 12:27:30 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-05 12:27:58 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:cda4:a4c9:79f:65d3) |
| 2021-05-05 12:28:10 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 12:30:45 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 2021-05-05 12:31:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 12:33:15 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-05 12:33:17 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 246 seconds) |
| 2021-05-05 12:33:37 +0200 | <siers> | Hi! Is it the case that the 'Nat's in agda are fully representable in haskell, just not as useful? |
| 2021-05-05 12:36:42 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-05 12:36:56 +0200 | <dminuoso> | Yes. |
| 2021-05-05 12:37:04 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) |
| 2021-05-05 12:37:11 +0200 | <dminuoso> | You can simply write `data Nat = Z | S Nat` and use that. |
| 2021-05-05 12:37:26 +0200 | <dminuoso> | But you have to handroll all functions to work with that, and have terrible efficiency as well. |
| 2021-05-05 12:41:00 +0200 | kderme | (2e675c7c@46-92-124.adsl.cyta.gr) |
| 2021-05-05 12:42:26 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-05 12:46:40 +0200 | Gurkenglas_ | (~Gurkengla@unaffiliated/gurkenglas) (Ping timeout: 252 seconds) |
| 2021-05-05 12:48:18 +0200 | minoru_shiraeesh | (~shiraeesh@77.94.25.20) (Ping timeout: 265 seconds) |
| 2021-05-05 12:48:28 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 268 seconds) |
| 2021-05-05 12:49:13 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) (Read error: Connection reset by peer) |
| 2021-05-05 12:49:27 +0200 | DTZUZU | (~DTZUZO@205.ip-149-56-132.net) |
| 2021-05-05 12:49:33 +0200 | rayyyy | (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 240 seconds) |
| 2021-05-05 12:54:01 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-05 12:58:40 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-05 12:59:06 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-05 13:00:04 +0200 | Alleria | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) |
| 2021-05-05 13:00:27 +0200 | Alleria | Guest41562 |
| 2021-05-05 13:01:46 +0200 | minoru_shiraeesh | (~shiraeesh@77.94.25.20) |
| 2021-05-05 13:02:31 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-05-05 13:02:53 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-05 13:03:47 +0200 | timCF | (~i.tkachuk@ec2-35-158-4-35.eu-central-1.compute.amazonaws.com) |
| 2021-05-05 13:04:10 +0200 | ddellacosta | (~ddellacos@86.106.143.200) |
| 2021-05-05 13:04:14 +0200 | <timCF> | Hello! Can anybody help me to find this function? `(a -> Either b c) -> [a] -> Either b [c]` It feels like it should be something very standard |
| 2021-05-05 13:04:33 +0200 | <Uniaika> | timCF: does hoogle give you a result? |
| 2021-05-05 13:04:34 +0200 | Guest41562 | (~textual@2603-7000-3040-0000-84d6-e1ad-c4e3-d276.res6.spectrum.com) (Ping timeout: 245 seconds) |
| 2021-05-05 13:04:40 +0200 | <timCF> | Uniaika: no |
| 2021-05-05 13:05:16 +0200 | <timCF> | Uniaika: it might be something more generic like `(a -> f b c) -> t a -> f b (t c)` but it gives no result as well |
| 2021-05-05 13:05:33 +0200 | <Taneb> | :t traverse @[] @(Either a) |
| 2021-05-05 13:05:35 +0200 | <lambdabot> | error: |
| 2021-05-05 13:05:35 +0200 | <lambdabot> | Pattern syntax in expression context: traverse@[] |
| 2021-05-05 13:05:35 +0200 | <lambdabot> | Did you mean to enable TypeApplications? |
| 2021-05-05 13:05:46 +0200 | <Uniaika> | % :t traverse @[] @(Either a) |
| 2021-05-05 13:05:46 +0200 | <yahb> | Uniaika: ; <interactive>:1:23: error: Not in scope: type variable `a' |
| 2021-05-05 13:05:50 +0200 | <Uniaika> | damnation |
| 2021-05-05 13:05:53 +0200 | <Uniaika> | % :t traverse @[] @(Either Int) |
| 2021-05-05 13:05:53 +0200 | <yahb> | Uniaika: (a -> Either Int b) -> [a] -> Either Int [b] |
| 2021-05-05 13:05:59 +0200 | <Uniaika> | ah, we're getting somewhere |
| 2021-05-05 13:06:01 +0200 | v01d4lph4 | (~v01d4lph4@122.160.65.250) () |
| 2021-05-05 13:06:14 +0200 | <Taneb> | As is often the case, it's trverse |
| 2021-05-05 13:06:22 +0200 | <Uniaika> | Taneb: praise be 🙇 |
| 2021-05-05 13:06:50 +0200 | <Taneb> | Note that this'll take the left-most Left |
| 2021-05-05 13:07:07 +0200 | <Taneb> | If you want to combine them, you could use traverse with Validation from one of the handful of libraries that provide that |
| 2021-05-05 13:08:32 +0200 | ddellacosta | (~ddellacos@86.106.143.200) (Ping timeout: 240 seconds) |
| 2021-05-05 13:08:56 +0200 | <Uniaika> | timCF: yep, if you want to validate data, validation-selective is certainly your best bet |
| 2021-05-05 13:09:38 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 13:09:49 +0200 | p4trix | (~p4trix@101.red-83-43-247.dynamicip.rima-tde.net) |
| 2021-05-05 13:10:43 +0200 | <timCF> | thanks! |
| 2021-05-05 13:13:05 +0200 | mav1 | (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) |
| 2021-05-05 13:16:42 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 13:17:00 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 13:19:06 +0200 | tempate_ | (~alpha@90.167.202.9) |
| 2021-05-05 13:19:24 +0200 | timCF | (~i.tkachuk@ec2-35-158-4-35.eu-central-1.compute.amazonaws.com) (Quit: leaving) |
| 2021-05-05 13:19:31 +0200 | ADG1089 | (~aditya@122.163.193.183) |
| 2021-05-05 13:22:11 +0200 | tempate | (~alpha@unaffiliated/tempate) (Ping timeout: 240 seconds) |
| 2021-05-05 13:23:36 +0200 | p4trix | (~p4trix@101.red-83-43-247.dynamicip.rima-tde.net) (Quit: Leaving) |
| 2021-05-05 13:25:24 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-05 13:34:30 +0200 | wei2912 | (~wei2912@unaffiliated/wei2912) (Remote host closed the connection) |
| 2021-05-05 13:35:05 +0200 | ADG1089 | (~aditya@122.163.193.183) (Remote host closed the connection) |
| 2021-05-05 13:35:09 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-vhbgevczuzdaydua) |
| 2021-05-05 13:35:30 +0200 | ADG1089 | (~aditya@122.163.193.183) |
| 2021-05-05 13:36:43 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-05 13:37:08 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 13:40:51 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-05 13:40:59 +0200 | Guest78827 | (~zmv@unaffiliated/zmv) |
| 2021-05-05 13:41:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 13:44:32 +0200 | jneira | (4f9b01f9@gateway/web/cgi-irc/kiwiirc.com/ip.79.155.1.249) (Ping timeout: 240 seconds) |
| 2021-05-05 13:45:01 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 13:45:38 +0200 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-05-05 13:46:21 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) (Quit: bitmagie) |
| 2021-05-05 13:48:12 +0200 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-05 13:51:01 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-05 13:52:27 +0200 | cprofitt | (~cprofitt@139.28.218.148) (Remote host closed the connection) |
| 2021-05-05 13:54:26 +0200 | rond_ | (5940206b@89-64-32-107.dynamic.chello.pl) (Quit: Connection closed) |
| 2021-05-05 13:56:02 +0200 | oleks_ | (~oleks@188.166.34.97) (Remote host closed the connection) |
| 2021-05-05 13:56:25 +0200 | oleks | (~oleks@188.166.34.97) |
| 2021-05-05 13:56:43 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-05 13:57:29 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-05 13:57:54 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) |
| 2021-05-05 13:58:46 +0200 | mav1 | (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-05 14:02:07 +0200 | rodriga | (~quassel@134.204.25.66) |
| 2021-05-05 14:05:31 +0200 | <siers> | dminuoso, is agda more efficient with those? |
| 2021-05-05 14:05:59 +0200 | <dminuoso> | siers: Im not sure, but Idris is at least. |
| 2021-05-05 14:06:16 +0200 | <siers> | dminuoso, how is that achieved? |
| 2021-05-05 14:06:32 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-05-05 14:06:41 +0200 | <siers> | if you have any diea |
| 2021-05-05 14:06:47 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 268 seconds) |
| 2021-05-05 14:08:55 +0200 | Guest78827 | notzmv |
| 2021-05-05 14:08:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 14:09:43 +0200 | ADG1089 | (~aditya@122.163.193.183) (Remote host closed the connection) |
| 2021-05-05 14:10:15 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 252 seconds) |
| 2021-05-05 14:10:15 +0200 | knupfer | (~Thunderbi@dynamic-046-114-150-034.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-05 14:10:52 +0200 | ogelbukh | (~ogelbukh@185.163.110.100) |
| 2021-05-05 14:11:19 +0200 | <siers> | ok, I found a reddit post about it |
| 2021-05-05 14:11:22 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Ping timeout: 252 seconds) |
| 2021-05-05 14:13:41 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-05 14:13:41 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-05 14:14:11 +0200 | proteusguy | (~proteusgu@cm-58-10-209-239.revip7.asianet.co.th) |
| 2021-05-05 14:14:52 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:8059:c594:bba6:74e) (Ping timeout: 276 seconds) |
| 2021-05-05 14:15:00 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 14:15:22 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:aae8:7941:4328:b551) |
| 2021-05-05 14:17:25 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-05 14:18:41 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 2021-05-05 14:19:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-05 14:20:58 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-05 14:21:43 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-05-05 14:22:16 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 2021-05-05 14:22:23 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:cda4:a4c9:79f:65d3) (Ping timeout: 260 seconds) |
| 2021-05-05 14:22:43 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-05-05 14:23:16 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-05-05 14:23:25 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) (Read error: Connection reset by peer) |
| 2021-05-05 14:23:40 +0200 | Alleria | Guest81332 |
| 2021-05-05 14:24:11 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) |
| 2021-05-05 14:25:14 +0200 | Neuromancer | (~Neuromanc@unaffiliated/neuromancer) |
| 2021-05-05 14:25:27 +0200 | ogelbukh | (~ogelbukh@185.163.110.100) (Remote host closed the connection) |
| 2021-05-05 14:27:18 +0200 | tempate_ | (~alpha@90.167.202.9) (Quit: Leaving.) |
| 2021-05-05 14:29:57 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 14:32:06 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: writing) |
| 2021-05-05 14:34:22 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-05 14:34:30 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:a1c7:de92:dc10:d37b) |
| 2021-05-05 14:36:16 +0200 | <cub3s_> | I added the package "lolcoolrofl" under "dependency:" of my .cabal file. Since this package doesn't exist on Hackage, so cabal complained: "unknown package: lolcoolrofl". |
| 2021-05-05 14:36:32 +0200 | <cub3s_> | This package is on some GitHub repo. How can I make cabal aware of this package? |
| 2021-05-05 14:37:12 +0200 | <cub3s_> | (and, ideally, make cabal put the build result of this package into ~./cabal/store as it does with all Hackage packages with Nix-style builds) |
| 2021-05-05 14:37:18 +0200 | peterx112 | (8ba26143@139.162.97.67) |
| 2021-05-05 14:37:21 +0200 | <dminuoso> | cub3s_: You can vendor the package. |
| 2021-05-05 14:37:52 +0200 | <dminuoso> | If you want its build artifacts to be cached/shared, Im not sure that's possible without nix then. |
| 2021-05-05 14:38:21 +0200 | <dminuoso> | Also, you can upload the package to hackage. |
| 2021-05-05 14:38:34 +0200 | <dminuoso> | But Im not sure about the policy regarding uploading someone elses package. |
| 2021-05-05 14:38:41 +0200 | knupfer | (~Thunderbi@dynamic-046-114-150-034.46.114.pool.telefonica.de) |
| 2021-05-05 14:38:47 +0200 | <cub3s_> | i don't want to upload this particular package to haskell |
| 2021-05-05 14:38:56 +0200 | <cub3s_> | s/haskell/hackage |
| 2021-05-05 14:39:00 +0200 | <dminuoso> | Is this an internal package? |
| 2021-05-05 14:39:28 +0200 | <cub3s_> | yeah, but it would be cool if i could just access it from a github url instead of first cloning it and then refer to it locally |
| 2021-05-05 14:40:14 +0200 | <cub3s_> | hmm this might be what i need... https://cabal.readthedocs.io/en/3.4/cabal-project.html#specifying-packages-from-remote-version-con… |
| 2021-05-05 14:40:15 +0200 | <dminuoso> | You can |
| 2021-05-05 14:40:27 +0200 | <dminuoso> | Yup, know that this will not be shared across other packages |
| 2021-05-05 14:40:47 +0200 | <dminuoso> | (i.e. if two packages depend on it, both have to pull it from git and compile it separately) |
| 2021-05-05 14:40:56 +0200 | <cub3s_> | oh... but why... |
| 2021-05-05 14:41:06 +0200 | <dminuoso> | Feel free to engineer the solution into cabal yourself. |
| 2021-05-05 14:41:18 +0200 | <dminuoso> | Or hire someone to do it? ;) |
| 2021-05-05 14:41:53 +0200 | <dminuoso> | I guess most tend to either have public dependencies only, or have some internal hackage going. |
| 2021-05-05 14:41:55 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Remote host closed the connection) |
| 2021-05-05 14:43:21 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-05 14:43:29 +0200 | carlomagno | (~cararell@148.87.23.12) |
| 2021-05-05 14:44:47 +0200 | <cub3s_> | dminuoso, ok if that's the only way currently, i think i'll just create a script to download all interesting github repos, tar.gz them, and create out of them a local repo like this: https://cabal.readthedocs.io/en/3.4/installing-packages.html?highlight=hackage.haskell.org#local-n… |
| 2021-05-05 14:45:14 +0200 | <cub3s_> | fingers crossed they will work just the same as hackage packages when it comes to caching in ~/.cabal/store |
| 2021-05-05 14:45:22 +0200 | <dminuoso> | cub3s_: I dont think this will share build artifacts either. |
| 2021-05-05 14:45:27 +0200 | <cub3s_> | fuuuuu |
| 2021-05-05 14:45:30 +0200 | <dminuoso> | In fact, Im almost certain. |
| 2021-05-05 14:45:52 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-05 14:46:31 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 14:47:44 +0200 | <dminuoso> | At best cabal should be able to do this with git dependencies |
| 2021-05-05 14:48:39 +0200 | <cub3s_> | dminuoso, it just feels a bit weird those other repos (specified in the global configuration file) would be treated differently from hackage packages... |
| 2021-05-05 14:51:19 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-05 14:51:53 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-05 14:52:30 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-05 14:53:04 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Client Quit) |
| 2021-05-05 14:53:09 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 2021-05-05 14:53:21 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-05 14:53:44 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 14:54:25 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-05 14:54:26 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-05 14:55:20 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) |
| 2021-05-05 14:56:27 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 14:56:27 +0200 | Alleria_ | (~AllahuAkb@2603-7000-3040-0000-15c1-181a-a12b-d412.res6.spectrum.com) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-05 14:56:54 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 14:58:20 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) (Remote host closed the connection) |
| 2021-05-05 14:58:24 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-05-05 14:58:36 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d09a:226b:917d:ae5f) |
| 2021-05-05 14:59:09 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-05 14:59:22 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-05 15:00:26 +0200 | mav1 | (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) |
| 2021-05-05 15:02:54 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) (Quit: ZNC - http://znc.in) |
| 2021-05-05 15:03:53 +0200 | sqrt2 | (~ben@unaffiliated/sqrt2) |
| 2021-05-05 15:03:56 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-05-05 15:04:16 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 15:04:16 +0200 | knupfer | (~Thunderbi@dynamic-046-114-150-034.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-05 15:05:25 +0200 | rockethead | (~rockethea@2001:41d0:302:2100::6dae) |
| 2021-05-05 15:08:23 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 15:08:43 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 15:10:38 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 2021-05-05 15:10:52 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-05-05 15:10:56 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 15:10:58 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-05 15:14:25 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-05 15:15:37 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Quit: Free ZNC ~ Powered by LunarBNC: https://LunarBNC.net) |
| 2021-05-05 15:16:06 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-05 15:17:16 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 15:17:31 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 15:19:02 +0200 | z0k | (~user@115.186.169.61) (Quit: WeeChat 3.0) |
| 2021-05-05 15:20:49 +0200 | ddellac__ | (~ddellacos@86.106.143.18) |
| 2021-05-05 15:21:11 +0200 | ukari | (~ukari@unaffiliated/ukari) (Ping timeout: 240 seconds) |
| 2021-05-05 15:22:38 +0200 | deviantfero | (~deviantfe@190.150.27.58) |
| 2021-05-05 15:25:11 +0200 | ddellac__ | (~ddellacos@86.106.143.18) (Ping timeout: 240 seconds) |
| 2021-05-05 15:30:37 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 15:31:37 +0200 | seven_three | (~user@pool-96-252-123-136.bstnma.fios.verizon.net) |
| 2021-05-05 15:32:23 +0200 | <seven_three> | what does the `|` symbol mean here: `class Monad m => MonadState s m | m -> s where` ? |
| 2021-05-05 15:32:52 +0200 | rockethead | (~rockethea@2001:41d0:302:2100::6dae) (Ping timeout: 276 seconds) |
| 2021-05-05 15:32:53 +0200 | <dminuoso> | seven_three: That's a functional dependency. |
| 2021-05-05 15:33:03 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-05 15:33:26 +0200 | <dminuoso> | See https://ghc.gitlab.haskell.org/ghc/doc/users_guide/exts/functional_dependencies.html |
| 2021-05-05 15:33:27 +0200 | <seven_three> | oh ok I ran into that before but didn't really dive into what it means |
| 2021-05-05 15:33:34 +0200 | <seven_three> | yes thanks I will read that |
| 2021-05-05 15:34:37 +0200 | <dminuoso> | You can think of them as an older version of multi-param typeclasses with associated type families, if that helps. |
| 2021-05-05 15:41:25 +0200 | <dminuoso> | Err, not multi-param typeclasses. Just associated type families I suppose. |
| 2021-05-05 15:42:42 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 15:43:50 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-vhbgevczuzdaydua) (Quit: Connection closed for inactivity) |
| 2021-05-05 15:43:52 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 15:44:53 +0200 | fendor_ | (~fendor@91.141.1.157.wireless.dyn.drei.com) |
| 2021-05-05 15:47:16 +0200 | <seven_three> | I am now reading about multi-param type classes. This example was introduced: `coerce :: Coerce a b => a -> b`. Why is this any different than saying `coerce :: (Coerce a, Coerce b) => a -> b` |
| 2021-05-05 15:47:18 +0200 | fendor | (~fendor@178.165.128.231.wireless.dyn.drei.com) (Ping timeout: 268 seconds) |
| 2021-05-05 15:48:41 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-05 15:48:51 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-05 15:49:15 +0200 | <dminuoso> | seven_three: A multi param typeclass lets you write instances that relate two types, somehow. |
| 2021-05-05 15:49:29 +0200 | EvilMagix | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-05-05 15:49:29 +0200 | <dminuoso> | Coerce is a bad example however, since that's not even a real typeclass. |
| 2021-05-05 15:49:48 +0200 | <dminuoso> | (You just see this as a constraint, but you cant write instances for it) |
| 2021-05-05 15:49:57 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) (Ping timeout: 240 seconds) |
| 2021-05-05 15:50:36 +0200 | <seven_three> | ill just keep reading |
| 2021-05-05 15:51:14 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-05 15:52:14 +0200 | andreas303 | (~andreas@gateway/tor-sasl/andreas303) |
| 2021-05-05 15:53:11 +0200 | Gurkenglas_ | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-05 15:53:13 +0200 | ddellac__ | (~ddellacos@86.106.143.70) |
| 2021-05-05 15:53:32 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Quit: Leaving) |
| 2021-05-05 15:54:36 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 15:54:39 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2021-05-05 15:54:46 +0200 | tempate_ | (~alpha@145.pool85-48-187.static.orange.es) |
| 2021-05-05 15:55:02 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 15:55:42 +0200 | <dminuoso> | seven_three: MonadState is probably a very good and motivating example, albeit this also requires fundeps. |
| 2021-05-05 15:56:11 +0200 | <dminuoso> | The core idea, maybe to prime you for the manual, is to ensure that a given monad has exactly one particular state. |
| 2021-05-05 15:56:26 +0200 | <dminuoso> | (And that this state type can therefore be inferred from the monad type) |
| 2021-05-05 15:57:41 +0200 | ddellac__ | (~ddellacos@86.106.143.70) (Ping timeout: 246 seconds) |
| 2021-05-05 15:59:01 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2021-05-05 15:59:11 +0200 | pfurla | (~pfurla@2607:fb90:e868:aa74:8576:889e:d309:e65a) |
| 2021-05-05 15:59:47 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 16:01:01 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-05 16:04:34 +0200 | pfurla | (~pfurla@2607:fb90:e868:aa74:8576:889e:d309:e65a) (Ping timeout: 245 seconds) |
| 2021-05-05 16:05:49 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-05 16:07:02 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Quit: Leaving.) |
| 2021-05-05 16:07:43 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 16:07:48 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 16:10:27 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Client Quit) |
| 2021-05-05 16:10:46 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 16:11:14 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 16:12:06 +0200 | mav1 | (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-05 16:15:17 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-05 16:18:16 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) () |
| 2021-05-05 16:20:24 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 16:21:02 +0200 | cortexauth | (~cortexaut@2409:4053:2d01:fc8a:2bda:f737:6878:919f) |
| 2021-05-05 16:21:05 +0200 | cortexauth | (~cortexaut@2409:4053:2d01:fc8a:2bda:f737:6878:919f) (Client Quit) |
| 2021-05-05 16:21:37 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 16:24:52 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9574a5163a3f5f418180.dip0.t-ipconnect.de) (Ping timeout: 276 seconds) |
| 2021-05-05 16:25:10 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-05 16:28:32 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-05 16:29:16 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-05 16:29:21 +0200 | rj | (~x@gateway/tor-sasl/rj) (Remote host closed the connection) |
| 2021-05-05 16:30:31 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-05 16:30:58 +0200 | rj | (~x@gateway/tor-sasl/rj) (Client Quit) |
| 2021-05-05 16:32:13 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 16:33:03 +0200 | chisui | (59f77c9f@i59F77C9F.versanet.de) |
| 2021-05-05 16:33:56 +0200 | mterwoord | (~mterwoord@185.163.110.100) |
| 2021-05-05 16:35:48 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-05 16:36:00 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-kxfslznamczviegw) |
| 2021-05-05 16:36:41 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 16:37:44 +0200 | ADG1089 | (~aditya@122.163.193.183) |
| 2021-05-05 16:38:14 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-05 16:40:01 +0200 | tempate_ | (~alpha@145.pool85-48-187.static.orange.es) (Quit: Leaving.) |
| 2021-05-05 16:40:42 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-05 16:42:29 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-05 16:44:55 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) |
| 2021-05-05 16:45:30 +0200 | adium | (adium@unaffiliated/adium) (Quit: Stable ZNC by ##bnc4you) |
| 2021-05-05 16:45:53 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-05 16:46:07 +0200 | adium | (adium@unaffiliated/adium) |
| 2021-05-05 16:46:15 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-sihdpoehqtfnfmbu) |
| 2021-05-05 16:46:28 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-05 16:47:11 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-05 16:47:56 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-05 16:48:52 +0200 | infinity0 | (~infinity0@freenet/developer/infinity0) (Remote host closed the connection) |
| 2021-05-05 16:51:04 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 16:51:06 +0200 | infinity0 | (~infinity0@freenet/developer/infinity0) |
| 2021-05-05 16:55:53 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-05 17:01:35 +0200 | dhil | (~dhil@195.213.192.4) |
| 2021-05-05 17:04:25 +0200 | deviantfero | (~deviantfe@190.150.27.58) (Quit: WeeChat 3.1) |
| 2021-05-05 17:04:55 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 17:05:16 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 17:07:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 17:10:09 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) |
| 2021-05-05 17:11:19 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:a1c7:de92:dc10:d37b) (Ping timeout: 260 seconds) |
| 2021-05-05 17:12:10 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-05 17:12:27 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-05 17:12:38 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 17:12:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Read error: Connection timed out) |
| 2021-05-05 17:12:56 +0200 | lawid | (~quassel@ip5f5ae8d7.dynamic.kabel-deutschland.de) (Ping timeout: 246 seconds) |
| 2021-05-05 17:13:32 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 17:13:41 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334::1c18) |
| 2021-05-05 17:16:01 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 2021-05-05 17:16:52 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-05 17:17:15 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-05 17:19:51 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 17:22:25 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 17:23:55 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:fab6:550d:3b76:981b) |
| 2021-05-05 17:24:28 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 17:24:43 +0200 | kderme | (2e675c7c@46-92-124.adsl.cyta.gr) (Ping timeout: 240 seconds) |
| 2021-05-05 17:30:09 +0200 | cohn_ | (~noone@23.239.18.252) () |
| 2021-05-05 17:30:57 +0200 | cohn | (~noone@unaffiliated/cohn) |
| 2021-05-05 17:31:02 +0200 | mav1 | (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) |
| 2021-05-05 17:31:32 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-05 17:34:31 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 17:34:52 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 17:36:20 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 17:38:01 +0200 | dsrt^ | (~hph@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 260 seconds) |
| 2021-05-05 17:38:27 +0200 | dsrt^ | (nctrf@ip98-184-89-2.mc.at.cox.net) |
| 2021-05-05 17:41:24 +0200 | keiopa | (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) |
| 2021-05-05 17:42:34 +0200 | keiopa | (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) (Client Quit) |
| 2021-05-05 17:43:02 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 17:43:36 +0200 | danso | (~dan@modemcable156.91-20-96.mc.videotron.ca) |
| 2021-05-05 17:44:13 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-05 17:45:24 +0200 | enoq | (~textual@194-208-146-143.lampert.tv) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-05 17:45:35 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-05 17:45:47 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 17:46:51 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 17:49:13 +0200 | peterx112 | (8ba26143@139.162.97.67) (Quit: Connection closed) |
| 2021-05-05 17:49:19 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-05 17:51:02 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 17:51:50 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 265 seconds) |
| 2021-05-05 17:52:54 +0200 | mav1 | (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-05 17:53:16 +0200 | qwert | (5167bcc0@cpc122078-bmly10-2-0-cust191.2-3.cable.virginm.net) |
| 2021-05-05 17:53:38 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 17:53:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 17:53:53 +0200 | safinaskar | (~user@109-252-90-136.nat.spd-mgts.ru) |
| 2021-05-05 17:54:43 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:fab6:550d:3b76:981b) (Ping timeout: 260 seconds) |
| 2021-05-05 17:55:04 +0200 | <safinaskar> | does base have function for creating something-separated lists? i mean this: f "," [] == "", f "," ["a"] == "a", f "," ["a", "b"] == "a,b" |
| 2021-05-05 17:55:10 +0200 | <safinaskar> | or something similar? |
| 2021-05-05 17:55:49 +0200 | <ClaudiusMaximus> | > intercalate "," "ab" |
| 2021-05-05 17:55:51 +0200 | <lambdabot> | error: |
| 2021-05-05 17:55:51 +0200 | <lambdabot> | • Couldn't match type ‘Char’ with ‘[Char]’ |
| 2021-05-05 17:55:51 +0200 | <lambdabot> | Expected type: [[Char]] |
| 2021-05-05 17:55:52 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 276 seconds) |
| 2021-05-05 17:56:26 +0200 | qwert | (5167bcc0@cpc122078-bmly10-2-0-cust191.2-3.cable.virginm.net) () |
| 2021-05-05 17:56:29 +0200 | <ClaudiusMaximus> | oh, should be ',', but it's in Data.List in base |
| 2021-05-05 17:56:51 +0200 | <safinaskar> | ClaudiusMaximus: thanks! |
| 2021-05-05 17:57:13 +0200 | <ClaudiusMaximus> | @src intercalate |
| 2021-05-05 17:57:13 +0200 | <lambdabot> | intercalate xs xss = concat (intersperse xs xss) |
| 2021-05-05 17:58:20 +0200 | __minoru__shirae | (~shiraeesh@77.94.25.20) |
| 2021-05-05 18:01:52 +0200 | minoru_shiraeesh | (~shiraeesh@77.94.25.20) (Ping timeout: 240 seconds) |
| 2021-05-05 18:04:30 +0200 | Rudd0 | (~Rudd0@185.189.115.103) |
| 2021-05-05 18:04:57 +0200 | <monochrom> | > intercalate "," ["a", "b"] |
| 2021-05-05 18:04:59 +0200 | <lambdabot> | "a,b" |
| 2021-05-05 18:05:26 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 18:07:02 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3b8a:fc99:e582:487) |
| 2021-05-05 18:07:09 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-05 18:08:00 +0200 | <geekosaur> | and the other one is intersperse |
| 2021-05-05 18:10:04 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-05 18:12:23 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-05-05 18:13:23 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 18:13:44 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 18:14:34 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-05 18:15:04 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-05 18:15:21 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-05-05 18:16:16 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-05 18:16:44 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Remote host closed the connection) |
| 2021-05-05 18:17:02 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-05 18:20:01 +0200 | proofofkeags | (~proofofke@205.209.28.54) |
| 2021-05-05 18:20:02 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-05 18:22:43 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-05 18:22:56 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) |
| 2021-05-05 18:23:31 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 18:26:13 +0200 | bitmagie | (~Thunderbi@200116b806538300bd7044d2c2250373.dip.versatel-1u1.de) (Client Quit) |
| 2021-05-05 18:26:25 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-05 18:27:38 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 268 seconds) |
| 2021-05-05 18:28:19 +0200 | Bewdu | (ac70cf9f@cpe-172-112-207-159.socal.res.rr.com) |
| 2021-05-05 18:30:42 +0200 | <xerox_> | @src intersperse |
| 2021-05-05 18:30:42 +0200 | <lambdabot> | intersperse _ [] = [] |
| 2021-05-05 18:30:42 +0200 | <lambdabot> | intersperse _ [x] = [x] |
| 2021-05-05 18:30:42 +0200 | <lambdabot> | intersperse sep (x:xs) = x : sep : intersperse sep xs |
| 2021-05-05 18:31:25 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 18:31:35 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-05 18:35:53 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 250 seconds) |
| 2021-05-05 18:37:19 +0200 | ADG1089 | (~aditya@122.163.193.183) (Quit: Konversation terminated!) |
| 2021-05-05 18:39:46 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-05 18:43:41 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-05 18:44:19 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 18:44:39 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 18:47:31 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-05 18:47:36 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-txrflotqmtwxkura) |
| 2021-05-05 18:48:12 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 240 seconds) |
| 2021-05-05 18:49:42 +0200 | safinaskar | (~user@109-252-90-136.nat.spd-mgts.ru) () |
| 2021-05-05 18:49:50 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-05 18:50:12 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 18:50:18 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-05 18:50:51 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 18:51:24 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 18:53:42 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-srezfizievqmpclo) |
| 2021-05-05 18:54:54 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Remote host closed the connection) |
| 2021-05-05 18:54:55 +0200 | __minoru__shirae | (~shiraeesh@77.94.25.20) (Read error: No route to host) |
| 2021-05-05 18:55:10 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) |
| 2021-05-05 18:55:23 +0200 | berberman | (~berberman@unaffiliated/berberman) |
| 2021-05-05 18:55:23 +0200 | berberman_ | (~berberman@unaffiliated/berberman) (Ping timeout: 250 seconds) |
| 2021-05-05 18:59:11 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-05 19:01:12 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 19:03:11 +0200 | rodriga | (~quassel@134.204.25.66) (Ping timeout: 246 seconds) |
| 2021-05-05 19:04:52 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) |
| 2021-05-05 19:04:58 +0200 | ecrance | (~Adium@2a01cb058dba1100f9ba8b9ae724d254.ipv6.abo.wanadoo.fr) (Quit: Leaving.) |
| 2021-05-05 19:05:36 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) (Quit: Bye) |
| 2021-05-05 19:06:19 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 19:07:29 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 19:08:54 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 19:10:28 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) (Client Quit) |
| 2021-05-05 19:10:42 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Remote host closed the connection) |
| 2021-05-05 19:10:44 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 19:11:08 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 19:11:10 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-05 19:11:30 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) |
| 2021-05-05 19:11:35 +0200 | gitgood | (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
| 2021-05-05 19:11:42 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 19:11:52 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-05 19:12:11 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 19:13:16 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 19:21:26 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 240 seconds) |
| 2021-05-05 19:21:50 +0200 | safinaskar | (~user@109-252-90-136.nat.spd-mgts.ru) |
| 2021-05-05 19:23:13 +0200 | <safinaskar> | is this possible to mix one-line and multi-line code in single doctest block? i'm trying to this. here is my attempt: https://paste.debian.net/1196439/ . i get error |
| 2021-05-05 19:23:15 +0200 | nineonin_ | (~nineonine@50.216.62.2) |
| 2021-05-05 19:25:34 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:98ea:cd24:b2e0:9b6f) (Ping timeout: 276 seconds) |
| 2021-05-05 19:26:06 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-05 19:26:31 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 252 seconds) |
| 2021-05-05 19:27:09 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Ping timeout: 240 seconds) |
| 2021-05-05 19:27:18 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-05 19:27:37 +0200 | <monochrom> | Possibly :{ :} is not supported. doctest ≠ ghci |
| 2021-05-05 19:27:57 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 19:29:43 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-05 19:32:05 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-05 19:32:15 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-05 19:32:36 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-05 19:33:51 +0200 | nrdmn981 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 19:33:51 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 19:34:41 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) (Ping timeout: 246 seconds) |
| 2021-05-05 19:35:42 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) (Ping timeout: 240 seconds) |
| 2021-05-05 19:35:42 +0200 | nrdmn981 | nrdmn98 |
| 2021-05-05 19:36:14 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 245 seconds) |
| 2021-05-05 19:38:45 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-05 19:38:45 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-05-05 19:38:45 +0200 | neiluj | (~jco@unaffiliated/neiluj) |
| 2021-05-05 19:38:50 +0200 | nbloomf_ | (~nbloomf@76.217.43.73) |
| 2021-05-05 19:39:35 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3dfd:792e:2e5c:4650) (Ping timeout: 250 seconds) |
| 2021-05-05 19:39:56 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-05 19:40:46 +0200 | oxide | (~lambda@unaffiliated/mclaren) (Quit: oxide) |
| 2021-05-05 19:46:33 +0200 | <safinaskar> | monochrom: docs say this is supported: https://github.com/sol/doctest#readme |
| 2021-05-05 19:47:45 +0200 | nbloomf_ | (~nbloomf@76.217.43.73) (Read error: Connection reset by peer) |
| 2021-05-05 19:47:52 +0200 | daniil | (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) |
| 2021-05-05 19:48:33 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:60d9:cc29:8b1b:15d4) |
| 2021-05-05 19:48:52 +0200 | wonko7 | (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-05-05 19:49:18 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-05-05 19:49:20 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-05 19:49:23 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-05 19:49:42 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 19:52:13 +0200 | nbloomf_ | (~nbloomf@2600:1700:ad14:3020:6992:f1ef:6046:a3b4) |
| 2021-05-05 19:53:07 +0200 | nbloomf__ | (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) |
| 2021-05-05 19:53:31 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:60d9:cc29:8b1b:15d4) (Ping timeout: 276 seconds) |
| 2021-05-05 19:54:06 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-05 19:54:34 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-05 19:56:29 +0200 | nbloomf_ | (~nbloomf@2600:1700:ad14:3020:6992:f1ef:6046:a3b4) (Ping timeout: 250 seconds) |
| 2021-05-05 19:56:31 +0200 | mav1 | (~mav@200116b8124c5f00be4a448485344013.dip.versatel-1u1.de) |
| 2021-05-05 19:57:40 +0200 | tempate_ | (~alpha@84.78.243.141) |
| 2021-05-05 19:59:06 +0200 | michalz | (~user@185.246.204.110) (Remote host closed the connection) |
| 2021-05-05 19:59:06 +0200 | myShoggoth | (~myShoggot@97-120-89-117.ptld.qwest.net) |
| 2021-05-05 19:59:27 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) |
| 2021-05-05 19:59:55 +0200 | tempate_1 | (~alpha@84.78.243.141) |
| 2021-05-05 20:01:52 +0200 | tempate_ | (~alpha@84.78.243.141) (Ping timeout: 240 seconds) |
| 2021-05-05 20:04:12 +0200 | tempate_1 | (~alpha@84.78.243.141) (Ping timeout: 240 seconds) |
| 2021-05-05 20:05:11 +0200 | safinaskar | (~user@109-252-90-136.nat.spd-mgts.ru) () |
| 2021-05-05 20:06:12 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 20:07:40 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-05 20:08:00 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) (Quit: Bye) |
| 2021-05-05 20:08:05 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-05 20:08:36 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 20:08:42 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-05 20:09:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 20:12:05 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 250 seconds) |
| 2021-05-05 20:13:08 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-05-05 20:13:21 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) (Ping timeout: 260 seconds) |
| 2021-05-05 20:13:40 +0200 | CrazyPython | (~crazypyth@98.122.164.118) |
| 2021-05-05 20:15:19 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-05 20:15:47 +0200 | kuribas | (~user@ptr-25vy0i8zs4ypuosdav0.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2021-05-05 20:17:24 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Ping timeout: 268 seconds) |
| 2021-05-05 20:17:24 +0200 | Bewdu | (ac70cf9f@cpe-172-112-207-159.socal.res.rr.com) (Quit: Connection closed) |
| 2021-05-05 20:18:01 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 268 seconds) |
| 2021-05-05 20:18:18 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 20:20:18 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-05 20:20:30 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-05 20:21:35 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) (Remote host closed the connection) |
| 2021-05-05 20:22:28 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-05 20:23:15 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 20:25:13 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-05 20:27:52 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-05 20:28:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 20:29:26 +0200 | <electricityZZZZ> | stack ghc --version gives me Invalid option `--version' ... what? |
| 2021-05-05 20:29:48 +0200 | <monochrom> | The syntax may be: stack ghc -- --version |
| 2021-05-05 20:30:34 +0200 | <monochrom> | Because general "stack foo --xxx" the --xxx is for stack. |
| 2021-05-05 20:30:45 +0200 | <monochrom> | s/general/generally/ |
| 2021-05-05 20:34:40 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 268 seconds) |
| 2021-05-05 20:35:50 +0200 | bennofs_ | (~quassel@dynamic-089-014-149-119.89.14.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2021-05-05 20:35:52 +0200 | <electricityZZZZ> | why is stack lagging ghc 9.0.1, it's reporting 8.10.4. i have told stack to update etc and built a fresh project |
| 2021-05-05 20:36:10 +0200 | bennofs_ | (~quassel@dynamic-089-014-149-119.89.14.pool.telefonica.de) |
| 2021-05-05 20:36:11 +0200 | <electricityZZZZ> | that's a very counterintuitive syntax, for stack |
| 2021-05-05 20:36:24 +0200 | chisui | (59f77c9f@i59F77C9F.versanet.de) (Quit: Connection closed) |
| 2021-05-05 20:36:32 +0200 | <geekosaur> | it's the standard way long options behave |
| 2021-05-05 20:36:47 +0200 | <enikar> | there is not a resolver for ghc 9, yet? |
| 2021-05-05 20:37:03 +0200 | <geekosaur> | andstack is lagging ghc because there hasn't been an lts release with 9.0.1, because most of the ecosystem is lagging 9.0.1 |
| 2021-05-05 20:37:46 +0200 | <monochrom> | I don't need 9.0.1 new stuff so I'm staying with 8.10.4 too. |
| 2021-05-05 20:37:53 +0200 | <electricityZZZZ> | i'm trying to define some simple types and work with them . i'm assuming that i should use recorddotsyntax for this ? |
| 2021-05-05 20:38:00 +0200 | <geekosaur> | and thre main new feature of 9.0.1 (linear types) has very few users as yet |
| 2021-05-05 20:38:25 +0200 | <monochrom> | simple types don't need RecordDotSyntax. At least my understand of "simple". |
| 2021-05-05 20:39:02 +0200 | <electricityZZZZ> | is it idiomatic to not name fields ... ? |
| 2021-05-05 20:39:04 +0200 | <monochrom> | I'm actually looking forward to 9.2 and potentially skipping 9.0.* entirely. |
| 2021-05-05 20:39:30 +0200 | <monochrom> | It is unidiomatic to use RecordDotSyntax. Please don't conflate issues. |
| 2021-05-05 20:39:44 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-akmjekqkfrijwwyl) (Quit: Connection closed for inactivity) |
| 2021-05-05 20:39:45 +0200 | <monochrom> | Then again you get to say "that's just because legacy" |
| 2021-05-05 20:39:48 +0200 | <electricityZZZZ> | do i define a getter function? |
| 2021-05-05 20:40:01 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 260 seconds) |
| 2021-05-05 20:40:07 +0200 | <monochrom> | The field name already doubles as getter function name. |
| 2021-05-05 20:40:52 +0200 | <monochrom> | I don't get it. Have you properly learned Haskell2010 record syntax? Or is your goal to just expect Javascript syntax to carry over? |
| 2021-05-05 20:41:13 +0200 | <davean> | electricityZZZZ: I would suggest you almsot definately don't want RecordDotSyntax. It doesn't give you features you didn't already have and it squats syntax space conflating things with function composition |
| 2021-05-05 20:41:44 +0200 | <electricityZZZZ> | so does the haskell community not have an agreed on method of defining types and accessing their fields? |
| 2021-05-05 20:42:05 +0200 | <davean> | Incorrect |
| 2021-05-05 20:42:13 +0200 | <monochrom> | OK you haven't properly learned Haskell2010 record syntax. |
| 2021-05-05 20:42:16 +0200 | <davean> | How did you even get to RecordDotSyntax? |
| 2021-05-05 20:42:23 +0200 | <davean> | Yah, you haven't looked at anything |
| 2021-05-05 20:42:28 +0200 | <davean> | this is defiantely covered in the basics |
| 2021-05-05 20:43:19 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 20:43:23 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-05 20:44:16 +0200 | <dmj`> | electricityZZZZ: if you just want access then use compose on the fields, if you want updates .... well now that will cost you |
| 2021-05-05 20:44:22 +0200 | <davean> | https://www.haskell.org/onlinereport/haskell2010/haskellch4.html#x10-680004.2 <-- "Labelled Fields" |
| 2021-05-05 20:44:44 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) |
| 2021-05-05 20:44:45 +0200 | <electricityZZZZ> | right, i guess, ... do i idiomatically label or is it weird to label,...? |
| 2021-05-05 20:45:18 +0200 | <davean> | Labeling is common for larger datatypes, and when the lable has meaning |
| 2021-05-05 20:45:25 +0200 | <monochrom> | It is idiomatic to make your judgment on a case-by-case basis. |
| 2021-05-05 20:46:19 +0200 | <monochrom> | My understand of "simple" is that in simple cases the field names end up being totally unused. |
| 2021-05-05 20:46:55 +0200 | <monochrom> | This is what's wrong when a complainer hyperboles with saying "just a simple" all the time. |
| 2021-05-05 20:47:53 +0200 | <monochrom> | "This is just a simple type!" (it takes 100 lines of code to define) "I'm just asking a simple yes/no question!" (it is an NP-complete question.) |
| 2021-05-05 20:49:22 +0200 | Stanley00 | (~stanley00@unaffiliated/stanley00) (Ping timeout: 260 seconds) |
| 2021-05-05 20:50:35 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-05 20:50:38 +0200 | <davean> | monochrom: so its decidable |
| 2021-05-05 20:51:02 +0200 | <davean> | monochrom: we exit simple when we get to semi-decidable |
| 2021-05-05 20:51:09 +0200 | <davean> | Those are "sorta simple" |
| 2021-05-05 20:51:16 +0200 | <monochrom> | :) |
| 2021-05-05 20:52:17 +0200 | <enikar> | so if simple is indecidable… let us inspect difficult questions :) |
| 2021-05-05 20:52:41 +0200 | <davean> | What is the last knowable busy beaver number? |
| 2021-05-05 20:57:16 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-05 21:00:40 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Quit: mikoto-chan) |
| 2021-05-05 21:01:56 +0200 | ntqz | (ntqz@gateway/vpn/protonvpn/ntqz) (Remote host closed the connection) |
| 2021-05-05 21:03:18 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-05 21:05:44 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-05 21:06:39 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-05-05 21:09:11 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-05 21:11:18 +0200 | Codaraxis_ | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) |
| 2021-05-05 21:11:53 +0200 | mav1 | (~mav@200116b8124c5f00be4a448485344013.dip.versatel-1u1.de) (Ping timeout: 250 seconds) |
| 2021-05-05 21:12:45 +0200 | daniil | (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) (Quit: Connection closed) |
| 2021-05-05 21:13:46 +0200 | Codaraxis | (~Codaraxis@ip68-5-90-227.oc.oc.cox.net) (Ping timeout: 252 seconds) |
| 2021-05-05 21:14:21 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-05 21:16:31 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-05 21:19:49 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-05 21:27:06 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) (Quit: Textual IRC Client: www.textualapp.com) |
| 2021-05-05 21:27:15 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2021-05-05 21:28:34 +0200 | mnrmnaugh | (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 2021-05-05 21:30:19 +0200 | usr25 | (~usr25@unaffiliated/usr25) |
| 2021-05-05 21:32:05 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-05 21:32:34 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 21:35:07 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-05-05 21:37:57 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2021-05-05 21:38:17 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-05 21:38:27 +0200 | zmijunkie | (~Adium@87.122.212.2) |
| 2021-05-05 21:38:47 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2021-05-05 21:42:44 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-05 21:43:18 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-05 21:44:52 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-05 21:46:39 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-05 21:47:17 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-05 22:00:00 +0200 | jacks2 | (~bc8134e3@217.29.117.252) |
| 2021-05-05 22:00:11 +0200 | jacks2 | (~bc8134e3@217.29.117.252) () |
| 2021-05-05 22:00:56 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-05 22:02:35 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-05 22:03:38 +0200 | xelxebar_ | (~xelxebar@gateway/tor-sasl/xelxebar) |
| 2021-05-05 22:03:57 +0200 | xelxebar | (~xelxebar@gateway/tor-sasl/xelxebar) (Ping timeout: 240 seconds) |
| 2021-05-05 22:04:46 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-05-05 22:07:12 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-05-05 22:07:57 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-05 22:10:11 +0200 | jacks2 | (~bc8134e3@217.29.117.252) |
| 2021-05-05 22:13:25 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 22:17:00 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 22:18:57 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-05 22:25:12 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) () |
| 2021-05-05 22:29:31 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-05 22:30:13 +0200 | seliopou | (seliopou@entropy.tmok.com) (Ping timeout: 252 seconds) |
| 2021-05-05 22:32:40 +0200 | seliopou | (seliopou@entropy.tmok.com) |
| 2021-05-05 22:33:20 +0200 | star_cloud | (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 2021-05-05 22:34:52 +0200 | gitgoood | (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
| 2021-05-05 22:35:49 +0200 | gitgoood | (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) (Remote host closed the connection) |
| 2021-05-05 22:36:15 +0200 | gitgoood | (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) |
| 2021-05-05 22:36:46 +0200 | gitgood | (~gitgood@80-44-12-75.dynamic.dsl.as9105.com) (Ping timeout: 268 seconds) |
| 2021-05-05 22:37:30 +0200 | mav1 | (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) |
| 2021-05-05 22:39:59 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-05 22:41:13 +0200 | nbloomf__ | (~nbloomf@2600:1700:ad14:3020:3c82:1c53:1e38:e2d9) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 22:41:45 +0200 | alx741 | (~alx741@186.178.109.58) (Ping timeout: 252 seconds) |
| 2021-05-05 22:43:42 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-05 22:44:43 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 2021-05-05 22:45:37 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-05 22:46:11 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9513e05ff4b2b19e02c9.dip0.t-ipconnect.de) |
| 2021-05-05 22:49:00 +0200 | kderme | (2e675c7c@46-92-124.adsl.cyta.gr) |
| 2021-05-05 22:50:53 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-xdfnhccwmydbykch) |
| 2021-05-05 22:53:38 +0200 | neiluj | (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-05-05 22:54:24 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-05 22:56:00 +0200 | alx741 | (~alx741@186.178.108.37) |
| 2021-05-05 22:56:22 +0200 | dinciorip | (~dincio@5.170.44.134) |
| 2021-05-05 22:56:38 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-05 22:58:49 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-05 23:00:48 +0200 | mav1 | (~mav@ip-88-152-11-229.hsi03.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-05-05 23:02:11 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-05 23:02:13 +0200 | ClaudiusMaximus | (~claude@unaffiliated/claudiusmaximus) (Quit: ->) |
| 2021-05-05 23:03:17 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334::1c18) (Quit: lawid) |
| 2021-05-05 23:03:19 +0200 | chisui | (59f77c9f@i59F77C9F.versanet.de) |
| 2021-05-05 23:05:35 +0200 | lawid | (~quassel@2a02:8109:b5c0:5334:265e:beff:fe2a:dde8) |
| 2021-05-05 23:07:59 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-05 23:10:06 +0200 | knupfer | (~Thunderbi@200116b82ba4e40040dfeafffe0f1f73.dip.versatel-1u1.de) |
| 2021-05-05 23:10:37 +0200 | knupfer | (~Thunderbi@200116b82ba4e40040dfeafffe0f1f73.dip.versatel-1u1.de) (Remote host closed the connection) |
| 2021-05-05 23:11:09 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 260 seconds) |
| 2021-05-05 23:15:01 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:aae8:7941:4328:b551) (Ping timeout: 276 seconds) |
| 2021-05-05 23:15:35 +0200 | xff0x | (~xff0x@2001:1a81:524c:8600:3977:cccd:52e7:e6c0) |
| 2021-05-05 23:16:35 +0200 | chisui | (59f77c9f@i59F77C9F.versanet.de) (Quit: Connection closed) |
| 2021-05-05 23:17:22 +0200 | nut | (~nut@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-05 23:18:07 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 23:18:11 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-05 23:21:01 +0200 | cub3s_ | (bifunc2@gateway/vpn/protonvpn/bifunc2) (Quit: Leaving) |
| 2021-05-05 23:21:04 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-05 23:22:47 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-05 23:24:19 +0200 | dinciorip | (~dincio@5.170.44.134) (Quit: WeeChat 3.1) |
| 2021-05-05 23:25:41 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-05 23:25:52 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 240 seconds) |
| 2021-05-05 23:27:31 +0200 | chisui | (59f77c9f@i59F77C9F.versanet.de) |
| 2021-05-05 23:28:55 +0200 | Guest43271 | (~zmv@unaffiliated/zmv) |
| 2021-05-05 23:29:02 +0200 | Guest81332 | (~textual@zrcout.mskcc.org) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-05 23:30:15 +0200 | Guest24182 | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 260 seconds) |
| 2021-05-05 23:33:24 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) |
| 2021-05-05 23:40:23 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 246 seconds) |
| 2021-05-05 23:40:27 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Quit: WeeChat 3.1) |
| 2021-05-05 23:40:31 +0200 | coeus | (~coeus@p200300d027104f00a97967e1339e6120.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-05 23:42:43 +0200 | kderme | (2e675c7c@46-92-124.adsl.cyta.gr) (Ping timeout: 240 seconds) |
| 2021-05-05 23:43:46 +0200 | malumore | (~malumore@151.62.122.2) (Ping timeout: 260 seconds) |
| 2021-05-05 23:46:02 +0200 | jacks2 | (~bc8134e3@217.29.117.252) (Quit: http://www.okay.uz/) |
| 2021-05-05 23:46:18 +0200 | jacks2 | (~bc8134e3@217.29.117.252) |
| 2021-05-05 23:46:25 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Remote host closed the connection) |
| 2021-05-05 23:46:34 +0200 | olligobber | (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 2021-05-05 23:46:42 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Ping timeout: 246 seconds) |
| 2021-05-05 23:47:25 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-05 23:48:08 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 2021-05-05 23:49:57 +0200 | finn_elija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-05 23:52:34 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-05 23:53:43 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-05 23:53:50 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-05 23:57:40 +0200 | mounty | (~mounty@236.216.214.218.sta.wbroadband.net.au) (Ping timeout: 252 seconds) |
| 2021-05-05 23:58:24 +0200 | coeus | (~coeus@p200300d02719fc0089b803c6556693c3.dip0.t-ipconnect.de) |
| 2021-05-05 23:59:22 +0200 | towel_ | towel |