Logs on 2021-01-22 (freenode/#haskell)
| 00:00:14 | × | jackk_Doe quits (~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 00:02:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 00:02:42 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:04:26 | × | thc202 quits (~thc202@unaffiliated/thc202) (Ping timeout: 240 seconds) |
| 00:06:08 | hackage | typecheck-plugin-nat-simple 0.1.0.0 - Simple type check plugin which calculate addition, subtraction and less-or-equal-than https://hackage.haskell.org/package/typecheck-plugin-nat-simple-0.1.0.0 (YoshikuniJujo) |
| 00:06:43 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:07:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 00:07:18 | × | hyperisco quits (~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 260 seconds) |
| 00:07:33 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 00:07:41 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 00:08:36 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 00:08:40 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:11:00 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 00:11:23 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 00:17:12 | → | Tario joins (~Tario@201.192.165.173) |
| 00:22:57 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 264 seconds) |
| 00:23:32 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 00:26:33 | × | meck quits (~meck@li1809-18.members.linode.com) (Ping timeout: 260 seconds) |
| 00:26:36 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 244 seconds) |
| 00:27:17 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 00:28:36 | × | epta quits (~m@nuda.space) (Ping timeout: 240 seconds) |
| 00:28:42 | × | usr25 quits (~usr25@unaffiliated/usr25) (Quit: Leaving) |
| 00:29:34 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 00:30:31 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 00:31:12 | × | Geekingfrog quits (geekingfro@2a01:7e01::f03c:92ff:fe48:8bdf) (Ping timeout: 260 seconds) |
| 00:31:25 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 00:31:39 | → | conal joins (~conal@64.71.133.70) |
| 00:31:39 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 00:32:11 | → | conal joins (~conal@64.71.133.70) |
| 00:32:29 | → | pjb joins (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) |
| 00:32:58 | × | myme quits (~myme@li1406-121.members.linode.com) (Ping timeout: 260 seconds) |
| 00:33:31 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 00:33:45 | × | hololeap quits (~hololeap@unaffiliated/hololeap) (Ping timeout: 264 seconds) |
| 00:34:02 | × | conal quits (~conal@64.71.133.70) (Client Quit) |
| 00:34:08 | × | pjb quits (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) (Remote host closed the connection) |
| 00:34:08 | × | sea-gull quits (~sea-gull@li1815-136.members.linode.com) (Ping timeout: 260 seconds) |
| 00:34:24 | × | kawzeg quits (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) (Ping timeout: 240 seconds) |
| 00:36:29 | → | pjb joins (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) |
| 00:38:07 | hackage | typecheck-plugin-nat-simple 0.1.0.1 - Simple type check plugin which calculate addition, subtraction and less-or-equal-than https://hackage.haskell.org/package/typecheck-plugin-nat-simple-0.1.0.1 (YoshikuniJujo) |
| 00:38:52 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Quit: oisdk) |
| 00:39:20 | × | Tuplanolla quits (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 00:41:35 | × | berberman quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 00:41:36 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (*.net *.split) |
| 00:41:36 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (*.net *.split) |
| 00:41:36 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (*.net *.split) |
| 00:41:36 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (*.net *.split) |
| 00:41:36 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (*.net *.split) |
| 00:41:36 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (*.net *.split) |
| 00:41:36 | × | xelxebar quits (~xelxebar@gateway/tor-sasl/xelxebar) (*.net *.split) |
| 00:41:36 | × | denisse quits (~spaceCat@gateway/tor-sasl/alephzer0) (*.net *.split) |
| 00:41:36 | × | ChaiTRex quits (~ChaiTRex@gateway/tor-sasl/chaitrex) (*.net *.split) |
| 00:41:36 | × | andreas303 quits (~andreas@gateway/tor-sasl/andreas303) (*.net *.split) |
| 00:41:36 | × | jb55 quits (~jb55@gateway/tor-sasl/jb55) (*.net *.split) |
| 00:41:36 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (*.net *.split) |
| 00:41:36 | × | vgtw quits (~vgtw@gateway/tor-sasl/vgtw) (*.net *.split) |
| 00:42:01 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 00:43:39 | → | jedws joins (~jedws@121.209.139.157) |
| 00:44:10 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 00:45:53 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 00:46:54 | <ezzieyguywuf> | hrm, looking at `v1-build --verbose=3` versus `v2-build verbose=3`, I see "base ==4.* && ==4.14.1.0," versus "base ==4.* && ==4.14.1.0 && ==4.14.1.0," respectively, for pretty much every dependency I see a similar difference, i.e. "directory -any && ==1.3.6.0" versus "directory -any && ==1.3.6.0" - would this be enough for ghc (or is it cabal?) to consider the ABI's potentially different and give |
| 00:47:00 | <ezzieyguywuf> | them different UID's? |
| 00:47:17 | × | Franciman quits (~francesco@host-79-51-37-36.retail.telecomitalia.it) (Quit: Leaving) |
| 00:48:31 | × | Tops21 quits (~Tobias@dyndsl-095-033-017-009.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 00:48:38 | × | kw quits (88388c02@136.56.140.2) (Quit: Connection closed) |
| 00:49:10 | <ezzieyguywuf> | hrm, and v2-build show's these two lines, which seem (to me) to be the same, but v1-build only shows it once: (1) "Dependency base ==4.14.1.0: using base-4.14.1.0", (2) "Dependency base ==4.14.1.0: using base-4.14.1.0" |
| 00:50:36 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 00:51:58 | → | Geekingfrog joins (~geekingfr@li2156-64.members.linode.com) |
| 00:52:25 | × | dcoutts__ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 240 seconds) |
| 00:53:09 | <ezzieyguywuf> | hrm, or maybe this is it - Configured Component Graph, "component hspec-discover-2.7.8-inplace" from v1-build, "component hspec-discover-2.7.8-inplace" from v2-build |
| 00:54:11 | <ezzieyguywuf> | oh wait a minute! v2 includes "component hspec-discover-2.7.8-CJ0T08lszMlKdbdq8cUlDx-hspec-discover", which v1 does not! (oh, that second one in my last post should have been "component hspec-discover-2.7.8-CJ0T08lszMlKdbdq8cUlDx") |
| 00:54:25 | <ezzieyguywuf> | I betcha that has something to do with hspec-discover the executable versus hspec-discover the library |
| 00:54:33 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Quit: WeeChat 3.0) |
| 00:54:57 | <ezzieyguywuf> | both are building the executable, but v2-build somehowe does something extra, i.e. adds information about the executable to the config file that is registered with ghc-pkg |
| 00:55:28 | <ezzieyguywuf> | but the two ghc calls used look similar, so why the difference?! |
| 00:55:34 | → | myme joins (~myme@li1406-121.members.linode.com) |
| 00:56:35 | → | sea-gull joins (~sea-gull@li1815-136.members.linode.com) |
| 00:56:40 | → | epta joins (~m@nuda.space) |
| 00:56:48 | → | meck joins (~meck@li1809-18.members.linode.com) |
| 00:56:52 | <ezzieyguywuf> | ohhh yea, even before that "sourc component graph" for v1-build lists only "component lib", but v2-lib also includes "component exe:hspec-discover dependency lib" |
| 00:56:55 | <ezzieyguywuf> | I think this is a big clue! |
| 00:57:04 | <ezzieyguywuf> | (...just have to find another paw print..>) |
| 00:58:22 | → | vgtw joins (~vgtw@gateway/tor-sasl/vgtw) |
| 00:58:44 | → | jb55 joins (~jb55@gateway/tor-sasl/jb55) |
| 00:58:45 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 00:59:09 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 00:59:14 | → | kawzeg joins (kawzeg@2a01:7e01::f03c:92ff:fee2:ec34) |
| 01:03:00 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 01:03:14 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 01:03:19 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 01:03:37 | → | xelxebar joins (~xelxebar@gateway/tor-sasl/xelxebar) |
| 01:03:44 | → | denisse joins (~spaceCat@gateway/tor-sasl/alephzer0) |
| 01:03:51 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 01:04:11 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 01:06:21 | × | jedws quits (~jedws@121.209.139.157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 01:07:22 | → | philopsos joins (~caecilius@gateway/tor-sasl/caecilius) |
| 01:09:48 | × | viluon quits (uid453725@gateway/web/irccloud.com/x-yymnzpcnblszqnxx) (Quit: Connection closed for inactivity) |
| 01:11:30 | × | whataday quits (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 01:11:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 01:12:14 | <ezzieyguywuf> | hm, another hint, v1-build has "--ipid=hspec-discover-2.7.8-CJ0T08lszMlKdbdq8cUlDx", v2-build has "--cid=hspec-discover-2.7.8-inplace" |
| 01:12:25 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 01:12:38 | → | whataday joins (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 01:12:42 | → | ChaiTRex joins (~ChaiTRex@gateway/tor-sasl/chaitrex) |
| 01:12:47 | → | hekkaidekapus_ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 01:12:49 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 01:12:55 | → | andreas303 joins (~andreas@gateway/tor-sasl/andreas303) |
| 01:14:15 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 01:15:22 | <glguy> | ezzieyguywuf: that's from workout out the gentoo build? |
| 01:15:28 | × | bobpp_ quits (~bobpp_@s91904426.blix.com) (Remote host closed the connection) |
| 01:16:48 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 01:17:53 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 01:19:08 | hackage | hw-kafka-client 4.0.2 - Kafka bindings for Haskell https://hackage.haskell.org/package/hw-kafka-client-4.0.2 (alexeyraga) |
| 01:20:29 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 01:20:30 | × | SupaYoshii quits (~supayoshi@213-10-140-13.fixed.kpn.net) (Ping timeout: 256 seconds) |
| 01:21:11 | × | philopsos quits (~caecilius@gateway/tor-sasl/caecilius) (Ping timeout: 268 seconds) |
| 01:21:23 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 01:22:01 | <ezzieyguywuf> | glguy: I don't understand the question. |
| 01:23:01 | → | SupaYoshi joins (~supayoshi@213-10-140-13.fixed.kpn.net) |
| 01:23:37 | hackage | typecheck-plugin-nat-simple 0.1.0.2 - Simple type check plugin which calculate addition, subtraction and less-or-equal-than https://hackage.haskell.org/package/typecheck-plugin-nat-simple-0.1.0.2 (YoshikuniJujo) |
| 01:23:41 | <Axman6> | Do you even lift bro??? (I also don't understand the question) |
| 01:23:52 | <ezzieyguywuf> | lol. |
| 01:27:51 | → | pabelanger1 joins (~pabelange@s91904426.blix.com) |
| 01:28:30 | → | poi joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 01:29:35 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 01:33:28 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 01:34:20 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 265 seconds) |
| 01:35:42 | <glguy> | I thought you were encountering build troubles earlier related to Gentoo |
| 01:36:01 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 01:36:25 | <ezzieyguywuf> | glguy: ah, yes and no. I think my "issue" is not gentoo-specific. |
| 01:37:09 | <ezzieyguywuf> | glguy: rather, I'm trying to determine why a v1-build and a v2-build result in different ABI's being registered with ghc-pkg. |
| 01:38:03 | <ezzieyguywuf> | glguy: more specifically - if I install `hspec-discover` using v1-build, then later have a package that `build-tool-depends: hspec-discover`, the previously installed version is unrecognized and cabal-install wants to re-install a *new* version. |
| 01:38:11 | → | adeene joins (~adeene@181.131.0.191) |
| 01:38:30 | <ezzieyguywuf> | from the clues I found above, I think it is because the v1-build somehow doesn't register with ghc-pkg the fact that `hspec-discover` includes both a library AND an executable |
| 01:38:46 | <ezzieyguywuf> | this is revealed by `build-tool-depends` because it is explicitly requested the executable. |
| 01:40:05 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 01:40:18 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 01:40:25 | × | Deide quits (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 01:40:33 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 01:40:55 | × | poi quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Ping timeout (120 seconds)) |
| 01:43:31 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 01:44:01 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 01:44:58 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 265 seconds) |
| 01:45:13 | × | m0rphism quits (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 265 seconds) |
| 01:45:36 | × | argento quits (~argent0@168.227.97.34) (Ping timeout: 240 seconds) |
| 01:46:31 | × | heatsink quits (~heatsink@2600:1700:bef1:5e10:b40a:4b9d:ef25:d9ac) (Remote host closed the connection) |
| 01:47:48 | → | poi joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 01:48:16 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 240 seconds) |
| 01:48:45 | <monochrom> | ghc-pkg has never registered executables. |
| 01:50:32 | <ezzieyguywuf> | hrm |
| 01:50:56 | <ezzieyguywuf> | but there's definetly *something* different. I'm writing up my findings in here, I can let y'all know when it's ready https://github.com/gentoo-haskell/gentoo-haskell/issues/1074 |
| 01:51:03 | <ezzieyguywuf> | it should be more clear than my ramblings earlier, lol. |
| 01:51:48 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 246 seconds) |
| 01:52:19 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 02:00:25 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 02:02:20 | → | bi_functor joins (~bi_functo@192-0-134-138.cpe.teksavvy.com) |
| 02:04:34 | → | argento joins (~argent0@168.227.97.34) |
| 02:05:06 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 02:07:26 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Ping timeout: 268 seconds) |
| 02:07:26 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Ping timeout: 268 seconds) |
| 02:08:21 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 02:10:00 | × | argento quits (~argent0@168.227.97.34) (Quit: leaving) |
| 02:11:42 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 02:15:35 | <ezzieyguywuf> | detailed description of the issue, and what I've troubleshooted so far: https://github.com/gentoo-haskell/gentoo-haskell/issues/1074#issuecomment-765066367 |
| 02:18:47 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 02:19:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 02:31:30 | → | petersen joins (~petersen@redhat/juhp) |
| 02:31:57 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 02:34:34 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 02:35:43 | × | bi_functor quits (~bi_functo@192-0-134-138.cpe.teksavvy.com) (Ping timeout: 265 seconds) |
| 02:36:07 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 02:36:45 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 02:37:52 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 272 seconds) |
| 02:38:42 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 02:40:27 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 02:43:36 | × | ccchapman quits (~cchapman@S0106889e68fa3df2.vc.shawcable.net) (Ping timeout: 240 seconds) |
| 02:45:21 | × | xff0x quits (~xff0x@2001:1a81:5287:d000:98a:8bfd:18b8:391e) (Ping timeout: 272 seconds) |
| 02:46:48 | <L29Ah> | how to invoke v2-build from Setup.{l,}hs? |
| 02:47:03 | → | xff0x joins (~xff0x@2001:1a81:52c0:a300:e87b:1b45:8a8c:a47c) |
| 02:47:19 | → | petersen joins (~petersen@redhat/juhp) |
| 02:49:26 | <ezzieyguywuf> | L29Ah: I think v2-build is a cabal-install (i.e. cabal-the-executable) feature, therefore I think the question is nonsensical (no offense) |
| 02:52:56 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 02:53:12 | <L29Ah> | maybe it'd make sense to file a bug in https://github.com/haskell/cabal/issues, noting that v1-installed tools can't satisfy subsequent v2-builds |
| 02:54:00 | <ezzieyguywuf> | L29Ah: I think v1 is target for obsolesence, I doubt we'll get much support honestly |
| 02:54:18 | <L29Ah> | sure it's not |
| 02:54:38 | <L29Ah> | Setup.lhs is the only standard way to install haskell packages in fact, including cabal-install itself, afaiu |
| 02:54:55 | <L29Ah> | relevant stuff re id problems: https://github.com/haskell/cabal/issues/6192#issuecomment-644565476 |
| 02:55:27 | <L29Ah> | v1-stuff is just a thin wrapper around Setup.lhs stuff afaiu |
| 02:57:06 | <ezzieyguywuf> | hrm |
| 02:57:36 | → | ccchapman joins (~cchapman@S0106889e68fa3df2.vc.shawcable.net) |
| 02:57:42 | × | poi quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Connection closed) |
| 02:58:00 | → | poi joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 02:58:05 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 02:58:57 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 03:07:17 | × | ep1ctetus quits (~epictetus@ip184-187-162-163.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 03:08:48 | × | Ranhir quits (~Ranhir@157.97.53.139) (Remote host closed the connection) |
| 03:11:22 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 03:12:25 | → | Ranhir joins (~Ranhir@157.97.53.139) |
| 03:16:21 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 03:16:36 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 03:18:22 | → | ghghgdaghgf joins (92c436b9@146.196.54.185) |
| 03:28:01 | × | ghghgdaghgf quits (92c436b9@146.196.54.185) (Ping timeout: 248 seconds) |
| 03:29:31 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 03:30:12 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 03:32:29 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:35:24 | × | theDon quits (~td@muedsl-82-207-238-142.citykom.de) (Ping timeout: 246 seconds) |
| 03:37:04 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 03:37:17 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 03:37:20 | → | theDon joins (~td@94.134.91.103) |
| 03:39:51 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 256 seconds) |
| 03:40:29 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 03:41:04 | → | plutoniix joins (~q@184.82.194.132) |
| 03:43:52 | × | nineonin_ quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 03:44:11 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 03:45:02 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 03:46:14 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 03:48:42 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 03:48:56 | × | mirrorbird quits (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Quit: Leaving) |
| 03:49:00 | → | xirhtogal joins (~lagothrix@unaffiliated/lagothrix) |
| 03:49:01 | lagothrix | is now known as Guest24876 |
| 03:49:01 | × | Guest24876 quits (~lagothrix@unaffiliated/lagothrix) (Killed (sinisalo.freenode.net (Nickname regained by services))) |
| 03:49:01 | xirhtogal | is now known as lagothrix |
| 03:49:11 | → | fresheyeball joins (~isaac@ec2-35-155-97-88.us-west-2.compute.amazonaws.com) |
| 03:49:57 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 03:50:40 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 256 seconds) |
| 03:52:14 | × | elliott_ quits (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) (Read error: Connection reset by peer) |
| 03:54:46 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 03:55:46 | → | elliott_ joins (~elliott_@pool-108-51-101-42.washdc.fios.verizon.net) |
| 03:55:59 | <fresheyeball> | anyone know jsaddle-warp? |
| 03:58:19 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 04:01:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 04:01:37 | × | poi quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Ping timeout: 248 seconds) |
| 04:02:41 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 04:02:42 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 04:02:53 | × | srk quits (~sorki@gateway/tor-sasl/sorki) (Remote host closed the connection) |
| 04:02:53 | × | hexo quits (~hexo@gateway/tor-sasl/hexo) (Remote host closed the connection) |
| 04:03:07 | → | srk joins (~sorki@gateway/tor-sasl/sorki) |
| 04:03:12 | → | hexo joins (~hexo@gateway/tor-sasl/hexo) |
| 04:03:13 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 04:04:06 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 04:06:12 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 04:08:46 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 04:12:29 | × | cr3 quits (~cr3@192-222-143-195.qc.cable.ebox.net) (Quit: leaving) |
| 04:22:52 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 04:23:12 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 04:27:12 | × | darjeeling_ quits (~darjeelin@115.215.41.174) (Ping timeout: 246 seconds) |
| 04:33:17 | × | polyphem quits (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) (Ping timeout: 260 seconds) |
| 04:34:21 | × | andrologic quits (~Andrologi@90.221.74.173) (Ping timeout: 264 seconds) |
| 04:34:38 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 04:38:26 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 04:40:38 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 04:41:21 | × | raym quits (~ray@45.64.220.99) (Ping timeout: 272 seconds) |
| 04:41:56 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 04:42:15 | → | conal joins (~conal@64.71.133.70) |
| 04:43:05 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 265 seconds) |
| 04:43:08 | hackage | massiv-io 0.4.1.0 - Import/export of Image files into massiv Arrays https://hackage.haskell.org/package/massiv-io-0.4.1.0 (lehins) |
| 04:44:37 | hackage | massiv-test 0.1.6.1 - Library that contains generators, properties and tests for Massiv Array Library. https://hackage.haskell.org/package/massiv-test-0.1.6.1 (lehins) |
| 04:45:37 | hackage | massiv 0.6.0.0 - Massiv (Массив) is an Array Library. https://hackage.haskell.org/package/massiv-0.6.0.0 (lehins) |
| 04:46:37 | hackage | primal 0.3.0.0 - Primeval world of Haskell. https://hackage.haskell.org/package/primal-0.3.0.0 (lehins) |
| 04:46:50 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 04:47:27 | × | conal quits (~conal@64.71.133.70) (Quit: Textual IRC Client: www.textualapp.com) |
| 04:47:37 | hackage | primal-memory 0.3.0.0 - Unified interface for memory managemenet. https://hackage.haskell.org/package/primal-memory-0.3.0.0 (lehins) |
| 04:49:43 | × | dansho quits (~dansho@ec2-18-181-192-22.ap-northeast-1.compute.amazonaws.com) (Quit: Leaving) |
| 04:49:49 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 04:53:01 | → | conal joins (~conal@64.71.133.70) |
| 04:53:43 | × | fresheyeball quits (~isaac@ec2-35-155-97-88.us-west-2.compute.amazonaws.com) (Ping timeout: 265 seconds) |
| 04:55:31 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 04:57:39 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 246 seconds) |
| 04:58:16 | → | poi joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 04:58:20 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Remote host closed the connection) |
| 04:58:39 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 04:59:07 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Remote host closed the connection) |
| 05:00:12 | → | clarity joins (~clarity@90.221.74.173) |
| 05:00:37 | × | wowi42 quits (~wowi42@51.15.249.183) (Quit: Kowa Bunga!!!) |
| 05:01:20 | → | wowi42 joins (~wowi42@51.15.249.183) |
| 05:04:17 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 05:04:57 | × | Tario quits (~Tario@201.192.165.173) (Ping timeout: 264 seconds) |
| 05:05:36 | → | p7lpa1ugixavugu2 joins (~atomic@2800:810:514:e7:7827:28ad:da72:6ba4) |
| 05:06:35 | × | p7lpa1ugixavugu quits (~atomic@2800:810:514:e7:106f:56:5b7:f864) (Ping timeout: 272 seconds) |
| 05:08:56 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 05:10:59 | × | nrh^ quits (nrh@ip98-184-89-2.mc.at.cox.net) () |
| 05:11:08 | → | darjeeling_ joins (~darjeelin@115.215.41.174) |
| 05:12:19 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 05:13:47 | × | monochrom quits (trebla@216.138.220.146) (Quit: NO CARRIER) |
| 05:15:38 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 05:15:57 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 05:15:59 | → | dirediresalt joins (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) |
| 05:16:33 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 246 seconds) |
| 05:20:32 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 265 seconds) |
| 05:22:51 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Read error: Connection reset by peer) |
| 05:23:11 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) |
| 05:23:19 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 05:23:55 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 05:27:58 | → | monochrom joins (trebla@216.138.220.146) |
| 05:28:06 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 246 seconds) |
| 05:28:22 | → | ixaxaar joins (~ixaxaar@49.207.210.215) |
| 05:28:40 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 05:28:49 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 05:31:27 | → | drbean joins (~drbean@TC210-63-209-164.static.apol.com.tw) |
| 05:31:37 | → | inoteajw joins (inoteajw@ip98-184-89-2.mc.at.cox.net) |
| 05:33:00 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 05:36:15 | × | jespada quits (~jespada@90.254.241.81) (Ping timeout: 265 seconds) |
| 05:36:20 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-120-135.w86-198.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 05:36:55 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 05:37:45 | × | zaquest quits (~notzaques@5.128.210.178) (Quit: Leaving) |
| 05:37:45 | → | jespada joins (~jespada@90.254.241.81) |
| 05:40:33 | Ayo | is now known as Guest79417 |
| 05:40:40 | × | Guest79417 quits (~quassel@82.177.83.189) (Read error: Connection reset by peer) |
| 05:40:43 | → | Ayo joins (~quassel@82.177.83.189) |
| 05:40:43 | → | zaquest joins (~notzaques@5.128.210.178) |
| 05:41:26 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 05:43:34 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 05:45:09 | × | adeene quits (~adeene@181.131.0.191) (Ping timeout: 264 seconds) |
| 05:46:59 | → | adeene joins (~adeene@181.131.0.191) |
| 05:47:23 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 260 seconds) |
| 05:52:37 | × | poi quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Ping timeout (120 seconds)) |
| 05:53:50 | → | raym joins (~ray@45.64.220.94) |
| 06:02:10 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 06:03:04 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Ping timeout: 265 seconds) |
| 06:06:45 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 06:09:13 | → | sternmull joins (~kringel@pd9ed7db6.dip0.t-ipconnect.de) |
| 06:10:04 | → | Guest8 joins (747a1115@gateway/web/cgi-irc/kiwiirc.com/ip.116.122.17.21) |
| 06:11:03 | × | carlomagno quits (~cararell@148.87.23.7) (Ping timeout: 265 seconds) |
| 06:12:02 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 06:12:22 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 06:15:43 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 06:17:49 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:18:47 | → | danvet joins (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 06:18:49 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Read error: Connection reset by peer) |
| 06:18:52 | × | danso quits (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) (Ping timeout: 260 seconds) |
| 06:19:21 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:19:46 | → | danso joins (~dan@2001:1970:52e7:d000:96b8:6dff:feb3:c009) |
| 06:19:56 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 240 seconds) |
| 06:20:11 | → | rajivr joins (uid269651@gateway/web/irccloud.com/x-zdjmgeijnbfzlamw) |
| 06:20:58 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 06:24:08 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 260 seconds) |
| 06:25:58 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 06:26:16 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 06:32:28 | → | jackk_Doe joins (~jackk@205.178.111.134) |
| 06:32:35 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 06:32:37 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 06:35:06 | × | djbeau quits (~dbeaureg@148.87.23.11) (Remote host closed the connection) |
| 06:35:58 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 06:37:11 | × | Guest8 quits (747a1115@gateway/web/cgi-irc/kiwiirc.com/ip.116.122.17.21) (Quit: Connection closed) |
| 06:37:21 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 06:38:21 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 265 seconds) |
| 06:38:27 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 246 seconds) |
| 06:40:46 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 06:43:12 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 06:45:17 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 06:49:57 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 265 seconds) |
| 06:50:59 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 06:53:22 | × | jrqc quits (~rofl@96.78.87.197) (Read error: Connection reset by peer) |
| 06:55:37 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 06:55:57 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 06:58:16 | × | pavonia quits (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 06:59:23 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 265 seconds) |
| 07:00:46 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 07:05:06 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 07:05:32 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 260 seconds) |
| 07:05:42 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 07:09:25 | × | dirediresalt quits (DirefulSal@gateway/vpn/privateinternetaccess/direfulsalt) (Remote host closed the connection) |
| 07:10:15 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 265 seconds) |
| 07:10:58 | → | mirrorbird joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 07:11:28 | × | Rudd0 quits (~Rudd0@185.189.115.103) (Ping timeout: 265 seconds) |
| 07:11:31 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 07:12:55 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 07:13:27 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 246 seconds) |
| 07:15:47 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:16:31 | × | texasmynsted quits (~texasmyns@99.96.221.112) (Ping timeout: 272 seconds) |
| 07:17:12 | → | texasmynsted joins (~texasmyns@99.96.221.112) |
| 07:17:30 | × | ccchapman quits (~cchapman@S0106889e68fa3df2.vc.shawcable.net) (Ping timeout: 256 seconds) |
| 07:17:47 | × | xff0x quits (~xff0x@2001:1a81:52c0:a300:e87b:1b45:8a8c:a47c) (Ping timeout: 260 seconds) |
| 07:18:16 | → | xff0x joins (~xff0x@2001:1a81:52c0:a300:c5ed:5537:e28b:b291) |
| 07:20:27 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 07:20:43 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 260 seconds) |
| 07:20:57 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 07:21:02 | × | justanotheruser quits (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 264 seconds) |
| 07:21:37 | → | _ht joins (~quassel@82-169-194-8.biz.kpn.net) |
| 07:24:53 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 07:26:05 | × | inoteajw quits (inoteajw@ip98-184-89-2.mc.at.cox.net) () |
| 07:26:59 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 07:27:14 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 07:27:25 | × | concept2 quits (~concept2@unaffiliated/tubo) (Remote host closed the connection) |
| 07:27:25 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 07:27:49 | → | concept2 joins (~concept2@unaffiliated/tubo) |
| 07:29:33 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 264 seconds) |
| 07:30:35 | → | asheshambasta joins (~user@ptr-e1lysawnw92jt7iswfx.18120a2.ip6.access.telenet.be) |
| 07:31:57 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 264 seconds) |
| 07:34:54 | × | mirrorbird quits (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Ping timeout: 265 seconds) |
| 07:39:59 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Remote host closed the connection) |
| 07:40:01 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:40:40 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 07:42:23 | <idnar> | I just wrote `fromSing sing` which seems dumb; is there a better spelling? |
| 07:43:34 | → | Varis joins (~Tadas@unaffiliated/varis) |
| 07:43:57 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 07:44:39 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 07:45:13 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 256 seconds) |
| 07:45:53 | → | poi joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 07:45:53 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 07:46:24 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 07:46:29 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 07:49:35 | → | vilpan joins (~0@212.117.1.172) |
| 07:50:53 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 07:53:24 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 07:54:54 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 256 seconds) |
| 07:55:11 | → | jrqc joins (~rofl@96.78.87.197) |
| 07:57:54 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 08:00:41 | → | LKoen joins (~LKoen@57.174.9.109.rev.sfr.net) |
| 08:02:16 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 256 seconds) |
| 08:03:04 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 08:06:03 | → | Franciman joins (~francesco@host-79-51-37-36.retail.telecomitalia.it) |
| 08:06:09 | → | sgibber2018 joins (d055ed90@208.85.237.144) |
| 08:06:18 | × | unlink2 quits (~unlink2@p5dc0af9a.dip0.t-ipconnect.de) (Ping timeout: 246 seconds) |
| 08:07:06 | → | unlink2 joins (~unlink2@p200300ebcf14c6000228288353cacf99.dip0.t-ipconnect.de) |
| 08:07:11 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 08:07:56 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 256 seconds) |
| 08:08:15 | → | metreo joins (Thunderbir@gateway/vpn/mullvad/metreo) |
| 08:08:21 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 08:08:24 | → | krkini joins (~kini@unaffiliated/kini) |
| 08:08:26 | × | kini quits (~kini@unaffiliated/kini) (Ping timeout: 264 seconds) |
| 08:10:14 | ← | metreo parts (Thunderbir@gateway/vpn/mullvad/metreo) () |
| 08:11:40 | × | howdoi quits (uid224@gateway/web/irccloud.com/x-enjewbfvwqjrnnkp) (Quit: Connection closed for inactivity) |
| 08:12:59 | × | tromp quits (~tromp@dhcp-077-249-230-040.chello.nl) (Remote host closed the connection) |
| 08:13:21 | × | poi quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Ping timeout: 248 seconds) |
| 08:15:34 | × | lawid quits (~quassel@ipservice-092-209-135-162.092.209.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 08:16:12 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 08:16:20 | → | lawid joins (~quassel@dslb-090-186-099-081.090.186.pools.vodafone-ip.de) |
| 08:16:22 | → | thunderrd joins (~thunderrd@183.182.115.7) |
| 08:17:29 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 08:18:58 | × | ukari quits (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 08:19:15 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 08:20:14 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 08:21:20 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 08:21:53 | → | Graf_Blutwurst joins (~grafblutw@2001:171b:226e:adc0:8d0f:df2a:9771:2f28) |
| 08:26:16 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 08:27:26 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 08:27:56 | × | drbean quits (~drbean@TC210-63-209-164.static.apol.com.tw) (Ping timeout: 240 seconds) |
| 08:27:58 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 08:28:01 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 08:28:37 | hackage | haskell-language-server 0.8.0.0 - LSP server for GHC https://hackage.haskell.org/package/haskell-language-server-0.8.0.0 (PepeIborra) |
| 08:28:37 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 08:30:13 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 08:30:36 | × | wz1000 quits (~wz1000@static.11.113.47.78.clients.your-server.de) (Ping timeout: 256 seconds) |
| 08:31:17 | <idnar> | ah, `demote` |
| 08:32:46 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 08:33:23 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 265 seconds) |
| 08:34:12 | → | dcoutts__ joins (~duncan@33.14.75.194.dyn.plus.net) |
| 08:34:27 | × | tzh quits (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 08:36:11 | → | tromp joins (~tromp@dhcp-077-249-230-040.chello.nl) |
| 08:36:53 | → | mirrorbird joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 08:37:06 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Ping timeout: 246 seconds) |
| 08:37:29 | × | p7lpa1ugixavugu2 quits (~atomic@2800:810:514:e7:7827:28ad:da72:6ba4) (Ping timeout: 272 seconds) |
| 08:38:56 | × | clarity quits (~clarity@90.221.74.173) (Ping timeout: 240 seconds) |
| 08:39:38 | hackage | box 0.6.3 - boxes https://hackage.haskell.org/package/box-0.6.3 (tonyday567) |
| 08:41:32 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 08:41:52 | → | kritzefitz joins (~kritzefit@fw-front.credativ.com) |
| 08:45:23 | → | Martinsos joins (~user@cpe-188-129-56-3.dynamic.amis.hr) |
| 08:47:59 | <Martinsos> | I am looking into combining Maybe and IO monad because I want to short circuit on couple of places. I am already using ExceptT from mtl on another place, but I thought for this, I need just Maybe so I will use MaybeT. However, from docs it seems like there is no MaybeT in the mtl package? I see there is one in transformers package. What should I use then? In general, should I use mtl or transformers? I read on wiki that mtl reexport |
| 08:47:59 | <Martinsos> | transformers and adds more stuff (liftIO that "knows |
| 08:48:10 | <Martinsos> | " where IO is). |
| 08:52:08 | hackage | mealy 0.0.2 - See readme.md https://hackage.haskell.org/package/mealy-0.0.2 (tonyday567) |
| 08:52:14 | <Martinsos> | I found this issue https://github.com/haskell/mtl/issues/6 but I am still not sure from it what I should use -> they say I should use MaybeT from transformers, but then ther is more discussion and it feels like maybe there is better way? |
| 08:53:12 | → | Wuzzy joins (~Wuzzy@p549c9ab1.dip0.t-ipconnect.de) |
| 08:54:32 | <idnar> | gah, I have (KnownNat a, KnownNat b) => '(a, b) but ghc can't solve KnownNat (Fst '(a, b))? |
| 08:55:37 | <idnar> | err, infer, not solve |
| 08:57:21 | × | omnitrogen quits (~omnitroge@vps-c9700282.vps.ovh.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 08:57:35 | → | omnitrogen joins (~omnitroge@vps-c9700282.vps.ovh.net) |
| 09:00:24 | × | thunderrd quits (~thunderrd@183.182.115.7) (Remote host closed the connection) |
| 09:01:28 | → | thunderrd joins (~thunderrd@183.182.115.7) |
| 09:06:18 | <kritzefitz> | Martinsos, mtl mostly adds automatic lifting to transformers. If you don't need that using MaybeT from transformers should be fine. If you want it, you can probably use `EitherT ()` instead. |
| 09:06:40 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 09:07:24 | <Martinsos> | Thanks kritzefitz! |
| 09:07:40 | → | gehmehgeh joins (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 09:08:03 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 09:08:53 | × | Lowl3v3l quits (~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) (Remote host closed the connection) |
| 09:08:59 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 09:10:36 | → | Lowl3v3l joins (~Lowl3v3l@dslb-002-203-233-121.002.203.pools.vodafone-ip.de) |
| 09:12:27 | × | adeene quits (~adeene@181.131.0.191) (Ping timeout: 246 seconds) |
| 09:12:31 | → | ulidtko|kk joins (~ulidtko@193.111.48.79) |
| 09:12:46 | × | Sgeo__ quits (~Sgeo@ool-18b98aa4.dyn.optonline.net) (Read error: Connection reset by peer) |
| 09:13:09 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 246 seconds) |
| 09:13:37 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 09:14:07 | × | sawmon-and-natal quits (sawmon-and@gateway/shell/matrix.org/x-xkqccjsghkugsakp) (*.net *.split) |
| 09:14:07 | × | AmitLevy[m] quits (amitmostly@gateway/shell/matrix.org/x-vyuomydfknfbjbnp) (*.net *.split) |
| 09:14:07 | × | agentofuser quits (agentofuse@gateway/shell/matrix.org/x-dmtxlewgreujfblx) (*.net *.split) |
| 09:14:07 | × | ciderpunx[m] quits (ciderpunxm@gateway/shell/matrix.org/x-qonptmkakkhhfuug) (*.net *.split) |
| 09:14:07 | × | jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-ivcswgscexrzjuni) (*.net *.split) |
| 09:14:07 | × | machinedgod quits (~machinedg@135-23-192-217.cpe.pppoe.ca) (*.net *.split) |
| 09:14:08 | × | phasespace_ quits (~sar@89-162-33-21.fiber.signal.no) (*.net *.split) |
| 09:14:08 | × | srid quits (sridmatrix@gateway/shell/matrix.org/x-pdosnofdyrruumoq) (*.net *.split) |
| 09:14:08 | × | boistordu quits (boistordum@gateway/shell/matrix.org/x-tvvlbzirbjskigcw) (*.net *.split) |
| 09:14:08 | × | plumenator[m] quits (plumenator@gateway/shell/matrix.org/x-eirtnyspkrcfumae) (*.net *.split) |
| 09:14:08 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-ltjxbpussrrsaivv) (*.net *.split) |
| 09:14:08 | × | Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-gnbnrewwnowdicdb) (*.net *.split) |
| 09:14:08 | × | PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-ucdydkolvsetyqeh) (*.net *.split) |
| 09:14:08 | × | domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (*.net *.split) |
| 09:14:08 | × | hyiltiz-M quits (hyiltizkde@gateway/shell/kde/matrix/x-jljmxicmadzpzslm) (*.net *.split) |
| 09:14:08 | × | benschza quits (~quassel@2604:1380:2000:cf00::1) (*.net *.split) |
| 09:14:08 | × | oats quits (~hurr@durr/im/a/sheep) (*.net *.split) |
| 09:14:08 | × | megaTherion quits (~therion@unix.io) (*.net *.split) |
| 09:14:08 | × | benl23 quits (sid284234@gateway/web/irccloud.com/x-thfjynaiimpinank) (*.net *.split) |
| 09:14:08 | × | PoliticsII______ quits (sid193551@gateway/web/irccloud.com/x-gnzqtdutccexjywp) (*.net *.split) |
| 09:14:08 | × | adius quits (sid321344@gateway/web/irccloud.com/x-rpilxswwqsdjkidt) (*.net *.split) |
| 09:14:08 | × | simony quits (sid226116@gateway/web/irccloud.com/x-iftxdytnixkwmkyg) (*.net *.split) |
| 09:14:08 | × | lexi-lambda quits (sid92601@gateway/web/irccloud.com/x-wazvuheyipjhlewf) (*.net *.split) |
| 09:14:08 | × | sis7 quits (~user@2001:15e8:110:473e::1) (*.net *.split) |
| 09:14:08 | × | zhulikas quits (~derp@213.239.204.108) (*.net *.split) |
| 09:14:08 | × | rslima_____ quits (sid26145@gateway/web/irccloud.com/x-bfeyyrmllgmhdyap) (*.net *.split) |
| 09:14:08 | × | \2E0KNO quits (~retlo@172.245.134.89) (*.net *.split) |
| 09:14:08 | × | Putonlalla quits (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 09:14:08 | × | ephemera_ quits (~E@122.34.1.187) (*.net *.split) |
| 09:14:08 | × | alinab quits (sid468903@gateway/web/irccloud.com/x-fkffdhjrtekfjgxd) (*.net *.split) |
| 09:14:08 | × | zgrep quits (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (*.net *.split) |
| 09:14:08 | × | xsarnik0 quits (xsarnik@gateway/shell/fi.muni.cz/x-wrudlzggfhmxxjno) (*.net *.split) |
| 09:14:08 | × | SolarAquarion quits (SolarAquar@gateway/shell/panicbnc/x-vaxxzctuxkewousu) (*.net *.split) |
| 09:14:08 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 09:14:08 | × | amatecha__ quits (sid10006@gateway/web/irccloud.com/x-jdqgbwrgwdnkyeme) (*.net *.split) |
| 09:14:08 | × | nerdypepper quits (~nerdypepp@152.67.162.71) (*.net *.split) |
| 09:14:08 | × | Guest80676 quits (~tristan@luna.whatbox.ca) (*.net *.split) |
| 09:14:08 | × | nemesit|znc quits (~nemesit@2a01:488:66:1000:2ea3:4eeb:0:1) (*.net *.split) |
| 09:15:00 | → | Tristan joins (~tristan@luna.whatbox.ca) |
| 09:15:03 | → | sawmon-and-natal joins (sawmon-and@gateway/shell/matrix.org/x-xkqccjsghkugsakp) |
| 09:15:03 | → | AmitLevy[m] joins (amitmostly@gateway/shell/matrix.org/x-vyuomydfknfbjbnp) |
| 09:15:03 | → | ciderpunx[m] joins (ciderpunxm@gateway/shell/matrix.org/x-qonptmkakkhhfuug) |
| 09:15:03 | → | agentofuser joins (agentofuse@gateway/shell/matrix.org/x-dmtxlewgreujfblx) |
| 09:15:03 | → | jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-ivcswgscexrzjuni) |
| 09:15:03 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-pdosnofdyrruumoq) |
| 09:15:03 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-ucdydkolvsetyqeh) |
| 09:15:03 | → | plumenator[m] joins (plumenator@gateway/shell/matrix.org/x-eirtnyspkrcfumae) |
| 09:15:03 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 09:15:03 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-gnbnrewwnowdicdb) |
| 09:15:03 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-ltjxbpussrrsaivv) |
| 09:15:03 | → | machinedgod joins (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 09:15:03 | → | phasespace_ joins (~sar@89-162-33-21.fiber.signal.no) |
| 09:15:03 | → | hyiltiz-M joins (hyiltizkde@gateway/shell/kde/matrix/x-jljmxicmadzpzslm) |
| 09:15:03 | → | benschza joins (~quassel@2604:1380:2000:cf00::1) |
| 09:15:03 | → | oats joins (~hurr@durr/im/a/sheep) |
| 09:15:03 | → | megaTherion joins (~therion@unix.io) |
| 09:15:03 | → | benl23 joins (sid284234@gateway/web/irccloud.com/x-thfjynaiimpinank) |
| 09:15:03 | → | PoliticsII______ joins (sid193551@gateway/web/irccloud.com/x-gnzqtdutccexjywp) |
| 09:15:03 | → | simony joins (sid226116@gateway/web/irccloud.com/x-iftxdytnixkwmkyg) |
| 09:15:03 | → | adius joins (sid321344@gateway/web/irccloud.com/x-rpilxswwqsdjkidt) |
| 09:15:03 | → | lexi-lambda joins (sid92601@gateway/web/irccloud.com/x-wazvuheyipjhlewf) |
| 09:15:03 | → | \2E0KNO joins (~retlo@172.245.134.89) |
| 09:15:03 | → | sis7 joins (~user@2001:15e8:110:473e::1) |
| 09:15:03 | → | zhulikas joins (~derp@213.239.204.108) |
| 09:15:03 | → | rslima_____ joins (sid26145@gateway/web/irccloud.com/x-bfeyyrmllgmhdyap) |
| 09:15:03 | → | Putonlalla joins (~sapekiis@it-cyan.it.jyu.fi) |
| 09:15:03 | → | ephemera_ joins (~E@122.34.1.187) |
| 09:15:03 | → | alinab joins (sid468903@gateway/web/irccloud.com/x-fkffdhjrtekfjgxd) |
| 09:15:03 | → | zgrep joins (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 09:15:03 | → | xsarnik0 joins (xsarnik@gateway/shell/fi.muni.cz/x-wrudlzggfhmxxjno) |
| 09:15:03 | → | SolarAquarion joins (SolarAquar@gateway/shell/panicbnc/x-vaxxzctuxkewousu) |
| 09:15:03 | → | TimWolla joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 09:15:03 | → | amatecha__ joins (sid10006@gateway/web/irccloud.com/x-jdqgbwrgwdnkyeme) |
| 09:15:03 | → | nerdypepper joins (~nerdypepp@152.67.162.71) |
| 09:15:03 | → | nemesit|znc joins (~nemesit@2a01:488:66:1000:2ea3:4eeb:0:1) |
| 09:15:23 | Tristan | is now known as Guest73254 |
| 09:17:26 | × | svc0[m] quits (svc0matrix@gateway/shell/matrix.org/x-rvnbfldzxmjikmnv) (Ping timeout: 240 seconds) |
| 09:17:27 | × | plumenator[m] quits (plumenator@gateway/shell/matrix.org/x-eirtnyspkrcfumae) (Ping timeout: 258 seconds) |
| 09:17:42 | × | tomsen[m] quits (tfbiomatri@gateway/shell/matrix.org/x-wiqpcuxrzferldgy) (Ping timeout: 246 seconds) |
| 09:17:42 | × | sm[m] quits (simonmicma@gateway/shell/matrix.org/x-nbxkyreqixfzhwyh) (Ping timeout: 246 seconds) |
| 09:17:42 | × | WojciechK quits (~wojciechk@srv04.mikr.us) (Ping timeout: 246 seconds) |
| 09:17:51 | × | sawmon-and-natal quits (sawmon-and@gateway/shell/matrix.org/x-xkqccjsghkugsakp) (Ping timeout: 242 seconds) |
| 09:17:51 | × | AmitLevy[m] quits (amitmostly@gateway/shell/matrix.org/x-vyuomydfknfbjbnp) (Ping timeout: 242 seconds) |
| 09:17:51 | × | ciderpunx[m] quits (ciderpunxm@gateway/shell/matrix.org/x-qonptmkakkhhfuug) (Ping timeout: 242 seconds) |
| 09:17:51 | × | jkaye[m] quits (jkayematri@gateway/shell/matrix.org/x-ivcswgscexrzjuni) (Ping timeout: 242 seconds) |
| 09:17:52 | × | srid quits (sridmatrix@gateway/shell/matrix.org/x-pdosnofdyrruumoq) (Ping timeout: 242 seconds) |
| 09:17:52 | × | lambdaclan quits (lambdaclan@gateway/shell/matrix.org/x-ltjxbpussrrsaivv) (Ping timeout: 242 seconds) |
| 09:17:52 | × | Ericson2314 quits (ericson231@gateway/shell/matrix.org/x-gnbnrewwnowdicdb) (Ping timeout: 242 seconds) |
| 09:17:53 | × | domenkozar[m] quits (domenkozar@NixOS/user/domenkozar) (Ping timeout: 242 seconds) |
| 09:17:56 | × | falling-edge[m] quits (falling-ed@gateway/shell/matrix.org/x-wszqlucenyidrigv) (Ping timeout: 240 seconds) |
| 09:17:56 | × | bitonic quits (bitonicmat@gateway/shell/matrix.org/x-vhjdbozvahihkqbd) (Ping timeout: 240 seconds) |
| 09:18:00 | × | speakerspivakeem quits (speakerdea@gateway/shell/matrix.org/x-bjrlsxjwvmioqafa) (Ping timeout: 260 seconds) |
| 09:18:00 | × | shutendoji[m] quits (shutendoji@gateway/shell/matrix.org/x-rfkqtwiddvhsusga) (Ping timeout: 260 seconds) |
| 09:18:00 | × | alvinsj[m] quits (alvinsjmat@gateway/shell/matrix.org/x-ncsvfnucfjnyrgbw) (Ping timeout: 260 seconds) |
| 09:18:03 | × | jespada quits (~jespada@90.254.241.81) (Ping timeout: 246 seconds) |
| 09:18:20 | × | SlackIntegration quits (slackbotma@gateway/shell/matrix.org/x-xaywavpfvuxuleuw) (Ping timeout: 268 seconds) |
| 09:18:26 | × | freeman42x[m] quits (freeman42x@gateway/shell/matrix.org/x-doksirfppfeshrdm) (Ping timeout: 240 seconds) |
| 09:18:27 | × | Lurkki[m] quits (lurkkipriv@gateway/shell/matrix.org/x-hoicvvxtseshtfys) (Ping timeout: 260 seconds) |
| 09:18:28 | × | jeffcasavant[m] quits (jeffcasava@gateway/shell/matrix.org/x-sqsmmbntczuaytut) (Ping timeout: 260 seconds) |
| 09:18:36 | × | agentofuser quits (agentofuse@gateway/shell/matrix.org/x-dmtxlewgreujfblx) (Ping timeout: 258 seconds) |
| 09:18:37 | × | PotatoHatsue quits (berbermanp@gateway/shell/matrix.org/x-ucdydkolvsetyqeh) (Ping timeout: 258 seconds) |
| 09:18:57 | × | bsima[m] quits (bensimatim@gateway/shell/matrix.org/x-urscgtkjjmhqkmtg) (Ping timeout: 268 seconds) |
| 09:19:07 | → | Wojciech_K joins (~wojciechk@2001:41d0:a:5be4::449) |
| 09:19:32 | → | jespada joins (~jespada@90.254.241.81) |
| 09:20:48 | × | Lurkki[m]1 quits (lurkkifene@gateway/shell/matrix.org/x-xyvalzjhrsdkxmnz) (Ping timeout: 268 seconds) |
| 09:20:50 | × | berberman[T] quits (berberma4@gateway/shell/matrix.org/x-osoluggoqowcuvpn) (Ping timeout: 244 seconds) |
| 09:20:50 | × | Hatsue[m] quits (berbermanm@gateway/shell/matrix.org/x-rouxvgfkpeawwqmg) (Ping timeout: 244 seconds) |
| 09:20:51 | × | Poscat[m] quits (poscatmatr@gateway/shell/matrix.org/x-gueeryvrvywywepd) (Ping timeout: 246 seconds) |
| 09:20:56 | × | joshualit140[m] quits (joshualit1@gateway/shell/matrix.org/x-xellcqqodwrmzgeb) (Ping timeout: 240 seconds) |
| 09:20:56 | × | sigmacool[m] quits (sigmacoolm@gateway/shell/matrix.org/x-tqqfrmbpqmhyrwwm) (Ping timeout: 240 seconds) |
| 09:20:56 | × | psamim quits (samimpmatr@gateway/shell/matrix.org/x-xavqfqwexdgthira) (Ping timeout: 240 seconds) |
| 09:20:56 | × | johnnyboy[m] quits (gifumatrix@gateway/shell/matrix.org/x-eqgtbmzkgsstxncp) (Ping timeout: 240 seconds) |
| 09:21:04 | × | alexfmpe quits (alexfmpema@gateway/shell/matrix.org/x-byqytykovyimfmwc) (Ping timeout: 240 seconds) |
| 09:21:16 | × | jamesfielder[m] quits (jamesfield@gateway/shell/matrix.org/x-auddokkqlapocdze) (Ping timeout: 260 seconds) |
| 09:21:16 | × | pedrorubster[m] quits (pedrorubst@gateway/shell/matrix.org/x-cxklccsqddkbljxh) (Ping timeout: 260 seconds) |
| 09:21:16 | × | materialfuture[m quits (materialfu@gateway/shell/matrix.org/x-poubusjnwgwdhibz) (Ping timeout: 260 seconds) |
| 09:21:16 | × | michaelpj quits (michaelpjm@gateway/shell/matrix.org/x-avmxjktgbbtfmcgd) (Ping timeout: 260 seconds) |
| 09:21:16 | × | dyniec[m] quits (dyniecmatr@gateway/shell/matrix.org/x-ntcjtjszjxydaelo) (Ping timeout: 260 seconds) |
| 09:21:21 | × | cnmne[m] quits (cnmnematri@gateway/shell/matrix.org/x-yqyhqtdpkmjccxbo) (Ping timeout: 244 seconds) |
| 09:21:21 | × | tomferon[m] quits (tomferonmo@gateway/shell/matrix.org/x-wgqfpuplavvsxsmv) (Ping timeout: 244 seconds) |
| 09:21:22 | × | doct0rhu[m] quits (doct0rhumo@gateway/shell/matrix.org/x-nmicptjnfqigxndx) (Ping timeout: 244 seconds) |
| 09:21:22 | × | kadoban quits (kadobanmat@gateway/shell/matrix.org/x-gnuwovgpdsrcbwox) (Ping timeout: 244 seconds) |
| 09:21:22 | × | immae quits (immaematri@gateway/shell/matrix.org/x-ytogmypvmxmylhfa) (Ping timeout: 244 seconds) |
| 09:21:22 | × | rab24ack[m] quits (rab24ackma@gateway/shell/matrix.org/x-skrqszorsicvvytw) (Ping timeout: 244 seconds) |
| 09:21:22 | × | sajith[m] quits (sajithmatr@gateway/shell/matrix.org/x-vqeabuabwmnkiwoy) (Ping timeout: 244 seconds) |
| 09:21:22 | × | ThaEwat quits (thaewraptm@gateway/shell/matrix.org/x-leyrcawrevfaweft) (Ping timeout: 244 seconds) |
| 09:21:24 | × | phittacus quits (bklmatrixo@gateway/shell/matrix.org/x-upxwasehcbqwbaok) (Ping timeout: 240 seconds) |
| 09:21:24 | × | peterstorm[m] quits (peterstorm@gateway/shell/matrix.org/x-xgqsrftqahlagtzf) (Ping timeout: 240 seconds) |
| 09:21:24 | × | floatingpoint[m] quits (floating5@gateway/shell/matrix.org/x-jnnwmbvuyeiqgdox) (Ping timeout: 240 seconds) |
| 09:21:24 | × | Vanilla[m] quits (danielm14@gateway/shell/matrix.org/x-mgwgkjexevbkrbqr) (Ping timeout: 240 seconds) |
| 09:21:25 | × | pqwy[m] quits (pqwymatrix@gateway/shell/matrix.org/x-buwmowguuktecqyx) (Ping timeout: 268 seconds) |
| 09:21:25 | × | Noughtmare[m] quits (naughtmare@gateway/shell/matrix.org/x-kfshvbdmjgnmuxno) (Ping timeout: 240 seconds) |
| 09:21:25 | × | VarikValefor[m] quits (varikvalef@gateway/shell/matrix.org/x-efkxyfhxorsrfapq) (Ping timeout: 240 seconds) |
| 09:21:26 | × | majjoha quits (majjohamat@gateway/shell/matrix.org/x-leykffjskbgwpulm) (Ping timeout: 240 seconds) |
| 09:21:26 | × | hsiktas[m] quits (hsiktasmat@gateway/shell/matrix.org/x-mlqpsjowfrisptsz) (Ping timeout: 240 seconds) |
| 09:21:26 | × | fgaz quits (fgazmatrix@gateway/shell/matrix.org/x-tvdmheqhrxmmyrlk) (Ping timeout: 240 seconds) |
| 09:21:26 | × | Wraul[m] quits (wraulmatri@gateway/shell/matrix.org/x-hajahcqhmbjuwizv) (Ping timeout: 240 seconds) |
| 09:21:26 | × | siraben quits (sirabenmat@gateway/shell/matrix.org/x-lsyfmmsafvsgxclv) (Ping timeout: 240 seconds) |
| 09:21:26 | × | unclechu quits (unclechuma@gateway/shell/matrix.org/x-gzjftrcrydblrjdx) (Ping timeout: 240 seconds) |
| 09:21:26 | × | rednaZ[m] quits (r3dnazmatr@gateway/shell/matrix.org/x-jmjfsvkbdjyewneq) (Ping timeout: 240 seconds) |
| 09:21:33 | × | MrMuffles[m] quits (mrmufflesm@gateway/shell/matrix.org/x-qzmlnxoxhvhmrbuw) (Ping timeout: 246 seconds) |
| 09:21:33 | × | jesser[m] quits (jessermatr@gateway/shell/matrix.org/x-nqsrhzuwxpgtqomy) (Ping timeout: 246 seconds) |
| 09:21:33 | × | lnxw37d4 quits (lnxw37d4ma@gateway/shell/matrix.org/x-mkikbnuojklmfntz) (Ping timeout: 246 seconds) |
| 09:21:44 | × | metamod[m] quits (metamodmat@gateway/shell/matrix.org/x-vegmddrmmzofrwfb) (Ping timeout: 260 seconds) |
| 09:21:49 | × | bram[m]1 quits (bramvdbnet@gateway/shell/matrix.org/x-zugvknxbtikcvrct) (Ping timeout: 272 seconds) |
| 09:22:02 | × | itai33[m] quits (itai33matr@gateway/shell/matrix.org/x-cqamvkpzztotawix) (Ping timeout: 268 seconds) |
| 09:22:02 | × | meckse[m] quits (mecksematr@gateway/shell/matrix.org/x-gybjkekcemenufin) (Ping timeout: 268 seconds) |
| 09:22:02 | × | noIOBeforeBedtim quits (dissatisfi@gateway/shell/matrix.org/x-vbixyrrshivnbxeu) (Ping timeout: 268 seconds) |
| 09:22:02 | × | pythag76[m] quits (pythag76ma@gateway/shell/matrix.org/x-ggiocpmwxahenddw) (Ping timeout: 268 seconds) |
| 09:22:02 | × | maralorn quits (maralornma@gateway/shell/matrix.org/x-qrhhtrbqstosjyne) (Ping timeout: 268 seconds) |
| 09:22:02 | × | jtojnar quits (jtojnarmat@gateway/shell/matrix.org/x-hyeggfxuyivlnyfm) (Ping timeout: 268 seconds) |
| 09:22:02 | × | psydruid quits (psydruidma@gateway/shell/matrix.org/x-utnbvkpmnvgoqxct) (Ping timeout: 268 seconds) |
| 09:22:11 | × | Hanma[m] quits (hanmamatri@gateway/shell/matrix.org/x-xmiplyscwblzknhc) (Ping timeout: 260 seconds) |
| 09:23:48 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 09:24:00 | × | mirrorbird quits (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) (Quit: Leaving) |
| 09:24:20 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 09:25:08 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 09:26:54 | × | LKoen quits (~LKoen@57.174.9.109.rev.sfr.net) (Remote host closed the connection) |
| 09:27:38 | × | Ayo quits (~quassel@82.177.83.189) (Remote host closed the connection) |
| 09:29:12 | → | mbomba joins (~mbomba@bras-base-toroon2719w-grc-53-142-114-5-26.dsl.bell.ca) |
| 09:30:30 | × | mbomba quits (~mbomba@bras-base-toroon2719w-grc-53-142-114-5-26.dsl.bell.ca) (Client Quit) |
| 09:30:39 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 09:33:27 | → | poi6 joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 09:33:57 | → | pera joins (~pera@unaffiliated/pera) |
| 09:35:01 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 09:35:03 | × | hnOsmium0001 quits (uid453710@gateway/web/irccloud.com/x-nqknitdsztaixrvi) (Quit: Connection closed for inactivity) |
| 09:35:08 | × | livvy quits (~livvy@gateway/tor-sasl/livvy) (Ping timeout: 268 seconds) |
| 09:35:16 | → | livvy_ joins (~livvy@gateway/tor-sasl/livvy) |
| 09:35:37 | × | jamm quits (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 09:35:54 | × | sgibber2018 quits (d055ed90@208.85.237.144) (Quit: Connection closed) |
| 09:44:21 | → | clarity joins (~clarity@90.221.74.173) |
| 09:45:21 | × | tito_04 quits (~taurux@net-188-216-43-78.cust.vodafonedsl.it) (Ping timeout: 246 seconds) |
| 09:47:26 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 09:47:27 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 09:47:44 | × | poi6 quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Quit: Ping timeout (120 seconds)) |
| 09:48:08 | → | ubert joins (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) |
| 09:48:36 | → | bitmagie joins (~Thunderbi@200116b806090000f4ab7dda1cf642fc.dip.versatel-1u1.de) |
| 09:49:07 | → | wz1000 joins (~wz1000@static.11.113.47.78.clients.your-server.de) |
| 09:51:44 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 09:51:57 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 258 seconds) |
| 09:55:45 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 09:57:38 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Client Quit) |
| 09:58:17 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 10:03:48 | → | hekkaidekapus{ joins (~tchouri@gateway/tor-sasl/hekkaidekapus) |
| 10:04:23 | → | Rudd0 joins (~Rudd0@185.189.115.103) |
| 10:04:51 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 10:05:05 | × | bitmagie quits (~Thunderbi@200116b806090000f4ab7dda1cf642fc.dip.versatel-1u1.de) (Quit: bitmagie) |
| 10:06:17 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 10:06:35 | × | hekkaidekapus_ quits (~tchouri@gateway/tor-sasl/hekkaidekapus) (Ping timeout: 268 seconds) |
| 10:07:17 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 10:09:04 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 10:09:24 | → | Ericson2314 joins (ericson231@gateway/shell/matrix.org/x-cokleamqeebpekzn) |
| 10:09:59 | → | thc202 joins (~thc202@unaffiliated/thc202) |
| 10:12:01 | → | __monty__ joins (~toonn@unaffiliated/toonn) |
| 10:16:03 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 10:17:05 | × | esph quits (~weechat@unaffiliated/esph) (Ping timeout: 256 seconds) |
| 10:17:32 | × | winny quits (~winny@fsf/member/winstonw) (Ping timeout: 268 seconds) |
| 10:18:48 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 10:18:54 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 10:19:47 | → | mastarija joins (~mastarija@188.252.197.240) |
| 10:20:01 | × | mastarija quits (~mastarija@188.252.197.240) (Client Quit) |
| 10:22:19 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 244 seconds) |
| 10:22:33 | ← | vilpan parts (~0@212.117.1.172) () |
| 10:25:10 | × | pabelanger1 quits (~pabelange@s91904426.blix.com) (Remote host closed the connection) |
| 10:25:17 | × | raym quits (~ray@45.64.220.94) (Ping timeout: 265 seconds) |
| 10:25:26 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 240 seconds) |
| 10:28:10 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 10:28:38 | → | esph joins (~weechat@unaffiliated/esph) |
| 10:30:07 | hackage | ghc-typelits-presburger 0.5.2.0 - Presburger Arithmetic Solver for GHC Type-level natural numbers. https://hackage.haskell.org/package/ghc-typelits-presburger-0.5.2.0 (HiromiIshii) |
| 10:30:55 | → | Noughtmare[m] joins (naughtmare@gateway/shell/matrix.org/x-dyzvyraelljasalt) |
| 10:30:55 | → | domenkozar[m] joins (domenkozar@NixOS/user/domenkozar) |
| 10:30:55 | → | alexfmpe joins (alexfmpema@gateway/shell/matrix.org/x-punjhmxibxmzzcsk) |
| 10:30:55 | → | fgaz joins (fgazmatrix@gateway/shell/matrix.org/x-qwcblseffshwekwg) |
| 10:30:55 | → | johnnyboy[m] joins (gifumatrix@gateway/shell/matrix.org/x-yocdbznzmtgbgyip) |
| 10:30:55 | → | jesser[m] joins (jessermatr@gateway/shell/matrix.org/x-hqqotgpacxhcflpq) |
| 10:30:56 | → | jkaye[m] joins (jkayematri@gateway/shell/matrix.org/x-isbeegbsbbpbnfmq) |
| 10:30:56 | → | jtojnar joins (jtojnarmat@gateway/shell/matrix.org/x-mkjdlicgvpugpcqb) |
| 10:30:56 | → | kadoban joins (kadobanmat@gateway/shell/matrix.org/x-zsqqnlgeeerpazoa) |
| 10:30:56 | → | lambdaclan joins (lambdaclan@gateway/shell/matrix.org/x-omrverlcipistniw) |
| 10:30:56 | → | lnxw37d4 joins (lnxw37d4ma@gateway/shell/matrix.org/x-yfzetbxzccxmkvyg) |
| 10:30:56 | → | psydruid joins (psydruidma@gateway/shell/matrix.org/x-eqeusxpozjpjzxii) |
| 10:30:56 | → | rednaZ[m] joins (r3dnazmatr@gateway/shell/matrix.org/x-phvyuxujkxdmssod) |
| 10:30:56 | → | psamim joins (samimpmatr@gateway/shell/matrix.org/x-dcguiotzlrxgzihw) |
| 10:30:56 | → | siraben joins (sirabenmat@gateway/shell/matrix.org/x-rkgbhxveuguasbev) |
| 10:30:56 | → | SlackIntegration joins (slackbotma@gateway/shell/matrix.org/x-quioypzyysisrznl) |
| 10:30:56 | → | sm[m] joins (simonmicma@gateway/shell/matrix.org/x-pxatdtkbaojkesek) |
| 10:30:56 | → | unclechu joins (unclechuma@gateway/shell/matrix.org/x-lcyrdquzayeteuqf) |
| 10:30:56 | → | ThaEwat joins (thaewraptm@gateway/shell/matrix.org/x-ffltfxkklmupuiab) |
| 10:30:56 | → | dyniec[m] joins (dyniecmatr@gateway/shell/matrix.org/x-tiwglixjshsbtzzb) |
| 10:30:56 | → | hsiktas[m] joins (hsiktasmat@gateway/shell/matrix.org/x-epdwuwaxojaxjoot) |
| 10:30:56 | → | falling-edge[m] joins (falling-ed@gateway/shell/matrix.org/x-xplkkdvtzbaptzcf) |
| 10:30:56 | → | rab24ack[m] joins (rab24ackma@gateway/shell/matrix.org/x-blendkmcxqjnurbq) |
| 10:30:57 | → | boistordu joins (boistordum@gateway/shell/matrix.org/x-zrepnvzmlishjtyo) |
| 10:30:57 | → | srid joins (sridmatrix@gateway/shell/matrix.org/x-eqyvotonllvcrfzo) |
| 10:30:57 | → | noIOBeforeBedtim joins (dissatisfi@gateway/shell/matrix.org/x-zarxiibjozmlgdxf) |
| 10:30:57 | → | PotatoHatsue joins (berbermanp@gateway/shell/matrix.org/x-fvttsecbqgzsopxp) |
| 10:30:57 | → | pythag76[m] joins (pythag76ma@gateway/shell/matrix.org/x-sylxwgeccngwcgmf) |
| 10:30:57 | → | Hanma[m] joins (hanmamatri@gateway/shell/matrix.org/x-klgjunbutihycqpq) |
| 10:30:57 | → | majjoha joins (majjohamat@gateway/shell/matrix.org/x-qpthhdozhwfhxicl) |
| 10:30:57 | → | jeffcasavant[m] joins (jeffcasava@gateway/shell/matrix.org/x-jdfjejqeowndoybc) |
| 10:30:57 | → | alvinsj[m] joins (alvinsjmat@gateway/shell/matrix.org/x-efybeaxussamscqd) |
| 10:30:58 | → | sajith[m] joins (sajithmatr@gateway/shell/matrix.org/x-oljapipqytqjlijy) |
| 10:30:58 | → | maralorn joins (maralornma@gateway/shell/matrix.org/x-sjzyxxevmvmgzqvy) |
| 10:30:58 | → | bitonic joins (bitonicmat@gateway/shell/matrix.org/x-brodufnwkyoitqns) |
| 10:30:58 | → | Lurkki[m] joins (lurkkipriv@gateway/shell/matrix.org/x-zgerzciunksqhuaz) |
| 10:30:58 | → | berberman[T] joins (berberma4@gateway/shell/matrix.org/x-tgbvvicopfhgokiy) |
| 10:30:58 | → | pqwy[m] joins (pqwymatrix@gateway/shell/matrix.org/x-ozoztrafhtubsnsp) |
| 10:30:58 | → | tomsen[m] joins (tfbiomatri@gateway/shell/matrix.org/x-bqfmmklmykwcrbpa) |
| 10:30:58 | → | svc0[m] joins (svc0matrix@gateway/shell/matrix.org/x-dtvumpcknelzusyw) |
| 10:30:58 | → | bsima[m] joins (bensimatim@gateway/shell/matrix.org/x-huxmleloizjzuasn) |
| 10:30:58 | → | michaelpj joins (michaelpjm@gateway/shell/matrix.org/x-gcqvxzrbxtokolnm) |
| 10:30:58 | → | tomferon[m] joins (tomferonmo@gateway/shell/matrix.org/x-aqhtwzvawdcbqrti) |
| 10:30:58 | → | Poscat[m] joins (poscatmatr@gateway/shell/matrix.org/x-hfhlwvacaxjvqaqt) |
| 10:30:59 | → | plumenator[m] joins (plumenator@gateway/shell/matrix.org/x-glnwovhopottmhin) |
| 10:30:59 | → | VarikValefor[m] joins (varikvalef@gateway/shell/matrix.org/x-cuutpbqlyjtpuoap) |
| 10:30:59 | → | freeman42x[m] joins (freeman42x@gateway/shell/matrix.org/x-hbzkaijufkzzcjdd) |
| 10:30:59 | → | immae joins (immaematri@gateway/shell/matrix.org/x-ofxcdonokwuzcveu) |
| 10:30:59 | → | shutendoji[m] joins (shutendoji@gateway/shell/matrix.org/x-kmrydpegvqrzzszy) |
| 10:30:59 | → | doct0rhu[m] joins (doct0rhumo@gateway/shell/matrix.org/x-poijrifulcxoniuv) |
| 10:30:59 | → | metamod[m] joins (metamodmat@gateway/shell/matrix.org/x-xjvmtpxarqrqmlzv) |
| 10:30:59 | → | Hatsue[m] joins (berbermanm@gateway/shell/matrix.org/x-egznoeikiirwfbjl) |
| 10:31:00 | → | cnmne[m] joins (cnmnematri@gateway/shell/matrix.org/x-ldcgbhnlkxrkkxhe) |
| 10:31:01 | → | itai33[m] joins (itai33matr@gateway/shell/matrix.org/x-gjvywfpzwkobmnwn) |
| 10:31:03 | → | ciderpunx[m] joins (ciderpunxm@gateway/shell/matrix.org/x-clobtdcpqrqegptf) |
| 10:31:03 | → | speakerspivakeem joins (speakerdea@gateway/shell/matrix.org/x-zmbqrttruanzugny) |
| 10:31:03 | → | Wraul[m] joins (wraulmatri@gateway/shell/matrix.org/x-yktupeqcyyfwftqo) |
| 10:31:03 | → | pedrorubster[m] joins (pedrorubst@gateway/shell/matrix.org/x-jnacjvwdwjespsqj) |
| 10:31:03 | → | Lurkki[m]1 joins (lurkkifene@gateway/shell/matrix.org/x-rezmhedzxwddlxkk) |
| 10:31:04 | → | MrMuffles[m] joins (mrmufflesm@gateway/shell/matrix.org/x-aebijzuigdvqusxr) |
| 10:31:04 | → | materialfuture[m joins (materialfu@gateway/shell/matrix.org/x-ufssgzpfkqpvdlod) |
| 10:31:04 | → | peterstorm[m] joins (peterstorm@gateway/shell/matrix.org/x-vpzdqokcgzyjmmpw) |
| 10:31:04 | → | sawmon-and-natal joins (sawmon-and@gateway/shell/matrix.org/x-ysxfybhvxkakjlut) |
| 10:31:04 | → | Vanilla[m] joins (danielm14@gateway/shell/matrix.org/x-awxjutosftkuncfl) |
| 10:31:04 | → | floatingpoint[m] joins (floating5@gateway/shell/matrix.org/x-jmpdhdvmyfjlkowe) |
| 10:31:04 | → | joshualit140[m] joins (joshualit1@gateway/shell/matrix.org/x-jwvbmfevhcetqtrt) |
| 10:31:05 | → | agentofuser joins (agentofuse@gateway/shell/matrix.org/x-zvbluxvadqrzkoqv) |
| 10:31:05 | → | AmitLevy[m] joins (amitmostly@gateway/shell/matrix.org/x-xygqbdsefnadeoao) |
| 10:31:05 | → | meckse[m] joins (mecksematr@gateway/shell/matrix.org/x-kpigpdguvztgpjbd) |
| 10:31:05 | → | sigmacool[m] joins (sigmacoolm@gateway/shell/matrix.org/x-mlxatbvadcvtvpox) |
| 10:31:06 | → | bram[m]1 joins (bramvdbnet@gateway/shell/matrix.org/x-flausrfxdvvarwxm) |
| 10:31:06 | → | jamesfielder[m] joins (jamesfield@gateway/shell/matrix.org/x-giwxnfriekqwvubu) |
| 10:31:06 | → | phittacus joins (bklmatrixo@gateway/shell/matrix.org/x-uhmwlecsuevyvxpb) |
| 10:31:13 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 10:31:20 | → | winny joins (~winny@fsf/member/winstonw) |
| 10:31:48 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 10:33:59 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 10:34:24 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 240 seconds) |
| 10:36:32 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 10:37:13 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 10:39:20 | → | ManofLetters[m] joins (manoflette@gateway/shell/matrix.org/x-uhjhgfadgvsydqxe) |
| 10:40:10 | → | son0p joins (~son0p@181.58.39.182) |
| 10:40:56 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 10:42:38 | hackage | equational-reasoning 0.7.0.0 - Proof assistant for Haskell using DataKinds & PolyKinds https://hackage.haskell.org/package/equational-reasoning-0.7.0.0 (HiromiIshii) |
| 10:43:27 | → | kuribas joins (~user@ptr-25vy0i8rqljfcgb7rvm.18120a2.ip6.access.telenet.be) |
| 10:43:56 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 240 seconds) |
| 10:45:40 | ski | . o O ( `fromSing song' ) |
| 10:46:29 | <hc> | =) |
| 10:46:35 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 10:47:54 | → | Alleria joins (~textual@mskresolve-a.mskcc.org) |
| 10:48:17 | Alleria | is now known as Guest78126 |
| 10:51:22 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 258 seconds) |
| 10:51:46 | × | ubert quits (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 10:53:15 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 10:53:19 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 244 seconds) |
| 10:53:53 | → | LKoen joins (~LKoen@57.174.9.109.rev.sfr.net) |
| 10:54:10 | → | vite joins (~vite@s91904426.blix.com) |
| 10:55:37 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 10:57:21 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 10:58:39 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 11:00:38 | × | ericsagnes quits (~ericsagne@2405:6580:0:5100:956:5b56:4aff:9c50) (Ping timeout: 264 seconds) |
| 11:01:44 | <kuribas> | nice, we have 3 new clojure developers in our team, and they all are interested to learn more about haskell :-) |
| 11:01:51 | <kuribas> | things are starting to look good :-) |
| 11:01:56 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 240 seconds) |
| 11:02:09 | <maerwald> | better have ppl who care about the product :p |
| 11:02:41 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 11:02:58 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 11:03:00 | × | cantstanya quits (~chatting@gateway/tor-sasl/cantstanya) (Remote host closed the connection) |
| 11:03:01 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 11:03:58 | <kuribas> | maerwald: why are those exclusive? |
| 11:04:08 | <maerwald> | are they? |
| 11:04:30 | <Franciman> | * ski . o O ( `fromSing song' ) <- thanks ski, you enabled a whole new world for me |
| 11:04:46 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 11:04:54 | <kuribas> | maerwald: "better have ppl who care about the product :p" <= as if people who are interested in haskell means, not interested in the product |
| 11:05:08 | <maerwald> | I didn't say that |
| 11:05:19 | → | cantstanya joins (~chatting@gateway/tor-sasl/cantstanya) |
| 11:05:33 | <kuribas> | maerwald: anyway, that was the job of our HR and team lead, I am sure we have good people now (for as much as you can know this). |
| 11:08:49 | → | carthia joins (~carthia@gateway/tor-sasl/carthia) |
| 11:08:50 | <kuribas> | maerwald: also, IMO a good haskell developper knows when to leave the fun toys aside, and focus on the problem at hand. |
| 11:09:12 | <maerwald> | oh, I have different experience |
| 11:09:15 | <kuribas> | fun toys = GADTs, type families, etc... |
| 11:09:23 | × | carthia quits (~carthia@gateway/tor-sasl/carthia) (Client Quit) |
| 11:09:57 | → | DavidEichmann joins (~david@234.109.45.217.dyn.plus.net) |
| 11:10:34 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 11:10:47 | <maerwald> | but these days I also think that language choice is less significant than ppl think |
| 11:10:51 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 11:10:55 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 11:11:13 | <superstar64> | yea, assembly and idris are virtually the samething |
| 11:11:24 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 244 seconds) |
| 11:11:30 | <maerwald> | are they? |
| 11:12:06 | <kuribas> | maerwald: yes, something I absolutely disagree with. |
| 11:12:10 | <superstar64> | language choice matters a lot imo |
| 11:12:23 | <kuribas> | maerwald: but that doesn't mean I think everything should be in haskell though. |
| 11:12:33 | → | m0rphism joins (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 11:12:39 | <maerwald> | what matters is developers not language |
| 11:12:56 | → | ericsagnes joins (~ericsagne@2405:6580:0:5100:eb5d:4ebe:3c0:e5b5) |
| 11:13:11 | <kuribas> | I do think "good developers" are more important than a "good programming language", that's a completely different idea. |
| 11:13:12 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 11:13:22 | <kuribas> | That does mean PL choice is insignificant. |
| 11:14:09 | <kuribas> | doesn't |
| 11:14:49 | <kuribas> | also I think for many projects, haskell is a better language, but java could be a better choice. |
| 11:15:06 | <kuribas> | It depends on the developers and company background. |
| 11:15:27 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 256 seconds) |
| 11:15:27 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 256 seconds) |
| 11:15:33 | <kuribas> | starting a haskell project without at least one experienced haskell developer is likely to be a failure. |
| 11:15:39 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 11:15:42 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 11:16:03 | <superstar64> | at least java has system-f, so it's at least usable https://gist.github.com/Superstar64/2d3f5e7973fcc8cc6501d5a63030762b |
| 11:16:08 | <kuribas> | And many project simply are not that complicated that you need the added expressivity of haskell. |
| 11:19:52 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 11:20:17 | <kuribas> | I mean, CRUD in haskell is a bit nicer, but it can be done well in java or C#. |
| 11:22:27 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 11:23:28 | <kuribas> | especially since, like superstar64 says, modern java has generics, lambdas, a repl, ... |
| 11:26:10 | → | brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 11:30:57 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 11:33:55 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 265 seconds) |
| 11:34:28 | × | vicfred quits (~vicfred@unaffiliated/vicfred) (Quit: Leaving) |
| 11:35:14 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 11:35:26 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 11:36:08 | → | jamm joins (~jamm@unaffiliated/jamm) |
| 11:37:19 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 11:37:30 | → | aarvar joins (~foewfoiew@2601:602:a080:fa0:8d02:2e39:5e02:59d2) |
| 11:38:25 | → | vicfred joins (~vicfred@unaffiliated/vicfred) |
| 11:38:49 | ← | aarvar parts (~foewfoiew@2601:602:a080:fa0:8d02:2e39:5e02:59d2) () |
| 11:40:14 | × | xff0x quits (~xff0x@2001:1a81:52c0:a300:c5ed:5537:e28b:b291) (Ping timeout: 264 seconds) |
| 11:40:34 | → | xff0x joins (~xff0x@2001:1a81:52c0:a300:74:d14d:bfef:9841) |
| 11:40:50 | × | jamm quits (~jamm@unaffiliated/jamm) (Ping timeout: 264 seconds) |
| 11:44:22 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 11:46:57 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 11:50:24 | → | poi61 joins (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) |
| 11:50:49 | × | poi61 quits (6f63120c@KD111099018012.ppp-bb.dion.ne.jp) (Client Quit) |
| 11:51:06 | → | hexfive joins (~hexfive@50.35.83.177) |
| 11:52:55 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 11:54:02 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 11:55:59 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 12:00:30 | → | p7lpa1ugixavugu joins (~atomic@2800:810:514:e7:8080:b5dd:9ae1:501b) |
| 12:00:54 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 12:04:25 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 12:05:22 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 12:06:43 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 12:08:28 | <exarkun> | kuribas: oh no |
| 12:08:28 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 265 seconds) |
| 12:08:39 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 12:08:40 | × | plutoniix quits (~q@184.82.194.132) (Quit: Leaving) |
| 12:08:44 | <exarkun> | kuribas: will you join my haskell project please |
| 12:09:11 | <kuribas> | exarkun: probably not? |
| 12:09:16 | → | jespada_ joins (~jespada@148.252.128.163) |
| 12:09:42 | <kuribas> | exarkun: but I could help if you have a specific question. |
| 12:09:44 | <exarkun> | doomed to failure :( |
| 12:10:04 | <kuribas> | exarkun: you're here, that counts for something :) |
| 12:10:14 | × | jespada_ quits (~jespada@148.252.128.163) (Read error: Connection reset by peer) |
| 12:10:16 | <exarkun> | re: " ... project without at least one experienced ..." |
| 12:10:21 | <exarkun> | kuribas: heh ok:) |
| 12:10:24 | × | jespada quits (~jespada@90.254.241.81) (Ping timeout: 265 seconds) |
| 12:10:49 | <kuribas> | exarkun: what's your project? |
| 12:11:32 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 12:11:45 | → | jespada joins (~jespada@90.254.242.138) |
| 12:12:18 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 12:12:31 | <kuribas> | exarkun: I am not saying it's impossible, just that I wouldn't recommend it. |
| 12:12:54 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
| 12:13:08 | <kuribas> | exarkun: but since you already started, better get on with it :) And you're here, so you get advice from the best :-) |
| 12:13:22 | × | phasespace_ quits (~sar@89-162-33-21.fiber.signal.no) (Remote host closed the connection) |
| 12:15:15 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 12:16:33 | <kuribas> | My recommendation would be, when you're learning haskell, first try it on some hobby project, or something non-critical. |
| 12:18:26 | → | poscat1 joins (~poscat@221.217.131.44) |
| 12:19:00 | × | poscat quits (~poscat@221.217.131.44) (Ping timeout: 246 seconds) |
| 12:19:24 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 12:19:26 | poscat1 | is now known as poscat |
| 12:23:08 | <exarkun> | Yea. I also think that's a good idea. :) |
| 12:23:43 | <exarkun> | https://todo.sr.ht/~jcalderone/DevBot is definitely not critical |
| 12:24:02 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 12:24:03 | <exarkun> | https://github.com/PrivateStorageio/PaymentServer is somewhat more important |
| 12:24:45 | <exarkun> | https://gitlab.com/exarkun/chk.hs is what I've been working on most recently and is largely a study exercise |
| 12:25:15 | → | fendor_ joins (~fendor@178.165.130.173.wireless.dyn.drei.com) |
| 12:25:33 | <exarkun> | chk.hs actually works now! I gave up trying to find an aes-ctr streaming library and wrote my own in 20 minutes :/ probably should have done that from the start.. |
| 12:26:01 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 12:26:33 | <exarkun> | code is a total mess though because I spent all my brainpower understanding the domain logic |
| 12:27:45 | × | fendor quits (~fendor@178.115.128.82.wireless.dyn.drei.com) (Ping timeout: 246 seconds) |
| 12:29:16 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 240 seconds) |
| 12:30:49 | × | olligobber quits (olligobber@gateway/vpn/privateinternetaccess/olligobber) (Remote host closed the connection) |
| 12:31:43 | × | superstar64 quits (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) (Quit: Connection closed) |
| 12:33:02 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 12:34:39 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 12:37:50 | × | Alleria_ quits (~AllahuAkb@2603-7000-3040-0000-4026-a9ff-e6dc-fee9.res6.spectrum.com) (Ping timeout: 264 seconds) |
| 12:37:53 | <kuribas> | exarkun: cool! |
| 12:41:24 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 12:41:32 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 12:41:59 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 12:42:56 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Remote host closed the connection) |
| 12:43:14 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 12:43:18 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 12:45:45 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 12:46:15 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 12:46:17 | → | avdb joins (~avdb@gateway/tor-sasl/avdb) |
| 12:46:39 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 246 seconds) |
| 12:46:48 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 12:47:15 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Quit: reboot) |
| 12:47:42 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 12:49:35 | × | kuribas quits (~user@ptr-25vy0i8rqljfcgb7rvm.18120a2.ip6.access.telenet.be) (Quit: ERC (IRC client for Emacs 26.3)) |
| 12:51:45 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 12:55:14 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 12:56:56 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 12:57:25 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 12:59:19 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 13:01:06 | <hc> | exarkun: nice :) |
| 13:02:43 | <__monty__> | I like how you distribute your projects across *all* the forges, no favoritism here! : ) |
| 13:02:50 | → | urodna joins (~urodna@unaffiliated/urodna) |
| 13:04:18 | → | geowiesnot joins (~user@87-89-181-157.abo.bbox.fr) |
| 13:06:37 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 13:07:06 | × | jackk_Doe quits (~jackk@205.178.111.134) (Quit: Going offline, see ya! (www.adiirc.com)) |
| 13:07:44 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 13:08:22 | → | jackk_Doe joins (~jackk@205.178.111.134) |
| 13:08:46 | × | hexfive quits (~hexfive@50.35.83.177) (Quit: i must go. my people need me.) |
| 13:09:06 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Remote host closed the connection) |
| 13:09:23 | → | fosterite joins (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) |
| 13:09:24 | × | geowiesnot quits (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 13:10:40 | × | son0p quits (~son0p@181.58.39.182) (Quit: leaving) |
| 13:12:20 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 13:12:43 | → | brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 13:14:01 | <exarkun> | __monty__: :) |
| 13:14:39 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 13:15:55 | → | Tario joins (~Tario@201.192.165.173) |
| 13:16:32 | × | berberman_ quits (~berberman@unaffiliated/berberman) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:16:50 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 13:16:57 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 13:17:14 | → | berberman joins (~berberman@unaffiliated/berberman) |
| 13:17:49 | <__monty__> | exarkun: Is the latter part of the implementation of PrivateStorage.io? And is the latter not a thing yet, cause it sounds pretty cool? |
| 13:18:07 | → | Alleria_ joins (~AllahuAkb@2603-7000-3040-0000-a4c2-7b90-773e-683c.res6.spectrum.com) |
| 13:18:09 | × | brisbin quits (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) (Ping timeout: 272 seconds) |
| 13:18:41 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 13:19:11 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 13:19:19 | × | pjb quits (~t@2a01cb04063ec500f54c15bc3341a564.ipv6.abo.wanadoo.fr) (Ping timeout: 272 seconds) |
| 13:21:37 | → | Tops2 joins (~Tobias@dyndsl-095-033-027-247.ewe-ip-backbone.de) |
| 13:22:07 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Remote host closed the connection) |
| 13:23:33 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 13:25:55 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 13:27:19 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 13:28:13 | <idnar> | Warning: Unknown extensions: StandaloneKindSignatures, StandaloneKindSignatures, StandaloneKindSignatures, StandaloneKindSignatures |
| 13:28:42 | <exarkun> | __monty__: privatestorage.io is ... coming. _Maybe_ this quarter. chk.hs might eventually be part of it but that's even further off. |
| 13:29:01 | → | brisbin joins (~patrick@pool-173-49-158-4.phlapa.fios.verizon.net) |
| 13:29:35 | <merijn> | idnar: Which GHC? |
| 13:29:59 | <__monty__> | idnar: You wouldn't expect such a self-sufficient extension to gang up on you like that. |
| 13:30:15 | → | hyperisco joins (~hyperisco@104-195-141-253.cpe.teksavvy.com) |
| 13:31:28 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 13:31:57 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Ping timeout: 264 seconds) |
| 13:31:57 | merijn | is starting a bet on "GHC that's too old" :p |
| 13:32:43 | × | fosterite quits (~fosterite@2600:6c46:7800:fecf:fc76:4685:81e0:70cd) (Remote host closed the connection) |
| 13:33:12 | <geekosaur> | or cabal too old? (other-extensions) |
| 13:33:26 | <maerwald> | maybe the computer is too old |
| 13:33:27 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 13:33:47 | <idnar> | merijn: my cabal is too old; just found the repetition amusing |
| 13:34:15 | <merijn> | Just update to cabal-install HEAD daily and avoid these problems! ;) |
| 13:35:39 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 13:35:41 | <__monty__> | *Terms and Conditions apply, other problems may arise, we deny all responsibility for loss of data or life. |
| 13:35:53 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 13:36:16 | <merijn> | __monty__: cabal HEAD has almost always worked fine for me (not counting when I modified the source :p) |
| 13:39:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 13:39:38 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:39:56 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 13:40:21 | → | Tops21 joins (~Tobias@dyndsl-095-033-027-247.ewe-ip-backbone.de) |
| 13:40:26 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection) |
| 13:42:35 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 13:42:38 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 13:43:58 | <idnar> | rewriting a thing with singletons |
| 13:44:25 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 13:44:25 | × | Tops2 quits (~Tobias@dyndsl-095-033-027-247.ewe-ip-backbone.de) (Ping timeout: 265 seconds) |
| 13:44:41 | <merijn> | "What is a thing people say before hating their life?" |
| 13:45:17 | <hpc> | i vote that we rename all other definitions "pluraltons" |
| 13:45:41 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 13:47:24 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 13:47:39 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 13:48:08 | hackage | json-sop 0.2.0.5 - Generics JSON (de)serialization using generics-sop https://hackage.haskell.org/package/json-sop-0.2.0.5 (EdskoDeVries) |
| 13:49:09 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:52:07 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 13:53:09 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 13:53:26 | × | vite quits (~vite@s91904426.blix.com) (Remote host closed the connection) |
| 13:54:33 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 13:54:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 13:55:15 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 13:55:15 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 13:56:13 | <idnar> | https://gist.github.com/mithrandi/d3d02aedab4b8cf900c2a566a90a06d1 |
| 13:58:08 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 13:58:46 | → | pavonia joins (~user@unaffiliated/siracusa) |
| 13:58:51 | <idnar> | and `demote @n` instead of `natVal' @n proxy#` |
| 13:59:02 | × | poscat quits (~poscat@221.217.131.44) (Quit: ZNC 1.8.2 - https://znc.in) |
| 13:59:45 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 14:00:02 | → | raehik joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 14:00:09 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 14:01:52 | → | poscat joins (~poscat@221.217.131.44) |
| 14:02:48 | → | p3n joins (~p3n@217.198.124.246) |
| 14:04:36 | × | p3n quits (~p3n@217.198.124.246) (Remote host closed the connection) |
| 14:04:50 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 14:04:56 | × | Franciman quits (~francesco@host-79-51-37-36.retail.telecomitalia.it) (Quit: Leaving) |
| 14:06:20 | × | ixaxaar quits (~ixaxaar@49.207.210.215) (Remote host closed the connection) |
| 14:06:21 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 14:07:12 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 14:08:00 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 14:11:29 | → | rwdrich joins (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 14:12:55 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:13:07 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 14:13:18 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 14:15:42 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 14:15:54 | → | ubert joins (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) |
| 14:16:30 | → | Neuromancer joins (~Neuromanc@unaffiliated/neuromancer) |
| 14:16:49 | → | son0p joins (~son0p@181.136.122.143) |
| 14:17:50 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 14:17:54 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:18:13 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 14:18:16 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:18:19 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 14:18:53 | → | c9sloud joins (~c9sloud@185.163.110.126) |
| 14:20:14 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 14:20:33 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 14:22:42 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) (Remote host closed the connection) |
| 14:22:54 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 14:23:24 | → | ixaxaar joins (~ixaxaar@49.207.210.215) |
| 14:26:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:29:17 | → | mdunnio joins (~mdunnio@172.97.43.112) |
| 14:30:29 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Client Quit) |
| 14:30:50 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:33:38 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 14:33:57 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Ping timeout: 265 seconds) |
| 14:34:14 | × | Benzi-Junior quits (~BenziJuni@88-149-65-135.du.xdsl.is) (Quit: gone) |
| 14:34:51 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 14:35:23 | → | chele joins (~chele@ip5b40237d.dynamic.kabel-deutschland.de) |
| 14:36:09 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 264 seconds) |
| 14:37:31 | → | Benzi-Junior joins (~BenziJuni@dsl-149-65-135.hive.is) |
| 14:38:53 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:41:38 | → | cgadski joins (~cgadski@a95-95-106-208.cpe.netcabo.pt) |
| 14:41:42 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 14:43:00 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 14:43:50 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 14:44:45 | → | raym joins (~ray@45.64.220.55) |
| 14:45:11 | × | raym quits (~ray@45.64.220.55) (Remote host closed the connection) |
| 14:46:03 | → | kobaam joins (~manjaro-u@2601:285:c000:a6c0::ca73) |
| 14:47:26 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 14:47:49 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 14:48:07 | → | soft-warm joins (4408f588@ip68-8-245-136.sd.sd.cox.net) |
| 14:49:50 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 14:50:20 | → | raym joins (~ray@45.64.220.55) |
| 14:50:33 | × | Sonderblade quits (~helloman@94.191.152.250.mobile.tre.se) (Ping timeout: 246 seconds) |
| 14:51:49 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 14:52:18 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 14:53:53 | × | soft-warm quits (4408f588@ip68-8-245-136.sd.sd.cox.net) (Ping timeout: 248 seconds) |
| 14:54:45 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 14:55:26 | → | cr3 joins (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 14:57:25 | → | Synthetica joins (uid199651@gateway/web/irccloud.com/x-vkobiouropvqwcgg) |
| 14:57:42 | → | Saukk joins (~Saukk@83-148-239-3.dynamic.lounea.fi) |
| 14:58:44 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 14:59:00 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 14:59:30 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 14:59:36 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 15:01:40 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 15:01:50 | × | mrchampion quits (~mrchampio@38.18.109.23) (Read error: Connection reset by peer) |
| 15:02:40 | → | cods joins (~fred@82-65-232-44.subs.proxad.net) |
| 15:03:17 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 15:05:55 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 15:06:56 | → | justanotheruser joins (~justanoth@unaffiliated/justanotheruser) |
| 15:08:06 | × | kobaam quits (~manjaro-u@2601:285:c000:a6c0::ca73) (Read error: Connection reset by peer) |
| 15:10:11 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 15:13:23 | → | Sgeo joins (~Sgeo@ool-18b98aa4.dyn.optonline.net) |
| 15:16:15 | × | dandart quits (~Thunderbi@home.dandart.co.uk) (Ping timeout: 265 seconds) |
| 15:16:42 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Ping timeout: 260 seconds) |
| 15:17:17 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 15:18:48 | → | worc3131 joins (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) |
| 15:19:08 | hackage | byteslice 0.2.5.0 - Slicing managed and unmanaged memory https://hackage.haskell.org/package/byteslice-0.2.5.0 (andrewthad) |
| 15:19:15 | → | polyphem joins (~p0lyph3m@2a02:810d:640:776c:76d7:55f6:f85b:c889) |
| 15:19:19 | × | LKoen quits (~LKoen@57.174.9.109.rev.sfr.net) (Remote host closed the connection) |
| 15:20:14 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 15:20:33 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 15:22:14 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 15:22:50 | × | averell quits (~averell@unaffiliated/averell) (Remote host closed the connection) |
| 15:23:23 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 15:24:09 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 15:24:25 | → | dandart joins (~Thunderbi@home.dandart.co.uk) |
| 15:24:33 | → | danza joins (~francesco@151.53.69.77) |
| 15:25:03 | → | mrchampion joins (~mrchampio@38.18.109.23) |
| 15:26:04 | → | averell joins (~averell@unaffiliated/averell) |
| 15:26:17 | → | adm_ joins (~adm@117.230.183.154) |
| 15:27:24 | × | cgadski quits (~cgadski@a95-95-106-208.cpe.netcabo.pt) () |
| 15:30:07 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 15:30:14 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Remote host closed the connection) |
| 15:30:54 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 15:30:59 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 15:34:48 | → | Lord_of_Life joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 15:35:16 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 15:36:38 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Ping timeout: 264 seconds) |
| 15:37:57 | × | adm_ quits (~adm@117.230.183.154) (Remote host closed the connection) |
| 15:38:29 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 15:38:45 | → | adm_ joins (~adm@117.230.183.154) |
| 15:43:29 | × | adm_ quits (~adm@117.230.183.154) (Ping timeout: 256 seconds) |
| 15:46:24 | × | pera quits (~pera@unaffiliated/pera) (Ping timeout: 240 seconds) |
| 15:48:02 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 15:50:14 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 15:50:15 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 15:50:17 | → | elfets joins (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 15:54:38 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 15:56:10 | <wmacmil> | i just installed stack, via curl, on Linux mint, and it's getting stuck at this point |
| 15:56:11 | <wmacmil> | $ stack update |
| 15:56:11 | <wmacmil> | Selected mirror https://s3.amazonaws.com/hackage.fpcomplete.com/ |
| 15:56:11 | <wmacmil> | Downloading timestamp |
| 15:56:11 | <wmacmil> | Downloading snapshot |
| 15:56:11 | <wmacmil> | Downloading mirrors |
| 15:56:13 | <wmacmil> | Cannot update index (no local copy) |
| 15:56:13 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Killed (Sigyn (Spam is off topic on freenode.))) |
| 15:56:46 | × | chele quits (~chele@ip5b40237d.dynamic.kabel-deutschland.de) (Remote host closed the connection) |
| 15:57:34 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 15:58:46 | ChanServ | sets mode +o ski |
| 15:59:09 | ChanServ | sets mode -o ski |
| 15:59:46 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 15:59:46 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 16:00:11 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Ping timeout: 272 seconds) |
| 16:00:12 | <ski> | (please don't paste lots of lines into the channel, all at the same time) |
| 16:00:18 | <wmacmil> | but no progress has been made for a while |
| 16:00:26 | <wmacmil> | @ski, gotcha |
| 16:00:26 | <lambdabot> | Unknown command, try @list |
| 16:01:25 | <wmacmil> | does anyone have any progress with stack not updating, or any idea why its in a stuck state |
| 16:02:57 | <wmacmil> | or maybe i'm just being impatient? has been > .5 hour |
| 16:03:49 | → | LKoen joins (~LKoen@57.174.9.109.rev.sfr.net) |
| 16:04:25 | → | aveltras joins (uid364989@gateway/web/irccloud.com/x-gafigmgultvuhodj) |
| 16:04:26 | → | mmmattyx joins (uid17782@gateway/web/irccloud.com/x-apzeirkcrnkojqkt) |
| 16:04:27 | <ski> | (perhaps if you wait around for a bit in the channel, someone will turn up who might have some suggestion) |
| 16:05:44 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 16:05:44 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 16:06:17 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 16:07:00 | <wmacmil> | ok, nevermind, it just terminated |
| 16:07:22 | <wmacmil> | presumably worked, with the final ouput : Package index cache populated |
| 16:07:36 | <ski> | ok |
| 16:07:43 | × | danvet quits (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 265 seconds) |
| 16:08:45 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 16:12:07 | × | ubert quits (~Thunderbi@p200300ecdf1ee0a5e6b318fffe838f33.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 16:12:53 | → | stef204 joins (~stef204@unaffiliated/stef-204/x-384198) |
| 16:14:18 | <wmacmil> | just a side question: if you hypothetically want to copy/paste a 5 line program, or error message, etc into this irc, whats the suggested way? copy paste a gist? |
| 16:14:24 | <merijn> | @where paste |
| 16:14:24 | <lambdabot> | Help us help you: please paste full code, input and/or output at eg https://paste.tomsmeding.com |
| 16:14:47 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:16:39 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 16:17:59 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 16:18:56 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 16:19:43 | → | cfricke joins (~cfricke@unaffiliated/cfricke) |
| 16:20:12 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 16:20:33 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 16:23:02 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 16:25:32 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 16:27:08 | hackage | ghc-dump-core 0.1.2.0 - An AST and compiler plugin for dumping GHC's Core representation. https://hackage.haskell.org/package/ghc-dump-core-0.1.2.0 (BenGamari) |
| 16:27:17 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 16:28:08 | hackage | ip 1.7.3 - Library for IP and MAC addresses https://hackage.haskell.org/package/ip-1.7.3 (andrewthad) |
| 16:28:08 | hackage | ghc-dump-util 0.1.2.0 - Handy tools for working with ghc-dump dumps https://hackage.haskell.org/package/ghc-dump-util-0.1.2.0 (BenGamari) |
| 16:29:06 | → | adeene joins (~adeene@181.131.0.191) |
| 16:29:10 | → | conal joins (~conal@192.145.117.145) |
| 16:32:12 | → | rdivyanshu joins (uid322626@gateway/web/irccloud.com/x-kyudgntnnhxnqkma) |
| 16:32:13 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 256 seconds) |
| 16:34:04 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Ping timeout: 265 seconds) |
| 16:34:30 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 272 seconds) |
| 16:35:01 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 16:35:22 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 16:36:35 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 16:37:17 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 16:39:44 | → | djbeau joins (~dbeaureg@148.87.23.7) |
| 16:40:33 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Client Quit) |
| 16:43:08 | → | hnOsmium0001 joins (uid453710@gateway/web/irccloud.com/x-dezhbwagilkvzynb) |
| 16:44:55 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 16:47:06 | × | stef204 quits (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.0) |
| 16:48:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 16:48:52 | → | ccchapman joins (~cchapman@S0106889e68fa3df2.vc.shawcable.net) |
| 16:50:37 | → | rfn joins (~rais@116.88.230.170) |
| 16:50:53 | → | nineonine joins (~nineonine@S01061cabc0b095f3.vf.shawcable.net) |
| 16:52:42 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 16:52:51 | × | nineonine quits (~nineonine@S01061cabc0b095f3.vf.shawcable.net) (Remote host closed the connection) |
| 16:53:37 | → | nineonine joins (~nineonine@50.216.62.2) |
| 16:55:11 | → | Lord_of_Life_ joins (~Lord@unaffiliated/lord-of-life/x-0885362) |
| 16:55:16 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Remote host closed the connection) |
| 16:55:52 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 16:56:01 | × | Lord_of_Life quits (~Lord@unaffiliated/lord-of-life/x-0885362) (Ping timeout: 256 seconds) |
| 16:56:07 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Read error: Connection reset by peer) |
| 16:56:35 | Lord_of_Life_ | is now known as Lord_of_Life |
| 17:00:42 | → | vappend joins (~ezrakilty@75-172-109-5.tukw.qwest.net) |
| 17:01:08 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 17:02:01 | × | Neuromancer quits (~Neuromanc@unaffiliated/neuromancer) (Ping timeout: 256 seconds) |
| 17:03:14 | → | tzh joins (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 17:03:44 | <aveltras> | what would be the cleanest way to get the "pane1" to be "paneX" where X is the number of the current iteration in the following code ? |
| 17:03:47 | × | rwdrich quits (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Quit: Ping timeout (120 seconds)) |
| 17:03:50 | <aveltras> | https://www.irccloud.com/pastebin/3BFG7jkW/ |
| 17:04:16 | → | pera joins (~pera@unaffiliated/pera) |
| 17:04:21 | → | ep1ctetus joins (~epictetus@ip184-187-162-163.sb.sd.cox.net) |
| 17:07:52 | → | rwdrich joins (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) |
| 17:08:13 | × | rwdrich quits (560395a9@cpc159427-cmbg20-2-0-cust424.5-4.cable.virginm.net) (Client Quit) |
| 17:08:34 | <monochrom> | Change "forM_ items $ \(title, content)" to "forM_ (zip items [0..]) $ \((title, content), i)". Now i is your loop counter. |
| 17:10:50 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 264 seconds) |
| 17:10:52 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 17:11:32 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 17:12:23 | × | danza quits (~francesco@151.53.69.77) (Quit: Leaving) |
| 17:12:26 | <aveltras> | is it defined somewhere on Foldable ? it seems it's always specialized to some container type |
| 17:12:32 | <aveltras> | https://hoogle.haskell.org/?hoogle=zip |
| 17:12:42 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 17:12:48 | <aveltras> | i'd like to keep the code generic as it's for a library |
| 17:13:07 | × | hiroaki quits (~hiroaki@ip4d167562.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 17:13:11 | <monochrom> | No. |
| 17:13:45 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 17:14:26 | ← | sternmull parts (~kringel@pd9ed7db6.dip0.t-ipconnect.de) () |
| 17:14:28 | → | cole-h joins (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 17:15:39 | × | conal quits (~conal@192.145.117.145) (Ping timeout: 272 seconds) |
| 17:15:45 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 17:17:57 | → | hololeap joins (~hololeap@unaffiliated/hololeap) |
| 17:19:29 | <pounce> | could somebody help me out because i always forget... is (StateT Logic) or (LogicT State) global state for a backtracking computation? |
| 17:20:13 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 17:20:26 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 17:20:33 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 17:21:47 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 17:21:52 | → | conal joins (~conal@64.71.133.70) |
| 17:22:15 | × | kritzefitz quits (~kritzefit@fw-front.credativ.com) (Remote host closed the connection) |
| 17:22:31 | <hololeap> | what do people use for an "IDE"? i've just been using two terminal windows with vim and ghci. <save>, switch terminals, `:r`, switch terminals, ... |
| 17:22:34 | <aveltras> | monochrom: thanks, kept the foldable constraint in the end and used toList on it |
| 17:22:46 | <hololeap> | i feel like there has to be something better |
| 17:22:56 | <merijn> | hololeap: Vim + ghcide via ALE |
| 17:23:02 | <aveltras> | haskell-language-server with emacs or vscode seems to work fine |
| 17:23:17 | <aveltras> | should work with vim too but im not familiar with it |
| 17:23:22 | <hpc> | hololeap: vim plus cabal repl? :D |
| 17:24:03 | <hololeap> | merijn: what is ALE? |
| 17:24:13 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 17:24:20 | <merijn> | Asynchronous Lint Engine, it's a vim plugin with LSP support |
| 17:24:32 | <hololeap> | oh, alright. i'll look into that |
| 17:24:39 | → | ADG1089__ joins (~aditya@122.163.160.223) |
| 17:24:47 | <merijn> | hololeap: The answer is "everything will gradually be LSP, because LSP is objectively the only sensible technical choice" :p |
| 17:25:37 | × | evanjs quits (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 17:25:44 | <hololeap> | i noticed that kate for KDE now has lsp support. now i just need to get lsp working for haskell |
| 17:26:09 | <ski> | @unmtl StateT s (ContT () (ContT o m)) a |
| 17:26:09 | <lambdabot> | s -> (a -> s -> (() -> m o) -> m o) -> (() -> m o) -> m o |
| 17:26:16 | <merijn> | hololeap: ghcide and hls are both LSP based (and technically hls includes ghcide) |
| 17:26:19 | <ski> | @unmtl ContT () (ContT o (ReaderT s m)) a |
| 17:26:19 | <lambdabot> | (a -> (() -> s -> m o) -> s -> m o) -> (() -> s -> m o) -> s -> m o |
| 17:26:26 | <ski> | @unmtl ContT () (ContT o (StateT s m)) a |
| 17:26:26 | <lambdabot> | (a -> (() -> s -> m (o, s)) -> s -> m (o, s)) -> (() -> s -> m (o, s)) -> s -> m (o, s) |
| 17:26:29 | <merijn> | But ghcide works on my machine *now*, so I'm not touching anything :p |
| 17:27:04 | <ski> | pounce : you want state to persist backtracking ? |
| 17:27:18 | <pounce> | ski: yes |
| 17:27:26 | × | Graf_Blutwurst quits (~grafblutw@2001:171b:226e:adc0:8d0f:df2a:9771:2f28) (Quit: WeeChat 3.0) |
| 17:27:27 | <ski> | do you care about the final state ? |
| 17:27:28 | <pounce> | the other way would be non-backtracking state |
| 17:27:46 | <ski> | (the other would be what's usually called "backtrackable state") |
| 17:27:55 | <pounce> | ski: no, I don't really care about final state |
| 17:28:23 | <ski> | try `LogicT (Reader s)' |
| 17:28:32 | → | evanjs joins (~evanjs@075-129-098-007.res.spectrum.com) |
| 17:28:39 | hackage | dep-t 0.1.1.0 - Reader-like monad transformer for dependency injection. https://hackage.haskell.org/package/dep-t-0.1.1.0 (DanielDiazCarrete) |
| 17:28:55 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 17:29:46 | <pounce> | ski: but LogicT State would also be global state, yes? |
| 17:30:00 | <ski> | but then you get back the final state in the end |
| 17:30:22 | <ski> | (also, it allows for "post-end" modification of the state) |
| 17:30:52 | <ski> | hm |
| 17:30:55 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 17:31:17 | <pounce> | ah makes sense |
| 17:31:27 | <ski> | maybe `ContT o (State s)' is actually doing something more involved. haven't checked details |
| 17:31:35 | <ski> | i'd try `LogicT (Reader s)' |
| 17:31:57 | × | ccchapman quits (~cchapman@S0106889e68fa3df2.vc.shawcable.net) (Read error: Connection reset by peer) |
| 17:32:29 | <ski> | (and start by building state primitives from the `Reader' stuff. also, i'd possibly hand-check to make sure things do what i expect them to) |
| 17:33:04 | ski | 's more used to writing this kind of CPS stuff, by hand, rather than relying on combining monad transformers for it |
| 17:34:30 | × | APic quits (apic@apic.name) (Quit: New Screen + irssi) |
| 17:36:12 | → | APic joins (apic@apic.name) |
| 17:36:29 | → | knupfer joins (~Thunderbi@200116b82c623500042b66fffec02cf1.dip.versatel-1u1.de) |
| 17:36:30 | × | knupfer quits (~Thunderbi@200116b82c623500042b66fffec02cf1.dip.versatel-1u1.de) (Client Quit) |
| 17:36:43 | → | neiluj joins (~jco@91-167-203-101.subs.proxad.net) |
| 17:36:44 | × | neiluj quits (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 17:36:44 | → | neiluj joins (~jco@unaffiliated/neiluj) |
| 17:36:45 | → | knupfer joins (~Thunderbi@i59F7FF3A.versanet.de) |
| 17:37:07 | <raehik> | I've got an issue trying to use typeclasses with Alex. Since it generates actions with no type sig, any (Monad m) constraints don't work when I run the actions in the main lexer |
| 17:37:23 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 17:37:25 | <raehik> | I get a bunch of "ambiguous type variable 'm0'" errors |
| 17:37:52 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 17:38:05 | <raehik> | confirmed that adding the type sigs into the generated code works, but -- anyone have an idea on how to solve this? |
| 17:42:25 | → | sh9 joins (~sh9@softbank060116136158.bbtec.net) |
| 17:43:27 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 17:44:14 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 17:44:16 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 17:44:55 | <ski> | raehik : passing `-XNoMonomorphismRestriction' when compiling it works ? |
| 17:45:44 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 17:48:00 | <raehik> | ski: yes, thank you very much! I have seen that and read about it! but I don't get it! |
| 17:48:23 | × | rajivr quits (uid269651@gateway/web/irccloud.com/x-zdjmgeijnbfzlamw) (Quit: Connection closed for inactivity) |
| 17:48:38 | × | sh9 quits (~sh9@softbank060116136158.bbtec.net) (Quit: WeeChat 2.8) |
| 17:48:44 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 17:48:57 | <ski> | consider something like |
| 17:49:05 | <ski> | primes = sieve [2 ..] |
| 17:49:07 | <ski> | where |
| 17:49:32 | × | xff0x quits (~xff0x@2001:1a81:52c0:a300:74:d14d:bfef:9841) (Ping timeout: 260 seconds) |
| 17:49:36 | <ski> | sieve (p:ns) = p : sieve [n | n <- ns,n `mod` p /= 0] |
| 17:49:57 | <ski> | `primes' is an (infinite) list of (prime) numbers |
| 17:50:04 | → | xff0x joins (~xff0x@2001:1a81:52c0:a300:ad73:6002:7d0e:38a4) |
| 17:50:37 | <raehik> | yes? |
| 17:50:53 | <raehik> | I suppose it's concerning what type that number is |
| 17:51:00 | <ski> | note that `primes' is not a function. using lazy evaluation, you'd expect that it memoized (cached) the values of the already generated primes, so that next time you look up some numbers from the `primes' list, it doesn't recompute them from scratch anymore |
| 17:51:25 | <raehik> | right |
| 17:51:35 | <ski> | however, the inferred type for `primes' would be `Integral i => [i]' |
| 17:51:39 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 17:52:17 | <cheater> | how would i solve the following problem in haskell? 1. every usb root hub can have up to 127 devices connected to its network of usb devices. 2. every hub counts as one device. 3. every hub has 4 ports. 4. hubs can be cascaded up to 5 levels, so usb root -> hub 1 -> hub 2 -> hub 3 -> hub 4 -> hub 5 -> keyboard is fine. 5. the usb root does not count as one of the 127 devices. 6. we want to maximize the amount of non-hub devices the user can connect |
| 17:52:18 | <cheater> | at once. every non-hub device counts as 1 device connected out of the limit of 127. |
| 17:52:46 | <cheater> | i want to figure out the topology of hub i'd be using to maximize the devices. |
| 17:52:53 | <cheater> | *of hubs |
| 17:53:12 | <ski> | and, with the dictionary-passing implementation of evidence records for type class constraints (`Integral i' here), this would actually be implemented as a function (`primes :: IntegralDict i -> [i]' where `data IntegralDict i = MkID {..,mod :: i -> i -> i,..}'), where the argument of type `IntegralDict i' is passed implicitly for you (you don't type it out) |
| 17:53:38 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 17:53:49 | <ski> | so .. in fact, you'd not get the expected memoized behaviour of `primes' here, you'd instead recompute them over and over, each time you references `primes' |
| 17:53:55 | <ski> | raehik : ok, so far ? |
| 17:54:06 | <raehik> | I see, more or less |
| 17:54:09 | <ski> | so |
| 17:54:21 | × | Jd007 quits (~Jd007@162.156.11.151) (Quit: Jd007) |
| 17:54:32 | <ski> | it was decided, iirc in Haskell98, that this would be confusing behaviour to newbies (and possibly sometimes also not-so-newbies) |
| 17:54:51 | <ski> | so, the (Dreaded) Monomorphism Restriction was invented, that forbids such definitions |
| 17:55:38 | <raehik> | I see! hadn't seen it explained that way |
| 17:55:45 | <ski> | what it *tries* to do here, when you have a definition with no function parameters left of the `=', but still have some inferred constraints (`Integral i' here), is to *default* `i' to some particular specific type. in this case, it'd use `Integer' |
| 17:56:10 | <ski> | so, the above definition will actually just give you `primes :: [Integer]' .. which now memoizes as expected |
| 17:56:34 | → | Jd007 joins (~Jd007@162.156.11.151) |
| 17:56:39 | <ski> | however, perhaps you wanted to use `primes' at some other number type, and you're confused why `primes' isn't polymorphic as usual |
| 17:57:22 | <ski> | or, if it can't find a specific type to default on, in order to do away with the inferred type class constraints (like in your case, you had `Monad m', with no default for `m' there) |
| 17:57:35 | <ski> | then it will give you an ambiguity error, as you saw |
| 17:58:10 | <raehik> | Yep |
| 17:58:35 | <[exa]> | cheater: why in haskell? (it's a relatively easy math) |
| 17:58:43 | <ski> | so, while avoiding the suprising situation of not getting expected memoization, DMR instead confuses people because they're not getting polymorphism, or they're getting ambiguity errors |
| 17:58:56 | <raehik> | yes |
| 17:58:57 | <ski> | (hence the "Dreaded" nickname) |
| 17:59:04 | <raehik> | of course, it could be avoided by just annotating things correctly? |
| 17:59:06 | <ski> | there's three things you can do, to avoid DMR |
| 17:59:47 | → | rayyyy joins (~nanoz@gateway/tor-sasl/nanoz) |
| 17:59:56 | <cheater> | [exa]: i don't know how i would solve it mathematically |
| 18:00:16 | <ski> | 0. you can put an explicit type signature on the definition. that always makes DMR not fire, since by declaring your (non-function-style) operation definition as constrained polymorphic, you show that you know there's constraints involved, and so you can be expected to know about loss of memoization |
| 18:00:38 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 18:00:40 | <ski> | in your case, this was not an option, since you didn't want to modify the Alex-generated code (and presumably Alex didn't have an option to generate type signatures) |
| 18:01:11 | <[exa]> | cheater: if you have any number of connected hubs in any topology and you add one, the total amount of devices that you can connect increases by 3, right? |
| 18:01:23 | <monochrom> | Annotating things is easier said than done. If you think it's easy, you've only thought of top-level ones, which are easy. |
| 18:01:34 | <cheater> | exarkun: hmm, yeah |
| 18:01:36 | <cheater> | that's true |
| 18:01:44 | <cheater> | good way to look at it. thanks. |
| 18:01:53 | <ski> | 1. if the operation you're defining is actually a function, you can "use function extensionality", meaning, you add explicit parameters. so instead of `addOne = map (+1)', if you do `addOne ns = map (+1) ns', it will infer `addOne' as polymorphic |
| 18:02:06 | <[exa]> | cheater: so the only thing you need is to dodge the max-depth restriction, which shouldn't be a problem really (as far as I can multiply) |
| 18:02:35 | <cheater> | yeah it won't be a problem |
| 18:02:45 | <cheater> | because 4^5 = 1024 |
| 18:02:46 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 18:02:47 | → | fresheyeball joins (~isaac@c-71-237-105-37.hsd1.co.comcast.net) |
| 18:02:50 | <ski> | 2. you can turn off DMR, by using `-XNoMonomorphismRestriction' when compiling, or by placing `{-# LANGUAGE NoMonomorphismRestriction #-}' at the top of the file (you can also put something in the cabal file) |
| 18:03:01 | <ski> | raehik : ok ? |
| 18:03:26 | <raehik> | ski: I understand! at least plenty more than before |
| 18:03:47 | <raehik> | Thank you very much for the detailed explanation! |
| 18:03:48 | × | jackk_Doe quits (~jackk@205.178.111.134) (Ping timeout: 272 seconds) |
| 18:03:50 | <cheater> | [exa]: so i guess it would just be 127/3... which is... 42 and a third |
| 18:03:56 | <cheater> | huh. weird. |
| 18:04:05 | × | vappend quits (~ezrakilty@75-172-109-5.tukw.qwest.net) (Ping timeout: 240 seconds) |
| 18:04:15 | <cheater> | i guess 126 is what you can get practically. not 127 |
| 18:04:17 | <cheater> | so odd |
| 18:04:23 | <raehik> | also learning about what typeclasses mean for sharing is very good to know |
| 18:04:26 | → | jfe joins (~user@pool-71-184-149-134.bstnma.fios.verizon.net) |
| 18:04:27 | <[exa]> | actually I'd guess ⌜127/4⌝ hubs |
| 18:05:04 | <[exa]> | (since there is always (roughly) 3 times more devices than hubs, total 4) |
| 18:05:26 | <cheater> | 3 times more devices than hubs? |
| 18:05:41 | <ski> | raehik : note that if you define some function `foo :: Num a => a -> ...', and then you *locally* define some list of type `a' inside `foo', then that list is actually monomorphic, so you'll get sharing |
| 18:06:03 | <cheater> | but every hub has 4 devices connected to it |
| 18:06:14 | <cheater> | now you've lost me |
| 18:06:16 | <cheater> | :) |
| 18:06:27 | <__monty__> | cheater: And with 32 hubs you *can* saturate the 127 device limit afaict. |
| 18:06:42 | <[exa]> | cheater: try it on a small example that you can draw quickly, it should be /4 |
| 18:06:49 | <monochrom> | Sounds awfully like my http://www.vex.net/~trebla/weblog/collect-redeem.html |
| 18:07:02 | <ski> | raehik : most polymorphic operations "look monomorphic from the inside". it happens, but is not that common, that you see "polymorphic recursion", where your polymorphic operation is using itself recursively, at some *other* type than the type used for the current call/use |
| 18:07:21 | <cheater> | __monty__: really? |
| 18:07:51 | <Uniaika> | woop woop, got my new machine |
| 18:07:58 | <Uniaika> | I'll be able to compile GHC in less than 6 hours |
| 18:08:05 | <raehik> | hmm yeah, I can't think of a polymorphic recursion example off the top of my head |
| 18:08:36 | <ski> | raehik : e.g. in `map f (x:xs) = f x : map f xs', `map' is calling itself using the same types for `a' and `b' as used in the original call to `map :: (a -> b) -> [a] -> [b]'. when passed a list of `a's, the recursive call is also to a list of `a's, for the *same* type `a' |
| 18:08:53 | <geekosaur> | showsPrec is an example |
| 18:09:16 | <[exa]> | cheater: you have 1 connection on the beginning, add 32 hubs which adds you 96 connections, in total you have 32 hubs + 96 possible devices = 128 |
| 18:09:22 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 18:09:28 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 18:09:41 | <[exa]> | s/connections/ports/ |
| 18:09:45 | <ski> | raehik : consider `data PerfectlyBalancedBinaryTree a = Elems a | Double (PerfectlyBalancedBinaryTree (a,a))' (an "irregular data type"), and try to write any non-trivial (recursively defined) function on that. it'll likely need to be polymorphically recursive |
| 18:09:56 | <cheater> | hmm gotcha exa |
| 18:10:29 | <raehik> | ski: yep, I see what you mean |
| 18:10:38 | <[exa]> | cheater: well anyway, good luck connecting that. :] |
| 18:10:52 | <cheater> | oh, so each hub adds 3 ports, but also uses up 1 device. so you want to go where used devices + available ports = 127 |
| 18:10:58 | <ski> | raehik : a silly example is `silly :: Show a => [a] -> [String]; silly [] = []; silly (x:xs) = show x : silly (map (: []) xs)'. when called on a list of type `[a]', this will call itself on a list of type `[[a]]' (and will construct a new `Show [a]' instance at run-time, from the `Show a' instance it was passed) |
| 18:11:13 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 18:12:16 | <ski> | ("regular data types" are those where recursive uses of them, in their definition, pass the *same* type parameters, in the *same* order. another irregular one is `data SwapList a b = Nil | Cons a (SwapList b a)') |
| 18:12:19 | → | merijn joins (~merijn@83-160-49-249.ip.xs4all.nl) |
| 18:12:23 | <cheater> | so i guess you can't occupy the last usb port |
| 18:12:31 | <cheater> | cause that would make 128 |
| 18:12:41 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 18:13:05 | → | wmacmil joins (~wmacmil@c83-252-138-144.bredband.comhem.se) |
| 18:14:32 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 18:14:33 | <raehik> | that is indeed silly |
| 18:15:21 | <raehik> | if you use fixpoints in data types, can you get the same (both regular and irregular data types)? |
| 18:15:57 | <raehik> | I think of the cofree comonad that lets you "annotate" a recursive structure, it appears regular but unsure |
| 18:15:57 | <ski> | what do you mean by "use fixpoints in data types" ? |
| 18:16:00 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 18:16:09 | <raehik> | ah I mean functor fixpoints? |
| 18:16:16 | <raehik> | or something, I do not know the terminology well |
| 18:16:29 | <monochrom> | Use an example? |
| 18:16:59 | <raehik> | yep just finding my notes |
| 18:17:19 | <ski> | well, for `data List a = Nil | Cons a (List a)', you can think of this "algebraically" as a recursive equation `List a = 1 + a * List a' |
| 18:18:01 | <ski> | in general (outside of Haskell context), one could have multiple solutions (for `List a') for such an equation |
| 18:19:14 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 18:19:28 | → | juuandyy joins (~juuandyy@90.106.228.121) |
| 18:19:33 | <ski> | under certain conditions, one can have a "least solution", where `List a' would be the type/set/something-fancier of all *finite* lists of `a'-elements; and the "greatest solution", where it would also include all the infinite ones (both cyclic, and non-cyclic ones) |
| 18:19:48 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 18:19:55 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 18:20:05 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 18:20:06 | <raehik> | bit lost but thanks |
| 18:20:12 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 18:20:39 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 18:20:56 | <ski> | the first one is often written as `mu r. 1 + a * r'. so `List a = mu r. 1 + a * r', then. in Haskell, we could define a functor `data ListF a r = NilF | ConsF a r', and set `type List a = Mu (ListF a)' |
| 18:20:59 | × | fresheyeball quits (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 18:21:49 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 18:21:53 | <ski> | `mu r. 1 + a * r' is something like `let r = 1 + a * r in r' (but where we specifically indicate that we want the *least* solution of the equation) |
| 18:22:45 | <ski> | the second one (greatest solution / fixed-point) is written with the greek letter `nu', instead of `mu' |
| 18:23:26 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 18:23:36 | <ski> | however, Haskell conflates these two, so that you can already have infinite lists with `data List a = Nil | Cons a (List a)'. but sometimes we pretend that we only have values of "finite depth", ignoring the others |
| 18:24:13 | → | raehik1 joins (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 18:24:28 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 256 seconds) |
| 18:25:04 | <ski> | (you can see bottom of <http://tunes.org/~nef/logs/haskell/21.01.22> if you want to see what you missed) |
| 18:25:21 | × | quaestor quits (~quaestor@griffith.christophrauch.de) (Remote host closed the connection) |
| 18:25:22 | <ski> | raehik : anyway, you know about `fix' in Haskell ? |
| 18:25:32 | <ski> | raehik1 ^ |
| 18:25:36 | × | raehik quits (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 18:27:42 | <monochrom> | Usually I would use "data IL = Nil | Cons Int IL", i.e., without the polymorphism, to stay focused. |
| 18:27:50 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 18:28:08 | × | adeene quits (~adeene@181.131.0.191) (Ping timeout: 265 seconds) |
| 18:28:16 | <raehik1> | ski: yes (sorry network d/ced) |
| 18:28:24 | <ski> | yea .. but the parametrization here was exactly the point i wanted to get at |
| 18:28:37 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 18:28:55 | → | Lycurgus joins (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) |
| 18:29:05 | <raehik1> | ski: I may have missed any msgs between 20-24m |
| 18:29:16 | × | omnitrogen quits (~omnitroge@vps-c9700282.vps.ovh.net) (Ping timeout: 240 seconds) |
| 18:29:23 | <raehik1> | oh thank you haha |
| 18:29:24 | <ski> | see the link above |
| 18:29:30 | → | omnitrogen joins (~omnitroge@vps-c9700282.vps.ovh.net) |
| 18:29:52 | <Lycurgus> | and I said 'experience precedes essence' the other day when in fact ofc I meant "existence' |
| 18:30:16 | <ski> | raehik1 : so, you know you could define `map' as `map = fix (\map f xs0 -> case xs0 of [] -> []; x:xs -> f x : map f xs)', right ? |
| 18:30:18 | × | Saukk quits (~Saukk@83-148-239-3.dynamic.lounea.fi) (Remote host closed the connection) |
| 18:30:24 | <ski> | Lycurgus : oh, i was wondering what you meant |
| 18:30:45 | <monochrom> | I still wonder what you meant. Because now you have added one more ambiguity. |
| 18:30:58 | <Lycurgus> | yeah talk about truth triggers/torques me |
| 18:31:07 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 18:31:20 | <Lycurgus> | monochrom, it's an allusion to sartre |
| 18:31:34 | <raehik1> | ski: yes (though clobbering map appears a bit confusing) |
| 18:31:45 | <ski> | hm, "essence" comes from latin "esse", yes ? meaning "to be", or something like that, having to do with "being" ? what's the difference between that, and "existence" ? |
| 18:31:49 | <Lycurgus> | see long late on 1/19 |
| 18:31:55 | <monochrom> | But philosophy goes to #haskell-offtopic, no? |
| 18:31:56 | <Lycurgus> | *see log |
| 18:32:03 | <ski> | yea, was about to say :) |
| 18:32:06 | <Lycurgus> | it didn then |
| 18:32:09 | → | nineonin_ joins (~nineonine@50.216.62.2) |
| 18:32:25 | <Lycurgus> | so the correction there would be odd |
| 18:32:35 | → | adeene joins (~adeene@181.131.0.191) |
| 18:32:49 | × | asheshambasta quits (~user@ptr-e1lysawnw92jt7iswfx.18120a2.ip6.access.telenet.be) (Ping timeout: 272 seconds) |
| 18:32:49 | <ski> | raehik1 : anyway, note that you can avoid passing around `f', by instead doing `map = \f -> fix (\map_f xs0 -> case xs0 of [] -> []; f x : map_f xs)' |
| 18:33:25 | × | wmacmil quits (~wmacmil@c83-252-138-144.bredband.comhem.se) (Ping timeout: 240 seconds) |
| 18:33:47 | <raehik1> | right |
| 18:33:55 | <ski> | now, `map' is polymorphic |
| 18:34:03 | <ski> | % :t map |
| 18:34:04 | <yahb> | ski: (a -> b) -> [a] -> [b] |
| 18:34:15 | <ski> | % :t map @String |
| 18:34:15 | <yahb> | ski: (String -> b) -> [String] -> [b] |
| 18:34:20 | <ski> | % :t map @String @Bool |
| 18:34:21 | <yahb> | ski: (String -> Bool) -> [String] -> [Bool] |
| 18:34:48 | <ski> | that's a notation where you can specify the (normally implicit) type-parameters (for polymorphic operations) |
| 18:34:59 | <raehik1> | yeah, seen it a bit |
| 18:35:29 | <ski> | so, since `map :: forall a. forall b. (a -> b) -> [a] -> [b]', the first `@String' corresponds to removing the `forall a.', and replacing `a' by `String' |
| 18:35:43 | <ski> | and for the second, you remove `forall b.', and replace `b' by `Bool' |
| 18:36:05 | <ski> | so, we could actually imagine `map' being defined explicitly, something like |
| 18:36:06 | × | nineonine quits (~nineonine@50.216.62.2) (Ping timeout: 265 seconds) |
| 18:36:16 | <ski> | map :: forall a. forall b. (a -> b) -> [a] -> [b] |
| 18:36:57 | <ski> | map @a @b f [ ] = [ ] |
| 18:37:13 | <ski> | map @a @b f (x:xs) = f x : map @a @b f xs |
| 18:37:35 | <ski> | where we can now see that not only is `f' passed unchanged to the recursive call, but also the two type parameters `a' and `b' |
| 18:37:43 | <raehik1> | yeah |
| 18:37:53 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 18:38:04 | <ski> | (aside, note e.g. that here `f :: a -> b', with no `forall's in the type. `f', and `x', and `xs' are all monomorphic) |
| 18:38:19 | <ski> | so |
| 18:38:29 | <ski> | map = fix (\map f xs0 -> case xs0 of [] -> []; x:xs -> f x : map f xs) |
| 18:38:36 | <ski> | could either be written as |
| 18:38:38 | hackage | citeproc 0.3.0.5 - Generates citations and bibliography from CSL styles. https://hackage.haskell.org/package/citeproc-0.3.0.5 (JohnMacFarlane) |
| 18:39:16 | <ski> | map = \@a @b -> fix (\map_a_b f xs0 -> case xs0 of [] -> []; x:xs -> f x : map_a_b f xs) |
| 18:39:28 | <raehik1> | (huh, so you wouldn't be able to pass types to f (in this example) even if you wanted to?) |
| 18:39:33 | <ski> | (using an imagined "lambda" syntax for the usually implicit type parameters there) |
| 18:39:38 | <ski> | or as |
| 18:39:57 | <ski> | map = fix (\map @a @b f xs0 -> case xs0 of [] -> []; x:xs -> f x : map @a @b f xs) |
| 18:40:04 | → | Tuplanolla joins (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 18:40:15 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) |
| 18:40:16 | <ski> | the former is "monomorphic recursion". the latter is "polymorphic recursion" |
| 18:40:36 | <ski> | raehik1 : exactly. since `f' is not polymorphic here. only `map' |
| 18:40:37 | <ski> | is |
| 18:40:39 | → | quaestor joins (~quaestor@griffith.christophrauch.de) |
| 18:40:46 | <raehik1> | (I think I get why anyway) |
| 18:41:13 | <ski> | anyway, the former could be further rewritten as |
| 18:41:25 | <ski> | map = \@a @b f -> fix (\map_a_b_f xs0 -> case xs0 of [] -> []; x:xs -> f x : map_a_b_f xs) |
| 18:41:31 | <ski> | also avoiding passing around the `f', as before |
| 18:41:33 | <monochrom> | Thanks ski. Now I see why it is called polymorphic recursion. |
| 18:41:49 | × | rdivyanshu quits (uid322626@gateway/web/irccloud.com/x-kyudgntnnhxnqkma) (Quit: Connection closed for inactivity) |
| 18:41:56 | <ski> | in the polymorphic recursion case, `map' actually calls the polymorphic `map' |
| 18:42:25 | <ski> | in the monomorphic recursion case, `map' effectively calls what i above called `map_a_b', which is monomorphic (has no `forall's at the beginning of its type) |
| 18:42:38 | <ski> | monochrom : .. i thought everybody knew |
| 18:42:54 | <hololeap> | i added this to ghc-options in my cabal file: -with-rtsopts="-N" |
| 18:43:11 | <hololeap> | now the executable is telling me: unexpected RTS argument: "-N" |
| 18:43:35 | <merijn> | hololeap: Because you didn't specify -rtsopts, presumably :p |
| 18:43:39 | <ski> | raehik1 : i hope you see the gist of this, now ? |
| 18:43:43 | <merijn> | Also, -N is probably bad |
| 18:44:08 | <geekosaur> | maybe because they forgot -threaded? |
| 18:44:13 | <merijn> | Also also, -N is quintupply bad if you're not specifically disabling parallel GC |
| 18:44:34 | <hololeap> | (ghc-options also contains -threaded) |
| 18:44:39 | <hololeap> | merijn: why is it bad? |
| 18:44:48 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 265 seconds) |
| 18:45:15 | <merijn> | hololeap: Because a huge number of threads causes massive slowdowns with parallel GC (which is (currently, still) the default) |
| 18:45:16 | <hololeap> | it's also showing -N as a possibility under the RTS usage blurb that it is spitting out |
| 18:45:28 | <merijn> | hololeap: Did you specify -rtsopts? |
| 18:45:38 | <Lycurgus> | and presumably single threaded gc is insufficient |
| 18:45:50 | <hololeap> | i thought -threaded implied -rtsopts |
| 18:45:51 | <merijn> | Lycurgus: single threaded GC *is* sufficient |
| 18:45:55 | <merijn> | hololeap: No |
| 18:45:56 | <ski> | raehik1 : anyway, for `List a', we basically have `List = /\a -> mu r_a. 1 + a * r_a' (the "regular" case, leading to (usually) monomorphic recursion). but we could also conceptualize it as `List = mu r. /\ a -> 1 + a * r a' (thinking of it as "irregular"). and for `SwapList a b', we need to do this latter : `SwapList = mu r. /\ a b -> 1 + a * r b a' (passing `a' and `b' in opposite order to `r') |
| 18:45:57 | → | howdoi joins (uid224@gateway/web/irccloud.com/x-umwabsvemdunxurx) |
| 18:46:05 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 18:46:24 | <merijn> | Lycurgus: The real problem is "you don't know how many cores the user has and defaulting to one capability per core is unreasonable on many hardware" |
| 18:46:35 | <raehik1> | ski: apologies, more IRC lag |
| 18:46:42 | <ski> | nw |
| 18:46:59 | <cocreature> | is there something like `hGetNewlineMode`? I can only find `hSetNewlineMode` |
| 18:47:02 | ← | mnrmnaugh parts (~mnrmnaugh@unaffiliated/mnrmnaugh) ("Leaving") |
| 18:47:05 | <merijn> | Lycurgus: Like, the server I usually work on has like 48 cores, there's rarely a great reason to spawn that many threads and think it'll be better. You wanna do either something smart or let the user specify |
| 18:47:08 | <Lycurgus> | are cores bound to heaps oder? |
| 18:47:17 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:8dc0:be8b:dde8:93dc) (Ping timeout: 260 seconds) |
| 18:47:32 | <hololeap> | merijn: doesn't having "-N" by default still allow the user to specify? |
| 18:47:51 | × | p-core quits (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) (Quit: p-core) |
| 18:47:54 | <merijn> | Lycurgus: Not to mention stuff like, "is this a hyper-threaded CPU? do we really wanna specify 1 capability per hyperthread? etc.) |
| 18:48:09 | → | p-core joins (~Thunderbi@2001:718:1e03:5128:3697:eeda:19aa:8e56) |
| 18:48:22 | <raehik1> | thanks for all that ski , I will let it stew |
| 18:48:31 | <merijn> | hololeap: You can just set the number of capabilities in the code anyway and have logic to decide something reasonable |
| 18:48:31 | ski | nods |
| 18:48:32 | <ski> | yw |
| 18:49:00 | <Lycurgus> | i wouldn want to distinguish between hardware thread types in hs (or any HLL) |
| 18:49:39 | → | awk joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 18:49:40 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 18:49:44 | <merijn> | Lycurgus: Eh, you can't magically ignore hardware details in Haskell, that makes no sense |
| 18:50:11 | <merijn> | Hyperthreading or multi CPU (rather than multi-core!) makes a big difference in behaviour and you probably wanna take that into account |
| 18:50:29 | <Uniaika> | yup', merijn is right |
| 18:50:42 | <merijn> | I'm always right! |
| 18:50:46 | <hololeap> | ghc-options: -Wall -threaded -rtsopts -with-rtsopts="-N4" |
| 18:50:52 | × | worc3131 quits (~quassel@2a02:c7f:dcc4:6500:cf0e:3346:8766:ab20) (Remote host closed the connection) |
| 18:50:57 | <hololeap> | unexpected RTS argument: "-N4" |
| 18:51:09 | → | justsomeguy joins (~justsomeg@unaffiliated/--/x-3805311) |
| 18:51:11 | <hololeap> | i don't understand |
| 18:51:13 | × | awk quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 18:51:50 | <merijn> | Full cabal file and full error in pastebin |
| 18:52:12 | → | awk joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 18:52:15 | <hololeap> | Oh, it didn't like the double quotes in -with-rtsopts |
| 18:52:21 | → | Sheilong joins (uid293653@gateway/web/irccloud.com/x-tgnhqpyxeablmxyi) |
| 18:52:26 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 18:52:29 | <hololeap> | -with-rtsopts=-N4 works |
| 18:53:15 | <geekosaur> | cabal file? it won't handle quotes the same way as the shell does (or at all, I think) |
| 18:53:40 | <merijn> | geekosaur: It does, but it's funky >.> |
| 18:53:49 | <merijn> | geekosaur: https://github.com/merijn/Belewitte/blob/master/benchmark-analysis/benchmark-analysis.cabal#L65 |
| 18:54:27 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 18:54:51 | <geekosaur> | ok, so it handles quotes naïvely |
| 18:55:08 | <geekosaur> | which is better than not handling them at all, I guess |
| 18:55:47 | × | awk quits (~mnrmnaugh@unaffiliated/mnrmnaugh) (Remote host closed the connection) |
| 18:56:18 | → | mnrmnaugh joins (~mnrmnaugh@unaffiliated/mnrmnaugh) |
| 18:56:26 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 18:56:45 | × | ixaxaar quits (~ixaxaar@49.207.210.215) (Ping timeout: 240 seconds) |
| 18:57:08 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 18:57:47 | × | rfn quits (~rais@116.88.230.170) (Quit: WeeChat 3.0) |
| 18:58:45 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 19:02:21 | → | y3Hzy joins (~y3Hzy@2600:1700:f9d0:d0d0:b7a4:51dc:ad23:2bc2) |
| 19:02:25 | × | geekosaur quits (82650c7c@130.101.12.124) (Ping timeout: 248 seconds) |
| 19:02:31 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 19:02:56 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 19:03:29 | → | berberman_ joins (~berberman@unaffiliated/berberman) |
| 19:04:31 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 19:04:47 | × | berberman quits (~berberman@unaffiliated/berberman) (Ping timeout: 260 seconds) |
| 19:05:35 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 19:05:40 | × | y3Hzy quits (~y3Hzy@2600:1700:f9d0:d0d0:b7a4:51dc:ad23:2bc2) (Client Quit) |
| 19:06:08 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 264 seconds) |
| 19:07:04 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 19:07:45 | × | justsomeguy quits (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 2.9) |
| 19:08:09 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 19:09:28 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 19:12:20 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 246 seconds) |
| 19:12:37 | × | Martinsos quits (~user@cpe-188-129-56-3.dynamic.amis.hr) (Remote host closed the connection) |
| 19:14:01 | → | Martinsos joins (~user@cpe-188-129-56-3.dynamic.amis.hr) |
| 19:14:52 | × | jespada quits (~jespada@90.254.242.138) (Quit: Leaving) |
| 19:15:02 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 19:16:34 | × | Guest78126 quits (~textual@mskresolve-a.mskcc.org) (Quit: Textual IRC Client: www.textualapp.com) |
| 19:17:17 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 19:17:33 | <Martinsos> | I need to send HTTPS POST request. Any recommendations on which package to use? I tried HTTP but it does not support HTTPS. I see there are http-client, http-client-tls, http-conduit -> which one should I use? |
| 19:18:43 | × | mdunnio quits (~mdunnio@172.97.43.112) (Remote host closed the connection) |
| 19:20:32 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:20:39 | <maerwald> | focus on the produc.g.#d |
| 19:21:33 | → | Alleria joins (~textual@zrcout.mskcc.org) |
| 19:21:57 | Alleria | is now known as Guest59239 |
| 19:23:10 | → | geekosaur joins (82650c7c@130.101.12.124) |
| 19:23:46 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 19:24:02 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 19:24:11 | ← | maerwald parts (~maerwald@mail.hasufell.de) ("WeeChat 2.9") |
| 19:24:46 | → | mdunnio joins (~mdunnio@172.97.43.112) |
| 19:25:17 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 19:25:56 | × | hyiltiz quits (~quassel@unaffiliated/hyiltiz) (Ping timeout: 264 seconds) |
| 19:26:06 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 19:26:29 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 19:26:32 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 19:27:23 | → | maerwald joins (~maerwald@mail.hasufell.de) |
| 19:28:18 | → | hyiltiz joins (~quassel@unaffiliated/hyiltiz) |
| 19:29:04 | × | juuandyy quits (~juuandyy@90.106.228.121) (Ping timeout: 256 seconds) |
| 19:29:55 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 272 seconds) |
| 19:31:07 | hackage | hls-tactics-plugin 0.5.1.0 - Tactics plugin for Haskell Language Server https://hackage.haskell.org/package/hls-tactics-plugin-0.5.1.0 (isovector) |
| 19:31:49 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 272 seconds) |
| 19:33:37 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 19:34:17 | → | geowiesnot joins (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 19:36:17 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 19:38:16 | → | raym_ joins (~ray@45.64.220.55) |
| 19:38:27 | × | raym_ quits (~ray@45.64.220.55) (Client Quit) |
| 19:39:12 | × | raym quits (~ray@45.64.220.55) (Quit: leaving) |
| 19:39:39 | → | raym joins (~ray@45.64.220.55) |
| 19:40:03 | × | deviantfero quits (~deviantfe@190.150.27.58) (Ping timeout: 272 seconds) |
| 19:42:01 | → | ukari joins (~ukari@unaffiliated/ukari) |
| 19:43:14 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 19:44:01 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 19:44:51 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 19:46:05 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 19:47:38 | hackage | dep-t 0.1.2.0 - Reader-like monad transformer for dependency injection. https://hackage.haskell.org/package/dep-t-0.1.2.0 (DanielDiazCarrete) |
| 19:48:23 | jess | is now known as j |
| 19:48:59 | × | djbeau quits (~dbeaureg@148.87.23.7) (Remote host closed the connection) |
| 19:51:44 | × | raym quits (~ray@45.64.220.55) (Quit: leaving) |
| 19:52:57 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 265 seconds) |
| 19:53:49 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 19:54:11 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 19:54:30 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 19:56:43 | → | deviantfero joins (~deviantfe@190.150.27.58) |
| 19:58:15 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 19:58:56 | → | jmchael joins (~jmchael@87.112.235.234) |
| 19:59:09 | ← | jmchael parts (~jmchael@87.112.235.234) () |
| 19:59:49 | → | ][MandRaK][ joins (~mandrak@177.184.128.17) |
| 20:01:14 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 20:02:24 | × | matryoshka quits (~matryoshk@2606:6080:1002:8:3285:30e:de43:8809) (Ping timeout: 240 seconds) |
| 20:02:51 | × | Lycurgus quits (~niemand@cpe-45-46-139-165.buffalo.res.rr.com) (Quit: Exeunt) |
| 20:02:54 | × | rayyyy quits (~nanoz@gateway/tor-sasl/nanoz) (Ping timeout: 268 seconds) |
| 20:03:35 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 20:03:38 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 20:04:56 | × | petersen quits (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 20:06:38 | → | ransom joins (~c4264035@2a09:bac0:98::830:861e) |
| 20:07:01 | <aveltras> | i'd like to make a ui component library where i could have several implementations (lucid, blaze, etc;.). For this, im defining a core lib which contains data types (Accordion, Modal, etc..). I'd like those data types constructors to not be available for users (only allow record updates with smart constructors) but available in the "sister" libraries which contain implementations for html library. Is there a way to |
| 20:07:01 | <aveltras> | accomplish this or must I rely on the "Internal" module pattern I've seen multiple times ? |
| 20:07:07 | → | petersen joins (~petersen@redhat/juhp) |
| 20:08:22 | <merijn> | aveltras: Currently, yes |
| 20:08:33 | <merijn> | aveltras: Or, you can "invert" your design |
| 20:08:58 | <merijn> | And instead of your external libraries accessing the implementation details of your library, have them pass in the API for your core to use |
| 20:09:14 | <merijn> | aveltras: Kinda "OO" Haskell as I like to think of it |
| 20:09:39 | <aveltras> | i might have to do this |
| 20:09:40 | → | mouseghost joins (~draco@wikipedia/desperek) |
| 20:09:46 | <merijn> | aveltras: Just define a record of functions/operations that your library uses, then pass in the right version of that record from the lucid/blaze/etc. wrapper |
| 20:10:01 | <merijn> | aveltras: That design works very well in many situations, tbh |
| 20:10:07 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 20:10:07 | <aveltras> | also wondering if accomplishing what id like with cabal flags and CPP is frowned upon (i guess so) |
| 20:10:14 | <merijn> | aveltras: You can see it in persistent's SqlBackend |
| 20:10:26 | <merijn> | aveltras: "cabal flags" <- almost certainly |
| 20:10:33 | <aveltras> | :) |
| 20:10:52 | <merijn> | Especially if the answer is "will your public API depend on specific flags?" is "yes" |
| 20:11:10 | <Martinsos> | merijn: would official name for that pattern be Dependency Injection? Or is this different? |
| 20:11:19 | × | energizer quits (~energizer@unaffiliated/energizer) (Quit: ZNC 1.7.0+deb0+xenial1 - https://znc.in) |
| 20:11:23 | <merijn> | Martinsos: Yes, no, maybe? |
| 20:11:44 | <merijn> | Martinsos: tbh,everytime people talk about "dependency injection" I have to google the exact meaning, because I forget |
| 20:12:14 | <merijn> | Martinsos: Dependency injection just sounds like "an overcomplicated way of saying 'passing an argument to a function'" |
| 20:13:14 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 20:13:19 | <Martinsos> | merijn: Actually more of passing an implementation to a function. But true, I also always thought that Dependency Injection is a fancy term explaining smth very simple! Still, it is used a lot and people kind of know what it means. Ok nvm I was just curious :). |
| 20:13:50 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 20:14:38 | × | cole-h quits (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 246 seconds) |
| 20:15:58 | → | usr25 joins (~usr25@unaffiliated/usr25) |
| 20:16:20 | ← | usr25 parts (~usr25@unaffiliated/usr25) () |
| 20:16:46 | → | conal_ joins (~conal@64.71.133.70) |
| 20:18:31 | → | hiroaki joins (~hiroaki@2a02:908:4b18:8c40::ee4f) |
| 20:20:02 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 20:20:12 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 20:20:33 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 20:22:02 | × | pera quits (~pera@unaffiliated/pera) (Quit: leaving) |
| 20:22:39 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 20:26:57 | × | avdb quits (~avdb@gateway/tor-sasl/avdb) (Ping timeout: 268 seconds) |
| 20:27:57 | <ephemient> | doesn't help that some people will say dependency injection when they just have a service locator |
| 20:28:07 | <ezzieyguywuf> | wahooo, gentoo haskell overlay now has the latest aeson and quickcheck and all relevant affected reverse dependencies |
| 20:28:11 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 20:29:23 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 20:29:26 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 20:29:31 | × | livvy_ quits (~livvy@gateway/tor-sasl/livvy) (Remote host closed the connection) |
| 20:29:39 | → | livvy joins (~livvy@gateway/tor-sasl/livvy) |
| 20:30:47 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 20:32:55 | → | mdunnio_ joins (~mdunnio@172.97.43.112) |
| 20:33:47 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 20:34:55 | → | coot joins (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) |
| 20:35:25 | → | leungbk joins (~user@2603-8000-f144-2028-7ee3-af7d-0275-3a3a.res6.spectrum.com) |
| 20:35:29 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 20:35:56 | × | mdunnio quits (~mdunnio@172.97.43.112) (Ping timeout: 240 seconds) |
| 20:37:32 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 20:39:36 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 20:40:30 | × | ransom quits (~c4264035@2a09:bac0:98::830:861e) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 20:40:59 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 256 seconds) |
| 20:41:28 | × | leungbk quits (~user@2603-8000-f144-2028-7ee3-af7d-0275-3a3a.res6.spectrum.com) (Quit: ERC (IRC client for Emacs 28.0.50)) |
| 20:46:27 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 20:48:08 | × | wroathe quits (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Ping timeout: 264 seconds) |
| 20:48:08 | × | knupfer quits (~Thunderbi@i59F7FF3A.versanet.de) (Quit: knupfer) |
| 20:48:26 | → | knupfer joins (~Thunderbi@i59F7FF3A.versanet.de) |
| 20:48:34 | × | knupfer quits (~Thunderbi@i59F7FF3A.versanet.de) (Remote host closed the connection) |
| 20:49:43 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 20:50:57 | × | dcoutts__ quits (~duncan@33.14.75.194.dyn.plus.net) (Ping timeout: 265 seconds) |
| 20:51:00 | × | thc202 quits (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 20:51:49 | → | ransom joins (~c4264035@8.48.134.30) |
| 20:52:30 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 20:53:24 | → | hakon[m] joins (hakonmatri@gateway/shell/matrix.org/x-jbtwfxjmrjcolzrz) |
| 20:56:26 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 264 seconds) |
| 20:57:07 | × | coot quits (~coot@37.30.55.132.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 20:59:10 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 20:59:30 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 21:00:45 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 21:02:01 | × | _ht quits (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 21:03:48 | → | erayo joins (9442452b@43.69.66.148.dsl.dyn.mana.pf) |
| 21:04:43 | <erayo> | getting weird compiler errors: Error: operand type mismatch for `cvttsd2si', seems to be triggered by basic number manipulations using fromIntegral (int to double) |
| 21:04:56 | <erayo> | anyone faced this before ? |
| 21:06:05 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 272 seconds) |
| 21:07:15 | → | kamek joins (9442452b@43.69.66.148.dsl.dyn.mana.pf) |
| 21:08:05 | × | ][MandRaK][ quits (~mandrak@177.184.128.17) (Read error: Connection reset by peer) |
| 21:08:09 | → | oisdk joins (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) |
| 21:09:19 | × | cfricke quits (~cfricke@unaffiliated/cfricke) (Ping timeout: 265 seconds) |
| 21:09:20 | → | ][MandRaK][ joins (~mandrak@201.20.107.34) |
| 21:10:41 | → | son0p joins (~son0p@181.136.122.143) |
| 21:12:07 | <Widget_> | Can someone help me with a servant problem please? |
| 21:12:56 | <Widget_> | Is there a way to reduce this case: `server _ _ = throwError err403 :<|> const (throwError err403) :<|> const (throwError err403) :<|> const (throwError err403)` |
| 21:13:44 | <aveltras> | Widget_: you could find inspiration here |
| 21:13:45 | <aveltras> | https://hackage.haskell.org/package/servant-auth-server-0.4.6.0/docs/Servant-Auth-Server-Internal-ThrowAll.html |
| 21:14:03 | <aveltras> | this isn't defined in servant-server even though this could be handy sometimes |
| 21:14:34 | <Widget_> | That seems to be exactly what I'm looking for! Thanks, aveltras |
| 21:14:40 | <aveltras> | np |
| 21:17:12 | × | oisdk quits (~oisdk@2001:bb6:3329:d100:7814:b0c:ece3:fa1b) (Ping timeout: 260 seconds) |
| 21:18:41 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 21:22:16 | × | Martinsos quits (~user@cpe-188-129-56-3.dynamic.amis.hr) (Ping timeout: 240 seconds) |
| 21:22:48 | → | jumper149 joins (~jumper149@ip185225.wh.uni-hannover.de) |
| 21:23:32 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 21:25:01 | hakon[m] | is now known as ichor[m] |
| 21:27:07 | × | mouseghost quits (~draco@wikipedia/desperek) (Quit: mew wew) |
| 21:29:29 | × | nckx quits (~nckx@tobias.gr) (Ping timeout: 256 seconds) |
| 21:29:49 | → | nckx joins (~nckx@tobias.gr) |
| 21:30:37 | × | Deewiant quits (~deewiant@de1.ut.deewiant.iki.fi) (Ping timeout: 256 seconds) |
| 21:30:55 | → | Deewiant joins (~deewiant@de1.ut.deewiant.iki.fi) |
| 21:31:10 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:31:11 | × | amx quits (amx@percival.namespace.at) (Ping timeout: 256 seconds) |
| 21:31:14 | → | wroathe joins (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 21:31:29 | → | amx joins (amx@percival.namespace.at) |
| 21:38:16 | × | heatsink quits (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 21:38:37 | × | ][MandRaK][ quits (~mandrak@201.20.107.34) (Quit: Leaving.) |
| 21:39:10 | × | erayo quits (9442452b@43.69.66.148.dsl.dyn.mana.pf) (Quit: Connection closed) |
| 21:44:16 | × | geekosaur quits (82650c7c@130.101.12.124) (Quit: Connection closed) |
| 21:47:02 | × | ransom quits (~c4264035@8.48.134.30) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 21:47:34 | × | kamek quits (9442452b@43.69.66.148.dsl.dyn.mana.pf) (Quit: Connection closed) |
| 21:48:28 | × | ADG1089__ quits (~aditya@122.163.160.223) (Remote host closed the connection) |
| 21:50:46 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 21:54:01 | → | ransom joins (~c4264035@8.48.134.30) |
| 21:54:50 | × | Varis quits (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 21:56:50 | × | cyphase quits (~cyphase@unaffiliated/cyphase) (Ping timeout: 246 seconds) |
| 21:56:56 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 22:02:42 | × | deviantfero quits (~deviantfe@190.150.27.58) (Quit: WeeChat 3.0) |
| 22:03:15 | → | heatsink joins (~heatsink@107-136-5-69.lightspeed.sntcca.sbcglobal.net) |
| 22:06:10 | × | gaussian quits (uid482612@gateway/web/irccloud.com/x-wvvzwlxqofinemam) (Quit: Connection closed for inactivity) |
| 22:08:31 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 22:09:32 | → | cyphase joins (~cyphase@unaffiliated/cyphase) |
| 22:10:38 | hackage | gltf-codec 0.1.0.2 - glTF scene loader https://hackage.haskell.org/package/gltf-codec-0.1.0.2 (AlexanderBondarenko) |
| 22:12:45 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 240 seconds) |
| 22:15:16 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Remote host closed the connection) |
| 22:15:37 | → | energizer joins (~energizer@unaffiliated/energizer) |
| 22:15:42 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 22:17:38 | × | LKoen quits (~LKoen@57.174.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.”) |
| 22:18:44 | → | matryoshka joins (~matryoshk@184.75.223.227) |
| 22:20:11 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 22:20:33 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 22:20:55 | × | Guest59239 quits (~textual@zrcout.mskcc.org) (Ping timeout: 272 seconds) |
| 22:31:09 | → | olligobber joins (olligobber@gateway/vpn/privateinternetaccess/olligobber) |
| 22:31:30 | → | new2fp joins (44c26bb9@ool-44c26bb9.dyn.optonline.net) |
| 22:31:57 | × | new2fp quits (44c26bb9@ool-44c26bb9.dyn.optonline.net) (Client Quit) |
| 22:33:14 | → | conal joins (~conal@64.71.133.70) |
| 22:33:56 | × | hyperisco quits (~hyperisco@104-195-141-253.cpe.teksavvy.com) (Ping timeout: 246 seconds) |
| 22:34:00 | → | superstar64 joins (6ccefa7c@108-206-250-124.lightspeed.miamfl.sbcglobal.net) |
| 22:34:20 | × | gehmehgeh quits (~ircuser1@gateway/tor-sasl/gehmehgeh) (Quit: Leaving) |
| 22:40:41 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 22:42:00 | → | jedws joins (~jedws@2001:8003:c44f:4601:a9a2:46cd:fbfa:b423) |
| 22:43:59 | × | mmmattyx quits (uid17782@gateway/web/irccloud.com/x-apzeirkcrnkojqkt) (Quit: Connection closed for inactivity) |
| 22:44:59 | × | jedws quits (~jedws@2001:8003:c44f:4601:a9a2:46cd:fbfa:b423) (Client Quit) |
| 22:46:16 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 256 seconds) |
| 22:46:42 | → | Sonderblade joins (~helloman@94.191.152.250.mobile.tre.se) |
| 22:48:24 | → | HarveyPwca joins (~HarveyPwc@2601:246:c180:a570:29df:3b00:ad0e:3a06) |
| 22:49:32 | × | conal quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 22:54:54 | × | xsperry quits (~as@unaffiliated/xsperry) (Remote host closed the connection) |
| 22:55:38 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 22:56:17 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 22:56:41 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 22:58:09 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 23:01:16 | × | royal_screwup21 quits (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 240 seconds) |
| 23:02:22 | × | ransom quits (~c4264035@8.48.134.30) (Quit: Textual IRC Client: www.textualapp.com) |
| 23:02:24 | × | Tario quits (~Tario@201.192.165.173) (Read error: Connection reset by peer) |
| 23:02:51 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Remote host closed the connection) |
| 23:03:08 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 264 seconds) |
| 23:03:10 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 23:05:09 | → | Tario joins (~Tario@200.119.186.196) |
| 23:05:28 | → | conal joins (~conal@64.71.133.70) |
| 23:05:56 | × | geowiesnot quits (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 23:06:19 | → | royal_screwup21 joins (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 23:07:39 | → | conal_ joins (~conal@64.71.133.70) |
| 23:09:13 | × | NGravity quits (csp@gateway/shell/xshellz/x-lfganywjcopmceof) (Ping timeout: 260 seconds) |
| 23:10:19 | × | mdunnio_ quits (~mdunnio@172.97.43.112) (Remote host closed the connection) |
| 23:10:24 | × | conal quits (~conal@64.71.133.70) (Ping timeout: 265 seconds) |
| 23:12:55 | × | star_cloud quits (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) (Excess Flood) |
| 23:14:12 | → | star_cloud joins (~star_clou@ec2-34-220-44-120.us-west-2.compute.amazonaws.com) |
| 23:14:15 | → | niekvandepas joins (~niekvande@dhcp-077-249-088-250.chello.nl) |
| 23:15:13 | × | fendor_ quits (~fendor@178.165.130.173.wireless.dyn.drei.com) (Remote host closed the connection) |
| 23:16:32 | → | NGravity joins (csp@gateway/shell/xshellz/x-otedrzsaccyfimdi) |
| 23:18:43 | → | mirrorbird joins (~psutcliff@2a00:801:42b:aff3:74af:2f22:932d:eac0) |
| 23:18:44 | × | niekvandepas quits (~niekvande@dhcp-077-249-088-250.chello.nl) (Ping timeout: 264 seconds) |
| 23:20:12 | × | zebrag quits (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 23:20:33 | → | zebrag joins (~inkbottle@aaubervilliers-654-1-83-215.w86-212.abo.wanadoo.fr) |
| 23:24:08 | × | Tesseraction quits (~Tesseract@unaffiliated/tesseraction) (Ping timeout: 264 seconds) |
| 23:24:11 | × | ep1ctetus quits (~epictetus@ip184-187-162-163.sb.sd.cox.net) (Read error: Connection reset by peer) |
| 23:24:30 | → | ep1ctetus joins (~epictetus@ip184-187-162-163.sb.sd.cox.net) |
| 23:24:30 | × | ep1ctetus quits (~epictetus@ip184-187-162-163.sb.sd.cox.net) (Remote host closed the connection) |
| 23:24:35 | × | son0p quits (~son0p@181.136.122.143) (Quit: leaving) |
| 23:25:10 | × | jpds quits (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 268 seconds) |
| 23:25:13 | → | Tesseraction joins (~Tesseract@unaffiliated/tesseraction) |
| 23:26:15 | → | mdunnio joins (~mdunnio@172.97.43.112) |
| 23:29:20 | → | jpds joins (~jpds@gateway/tor-sasl/jpds) |
| 23:30:48 | × | mdunnio quits (~mdunnio@172.97.43.112) (Ping timeout: 260 seconds) |
| 23:34:48 | × | neiluj quits (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 23:35:25 | × | conal_ quits (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 23:37:15 | → | alx741 joins (~alx741@181.196.69.141) |
| 23:39:21 | × | alx741 quits (~alx741@181.196.69.141) (Client Quit) |
| 23:40:01 | → | sz0 joins (uid110435@gateway/web/irccloud.com/x-rnjvjeqecjggznsg) |
| 23:40:56 | × | NGravity quits (csp@gateway/shell/xshellz/x-otedrzsaccyfimdi) (Ping timeout: 264 seconds) |
| 23:41:11 | → | bogdanp joins (~bogdanp@188.24.80.165) |
| 23:41:20 | × | merijn quits (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 23:47:05 | × | bogdanp quits (~bogdanp@188.24.80.165) (Ping timeout: 246 seconds) |
| 23:47:58 | → | jkabc joins (dcf0a955@220.240.169.85) |
| 23:50:39 | → | alx741 joins (~alx741@181.196.69.141) |
| 23:51:58 | × | alx741 quits (~alx741@181.196.69.141) (Client Quit) |
| 23:53:23 | × | jkabc quits (dcf0a955@220.240.169.85) (Quit: Connection closed) |
| 23:55:02 | → | NGravity joins (csp@gateway/shell/xshellz/x-zgxtsshwklznkfbe) |
All times are in UTC on 2021-01-22.