| 2021-05-03 00:00:53 +0200 | britva | (~britva@2a02:aa13:7240:2980:517d:e116:307a:ffc) (Remote host closed the connection) |
| 2021-05-03 00:01:14 +0200 | jneira | (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) (Quit: Connection closed) |
| 2021-05-03 00:01:35 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-03 00:03:43 +0200 | chisui | (59f77cab@i59F77CAB.versanet.de) (Ping timeout: 240 seconds) |
| 2021-05-03 00:03:52 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 00:07:13 +0200 | proofofkeags | (~proofofke@8.36.227.157) (Ping timeout: 260 seconds) |
| 2021-05-03 00:07:17 +0200 | forgottenone | (~forgotten@176.42.28.44) |
| 2021-05-03 00:07:57 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-03 00:09:02 +0200 | forgottenone | (~forgotten@176.42.28.44) (Remote host closed the connection) |
| 2021-05-03 00:09:13 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 00:09:22 +0200 | <jijimofo> | i'm thinking that abb will determine which version you need by looking at your source. presence/absence of fun/type, and whether they have the right type |
| 2021-05-03 00:11:57 +0200 | <sm[m]> | jijimofo: must be the time. Search for "cabal" tools on hackage, there some things like that |
| 2021-05-03 00:12:28 +0200 | <sm[m]> | also check out stackage if you haven't |
| 2021-05-03 00:12:38 +0200 | <jijimofo> | sm[m]: thanks for the suggestion. haven't seen stackage yet |
| 2021-05-03 00:13:03 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-03 00:14:59 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-03 00:18:33 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-03 00:20:00 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Ping timeout: 268 seconds) |
| 2021-05-03 00:21:04 +0200 | kaesler | (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) |
| 2021-05-03 00:23:04 +0200 | <kaesler> | (Newbie query) I have a stack-based project loaded into VSCode with the Haskell extension. I get the types displayed on hover in a tooltip, but only for non-test code. Is there a way to make this work also in unit test code? |
| 2021-05-03 00:23:28 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-05-03 00:23:40 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 00:24:21 +0200 | Ariakenom | (~Ariakenom@2001:9b1:efb:fc00:a99e:97e3:e750:cc8d) (Quit: Leaving) |
| 2021-05-03 00:24:26 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 246 seconds) |
| 2021-05-03 00:25:05 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-03 00:25:05 +0200 | sagax | (~sagax_nb@213.138.71.146) (Remote host closed the connection) |
| 2021-05-03 00:25:22 +0200 | fendor_ | (~fendor@77.119.130.215.wireless.dyn.drei.com) |
| 2021-05-03 00:25:50 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-03 00:27:02 +0200 | mmfood_2 | (~mmfood@185.176.246.118) |
| 2021-05-03 00:27:40 +0200 | fendor | (~fendor@77.119.131.33.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 2021-05-03 00:28:08 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-03 00:28:43 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-03 00:29:41 +0200 | mmfood_1 | (~mmfood@45.135.187.146) (Ping timeout: 260 seconds) |
| 2021-05-03 00:29:51 +0200 | <sm[m]> | kaesler: good question, you might get more help (eventually) in #haskell-language-server |
| 2021-05-03 00:32:29 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-03 00:33:46 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-05-03 00:34:07 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-03 00:36:03 +0200 | Guest48764 | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) (Ping timeout: 248 seconds) |
| 2021-05-03 00:38:46 +0200 | jgt | (~jgt@85.105.142.226) (Ping timeout: 240 seconds) |
| 2021-05-03 00:40:17 +0200 | jgt | (~jgt@85.105.142.226) |
| 2021-05-03 00:43:54 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 00:44:35 +0200 | kaesler | (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) (Quit: Connection closed) |
| 2021-05-03 00:44:41 +0200 | jgt | (~jgt@85.105.142.226) (Ping timeout: 240 seconds) |
| 2021-05-03 00:45:19 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 00:46:47 +0200 | kaesler | (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) |
| 2021-05-03 00:47:20 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 00:48:35 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Ping timeout: 246 seconds) |
| 2021-05-03 00:50:00 +0200 | alphabeta1 | (~kilolympu@5.151.5.177) |
| 2021-05-03 00:52:12 +0200 | kilolympus | (~kilolympu@5.151.5.177) (Ping timeout: 240 seconds) |
| 2021-05-03 00:52:17 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2021-05-03 00:52:51 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 00:54:28 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 00:54:59 +0200 | <jackdk> | kaesler: I have no experience with HLS but with similar tools you often need to configure it to load the test-suite target when reading files from a test directory. how to do that with HLS? I have no idea - maybe the manual can help? |
| 2021-05-03 00:57:07 +0200 | hiroaki | (~hiroaki@2a02:908:4b18:8c40:777f:cb6c:70ba:23d7) (Ping timeout: 260 seconds) |
| 2021-05-03 00:57:38 +0200 | kaesler | (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) (Quit: Connection closed) |
| 2021-05-03 00:58:44 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-03 00:59:18 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-03 01:00:01 +0200 | Alleria | (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) |
| 2021-05-03 01:00:24 +0200 | Alleria | Guest17184 |
| 2021-05-03 01:01:51 +0200 | ezzieyguywuf | (~Unknown@unaffiliated/ezzieyguywuf) |
| 2021-05-03 01:01:57 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2021-05-03 01:04:15 +0200 | Guest17184 | (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-03 01:08:08 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 01:10:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2021-05-03 01:11:04 +0200 | elliott_ | (~elliott_@pool-108-18-30-46.washdc.fios.verizon.net) |
| 2021-05-03 01:11:23 +0200 | utens | (~utens@81.20.127.28) |
| 2021-05-03 01:12:07 +0200 | <utens> | hirc :D |
| 2021-05-03 01:13:39 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-03 01:15:46 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) (Ping timeout: 260 seconds) |
| 2021-05-03 01:18:21 +0200 | jgt | (~jgt@85.105.142.226) |
| 2021-05-03 01:19:06 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) |
| 2021-05-03 01:19:12 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-03 01:21:18 +0200 | jgt_ | (~jgt@85.105.142.226) |
| 2021-05-03 01:21:46 +0200 | ADG1089 | (~aditya@223.226.237.158) |
| 2021-05-03 01:22:41 +0200 | jgt | (~jgt@85.105.142.226) (Ping timeout: 240 seconds) |
| 2021-05-03 01:24:27 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-03 01:24:33 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 01:24:55 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 01:25:32 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Client Quit) |
| 2021-05-03 01:28:11 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 01:28:26 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 01:29:49 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 01:33:39 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-03 01:33:52 +0200 | jgt_ | (~jgt@85.105.142.226) (Ping timeout: 265 seconds) |
| 2021-05-03 01:34:03 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-03 01:35:00 +0200 | jijimofo | (~cmo@S010610561191f5d6.lb.shawcable.net) (Quit: Leaving) |
| 2021-05-03 01:35:03 +0200 | <sm[m]> | it might need a hie.yaml that mentions the test dir |
| 2021-05-03 01:39:02 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2021-05-03 01:44:07 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) (Ping timeout: 252 seconds) |
| 2021-05-03 01:44:51 +0200 | tromp | (~tromp@dhcp-077-249-230-040.chello.nl) |
| 2021-05-03 01:45:51 +0200 | Synthetica | (uid199651@gateway/web/irccloud.com/x-cnsxlywwdhpnwokk) (Quit: Connection closed for inactivity) |
| 2021-05-03 01:53:11 +0200 | perrier-jouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.1) |
| 2021-05-03 01:54:33 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 01:54:57 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95195d90edb8136a9109.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-03 01:58:58 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 252 seconds) |
| 2021-05-03 02:00:09 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 2021-05-03 02:00:31 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 2021-05-03 02:02:22 +0200 | zaquest | (~notzaques@5.128.210.178) (Quit: Leaving) |
| 2021-05-03 02:06:05 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-05-03 02:06:21 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Quit: ENOUSER) |
| 2021-05-03 02:06:40 +0200 | olligobber | (~olligobbe@unaffiliated/olligobber) |
| 2021-05-03 02:08:30 +0200 | jgt_ | (~jgt@85.105.142.226) |
| 2021-05-03 02:08:49 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 02:10:07 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 02:14:41 +0200 | jgt_ | (~jgt@85.105.142.226) (Ping timeout: 246 seconds) |
| 2021-05-03 02:19:52 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2021-05-03 02:23:10 +0200 | dsrt^ | (dsrt@ip98-184-89-2.mc.at.cox.net) (Ping timeout: 252 seconds) |
| 2021-05-03 02:23:54 +0200 | dsrt^ | (~hph@ip98-184-89-2.mc.at.cox.net) |
| 2021-05-03 02:24:14 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 02:25:10 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 02:27:46 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-03 02:28:17 +0200 | bennofs__ | (~quassel@x4db726f5.dyn.telefonica.de) |
| 2021-05-03 02:28:25 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-03 02:28:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 02:29:27 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-03 02:31:53 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-03 02:32:21 +0200 | bennofs_ | (~quassel@dynamic-089-012-195-080.89.12.pool.telefonica.de) (Ping timeout: 265 seconds) |
| 2021-05-03 02:35:23 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 02:35:54 +0200 | kderme | (4fa70341@ppp079167003065.access.hol.gr) |
| 2021-05-03 02:36:33 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-03 02:36:41 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 02:38:29 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 02:40:14 +0200 | <alphabeta1> | Hi! I need to wait for two specific things ("events") that are in a Chan before proceeding. The order of the two things are undefined. Currently my code uses a recursive helper with two Maybe arguments, but is there a nice way to achieve this? |
| 2021-05-03 02:41:10 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-05-03 02:41:35 +0200 | Sgeo_ | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-03 02:42:05 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) (Quit: HannaM) |
| 2021-05-03 02:42:20 +0200 | <alphabeta1> | There are other things in the Chan too, by the way. |
| 2021-05-03 02:42:32 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-03 02:42:54 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds) |
| 2021-05-03 02:44:56 +0200 | stef204 | (~stef204@unaffiliated/stef-204/x-384198) (Quit: WeeChat 3.1) |
| 2021-05-03 02:44:57 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 02:50:36 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 02:51:00 +0200 | ADG1089 | (~aditya@223.226.237.158) (Remote host closed the connection) |
| 2021-05-03 02:52:17 +0200 | jgt_ | (~jgt@85.105.142.226) |
| 2021-05-03 02:52:18 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 02:53:00 +0200 | <dmj`> | alphabeta1: might want to check out QSemN |
| 2021-05-03 02:53:14 +0200 | <dmj`> | https://hackage.haskell.org/package/base-4.15.0.0/docs/Control-Concurrent-QSemN.html |
| 2021-05-03 02:53:34 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-03 02:55:47 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) (Ping timeout: 248 seconds) |
| 2021-05-03 02:56:23 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-03 02:56:43 +0200 | jgt_ | (~jgt@85.105.142.226) (Ping timeout: 252 seconds) |
| 2021-05-03 02:58:06 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-03 03:01:07 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Ping timeout: 252 seconds) |
| 2021-05-03 03:03:31 +0200 | ddellaco_ | (ddellacost@gateway/vpn/mullvad/ddellacosta) () |
| 2021-05-03 03:03:43 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-03 03:05:18 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 03:05:44 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-03 03:05:46 +0200 | drbean_ | (~drbean@TC210-63-209-209.static.apol.com.tw) |
| 2021-05-03 03:05:57 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 03:06:12 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 03:06:37 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 03:11:17 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 03:12:02 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 03:12:36 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2021-05-03 03:13:44 +0200 | whataday | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2021-05-03 03:15:13 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-05-03 03:15:35 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Client Quit) |
| 2021-05-03 03:16:51 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 03:17:55 +0200 | Deide | (~Deide@217.155.19.23) (Quit: Seeee yaaaa) |
| 2021-05-03 03:18:30 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-05-03 03:18:37 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 03:19:46 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-05-03 03:20:24 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 03:21:54 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-03 03:24:09 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 245 seconds) |
| 2021-05-03 03:28:23 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-03 03:37:13 +0200 | xff0x | (~xff0x@2001:1a81:52ec:5800:8ba9:e304:cfde:2b16) (Ping timeout: 250 seconds) |
| 2021-05-03 03:39:06 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-05-03 03:39:10 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:7883:bb44:602e:4c8f) |
| 2021-05-03 03:40:30 +0200 | BIG_JIMMY_D | (~jim@108.61.185.76) (Ping timeout: 265 seconds) |
| 2021-05-03 03:41:23 +0200 | puffnfresh | (~puffnfres@45.76.124.5) (Ping timeout: 260 seconds) |
| 2021-05-03 03:41:52 +0200 | puffnfresh | (~puffnfres@45.76.124.5) |
| 2021-05-03 03:42:59 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 03:45:15 +0200 | hackage | sandwich-quickcheck 0.1.0.5 - Sandwich integration with QuickCheck https://hackage.haskell.org/package/sandwich-quickcheck-0.1.0.5 (thomasjm) |
| 2021-05-03 03:48:59 +0200 | malumore_ | (~malumore@151.62.114.209) |
| 2021-05-03 03:50:20 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) |
| 2021-05-03 03:50:54 +0200 | BIG_JIMMY_D | (~jim@108.61.185.76) |
| 2021-05-03 03:52:41 +0200 | malumore | (~malumore@151.62.120.164) (Ping timeout: 260 seconds) |
| 2021-05-03 03:57:18 +0200 | charukiewicz_ | charukiewicz |
| 2021-05-03 04:04:48 +0200 | urodna | (~urodna@unaffiliated/urodna) (Quit: urodna) |
| 2021-05-03 04:08:20 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-temlrjczotwzbfmp) |
| 2021-05-03 04:11:06 +0200 | Rudd0 | (~Rudd0@185.189.115.103) (Ping timeout: 240 seconds) |
| 2021-05-03 04:19:06 +0200 | mmfood_2 | (~mmfood@185.176.246.118) (Ping timeout: 240 seconds) |
| 2021-05-03 04:21:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 04:24:02 +0200 | jgt_ | (~jgt@85.105.142.226) |
| 2021-05-03 04:24:25 +0200 | ADG1089 | (~aditya@223.236.186.113) |
| 2021-05-03 04:27:23 +0200 | theDon | (~td@muedsl-82-207-238-007.citykom.de) (Ping timeout: 265 seconds) |
| 2021-05-03 04:28:06 +0200 | bitmapper | (uid464869@gateway/web/irccloud.com/x-knwieyhblwaofvow) (Quit: Connection closed for inactivity) |
| 2021-05-03 04:28:34 +0200 | jgt_ | (~jgt@85.105.142.226) (Ping timeout: 252 seconds) |
| 2021-05-03 04:28:52 +0200 | theDon | (~td@94.134.91.148) |
| 2021-05-03 04:29:57 +0200 | <shapr> | most exciting error I've gotten from Haskell code recently: bloohm: /dev/ttyACM0: openFd: hardware fault (Input/output error) |
| 2021-05-03 04:34:15 +0200 | FinnElija | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) |
| 2021-05-03 04:34:15 +0200 | finn_elija | Guest42914 |
| 2021-05-03 04:34:15 +0200 | FinnElija | finn_elija |
| 2021-05-03 04:37:33 +0200 | Guest42914 | (~finn_elij@gateway/tor-sasl/finnelija/x-67402716) (Ping timeout: 240 seconds) |
| 2021-05-03 04:39:37 +0200 | proofofkeags | (~proofofke@8.36.227.157) |
| 2021-05-03 04:39:44 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:a182:9232:ec83:3157) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 04:43:30 +0200 | utens | (~utens@81.20.127.28) (Quit: Lost terminal) |
| 2021-05-03 04:44:02 +0200 | kderme | (4fa70341@ppp079167003065.access.hol.gr) (Ping timeout: 240 seconds) |
| 2021-05-03 04:44:18 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 265 seconds) |
| 2021-05-03 04:45:47 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 04:48:10 +0200 | proofofkeags | (~proofofke@8.36.227.157) (Ping timeout: 265 seconds) |
| 2021-05-03 04:49:06 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) (Quit: WeeChat 3.0.1) |
| 2021-05-03 04:54:28 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 04:54:33 +0200 | ADG1089 | (~aditya@223.236.186.113) (Remote host closed the connection) |
| 2021-05-03 04:54:42 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 04:56:01 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-05-03 04:56:21 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-03 04:56:55 +0200 | ADG1089 | (~aditya@223.236.186.113) |
| 2021-05-03 04:58:06 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-03 04:58:28 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-03 04:59:05 +0200 | tessier | (~treed@98.171.210.130) |
| 2021-05-03 04:59:05 +0200 | tessier | (~treed@98.171.210.130) (Changing host) |
| 2021-05-03 04:59:05 +0200 | tessier | (~treed@kernel-panic/copilotco) |
| 2021-05-03 04:59:09 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 245 seconds) |
| 2021-05-03 04:59:21 +0200 | ddellac__ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-03 05:00:05 +0200 | Alleria | (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) |
| 2021-05-03 05:00:21 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) (Ping timeout: 260 seconds) |
| 2021-05-03 05:00:29 +0200 | Alleria | Guest41705 |
| 2021-05-03 05:01:03 +0200 | ADG1089 | (~aditya@223.236.186.113) (Remote host closed the connection) |
| 2021-05-03 05:01:30 +0200 | ADG1089 | (~aditya@223.236.186.113) |
| 2021-05-03 05:04:19 +0200 | Guest41705 | (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 248 seconds) |
| 2021-05-03 05:08:56 +0200 | ADG1089 | (~aditya@223.236.186.113) (Remote host closed the connection) |
| 2021-05-03 05:14:06 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 05:14:16 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-03 05:14:35 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 05:14:37 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Remote host closed the connection) |
| 2021-05-03 05:19:34 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds) |
| 2021-05-03 05:27:17 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 05:27:44 +0200 | xcmw | (~textual@dyn-72-33-2-152.uwnet.wisc.edu) |
| 2021-05-03 05:29:24 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 252 seconds) |
| 2021-05-03 05:31:11 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Ping timeout: 240 seconds) |
| 2021-05-03 05:33:50 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 05:36:13 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-03 05:40:21 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 05:41:13 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Ping timeout: 276 seconds) |
| 2021-05-03 05:41:47 +0200 | sh9 | (~sh9@softbank060116136158.bbtec.net) |
| 2021-05-03 05:46:24 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 05:53:06 +0200 | alx741 | (~alx741@181.196.69.213) (Quit: alx741) |
| 2021-05-03 05:54:41 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-05-03 05:55:11 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-03 05:55:27 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:e515:fc51:a243:99ae) (Ping timeout: 250 seconds) |
| 2021-05-03 06:00:01 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 260 seconds) |
| 2021-05-03 06:01:24 +0200 | Rudd0 | (~Rudd0@185.189.115.108) |
| 2021-05-03 06:01:35 +0200 | shutdown_-h_now | (~arjan@2001:1c06:2d0b:2312:f1ef:f61e:f18b:4601) |
| 2021-05-03 06:04:35 +0200 | reaverb | (~reaverb@071-008-105-088.res.spectrum.com) |
| 2021-05-03 06:12:15 +0200 | jgt_ | (~jgt@85.105.142.226) |
| 2021-05-03 06:17:06 +0200 | jgt_ | (~jgt@85.105.142.226) (Ping timeout: 265 seconds) |
| 2021-05-03 06:27:42 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-03 06:28:09 +0200 | Sgeo_ | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-03 06:29:27 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) |
| 2021-05-03 06:37:53 +0200 | stagn8 | (~a@78-222-29-85.dyn.estpak.ee) |
| 2021-05-03 06:38:02 +0200 | lepton | (~a@78-222-29-85.dyn.estpak.ee) |
| 2021-05-03 06:38:17 +0200 | lepton | (~a@78-222-29-85.dyn.estpak.ee) (Client Quit) |
| 2021-05-03 06:42:19 +0200 | vchlup | (~vchlup@nat.brnet.cz) |
| 2021-05-03 06:42:38 +0200 | anandprabhu | (~anandprab@94.202.236.255) |
| 2021-05-03 06:42:57 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-03 06:43:17 +0200 | reaverb | (~reaverb@071-008-105-088.res.spectrum.com) (Quit: Leaving) |
| 2021-05-03 06:45:39 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) |
| 2021-05-03 06:50:07 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 276 seconds) |
| 2021-05-03 06:52:02 +0200 | ddellacosta | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Remote host closed the connection) |
| 2021-05-03 06:55:53 +0200 | z0k | (~user@115.186.169.61) |
| 2021-05-03 06:56:30 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 07:00:52 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 240 seconds) |
| 2021-05-03 07:06:27 +0200 | jgt_ | (~jgt@85.105.142.226) |
| 2021-05-03 07:07:29 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-03 07:10:41 +0200 | jgt_ | (~jgt@85.105.142.226) (Ping timeout: 240 seconds) |
| 2021-05-03 07:10:49 +0200 | gnumonic | (~gnumonic@c-73-170-91-210.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2021-05-03 07:13:30 +0200 | joncol | (~jco@c83-248-173-38.bredband.comhem.se) |
| 2021-05-03 07:14:31 +0200 | Lowl3v3l | (~Lowl3v3l@dslb-002-207-103-026.002.207.pools.vodafone-ip.de) |
| 2021-05-03 07:16:34 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 07:20:49 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 07:23:55 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:7883:bb44:602e:4c8f) (Ping timeout: 276 seconds) |
| 2021-05-03 07:24:23 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:b59e:1843:88fd:c04a) |
| 2021-05-03 07:25:46 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Quit: Leaving) |
| 2021-05-03 07:35:11 +0200 | Axman6 | (~Axman6@pdpc/supporter/student/Axman6) (Ping timeout: 252 seconds) |
| 2021-05-03 07:35:24 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 265 seconds) |
| 2021-05-03 07:37:23 +0200 | falafel | (~falafel@pool-96-255-70-50.washdc.fios.verizon.net) (Remote host closed the connection) |
| 2021-05-03 07:38:37 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2021-05-03 07:41:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-03 07:43:45 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 07:44:58 +0200 | joncol | (~jco@c83-248-173-38.bredband.comhem.se) (Quit: leaving) |
| 2021-05-03 07:48:34 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 07:50:03 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-03 07:55:11 +0200 | plutoniix | (~q@ppp-58-8-176-218.revip2.asianet.co.th) |
| 2021-05-03 07:56:15 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-snhwmajxzbdruiic) (Quit: Connection closed for inactivity) |
| 2021-05-03 08:00:34 +0200 | jgt_ | (~jgt@85.105.142.226) |
| 2021-05-03 08:00:57 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) |
| 2021-05-03 08:02:44 +0200 | Axman6 | (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-05-03 08:03:12 +0200 | CrazyPython | (~crazypyth@98.122.164.118) (Read error: Connection reset by peer) |
| 2021-05-03 08:04:05 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-03 08:04:11 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Remote host closed the connection) |
| 2021-05-03 08:04:46 +0200 | jgt_ | (~jgt@85.105.142.226) (Ping timeout: 240 seconds) |
| 2021-05-03 08:06:18 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:b59e:1843:88fd:c04a) (Remote host closed the connection) |
| 2021-05-03 08:06:36 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:b123:60d7:e6da:ba9c) |
| 2021-05-03 08:07:51 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-03 08:10:00 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 08:12:07 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 08:12:10 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 08:15:19 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:b123:60d7:e6da:ba9c) (Ping timeout: 260 seconds) |
| 2021-05-03 08:15:54 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) |
| 2021-05-03 08:18:41 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-ifoosmlkxlhftawc) (Quit: Connection closed for inactivity) |
| 2021-05-03 08:18:48 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:c45a:974b:9f61:d719) |
| 2021-05-03 08:22:06 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-03 08:32:27 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2021-05-03 08:32:40 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-03 08:41:16 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-03 08:42:41 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 08:42:41 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-03 08:46:13 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-03 08:47:46 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds) |
| 2021-05-03 08:51:03 +0200 | Gurkenglas | (~Gurkengla@unaffiliated/gurkenglas) |
| 2021-05-03 08:52:36 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 08:52:39 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) (Ping timeout: 260 seconds) |
| 2021-05-03 08:53:52 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 08:54:54 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 08:57:20 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 08:57:36 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 08:58:50 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 08:59:52 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 08:59:56 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 09:02:21 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 09:02:33 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 09:03:50 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 09:04:47 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 268 seconds) |
| 2021-05-03 09:05:19 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 09:08:27 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Quit: ValeraRozuvan) |
| 2021-05-03 09:10:19 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-03 09:11:45 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 09:12:36 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 09:13:07 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:ccb2:55cd:f4bc:4388) (Ping timeout: 276 seconds) |
| 2021-05-03 09:13:43 +0200 | cortexauth | (~cortexaut@2409:4053:2d06:2c0b:7431:af3:9b3e:bfb) |
| 2021-05-03 09:13:51 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 09:14:41 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-03 09:14:54 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 09:17:49 +0200 | cortexauth | (~cortexaut@2409:4053:2d06:2c0b:7431:af3:9b3e:bfb) (Ping timeout: 250 seconds) |
| 2021-05-03 09:18:32 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:4a7b:dc29:221:6c73) |
| 2021-05-03 09:19:15 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 248 seconds) |
| 2021-05-03 09:20:32 +0200 | valera_ | (~ValeraRoz@95.164.65.159) |
| 2021-05-03 09:21:07 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-05-03 09:23:02 +0200 | justin | (~justin@pool-74-110-179-47.rcmdva.fios.verizon.net) |
| 2021-05-03 09:23:26 +0200 | justin | Guest59447 |
| 2021-05-03 09:23:26 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Ping timeout: 260 seconds) |
| 2021-05-03 09:24:06 +0200 | <Guest59447> | hello |
| 2021-05-03 09:25:37 +0200 | aVikingTrex | (~aVikingTr@2001:8003:340d:d00:b2de:b98:7a93:b0ea) (Ping timeout: 250 seconds) |
| 2021-05-03 09:26:09 +0200 | constrixor_ | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2021-05-03 09:26:16 +0200 | valera_ | (~ValeraRoz@95.164.65.159) (Quit: valera_) |
| 2021-05-03 09:27:46 +0200 | Guest59447 | (~justin@pool-74-110-179-47.rcmdva.fios.verizon.net) (Client Quit) |
| 2021-05-03 09:29:32 +0200 | constrixor | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 240 seconds) |
| 2021-05-03 09:30:30 +0200 | OscarZ- | (~oscarz@95.175.104.49) (Quit: Leaving) |
| 2021-05-03 09:30:41 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-03 09:33:14 +0200 | fendor_ | fendor |
| 2021-05-03 09:35:13 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 09:37:33 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-03 09:42:45 +0200 | hackage | uuid 1.3.15 - For creating, comparing, parsing and printing Universally Unique Identifiers https://hackage.haskell.org/package/uuid-1.3.15 (phadej) |
| 2021-05-03 09:43:44 +0200 | hackage | uuid-types 1.0.5 - Type definitions for Universally Unique Identifiers https://hackage.haskell.org/package/uuid-types-1.0.5 (phadej) |
| 2021-05-03 09:45:17 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-gywnnzeujjipyggz) |
| 2021-05-03 09:45:49 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 09:46:03 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-03 09:46:41 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 09:47:43 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 09:50:17 +0200 | swamps | (~egp_@128-71-13-3.broadband.corbina.ru) (Quit: EXIT) |
| 2021-05-03 09:50:41 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-03 09:52:03 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 09:55:41 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.56.14) |
| 2021-05-03 09:56:18 +0200 | m0rphism | (~m0rphism@HSI-KBW-085-216-104-059.hsi.kabelbw.de) |
| 2021-05-03 09:56:55 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-03 10:00:02 +0200 | Alleria | (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) |
| 2021-05-03 10:00:25 +0200 | Alleria | Guest46630 |
| 2021-05-03 10:00:57 +0200 | gehmehgeh | (~ircuser1@gateway/tor-sasl/gehmehgeh) |
| 2021-05-03 10:01:15 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-03 10:01:37 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) (Read error: Connection reset by peer) |
| 2021-05-03 10:03:56 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-03 10:04:19 +0200 | evanjs | (~evanjs@075-129-098-007.res.spectrum.com) |
| 2021-05-03 10:04:37 +0200 | Guest46630 | (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 250 seconds) |
| 2021-05-03 10:05:24 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-03 10:05:37 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) (Remote host closed the connection) |
| 2021-05-03 10:05:54 +0200 | tomsmeding | (~tomsmedin@tomsmeding.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2021-05-03 10:07:26 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-03 10:07:39 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 265 seconds) |
| 2021-05-03 10:09:22 +0200 | mmfood_2 | (~mmfood@185.176.246.118) |
| 2021-05-03 10:09:28 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 10:09:33 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) (Ping timeout: 240 seconds) |
| 2021-05-03 10:10:37 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) (Quit: Konversation terminated!) |
| 2021-05-03 10:10:43 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:c45a:974b:9f61:d719) (Remote host closed the connection) |
| 2021-05-03 10:13:04 +0200 | wonko7 | (~wonko7@62.115.229.50) (Quit: See You Space Cowboy..) |
| 2021-05-03 10:13:26 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:6ce7:4527:a2a7:a1e6) |
| 2021-05-03 10:13:48 +0200 | tomsmeding | (~tomsmedin@tomsmeding.com) |
| 2021-05-03 10:17:55 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 248 seconds) |
| 2021-05-03 10:25:45 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 10:27:10 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) |
| 2021-05-03 10:27:11 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.56.14) (Ping timeout: 240 seconds) |
| 2021-05-03 10:30:52 +0200 | cfricke | (cfricke@gateway/vpn/mullvad/cfricke) |
| 2021-05-03 10:35:44 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 10:38:16 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:6ce7:4527:a2a7:a1e6) (Ping timeout: 276 seconds) |
| 2021-05-03 10:38:39 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:50bb:1d5:212b:cefd) |
| 2021-05-03 10:38:44 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-03 10:40:29 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 260 seconds) |
| 2021-05-03 10:41:28 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-03 10:41:39 +0200 | drbean_ | (~drbean@TC210-63-209-209.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-03 10:43:04 +0200 | alexander | (~alexander@2a02:587:dc0a:2700:39fb:67a3:1f47:16d) |
| 2021-05-03 10:43:33 +0200 | alexander | Guest43928 |
| 2021-05-03 10:44:19 +0200 | sw1nn | (~sw1nn@2a00:23c7:622f:2c00:cbb9:38e5:9364:df1e) (Quit: WeeChat 3.1) |
| 2021-05-03 10:48:02 +0200 | sw1nn | (~sw1nn@host86-188-65-1.range86-188.btcentralplus.com) |
| 2021-05-03 10:50:13 +0200 | DavidEichmann | (~david@156.59.147.147.dyn.plus.net) |
| 2021-05-03 10:50:48 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 10:53:04 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95195d90edb8136a9109.dip0.t-ipconnect.de) |
| 2021-05-03 10:55:32 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-05-03 10:56:04 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) |
| 2021-05-03 10:56:46 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-03 10:57:15 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:50bb:1d5:212b:cefd) (Ping timeout: 260 seconds) |
| 2021-05-03 10:57:42 +0200 | <JustinCase> | hello |
| 2021-05-03 10:57:50 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:1c68:d3b:e939:1fe8) |
| 2021-05-03 11:00:02 +0200 | arcontethegreat[ | (arcontethe@gateway/shell/matrix.org/x-fynbclknqzbnlvbq) (Quit: Idle for 30+ days) |
| 2021-05-03 11:01:33 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-03 11:02:23 +0200 | <[exa]> | ey hello! |
| 2021-05-03 11:04:26 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-03 11:04:43 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:1c68:d3b:e939:1fe8) (Ping timeout: 260 seconds) |
| 2021-05-03 11:05:03 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:cc38:1016:2ce2:b42) |
| 2021-05-03 11:05:55 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) (Quit: Well this is unexpected.) |
| 2021-05-03 11:06:05 +0200 | atk | (~Arch-TK@ircpuzzles/staff/Arch-TK) |
| 2021-05-03 11:07:29 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-03 11:08:58 +0200 | tvn | (~tvn@217.146.82.202) (Ping timeout: 260 seconds) |
| 2021-05-03 11:11:21 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:cc38:1016:2ce2:b42) (Ping timeout: 250 seconds) |
| 2021-05-03 11:12:40 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:89fb:f0a:8b09:aed) |
| 2021-05-03 11:14:22 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) |
| 2021-05-03 11:17:51 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:89fb:f0a:8b09:aed) (Ping timeout: 246 seconds) |
| 2021-05-03 11:18:53 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:c20a:5df:929c:b2d1) |
| 2021-05-03 11:20:09 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 11:20:09 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2021-05-03 11:20:26 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-03 11:22:06 +0200 | darjeeling_ | (~darjeelin@115.215.40.84) (Ping timeout: 240 seconds) |
| 2021-05-03 11:23:00 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.56.14) |
| 2021-05-03 11:24:21 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 250 seconds) |
| 2021-05-03 11:25:33 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) |
| 2021-05-03 11:26:11 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:c20a:5df:929c:b2d1) (Ping timeout: 260 seconds) |
| 2021-05-03 11:27:05 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:ffc1:f261:bd34:596) |
| 2021-05-03 11:31:11 +0200 | geowiesnot | (~user@i15-les02-ix2-87-89-181-157.sfr.lns.abo.bbox.fr) (Ping timeout: 240 seconds) |
| 2021-05-03 11:33:38 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-03 11:34:09 +0200 | cfricke | (cfricke@gateway/vpn/mullvad/cfricke) (Ping timeout: 260 seconds) |
| 2021-05-03 11:35:31 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:ffc1:f261:bd34:596) (Ping timeout: 260 seconds) |
| 2021-05-03 11:35:44 +0200 | darjeeling_ | (~darjeelin@122.245.210.126) |
| 2021-05-03 11:35:53 +0200 | sh9 | (~sh9@softbank060116136158.bbtec.net) (Read error: Connection reset by peer) |
| 2021-05-03 11:36:16 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:682a:77dc:98e9:82b8) |
| 2021-05-03 11:37:09 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 11:38:21 +0200 | turnA7 | (~turnA@103.120.19.44) (Quit: Ping timeout (120 seconds)) |
| 2021-05-03 11:38:39 +0200 | turnA7 | (~turnA@103.120.19.44) |
| 2021-05-03 11:40:44 +0200 | hackage | splitmix-distributions 0.1.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.1.0.0 (ocramz) |
| 2021-05-03 11:41:11 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-03 11:48:30 +0200 | cur8or | (~cur8or@72canterbury.cybersmart.co.za) |
| 2021-05-03 11:49:05 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) |
| 2021-05-03 11:50:13 +0200 | darjeeling_ | (~darjeelin@122.245.210.126) (Ping timeout: 252 seconds) |
| 2021-05-03 11:52:22 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:4a7b:dc29:221:6c73) (Ping timeout: 276 seconds) |
| 2021-05-03 11:53:40 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) (Ping timeout: 276 seconds) |
| 2021-05-03 11:59:57 +0200 | Alleria | (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) |
| 2021-05-03 12:00:21 +0200 | Alleria | Guest66315 |
| 2021-05-03 12:01:18 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 12:01:52 +0200 | icebreak1r | (michalc@freeshell.de) () |
| 2021-05-03 12:02:55 +0200 | icebreaker | (michalc@freeshell.de) |
| 2021-05-03 12:02:55 +0200 | icebreaker | (michalc@freeshell.de) (Changing host) |
| 2021-05-03 12:02:55 +0200 | icebreaker | (michalc@unaffiliated/icebreaker) |
| 2021-05-03 12:03:16 +0200 | darjeeling_ | (~darjeelin@115.215.42.118) |
| 2021-05-03 12:03:20 +0200 | icebreaker | (michalc@unaffiliated/icebreaker) () |
| 2021-05-03 12:04:43 +0200 | Guest66315 | (~textual@2603-7000-3040-0000-84f4-98d0-a4df-a22f.res6.spectrum.com) (Ping timeout: 276 seconds) |
| 2021-05-03 12:05:59 +0200 | icebreaker | (michalc@freeshell.de) |
| 2021-05-03 12:05:59 +0200 | icebreaker | (michalc@freeshell.de) (Changing host) |
| 2021-05-03 12:05:59 +0200 | icebreaker | (michalc@unaffiliated/icebreaker) |
| 2021-05-03 12:06:50 +0200 | __monty__ | (~toonn@unaffiliated/toonn) |
| 2021-05-03 12:09:27 +0200 | Pickchea | (~private@unaffiliated/pickchea) (Ping timeout: 265 seconds) |
| 2021-05-03 12:10:47 +0200 | constrixor_ | (~chargen@D964062A.static.ziggozakelijk.nl) (Quit: Leaving) |
| 2021-05-03 12:12:18 +0200 | philderbeast | (~textual@bras-base-vldvpq5901w-grc-06-184-144-244-252.dsl.bell.ca) |
| 2021-05-03 12:14:33 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:682a:77dc:98e9:82b8) (Ping timeout: 246 seconds) |
| 2021-05-03 12:15:28 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:b9d9:af98:cb3f:373e) |
| 2021-05-03 12:17:43 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-03 12:19:21 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-03 12:19:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-03 12:24:38 +0200 | malumore_ | (~malumore@151.62.114.209) (Remote host closed the connection) |
| 2021-05-03 12:25:07 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) |
| 2021-05-03 12:26:06 +0200 | malumore | (~malumore@151.62.114.209) |
| 2021-05-03 12:26:11 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-03 12:26:32 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-03 12:27:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 12:29:21 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:5440:6bb8:f181:7832) (Ping timeout: 250 seconds) |
| 2021-05-03 12:30:16 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 12:32:30 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-03 12:32:46 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 12:34:28 +0200 | yaroot | (~yaroot@138.102.13.160.dy.iij4u.or.jp) (Quit: The Lounge - https://thelounge.chat) |
| 2021-05-03 12:34:51 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-gywnnzeujjipyggz) (Quit: Connection closed for inactivity) |
| 2021-05-03 12:35:10 +0200 | yaroot | (~yaroot@138.102.13.160.dy.iij4u.or.jp) |
| 2021-05-03 12:37:32 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 268 seconds) |
| 2021-05-03 12:38:01 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 12:38:04 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-03 12:38:32 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 12:42:06 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-03 12:43:26 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 240 seconds) |
| 2021-05-03 12:44:31 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 12:46:15 +0200 | hackage | splitmix-distributions 0.3.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.3.0.0 (ocramz) |
| 2021-05-03 12:49:47 +0200 | Alleria | (~textual@zrcout.mskcc.org) |
| 2021-05-03 12:50:11 +0200 | Alleria | Guest52589 |
| 2021-05-03 12:54:29 +0200 | zgrep | (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) (Remote host closed the connection) |
| 2021-05-03 12:54:53 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 265 seconds) |
| 2021-05-03 12:55:25 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 12:55:49 +0200 | zgrep | (~zgrep@ircpuzzles/2015/april-fools/sixth/zgrep) |
| 2021-05-03 13:00:15 +0200 | hackage | souffle-haskell 3.0.0 - Souffle Datalog bindings for Haskell https://hackage.haskell.org/package/souffle-haskell-3.0.0 (luc_tielen) |
| 2021-05-03 13:02:41 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 13:08:54 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Ping timeout: 265 seconds) |
| 2021-05-03 13:11:15 +0200 | hackage | splitmix-distributions 0.4.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.4.0.0 (ocramz) |
| 2021-05-03 13:12:31 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-03 13:13:02 +0200 | <siers> | @pl traverse (pure . f) l |
| 2021-05-03 13:13:03 +0200 | <lambdabot> | traverse (pure . f) l |
| 2021-05-03 13:13:59 +0200 | <siers> | ah, never mind |
| 2021-05-03 13:17:44 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 13:18:42 +0200 | <siers> | :t foldr |
| 2021-05-03 13:18:44 +0200 | <lambdabot> | Foldable t => (a -> b -> b) -> b -> t a -> b |
| 2021-05-03 13:19:04 +0200 | <siers> | @hoogle Foldable t => b -> t a -> (a -> b -> b) -> b |
| 2021-05-03 13:19:06 +0200 | <lambdabot> | No results found |
| 2021-05-03 13:19:15 +0200 | <siers> | @hoogle b -> t a -> (a -> b -> b) -> b |
| 2021-05-03 13:19:16 +0200 | <lambdabot> | No results found |
| 2021-05-03 13:23:10 +0200 | stagn8 | (~a@78-222-29-85.dyn.estpak.ee) (Quit: Leaving) |
| 2021-05-03 13:25:25 +0200 | kimpa | (b9b792ed@gateway/web/cgi-irc/kiwiirc.com/ip.185.183.146.237) |
| 2021-05-03 13:25:42 +0200 | xprl-gjf | (~gavin@98.154.147.147.dyn.plus.net) (Quit: haskell) |
| 2021-05-03 13:26:41 +0200 | juliagoda | (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) |
| 2021-05-03 13:28:45 +0200 | hackage | splitmix-distributions 0.5.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.5.0.0 (ocramz) |
| 2021-05-03 13:29:51 +0200 | kimpa | (b9b792ed@gateway/web/cgi-irc/kiwiirc.com/ip.185.183.146.237) (Client Quit) |
| 2021-05-03 13:31:37 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2021-05-03 13:31:38 +0200 | kwannoel | (~Android@2401:7400:6004:e597:1:1:9b0:49b2) |
| 2021-05-03 13:31:50 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) |
| 2021-05-03 13:33:01 +0200 | Kaiepi | (~Kaiepi@47.54.252.148) (Remote host closed the connection) |
| 2021-05-03 13:37:58 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-03 13:38:08 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) (Remote host closed the connection) |
| 2021-05-03 13:40:26 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 13:40:50 +0200 | <olligobber> | does anyone here know anything about type level set operations? at the moment I'm using a list of types, and comparing setwise equality, subset, and doing unions would be nice |
| 2021-05-03 13:41:57 +0200 | <olligobber> | it's probably not necessary, but it would be cool |
| 2021-05-03 13:42:33 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-03 13:42:44 +0200 | machinedgod | (~machinedg@135-23-192-217.cpe.pppoe.ca) |
| 2021-05-03 13:43:50 +0200 | <olligobber> | oh, Data.Type.List from type-list seems to have what I want |
| 2021-05-03 13:46:39 +0200 | <olligobber> | or I could use type-level-sets |
| 2021-05-03 13:46:46 +0200 | hypercube | (~hypercube@2603-6011-f901-9e5b-0000-0000-0000-08cf.res6.spectrum.com) |
| 2021-05-03 13:48:44 +0200 | rodriga | (~quassel@134.204.25.66) |
| 2021-05-03 13:49:44 +0200 | <olligobber> | I don't see a nice way of checking two type level sets are subsets though |
| 2021-05-03 13:50:21 +0200 | <merijn> | THere are no nice ways |
| 2021-05-03 13:50:39 +0200 | <merijn> | In fact, this entire line of enquiry leads directly to madness >.> |
| 2021-05-03 13:51:11 +0200 | <olligobber> | oh |
| 2021-05-03 13:51:38 +0200 | <merijn> | olligobber: I hope you really like long coffee breaks during compilation :p |
| 2021-05-03 13:51:42 +0200 | <olligobber> | I guess I can just use append for union, and I don't really need the other things |
| 2021-05-03 13:51:51 +0200 | <olligobber> | I'm not gonna use really big sets |
| 2021-05-03 13:52:12 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-03 13:53:37 +0200 | <olligobber> | actually, I can just have a thing that goes from Free s -> Free (Union s t) to do subset stuff |
| 2021-05-03 13:53:41 +0200 | <olligobber> | or the other way around |
| 2021-05-03 13:53:58 +0200 | <phanf> | Hello world what's good |
| 2021-05-03 13:54:04 +0200 | <olligobber> | are type-level-sets that slow though? if my sets have like 10 things at most |
| 2021-05-03 13:54:18 +0200 | <olligobber> | phanf, type level programming |
| 2021-05-03 13:54:25 +0200 | dyeplexer | (~lol@unaffiliated/terpin) |
| 2021-05-03 13:54:41 +0200 | <olligobber> | merijn, I don't like coffee, so how long are the breaks? |
| 2021-05-03 13:54:56 +0200 | <olligobber> | I guess I can just write the code and see what happens |
| 2021-05-03 13:54:59 +0200 | zebrag | (~inkbottle@aaubervilliers-654-1-158-70.w86-212.abo.wanadoo.fr) (Quit: Konversation terminated!) |
| 2021-05-03 13:56:01 +0200 | urodna | (~urodna@unaffiliated/urodna) |
| 2021-05-03 13:56:27 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 13:57:26 +0200 | drbean_ | (~drbean@TC210-63-209-57.static.apol.com.tw) |
| 2021-05-03 14:03:03 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-03 14:03:28 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) |
| 2021-05-03 14:04:30 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-vsovwsermnfahdlr) |
| 2021-05-03 14:04:55 +0200 | <olligobber> | hmm, it didn't work |
| 2021-05-03 14:06:21 +0200 | mmfood_2 | (~mmfood@185.176.246.118) (Ping timeout: 260 seconds) |
| 2021-05-03 14:07:13 +0200 | <olligobber> | ah, I need to use type applications so it knows what I'm unioning |
| 2021-05-03 14:11:57 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-03 14:12:35 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-03 14:14:00 +0200 | todda7 | (~torstein@2a02:587:3724:1a75:aca:df22:9d82:969f) |
| 2021-05-03 14:14:42 +0200 | ubert | (~Thunderbi@188-23-70-233.adsl.highway.telekom.at) |
| 2021-05-03 14:14:48 +0200 | malumore_ | (~malumore@151.62.114.209) |
| 2021-05-03 14:15:24 +0200 | malumore_ | (~malumore@151.62.114.209) (Remote host closed the connection) |
| 2021-05-03 14:17:06 +0200 | malumore | (~malumore@151.62.114.209) (Ping timeout: 240 seconds) |
| 2021-05-03 14:19:17 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Ping timeout: 268 seconds) |
| 2021-05-03 14:19:22 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-kmvdikgbahmdgmyf) |
| 2021-05-03 14:20:22 +0200 | oish | (~charlie@228.25.169.217.in-addr.arpa) (Ping timeout: 252 seconds) |
| 2021-05-03 14:20:31 +0200 | <viluon> | hi, is there a tool which would expose demand signatures in a more user-friendly way than looking for them in Core output? |
| 2021-05-03 14:21:16 +0200 | plutoniix | (~q@ppp-58-8-176-218.revip2.asianet.co.th) (Quit: Leaving) |
| 2021-05-03 14:21:53 +0200 | Tops2 | (~Tobias@dyndsl-095-033-022-213.ewe-ip-backbone.de) |
| 2021-05-03 14:22:13 +0200 | <viluon> | it'd probably be best to show them with HLS (on hover), if there's a clear mapping from Core back to the surface syntax. I don't expect a tool like that to exist, but I'm asking just in case |
| 2021-05-03 14:23:41 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 14:27:56 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2021-05-03 14:28:50 +0200 | juliagoda | (~juliagoda@2a02:a31a:e13a:eb00:758f:d455:b475:46e4) (Quit: Leaving) |
| 2021-05-03 14:28:56 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 14:29:09 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-03 14:30:50 +0200 | kwannoel | (~Android@2401:7400:6004:e597:1:1:9b0:49b2) (Quit: -a- Connection Timed Out) |
| 2021-05-03 14:31:04 +0200 | kwannoel | (~Android@bb42-60-209-246.singnet.com.sg) |
| 2021-05-03 14:31:42 +0200 | kwannoel | (~Android@bb42-60-209-246.singnet.com.sg) (Client Quit) |
| 2021-05-03 14:33:12 +0200 | cur8or | (~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 240 seconds) |
| 2021-05-03 14:33:55 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 252 seconds) |
| 2021-05-03 14:35:44 +0200 | cur8or | (~cur8or@72canterbury.cybersmart.co.za) |
| 2021-05-03 14:36:49 +0200 | magbo | (~sweater@206.81.18.26) |
| 2021-05-03 14:38:06 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 240 seconds) |
| 2021-05-03 14:43:09 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-03 14:48:16 +0200 | olligobber | (~olligobbe@unaffiliated/olligobber) (Read error: Connection reset by peer) |
| 2021-05-03 14:48:33 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-03 14:50:44 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 14:51:45 +0200 | hackage | splitmix-distributions 0.6.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.6.0.0 (ocramz) |
| 2021-05-03 14:53:14 +0200 | hackage | irc-client 1.1.2.1 - An IRC client library. https://hackage.haskell.org/package/irc-client-1.1.2.1 (barrucadu) |
| 2021-05-03 14:56:55 +0200 | horatiohb | (~horatiohb@167.99.50.138) |
| 2021-05-03 14:57:36 +0200 | anandprabhu | (~anandprab@94.202.236.255) (Quit: Konversation terminated!) |
| 2021-05-03 15:00:22 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 15:03:15 +0200 | hackage | hspec-golden 0.2.0.0 - Golden tests for hspec https://hackage.haskell.org/package/hspec-golden-0.2.0.0 (stackbuilders) |
| 2021-05-03 15:04:50 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-03 15:05:25 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds) |
| 2021-05-03 15:05:42 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-03 15:07:01 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2021-05-03 15:07:42 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 240 seconds) |
| 2021-05-03 15:09:45 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 15:10:46 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 15:12:15 +0200 | hackage | splitmix-distributions 0.7.0.0 - Random samplers for some common distributions, based on splitmix. https://hackage.haskell.org/package/splitmix-distributions-0.7.0.0 (ocramz) |
| 2021-05-03 15:12:40 +0200 | dmytrish | (~mitra@2a02:8084:a82:d900:4cc7:f0a8:8d74:1dfc) |
| 2021-05-03 15:13:14 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 15:13:50 +0200 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-03 15:15:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 240 seconds) |
| 2021-05-03 15:17:23 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 15:20:12 +0200 | pavonia | (~user@unaffiliated/siracusa) (Quit: Bye!) |
| 2021-05-03 15:20:58 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Quit: Connection closed) |
| 2021-05-03 15:21:11 +0200 | mrchampion | (~mrchampio@38.18.109.23) (Ping timeout: 240 seconds) |
| 2021-05-03 15:22:12 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) (Quit: ZNC 1.7.5+deb4 - https://znc.in) |
| 2021-05-03 15:22:31 +0200 | codedmart | (~codedmart@li335-49.members.linode.com) |
| 2021-05-03 15:24:58 +0200 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2021-05-03 15:27:27 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-03 15:27:42 +0200 | zariuq | (~zar@fw1.ciirc.cvut.cz) |
| 2021-05-03 15:32:22 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 15:32:51 +0200 | carlomagno | (~cararell@148.87.23.5) |
| 2021-05-03 15:32:55 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Client Quit) |
| 2021-05-03 15:34:52 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) |
| 2021-05-03 15:35:16 +0200 | timCF | (~i.tkachuk@200-149-20-81.sta.estpak.ee) |
| 2021-05-03 15:36:23 +0200 | <timCF> | Hello! Does anybody know how to pass type information to dispatch instance implementation without passing values? Usually people are using `Proxy` type. It works, sure. But look of it is not the best. Does anybody know better alternatives? |
| 2021-05-03 15:37:52 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 15:37:56 +0200 | oxide | (~lambda@unaffiliated/mclaren) (Ping timeout: 246 seconds) |
| 2021-05-03 15:40:12 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 15:41:14 +0200 | z0k | (~user@115.186.169.61) (Quit: WeeChat 3.0) |
| 2021-05-03 15:44:47 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 15:45:25 +0200 | oxide | (~lambda@unaffiliated/mclaren) |
| 2021-05-03 15:46:39 +0200 | drbean_ | (~drbean@TC210-63-209-57.static.apol.com.tw) (Quit: ZNC 1.8.2+cygwin2 - https://znc.in) |
| 2021-05-03 15:46:59 +0200 | brownxoat | (uid497520@gateway/web/irccloud.com/x-gnvcoowjhkmblozz) (Quit: Connection closed for inactivity) |
| 2021-05-03 15:47:27 +0200 | ddellacosta | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-03 15:48:50 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) (Remote host closed the connection) |
| 2021-05-03 15:49:19 +0200 | xensky | (~xensky@xengarden.xen.prgmr.com) (Quit: i quit) |
| 2021-05-03 15:49:26 +0200 | xensky | (~xensky@xengarden.xen.prgmr.com) |
| 2021-05-03 15:49:42 +0200 | aplainze1akind | (~johndoe@captainludd.powered.by.lunarbnc.net) |
| 2021-05-03 15:50:19 +0200 | jonathanx | (~jonathan@h-176-109.A357.priv.bahnhof.se) |
| 2021-05-03 15:50:31 +0200 | <merijn> | timCF: There's *worse* alternatives, but not better ones |
| 2021-05-03 15:52:01 +0200 | <merijn> | I mean, the best alternative would be "don't dispatch on types that aren't in the interface", but when you have to do that (P|p)roxy is the most robust way |
| 2021-05-03 15:52:09 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 15:52:41 +0200 | st8less | (~st8less@2603:a060:11fd:0:d62b:12cd:ced2:f738) |
| 2021-05-03 15:52:45 +0200 | int-e | (~noone@int-e.eu) (Ping timeout: 265 seconds) |
| 2021-05-03 15:52:46 +0200 | <merijn> | There are heathens that advocate for -XTypeApplications, but that is a *great* way to make your API brittle and requiring very defensive upperbounds |
| 2021-05-03 15:52:52 +0200 | aplainzetakind | (~johndoe@captainludd.powered.by.lunarbnc.net) (Ping timeout: 276 seconds) |
| 2021-05-03 15:52:52 +0200 | aplainze1akind | aplainzetakind |
| 2021-05-03 15:53:14 +0200 | hackage | pandoc-plot 1.2.0 - A Pandoc filter to include figures generated from code blocks using your plotting toolkit of choice. https://hackage.haskell.org/package/pandoc-plot-1.2.0 (LaurentRDC) |
| 2021-05-03 15:53:58 +0200 | <timCF> | merijn: thanks! |
| 2021-05-03 15:54:09 +0200 | int-e | (~noone@int-e.eu) |
| 2021-05-03 15:54:41 +0200 | cr3 | (~cr3@192-222-143-195.qc.cable.ebox.net) |
| 2021-05-03 15:56:52 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 15:57:06 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 265 seconds) |
| 2021-05-03 15:57:12 +0200 | <merijn> | timCF: The problem with TypeApplications is that it makes your code rely on the order that type variables are "forall"-ed into types, and if that changes, the code breaks. But 99% of the code of hackage doesn't consider that part of the public API, so anyone refactoring to add an explicit forall (for ScopedTypeVariables, for example) will break your code |
| 2021-05-03 15:57:22 +0200 | <wz1000> | timCF: there is also Proxy# if you are concerned about runtime cost |
| 2021-05-03 15:57:31 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-03 15:57:34 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-03 15:57:51 +0200 | <merijn> | timCF: Worse, since the order for implicit variables is determined by GHC's type inference algorithm, which means that it can change and break if GHC's type inference changes |
| 2021-05-03 15:58:18 +0200 | tr26 | (56025d38@cpc159263-nrth1-2-0-cust311.8-4.cable.virginm.net) |
| 2021-05-03 15:58:22 +0200 | <merijn> | timCF: Which is not a hypothetical problem, as we've already had a GHC release that broke some uses of TypeApplications due to changes in inference |
| 2021-05-03 15:58:53 +0200 | <wz1000> | merijn: I don't think you can use type applications on inferred types without explicit forall |
| 2021-05-03 15:58:55 +0200 | <maerwald> | merijn: it might not even break your code, but just does something different :p |
| 2021-05-03 15:59:06 +0200 | <merijn> | wz1000: You can |
| 2021-05-03 15:59:44 +0200 | <merijn> | wz1000: Most of base doesn't have explicit forall and people use TypeApplications all the time |
| 2021-05-03 15:59:57 +0200 | <maerwald> | I think I've hit one case so far where order of type applications was messed up (don't remeber why) and it still compiled |
| 2021-05-03 16:00:07 +0200 | <merijn> | > read *Int "1" |
| 2021-05-03 16:00:10 +0200 | <lambdabot> | error: |
| 2021-05-03 16:00:10 +0200 | <lambdabot> | • Data constructor not in scope: Int :: [Char] -> String -> a |
| 2021-05-03 16:00:10 +0200 | <lambdabot> | • Perhaps you meant variable ‘int’ (imported from Text.PrettyPrint.Hughe... |
| 2021-05-03 16:00:10 +0200 | <merijn> | > read @Int "1" |
| 2021-05-03 16:00:12 +0200 | <lambdabot> | error: |
| 2021-05-03 16:00:12 +0200 | <lambdabot> | Pattern syntax in expression context: read@Int |
| 2021-05-03 16:00:12 +0200 | <lambdabot> | Did you mean to enable TypeApplications? |
| 2021-05-03 16:00:21 +0200 | <merijn> | % read @Int "1" |
| 2021-05-03 16:00:21 +0200 | <yahb> | merijn: 1 |
| 2021-05-03 16:00:28 +0200 | <maerwald> | but I don't consider it a show stopper |
| 2021-05-03 16:00:36 +0200 | <merijn> | wz1000: 'read' doesn't have an explicit forall in base, for example |
| 2021-05-03 16:00:42 +0200 | <maerwald> | we have worse problem in haskell |
| 2021-05-03 16:00:52 +0200 | <wz1000> | merijn: only works if there is a single variable I think |
| 2021-05-03 16:01:02 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 246 seconds) |
| 2021-05-03 16:01:25 +0200 | <merijn> | hmm |
| 2021-05-03 16:01:37 +0200 | <merijn> | Now I need to find a class that has more than 1 |
| 2021-05-03 16:02:40 +0200 | <merijn> | % :t Control.Monad.Read.ask @((->) Int) @Int |
| 2021-05-03 16:02:40 +0200 | <yahb> | merijn: ; <interactive>:1:1: error:; Not in scope: `Control.Monad.Read.ask'; Perhaps you meant one of these: `Control.Monad.Reader.ask' (imported from Control.Monad.Reader), `Control.Monad.RWS.ask' (imported from Control.Monad.RWS), `Control.Monad.Reader.asks' (imported from Control.Monad.Reader); No module named `Control.Monad.Read' is imported. |
| 2021-05-03 16:02:48 +0200 | <merijn> | % :t Control.Monad.Reader.ask @((->) Int) @Int |
| 2021-05-03 16:02:48 +0200 | <yahb> | merijn: ; <interactive>:1:28: error:; * Expecting one more argument to `(->) Int'; Expected a type, but `(->) Int' has kind `* -> *'; * In the type `((->) Int)'; In the expression: ask @((->) Int) @Int |
| 2021-05-03 16:02:53 +0200 | cur8or | (~cur8or@72canterbury.cybersmart.co.za) (Ping timeout: 268 seconds) |
| 2021-05-03 16:03:14 +0200 | <merijn> | % :t Control.Monad.Reader.ask @(Reader Int) @Int |
| 2021-05-03 16:03:14 +0200 | <yahb> | merijn: ; <interactive>:1:28: error:; * Expecting one more argument to `Reader Int'; Expected a type, but `Reader Int' has kind `* -> *'; * In the type `(Reader Int)'; In the expression: ask @(Reader Int) @Int |
| 2021-05-03 16:03:20 +0200 | <merijn> | hmm |
| 2021-05-03 16:03:28 +0200 | <merijn> | ok, I'm too lazy to figure this out |
| 2021-05-03 16:04:04 +0200 | <tr26> | Hello, currently having trouble with installing packages with cabal. Everytime I attempt to run "cabal install tasty" I get "cannot build the executables in the package tasty because it does not contain any executables. Check the .cabal file for the package and make sure that it properly declares the components that you expect.". Running on the |
| 2021-05-03 16:04:05 +0200 | <tr26> | newest cabal, haskell and ghc versions on Windows. The .cabal file is definitely correct and when I look at "cabal list tasty" etc, nothing is installed. Hoping someone has come across this before! |
| 2021-05-03 16:04:33 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-03 16:04:49 +0200 | <maerwald> | merijn: order of arguments is wrong xD |
| 2021-05-03 16:04:51 +0200 | <maerwald> | haha |
| 2021-05-03 16:04:58 +0200 | <maerwald> | % :t Control.Monad.Reader.ask @Int @(Reader Int) |
| 2021-05-03 16:04:58 +0200 | <yahb> | maerwald: Reader Int Int |
| 2021-05-03 16:05:13 +0200 | <maerwald> | qed |
| 2021-05-03 16:05:21 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 16:05:28 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-03 16:06:46 +0200 | horatiohb | (~horatiohb@167.99.50.138) (Ping timeout: 265 seconds) |
| 2021-05-03 16:08:41 +0200 | howdoi | (uid224@gateway/web/irccloud.com/x-kpxmuqxybttglbrz) |
| 2021-05-03 16:09:59 +0200 | tr26 | (56025d38@cpc159263-nrth1-2-0-cust311.8-4.cable.virginm.net) (Quit: Connection closed) |
| 2021-05-03 16:10:32 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-03 16:13:39 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 252 seconds) |
| 2021-05-03 16:14:39 +0200 | <merijn> | hah |
| 2021-05-03 16:16:18 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-03 16:16:21 +0200 | rdivyanshu | (uid322626@gateway/web/irccloud.com/x-vsovwsermnfahdlr) (Quit: Connection closed for inactivity) |
| 2021-05-03 16:16:26 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Ping timeout: 265 seconds) |
| 2021-05-03 16:16:56 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 16:17:38 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 16:18:35 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b95195d90edb8136a9109.dip0.t-ipconnect.de) (Ping timeout: 250 seconds) |
| 2021-05-03 16:20:24 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-05-03 16:20:24 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-05-03 16:20:24 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-03 16:20:59 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Ping timeout: 246 seconds) |
| 2021-05-03 16:21:02 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 16:22:03 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 250 seconds) |
| 2021-05-03 16:22:39 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-03 16:23:05 +0200 | ADG1089 | (~aditya@223.236.186.113) |
| 2021-05-03 16:24:57 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) |
| 2021-05-03 16:25:04 +0200 | Natch | (~natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2021-05-03 16:26:24 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-03 16:27:54 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 245 seconds) |
| 2021-05-03 16:30:23 +0200 | Natch | (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-03 16:30:25 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 16:30:44 +0200 | hackage | tlex-core 0.3.0.0 - A lexer generator https://hackage.haskell.org/package/tlex-core-0.3.0.0 (mizunashi_mana) |
| 2021-05-03 16:31:26 +0200 | pfurla_ | (~pfurla@ool-182ed2e2.dyn.optonline.net) (Read error: Connection reset by peer) |
| 2021-05-03 16:32:21 +0200 | pfurla | (~pfurla@ool-182ed2e2.dyn.optonline.net) |
| 2021-05-03 16:33:13 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 16:33:29 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-03 16:35:53 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-03 16:35:55 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::647c) (Ping timeout: 250 seconds) |
| 2021-05-03 16:36:23 +0200 | Sgeo | (~Sgeo@ool-18b9875e.dyn.optonline.net) |
| 2021-05-03 16:40:34 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 16:42:33 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-03 16:43:11 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 16:45:52 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 16:46:07 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 16:46:17 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 16:48:27 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) |
| 2021-05-03 16:50:01 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-03 16:50:44 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 246 seconds) |
| 2021-05-03 16:53:03 +0200 | <timCF> | Hello! Is there alternative of `.` for monads? To compose `=<<` in eta-reduced style? |
| 2021-05-03 16:54:07 +0200 | <timCF> | At the moment I'm using `(foo =<<) . (bar x =<<) . buz` but it does not look very nice |
| 2021-05-03 16:54:08 +0200 | <geekosaur> | there's `>=>` going the other direction |
| 2021-05-03 16:54:56 +0200 | <dolio> | (<=<) also exists. |
| 2021-05-03 16:55:14 +0200 | <timCF> | geekosaur: dolio: super cool! |
| 2021-05-03 16:55:16 +0200 | <timCF> | thanks |
| 2021-05-03 16:55:23 +0200 | <timCF> | :t (<=<) |
| 2021-05-03 16:55:25 +0200 | <lambdabot> | Monad m => (b -> m c) -> (a -> m b) -> a -> m c |
| 2021-05-03 16:55:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-03 16:56:44 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 16:57:55 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 16:57:59 +0200 | jrvlima | (~jlima@2804:7f2:2a8d:d54f:ef34:bc04:6132:d4ab) |
| 2021-05-03 16:58:08 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-03 16:58:14 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 16:58:58 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 260 seconds) |
| 2021-05-03 16:59:06 +0200 | proofofkeags | (~proofofke@97-118-239-55.hlrn.qwest.net) (Ping timeout: 240 seconds) |
| 2021-05-03 17:00:01 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 17:01:46 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 276 seconds) |
| 2021-05-03 17:02:02 +0200 | kritzefitz | (~kritzefit@2003:5b:203b:200::10:49) (Remote host closed the connection) |
| 2021-05-03 17:07:03 +0200 | kaesler | (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) |
| 2021-05-03 17:10:21 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 17:11:32 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds) |
| 2021-05-03 17:11:46 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 17:14:22 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Client Quit) |
| 2021-05-03 17:15:28 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-05-03 17:16:29 +0200 | knupfer | (~Thunderbi@200116b82b019d0041f0bd5f542d2511.dip.versatel-1u1.de) |
| 2021-05-03 17:17:05 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 17:18:10 +0200 | kaesler | (641118a7@pool-100-17-24-167.bstnma.fios.verizon.net) (Quit: Connection closed) |
| 2021-05-03 17:18:21 +0200 | cfricke | (~cfricke@unaffiliated/cfricke) (Ping timeout: 246 seconds) |
| 2021-05-03 17:19:11 +0200 | Deide | (~Deide@217.155.19.23) |
| 2021-05-03 17:22:30 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-05-03 17:22:43 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:b9d9:af98:cb3f:373e) (Ping timeout: 260 seconds) |
| 2021-05-03 17:23:45 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) |
| 2021-05-03 17:24:57 +0200 | waleee-cl | (uid373333@gateway/web/irccloud.com/x-bdtzrtmgfdsivqab) |
| 2021-05-03 17:25:27 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 17:25:42 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) |
| 2021-05-03 17:26:11 +0200 | s00pcan | (~chris@075-133-056-178.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2021-05-03 17:27:33 +0200 | <seven_three> | I have a bunch of functions that take and return a ProgramState: `f :: ProgramState -> a -> a -> ProgramState`. I am struggling to implement the examples I see about the State monad because the examples return a value along with the state `-> (a, ProgramState)` but I don't care about getting a value, all I need to do is return a new ProgramState. Is the State monad the right abstraction for me? |
| 2021-05-03 17:28:29 +0200 | s00pcan | (~chris@107.181.165.217) |
| 2021-05-03 17:28:51 +0200 | knupfer | (~Thunderbi@200116b82b019d0041f0bd5f542d2511.dip.versatel-1u1.de) (Ping timeout: 248 seconds) |
| 2021-05-03 17:29:29 +0200 | <geekosaur> | probably not, although there's State ProgramState () |
| 2021-05-03 17:30:39 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-03 17:31:18 +0200 | <seven_three> | geekosaur: Am I right to say that the advantage of using `State ProgramState ()` is that I wouldn't have to explicitly pass around the initial `ProgramState` to all the functions? |
| 2021-05-03 17:31:23 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) (Ping timeout: 240 seconds) |
| 2021-05-03 17:31:34 +0200 | <geekosaur> | yes |
| 2021-05-03 17:31:43 +0200 | anandprabhu | (~anandprab@94.202.236.255) |
| 2021-05-03 17:32:01 +0200 | <seven_three> | so then instead all of my functions would be `f :: a -> a -> State ProgramState ()`? |
| 2021-05-03 17:32:16 +0200 | <geekosaur> | yes |
| 2021-05-03 17:32:34 +0200 | <seven_three> | ok nice |
| 2021-05-03 17:32:53 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 17:33:08 +0200 | proofofkeags | (~proofofke@205.209.28.54) |
| 2021-05-03 17:33:48 +0200 | anandprabhu | (~anandprab@94.202.236.255) (Client Quit) |
| 2021-05-03 17:33:59 +0200 | anandprabhu | (~Anand@94.202.236.255) |
| 2021-05-03 17:34:23 +0200 | anandprabhu | Guest92256 |
| 2021-05-03 17:34:36 +0200 | Guest92256 | (~Anand@94.202.236.255) (Client Quit) |
| 2021-05-03 17:36:08 +0200 | conal | (~conal@64.71.133.70) |
| 2021-05-03 17:36:09 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 17:36:25 +0200 | anandprabhu_ | (~Anand@94.202.236.255) |
| 2021-05-03 17:37:23 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Remote host closed the connection) |
| 2021-05-03 17:38:25 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 17:39:17 +0200 | anandprabhu_ | (~Anand@94.202.236.255) (Client Quit) |
| 2021-05-03 17:40:18 +0200 | wroathe | (~wroathe@c-68-54-25-135.hsd1.mn.comcast.net) (Quit: leaving) |
| 2021-05-03 17:40:40 +0200 | conal | (~conal@64.71.133.70) (Quit: Computer has gone to sleep.) |
| 2021-05-03 17:42:39 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 250 seconds) |
| 2021-05-03 17:42:57 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 265 seconds) |
| 2021-05-03 17:43:28 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) |
| 2021-05-03 17:43:44 +0200 | neiluj | (~jco@91-167-203-101.subs.proxad.net) (Changing host) |
| 2021-05-03 17:43:44 +0200 | neiluj | (~jco@unaffiliated/neiluj) |
| 2021-05-03 17:44:36 +0200 | knupfer | (~Thunderbi@200116b82b019d00bc2b28bf1ce4a9b3.dip.versatel-1u1.de) |
| 2021-05-03 17:47:43 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 252 seconds) |
| 2021-05-03 17:50:13 +0200 | timCF | (~i.tkachuk@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2021-05-03 17:50:23 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-03 17:51:08 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 17:51:16 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-03 17:51:28 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 17:53:55 +0200 | mrchampion | (~mrchampio@38.18.109.23) |
| 2021-05-03 17:54:54 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 17:56:27 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 17:57:31 +0200 | coot | (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) |
| 2021-05-03 17:58:22 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 17:59:06 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-03 17:59:53 +0200 | cortexauth | (~cortexaut@2409:4053:2d0a:74c3:7032:4b2e:f199:87f0) |
| 2021-05-03 18:00:03 +0200 | coot | (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) (Remote host closed the connection) |
| 2021-05-03 18:00:07 +0200 | jo[m]5 | (josefmat1@gateway/shell/matrix.org/x-ctqrkejqlhbnkkcd) (Quit: Idle for 30+ days) |
| 2021-05-03 18:00:26 +0200 | coot | (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) |
| 2021-05-03 18:02:46 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Ping timeout: 265 seconds) |
| 2021-05-03 18:04:25 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-03 18:05:20 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-03 18:06:54 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Quit: Connection closed) |
| 2021-05-03 18:06:56 +0200 | hendursa1 | (~weechat@gateway/tor-sasl/hendursaga) (Quit: hendursa1) |
| 2021-05-03 18:07:31 +0200 | hendursaga | (~weechat@gateway/tor-sasl/hendursaga) |
| 2021-05-03 18:09:44 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 18:10:30 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) |
| 2021-05-03 18:10:32 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-03 18:11:21 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2021-05-03 18:11:33 +0200 | ADG1089 | (~aditya@223.236.186.113) (Quit: Konversation terminated!) |
| 2021-05-03 18:12:48 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) |
| 2021-05-03 18:14:46 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 18:15:05 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 18:17:10 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 18:18:21 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) (Ping timeout: 240 seconds) |
| 2021-05-03 18:19:15 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (Remote host closed the connection) |
| 2021-05-03 18:20:24 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 268 seconds) |
| 2021-05-03 18:21:05 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-03 18:22:06 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-03 18:22:06 +0200 | alx741 | (~alx741@181.196.69.213) |
| 2021-05-03 18:22:09 +0200 | keiopa | (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) |
| 2021-05-03 18:22:36 +0200 | cantstanya | (~chatting@gateway/tor-sasl/cantstanya) |
| 2021-05-03 18:24:22 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 18:24:27 +0200 | <keiopa> | hey, if i have a function that has this signature : "calcLine :: NPoint -> (NPoint -> OverTime NPoint)" what is this returning? |
| 2021-05-03 18:24:30 +0200 | <keiopa> | type OverTime a = Float -> a |
| 2021-05-03 18:24:40 +0200 | <keiopa> | type NPoint = [Rational] |
| 2021-05-03 18:26:16 +0200 | <geekosaur> | depends on how you look at it. it's a function which takes an NPoint and returns a function which itself takes an NPoint and returns an OverTime NPoint, which is itself a function that takes a Float and returns an NPoint. this is the partial application view |
| 2021-05-03 18:26:44 +0200 | <geekosaur> | it can also be seen as: NPoint -> NPoint -> Float -> NPoint |
| 2021-05-03 18:27:12 +0200 | <geekosaur> | (function application associates rightward) |
| 2021-05-03 18:30:11 +0200 | <keiopa> | ok i see now! just need to create a catamorphism to implement a "job" over the list NPoint but wasn't sure if that was the recursive call in the signature or something else |
| 2021-05-03 18:36:26 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-03 18:38:47 +0200 | renzhi | (~renzhi@2607:fa49:6500:bc00::e7b) (Ping timeout: 260 seconds) |
| 2021-05-03 18:40:12 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 18:41:51 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-03 18:42:16 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 18:42:54 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 18:44:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-03 18:44:50 +0200 | Pickchea | (~private@unaffiliated/pickchea) |
| 2021-05-03 18:45:36 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-03 18:47:13 +0200 | st8less | (~st8less@2603:a060:11fd:0:d62b:12cd:ced2:f738) (Ping timeout: 250 seconds) |
| 2021-05-03 18:47:39 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 260 seconds) |
| 2021-05-03 18:47:57 +0200 | cdsmith | (49cf15a2@c-73-207-21-162.hsd1.ga.comcast.net) |
| 2021-05-03 18:47:59 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 18:48:00 +0200 | thc202 | (~thc202@unaffiliated/thc202) |
| 2021-05-03 18:48:13 +0200 | roconnor | (~roconnor@host-45-58-195-183.dyn.295.ca) |
| 2021-05-03 18:48:58 +0200 | hrnz | {{{{ |
| 2021-05-03 18:49:24 +0200 | {{{{ | hrnz |
| 2021-05-03 18:50:52 +0200 | HannaM | (~quassel@p54849510.dip0.t-ipconnect.de) |
| 2021-05-03 18:51:36 +0200 | st8less | (~st8less@inet-167-224-197-181.isp.ozarksgo.net) |
| 2021-05-03 18:53:30 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 18:56:49 +0200 | xkapastel | (uid17782@gateway/web/irccloud.com/x-evatdfdmbvnxvhjg) |
| 2021-05-03 18:58:40 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 252 seconds) |
| 2021-05-03 18:59:19 +0200 | coot | (~coot@2a02:a311:433f:a080:2f8e:acf5:8455:513f) (Ping timeout: 260 seconds) |
| 2021-05-03 18:59:37 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) |
| 2021-05-03 19:01:09 +0200 | rj | (~x@gateway/tor-sasl/rj) (Ping timeout: 240 seconds) |
| 2021-05-03 19:04:32 +0200 | nineonin_ | (~nineonine@50.216.62.2) |
| 2021-05-03 19:06:06 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-03 19:07:49 +0200 | keiopa | (94478efe@gateway/web/cgi-irc/kiwiirc.com/ip.148.71.142.254) (Quit: Connection closed) |
| 2021-05-03 19:08:03 +0200 | nineonine | (~nineonine@2604:3d08:7783:f200:10b9:8c10:5b66:dc51) (Ping timeout: 248 seconds) |
| 2021-05-03 19:08:42 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 19:08:56 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) (Remote host closed the connection) |
| 2021-05-03 19:12:31 +0200 | ddellaco_ | (~ddellacos@ool-44c73afa.dyn.optonline.net) |
| 2021-05-03 19:12:58 +0200 | Tuplanolla | (~Tuplanoll@91-159-68-239.elisa-laajakaista.fi) |
| 2021-05-03 19:16:06 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) (Ping timeout: 240 seconds) |
| 2021-05-03 19:17:53 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-03 19:19:23 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 19:20:13 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 268 seconds) |
| 2021-05-03 19:22:15 +0200 | zyklotomic | (~ethan@107.172.242.62) |
| 2021-05-03 19:23:34 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) |
| 2021-05-03 19:24:29 +0200 | cortexauth | (~cortexaut@2409:4053:2d0a:74c3:7032:4b2e:f199:87f0) (Ping timeout: 250 seconds) |
| 2021-05-03 19:25:01 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-03 19:25:03 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:a587:c346:13c1:dba2) |
| 2021-05-03 19:25:29 +0200 | raym | (~ray@45.64.220.116) (Ping timeout: 260 seconds) |
| 2021-05-03 19:25:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 19:26:43 +0200 | urodna_ | (~urodna@unaffiliated/urodna) |
| 2021-05-03 19:27:50 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-03 19:27:58 +0200 | <zyklotomic> | is there a way to unwrap a list of newtype-d chars? |
| 2021-05-03 19:28:06 +0200 | urodna | (~urodna@unaffiliated/urodna) (Ping timeout: 240 seconds) |
| 2021-05-03 19:28:21 +0200 | ukari | (~ukari@unaffiliated/ukari) (Remote host closed the connection) |
| 2021-05-03 19:28:24 +0200 | <lyxia> | coerce? |
| 2021-05-03 19:28:25 +0200 | <zyklotomic> | I have newtype MyType = MyType Char |
| 2021-05-03 19:28:36 +0200 | <monochrom> | Use pattern matching or write a function that uses pattern matching. |
| 2021-05-03 19:28:37 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-03 19:28:58 +0200 | <zyklotomic> | but i'm not sure if i can pattern match [MyType] as MyTypeList [Char] |
| 2021-05-03 19:29:24 +0200 | <monochrom> | Oh, that. Use "map" too. |
| 2021-05-03 19:30:09 +0200 | <zyklotomic> | i just found this after looking up coerce https://wiki.haskell.org/GHC/Coercible |
| 2021-05-03 19:30:41 +0200 | coot | (~coot@89-64-70-112.dynamic.chello.pl) |
| 2021-05-03 19:30:50 +0200 | <zyklotomic> | i guess in my specific use case, it's just for quickcheck, so runtime cost doesn't matter |
| 2021-05-03 19:31:06 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 260 seconds) |
| 2021-05-03 19:31:12 +0200 | <zyklotomic> | thank you monochrom and lyxia, got it now |
| 2021-05-03 19:31:30 +0200 | frozenErebus | (~frozenEre@37.231.244.249) |
| 2021-05-03 19:31:45 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) (Quit: ZNC 1.7.5 - https://znc.in) |
| 2021-05-03 19:32:37 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 19:33:10 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 19:34:40 +0200 | incertia | (~incertia@d4-50-26-103.nap.wideopenwest.com) |
| 2021-05-03 19:34:53 +0200 | chisui | (5882395a@mue-88-130-57-090.dsl.tropolys.de) |
| 2021-05-03 19:35:21 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:4e3c:4dff:95c7:fb8) |
| 2021-05-03 19:40:04 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 19:40:07 +0200 | coot | (~coot@89-64-70-112.dynamic.chello.pl) (Quit: coot) |
| 2021-05-03 19:41:35 +0200 | raym | (~ray@45.64.220.116) |
| 2021-05-03 19:43:28 +0200 | Sheilong | (uid293653@gateway/web/irccloud.com/x-brjdkpuhrnhpqxdh) |
| 2021-05-03 19:43:28 +0200 | landonf | (landonf@mac68k.info) (Excess Flood) |
| 2021-05-03 19:45:10 +0200 | landonf | (landonf@mac68k.info) |
| 2021-05-03 19:49:41 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) |
| 2021-05-03 19:51:06 +0200 | kderme | (2e675c7c@46-92-124.adsl.cyta.gr) |
| 2021-05-03 19:52:43 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) (Ping timeout: 276 seconds) |
| 2021-05-03 19:53:02 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) |
| 2021-05-03 19:53:32 +0200 | wonko7 | (~wonko7@62.115.229.50) |
| 2021-05-03 19:54:29 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-03 19:55:13 +0200 | rajivr | (uid269651@gateway/web/irccloud.com/x-temlrjczotwzbfmp) (Quit: Connection closed for inactivity) |
| 2021-05-03 19:58:08 +0200 | rj | (~x@gateway/tor-sasl/rj) (Quit: rj) |
| 2021-05-03 19:59:49 +0200 | dcoutts__ | dcoutts |
| 2021-05-03 20:00:03 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 20:00:12 +0200 | geekosaur66 | (930099da@rrcs-147-0-153-218.central.biz.rr.com) |
| 2021-05-03 20:00:23 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 20:01:10 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:a587:c346:13c1:dba2) (Ping timeout: 276 seconds) |
| 2021-05-03 20:01:43 +0200 | geekosaur | (930099da@rrcs-147-0-153-218.central.biz.rr.com) (Ping timeout: 240 seconds) |
| 2021-05-03 20:02:02 +0200 | cortexauth | (~cortexaut@2402:8100:2102:dc69:7032:4b2e:f199:87f0) |
| 2021-05-03 20:03:51 +0200 | thc202 | (~thc202@unaffiliated/thc202) (Quit: thc202) |
| 2021-05-03 20:04:30 +0200 | JustinCase | (~justin@2600:4040:122c:1400:3e6a:a7ff:fe68:5a47) |
| 2021-05-03 20:04:39 +0200 | geekosaur66 | geekosaur |
| 2021-05-03 20:05:40 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 20:05:43 +0200 | royal_screwup21 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 20:06:38 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-03 20:06:41 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 20:08:06 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Ping timeout: 240 seconds) |
| 2021-05-03 20:10:12 +0200 | rj | (~x@gateway/tor-sasl/rj) (Client Quit) |
| 2021-05-03 20:10:23 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-03 20:10:42 +0200 | rj | (~x@gateway/tor-sasl/rj) (Client Quit) |
| 2021-05-03 20:10:51 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-03 20:11:14 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 20:11:29 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-03 20:12:59 +0200 | gonemad3 | (~gonemad3@185.163.110.100) |
| 2021-05-03 20:13:25 +0200 | rj | (~x@gateway/tor-sasl/rj) (Client Quit) |
| 2021-05-03 20:13:36 +0200 | rj | (~x@gateway/tor-sasl/rj) |
| 2021-05-03 20:14:01 +0200 | notzmv | (~zmv@unaffiliated/zmv) (Ping timeout: 252 seconds) |
| 2021-05-03 20:14:05 +0200 | xff0x | (xff0x@gateway/vpn/mullvad/xff0x) (Ping timeout: 246 seconds) |
| 2021-05-03 20:14:10 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 20:14:25 +0200 | pink35 | (3e1d44e2@62.29.68.226) |
| 2021-05-03 20:14:27 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 20:14:52 +0200 | <pink35> | hello everyone can someone tell me whats wrong with the following function? |
| 2021-05-03 20:15:02 +0200 | <pink35> | capitalised [] = [] |
| 2021-05-03 20:15:02 +0200 | <pink35> | capitalised x = Char.toUpper (head x) : map Char.toUpper (last x) |
| 2021-05-03 20:15:26 +0200 | <geekosaur> | did you attempt it inside ghci? |
| 2021-05-03 20:15:36 +0200 | <pink35> | i did |
| 2021-05-03 20:15:46 +0200 | <geekosaur> | you need to combine them on the same line |
| 2021-05-03 20:15:59 +0200 | <geekosaur> | use a semicolon to separate the two lines |
| 2021-05-03 20:16:02 +0200 | <dolio> | Or set up your ghci for multi-line input (somehow). |
| 2021-05-03 20:16:09 +0200 | <pink35> | did you understand what my intention is ? |
| 2021-05-03 20:16:15 +0200 | xff0x | (~xff0x@2001:1a81:5320:8100:2eab:8db5:7232:a44c) |
| 2021-05-03 20:16:22 +0200 | <geekosaur> | otherwise the second line shadows the first and the empty list case will fail |
| 2021-05-03 20:16:29 +0200 | <pink35> | im trying to make a strings first and last letter uppercase |
| 2021-05-03 20:16:51 +0200 | <pink35> | this is in a file |
| 2021-05-03 20:17:01 +0200 | <geekosaur> | :t last |
| 2021-05-03 20:17:02 +0200 | <pink35> | i mean i tired running in ghci too |
| 2021-05-03 20:17:02 +0200 | <lambdabot> | [a] -> a |
| 2021-05-03 20:17:26 +0200 | <geekosaur> | note the type does not say the output is a list, so you can't map over it |
| 2021-05-03 20:17:46 +0200 | <pink35> | how can i fix it |
| 2021-05-03 20:17:55 +0200 | pink35 | (3e1d44e2@62.29.68.226) (Client Quit) |
| 2021-05-03 20:18:06 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) (Ping timeout: 265 seconds) |
| 2021-05-03 20:18:09 +0200 | <geekosaur> | handle the last character the same way you did the first |
| 2021-05-03 20:18:12 +0200 | pink45 | (3e1d44e2@62.29.68.226) |
| 2021-05-03 20:18:18 +0200 | <geekosaur> | instead of using map |
| 2021-05-03 20:18:40 +0200 | <pink45> | got disconnected can you type that again, sorry |
| 2021-05-03 20:19:11 +0200 | <geekosaur> | handle the last character the same way you did the first, instead of using map |
| 2021-05-03 20:19:26 +0200 | dyeplexer | (~lol@unaffiliated/terpin) (Remote host closed the connection) |
| 2021-05-03 20:19:38 +0200 | <pink45> | Couldn't match expected type `[Char]' with actual type `Char' |
| 2021-05-03 20:19:44 +0200 | <geekosaur> | yes |
| 2021-05-03 20:19:55 +0200 | <pink45> | i did not map it this time |
| 2021-05-03 20:19:57 +0200 | knupfer1 | (~Thunderbi@200116b82b019d00dd62579678e85afe.dip.versatel-1u1.de) |
| 2021-05-03 20:20:42 +0200 | <geekosaur> | ah, you also need to append an end of list to the result |
| 2021-05-03 20:21:07 +0200 | <geekosaur> | capitalised x = Char.toUpper (head x) : Char.toUpper (last x) : [] |
| 2021-05-03 20:21:31 +0200 | <Clint> | pink45: what are you expecting `last` to do? |
| 2021-05-03 20:21:56 +0200 | <pink45> | its not working as i intended now :/ |
| 2021-05-03 20:22:06 +0200 | <pink45> | its giving me the just the first and the last |
| 2021-05-03 20:22:07 +0200 | <geekosaur> | <pink35> im trying to make a strings first and last letter uppercase |
| 2021-05-03 20:22:23 +0200 | <geekosaur> | then you need something more involved |
| 2021-05-03 20:22:25 +0200 | <pink45> | i need all of the string AND last and fist letter to be capital |
| 2021-05-03 20:22:37 +0200 | knupfer | (~Thunderbi@200116b82b019d00bc2b28bf1ce4a9b3.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
| 2021-05-03 20:22:37 +0200 | knupfer1 | knupfer |
| 2021-05-03 20:23:05 +0200 | <Clint> | pink45: so the function you want transforms "function" into "FunctioN"? |
| 2021-05-03 20:23:25 +0200 | <pink45> | that is correct |
| 2021-05-03 20:24:22 +0200 | oxide | (~lambda@unaffiliated/mclaren) (Ping timeout: 268 seconds) |
| 2021-05-03 20:24:45 +0200 | monochrom | frowns. "last"? "tail"? |
| 2021-05-03 20:25:06 +0200 | <monochrom> | OK nevermind. |
| 2021-05-03 20:25:29 +0200 | <pink45> | go easy on me :( |
| 2021-05-03 20:26:51 +0200 | <monochrom> | The library has "init" too. It pairs perfectly with "last"> |
| 2021-05-03 20:28:09 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-03 20:28:29 +0200 | jamm_ | (~jamm@unaffiliated/jamm) |
| 2021-05-03 20:30:31 +0200 | jamm_ | (~jamm@unaffiliated/jamm) (Remote host closed the connection) |
| 2021-05-03 20:30:36 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-05-03 20:31:02 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-03 20:32:34 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 20:32:54 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 20:32:59 +0200 | Varis | (~Tadas@unaffiliated/varis) |
| 2021-05-03 20:34:50 +0200 | jcarpenter2 | (~rofl@96.78.87.197) |
| 2021-05-03 20:35:48 +0200 | <maerwald> | init is a weird name though, isn't it? |
| 2021-05-03 20:36:23 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 260 seconds) |
| 2021-05-03 20:36:48 +0200 | <Clint> | weirder than the other 3? |
| 2021-05-03 20:37:08 +0200 | jrqc | (~rofl@96.78.87.197) (Remote host closed the connection) |
| 2021-05-03 20:38:11 +0200 | <maerwald> | yeah |
| 2021-05-03 20:39:13 +0200 | <Clint> | how so |
| 2021-05-03 20:39:31 +0200 | pink45 | (3e1d44e2@62.29.68.226) (Quit: Connection closed) |
| 2021-05-03 20:40:21 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 20:41:41 +0200 | frozenErebus | (~frozenEre@37.231.244.249) (Ping timeout: 240 seconds) |
| 2021-05-03 20:44:42 +0200 | RusAlex | (~Chel@unaffiliated/rusalex) |
| 2021-05-03 20:52:25 +0200 | yalm | (~yalm@unaffiliated/yalm) |
| 2021-05-03 20:53:12 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Remote host closed the connection) |
| 2021-05-03 20:53:56 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 20:55:12 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-03 20:56:52 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 20:57:01 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-03 20:58:31 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 250 seconds) |
| 2021-05-03 20:59:01 +0200 | cortexauth | (~cortexaut@2402:8100:2102:dc69:7032:4b2e:f199:87f0) (Ping timeout: 276 seconds) |
| 2021-05-03 20:59:15 +0200 | cortexauth | (~cortexaut@2409:4053:2e1c:481d:bde:e2ed:47a0:636a) |
| 2021-05-03 21:01:20 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 246 seconds) |
| 2021-05-03 21:01:58 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-03 21:02:10 +0200 | juuandyy | (~juuandyy@90.106.228.121) |
| 2021-05-03 21:02:21 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) (Remote host closed the connection) |
| 2021-05-03 21:02:47 +0200 | vgtw | (~vgtw@gateway/tor-sasl/vgtw) |
| 2021-05-03 21:02:50 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 21:05:10 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-03 21:08:37 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) |
| 2021-05-03 21:08:46 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) (Ping timeout: 276 seconds) |
| 2021-05-03 21:09:41 +0200 | Rudd0 | (~Rudd0@185.189.115.108) (Ping timeout: 240 seconds) |
| 2021-05-03 21:09:54 +0200 | zyklotomic | (~ethan@107.172.242.62) (Remote host closed the connection) |
| 2021-05-03 21:14:02 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 21:14:19 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 252 seconds) |
| 2021-05-03 21:17:41 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-03 21:18:37 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Remote host closed the connection) |
| 2021-05-03 21:19:13 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-03 21:19:31 +0200 | jess | (jess@freenode/staff/jess) |
| 2021-05-03 21:22:41 +0200 | fresheyeball | (~isaac@c-71-237-105-37.hsd1.co.comcast.net) (Quit: WeeChat 2.9) |
| 2021-05-03 21:27:32 +0200 | alx741 | (~alx741@181.196.69.213) (Ping timeout: 240 seconds) |
| 2021-05-03 21:30:14 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Remote host closed the connection) |
| 2021-05-03 21:30:44 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-03 21:31:49 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) (Remote host closed the connection) |
| 2021-05-03 21:32:58 +0200 | kritzefitz | (~kritzefit@212.86.56.80) |
| 2021-05-03 21:34:05 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-03 21:35:11 +0200 | danvet | (~Daniel@2a02:168:57f4:0:efd0:b9e5:5ae6:c2fa) (Ping timeout: 260 seconds) |
| 2021-05-03 21:37:32 +0200 | juuandyy | (~juuandyy@90.106.228.121) (Quit: Konversation terminated!) |
| 2021-05-03 21:37:55 +0200 | kritzefitz | (~kritzefit@212.86.56.80) (Remote host closed the connection) |
| 2021-05-03 21:39:44 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-03 21:40:55 +0200 | stree | (~stree@68.36.8.116) (Ping timeout: 252 seconds) |
| 2021-05-03 21:41:26 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-03 21:41:50 +0200 | nicholasbulka | (~nicholasb@2601:900:4301:da0:d589:6ff2:afb0:b880) |
| 2021-05-03 21:43:59 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) |
| 2021-05-03 21:44:03 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Remote host closed the connection) |
| 2021-05-03 21:44:24 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) |
| 2021-05-03 21:45:20 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) |
| 2021-05-03 21:45:28 +0200 | minoru_shiraeesh | (~shiraeesh@109.166.56.14) (Ping timeout: 240 seconds) |
| 2021-05-03 21:45:49 +0200 | biglama | (~alex@176.165.167.17) |
| 2021-05-03 21:49:52 +0200 | ValeraRozuvan | (~ValeraRoz@95.164.65.159) |
| 2021-05-03 21:51:05 +0200 | seven_th` | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) |
| 2021-05-03 21:51:36 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) (Quit: Goodbye) |
| 2021-05-03 21:52:57 +0200 | seven_three | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
| 2021-05-03 21:52:59 +0200 | dpl | (~dpl@77-121-78-163.chn.volia.net) |
| 2021-05-03 21:53:08 +0200 | cole-h | (~cole-h@c-73-48-197-220.hsd1.ca.comcast.net) |
| 2021-05-03 21:53:22 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (*.net *.split) |
| 2021-05-03 21:53:22 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | ukari | (~ukari@unaffiliated/ukari) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | jao | (~jao@pdpc/supporter/professional/jao) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | neiluj | (~jco@unaffiliated/neiluj) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | Natch | (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | xensky | (~xensky@xengarden.xen.prgmr.com) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (*.net *.split) |
| 2021-05-03 21:53:23 +0200 | rodriga | (~quassel@134.204.25.66) (*.net *.split) |
| 2021-05-03 21:53:24 +0200 | sw1nn | (~sw1nn@host86-188-65-1.range86-188.btcentralplus.com) (*.net *.split) |
| 2021-05-03 21:53:24 +0200 | Axman6 | (~Axman6@pdpc/supporter/student/Axman6) (*.net *.split) |
| 2021-05-03 21:53:24 +0200 | BIG_JIMMY_D | (~jim@108.61.185.76) (*.net *.split) |
| 2021-05-03 21:53:25 +0200 | zaquest | (~notzaques@5.128.210.178) (*.net *.split) |
| 2021-05-03 21:53:26 +0200 | hololeap | (hololeap@gateway/vpn/protonvpn/hololeap) (*.net *.split) |
| 2021-05-03 21:53:26 +0200 | puffnfresh1 | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | JSharp | (sid4580@wikia/JSharp) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | scav | (sid309693@gateway/web/irccloud.com/x-hwaqsdaneehliysc) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | thi | (sid97277@gateway/web/irccloud.com/x-bxukhjieydccrlak) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | dcoutts | (~dcoutts@unaffiliated/dcoutts) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | whatisRT | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | bobbytables | (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | ridcully_ | (~ridcully@pd951f269.dip0.t-ipconnect.de) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | kadoban | (~mud@unaffiliated/kadoban) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2021-05-03 21:53:27 +0200 | ajc | (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) (*.net *.split) |
| 2021-05-03 21:53:28 +0200 | dmwit | (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) (*.net *.split) |
| 2021-05-03 21:53:28 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) (*.net *.split) |
| 2021-05-03 21:53:29 +0200 | Uma | (~uma@umazalakain.info) (*.net *.split) |
| 2021-05-03 21:53:29 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) (*.net *.split) |
| 2021-05-03 21:53:29 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) (*.net *.split) |
| 2021-05-03 21:53:29 +0200 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) (*.net *.split) |
| 2021-05-03 21:53:30 +0200 | mapperr | (~mapperr@vmi389916.contaboserver.net) (*.net *.split) |
| 2021-05-03 21:53:30 +0200 | tomboy64 | (~tomboy64@unaffiliated/tomboy64) (*.net *.split) |
| 2021-05-03 21:53:31 +0200 | lemald | (~eddie@capybara.lemald.org) (*.net *.split) |
| 2021-05-03 21:53:31 +0200 | LambdaDuck | (~anka@ksit.fixme.fi) (*.net *.split) |
| 2021-05-03 21:53:32 +0200 | _xor | (~xor@74.215.46.133) (*.net *.split) |
| 2021-05-03 21:53:32 +0200 | urdh | (~urdh@unaffiliated/urdh) (*.net *.split) |
| 2021-05-03 21:53:32 +0200 | sudden | (~lax@unaffiliated/laxask) (*.net *.split) |
| 2021-05-03 21:53:32 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) (*.net *.split) |
| 2021-05-03 21:53:34 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 21:55:12 +0200 | justanotheruser | (~justanoth@unaffiliated/justanotheruser) (Ping timeout: 246 seconds) |
| 2021-05-03 21:55:16 +0200 | __minoru__shirae | (~shiraeesh@46.34.207.226) |
| 2021-05-03 21:55:16 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) |
| 2021-05-03 21:55:16 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2021-05-03 21:55:16 +0200 | ukari | (~ukari@unaffiliated/ukari) |
| 2021-05-03 21:55:16 +0200 | jao | (~jao@pdpc/supporter/professional/jao) |
| 2021-05-03 21:55:16 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) |
| 2021-05-03 21:55:16 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-03 21:55:16 +0200 | neiluj | (~jco@unaffiliated/neiluj) |
| 2021-05-03 21:55:16 +0200 | Natch | (~Natch@c-e070e255.014-297-73746f25.bbcust.telenor.se) |
| 2021-05-03 21:55:16 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-03 21:55:16 +0200 | xensky | (~xensky@xengarden.xen.prgmr.com) |
| 2021-05-03 21:55:16 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) |
| 2021-05-03 21:55:16 +0200 | rodriga | (~quassel@134.204.25.66) |
| 2021-05-03 21:55:16 +0200 | sw1nn | (~sw1nn@host86-188-65-1.range86-188.btcentralplus.com) |
| 2021-05-03 21:55:16 +0200 | Axman6 | (~Axman6@pdpc/supporter/student/Axman6) |
| 2021-05-03 21:55:16 +0200 | BIG_JIMMY_D | (~jim@108.61.185.76) |
| 2021-05-03 21:55:16 +0200 | zaquest | (~notzaques@5.128.210.178) |
| 2021-05-03 21:55:16 +0200 | hololeap | (hololeap@gateway/vpn/protonvpn/hololeap) |
| 2021-05-03 21:55:16 +0200 | puffnfresh1 | (~puffnfres@119-17-138-164.77118a.mel.static.aussiebb.net) |
| 2021-05-03 21:55:16 +0200 | JSharp | (sid4580@wikia/JSharp) |
| 2021-05-03 21:55:16 +0200 | scav | (sid309693@gateway/web/irccloud.com/x-hwaqsdaneehliysc) |
| 2021-05-03 21:55:16 +0200 | thi | (sid97277@gateway/web/irccloud.com/x-bxukhjieydccrlak) |
| 2021-05-03 21:55:16 +0200 | dcoutts | (~dcoutts@unaffiliated/dcoutts) |
| 2021-05-03 21:55:16 +0200 | whatisRT | (~whatisRT@ip5b416a33.dynamic.kabel-deutschland.de) |
| 2021-05-03 21:55:16 +0200 | bobbytables | (~bobbytabl@ec2-44-224-191-138.us-west-2.compute.amazonaws.com) |
| 2021-05-03 21:55:16 +0200 | ridcully_ | (~ridcully@pd951f269.dip0.t-ipconnect.de) |
| 2021-05-03 21:55:16 +0200 | kadoban | (~mud@unaffiliated/kadoban) |
| 2021-05-03 21:55:16 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2021-05-03 21:55:16 +0200 | ajc | (~ajc@c-98-246-92-128.hsd1.wa.comcast.net) |
| 2021-05-03 21:55:16 +0200 | dmwit | (~dmwit@pool-173-66-86-32.washdc.fios.verizon.net) |
| 2021-05-03 21:55:16 +0200 | _bin | (~bin@75-54-107-59.lightspeed.hstntx.sbcglobal.net) |
| 2021-05-03 21:55:16 +0200 | Uma | (~uma@umazalakain.info) |
| 2021-05-03 21:55:16 +0200 | MidAutumnHotaru | (~MidAutumn@unaffiliated/midautumnhotaru) |
| 2021-05-03 21:55:16 +0200 | acowley | (~acowley@c-68-83-22-43.hsd1.nj.comcast.net) |
| 2021-05-03 21:55:16 +0200 | frobnicator | (~frobnicat@185-227-75-147.dsl.cambrium.nl) |
| 2021-05-03 21:55:16 +0200 | mapperr | (~mapperr@vmi389916.contaboserver.net) |
| 2021-05-03 21:55:16 +0200 | tomboy64 | (~tomboy64@unaffiliated/tomboy64) |
| 2021-05-03 21:55:16 +0200 | lemald | (~eddie@capybara.lemald.org) |
| 2021-05-03 21:55:16 +0200 | LambdaDuck | (~anka@ksit.fixme.fi) |
| 2021-05-03 21:55:16 +0200 | _xor | (~xor@74.215.46.133) |
| 2021-05-03 21:55:16 +0200 | urdh | (~urdh@unaffiliated/urdh) |
| 2021-05-03 21:55:16 +0200 | sudden | (~lax@unaffiliated/laxask) |
| 2021-05-03 21:55:16 +0200 | paddymahoney | (~paddymaho@cpe9050ca207f83-cm9050ca207f80.cpe.net.cable.rogers.com) |
| 2021-05-03 21:55:21 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) (Max SendQ exceeded) |
| 2021-05-03 21:55:21 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Max SendQ exceeded) |
| 2021-05-03 21:55:22 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) (Max SendQ exceeded) |
| 2021-05-03 21:55:22 +0200 | kadoban | (~mud@unaffiliated/kadoban) (Max SendQ exceeded) |
| 2021-05-03 21:55:26 +0200 | hyiltiz | (~quassel@31.220.5.250) |
| 2021-05-03 21:55:26 +0200 | hyiltiz | (~quassel@31.220.5.250) (Changing host) |
| 2021-05-03 21:55:26 +0200 | hyiltiz | (~quassel@unaffiliated/hyiltiz) |
| 2021-05-03 21:55:33 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) |
| 2021-05-03 21:55:42 +0200 | kadoban | (~mud@unaffiliated/kadoban) |
| 2021-05-03 21:55:47 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) |
| 2021-05-03 21:56:11 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) (Ping timeout: 240 seconds) |
| 2021-05-03 21:56:26 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 21:59:01 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 22:04:52 +0200 | ddellac__ | (~ddellacos@86.106.143.148) |
| 2021-05-03 22:05:12 +0200 | petersen | (~petersen@redhat/juhp) (Ping timeout: 240 seconds) |
| 2021-05-03 22:05:22 +0200 | _ht | (~quassel@82-169-194-8.biz.kpn.net) (Remote host closed the connection) |
| 2021-05-03 22:06:49 +0200 | daniil | (8967c375@d-137-103-195-117.fl.cpe.atlanticbb.net) |
| 2021-05-03 22:07:40 +0200 | petersen | (~petersen@redhat/juhp) |
| 2021-05-03 22:10:45 +0200 | chimera | (~chimera@168-182-134-95.pool.ukrtel.net) |
| 2021-05-03 22:11:18 +0200 | alx741 | (~alx741@181.196.69.213) |
| 2021-05-03 22:15:41 +0200 | unyu | (~pyon@unaffiliated/pyon) (Ping timeout: 240 seconds) |
| 2021-05-03 22:16:55 +0200 | ystael | (~ystael@209.6.50.55) (Read error: Connection reset by peer) |
| 2021-05-03 22:19:37 +0200 | ystael | (~ystael@209.6.50.55) |
| 2021-05-03 22:22:47 +0200 | geowiesnot | (~user@87-89-181-157.abo.bbox.fr) |
| 2021-05-03 22:23:46 +0200 | wonko7 | (~wonko7@62.115.229.50) (Ping timeout: 240 seconds) |
| 2021-05-03 22:24:58 +0200 | Guest50015 | (~zmv@unaffiliated/zmv) |
| 2021-05-03 22:25:54 +0200 | seven_th` | (~user@pool-96-233-64-53.bstnma.fios.verizon.net) ("ERC (IRC client for Emacs 27.2)") |
| 2021-05-03 22:26:15 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) (Remote host closed the connection) |
| 2021-05-03 22:26:36 +0200 | kristijonas | (~kristijon@78-56-32-39.static.zebra.lt) |
| 2021-05-03 22:27:05 +0200 | supercoven | (~Supercove@dsl-hkibng31-58c384-213.dhcp.inet.fi) (Ping timeout: 268 seconds) |
| 2021-05-03 22:27:36 +0200 | ddellac__ | (~ddellacos@86.106.143.148) (Remote host closed the connection) |
| 2021-05-03 22:27:42 +0200 | safinaskar | (6dfc5a88@109.252.90.136) |
| 2021-05-03 22:28:06 +0200 | <safinaskar> | > 0 |
| 2021-05-03 22:28:08 +0200 | <lambdabot> | 0 |
| 2021-05-03 22:28:27 +0200 | yalm | (~yalm@unaffiliated/yalm) (Ping timeout: 246 seconds) |
| 2021-05-03 22:30:08 +0200 | acidjnk_new2 | (~acidjnk@p200300d0c72b9513753d70683e7df124.dip0.t-ipconnect.de) |
| 2021-05-03 22:31:30 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 22:31:50 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 22:32:38 +0200 | <NemesisD> | is it possible to get type-level info with generics just with a type or proxy to a type? for example, i want to get `packageName` of a given type |
| 2021-05-03 22:32:40 +0200 | stree | (~stree@68.36.8.116) (Quit: Caught exception) |
| 2021-05-03 22:33:02 +0200 | stree | (~stree@68.36.8.116) |
| 2021-05-03 22:33:32 +0200 | yalm | (~yalm@unaffiliated/yalm) |
| 2021-05-03 22:33:38 +0200 | yalm | (~yalm@unaffiliated/yalm) (Client Quit) |
| 2021-05-03 22:36:49 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 265 seconds) |
| 2021-05-03 22:37:15 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 22:38:44 +0200 | <safinaskar> | why this does not compile? https://paste.tomsmeding.com/xoTwfmza |
| 2021-05-03 22:39:39 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-03 22:39:46 +0200 | martin02 | (silas@hund.fs.lmu.de) |
| 2021-05-03 22:40:18 +0200 | <tomsmeding> | safinaskar: data constructors must be either a word that start with a capital letter, or an operator that starts with the ':' symbol |
| 2021-05-03 22:40:41 +0200 | alx741 | (~alx741@181.196.69.213) (Ping timeout: 240 seconds) |
| 2021-05-03 22:40:43 +0200 | <tomsmeding> | and operator-style constructors are only allowed using the TypeOperators language extension |
| 2021-05-03 22:41:01 +0200 | <tomsmeding> | scratch that |
| 2021-05-03 22:41:03 +0200 | <shapr> | lambdabot: @quote |
| 2021-05-03 22:41:03 +0200 | <lambdabot> | conal says: omg -- i can print right from emacs again. praise be to Linux! |
| 2021-05-03 22:41:05 +0200 | <tomsmeding> | you don't need the extension for that |
| 2021-05-03 22:42:45 +0200 | <safinaskar> | tomsmeding: thanks. is it possible to enable any symbol combinations? |
| 2021-05-03 22:43:06 +0200 | epicte7us | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Ping timeout: 268 seconds) |
| 2021-05-03 22:43:16 +0200 | <tomsmeding> | shapr: a few years ago in my first year of university, I once piped something to lpr on their machine and told them to walk to the printer. They walked away disbelieving but came back with a big grin on their face |
| 2021-05-03 22:43:37 +0200 | rodriga | (~quassel@134.204.25.66) (Ping timeout: 252 seconds) |
| 2021-05-03 22:43:53 +0200 | <tomsmeding> | safinaskar: to allow operator-style data constructors that don't start with a ':'? no that's not possible currently |
| 2021-05-03 22:44:29 +0200 | <tomsmeding> | ':' is the "capital symbol" just like A-Z are the capital letters, according to GHC |
| 2021-05-03 22:44:42 +0200 | <tomsmeding> | and you can't define a data constructor that starts with a lowercase letter either :) |
| 2021-05-03 22:44:42 +0200 | <shapr> | tomsmeding: related, I tried very hard to do the ethical thing and pay per page for printing from my Linux system at university. When I told uni IT that I could just print for free and wanted to pay for it, they laughed and said it wasn't my problem. |
| 2021-05-03 22:44:55 +0200 | <tomsmeding> | :D |
| 2021-05-03 22:45:09 +0200 | <safinaskar> | tomsmeding: " ':' is the "capital symbol" just like A-Z are the capital letters, according to GHC " - OMG |
| 2021-05-03 22:45:15 +0200 | <safinaskar> | tomsmeding: thanks |
| 2021-05-03 22:45:18 +0200 | LKoen | (~LKoen@213.166.9.109.rev.sfr.net) (Quit: “It’s only logical. First you learn to talk, then you learn to think. Too bad it’s not the other way round.”) |
| 2021-05-03 22:45:20 +0200 | <tomsmeding> | never heard of capital symbols? :) |
| 2021-05-03 22:45:47 +0200 | <shapr> | My uni also had OpenDNS or whatever thing let you blacklist certain DNS names, many of my classmates were paying for VPNs so they could get around it. When I taught them how DNS worked, they saved a bunch of money. |
| 2021-05-03 22:46:45 +0200 | <shapr> | I later heard the computer departments breathed a sigh of relief when I graduated. |
| 2021-05-03 22:46:52 +0200 | <pjb> | :-) |
| 2021-05-03 22:46:57 +0200 | <tomsmeding> | hah they didn't block anything at my uni fortunately, at least that I know |
| 2021-05-03 22:48:12 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) |
| 2021-05-03 22:48:30 +0200 | <shapr> | Uni accounts were locked if you used the wrong password three times. They were horrified when I described to them how easy that made it to lock all instructor accounts every few seconds. |
| 2021-05-03 22:48:52 +0200 | knupfer | (~Thunderbi@200116b82b019d00dd62579678e85afe.dip.versatel-1u1.de) (Ping timeout: 276 seconds) |
| 2021-05-03 22:50:10 +0200 | <shapr> | I restarted my bachelor's degree at age 40, all my instructors were younger than me and had far less real world programming clue. That was a weird experience for everyone involved. |
| 2021-05-03 22:50:19 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:4e3c:4dff:95c7:fb8) (Ping timeout: 260 seconds) |
| 2021-05-03 22:50:31 +0200 | <tomsmeding> | I believe that would still work perfectly at my uni today |
| 2021-05-03 22:50:38 +0200 | nbloomf | (~nbloomf@2600:1700:ad14:3020:3414:2d6f:b42a:fb39) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2021-05-03 22:50:38 +0200 | <NemesisD> | actually, i think i can get some of what i need from typeable. but how can i go from a type to a list of its constructors and their selectors. i see generic has a type family for Rep but i don't know how to bring info from that into the value level |
| 2021-05-03 22:50:52 +0200 | <tomsmeding> | I would even not be surprised if you can pull that trick with google or facebook or one of those |
| 2021-05-03 22:51:41 +0200 | safinaskar | (6dfc5a88@109.252.90.136) () |
| 2021-05-03 22:52:02 +0200 | v01d4lph4 | (~v01d4lph4@171.48.62.25) (Remote host closed the connection) |
| 2021-05-03 22:52:06 +0200 | <shapr> | Also, you were sposed to email IT from your student account if the account was locked. They looked confused when I tried to explain how that wasn't going to work. |
| 2021-05-03 22:52:44 +0200 | <tomsmeding> | when your phone doesn't work, call the helpdesk at the following number? |
| 2021-05-03 22:52:53 +0200 | <tomsmeding> | but then unironically? |
| 2021-05-03 22:53:00 +0200 | <shapr> | yes, exactly that :-) |
| 2021-05-03 22:53:02 +0200 | <tomsmeding> | :D |
| 2021-05-03 22:53:12 +0200 | miklcct | (quasselcor@miklcct.com) |
| 2021-05-03 22:53:20 +0200 | <Rembane> | That's why I need a fax machine. |
| 2021-05-03 22:53:31 +0200 | safinaskar | (6dfc5a88@109.252.90.136) |
| 2021-05-03 22:53:35 +0200 | alx741 | (~alx741@186.178.109.58) |
| 2021-05-03 22:53:39 +0200 | <shapr> | It was a really small uni, they graduated about seven CS majors a year. |
| 2021-05-03 22:53:55 +0200 | <safinaskar> | is it true GHC2021 is default now? |
| 2021-05-03 22:54:24 +0200 | <safinaskar> | cdsmith: i see you are typing :) |
| 2021-05-03 22:54:33 +0200 | <cdsmith> | Continuing my fight against GHC's type checker... I have rank-n type this: data T where MkT :: (forall a b. (F a b, G a b)) -> T. Is there any way to curry MkT but keep an isomorphic type? |
| 2021-05-03 22:54:44 +0200 | <cdsmith> | safinaskar: yes, I was! :) |
| 2021-05-03 22:55:12 +0200 | <safinaskar> | so, irc now has feature "xxx is typing"? this is weird |
| 2021-05-03 22:55:18 +0200 | <shapr> | wat? |
| 2021-05-03 22:55:19 +0200 | jneira | (5127acfa@gateway/web/cgi-irc/kiwiirc.com/ip.81.39.172.250) |
| 2021-05-03 22:55:23 +0200 | <shapr> | I've never seen such a thing |
| 2021-05-03 22:55:27 +0200 | <safinaskar> | this contradicts irc philosophy |
| 2021-05-03 22:55:43 +0200 | <geekosaur> | it's supported by some clients including kiwiirc |
| 2021-05-03 22:55:47 +0200 | <shapr> | oh wow |
| 2021-05-03 22:55:49 +0200 | <cdsmith> | I see it. Using webchat.freenode.net. Is it an IRC thing, or a webchat thing? |
| 2021-05-03 22:56:04 +0200 | <safinaskar> | shapr: i use webchat.freenode.net |
| 2021-05-03 22:56:07 +0200 | <geekosaur> | I think you can enable it in hexchat also but it's off by default |
| 2021-05-03 22:56:07 +0200 | <shapr> | oh neato! |
| 2021-05-03 22:56:08 +0200 | benjamingr__ | (uid23465@gateway/web/irccloud.com/x-ynbdnkhkjbtgwgql) |
| 2021-05-03 22:56:09 +0200 | <hrnz> | threading when? |
| 2021-05-03 22:56:17 +0200 | <Rembane> | Doesn't IRCv3 support it? It seems to support all things that are unIRCy |
| 2021-05-03 22:56:30 +0200 | <pjb> | xmpp? |
| 2021-05-03 22:56:34 +0200 | <hrnz> | inb4 spamming peoples names is threading |
| 2021-05-03 22:56:56 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Remote host closed the connection) |
| 2021-05-03 22:57:19 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-03 22:57:38 +0200 | solidus-river | (~mike@174.127.249.180) |
| 2021-05-03 22:57:42 +0200 | safinaskar | (6dfc5a88@109.252.90.136) () |
| 2021-05-03 22:57:54 +0200 | ep1ctetus_ | (~epictetus@ip72-194-54-201.sb.sd.cox.net) (Client Quit) |
| 2021-05-03 22:58:08 +0200 | safinaskar | (~user@109-252-90-136.nat.spd-mgts.ru) |
| 2021-05-03 22:58:12 +0200 | <safinaskar> | so, GHC2021 is now default? |
| 2021-05-03 22:58:22 +0200 | <geekosaur> | as of 9.0.1, I think |
| 2021-05-03 22:58:30 +0200 | <geekosaur> | not available beforethat either |
| 2021-05-03 22:59:29 +0200 | jakalx | (~jakalx@base.jakalx.net) ("Error from remote client") |
| 2021-05-03 23:00:00 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2021-05-03 23:00:36 +0200 | <cdsmith> | I thought GHC2021 was a 9.2 thing... am I wrong? |
| 2021-05-03 23:00:49 +0200 | <safinaskar> | i think this can break compatibility |
| 2021-05-03 23:01:04 +0200 | <geekosaur> | I may be wrong |
| 2021-05-03 23:01:18 +0200 | <davean> | Only on things that don't define the haskell standard they use, and yah, I'm certainly not using GHC2021! |
| 2021-05-03 23:02:10 +0200 | <cdsmith> | Yeah, I double checked. GHC 9.2 release notes announce that GHC2021 is available, so I assume that means it's not in 9.0 |
| 2021-05-03 23:02:19 +0200 | hiroaki | (~hiroaki@2a02:8108:8c40:2bb8:3f6d:f920:f5c0:6bcc) |
| 2021-05-03 23:02:33 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) |
| 2021-05-03 23:02:40 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-03 23:02:44 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 23:02:52 +0200 | hyperisco | (~hyperisco@d192-186-117-226.static.comm.cgocable.net) (Ping timeout: 252 seconds) |
| 2021-05-03 23:03:11 +0200 | <geekosaur> | hm, but do they say it's default? |
| 2021-05-03 23:04:35 +0200 | <cdsmith> | Yes, it's the default, if you don't say otherwise. In practice, most people say otherwise in a cabal file. |
| 2021-05-03 23:04:57 +0200 | <cdsmith> | The default only matters if you're running GHC or GHCi on its own, since Cabal will specify a language otherwise |
| 2021-05-03 23:05:22 +0200 | Lycurgus | (~niemand@98.4.118.65) |
| 2021-05-03 23:05:54 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2021-05-03 23:06:12 +0200 | ep1ctetus | (~epictetus@ip72-194-54-201.sb.sd.cox.net) |
| 2021-05-03 23:06:17 +0200 | <yushyin> | 'including setting it by default' - https://gitlab.haskell.org/ghc/ghc/-/merge_requests/4853 |
| 2021-05-03 23:06:41 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 240 seconds) |
| 2021-05-03 23:07:16 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) (Ping timeout: 265 seconds) |
| 2021-05-03 23:09:03 +0200 | viluon | (uid453725@gateway/web/irccloud.com/x-kmvdikgbahmdgmyf) (Quit: Connection closed for inactivity) |
| 2021-05-03 23:10:30 +0200 | kenanmarasli | (1fdf0ddb@31.223.13.219) |
| 2021-05-03 23:10:51 +0200 | cads | (~cads@ip-64-72-99-232.lasvegas.net) (Ping timeout: 268 seconds) |
| 2021-05-03 23:11:00 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) |
| 2021-05-03 23:13:59 +0200 | <chisui> | davean what are your objections to GHC2021? |
| 2021-05-03 23:15:50 +0200 | Lycurgus | (~niemand@98.4.118.65) (Quit: Exeunt) |
| 2021-05-03 23:16:08 +0200 | electricityZZZZ | (~electrici@157-131-250-97.fiber.dynamic.sonic.net) (Quit: Leaving) |
| 2021-05-03 23:16:16 +0200 | pavonia | (~user@unaffiliated/siracusa) |
| 2021-05-03 23:18:08 +0200 | <dmj`> | probably won't be ready until 2030 |
| 2021-05-03 23:18:13 +0200 | justsomeguy | (~justsomeg@unaffiliated/--/x-3805311) |
| 2021-05-03 23:18:24 +0200 | <safinaskar> | look here! https://paste.tomsmeding.com/9NRhKVV1 . i was able to proof "X -> X" using haskell as a proof checker! using GADTs |
| 2021-05-03 23:18:32 +0200 | <safinaskar> | this method looks pretty general |
| 2021-05-03 23:18:41 +0200 | <safinaskar> | it seems it will work for any logic |
| 2021-05-03 23:19:50 +0200 | <tomsmeding> | neat! |
| 2021-05-03 23:20:01 +0200 | fendor | (~fendor@77.119.130.215.wireless.dyn.drei.com) (Remote host closed the connection) |
| 2021-05-03 23:21:10 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2021-05-03 23:23:10 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) |
| 2021-05-03 23:23:34 +0200 | <safinaskar> | i wonder whether this method will work for really complex logics such as logic of ghc itself: https://github.com/ghc/ghc/blob/master/docs/core-spec/core-spec.pdf |
| 2021-05-03 23:23:40 +0200 | <safinaskar> | it seems nothing prevents it |
| 2021-05-03 23:24:12 +0200 | Benzi-Junior | (~BenziJuni@88-149-64-251.du.xdsl.is) (Ping timeout: 240 seconds) |
| 2021-05-03 23:25:59 +0200 | imnew111 | (3e1d44e2@62.29.68.226) |
| 2021-05-03 23:26:09 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) (Remote host closed the connection) |
| 2021-05-03 23:26:22 +0200 | Narinas | (~Narinas@187-178-93-112.dynamic.axtel.net) |
| 2021-05-03 23:26:26 +0200 | <imnew111> | how can i check if a string has 2 uppercase characters in it ? |
| 2021-05-03 23:27:04 +0200 | <justsomeguy> | What package and module do the Reader monad come from? Is it included with ghc? |
| 2021-05-03 23:28:06 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) (Ping timeout: 240 seconds) |
| 2021-05-03 23:28:07 +0200 | coot | (~coot@37.30.58.122.nat.umts.dynamic.t-mobile.pl) (Quit: coot) |
| 2021-05-03 23:28:38 +0200 | <shapr> | imnew111: what about groupBy and isUpper? |
| 2021-05-03 23:28:53 +0200 | <tomsmeding> | justsomeguy: https://hackage.haskell.org/package/transformers-0.5.6.2/docs/Control-Monad-Trans-Reader.html , and as a monad transformer from https://hackage.haskell.org/package/mtl-2.2.2/docs/Control-Monad-Reader.html |
| 2021-05-03 23:29:35 +0200 | <imnew111> | isUpper gives me a boolean answer, how can i implement it if the string has at least 2 uppercase chars it would say its true |
| 2021-05-03 23:30:06 +0200 | <tomsmeding> | justsomeguy: and both transformers and mtl are included with GHC https://downloads.haskell.org/~ghc/latest/docs/html/users_guide/9.0.1-notes.html#included-libraries |
| 2021-05-03 23:31:42 +0200 | <monochrom> | imnew111: Do you mind also writing a helper function for "at least 1 uppercase letter"? |
| 2021-05-03 23:32:46 +0200 | <monochrom> | Also, "at least 2" uses recursion to walk through characters until you spot one. Then the rest is subject to "at least 1". |
| 2021-05-03 23:33:32 +0200 | <imnew111> | Okay i see |
| 2021-05-03 23:33:33 +0200 | <imnew111> | Thank you |
| 2021-05-03 23:33:44 +0200 | <imnew111> | isUpper doesnt work for me tho |
| 2021-05-03 23:33:53 +0200 | <imnew111> | It wants me to use Char.isUpper |
| 2021-05-03 23:34:07 +0200 | <imnew111> | Which doesnt work for strigns |
| 2021-05-03 23:34:32 +0200 | <monochrom> | "string" is [Char] |
| 2021-05-03 23:35:06 +0200 | neiluj | (~jco@unaffiliated/neiluj) (Quit: leaving) |
| 2021-05-03 23:35:39 +0200 | <imnew111> | when i type Char.isUpper "asd", it gives me an error |
| 2021-05-03 23:35:47 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) |
| 2021-05-03 23:36:13 +0200 | <monochrom> | This is why you use recursion to walk through the string, one character at a time. |
| 2021-05-03 23:36:17 +0200 | kenanmarasli | (1fdf0ddb@31.223.13.219) (Quit: Connection closed) |
| 2021-05-03 23:36:27 +0200 | <imnew111> | Great, thanks everyone |
| 2021-05-03 23:37:25 +0200 | nrdmn980 | (~nrdmn@aufmachen.jetzt) |
| 2021-05-03 23:38:08 +0200 | hololeap | (hololeap@gateway/vpn/protonvpn/hololeap) (Quit: Bye) |
| 2021-05-03 23:39:11 +0200 | nrdmn98 | (~nrdmn@aufmachen.jetzt) (Ping timeout: 240 seconds) |
| 2021-05-03 23:39:11 +0200 | nrdmn980 | nrdmn98 |
| 2021-05-03 23:40:15 +0200 | ddellac__ | (ddellacost@gateway/vpn/mullvad/ddellacosta) (Ping timeout: 252 seconds) |
| 2021-05-03 23:40:21 +0200 | mikoto-chan | (~mikoto-ch@gateway/tor-sasl/mikoto-chan) (Ping timeout: 240 seconds) |
| 2021-05-03 23:40:49 +0200 | nut | (~gtk@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |
| 2021-05-03 23:41:39 +0200 | imnew111 | (3e1d44e2@62.29.68.226) (Quit: Connection closed) |
| 2021-05-03 23:43:14 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) |
| 2021-05-03 23:43:16 +0200 | elfets | (~elfets@ip-37-201-23-96.hsi13.unitymediagroup.de) (Ping timeout: 260 seconds) |
| 2021-05-03 23:43:24 +0200 | biglama | (~alex@176.165.167.17) (Remote host closed the connection) |
| 2021-05-03 23:43:34 +0200 | Guest50015 | notzmv |
| 2021-05-03 23:43:54 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Quit: Connection closed) |
| 2021-05-03 23:44:01 +0200 | danso | (~dan@23-233-111-52.cpe.pppoe.ca) (Quit: WeeChat 3.0) |
| 2021-05-03 23:44:11 +0200 | safinaskar | (~user@109-252-90-136.nat.spd-mgts.ru) () |
| 2021-05-03 23:44:13 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) |
| 2021-05-03 23:44:47 +0200 | Varis | (~Tadas@unaffiliated/varis) (Remote host closed the connection) |
| 2021-05-03 23:44:48 +0200 | vicfred_ | (~vicfred@unaffiliated/vicfred) |
| 2021-05-03 23:45:01 +0200 | merijn | (~merijn@83-160-49-249.ip.xs4all.nl) (Ping timeout: 260 seconds) |
| 2021-05-03 23:45:53 +0200 | jgt_ | (~jgt@37.157.184.76) |
| 2021-05-03 23:47:06 +0200 | vicfred | (vicfred@gateway/vpn/mullvad/vicfred) (Ping timeout: 240 seconds) |
| 2021-05-03 23:47:56 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) (Ping timeout: 260 seconds) |
| 2021-05-03 23:49:06 +0200 | royal_screwup213 | (52254809@gateway/web/cgi-irc/kiwiirc.com/ip.82.37.72.9) (Ping timeout: 260 seconds) |
| 2021-05-03 23:53:54 +0200 | undvrainbowvita8 | (~egp_@128-71-13-3.broadband.corbina.ru) |
| 2021-05-03 23:55:02 +0200 | chisui | (5882395a@mue-88-130-57-090.dsl.tropolys.de) (Quit: Connection closed) |
| 2021-05-03 23:55:03 +0200 | kderme | (2e675c7c@46-92-124.adsl.cyta.gr) (Ping timeout: 240 seconds) |
| 2021-05-03 23:55:15 +0200 | chisui | (5882395a@mue-88-130-57-090.dsl.tropolys.de) |
| 2021-05-03 23:59:12 +0200 | heatsink | (~heatsink@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2021-05-03 23:59:15 +0200 | v01d4lph4 | (~v01d4lph4@171.50.180.77) |