| 2022-04-11 00:00:08 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-11 00:01:02 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 00:01:54 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-11 00:01:54 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-11 00:01:54 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-11 00:02:42 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-11 00:06:28 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 00:08:51 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 00:08:58 +0200 | flinner | (~flinner@user/flinner) |
| 2022-04-11 00:12:59 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 00:13:20 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 00:14:17 +0200 | shailangsa | (~shailangs@host86-186-142-63.range86-186.btcentralplus.com) () |
| 2022-04-11 00:19:28 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 00:25:25 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 00:26:24 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-11 00:27:55 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-11 00:32:07 +0200 | acidjnk | (~acidjnk@p200300d0c7049f54a49f92cbcc925d29.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-11 00:32:48 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-11 00:34:01 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-04-11 00:40:20 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-11 00:46:33 +0200 | flinner | (~flinner@user/flinner) (Ping timeout: 260 seconds) |
| 2022-04-11 00:48:54 +0200 | lainon | (lainon@gateway/vpn/protonvpn/lainon) (Ping timeout: 246 seconds) |
| 2022-04-11 00:53:16 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 00:55:46 +0200 | shailangsa | (~shailangs@host86-186-142-63.range86-186.btcentralplus.com) |
| 2022-04-11 00:55:52 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 01:02:56 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 01:03:07 +0200 | justChili | justErkel |
| 2022-04-11 01:05:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-04-11 01:11:28 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 01:13:57 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 01:15:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 01:15:25 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 01:15:42 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) |
| 2022-04-11 01:16:35 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-11 01:17:46 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 01:21:52 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 01:23:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 260 seconds) |
| 2022-04-11 01:24:51 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2022-04-11 01:26:42 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-11 01:27:57 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 01:33:32 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-11 01:34:59 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 01:36:33 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2022-04-11 01:36:36 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 01:40:16 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-11 01:42:33 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 01:47:00 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 01:47:01 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) |
| 2022-04-11 01:52:35 +0200 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2022-04-11 01:52:56 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 01:52:58 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 01:54:59 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 01:57:24 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 01:58:17 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-11 01:59:19 +0200 | Batzy | (~quassel@user/batzy) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-11 02:00:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 268 seconds) |
| 2022-04-11 02:00:04 +0200 | mvk | (~mvk@2607:fea8:5ce3:8500::9d5a) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | cheater | (~Username@user/cheater) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:4e26:4e55:2765:53c9) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | TonyStone | (~TonyStone@2603-7080-8607-c36a-4559-b1a3-4de1-30b6.res6.spectrum.com) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | goepsilongo | (~chacho@2603-7000-ab00-62ed-0000-0000-0000-0bd0.res6.spectrum.com) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | zaquest | (~notzaques@5.130.79.72) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | simeon | (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | oats | (~thomas@user/oats) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | sndr | (~sander@user/sander) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | sammelweis_ | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | unyu | (~pyon@user/pyon) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | rembo10 | (~rembo10@main.remulis.com) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | Teacup | (~teacup@user/teacup) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | orcus | (~orcus@user/brprice) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | mud | (~mud@user/kadoban) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | acro | (~acro@user/acro) (*.net *.split) |
| 2022-04-11 02:00:04 +0200 | w1gz | (~do@159.89.11.133) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | tito | (tito@tilde.team) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | defanor | (~defanor@tart.uberspace.net) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | martin02_ | (~silas@141.84.69.76) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | icebreaker | (~icebreake@user/icebreaker) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | dixie | (~dixie@real.wilbury.sk) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | statusfailed | (~statusfai@statusfailed.com) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | fjmorazan_ | (~quassel@user/fjmorazan) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | zzz | (~z@user/zero) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | bgamari_ | (~bgamari@70.16.102.89) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | sweater | (~sweater@206.81.18.26) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | dminuoso | (~dminuoso@user/dminuoso) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | statusbot2 | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) (*.net *.split) |
| 2022-04-11 02:00:05 +0200 | urdh | (~urdh@user/urdh) (*.net *.split) |
| 2022-04-11 02:00:14 +0200 | dixie | (~dixie@real.wilbury.sk) |
| 2022-04-11 02:00:16 +0200 | cods | (~fred@82-65-232-44.subs.proxad.net) |
| 2022-04-11 02:00:18 +0200 | defanor | (~defanor@tart.uberspace.net) |
| 2022-04-11 02:00:19 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-04-11 02:00:20 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-11 02:00:22 +0200 | bgamari | (~bgamari@2001:470:e438::1) |
| 2022-04-11 02:00:25 +0200 | zaquest | (~notzaques@5.130.79.72) |
| 2022-04-11 02:00:25 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) |
| 2022-04-11 02:00:26 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-04-11 02:00:37 +0200 | unyu | (~pyon@2800:200:e840:356e:c75:c5f:d434:a5f1) |
| 2022-04-11 02:00:40 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2022-04-11 02:00:41 +0200 | martin02_ | (~silas@141.84.69.76) |
| 2022-04-11 02:00:46 +0200 | ehammarstrom | (~ehammarst@62-20-203-39-no182.tbcn.telia.com) |
| 2022-04-11 02:00:47 +0200 | ggVGc | (~ggVGc@a.lowtech.earth) |
| 2022-04-11 02:00:50 +0200 | dminuoso | (~dminuoso@static.88-198-218-68.clients.your-server.de) |
| 2022-04-11 02:01:41 +0200 | unyu | Guest2187 |
| 2022-04-11 02:01:46 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-11 02:01:53 +0200 | acro | (~acro@user/acro) |
| 2022-04-11 02:01:56 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-04-11 02:02:01 +0200 | mud | (~mud@user/kadoban) |
| 2022-04-11 02:02:02 +0200 | statusbot | (~statusbot@ec2-34-198-122-184.compute-1.amazonaws.com) |
| 2022-04-11 02:02:03 +0200 | w1gz | (~do@159.89.11.133) |
| 2022-04-11 02:02:03 +0200 | Batzy | (~quassel@user/batzy) |
| 2022-04-11 02:02:10 +0200 | sander | (~sander@user/sander) |
| 2022-04-11 02:02:10 +0200 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2022-04-11 02:02:13 +0200 | hgolden | (~hgolden2@cpe-172-251-233-141.socal.res.rr.com) |
| 2022-04-11 02:02:17 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2022-04-11 02:02:20 +0200 | Teacup | (~teacup@user/teacup) |
| 2022-04-11 02:02:23 +0200 | urdh | (~urdh@user/urdh) |
| 2022-04-11 02:02:23 +0200 | orcus | (~orcus@user/brprice) |
| 2022-04-11 02:02:26 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-11 02:02:33 +0200 | zero | (~z@user/zero) |
| 2022-04-11 02:02:42 +0200 | sweater | (~sweater@206.81.18.26) |
| 2022-04-11 02:03:08 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-11 02:03:13 +0200 | fjmorazan | (~quassel@user/fjmorazan) |
| 2022-04-11 02:03:25 +0200 | oats | (~thomas@user/oats) |
| 2022-04-11 02:03:29 +0200 | cheater | (~Username@user/cheater) |
| 2022-04-11 02:04:05 +0200 | califax | (~califax@user/califx) |
| 2022-04-11 02:04:51 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 246 seconds) |
| 2022-04-11 02:05:09 +0200 | simeon | (~pi@dslb-088-076-113-221.088.076.pools.vodafone-ip.de) |
| 2022-04-11 02:05:17 +0200 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) |
| 2022-04-11 02:05:17 +0200 | statusfailed | (~statusfai@statusfailed.com) |
| 2022-04-11 02:05:17 +0200 | joo-_ | (~joo-_@80-62-116-147-mobile.dk.customer.tdc.net) (Changing host) |
| 2022-04-11 02:05:17 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-11 02:05:18 +0200 | icebreaker | (~icebreake@user/icebreaker) |
| 2022-04-11 02:05:27 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 02:08:13 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-11 02:10:32 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-11 02:14:04 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 02:14:43 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) (Quit: Konversation terminated!) |
| 2022-04-11 02:16:02 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 02:20:13 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 02:20:37 +0200 | <dons> | morning all. |
| 2022-04-11 02:21:35 +0200 | <Axman6> | o/ |
| 2022-04-11 02:22:48 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 02:23:14 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 02:25:03 +0200 | <geekosaur> | o/ |
| 2022-04-11 02:25:19 +0200 | <dmj`> | o/ |
| 2022-04-11 02:27:01 +0200 | frost | (~frost@user/frost) |
| 2022-04-11 02:27:18 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 02:32:59 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 02:35:18 +0200 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 246 seconds) |
| 2022-04-11 02:36:31 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::a111) |
| 2022-04-11 02:36:46 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 02:39:26 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 02:40:09 +0200 | abhixec_ | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Quit: leaving) |
| 2022-04-11 02:45:23 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 02:46:20 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-11 02:46:36 +0200 | frost | (~frost@user/frost) |
| 2022-04-11 02:48:05 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-11 02:48:05 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-11 02:48:05 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-11 02:52:00 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 02:52:31 +0200 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) |
| 2022-04-11 02:54:33 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 246 seconds) |
| 2022-04-11 02:54:41 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-11 02:57:57 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 02:59:37 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Remote host closed the connection) |
| 2022-04-11 02:59:54 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 03:00:08 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 260 seconds) |
| 2022-04-11 03:00:22 +0200 | <vaibhavsagar[m]> | o/ |
| 2022-04-11 03:04:59 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-11 03:06:18 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 03:09:09 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Remote host closed the connection) |
| 2022-04-11 03:09:58 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-11 03:10:50 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-11 03:12:23 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 03:12:35 +0200 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) |
| 2022-04-11 03:15:54 +0200 | <Axman6> | So I started learning Rust over the weekend. So far it's been easy going, having a background in Haskell makes a lot of it feel familliar so you just learn the syntax. I haven't run into anything where I needed to think hard about the borrow checker yet. Keen to try implementing something like a persistent finger tree, which should deal with all that fun |
| 2022-04-11 03:16:42 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 03:16:57 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-11 03:22:20 +0200 | <abastro[m]> | I heard rust is easy to learn for smone from imperative langs as well |
| 2022-04-11 03:22:52 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 03:24:25 +0200 | Guest2187 | (~pyon@2800:200:e840:356e:c75:c5f:d434:a5f1) (Changing host) |
| 2022-04-11 03:24:25 +0200 | Guest2187 | (~pyon@user/pyon) |
| 2022-04-11 03:24:25 +0200 | Guest2187 | unyu |
| 2022-04-11 03:24:32 +0200 | <Axman6> | I would suspect that that would depend a lot on the languages people know. C++ should be a relatively smooth transition because they're used to thinking about the same ideas that rust enforces with the borrow checker, but coming from python would be pretty daunting because you've got to learn a type system, to think about where memory is allocated etc. |
| 2022-04-11 03:24:56 +0200 | <dolio> | Does it have lazy evaluation for the finger trees? |
| 2022-04-11 03:25:10 +0200 | <Axman6> | I doubt it |
| 2022-04-11 03:25:32 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 03:26:54 +0200 | <Axman6> | though there is a std:lazy, so maybe? |
| 2022-04-11 03:26:59 +0200 | dustin | (~dustin@2603-6081-3640-007a-a865-8c35-f617-5f84.res6.spectrum.com) |
| 2022-04-11 03:27:01 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-11 03:27:03 +0200 | dustin | Guest7370 |
| 2022-04-11 03:27:06 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 03:27:32 +0200 | <Guest7370> | This is my first time in an IRC room, joined for the sole purpose of finding this haskell channel |
| 2022-04-11 03:28:08 +0200 | <Guest7370> | Much googling revealed that this channel is deemed one of the best, so cheers +1 |
| 2022-04-11 03:28:32 +0200 | <Axman6> | Congratulations, you made it! |
| 2022-04-11 03:29:03 +0200 | <Guest7370> | "I have ascended" |
| 2022-04-11 03:29:05 +0200 | <abastro[m]> | Axman6: Well, even for python devs I mean. Like, in comparison with them learning Java |
| 2022-04-11 03:29:06 +0200 | <Guest7370> | lol thanks |
| 2022-04-11 03:29:40 +0200 | lainon | (~lainon@2601:7c0:c500:4d20::a111) (Quit: lainon) |
| 2022-04-11 03:30:15 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 246 seconds) |
| 2022-04-11 03:30:30 +0200 | <Guest7370> | So - I have a beginner question. Does anyone mind helping me out? |
| 2022-04-11 03:30:37 +0200 | <exarkun> | Anecdotally, I know many Python developers who have successfully and blissfully transitioned to Rust. |
| 2022-04-11 03:30:55 +0200 | <Axman6> | Guest7370: fire away - general rule for IRC is: Don't ask to ask, just ask |
| 2022-04-11 03:31:14 +0200 | <exarkun> | Python programmers have been practicing thinking about types with their toy type system for a while now, too. :) |
| 2022-04-11 03:31:40 +0200 | <Axman6> | that's true, I forget that python programmers are often good at types because they have to do all their own type checking |
| 2022-04-11 03:32:15 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2022-04-11 03:33:54 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 03:35:19 +0200 | <Guest7370> | Gotcha, I'll remember that. I have a type constraint on a function for an IO param type. The thing I'm returning satisfies that constraint, but for some reason I keep getting compiler errors. My constraint is (ToJSON a), ultimatly returning IO a. I have a record that I return at the end which is an instance of ToJSON, but it keeps telling me it can't match the actual type IO myThing with IO a. I |
| 2022-04-11 03:35:21 +0200 | <Guest7370> | was under the impression that as long as "myThing" was an instance of the constraint type, then all would be good, but that doesn't seem to be the case. |
| 2022-04-11 03:36:02 +0200 | <Guest7370> | I'm using terminal IRC so posting code is probably awkward, but has anyone encountered any gotchas with constraints around aeson ToJSON and their own record types? |
| 2022-04-11 03:36:54 +0200 | <Axman6> | what ToJSON a => IO a says is: it is an IO action that can return _any_ type a which is an instance of ToJSON, and it is the caller who gets to decide what a is |
| 2022-04-11 03:37:13 +0200 | <Axman6> | @where paste |
| 2022-04-11 03:37:13 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2022-04-11 03:37:54 +0200 | <Guest7370> | sure thing, i'll go copy it. |
| 2022-04-11 03:38:14 +0200 | <Axman6> | so what you've written can't really ever be written, it's impossible to be able to create an a out of thin air that matches the type the caller wants |
| 2022-04-11 03:38:22 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 03:38:26 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:4e26:4e55:2765:53c9) |
| 2022-04-11 03:38:48 +0200 | <abastro[m]> | Perhaps writing `forall a. ToJSON a => IO a` could be better |
| 2022-04-11 03:39:19 +0200 | <Axman6> | abastro[m]: try writing something with that type that doesn't use error in some way |
| 2022-04-11 03:41:49 +0200 | <Guest7370> | https://paste.tomsmeding.com/DJcU3wso |
| 2022-04-11 03:42:17 +0200 | <Axman6> | Guest7370: there are cases where it is possible to do similar things to what you're tryint to do, like Monoid m => IO m is always possible to write, because you can write pure mempty |
| 2022-04-11 03:42:27 +0200 | <Guest7370> | The whole function is there. What isn't included is just my User and AppError types, both of which are ToJSON instances |
| 2022-04-11 03:43:23 +0200 | <Axman6> | My syber security hat is not very happy with `userPassword user == password` |
| 2022-04-11 03:43:43 +0200 | <Guest7370> | Probably just a misunderstanding on my part. I was thinking the constraint would allow me to return my user or an error. Since they're both ToJSON, my calling code could just run the action and send the output to the client |
| 2022-04-11 03:44:17 +0200 | <Axman6> | Guest7370: yeah what you'rte doing doesn't make sense. you are trying to return two types from this, AppError and User, and those are not the same |
| 2022-04-11 03:44:40 +0200 | <Guest7370> | Lol absolutely -- there is no security. This is step 3/1000 of me trying to build an app from the ground up without fancy libraries (does scotty count?) |
| 2022-04-11 03:44:59 +0200 | <Axman6> | In this case, you would usually return Either AppError User |
| 2022-04-11 03:45:14 +0200 | <dmj`> | Guest7370: probably want to make loginAction :: IO (Either AppError User), and (pure $ if userPassword user == password then Right user else Left (AppError "error message goes here") |
| 2022-04-11 03:45:27 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 03:45:30 +0200 | <Guest7370> | That makes a lot more sense, that's what Either is for I suppose. |
| 2022-04-11 03:46:16 +0200 | <dmj`> | IRC-driven-development |
| 2022-04-11 03:46:43 +0200 | <abastro[m]> | Axman6: I mean when describing the type, duh. |
| 2022-04-11 03:47:12 +0200 | <Axman6> | you _could_ return an Aeson Value, and have the type be Connection -> Credentials -> IO Value, and then use pure $ toJSON $ AppError ... or pure $ toJSON user - but don't do that, it removes helpful information, because that Value could be literally anything |
| 2022-04-11 03:47:15 +0200 | <Guest7370> | I'm trying to separate out app logic from api logic, so that style meshes up a lot more. Ideally i'd have a "runAction" that cases on whatever actions the app exposes, and returns an either of the result or some union of errors. |
| 2022-04-11 03:48:54 +0200 | <Axman6> | generally we would use ExceptT in cases like this, and your application would be written in the ExceptT AppError IO a monad - that allows you to separate thinking about the happy paths from choosing where to handle errors |
| 2022-04-11 03:48:58 +0200 | <abastro[m]> | <del>Perhaps you could do like</del> |
| 2022-04-11 03:48:58 +0200 | <abastro[m]> | `data MyJSON = forall a. FromJSON a => MyJSON a` |
| 2022-04-11 03:49:20 +0200 | <Axman6> | I don't think that's a good suggestion |
| 2022-04-11 03:49:43 +0200 | <abastro[m]> | Hence <del> |
| 2022-04-11 03:49:49 +0200 | <Guest7370> | ExceptT makes a lot of sense, for sure. It's just been a few years and I'm trying to start small before hopping into transformers |
| 2022-04-11 03:49:53 +0200 | <abastro[m]> | In case you want pseudo OOP |
| 2022-04-11 03:50:32 +0200 | <Axman6> | Guest7370: then I would suggest you go with the IO (Either AppError a) pattern for as long as you can stand it :) |
| 2022-04-11 03:50:46 +0200 | <abastro[m]> | ExceptT AppError IO a ~ IO (Either AppError a) |
| 2022-04-11 03:50:56 +0200 | <Guest7370> | "for as long as I can stand it" - probably a week or so, haha |
| 2022-04-11 03:50:57 +0200 | <abastro[m]> | Ywp |
| 2022-04-11 03:51:24 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 240 seconds) |
| 2022-04-11 03:51:25 +0200 | <abastro[m]> | In simple cases, that way could go fine forever |
| 2022-04-11 03:51:48 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 03:52:18 +0200 | <Guest7370> | I've used stacks before but I still haven't fully wrapped my head around them. Which order do you layer them in? How much MTL boilerplate for each additional feature? Then spend two weeks trying to wrap my head around Free... |
| 2022-04-11 03:52:25 +0200 | <Guest7370> | lol the struggle is real. So like I said, starting small. |
| 2022-04-11 03:52:34 +0200 | <abastro[m]> | I find `IO (Maybe a)` reasonable to use compared to `MaybeT IO a` in many cases |
| 2022-04-11 03:52:40 +0200 | <Axman6> | Guest7370: it's definitely one of those things where you start using it, and then find you're writing someAction withArgs >>= \case Left e -> print e; Right a => anotherAction a >>= \case Left e -> ... and think "there must be a better way! |
| 2022-04-11 03:53:03 +0200 | <abastro[m]> | FreeT is not something you want to even get close before understanding transformers thoroughly |
| 2022-04-11 03:53:36 +0200 | <Guest7370> | Yep, I agree |
| 2022-04-11 03:54:03 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 03:54:13 +0200 | <abastro[m]> | Guest7370: For the transformer ordering, often unrolling the transformer helps |
| 2022-04-11 03:54:38 +0200 | <abastro[m]> | `ExceptT e m a ~ m (Either e a)`, so exception is wrapped inside the `m` monad |
| 2022-04-11 03:55:11 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2022-04-11 03:55:11 +0200 | <abastro[m]> | `StateT s m a ~ s -> m (s, a)`, so this one is split up |
| 2022-04-11 03:55:45 +0200 | <Guest7370> | I think the last app I hacked on a few years back was pretty thin, with just ExceptT, ReaderT, and IO. |
| 2022-04-11 03:55:46 +0200 | <abastro[m]> | `ReaderT r m a ~ r -> m a`, so environment resides outside |
| 2022-04-11 03:55:51 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-11 03:56:13 +0200 | <abastro[m]> | That is indeed what ppl usually do, I think |
| 2022-04-11 03:56:19 +0200 | andrey_ | (~andrey@p200300dbcf089700a418461232068800.dip0.t-ipconnect.de) |
| 2022-04-11 03:56:29 +0200 | <Guest7370> | Which I remember was pretty useful, especially with being able to access all of it in one function through various lifts. That moment of "I can do all of this at the same time?!" was pretty surreal. |
| 2022-04-11 03:56:42 +0200 | <abastro[m]> | Some argue that all we need is just `ReaderT r IO` for IO-capable stacks |
| 2022-04-11 03:56:55 +0200 | <Guest7370> | But again, it was more of a "it works so I'll use it" scenario and not a "I totally understand what's going on" scenario. |
| 2022-04-11 03:57:18 +0200 | <Axman6> | I find that apps generally work well with ExceptT err (ReaderT Config IO) a |
| 2022-04-11 03:57:35 +0200 | <Guest7370> | Ah yes, Config. That was there as well. |
| 2022-04-11 03:57:50 +0200 | <Axman6> | Guest7370: stick to IO (Either AppError a) and eventually you'll easily be able to make the change to ExceptT |
| 2022-04-11 03:58:04 +0200 | <abastro[m]> | You do not need to understand it to use it, that's the catch IIRC I think |
| 2022-04-11 03:58:27 +0200 | <Guest7370> | I think what trips me up are the carrier types that you use to unwrap the stack. |
| 2022-04-11 03:58:28 +0200 | <Axman6> | s/Config/Environment really, load config at app start, build an environment (database connections, along with any settings from the Config) and pass that around |
| 2022-04-11 03:58:48 +0200 | <Guest7370> | Like I can follow other peoples code and it makes sense, but I couldn't just go write my own off the top of my head. |
| 2022-04-11 03:59:03 +0200 | andrey | (~andrey@p200300dbcf45140050bf2118fcf09947.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-11 03:59:06 +0200 | <abastro[m]> | When unwrapped, |
| 2022-04-11 03:59:06 +0200 | <abastro[m]> | `ExceptT err (ReaderT Environment IO) ~ Environment -> IO (Either err)` |
| 2022-04-11 03:59:41 +0200 | <Axman6> | @unmtl ExceptT Err (ReaderT Env IO) a |
| 2022-04-11 03:59:42 +0200 | <lambdabot> | Env -> IO (Either Err a) |
| 2022-04-11 03:59:50 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 04:00:09 +0200 | <abastro[m]> | So essentially, |
| 2022-04-11 04:00:09 +0200 | <abastro[m]> | 1. Environment is passed as a parameter |
| 2022-04-11 04:00:09 +0200 | <abastro[m]> | 2. IO action is done |
| 2022-04-11 04:00:09 +0200 | <abastro[m]> | 3. Gives potentially erroneous value `Either Err a` |
| 2022-04-11 04:00:22 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) |
| 2022-04-11 04:00:35 +0200 | <abastro[m]> | This type wraps up into the transformer stack. Why the particular order is chosen, that is out of my mind. |
| 2022-04-11 04:01:03 +0200 | <Guest7370> | That makes me feel better. |
| 2022-04-11 04:01:07 +0200 | <Axman6> | @unmtl ReaderT Env (ExceptT Err IO) a |
| 2022-04-11 04:01:07 +0200 | <lambdabot> | Env -> IO (Either Err a) |
| 2022-04-11 04:01:34 +0200 | <Guest7370> | what is @unmtl? Is that a shorthand for generating some of the mtl stuff? |
| 2022-04-11 04:02:19 +0200 | <abastro[m]> | I think it is a commandline program which unwraps the mtl transformer stacks. |
| 2022-04-11 04:02:38 +0200 | <abastro[m]> | Transformers are defined as newtypes, so you could unwrap it back |
| 2022-04-11 04:03:13 +0200 | <Guest7370> | Gotcha |
| 2022-04-11 04:03:57 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-11 04:04:10 +0200 | <Guest7370> | For the next week or so, I'm going to stick with the Env -> IO (Either AppError a) while I hack out this example to get my feet wet again, then I'll start looking at moving over to stacking things slowly. |
| 2022-04-11 04:04:29 +0200 | <Guest7370> | I appreciate everyones help, many thanks +1 |
| 2022-04-11 04:04:32 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 04:05:04 +0200 | <abastro[m]> | No problem! |
| 2022-04-11 04:05:32 +0200 | <Guest7370> | Also next time I come back, I will have figured out how to set an actual username on here and not a rando guest. |
| 2022-04-11 04:06:04 +0200 | <Guest7370> | Again, first IRC experience, and went terminal ui because yolo? |
| 2022-04-11 04:07:45 +0200 | Guest7370 | (~dustin@2603-6081-3640-007a-a865-8c35-f617-5f84.res6.spectrum.com) (WeeChat 3.4.1) |
| 2022-04-11 04:07:59 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 04:14:20 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 04:17:43 +0200 | justErkel | (~justache@user/justache) (Read error: Connection reset by peer) |
| 2022-04-11 04:18:38 +0200 | justErkel | (~justache@user/justache) |
| 2022-04-11 04:19:13 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 04:19:13 +0200 | lemonsnicks | (~lemonsnic@cpc159519-perr18-2-0-cust114.19-1.cable.virginm.net) |
| 2022-04-11 04:20:24 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 04:22:10 +0200 | abastro | (~abab9579@192.249.26.208) |
| 2022-04-11 04:23:02 +0200 | justErkel | justache |
| 2022-04-11 04:23:48 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-11 04:25:48 +0200 | AlexNoo_ | (~AlexNoo@178.34.151.145) |
| 2022-04-11 04:25:52 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 04:26:54 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 04:27:26 +0200 | vicfred | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-11 04:28:03 +0200 | AlexZenon | (~alzenon@94.233.241.39) (Ping timeout: 256 seconds) |
| 2022-04-11 04:29:03 +0200 | AlexNoo | (~AlexNoo@94.233.241.39) (Ping timeout: 246 seconds) |
| 2022-04-11 04:29:08 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 04:29:11 +0200 | Alex_test | (~al_test@94.233.241.39) (Ping timeout: 256 seconds) |
| 2022-04-11 04:32:38 +0200 | AlexZenon | (~alzenon@178.34.151.145) |
| 2022-04-11 04:33:15 +0200 | Alex_test | (~al_test@178.34.151.145) |
| 2022-04-11 04:33:36 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 04:33:40 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-11 04:34:40 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 04:35:07 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-04-11 04:35:08 +0200 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-04-11 04:35:08 +0200 | finn_elija | FinnElija |
| 2022-04-11 04:35:36 +0200 | abastro | (~abab9579@192.249.26.208) (Remote host closed the connection) |
| 2022-04-11 04:36:02 +0200 | abastro | (~abab9579@192.249.26.208) |
| 2022-04-11 04:36:21 +0200 | vicfred_ | (~vicfred@user/vicfred) |
| 2022-04-11 04:38:51 +0200 | vicfred | (~vicfred@user/vicfred) (Ping timeout: 246 seconds) |
| 2022-04-11 04:39:02 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 04:39:03 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 04:43:55 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 04:45:05 +0200 | <lechner> | Hi, when can ghc generate a "package registration fille" please, and when not? |
| 2022-04-11 04:45:15 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 04:46:20 +0200 | abastro | (~abab9579@192.249.26.208) (Ping timeout: 272 seconds) |
| 2022-04-11 04:47:35 +0200 | <lechner> | Do the source have to come from Hackage? |
| 2022-04-11 04:51:36 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 04:53:27 +0200 | mzan | (~quassel@mail.asterisell.com) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-11 04:57:52 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 04:57:57 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 05:00:07 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) (Quit: I seem to have stopped.) |
| 2022-04-11 05:00:22 +0200 | <phma> | I'm trying to map a sequence, instead of a list, through a function. |
| 2022-04-11 05:00:47 +0200 | <phma> | parseChunkRjust :: Seq.Seq Char -> Maybe Word |
| 2022-04-11 05:01:05 +0200 | abastro | (~abab9579@192.249.26.208) |
| 2022-04-11 05:01:07 +0200 | <phma> | Seq.map parseChunkRjust (Seq.fromList [Seq.fromList "56743821564",Seq.fromList "73821567"]) |
| 2022-04-11 05:01:12 +0200 | Taneb | (~Taneb@2001:41c8:51:10d:aaaa:0:aaaa:0) |
| 2022-04-11 05:01:31 +0200 | <phma> | Not in scope: ‘Seq.map’ |
| 2022-04-11 05:01:41 +0200 | <phma> | What am I missing? |
| 2022-04-11 05:03:15 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) (Ping timeout: 260 seconds) |
| 2022-04-11 05:04:10 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 05:04:27 +0200 | cdman | (~dcm@27.2.218.1) |
| 2022-04-11 05:04:27 +0200 | cdman | (~dcm@27.2.218.1) (Changing host) |
| 2022-04-11 05:04:27 +0200 | cdman | (~dcm@user/dmc/x-4369397) |
| 2022-04-11 05:09:56 +0200 | <Zemyla> | phma: Just use fmap. |
| 2022-04-11 05:10:29 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 05:17:20 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Quit: leaving) |
| 2022-04-11 05:18:10 +0200 | <phma> | Zemyla: okay, now I got a sequence of Just numbers. I want to make Maybe a sequence of numbers, but if any of the Maybes in the sequence is Nothing, I want Nothing. |
| 2022-04-11 05:18:30 +0200 | <phma> | Is that fmapM or something? |
| 2022-04-11 05:18:48 +0200 | <Zemyla> | sequence. |
| 2022-04-11 05:18:54 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 05:19:06 +0200 | <Zemyla> | Or traverse. |
| 2022-04-11 05:20:04 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:943e:a08c:ffd0:5f66) (Ping timeout: 260 seconds) |
| 2022-04-11 05:20:43 +0200 | euandreh | (~euandreh@2804:14c:33:9fe5:f1f:1f2:988a:6dea) |
| 2022-04-11 05:21:41 +0200 | <Zemyla> | Yeah, traverse parseChunkRJust sequence will do it. |
| 2022-04-11 05:25:13 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 05:26:02 +0200 | <phma> | Thanks |
| 2022-04-11 05:27:33 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-11 05:29:18 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 05:32:27 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-11 05:35:30 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 05:37:18 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 250 seconds) |
| 2022-04-11 05:38:43 +0200 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-04-11 05:39:06 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-11 05:39:33 +0200 | phma | (~phma@host-67-44-208-191.hnremote.net) (Read error: Connection reset by peer) |
| 2022-04-11 05:40:21 +0200 | phma | (phma@2001:5b0:211f:c668:f9fa:f83d:4433:4389) |
| 2022-04-11 05:41:52 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 05:42:58 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) |
| 2022-04-11 05:43:59 +0200 | abastro | (~abab9579@192.249.26.208) (Ping timeout: 256 seconds) |
| 2022-04-11 05:47:00 +0200 | <abastro[m]> | I now wonder How does `map` arose in programming |
| 2022-04-11 05:49:23 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) |
| 2022-04-11 05:50:07 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 05:50:44 +0200 | <abastro[m]> | And later how it is rediscovered as a variant of `fmap` |
| 2022-04-11 05:53:34 +0200 | floof | (~floof@2a02:6b64:f147:0:186:8bed:1973:c563) (Ping timeout: 250 seconds) |
| 2022-04-11 05:54:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 06:00:27 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 06:00:32 +0200 | <dsal> | I don't think `fmap` would've been called `fmap` if `map` weren't in the way. |
| 2022-04-11 06:07:00 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 06:09:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 06:12:57 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 06:14:35 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 06:15:02 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 06:17:24 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 06:20:36 +0200 | shriekingnoise_ | (~shrieking@201.231.16.156) |
| 2022-04-11 06:21:17 +0200 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-11 06:21:24 +0200 | shriekingnoise | (~shrieking@201.231.16.156) (Ping timeout: 246 seconds) |
| 2022-04-11 06:24:32 +0200 | Unicorn_Princess | (~Unicorn_P@93-103-228-248.dynamic.t-2.net) |
| 2022-04-11 06:25:27 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 06:25:42 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 06:26:54 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 06:27:28 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 06:28:16 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 06:28:21 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 06:28:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 06:29:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 06:30:12 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-04-11 06:31:42 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 06:33:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-11 06:34:16 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 06:34:25 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 06:35:41 +0200 | img | (~img@user/img) |
| 2022-04-11 06:39:12 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 06:39:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 06:43:24 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 06:43:32 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-11 06:43:49 +0200 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) |
| 2022-04-11 06:44:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-11 06:49:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 06:50:05 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-11 06:50:17 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 06:51:19 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 06:51:57 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 06:54:16 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-11 06:54:26 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 06:54:40 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 06:58:56 +0200 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-04-11 06:59:40 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 07:00:34 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 07:02:21 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-04-11 07:04:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 07:04:55 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-11 07:05:04 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 07:09:38 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 07:12:42 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 07:14:22 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 07:15:29 +0200 | michalz | (~michalz@185.246.204.101) |
| 2022-04-11 07:17:12 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 07:19:39 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 07:22:53 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 07:23:22 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-11 07:24:03 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-11 07:26:11 +0200 | <abastro[m]> | Wait why is this message sent twice |
| 2022-04-11 07:26:22 +0200 | <abastro[m]> | Oh it isn't |
| 2022-04-11 07:26:39 +0200 | <abastro[m]> | Has `map` been popular for long time? |
| 2022-04-11 07:26:57 +0200 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-11 07:27:36 +0200 | <Axman6> | I don't know what that question reall means |
| 2022-04-11 07:28:08 +0200 | <Axman6> | it was in the first standard for Haskell? |
| 2022-04-11 07:29:20 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 07:29:37 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 07:29:50 +0200 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-04-11 07:31:42 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-11 07:31:48 +0200 | renatofdds[m] | (~renatofdd@2001:470:69fc:105::1:3cfe) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | nisstyre | (wes@user/nisstyre) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | koolazer | (~koo@user/koolazer) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | ringo__ | (~ringo@157.230.117.128) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | jocke-l | (jocke-l@a.x0.is) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | vito | (sid1962@user/vito) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | joel135 | (sid136450@id-136450.hampstead.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | sekun[m] | (~hsekmatri@2001:470:69fc:105::d18f) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | solomon[m] | (~solomonco@2001:470:69fc:105::1:6000) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | ornxka | (~ornxka@user/ornxka) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | tritlo | (sid58727@user/tritlo) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | jakesyl__ | (sid56879@id-56879.hampstead.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:48 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | mcfilib | (sid302703@user/mcfilib) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | idnar | (sid12240@debian/mithrandi) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | lieven | (~mal@ns2.wyrd.be) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | LambdaDuck | (~anka@ksit.fixme.fi) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | Xe | (~cadey@tailscale/xe) (*.net *.split) |
| 2022-04-11 07:31:49 +0200 | bonfacekilz | (~quassel@2001:bc8:47a4:a23::1) (*.net *.split) |
| 2022-04-11 07:31:56 +0200 | LambdaDuck | (~anka@ksit.fixme.fi) |
| 2022-04-11 07:32:01 +0200 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) |
| 2022-04-11 07:32:05 +0200 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2022-04-11 07:32:05 +0200 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
| 2022-04-11 07:32:06 +0200 | tritlo | (sid58727@user/tritlo) |
| 2022-04-11 07:32:06 +0200 | bonz060 | (~quassel@2001:bc8:47a4:a23::1) |
| 2022-04-11 07:32:09 +0200 | tapas | (sid467876@id-467876.ilkley.irccloud.com) |
| 2022-04-11 07:32:09 +0200 | aforemny | (~aforemny@static.248.158.34.188.clients.your-server.de) |
| 2022-04-11 07:32:16 +0200 | idnar | (sid12240@id-12240.lymington.irccloud.com) |
| 2022-04-11 07:32:18 +0200 | lightandlight | (sid135476@id-135476.helmsley.irccloud.com) |
| 2022-04-11 07:32:20 +0200 | lieven | (~mal@ns2.wyrd.be) |
| 2022-04-11 07:32:21 +0200 | nisstyre | (wes@2600:3c00::f03c:91ff:fe69:7f3d) |
| 2022-04-11 07:32:22 +0200 | mcfilib | (sid302703@user/mcfilib) |
| 2022-04-11 07:32:23 +0200 | sa | (sid1055@id-1055.tinside.irccloud.com) |
| 2022-04-11 07:32:27 +0200 | ornxka | (~ornxka@47.241.5.177) |
| 2022-04-11 07:32:27 +0200 | koolazer | (~koo@user/koolazer) |
| 2022-04-11 07:32:28 +0200 | idnar | (sid12240@id-12240.lymington.irccloud.com) (Changing host) |
| 2022-04-11 07:32:28 +0200 | idnar | (sid12240@debian/mithrandi) |
| 2022-04-11 07:32:28 +0200 | nisstyre | (wes@2600:3c00::f03c:91ff:fe69:7f3d) (Signing in (nisstyre)) |
| 2022-04-11 07:32:28 +0200 | nisstyre | (wes@user/nisstyre) |
| 2022-04-11 07:32:28 +0200 | Xe | (~cadey@lufta.cetacean.club) |
| 2022-04-11 07:32:30 +0200 | jocke-l | (jocke-l@a.x0.is) |
| 2022-04-11 07:32:35 +0200 | ornxka | (~ornxka@47.241.5.177) (Signing in (ornxka)) |
| 2022-04-11 07:32:35 +0200 | ornxka | (~ornxka@user/ornxka) |
| 2022-04-11 07:32:36 +0200 | Xe | (~cadey@lufta.cetacean.club) (Signing in (Xe)) |
| 2022-04-11 07:32:36 +0200 | Xe | (~cadey@tailscale/xe) |
| 2022-04-11 07:32:38 +0200 | SrPx | (sid108780@id-108780.uxbridge.irccloud.com) |
| 2022-04-11 07:32:39 +0200 | vito | (sid1962@2a03:5180:f:5::7aa) |
| 2022-04-11 07:32:42 +0200 | vito | (sid1962@2a03:5180:f:5::7aa) (Changing host) |
| 2022-04-11 07:32:42 +0200 | vito | (sid1962@user/vito) |
| 2022-04-11 07:32:48 +0200 | NiKaN | (sid385034@id-385034.helmsley.irccloud.com) |
| 2022-04-11 07:32:51 +0200 | joel135 | (sid136450@2a03:5180:f:4::2:1502) |
| 2022-04-11 07:32:52 +0200 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
| 2022-04-11 07:32:56 +0200 | ringo__ | (~ringo@157.230.117.128) |
| 2022-04-11 07:32:59 +0200 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) |
| 2022-04-11 07:33:01 +0200 | jakesyl__ | (sid56879@2a03:5180:f:4::de2f) |
| 2022-04-11 07:33:09 +0200 | inversed_ | (~inversed@94.13.111.159) |
| 2022-04-11 07:33:36 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 07:34:12 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 07:34:18 +0200 | sekun[m] | (~hsekmatri@2001:470:69fc:105::d18f) |
| 2022-04-11 07:34:48 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 07:35:17 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 07:35:51 +0200 | fgaz | (~fgaz@2001:470:69fc:105::842) |
| 2022-04-11 07:36:05 +0200 | inversed | (~inversed@94.13.111.159) (Ping timeout: 272 seconds) |
| 2022-04-11 07:37:43 +0200 | solomon[m] | (~solomonco@2001:470:69fc:105::1:6000) |
| 2022-04-11 07:38:34 +0200 | peddie | (~peddie@2001:470:69fc:105::25d) |
| 2022-04-11 07:38:59 +0200 | renatofdds[m] | (~renatofdd@2001:470:69fc:105::1:3cfe) |
| 2022-04-11 07:39:04 +0200 | reza[m] | (~rezaphone@2001:470:69fc:105::3eda) |
| 2022-04-11 07:39:14 +0200 | vaibhavsagar[m] | (~vaibhavsa@2001:470:69fc:105::ffe) |
| 2022-04-11 07:39:52 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-11 07:41:16 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-04-11 07:42:48 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) |
| 2022-04-11 07:43:13 +0200 | asm | (~alexander@burner.asm89.io) (*.net *.split) |
| 2022-04-11 07:43:13 +0200 | noctux | (~noctux@user/noctux) (*.net *.split) |
| 2022-04-11 07:43:13 +0200 | janus | (janus@anubis.0x90.dk) (*.net *.split) |
| 2022-04-11 07:43:13 +0200 | AdamConner-Sax[m | (~adamcsmat@2001:470:69fc:105::1:e2c8) (*.net *.split) |
| 2022-04-11 07:43:13 +0200 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) (*.net *.split) |
| 2022-04-11 07:43:13 +0200 | ksqsf[m] | (~ksqsfmatr@2001:470:69fc:105::1:d8fa) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | sm | (~sm@plaintextaccounting/sm) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | aria | (sid380617@2a03:5180:f:2::5:cec9) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | grfn | (sid449115@2a03:5180:f:1::6:da5b) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | sa1 | (sid7690@2a03:5180:f:3::1e0a) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | whez | (sid470288@2a03:5180:f:2::7:2d10) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | T_S_ | (sid501726@id-501726.uxbridge.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | kevinsjoberg | (sid499516@id-499516.lymington.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | davetapley | (sid666@id-666.uxbridge.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | hongminhee | (sid295@2a03:5180:f::127) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | bjs | (sid190364@user/bjs) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | cbarrett | (sid192934@2a03:5180:f:1::2:f1a6) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | Boarders_ | (sid425905@id-425905.lymington.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | Hafydd | (~Hafydd@user/hafydd) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | drewr | (~drew@user/drewr) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | Pent | (sid313808@lymington.irccloud.com) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | heath | (~heath@user/heath) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) (*.net *.split) |
| 2022-04-11 07:43:14 +0200 | blades | (~blades@204.48.29.163) (*.net *.split) |
| 2022-04-11 07:43:15 +0200 | <dolio> | It was around in 1958 at least. |
| 2022-04-11 07:43:23 +0200 | whez | (sid470288@id-470288.lymington.irccloud.com) |
| 2022-04-11 07:43:34 +0200 | AndreasK | (sid320732@id-320732.uxbridge.irccloud.com) |
| 2022-04-11 07:43:34 +0200 | cjay | (cjay@nerdbox.nerd2nerd.org) |
| 2022-04-11 07:43:36 +0200 | asm | (~alexander@burner.asm89.io) |
| 2022-04-11 07:43:41 +0200 | SethTisue | (sid14912@id-14912.ilkley.irccloud.com) |
| 2022-04-11 07:43:43 +0200 | janus | (janus@anubis.0x90.dk) |
| 2022-04-11 07:43:44 +0200 | noctux | (~noctux@user/noctux) |
| 2022-04-11 07:43:45 +0200 | Pent | (sid313808@id-313808.lymington.irccloud.com) |
| 2022-04-11 07:43:47 +0200 | Hafydd | (~Hafydd@owlchat.newnet.net) |
| 2022-04-11 07:44:01 +0200 | Hafydd | (~Hafydd@owlchat.newnet.net) (Changing host) |
| 2022-04-11 07:44:01 +0200 | Hafydd | (~Hafydd@user/hafydd) |
| 2022-04-11 07:44:04 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-11 07:44:04 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Ping timeout: 250 seconds) |
| 2022-04-11 07:44:15 +0200 | pepeiborra | (sid443799@id-443799.ilkley.irccloud.com) |
| 2022-04-11 07:44:16 +0200 | caasih | (sid13241@id-13241.ilkley.irccloud.com) |
| 2022-04-11 07:44:18 +0200 | heath | (~heath@user/heath) |
| 2022-04-11 07:44:22 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2022-04-11 07:44:22 +0200 | grfn | (sid449115@2a03:5180:f:1::6:da5b) |
| 2022-04-11 07:44:22 +0200 | cbarrett | (sid192934@id-192934.helmsley.irccloud.com) |
| 2022-04-11 07:44:25 +0200 | sa1 | (sid7690@id-7690.ilkley.irccloud.com) |
| 2022-04-11 07:44:25 +0200 | kevinsjoberg | (sid499516@id-499516.lymington.irccloud.com) |
| 2022-04-11 07:44:26 +0200 | T_S_ | (sid501726@id-501726.uxbridge.irccloud.com) |
| 2022-04-11 07:44:27 +0200 | bjs | (sid190364@user/bjs) |
| 2022-04-11 07:44:27 +0200 | hongminhee | (sid295@2a03:5180:f::127) |
| 2022-04-11 07:44:30 +0200 | davetapley | (sid666@2a03:5180:f:5::29a) |
| 2022-04-11 07:44:30 +0200 | christiaanb | (sid84827@id-84827.lymington.irccloud.com) |
| 2022-04-11 07:44:34 +0200 | Boarders_ | (sid425905@2a03:5180:f:2::6:7fb1) |
| 2022-04-11 07:44:37 +0200 | unclechu | (~unclechu@2001:470:69fc:105::354) |
| 2022-04-11 07:44:41 +0200 | aria | (sid380617@lymington.irccloud.com) |
| 2022-04-11 07:44:42 +0200 | drewr | (~drew@user/drewr) |
| 2022-04-11 07:45:02 +0200 | blades | (~blades@204.48.29.163) |
| 2022-04-11 07:45:44 +0200 | sm | (~sm@plaintextaccounting/sm) |
| 2022-04-11 07:46:31 +0200 | AdamConner-Sax[m | (~adamcsmat@2001:470:69fc:105::1:e2c8) |
| 2022-04-11 07:46:31 +0200 | ksqsf[m] | (~ksqsfmatr@2001:470:69fc:105::1:d8fa) |
| 2022-04-11 07:46:36 +0200 | dgpratt[m] | (~dgprattma@2001:470:69fc:105::1:dcdd) |
| 2022-04-11 07:49:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 07:50:02 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 07:50:05 +0200 | ManofLetters[m] | (~manoflett@2001:470:69fc:105::3be) |
| 2022-04-11 07:50:08 +0200 | schuelermine[m] | (~schuelerm@user/schuelermine) |
| 2022-04-11 07:50:16 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 07:50:24 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 07:50:39 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 07:50:47 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 07:51:02 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 07:51:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 07:51:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 07:51:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 07:51:46 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) |
| 2022-04-11 07:52:09 +0200 | floof | (~floof@2a02:6b64:f147:0:5d:c1ea:4a12:74f8) (Remote host closed the connection) |
| 2022-04-11 07:54:19 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 07:54:27 +0200 | razetime | (~quassel@43.254.111.18) |
| 2022-04-11 08:03:39 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) |
| 2022-04-11 08:07:45 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 08:09:31 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 08:11:29 +0200 | acidjnk | (~acidjnk@p200300d0c7049f6848ba0397e6d6589a.dip0.t-ipconnect.de) |
| 2022-04-11 08:14:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 08:14:43 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) (Ping timeout: 256 seconds) |
| 2022-04-11 08:15:02 +0200 | phma | (phma@2001:5b0:211f:c668:f9fa:f83d:4433:4389) (Read error: Connection reset by peer) |
| 2022-04-11 08:16:03 +0200 | phma | (phma@2001:5b0:212a:b288:54de:f56:6f6c:c5f8) |
| 2022-04-11 08:19:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 08:21:13 +0200 | <tdammers> | it is kind of an obvious name, isn't it - you map one data structure to another, retaining structure and passing each element through a function |
| 2022-04-11 08:21:31 +0200 | <tdammers> | "project" would also have made sense, but "map" seems pretty logical |
| 2022-04-11 08:21:56 +0200 | jonathanx_ | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2022-04-11 08:22:03 +0200 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) (Read error: Connection reset by peer) |
| 2022-04-11 08:24:21 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 08:29:04 +0200 | akegalj | (~akegalj@23-132.dsl.iskon.hr) |
| 2022-04-11 08:29:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 08:31:02 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 08:32:53 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 08:33:57 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-11 08:34:20 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 08:37:23 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-04-11 08:39:18 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 246 seconds) |
| 2022-04-11 08:39:26 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 08:41:24 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6405:6ef5:bc9c:95b8) |
| 2022-04-11 08:42:52 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-04-11 08:44:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 08:45:48 +0200 | axeman | (~quassel@2a02:8109:a380:78:b6ea:929f:c096:40b8) |
| 2022-04-11 08:49:16 +0200 | razetime | (~quassel@43.254.111.18) (Ping timeout: 250 seconds) |
| 2022-04-11 08:49:23 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 08:49:52 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) |
| 2022-04-11 08:50:01 +0200 | vicfred_ | (~vicfred@user/vicfred) (Quit: Leaving) |
| 2022-04-11 08:50:37 +0200 | <abastro[m]> | Yep I see that `map` is reasonable |
| 2022-04-11 08:50:40 +0200 | <abastro[m]> | I am asking about its origin. |
| 2022-04-11 08:51:40 +0200 | <dolio> | In lisp it was mapcar, presumably because you're applying a mapping to the cars. |
| 2022-04-11 08:52:18 +0200 | <dolio> | I don't know if McCarthy invented that name, though. |
| 2022-04-11 08:53:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 08:55:22 +0200 | <abastro[m]> | Oh, mapping to cars? |
| 2022-04-11 08:55:35 +0200 | <abastro[m]> | Quite interesting |
| 2022-04-11 08:56:03 +0200 | <abastro[m]> | Perhaps it could be said to be homomorphism or sth |
| 2022-04-11 08:56:10 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 08:57:34 +0200 | neverwas | (jpneverwas@swissbox.unperson.link) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-11 08:57:51 +0200 | abastro | (~abab9579@192.249.26.208) |
| 2022-04-11 08:58:52 +0200 | abastro | (~abab9579@192.249.26.208) (Remote host closed the connection) |
| 2022-04-11 08:59:11 +0200 | abastro | (~abab9579@192.249.26.208) |
| 2022-04-11 09:01:29 +0200 | ElVinzFR | (~ElVinzFR@2a01cb0c09c6d50075ddc88af3c55e73.ipv6.abo.wanadoo.fr) |
| 2022-04-11 09:04:22 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 09:04:23 +0200 | mattil | (~mattil@helsinki.portalify.com) |
| 2022-04-11 09:06:25 +0200 | chele | (~chele@user/chele) |
| 2022-04-11 09:09:09 +0200 | ElVinzFR | (~ElVinzFR@2a01cb0c09c6d50075ddc88af3c55e73.ipv6.abo.wanadoo.fr) (Quit: Client closed) |
| 2022-04-11 09:09:12 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-11 09:09:19 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 09:09:38 +0200 | razetime | (~quassel@43.254.111.18) |
| 2022-04-11 09:10:36 +0200 | axeman | (~quassel@2a02:8109:a380:78:b6ea:929f:c096:40b8) (Ping timeout: 240 seconds) |
| 2022-04-11 09:11:58 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) |
| 2022-04-11 09:13:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 09:17:28 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-11 09:19:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 09:20:06 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-11 09:20:28 +0200 | <lieven> | the Lisp 1.5 manual has MAPLIST instead of MAPCAR so the map part of the name was fairly early |
| 2022-04-11 09:23:27 +0200 | alp_ | (~alp@user/alp) |
| 2022-04-11 09:23:56 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 09:23:56 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds) |
| 2022-04-11 09:25:38 +0200 | <abastro> | Haskell lang devs could have devised generalized `map` then.. |
| 2022-04-11 09:25:51 +0200 | <abastro> | As maplist/mapcar thing implies it is specific one |
| 2022-04-11 09:27:53 +0200 | shriekingnoise_ | (~shrieking@201.231.16.156) (Quit: Quit) |
| 2022-04-11 09:29:17 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 09:29:26 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 272 seconds) |
| 2022-04-11 09:29:54 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 09:33:04 +0200 | brandonh | (brandonh@gateway/vpn/protonvpn/brandonh) (Quit: brandonh) |
| 2022-04-11 09:33:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 09:36:27 +0200 | frost | (~frost@user/frost) |
| 2022-04-11 09:37:54 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-11 09:39:15 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 09:43:49 +0200 | <lieven> | Common Lisp has a more general MAP that can change the return type |
| 2022-04-11 09:43:54 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-11 09:44:15 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 09:48:09 +0200 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-11 09:48:20 +0200 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-04-11 09:48:25 +0200 | abhixec | (~abhixec@c-67-169-139-16.hsd1.ca.comcast.net) (Remote host closed the connection) |
| 2022-04-11 09:49:03 +0200 | rembo10 | (~rembo10@main.remulis.com) |
| 2022-04-11 09:49:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 09:53:50 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 09:54:08 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-11 09:54:26 +0200 | mbuf | (~Shakthi@182.64.150.20) |
| 2022-04-11 09:58:12 +0200 | <abastro> | Change the return type? |
| 2022-04-11 09:58:34 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 09:59:05 +0200 | <phma> | I've made GosperInteger a member of the Read class and verified by calling read with a string. It works as long as I specify the returrn type. |
| 2022-04-11 09:59:11 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 09:59:44 +0200 | zeenk | (~zeenk@2a02:2f04:a313:d600:8d26:ec9f:3ff6:fc94) |
| 2022-04-11 09:59:46 +0200 | <phma> | It takes strings like "45G" and returns a GosperInteger. |
| 2022-04-11 10:01:10 +0200 | <phma> | But if I say "iAdd 45G 234G", where iAdd is of type GosperInteger -> GosperInteger -> GosperInteger, it says "Data constructor not in scope: G :: GosperInteger". |
| 2022-04-11 10:03:28 +0200 | <lieven> | abastro: you can MAP over a vector and tell it to return a list for example |
| 2022-04-11 10:03:36 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-11 10:05:12 +0200 | abastro | (~abab9579@192.249.26.208) (Ping timeout: 248 seconds) |
| 2022-04-11 10:05:32 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 250 seconds) |
| 2022-04-11 10:06:27 +0200 | razetime | (~quassel@43.254.111.18) (Ping timeout: 240 seconds) |
| 2022-04-11 10:07:13 +0200 | akegalj | (~akegalj@23-132.dsl.iskon.hr) (Quit: leaving) |
| 2022-04-11 10:07:23 +0200 | MajorBiscuit | (~MajorBisc@c-001-029-050.client.tudelft.eduvpn.nl) |
| 2022-04-11 10:09:05 +0200 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-11 10:09:10 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 10:09:45 +0200 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 256 seconds) |
| 2022-04-11 10:10:12 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-11 10:10:18 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 2022-04-11 10:12:44 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-11 10:13:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 10:15:15 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-11 10:16:03 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-11 10:17:40 +0200 | mzvonar | (~mzvonar@alotvpn.vps.wbsprt.com) |
| 2022-04-11 10:18:29 +0200 | mzvonar | (~mzvonar@alotvpn.vps.wbsprt.com) (Client Quit) |
| 2022-04-11 10:19:07 +0200 | mzvonar | (~mzvonar@alotvpn.vps.wbsprt.com) |
| 2022-04-11 10:19:08 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 10:21:44 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:f5d8:ca8a:1af1:10d7) |
| 2022-04-11 10:23:42 +0200 | neverwas | (jpneverwas@swissbox.unperson.link) |
| 2022-04-11 10:23:52 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-11 10:24:56 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 248 seconds) |
| 2022-04-11 10:26:10 +0200 | <mzvonar> | Hi, I was doing exercises from the Haskell Book on Traversable, and when I run tests with checkers library, the tests got stuck on composition property and eventually overflows. It happens on multiple data types, but I'm attaching the simplest. I'm not sure what I'm doing wrong. Current checkers types differ from the ones presented in the book so |
| 2022-04-11 10:26:11 +0200 | <mzvonar> | probably something in the checkers has changed too. Here I created a minimal reproduction case (Pair data type is fine, but Big gets stuck). Can you please help me? Thanks. https://replit.com/@mzvonar/checkers |
| 2022-04-11 10:28:00 +0200 | hololeap | (~hololeap@user/hololeap) |
| 2022-04-11 10:28:05 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 10:28:53 +0200 | mzan | (~quassel@mail.asterisell.com) |
| 2022-04-11 10:29:06 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 10:29:56 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) (Quit: WeeChat 3.3) |
| 2022-04-11 10:30:00 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 10:30:10 +0200 | Profpatsch | (~Profpatsc@static.88-198-193-255.clients.your-server.de) |
| 2022-04-11 10:31:29 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 10:31:46 +0200 | <Axman6> | mzvonar: can you point to some code that isn't working? |
| 2022-04-11 10:32:25 +0200 | <Axman6> | phma: adding a Read instance doesn't change how the Haskell parser works, you would have to write iAdd (read "45G") (read "234G") |
| 2022-04-11 10:34:07 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 10:34:54 +0200 | abastro | (~abab9579@192.249.26.208) |
| 2022-04-11 10:38:45 +0200 | <mzvonar> | Axman6 the code is working, but the traversable property from checkers library never finishes for the Big data type |
| 2022-04-11 10:39:04 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 10:43:36 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-11 10:44:02 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-11 10:45:55 +0200 | mzvonar78 | (~mzvonar@62.197.222.198) |
| 2022-04-11 10:46:13 +0200 | mzvonar78 | (~mzvonar@62.197.222.198) (Client Quit) |
| 2022-04-11 10:46:28 +0200 | mzvonar6 | (~mzvonar@62.197.222.198) |
| 2022-04-11 10:47:48 +0200 | mzvonar | (~mzvonar@alotvpn.vps.wbsprt.com) (Ping timeout: 250 seconds) |
| 2022-04-11 10:49:03 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 10:52:29 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-11 10:53:27 +0200 | joo-_ | (~joo-_@fsf/member/joo--) (Quit: leaving) |
| 2022-04-11 10:53:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 10:53:41 +0200 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-04-11 10:53:47 +0200 | <Zemyla> | tThe puppet master! You're a puppet in a play, and I hold all the strings! |
| 2022-04-11 10:53:47 +0200 | <Zemyla> | And cards, still. Got the cards in one hand, strings in the other. And I'm making you dance |
| 2022-04-11 10:54:55 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-11 10:55:06 +0200 | mzvonar6 | (~mzvonar@62.197.222.198) (Quit: Client closed) |
| 2022-04-11 10:55:24 +0200 | mzvonar | (~mzvonar@alotvpn.vps.wbsprt.com) |
| 2022-04-11 10:57:55 +0200 | travisb_ | (~travisb@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 2022-04-11 10:58:15 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 10:58:27 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 10:59:01 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 10:59:48 +0200 | tabemann | (~travisb@2600:1700:7990:24e0:4e26:4e55:2765:53c9) (Ping timeout: 240 seconds) |
| 2022-04-11 11:02:53 +0200 | ishaan | (~iv@122.161.51.93) |
| 2022-04-11 11:03:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 11:08:14 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-11 11:08:59 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 11:09:00 +0200 | <anomal> | many of the IO examples online are isolated from the rest of a program and it's unclear in what context IO runs, how the runtime relates the instructions of the IO monad to the rest of the code you run purely. |
| 2022-04-11 11:09:09 +0200 | <anomal> | Is there some outline of the workflow of the runtime here |
| 2022-04-11 11:09:14 +0200 | <anomal> | so I can make a mental model of it |
| 2022-04-11 11:13:34 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 11:14:05 +0200 | <jackdk> | phma: read doesn't work like that - it's not a general Haskell parser |
| 2022-04-11 11:14:33 +0200 | bahamas | (~lucian@86.120.77.115) |
| 2022-04-11 11:14:39 +0200 | ishaan | (~iv@122.161.51.93) (Quit: WeeChat 3.5) |
| 2022-04-11 11:15:02 +0200 | MajorBiscuit | (~MajorBisc@c-001-029-050.client.tudelft.eduvpn.nl) (Quit: WeeChat 3.4) |
| 2022-04-11 11:15:52 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-04-11 11:16:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-11 11:16:12 +0200 | kmein | (~weechat@user/kmein) |
| 2022-04-11 11:16:54 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 11:18:58 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 11:19:12 +0200 | MajorBiscuit | (~MajorBisc@c-001-029-050.client.tudelft.eduvpn.nl) |
| 2022-04-11 11:20:50 +0200 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-11 11:21:55 +0200 | ishaan | (~ishaan@122.161.51.93) (Client Quit) |
| 2022-04-11 11:23:32 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 11:24:08 +0200 | bahamas | (~lucian@86.120.77.115) (Ping timeout: 248 seconds) |
| 2022-04-11 11:24:38 +0200 | timCF | (~timCF@200-149-20-81.sta.estpak.ee) |
| 2022-04-11 11:27:36 +0200 | <timCF> | Hello! If you were writing simple interactive one-page like web app, which Haskell web framework you will use today? I'm mostly thinking about Miso vs Shpadoinkle, but they both are using ghcjs, which state in not that clear right now. I'm not sure about it. Maybe there are better alternatives? |
| 2022-04-11 11:27:50 +0200 | <phma> | so what does the REPL use, if not read? |
| 2022-04-11 11:28:40 +0200 | <abastro[m]> | I think repl uses internal haskell parser |
| 2022-04-11 11:28:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 11:30:27 +0200 | abastro | (~abab9579@192.249.26.208) (Ping timeout: 240 seconds) |
| 2022-04-11 11:31:04 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-11 11:31:20 +0200 | ishaan | (~ishaan@122.161.51.93) |
| 2022-04-11 11:31:47 +0200 | vysn | (~vysn@user/vysn) |
| 2022-04-11 11:32:50 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 11:32:57 +0200 | m5zs7k | (~m5zs7k@web10.mydevil.net) (Ping timeout: 272 seconds) |
| 2022-04-11 11:33:27 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 11:37:17 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 11:37:41 +0200 | m5zs7k | (aquares@web10.mydevil.net) |
| 2022-04-11 11:38:23 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:38:38 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:38:46 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:38:56 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 11:39:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:39:07 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:39:19 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-11 11:39:22 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:39:30 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:39:44 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:39:51 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:40:05 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:40:13 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:40:27 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:40:34 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:40:36 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-11 11:40:49 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:40:57 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:41:13 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:41:21 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:41:37 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:41:45 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:42:02 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:42:10 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:42:24 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:42:32 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:42:48 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:42:55 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:43:10 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:43:13 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 11:43:18 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:43:20 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-11 11:43:27 +0200 | razetime | (~quassel@117.193.7.164) |
| 2022-04-11 11:43:31 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:43:39 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:43:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:44:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:44:15 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:44:22 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:44:36 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:44:44 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:44:59 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:45:06 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:45:21 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:45:29 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:45:44 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:45:52 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:46:06 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:46:14 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:46:29 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:46:47 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:47:02 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:47:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:47:24 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:47:32 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:47:46 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:47:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:48:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:48:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:48:32 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:48:39 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:48:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:49:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:49:15 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:49:23 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:49:37 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:49:45 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:50:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:50:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:50:26 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:50:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:50:48 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:50:55 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:51:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:51:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:51:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:51:41 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:51:57 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:52:04 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:52:19 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:52:27 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:52:42 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:52:49 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:53:03 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:53:11 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:53:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:53:32 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:53:47 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:53:55 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:54:10 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:54:18 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:54:32 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:54:36 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-04-11 11:54:40 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:54:56 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:55:04 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:55:19 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:55:26 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:55:43 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:55:50 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:56:07 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:56:10 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 11:56:14 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:56:30 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:56:38 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:56:52 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:56:53 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-11 11:56:59 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:57:14 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:57:21 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:57:38 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:57:46 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:58:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:58:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:58:23 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:58:31 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:58:48 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:58:53 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 11:58:56 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:59:11 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:59:17 +0200 | Natch | (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-04-11 11:59:19 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:59:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 11:59:40 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 11:59:54 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 12:00:02 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 12:00:18 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 12:00:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 12:00:41 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 12:00:49 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 12:01:04 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 12:01:11 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 12:01:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 12:01:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 12:03:06 +0200 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-04-11 12:03:07 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 12:06:29 +0200 | razetime | (~quassel@117.193.7.164) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-11 12:06:31 +0200 | Natch | (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) |
| 2022-04-11 12:06:43 +0200 | abastro | (~abab9579@192.249.26.208) |
| 2022-04-11 12:07:57 +0200 | epolanski | (uid312403@id-312403.helmsley.irccloud.com) |
| 2022-04-11 12:11:12 +0200 | Natch | (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) (Remote host closed the connection) |
| 2022-04-11 12:11:14 +0200 | mzvonar | (~mzvonar@alotvpn.vps.wbsprt.com) (Quit: Client closed) |
| 2022-04-11 12:15:05 +0200 | Natch | (~natch@c-67bae255.014-297-73746f25.bbcust.telenor.se) |
| 2022-04-11 12:17:21 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 12:17:55 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 12:18:50 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 12:19:51 +0200 | chenqisu1 | (~chenqisu1@183.217.200.239) (Quit: Leaving) |
| 2022-04-11 12:20:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-11 12:21:12 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 12:22:54 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-04-11 12:23:18 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-11 12:24:10 +0200 | pavonia | (~user@user/siracusa) (Read error: Connection reset by peer) |
| 2022-04-11 12:25:16 +0200 | kranius | (~pi@user/kranius) |
| 2022-04-11 12:25:55 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-11 12:28:49 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 12:28:49 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) |
| 2022-04-11 12:29:00 +0200 | dschrempf | (~dominik@92-249-159-213.pool.digikabel.hu) (Client Quit) |
| 2022-04-11 12:30:16 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-11 12:32:07 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 12:32:57 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-11 12:33:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 12:34:48 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-11 12:35:06 +0200 | pavonia | (~user@user/siracusa) |
| 2022-04-11 12:36:10 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-11 12:38:24 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Read error: Connection reset by peer) |
| 2022-04-11 12:38:47 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 12:41:03 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-11 12:41:36 +0200 | cfricke | (~cfricke@user/cfricke) |
| 2022-04-11 12:42:28 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 260 seconds) |
| 2022-04-11 12:43:16 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 12:43:31 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 12:44:05 +0200 | timCF | (~timCF@200-149-20-81.sta.estpak.ee) (Quit: leaving) |
| 2022-04-11 12:48:46 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 12:53:45 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 12:54:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 12:56:45 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 12:58:45 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 13:02:09 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 246 seconds) |
| 2022-04-11 13:02:49 +0200 | infinity0 | (~infinity0@185.112.146.113) |
| 2022-04-11 13:03:12 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-11 13:03:23 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 13:03:28 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 13:04:22 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 13:06:14 +0200 | xff0x | (~xff0x@125x102x200x106.ap125.ftth.ucom.ne.jp) (Ping timeout: 250 seconds) |
| 2022-04-11 13:07:44 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 13:07:56 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 13:08:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 13:09:00 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-04-11 13:11:39 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-04-11 13:12:48 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 13:13:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 13:17:44 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 248 seconds) |
| 2022-04-11 13:18:42 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 13:19:57 +0200 | mzvonar | (~mzvonar@alotvpn.vps.wbsprt.com) |
| 2022-04-11 13:20:08 +0200 | mzvonar | (~mzvonar@alotvpn.vps.wbsprt.com) (Client Quit) |
| 2022-04-11 13:23:09 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-11 13:25:52 +0200 | jespada | (~jespada@2a0c:5c84:1:4000::91c2) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-04-11 13:28:43 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 13:32:53 +0200 | anomal | (~anomal@87.227.196.109) (Remote host closed the connection) |
| 2022-04-11 13:33:54 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 13:35:42 +0200 | MajorBiscuit | (~MajorBisc@c-001-029-050.client.tudelft.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-11 13:35:42 +0200 | jespada | (~jespada@2a0c:5c84:1:4000::8dad) |
| 2022-04-11 13:36:35 +0200 | acidjnk | (~acidjnk@p200300d0c7049f6848ba0397e6d6589a.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-11 13:37:56 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-11 13:38:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-11 13:38:38 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 13:39:24 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-04-11 13:40:31 +0200 | obfusk | (~quassel@77-172-60-123.fixed.kpn.net) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2022-04-11 13:41:00 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 13:41:30 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 272 seconds) |
| 2022-04-11 13:42:50 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 13:43:29 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 13:47:08 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-11 13:48:42 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 13:48:42 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-04-11 13:50:00 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-11 13:51:51 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 13:53:07 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 13:55:23 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) |
| 2022-04-11 13:57:31 +0200 | MajorBiscuit | (~MajorBisc@c-001-029-050.client.tudelft.eduvpn.nl) |
| 2022-04-11 13:57:42 +0200 | andrey | (~andrey@p200300dbcf10d4000da31d4cf19671e4.dip0.t-ipconnect.de) |
| 2022-04-11 13:58:41 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 13:59:58 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) (Ping timeout: 250 seconds) |
| 2022-04-11 14:00:13 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2022-04-11 14:00:28 +0200 | andrey_ | (~andrey@p200300dbcf089700a418461232068800.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2022-04-11 14:01:03 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 14:01:19 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 14:01:26 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 14:01:42 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 14:01:47 +0200 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) (Quit: My Ex-Girlfriend once told me: I'm not a slut, I'm just popular) |
| 2022-04-11 14:01:50 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 14:02:04 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 14:02:11 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 14:02:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 14:02:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 14:02:47 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 14:02:51 +0200 | dka | (~code-is-a@ns3059207.ip-193-70-33.eu) |
| 2022-04-11 14:02:54 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 14:03:08 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 14:03:16 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 14:03:26 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 14:03:31 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 14:05:26 +0200 | akegalj | (~akegalj@93-138-88-63.adsl.net.t-com.hr) |
| 2022-04-11 14:06:00 +0200 | dextaa | (~dextaa@user/dextaa) (Quit: The Lounge - https://thelounge.chat) |
| 2022-04-11 14:06:27 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 260 seconds) |
| 2022-04-11 14:06:48 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-11 14:08:57 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 14:13:24 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 14:15:05 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-11 14:17:41 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-11 14:18:37 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 14:20:46 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-11 14:21:47 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 240 seconds) |
| 2022-04-11 14:22:53 +0200 | bahamas | (~lucian@92.85.13.88) |
| 2022-04-11 14:23:07 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 240 seconds) |
| 2022-04-11 14:23:30 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 14:24:56 +0200 | ishaan | (~ishaan@122.161.51.93) (Ping timeout: 248 seconds) |
| 2022-04-11 14:26:59 +0200 | ishaan | (~ishaan@122.161.52.79) |
| 2022-04-11 14:28:36 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 14:31:39 +0200 | acidjnk | (~acidjnk@p200300d0c7049f6848ba0397e6d6589a.dip0.t-ipconnect.de) |
| 2022-04-11 14:32:13 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 14:33:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-11 14:36:35 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-04-11 14:38:35 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 14:39:43 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-11 14:43:04 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-11 14:44:10 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 250 seconds) |
| 2022-04-11 14:47:53 +0200 | AlexNoo_ | AlexNoo |
| 2022-04-11 14:48:02 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-11 14:48:07 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) (Ping timeout: 240 seconds) |
| 2022-04-11 14:48:32 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 14:50:54 +0200 | xff0x | (~xff0x@om126254189077.33.openmobile.ne.jp) |
| 2022-04-11 14:53:16 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 250 seconds) |
| 2022-04-11 14:57:16 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) |
| 2022-04-11 14:58:00 +0200 | xff0x | (~xff0x@om126254189077.33.openmobile.ne.jp) (Ping timeout: 248 seconds) |
| 2022-04-11 14:58:31 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 14:59:36 +0200 | acidjnk | (~acidjnk@p200300d0c7049f6848ba0397e6d6589a.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-11 15:00:09 +0200 | xff0x | (~xff0x@i121-117-52-147.s41.a013.ap.plala.or.jp) |
| 2022-04-11 15:01:12 +0200 | bahamas | (~lucian@92.85.13.88) (Ping timeout: 248 seconds) |
| 2022-04-11 15:02:17 +0200 | bahamas | (~lucian@92.85.13.88) |
| 2022-04-11 15:02:40 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-11 15:03:20 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 248 seconds) |
| 2022-04-11 15:06:17 +0200 | shriekingnoise | (~shrieking@201.231.16.156) |
| 2022-04-11 15:07:15 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 256 seconds) |
| 2022-04-11 15:08:30 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 15:11:49 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-11 15:12:15 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-04-11 15:13:29 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 15:14:37 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-04-11 15:18:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 15:22:55 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-11 15:23:07 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 256 seconds) |
| 2022-04-11 15:24:05 +0200 | zebrag | (~chris@user/zebrag) |
| 2022-04-11 15:25:43 +0200 | frost | (~frost@user/frost) (Quit: Client closed) |
| 2022-04-11 15:25:44 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 15:26:31 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) (Ping timeout: 256 seconds) |
| 2022-04-11 15:26:33 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 15:27:15 +0200 | mattil | (~mattil@helsinki.portalify.com) (Remote host closed the connection) |
| 2022-04-11 15:28:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 15:31:36 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-11 15:32:39 +0200 | Inst | (~Liam@c-98-208-218-119.hsd1.fl.comcast.net) (Ping timeout: 246 seconds) |
| 2022-04-11 15:33:00 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 246 seconds) |
| 2022-04-11 15:35:01 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-11 15:36:02 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2022-04-11 15:36:26 +0200 | Chai-T-Rex | (~ChaiTRex@user/chaitrex) |
| 2022-04-11 15:37:27 +0200 | akegalj | (~akegalj@93-138-88-63.adsl.net.t-com.hr) (Quit: leaving) |
| 2022-04-11 15:38:28 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 15:39:18 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-11 15:41:35 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-04-11 15:41:35 +0200 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-04-11 15:41:35 +0200 | wroathe | (~wroathe@user/wroathe) |
| 2022-04-11 15:42:57 +0200 | bahamas | (~lucian@92.85.13.88) (Ping timeout: 256 seconds) |
| 2022-04-11 15:43:44 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 15:44:28 +0200 | xaotuk | (~sasha@2a06:5b00:15fe:9b00::1) |
| 2022-04-11 15:46:39 +0200 | asthasr | (~asthasr@208.80.78.154) |
| 2022-04-11 15:48:26 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) |
| 2022-04-11 15:51:53 +0200 | notzmv | (~zmv@user/notzmv) (Ping timeout: 248 seconds) |
| 2022-04-11 15:52:39 +0200 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-04-11 15:55:46 +0200 | seydar | (~seydar@154-27-113-252.starry-inc.net) (Ping timeout: 272 seconds) |
| 2022-04-11 15:58:15 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) (Ping timeout: 256 seconds) |
| 2022-04-11 15:59:35 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 16:05:07 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Ping timeout: 240 seconds) |
| 2022-04-11 16:06:27 +0200 | ystael | (~ystael@user/ystael) (Quit: Lost terminal) |
| 2022-04-11 16:07:33 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-11 16:09:03 +0200 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 246 seconds) |
| 2022-04-11 16:09:14 +0200 | ystael | (~ystael@user/ystael) |
| 2022-04-11 16:09:37 +0200 | anomal | (~anomal@87.227.196.109) |
| 2022-04-11 16:10:07 +0200 | cdman | (~dcm@user/dmc/x-4369397) (Quit: Leaving) |
| 2022-04-11 16:11:49 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-11 16:11:51 +0200 | redb | (~nmh@136.49.49.211) (Ping timeout: 246 seconds) |
| 2022-04-11 16:11:54 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-11 16:12:16 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 16:12:41 +0200 | redb | (~nmh@136.49.49.211) |
| 2022-04-11 16:12:49 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 16:13:43 +0200 | slack1256 | (~slack1256@191.125.227.92) |
| 2022-04-11 16:15:07 +0200 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2022-04-11 16:15:46 +0200 | drlkf | (~drlkf@2001:41d0:a:62bb::1) (Ping timeout: 245 seconds) |
| 2022-04-11 16:16:02 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) (Ping timeout: 250 seconds) |
| 2022-04-11 16:16:04 +0200 | drlkf | (~drlkf@2001:41d0:a:62bb::1) |
| 2022-04-11 16:16:27 +0200 | Putonlalla | (~sapekiis@it-cyan.it.jyu.fi) |
| 2022-04-11 16:16:42 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) (Read error: Connection reset by peer) |
| 2022-04-11 16:18:34 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-04-11 16:19:19 +0200 | djanatyn | (~djanatyn@vps-7f49a6b0.vps.ovh.ca) (Ping timeout: 250 seconds) |
| 2022-04-11 16:20:26 +0200 | djanatyn | (~djanatyn@vps-7f49a6b0.vps.ovh.ca) |
| 2022-04-11 16:20:40 +0200 | ubert | (~Thunderbi@p200300ecdf15887cf0afe8e10c270571.dip0.t-ipconnect.de) |
| 2022-04-11 16:20:53 +0200 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-04-11 16:24:03 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-11 16:27:44 +0200 | califax- | (~califax@user/califx) |
| 2022-04-11 16:27:55 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2022-04-11 16:28:55 +0200 | califax- | califax |
| 2022-04-11 16:29:12 +0200 | ubert | (~Thunderbi@p200300ecdf15887cf0afe8e10c270571.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2022-04-11 16:30:27 +0200 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) (Remote host closed the connection) |
| 2022-04-11 16:30:48 +0200 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) |
| 2022-04-11 16:34:45 +0200 | razetime | (~quassel@117.254.35.75) |
| 2022-04-11 16:35:53 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-11 16:36:15 +0200 | califax | (~califax@user/califx) (Ping timeout: 240 seconds) |
| 2022-04-11 16:36:33 +0200 | califax | (~califax@user/califx) |
| 2022-04-11 16:38:07 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2022-04-11 16:38:27 +0200 | abastro | (~abab9579@192.249.26.208) (Ping timeout: 240 seconds) |
| 2022-04-11 16:40:18 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-11 16:43:12 +0200 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-04-11 16:45:06 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2022-04-11 16:45:52 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-11 16:46:53 +0200 | motherfsck | (~motherfsc@user/motherfsck) (Quit: quit) |
| 2022-04-11 16:48:15 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-11 16:48:35 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-11 16:48:36 +0200 | califax | (~califax@user/califx) |
| 2022-04-11 16:49:13 +0200 | motherfsck | (~motherfsc@user/motherfsck) |
| 2022-04-11 16:49:39 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-11 16:50:31 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-11 16:50:48 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 260 seconds) |
| 2022-04-11 16:51:18 +0200 | Akiva | (~Akiva@user/Akiva) |
| 2022-04-11 16:51:21 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-11 16:52:15 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-11 16:57:00 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-04-11 17:05:31 +0200 | <c_wraith> | anomal: IO is the entry point - usually a value named main. (there are compiler args to tell it to use something else) |
| 2022-04-11 17:07:11 +0200 | <c_wraith> | anomal: so the model is that it executes whateverIO actions main consists of. evaluate whatever is necessary |
| 2022-04-11 17:07:28 +0200 | <c_wraith> | err. it evaluates expressions as needed for those IO actions |
| 2022-04-11 17:10:12 +0200 | Midjak | (~Midjak@94.33.136.77.rev.sfr.net) |
| 2022-04-11 17:11:13 +0200 | Midjak | (~Midjak@94.33.136.77.rev.sfr.net) (Read error: Connection reset by peer) |
| 2022-04-11 17:14:16 +0200 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2022-04-11 17:16:46 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 17:17:52 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 17:19:24 +0200 | razetime | (~quassel@117.254.35.75) (Ping timeout: 246 seconds) |
| 2022-04-11 17:24:53 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-04-11 17:29:25 +0200 | slac61813 | (~slack1256@186.11.45.244) |
| 2022-04-11 17:29:35 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 17:30:05 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 17:31:18 +0200 | slack1256 | (~slack1256@191.125.227.92) (Ping timeout: 246 seconds) |
| 2022-04-11 17:32:22 +0200 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-04-11 17:33:44 +0200 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-04-11 17:33:52 +0200 | Guest53 | (~Guest53@190.192.80.102) |
| 2022-04-11 17:34:10 +0200 | <Guest53> | Hi to all, |
| 2022-04-11 17:35:30 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-04-11 17:35:37 +0200 | <Guest53> | I would like to ask how i can get a transparent xmobar. I tryed setting alpha = 0, in the config file but nothing happens. Thanks |
| 2022-04-11 17:35:49 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:7d20:fd01:6bc9:aa2f) |
| 2022-04-11 17:36:50 +0200 | <segfaultfizzbuzz> | rust has a library called serde where i can transform for example string json <-> MyDataType and that transformation is automatically generated based on a simple annotation. does haskell have something like this? |
| 2022-04-11 17:37:09 +0200 | <segfaultfizzbuzz> | so for example i might want to have MyVec2D :: Int Int |
| 2022-04-11 17:37:27 +0200 | <segfaultfizzbuzz> | and i want something to automatically generate a String -> MyVec2D (the reverse i suppose comes from Show) |
| 2022-04-11 17:37:52 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-11 17:40:11 +0200 | <tomsmeding> | Guest53: try #xmonad |
| 2022-04-11 17:40:30 +0200 | <segfaultfizzbuzz> | that is to say i get both serialization and deserialization in rust and i am looking for this in haskell |
| 2022-04-11 17:40:33 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:6405:6ef5:bc9c:95b8) (Quit: WeeChat 2.8) |
| 2022-04-11 17:41:17 +0200 | <tomsmeding> | segfaultfizzbuzz: are you looking for this? https://hackage.haskell.org/package/aeson-2.0.3.0/docs/Data-Aeson-TH.html |
| 2022-04-11 17:42:00 +0200 | <Guest53> | Ok, thanks |
| 2022-04-11 17:43:22 +0200 | <segfaultfizzbuzz> | doesn't have to be json but yeah if it derives a serialization/deserialization routine then that could work |
| 2022-04-11 17:43:45 +0200 | <segfaultfizzbuzz> | uh requires templatehaskell,... i've seen some people say to stay away from templatehaskell...?? |
| 2022-04-11 17:43:47 +0200 | <tomsmeding> | that derives instances for json (de)serialisation with the aeson types |
| 2022-04-11 17:43:51 +0200 | <tomsmeding> | TH is fine |
| 2022-04-11 17:44:03 +0200 | <tomsmeding> | it's kind of like a rust macro |
| 2022-04-11 17:44:07 +0200 | <tomsmeding> | a proc-macro |
| 2022-04-11 17:44:57 +0200 | <tomsmeding> | that does mean that GHC's dependency detection algorithm is less strong (which results in more recompilation of modules containing TH even if that's not necessary -- though people are working on improving this currently) |
| 2022-04-11 17:45:29 +0200 | <tomsmeding> | and TH makes compilation slow, because you effectively do compilation twice (though not fully the first time), to compile the Haskell code in the splice to something that can be run |
| 2022-04-11 17:45:40 +0200 | <tomsmeding> | perhaps you heard those things? |
| 2022-04-11 17:47:28 +0200 | <maerwald[m]> | And breaks cross compilation? |
| 2022-04-11 17:47:40 +0200 | <segfaultfizzbuzz> | you overestimate my sophistication lol. i am trying to write my first "complete" program in haskell ... tictactoe |
| 2022-04-11 17:48:01 +0200 | <tomsmeding> | ah lol |
| 2022-04-11 17:48:23 +0200 | <segfaultfizzbuzz> | can i make ghci watch a file or dir and automatically reload |
| 2022-04-11 17:48:25 +0200 | <tomsmeding> | right what maerwald[m], it makes cross-compilation significantly more difficult |
| 2022-04-11 17:48:31 +0200 | <segfaultfizzbuzz> | so i have a "live" terminal |
| 2022-04-11 17:48:51 +0200 | <tomsmeding> | segfaultfizzbuzz: no, though there is HLS |
| 2022-04-11 17:49:31 +0200 | <tomsmeding> | segfaultfizzbuzz: oh, if you're not looking for json specifically, what about Show and Read |
| 2022-04-11 17:49:37 +0200 | <tomsmeding> | > read "4" :: Int |
| 2022-04-11 17:49:39 +0200 | <lambdabot> | 4 |
| 2022-04-11 17:49:52 +0200 | <segfaultfizzbuzz> | ah, Read might be right, but does it handle compound types? |
| 2022-04-11 17:50:12 +0200 | <segfaultfizzbuzz> | or more complex types that is |
| 2022-04-11 17:50:13 +0200 | <tomsmeding> | @let data Food = Ham Int | Cheese Bool [Food] |
| 2022-04-11 17:50:15 +0200 | <lambdabot> | Defined. |
| 2022-04-11 17:50:20 +0200 | <tomsmeding> | @let data Food = Ham Int | Cheese Bool [Food] deriving (Show, Read) -- sorry |
| 2022-04-11 17:50:20 +0200 | <lambdabot> | /sandbox/tmp/.L.hs:265:1: error: |
| 2022-04-11 17:50:20 +0200 | <lambdabot> | Multiple declarations of ‘Food’ |
| 2022-04-11 17:50:20 +0200 | <lambdabot> | Declared at: /sandbox/tmp/.L.hs:262:1 |
| 2022-04-11 17:50:25 +0200 | <tomsmeding> | @reset |
| 2022-04-11 17:50:25 +0200 | <lambdabot> | Say again? |
| 2022-04-11 17:50:29 +0200 | <tomsmeding> | ... |
| 2022-04-11 17:50:33 +0200 | <dolio> | @undefine |
| 2022-04-11 17:50:33 +0200 | <lambdabot> | Undefined. |
| 2022-04-11 17:50:39 +0200 | <tomsmeding> | @let data Food = Ham Int | Cheese Bool [Food] deriving (Show, Read) |
| 2022-04-11 17:50:40 +0200 | <lambdabot> | Defined. |
| 2022-04-11 17:50:50 +0200 | <tomsmeding> | > show (Cheese True [Ham 4, Ham 3]) |
| 2022-04-11 17:50:51 +0200 | <lambdabot> | "Cheese True [Ham 4,Ham 3]" |
| 2022-04-11 17:50:56 +0200 | <tomsmeding> | > read (show (Cheese True [Ham 4, Ham 3])) |
| 2022-04-11 17:50:57 +0200 | <lambdabot> | *Exception: Prelude.read: no parse |
| 2022-04-11 17:51:01 +0200 | <tomsmeding> | > read (show (Cheese True [Ham 4, Ham 3])) :: Food |
| 2022-04-11 17:51:03 +0200 | <lambdabot> | Cheese True [Ham 4,Ham 3] |
| 2022-04-11 17:51:10 +0200 | <tomsmeding> | there's also your first pitfall: |
| 2022-04-11 17:51:11 +0200 | <tomsmeding> | :t read |
| 2022-04-11 17:51:12 +0200 | <lambdabot> | Read a => String -> a |
| 2022-04-11 17:51:30 +0200 | <tomsmeding> | you need to make sure the compiler knows what that 'a' is, because otherwise it's not going to be able to parse |
| 2022-04-11 17:51:39 +0200 | <tomsmeding> | (also thanks dolio) |
| 2022-04-11 17:51:58 +0200 | Inst | (~Liam@2601:6c4:4080:3f80:cc5c:b097:5fb3:1fb3) |
| 2022-04-11 17:52:00 +0200 | <tomsmeding> | segfaultfizzbuzz: so yes it handles whatever :) |
| 2022-04-11 17:52:19 +0200 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 3.4.1) |
| 2022-04-11 17:52:31 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-04-11 17:52:40 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-11 17:52:41 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-11 17:54:28 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 17:55:43 +0200 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-04-11 17:56:43 +0200 | axeman | (~quassel@2a02:8109:a380:78:4c76:98a1:a091:9096) |
| 2022-04-11 17:57:21 +0200 | <c_wraith> | fwiw, the closest thing we have to serde is Generic. it's not really intended for exactly the same use case, but it can work |
| 2022-04-11 17:57:49 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 256 seconds) |
| 2022-04-11 17:57:50 +0200 | <tomsmeding> | (but not sure if one should start with Generic -- or TH, for that matter -- one one's first foray into Haskell) |
| 2022-04-11 17:58:14 +0200 | <c_wraith> | no, but it's what lets things like aeson provide automatic instances |
| 2022-04-11 17:58:14 +0200 | <segfaultfizzbuzz> | i will start with Read and go from there thanks :) |
| 2022-04-11 18:00:25 +0200 | <c_wraith> | it's a lot less useful in Haskell, though, due to our propensity for putting functions inside data structures. there's just no way to serialize them (at least in normal cases). it's much less common to encounter that in rust, so you're a lot more likely to be able to serialize an arbitrary data structure |
| 2022-04-11 18:01:04 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-11 18:01:28 +0200 | notzmv | (~zmv@user/notzmv) |
| 2022-04-11 18:04:47 +0200 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-11 18:04:48 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:7d20:fd01:6bc9:aa2f) (Ping timeout: 250 seconds) |
| 2022-04-11 18:06:03 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Ping timeout: 260 seconds) |
| 2022-04-11 18:08:16 +0200 | <lechner> | Hi, Haddock is locally producing some local file references for MathJax that include the stray string "--hyperlink-source". Has anyone seen this before? Here is the diff http://paste.debian.net/1237615/ |
| 2022-04-11 18:08:38 +0200 | <lechner> | Also good http://paste.debian.net/1237614/ and bad http://paste.debian.net/1237613/ |
| 2022-04-11 18:09:47 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 240 seconds) |
| 2022-04-11 18:12:22 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-04-11 18:13:08 +0200 | Guest53 | (~Guest53@190.192.80.102) (Quit: Client closed) |
| 2022-04-11 18:13:44 +0200 | little_mac | (~little_ma@2601:410:4300:3ce0::fa0b) |
| 2022-04-11 18:16:51 +0200 | <c_wraith> | that's an argument that should be passed to haddock. I guess it's getting passed to the mathjax renderer and it's interpreting it as part of the output file name |
| 2022-04-11 18:19:13 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-11 18:21:11 +0200 | <lechner> | c_wraith: Thanks! Where would I look for such a bug, please? |
| 2022-04-11 18:21:47 +0200 | <c_wraith> | I'm not sure if that's a cabal bug or a haddock bug. I'd start with haddock, though |
| 2022-04-11 18:23:33 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:7d20:fd01:6bc9:aa2f) |
| 2022-04-11 18:23:53 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-04-11 18:24:36 +0200 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 272 seconds) |
| 2022-04-11 18:25:29 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-11 18:26:08 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-11 18:35:47 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Ping timeout: 256 seconds) |
| 2022-04-11 18:36:05 +0200 | <lechner> | c_wraith: thanks! |
| 2022-04-11 18:36:51 +0200 | mbuf | (~Shakthi@182.64.150.20) (Quit: Leaving) |
| 2022-04-11 18:37:58 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) |
| 2022-04-11 18:38:27 +0200 | alx741 | (~alx741@host-181-198-243-150.netlife.ec) (Client Quit) |
| 2022-04-11 18:40:42 +0200 | xkuru | (~xkuru@user/xkuru) |
| 2022-04-11 18:41:40 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 18:42:12 +0200 | econo | (uid147250@user/econo) |
| 2022-04-11 18:43:44 +0200 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-11 18:44:05 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-11 18:45:06 +0200 | MajorBiscuit | (~MajorBisc@c-001-029-050.client.tudelft.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-04-11 18:45:08 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-11 18:45:18 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) |
| 2022-04-11 18:45:37 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-11 18:45:49 +0200 | dextaa | (~dextaa@user/dextaa) |
| 2022-04-11 18:47:16 +0200 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-04-11 18:47:35 +0200 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-04-11 18:48:25 +0200 | ccntrq | (~Thunderbi@2a01:e34:eccb:b060:f5d8:ca8a:1af1:10d7) (Quit: ccntrq) |
| 2022-04-11 18:49:42 +0200 | coot | (~coot@213.134.190.95) (Remote host closed the connection) |
| 2022-04-11 18:50:08 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-11 18:51:03 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) |
| 2022-04-11 18:51:48 +0200 | vysn | (~vysn@user/vysn) (Ping timeout: 240 seconds) |
| 2022-04-11 18:52:56 +0200 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2022-04-11 18:53:42 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2022-04-11 18:57:10 +0200 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-04-11 18:59:28 +0200 | bahamas | (~lucian@84.232.140.158) |
| 2022-04-11 19:10:40 +0200 | axeman | (~quassel@2a02:8109:a380:78:4c76:98a1:a091:9096) (Ping timeout: 250 seconds) |
| 2022-04-11 19:12:54 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) (Quit: Leaving) |
| 2022-04-11 19:13:09 +0200 | Cale | (~cale@cpef48e38ee8583-cm30b7d4b3fc20.cpe.net.cable.rogers.com) |
| 2022-04-11 19:13:55 +0200 | Floofy | (~Floofeus@2a02:6b64:f147:0:186:8bed:1973:c563) (Read error: Connection reset by peer) |
| 2022-04-11 19:20:04 +0200 | segfaultfizzbuzz | (~segfaultf@2602:306:cd3c:9350:7d20:fd01:6bc9:aa2f) (Quit: segfaultfizzbuzz) |
| 2022-04-11 19:21:26 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-11 19:21:26 +0200 | Vajb | (~Vajb@2001:999:62:aa00:7f5a:4f10:c894:3813) (Read error: Connection reset by peer) |
| 2022-04-11 19:21:47 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-11 19:23:14 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-11 19:23:48 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-11 19:24:32 +0200 | sagax | (~sagax_nb@user/sagax) (Ping timeout: 250 seconds) |
| 2022-04-11 19:24:53 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-11 19:25:35 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-11 19:25:56 +0200 | odnes | (~odnes@5-203-221-3.pat.nym.cosmote.net) (Quit: Leaving) |
| 2022-04-11 19:29:40 +0200 | werneta | (~werneta@137.79.198.1) |
| 2022-04-11 19:29:52 +0200 | werneta | (~werneta@137.79.198.1) (Client Quit) |
| 2022-04-11 19:32:22 +0200 | gurkenglas | (~gurkengla@dslb-178-012-018-212.178.012.pools.vodafone-ip.de) |
| 2022-04-11 19:32:47 +0200 | axeman | (~quassel@2a02:8109:a380:78:90d3:980b:ec7e:658e) |
| 2022-04-11 19:34:04 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) |
| 2022-04-11 19:38:49 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-11 19:39:08 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-11 19:46:52 +0200 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-04-11 19:49:02 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Read error: Connection reset by peer) |
| 2022-04-11 19:53:20 +0200 | tito | (tito@tilde.team) |
| 2022-04-11 19:53:22 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-11 20:04:36 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.144) (Ping timeout: 246 seconds) |
| 2022-04-11 20:05:10 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-11 20:09:11 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-11 20:09:22 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Client Quit) |
| 2022-04-11 20:09:31 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-11 20:21:45 +0200 | acidjnk | (~acidjnk@p200300d0c7049f6848ba0397e6d6589a.dip0.t-ipconnect.de) |
| 2022-04-11 20:23:20 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) |
| 2022-04-11 20:24:52 +0200 | dextaa | (~dextaa@user/dextaa) (Remote host closed the connection) |
| 2022-04-11 20:27:34 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 20:29:08 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-11 20:31:59 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-11 20:32:56 +0200 | evanextreme | (~evan@2604:4080:1000:8bf0:c7a1:5d95:53a6:334d) |
| 2022-04-11 20:34:10 +0200 | slack1256 | (~slack1256@191.126.99.223) |
| 2022-04-11 20:34:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 20:36:07 +0200 | slac61813 | (~slack1256@186.11.45.244) (Ping timeout: 240 seconds) |
| 2022-04-11 20:38:51 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-04-11 20:39:03 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-11 20:39:35 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-04-11 20:40:39 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) (Remote host closed the connection) |
| 2022-04-11 20:46:56 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-11 20:50:31 +0200 | Vajb | (~Vajb@hag-jnsbng11-58c3a8-176.dhcp.inet.fi) |
| 2022-04-11 20:50:33 +0200 | axeman | (~quassel@2a02:8109:a380:78:90d3:980b:ec7e:658e) (Ping timeout: 248 seconds) |
| 2022-04-11 20:56:11 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-11 20:57:14 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-04-11 21:01:08 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-11 21:04:31 +0200 | axeman | (~quassel@ip5f5aecfe.dynamic.kabel-deutschland.de) |
| 2022-04-11 21:06:12 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 246 seconds) |
| 2022-04-11 21:07:41 +0200 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-04-11 21:08:07 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-11 21:08:25 +0200 | dhouthoo | (~dhouthoo@178-117-36-167.access.telenet.be) (Quit: WeeChat 3.5) |
| 2022-04-11 21:09:22 +0200 | coot | (~coot@213.134.190.95) |
| 2022-04-11 21:10:27 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 240 seconds) |
| 2022-04-11 21:13:56 +0200 | Guest53 | (~Guest53@190.192.80.102) |
| 2022-04-11 21:15:43 +0200 | Pickchea | (~private@user/pickchea) |
| 2022-04-11 21:19:20 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-11 21:23:07 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-04-11 21:24:07 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-04-11 21:24:23 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:857d:cc6f:43a1:a03f) |
| 2022-04-11 21:24:35 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) (Ping timeout: 240 seconds) |
| 2022-04-11 21:24:56 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) (Remote host closed the connection) |
| 2022-04-11 21:25:28 +0200 | jpds | (~jpds@gateway/tor-sasl/jpds) |
| 2022-04-11 21:25:35 +0200 | mtjm | (~mutantmel@2604:a880:2:d0::208b:d001) |
| 2022-04-11 21:26:27 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Remote host closed the connection) |
| 2022-04-11 21:29:28 +0200 | ubert | (~Thunderbi@p200300ecdf15887cf0afe8e10c270571.dip0.t-ipconnect.de) |
| 2022-04-11 21:32:43 +0200 | littlebobeep | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-04-11 21:33:21 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 21:35:28 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) |
| 2022-04-11 21:35:30 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 21:37:00 +0200 | bahamas | (~lucian@84.232.140.158) (Ping timeout: 246 seconds) |
| 2022-04-11 21:37:06 +0200 | raehik1 | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-04-11 21:38:00 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) (Ping timeout: 248 seconds) |
| 2022-04-11 21:38:42 +0200 | tomsmeding | (~tomsmedin@2a01:4f8:c0c:5e5e::2) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-04-11 21:39:26 +0200 | tomsmeding | (~tomsmedin@static.21.109.88.23.clients.your-server.de) |
| 2022-04-11 21:39:47 +0200 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-04-11 21:39:53 +0200 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Remote host closed the connection) |
| 2022-04-11 21:40:08 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2022-04-11 21:40:18 +0200 | Macbethwin | (~chargen@D964062A.static.ziggozakelijk.nl) (Ping timeout: 272 seconds) |
| 2022-04-11 21:52:21 +0200 | ircbrowse_tom | (~ircbrowse@2a01:4f8:1c1c:9319::1) |
| 2022-04-11 21:52:22 +0200 | Server | +Cnt |
| 2022-04-11 21:52:26 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 21:52:43 +0200 | sagax | (~sagax_nb@user/sagax) |
| 2022-04-11 21:53:01 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 21:53:34 +0200 | rawley | (~rawley@142.99.241.242) |
| 2022-04-11 21:54:44 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |
| 2022-04-11 21:54:56 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-04-11 21:55:16 +0200 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-04-11 21:57:23 +0200 | ubert | (~Thunderbi@p200300ecdf15887cf0afe8e10c270571.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-04-11 21:59:19 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 21:59:20 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) (Ping timeout: 248 seconds) |
| 2022-04-11 21:59:34 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 21:59:42 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 21:59:56 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:00:04 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:00:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:00:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:00:40 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:00:47 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:01:02 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:01:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:01:18 +0200 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-04-11 22:01:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:01:32 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:01:47 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:01:55 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:02:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:02:17 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:02:31 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:02:38 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:02:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:03:00 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:03:14 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:03:22 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:03:36 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:03:44 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:03:58 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:04:05 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:04:19 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:04:27 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:04:35 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-04-11 22:04:41 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:04:48 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:05:04 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:05:10 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:05:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:05:33 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:05:46 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:05:54 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:06:07 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:06:15 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:06:30 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:06:37 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:06:51 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:06:53 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-11 22:06:58 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:07:13 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:07:17 +0200 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-04-11 22:07:21 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:07:27 +0200 | alp_ | (~alp@user/alp) (Ping timeout: 240 seconds) |
| 2022-04-11 22:07:29 +0200 | tomku | (~tomku@user/tomku) (Ping timeout: 256 seconds) |
| 2022-04-11 22:07:35 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:07:42 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:07:57 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:08:04 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:08:19 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:08:26 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:08:40 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:08:47 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:09:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:09:09 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:09:24 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:09:31 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:09:45 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:09:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:10:07 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:10:15 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:10:29 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:10:36 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:10:51 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:10:58 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:11:12 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:11:20 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:11:35 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:11:41 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:11:55 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:12:03 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:12:18 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:12:25 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:12:38 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:12:46 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:13:01 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:13:08 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:13:22 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:13:30 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:13:45 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:13:52 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:13:53 +0200 | tomku | (~tomku@user/tomku) |
| 2022-04-11 22:14:06 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:14:13 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:14:27 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 22:14:35 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Remote host closed the connection) |
| 2022-04-11 22:18:53 +0200 | neurocyte8614492 | (~neurocyte@IP-212232090038.dynamic.medianet-world.de) |
| 2022-04-11 22:18:53 +0200 | neurocyte8614492 | (~neurocyte@IP-212232090038.dynamic.medianet-world.de) (Changing host) |
| 2022-04-11 22:18:53 +0200 | neurocyte8614492 | (~neurocyte@user/neurocyte) |
| 2022-04-11 22:21:58 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) (Read error: Connection reset by peer) |
| 2022-04-11 22:22:08 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-04-11 22:22:21 +0200 | kaph | (~kaph@dynamic-adsl-78-12-162-98.clienti.tiscali.it) |
| 2022-04-11 22:22:56 +0200 | Hanicef | (~gustaf@81-229-9-108-no92.tbcn.telia.com) (Quit: leaving) |
| 2022-04-11 22:23:01 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 256 seconds) |
| 2022-04-11 22:23:26 +0200 | Lord_of_Life_ | Lord_of_Life |
| 2022-04-11 22:24:42 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-04-11 22:30:52 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-04-11 22:32:36 +0200 | axeman | (~quassel@ip5f5aecfe.dynamic.kabel-deutschland.de) (Ping timeout: 250 seconds) |
| 2022-04-11 22:36:58 +0200 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-04-11 22:39:27 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:857d:cc6f:43a1:a03f) (Ping timeout: 240 seconds) |
| 2022-04-11 22:41:54 +0200 | slac36439 | (~slack1256@186.11.47.244) |
| 2022-04-11 22:43:51 +0200 | slack1256 | (~slack1256@191.126.99.223) (Ping timeout: 246 seconds) |
| 2022-04-11 22:49:03 +0200 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-04-11 22:49:33 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 260 seconds) |
| 2022-04-11 22:52:09 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) |
| 2022-04-11 22:54:46 +0200 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Remote host closed the connection) |
| 2022-04-11 22:54:59 +0200 | Guest53 | (~Guest53@190.192.80.102) (Quit: Client closed) |
| 2022-04-11 22:55:38 +0200 | michalz | (~michalz@185.246.204.101) (Remote host closed the connection) |
| 2022-04-11 22:57:32 +0200 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2022-04-11 22:57:49 +0200 | vicfred | (~vicfred@user/vicfred) |
| 2022-04-11 22:57:50 +0200 | kmein | (~weechat@user/kmein) |
| 2022-04-11 22:57:59 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 23:00:00 +0200 | wolfshappen | (~waff@irc.furworks.de) (Quit: later) |
| 2022-04-11 23:00:23 +0200 | wolfshappen | (~waff@irc.furworks.de) |
| 2022-04-11 23:01:56 +0200 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-04-11 23:02:41 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Ping timeout: 256 seconds) |
| 2022-04-11 23:06:55 +0200 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 240 seconds) |
| 2022-04-11 23:09:15 +0200 | ec | (~ec@gateway/tor-sasl/ec) |
| 2022-04-11 23:10:03 +0200 | haskellberry | (~haskellbe@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 256 seconds) |
| 2022-04-11 23:15:11 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) |
| 2022-04-11 23:15:31 +0200 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-04-11 23:18:33 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) |
| 2022-04-11 23:20:06 +0200 | rawley | (~rawley@142.99.241.242) (Remote host closed the connection) |
| 2022-04-11 23:21:21 +0200 | echoone | (~echoone@2a02:8109:a1c0:5d05:21a1:345:a334:6dac) |
| 2022-04-11 23:24:07 +0200 | <echoone> | Anyone familiar with https://hackage.haskell.org/package/io-streams-1.5.2.1/docs/System-IO-Streams-Process.html#v:runIn… ? I'm wondering if I have to "close" the streams that I get from this function. But there is no close function for streams, so I am confused. |
| 2022-04-11 23:29:31 +0200 | <monochrom> | I haven't used it either, but judging from the docs: |
| 2022-04-11 23:30:11 +0200 | <monochrom> | 1. For OutputStream, you indicate "I'm done" with `write Nothing s`. |
| 2022-04-11 23:30:30 +0200 | <monochrom> | 2. For InputStream, I guess you just chill out and let GC happen. |
| 2022-04-11 23:31:16 +0200 | <echoone> | OK. My impression is that I should not even worry about it. |
| 2022-04-11 23:32:07 +0200 | <echoone> | If I terminate the process, I suppose it will clean things up. |
| 2022-04-11 23:34:12 +0200 | merijn | (~merijn@c-001-001-001.client.esciencecenter.eduvpn.nl) |
| 2022-04-11 23:34:15 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2022-04-11 23:34:35 +0200 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-04-11 23:37:49 +0200 | son0p | (~ff@181.136.122.143) (Ping timeout: 256 seconds) |
| 2022-04-11 23:41:54 +0200 | jgeerds | (~jgeerds@d5364b87.access.ecotel.net) (Ping timeout: 272 seconds) |
| 2022-04-11 23:43:19 +0200 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-04-11 23:43:49 +0200 | MajorBiscuit | (~MajorBisc@83.22.32.182.ipv4.supernova.orange.pl) (Ping timeout: 272 seconds) |
| 2022-04-11 23:43:57 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.20) |
| 2022-04-11 23:45:47 +0200 | eggplantade | (~Eggplanta@108-201-191-115.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2022-04-11 23:46:11 +0200 | <dmj`> | echoone: there is a `close` on both InputStream and OutputStream, its in base, under GHC.IO.Device.IODevice :: close a -> IO () typeclass |
| 2022-04-11 23:46:53 +0200 | lavaman | (~lavaman@c-174-63-118-52.hsd1.ma.comcast.net) (Ping timeout: 256 seconds) |
| 2022-04-11 23:48:52 +0200 | deadmarshal_ | (~deadmarsh@95.38.112.20) (Ping timeout: 272 seconds) |
| 2022-04-11 23:49:13 +0200 | <monochrom> | Oh! Missed those instances. Yeah, use that. |
| 2022-04-11 23:51:24 +0200 | <echoone> | OK. Let's try that. |
| 2022-04-11 23:59:55 +0200 | yauhsien | (~yauhsien@61-231-57-22.dynamic-ip.hinet.net) |