| 2022-03-12 00:02:32 +0100 | cyphase | (~cyphase@user/cyphase) (Ping timeout: 252 seconds) |
| 2022-03-12 00:02:51 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-12 00:06:03 +0100 | habib | (~textual@217.146.83.233) (Quit: Textual IRC Client: www.textualapp.com) |
| 2022-03-12 00:06:20 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-12 00:06:22 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-12 00:06:29 +0100 | habib | (~textual@217.146.83.233) |
| 2022-03-12 00:07:01 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Remote host closed the connection) |
| 2022-03-12 00:07:12 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) |
| 2022-03-12 00:08:30 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-12 00:10:07 +0100 | habib | (~textual@217.146.83.233) (Client Quit) |
| 2022-03-12 00:10:58 +0100 | andreas303 | (andreas303@ip227.orange.bnc4free.com) |
| 2022-03-12 00:11:21 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-03-12 00:15:09 +0100 | qhong_ | qhong |
| 2022-03-12 00:15:26 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 00:18:18 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-12 00:21:14 +0100 | cyphase | (~cyphase@user/cyphase) |
| 2022-03-12 00:25:35 +0100 | euprogramista | (~euprogram@103.1.212.124) |
| 2022-03-12 00:26:05 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f552486cafe8385a22e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2022-03-12 00:30:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-12 00:31:32 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Quit: I love you.) |
| 2022-03-12 00:31:47 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-03-12 00:31:54 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-03-12 00:32:29 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-03-12 00:36:06 +0100 | euprogramista | (~euprogram@103.1.212.124) (Ping timeout: 252 seconds) |
| 2022-03-12 00:37:53 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 00:44:48 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-12 00:44:55 +0100 | ph88 | (~ph88@84-30-78-253.cable.dynamic.v4.ziggo.nl) (Ping timeout: 272 seconds) |
| 2022-03-12 00:51:01 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-12 00:51:54 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-12 00:51:54 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-12 00:51:54 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-12 00:54:15 +0100 | immae | (~immae@2a01:4f8:141:53e7::) |
| 2022-03-12 00:58:05 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-12 01:02:25 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2022-03-12 01:04:42 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2022-03-12 01:06:33 +0100 | dwt_ | (~dwt_@c-98-198-103-176.hsd1.tx.comcast.net) (Ping timeout: 256 seconds) |
| 2022-03-12 01:06:44 +0100 | <jackdk> | Dillo (old, lightweight web browser) used to do that on its tab labels - was a cool trick |
| 2022-03-12 01:09:59 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:68d4:50d5:7d4d:737b) |
| 2022-03-12 01:13:12 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) |
| 2022-03-12 01:14:12 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 240 seconds) |
| 2022-03-12 01:15:21 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-12 01:15:37 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-12 01:15:47 +0100 | <hololeap> | agda... never heard of it. you mean gd? |
| 2022-03-12 01:20:15 +0100 | <int-e> | c[e]r[ea]l, meet c[u]rl |
| 2022-03-12 01:21:05 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-03-12 01:21:31 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-12 01:21:42 +0100 | liz | (~liz@2a00:23c5:9680:501:b62e:99ff:fee4:47fa) (Quit: Leaving) |
| 2022-03-12 01:24:21 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:c718:8a02:6a5d:599e) (Quit: bye) |
| 2022-03-12 01:25:55 +0100 | mmalter | (~mmalter@88.126.10.237) (Quit: Lost terminal) |
| 2022-03-12 01:27:49 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-12 01:28:25 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-12 01:28:54 +0100 | juhp | (~juhp@128.106.188.82) (Remote host closed the connection) |
| 2022-03-12 01:29:28 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-12 01:34:12 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-12 01:34:49 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-12 01:38:23 +0100 | boosternath | (~user@2600:8801:1386:ca00:fd3c:7c45:4ab5:4e67) |
| 2022-03-12 01:39:32 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-12 01:40:11 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-12 01:41:52 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-12 01:44:31 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 256 seconds) |
| 2022-03-12 01:44:39 +0100 | Topsi1 | (~Tobias@dyndsl-091-249-082-060.ewe-ip-backbone.de) (Read error: Connection reset by peer) |
| 2022-03-12 01:53:57 +0100 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2022-03-12 01:54:59 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) |
| 2022-03-12 01:55:57 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-12 01:58:14 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:68d4:50d5:7d4d:737b) (Quit: Leaving) |
| 2022-03-12 01:59:37 +0100 | alt-romes | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-12 01:59:52 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-12 02:00:33 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-12 02:03:24 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-03-12 02:05:31 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-03-12 02:08:08 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-12 02:10:57 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2022-03-12 02:16:11 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 252 seconds) |
| 2022-03-12 02:17:03 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2022-03-12 02:18:34 +0100 | lavaman | (~lavaman@98.38.249.169) (Ping timeout: 260 seconds) |
| 2022-03-12 02:19:12 +0100 | hgolden_ | hgolden |
| 2022-03-12 02:26:38 +0100 | vysn | (~vysn@user/vysn) |
| 2022-03-12 02:40:58 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 260 seconds) |
| 2022-03-12 02:41:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 02:48:00 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-03-12 02:55:34 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-12 03:00:15 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-12 03:00:15 +0100 | geranim0 | (~geranim0@modemcable242.171-178-173.mc.videotron.ca) (Remote host closed the connection) |
| 2022-03-12 03:00:53 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-12 03:02:21 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Ping timeout: 272 seconds) |
| 2022-03-12 03:03:22 +0100 | slowtype- | (~slowtyper@2a02:214c:840d:cd00:225:64ff:feb7:4668) (Ping timeout: 260 seconds) |
| 2022-03-12 03:03:37 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-12 03:04:22 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-12 03:09:48 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-12 03:11:00 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-12 03:11:49 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) (Ping timeout: 240 seconds) |
| 2022-03-12 03:13:18 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) |
| 2022-03-12 03:13:20 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-03-12 03:15:32 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-12 03:16:12 +0100 | harveypwca | (~harveypwc@2601:246:c180:a570:3828:d8:e523:3f67) |
| 2022-03-12 03:17:15 +0100 | boosternath | (~user@2600:8801:1386:ca00:fd3c:7c45:4ab5:4e67) (Remote host closed the connection) |
| 2022-03-12 03:24:15 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) (Ping timeout: 256 seconds) |
| 2022-03-12 03:24:35 +0100 | AlexNoo_ | (~AlexNoo@94.233.240.159) |
| 2022-03-12 03:25:24 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) |
| 2022-03-12 03:25:24 +0100 | wroathe | (~wroathe@206-55-188-8.fttp.usinternet.com) (Changing host) |
| 2022-03-12 03:25:24 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2022-03-12 03:26:43 +0100 | lbseale | (~ep1ctetus@user/ep1ctetus) (Read error: Connection reset by peer) |
| 2022-03-12 03:27:41 +0100 | Alex_test | (~al_test@178.34.161.220) (Ping timeout: 272 seconds) |
| 2022-03-12 03:27:41 +0100 | AlexZenon | (~alzenon@178.34.161.220) (Ping timeout: 272 seconds) |
| 2022-03-12 03:27:55 +0100 | razetime | (~quassel@117.254.34.232) |
| 2022-03-12 03:28:13 +0100 | AlexNoo | (~AlexNoo@178.34.161.220) (Ping timeout: 256 seconds) |
| 2022-03-12 03:30:55 +0100 | AlexZenon | (~alzenon@94.233.240.159) |
| 2022-03-12 03:31:06 +0100 | Alex_test | (~al_test@94.233.240.159) |
| 2022-03-12 03:32:56 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-12 03:34:30 +0100 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) |
| 2022-03-12 03:35:17 +0100 | TonyStone | (~TonyStone@cpe-74-76-51-197.nycap.res.rr.com) (Ping timeout: 272 seconds) |
| 2022-03-12 03:39:02 +0100 | waleee | (~waleee@h-98-128-228-119.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2022-03-12 03:39:57 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-03-12 03:44:02 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Ping timeout)) |
| 2022-03-12 03:47:28 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-0d13-db80-1316-2ed6.res6.spectrum.com) |
| 2022-03-12 03:55:06 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-03-12 04:01:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-12 04:03:36 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Ping timeout: 240 seconds) |
| 2022-03-12 04:05:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-12 04:09:01 +0100 | td_ | (~td@94.134.91.18) (Ping timeout: 256 seconds) |
| 2022-03-12 04:10:30 +0100 | td_ | (~td@muedsl-82-207-238-055.citykom.de) |
| 2022-03-12 04:15:59 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-12 04:18:02 +0100 | whatsupdoc | (uid509081@id-509081.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2022-03-12 04:21:12 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) (Remote host closed the connection) |
| 2022-03-12 04:27:47 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-12 04:31:43 +0100 | deadmarshal_ | (~deadmarsh@95.38.118.140) |
| 2022-03-12 04:38:51 +0100 | Guest78 | (~Guest78@host-137-205-1-211.warwick.ac.uk) |
| 2022-03-12 04:38:57 +0100 | Guest78 | (~Guest78@host-137-205-1-211.warwick.ac.uk) (Client Quit) |
| 2022-03-12 04:41:09 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 272 seconds) |
| 2022-03-12 04:46:48 +0100 | mbuf | (~Shakthi@122.174.232.218) |
| 2022-03-12 04:49:34 +0100 | machinedgod | (~machinedg@24.105.81.50) (Ping timeout: 256 seconds) |
| 2022-03-12 04:50:35 +0100 | juhp | (~juhp@128.106.188.82) (Quit: juhp) |
| 2022-03-12 04:51:14 +0100 | juhp | (~juhp@128.106.188.82) |
| 2022-03-12 04:59:40 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-12 04:59:40 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2022-03-12 04:59:40 +0100 | finn_elija | FinnElija |
| 2022-03-12 05:02:32 +0100 | unyu | (~pyon@user/pyon) (Quit: brb) |
| 2022-03-12 05:08:22 +0100 | lavaman | (~lavaman@98.38.249.169) (Remote host closed the connection) |
| 2022-03-12 05:11:59 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 05:15:17 +0100 | Akiva | (~Akiva@user/Akiva) (Ping timeout: 240 seconds) |
| 2022-03-12 05:15:19 +0100 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2022-03-12 05:17:59 +0100 | mud | (~mud@user/kadoban) |
| 2022-03-12 05:18:15 +0100 | stefan-_ | (~cri@42dots.de) (Ping timeout: 252 seconds) |
| 2022-03-12 05:19:58 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Ping timeout: 250 seconds) |
| 2022-03-12 05:24:48 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-03-12 05:24:51 +0100 | ishutin | (~ishutin@193-226-238-244.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2022-03-12 05:25:19 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-03-12 05:26:18 +0100 | ishutin | (~ishutin@84-236-122-92.pool.digikabel.hu) |
| 2022-03-12 05:33:50 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 250 seconds) |
| 2022-03-12 05:34:37 +0100 | alMalsamo | (~alMalsamo@gateway/tor-sasl/almalsamo) |
| 2022-03-12 05:42:11 +0100 | stefan-_ | (~cri@42dots.de) |
| 2022-03-12 05:42:17 +0100 | some02 | sudden |
| 2022-03-12 05:42:58 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-12 05:45:45 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-12 05:46:18 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-12 05:46:23 +0100 | Guest91 | (~Guest91@2401:4900:2324:14c2:95d3:8bf7:e469:317a) |
| 2022-03-12 05:48:52 +0100 | pieguy128 | (~pieguy128@bras-base-mtrlpq5031w-grc-35-70-24-248-224.dsl.bell.ca) |
| 2022-03-12 05:51:36 +0100 | img | (~img@user/img) |
| 2022-03-12 05:54:37 +0100 | rando25892 | (~homefame@user/rando25892) (Ping timeout: 272 seconds) |
| 2022-03-12 05:54:57 +0100 | juhp | (~juhp@128.106.188.82) (Good Bye) |
| 2022-03-12 05:57:32 +0100 | raym | (~raym@user/raym) (Remote host closed the connection) |
| 2022-03-12 05:59:22 +0100 | raym | (~raym@user/raym) |
| 2022-03-12 06:06:12 +0100 | mvk | (~mvk@2607:fea8:5cc3:7e00::45ee) (Ping timeout: 240 seconds) |
| 2022-03-12 06:10:57 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Ping timeout: 240 seconds) |
| 2022-03-12 06:11:03 +0100 | <hololeap> | what's the highest level entry point into the Cabal library that will let me parse a .cabal file? |
| 2022-03-12 06:12:54 +0100 | lavaman | (~lavaman@98.38.249.169) |
| 2022-03-12 06:14:06 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) (Quit: The BNC has broken!) |
| 2022-03-12 06:14:31 +0100 | alMalsamo | lumberjack123 |
| 2022-03-12 06:18:05 +0100 | retroid_ | (~retro@2e40edd9.skybroadband.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:18:45 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-12 06:18:47 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-03-12 06:19:20 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:20 +0100 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:20 +0100 | truckasaurus | (sid457088@id-457088.helmsley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:20 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:20 +0100 | mcfilib | (sid302703@user/mcfilib) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:20 +0100 | teehemkay | (sid14792@id-14792.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:27 +0100 | idnar | (sid12240@debian/mithrandi) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:27 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:28 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:28 +0100 | amir | (sid22336@user/amir) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:28 +0100 | newhoggy | (sid198874@id-198874.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:28 +0100 | gregberns__ | (sid315709@id-315709.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:28 +0100 | tnks | (sid412124@id-412124.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:32 +0100 | <hololeap> | this looks like what I'm looking for: Distribution.PackageDescription.Parsec.readGenericPackageDescription |
| 2022-03-12 06:19:34 +0100 | teehemkay | (sid14792@id-14792.lymington.irccloud.com) |
| 2022-03-12 06:19:35 +0100 | Adeon | (sid418992@id-418992.lymington.irccloud.com) |
| 2022-03-12 06:19:36 +0100 | idnar | (sid12240@debian/mithrandi) |
| 2022-03-12 06:19:36 +0100 | gregberns__ | (sid315709@id-315709.helmsley.irccloud.com) |
| 2022-03-12 06:19:37 +0100 | bradparker | (sid262931@id-262931.uxbridge.irccloud.com) |
| 2022-03-12 06:19:37 +0100 | mcfilib | (sid302703@user/mcfilib) |
| 2022-03-12 06:19:37 +0100 | newhoggy | (sid198874@id-198874.helmsley.irccloud.com) |
| 2022-03-12 06:19:37 +0100 | tnks | (sid412124@id-412124.helmsley.irccloud.com) |
| 2022-03-12 06:19:38 +0100 | amir | (sid22336@user/amir) |
| 2022-03-12 06:19:45 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:46 +0100 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:46 +0100 | JSharp | (sid4580@2a03:5180:f:2::11e4) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:46 +0100 | tapas | (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:46 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:46 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 250 seconds) |
| 2022-03-12 06:19:47 +0100 | parseval | (sid239098@id-239098.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:19:54 +0100 | saolsen | (sid26430@id-26430.lymington.irccloud.com) |
| 2022-03-12 06:19:55 +0100 | parseval | (sid239098@id-239098.helmsley.irccloud.com) |
| 2022-03-12 06:19:55 +0100 | wallymathieu | (sid533252@id-533252.uxbridge.irccloud.com) |
| 2022-03-12 06:19:57 +0100 | tapas | (sid467876@id-467876.ilkley.irccloud.com) |
| 2022-03-12 06:20:05 +0100 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:20:05 +0100 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:20:05 +0100 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) (Write error: Connection reset by peer) |
| 2022-03-12 06:20:05 +0100 | degraafk | (sid71464@id-71464.lymington.irccloud.com) |
| 2022-03-12 06:20:06 +0100 | aarchi | (sid486183@id-486183.uxbridge.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:20:06 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:20:07 +0100 | rtpg | (sid443069@id-443069.ilkley.irccloud.com) (Write error: Connection reset by peer) |
| 2022-03-12 06:20:07 +0100 | scav | (sid309693@id-309693.helmsley.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:20:08 +0100 | agander_m | (sid407952@id-407952.tinside.irccloud.com) (Read error: Connection reset by peer) |
| 2022-03-12 06:20:09 +0100 | gmc | (sid58314@id-58314.ilkley.irccloud.com) |
| 2022-03-12 06:20:13 +0100 | NemesisD | (sid24071@id-24071.lymington.irccloud.com) |
| 2022-03-12 06:20:18 +0100 | truckasaurus | (sid457088@id-457088.helmsley.irccloud.com) |
| 2022-03-12 06:20:18 +0100 | pjlsergeant | (sid143467@id-143467.hampstead.irccloud.com) |
| 2022-03-12 06:20:21 +0100 | dmj` | (sid72307@id-72307.hampstead.irccloud.com) |
| 2022-03-12 06:20:22 +0100 | aarchi | (sid486183@id-486183.uxbridge.irccloud.com) |
| 2022-03-12 06:20:22 +0100 | b20n | (sid115913@id-115913.uxbridge.irccloud.com) |
| 2022-03-12 06:20:22 +0100 | meinside | (uid24933@id-24933.helmsley.irccloud.com) |
| 2022-03-12 06:20:25 +0100 | gaze___ | (sid387101@id-387101.helmsley.irccloud.com) |
| 2022-03-12 06:20:26 +0100 | edmundnoble | (sid229620@id-229620.helmsley.irccloud.com) |
| 2022-03-12 06:20:27 +0100 | agander_m | (sid407952@id-407952.tinside.irccloud.com) |
| 2022-03-12 06:20:29 +0100 | scav | (sid309693@id-309693.helmsley.irccloud.com) |
| 2022-03-12 06:20:30 +0100 | retroid_ | (~retro@2e40edd9.skybroadband.com) |
| 2022-03-12 06:20:30 +0100 | rtpg | (sid443069@id-443069.ilkley.irccloud.com) |
| 2022-03-12 06:20:53 +0100 | JSharp | (sid4580@id-4580.lymington.irccloud.com) |
| 2022-03-12 06:20:59 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 06:21:00 +0100 | mud | (~mud@user/kadoban) (Remote host closed the connection) |
| 2022-03-12 06:21:25 +0100 | mud | (~mud@user/kadoban) |
| 2022-03-12 06:21:30 +0100 | cajun | (~cajun@ip98-163-218-217.no.no.cox.net) (Ping timeout: 250 seconds) |
| 2022-03-12 06:22:16 +0100 | cajun | (~cajun@ip98-163-218-217.no.no.cox.net) |
| 2022-03-12 06:22:48 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-12 06:22:50 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-12 06:25:24 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 06:40:12 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-12 06:40:51 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 272 seconds) |
| 2022-03-12 06:45:20 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) (Remote host closed the connection) |
| 2022-03-12 06:45:37 +0100 | unyu | (~pyon@user/pyon) |
| 2022-03-12 06:48:29 +0100 | Hobbyboy | (Hobbyboy@hobbyboy.co.uk) |
| 2022-03-12 06:51:32 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-12 06:57:23 +0100 | geekosaur | (~geekosaur@xmonad/geekosaur) |
| 2022-03-12 06:57:51 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-12 06:58:56 +0100 | img | (~img@user/img) |
| 2022-03-12 07:02:31 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-12 07:04:02 +0100 | Guest91 | (~Guest91@2401:4900:2324:14c2:95d3:8bf7:e469:317a) (Quit: Client closed) |
| 2022-03-12 07:08:47 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 07:12:26 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-12 07:13:22 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 268 seconds) |
| 2022-03-12 07:18:42 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) (Ping timeout: 252 seconds) |
| 2022-03-12 07:20:51 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) |
| 2022-03-12 07:22:43 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2022-03-12 07:26:13 +0100 | ishutin | (~ishutin@84-236-122-92.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-12 07:26:30 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:49fc:dd14:62fe:1d6f) (Ping timeout: 250 seconds) |
| 2022-03-12 07:27:48 +0100 | ishutin | (~ishutin@81-0-86-197.pool.digikabel.hu) |
| 2022-03-12 07:29:01 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:e7c4:5253:dd7b:aefb) |
| 2022-03-12 07:29:36 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) (Ping timeout: 240 seconds) |
| 2022-03-12 07:31:08 +0100 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2022-03-12 07:32:04 +0100 | zmt00 | (~zmt00@user/zmt00) (Read error: Connection reset by peer) |
| 2022-03-12 07:36:56 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-03-12 07:37:41 +0100 | dsrt^ | (~dsrt@50.232.121.75) (Remote host closed the connection) |
| 2022-03-12 07:42:06 +0100 | vglfr | (~vglfr@88.155.93.179) |
| 2022-03-12 07:42:36 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 07:57:00 +0100 | shailangsa | (~shailangs@host86-186-133-59.range86-186.btcentralplus.com) (Ping timeout: 240 seconds) |
| 2022-03-12 08:03:34 +0100 | xkuru | (~xkuru@user/xkuru) (Read error: Connection reset by peer) |
| 2022-03-12 08:16:32 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 240 seconds) |
| 2022-03-12 08:16:49 +0100 | vorpuni | (~pvorp@2001:861:3881:c690:32c5:282d:37c:e03) |
| 2022-03-12 08:21:57 +0100 | vglfr | (~vglfr@88.155.93.179) (Ping timeout: 252 seconds) |
| 2022-03-12 08:23:24 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2022-03-12 08:39:15 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 08:39:16 +0100 | shailangsa | (~shailangs@host165-120-169-51.range165-120.btcentralplus.com) |
| 2022-03-12 08:44:21 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-12 08:52:59 +0100 | fm | (~fm@thx123.olf.sgsnet.se) |
| 2022-03-12 08:54:00 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 08:58:16 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f5471ccbf74c830af09.dip0.t-ipconnect.de) |
| 2022-03-12 09:03:17 +0100 | fm | (~fm@thx123.olf.sgsnet.se) (Remote host closed the connection) |
| 2022-03-12 09:05:53 +0100 | td_ | (~td@muedsl-82-207-238-055.citykom.de) (Ping timeout: 272 seconds) |
| 2022-03-12 09:05:56 +0100 | phma | (~phma@host-67-44-208-84.hnremote.net) (Read error: Connection reset by peer) |
| 2022-03-12 09:06:51 +0100 | Jason | (~Jason@31-152-155-90.pat.amp.cosmote.net) |
| 2022-03-12 09:07:05 +0100 | phma | (~phma@host-67-44-209-27.hnremote.net) |
| 2022-03-12 09:07:27 +0100 | td_ | (~td@muedsl-82-207-238-211.citykom.de) |
| 2022-03-12 09:10:43 +0100 | AlexNoo_ | AlexNoo |
| 2022-03-12 09:17:10 +0100 | tomjaguarpaw | (~tom@li367-225.members.linode.com) |
| 2022-03-12 09:20:27 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 09:24:09 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-03-12 09:26:11 +0100 | Graham31415 | (~Graham314@213.237.95.25) |
| 2022-03-12 09:38:48 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-12 09:48:18 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 252 seconds) |
| 2022-03-12 09:48:37 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-12 09:48:51 +0100 | ishutin | (~ishutin@81-0-86-197.pool.digikabel.hu) (Ping timeout: 252 seconds) |
| 2022-03-12 09:49:21 +0100 | deadmarshal_ | (~deadmarsh@95.38.118.140) (Ping timeout: 256 seconds) |
| 2022-03-12 09:49:26 +0100 | deadmars- | (~deadmarsh@95.38.119.200) |
| 2022-03-12 09:50:38 +0100 | ishutin | (~ishutin@84-236-122-92.pool.digikabel.hu) |
| 2022-03-12 09:52:09 +0100 | bahamas | (~lucian@82.78.48.20) |
| 2022-03-12 09:53:09 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) |
| 2022-03-12 09:55:49 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-12 09:57:06 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) (Quit: zzz) |
| 2022-03-12 09:57:39 +0100 | bahamas | (~lucian@82.78.48.20) (Ping timeout: 252 seconds) |
| 2022-03-12 10:05:34 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-12 10:05:53 +0100 | euprogramista | (~euprogram@103.137.15.62) |
| 2022-03-12 10:06:36 +0100 | xpika | (~xpika@n122-110-91-97.sun2.vic.optusnet.com.au) |
| 2022-03-12 10:06:41 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-03-12 10:06:59 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-12 10:09:25 +0100 | <euprogramista> | hi there. could someone give me a hand to understand this idea from LYAH? list like [1,2,3] can be viewed as a computation that can't decide on which result it wants to have, so it presents us with all of the possible results |
| 2022-03-12 10:09:57 +0100 | <euprogramista> | the author mentions that a list is a non-deterministic value. this doesn't make sense to me |
| 2022-03-12 10:10:16 +0100 | <euprogramista> | It also says: A value like 100 or "what" can be viewed as a deterministic computation |
| 2022-03-12 10:10:24 +0100 | <c_wraith> | euprogramista: That is a way to view lists, but it's... a bit weird |
| 2022-03-12 10:10:39 +0100 | <c_wraith> | Like, sometimes it makes sense. |
| 2022-03-12 10:10:44 +0100 | <c_wraith> | But it's hardly universal. |
| 2022-03-12 10:10:46 +0100 | <euprogramista> | so it's not me that sees that it's weird? |
| 2022-03-12 10:10:57 +0100 | <c_wraith> | Sometimes [1,2,3] is just 3 values. |
| 2022-03-12 10:11:07 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 272 seconds) |
| 2022-03-12 10:11:20 +0100 | <c_wraith> | But it is a way to conceptual what's going on with []'s monad instance. |
| 2022-03-12 10:11:26 +0100 | <c_wraith> | *conceptualize |
| 2022-03-12 10:12:08 +0100 | <euprogramista> | it gets even more weird when he says that "what" can be viewed as deterministic computation. "what" is a list of Char, so it should at least fall in the same idea of [1,2,3] to me |
| 2022-03-12 10:13:17 +0100 | <c_wraith> | Like I said - you can look at it either way |
| 2022-03-12 10:14:29 +0100 | <c_wraith> | But it's really only natural to think of it that way when you're looking at []'s monad instance from viewpoint that's sort of inside the model |
| 2022-03-12 10:15:41 +0100 | <c_wraith> | Like, what's happening when you use `x <- foo :: [Int]' inside a do block? well, x is getting a value. What value? Every value inside foo. |
| 2022-03-12 10:15:52 +0100 | <c_wraith> | You can think of that as a type of non-determinism |
| 2022-03-12 10:17:20 +0100 | <c_wraith> | but [] isn't especially *good* for that. It's ordered, which makes it impossible to use for any kind of infinite non-deterministic calculation |
| 2022-03-12 10:19:23 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-12 10:23:18 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Remote host closed the connection) |
| 2022-03-12 10:25:53 +0100 | <euprogramista> | c_wraith: I think it makes more sense now. thanks for helping |
| 2022-03-12 10:31:40 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-98.elisa-laajakaista.fi) |
| 2022-03-12 10:33:41 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) |
| 2022-03-12 10:33:57 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2022-03-12 10:37:06 +0100 | img | (~img@user/img) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-12 10:38:54 +0100 | chenqisu1 | (~chenqisu1@183.217.201.47) (Quit: Leaving) |
| 2022-03-12 10:46:32 +0100 | img | (~img@user/img) |
| 2022-03-12 10:47:09 +0100 | CiaoSen | (~Jura@p200300c95737a2002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2022-03-12 10:52:51 +0100 | shailangsa | (~shailangs@host165-120-169-51.range165-120.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-12 11:03:34 +0100 | kuribas | (~user@ptr-25vy0i9hz776i7usnbt.18120a2.ip6.access.telenet.be) |
| 2022-03-12 11:08:44 +0100 | euprogramista | (~euprogram@103.137.15.62) (Ping timeout: 272 seconds) |
| 2022-03-12 11:09:01 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 11:12:32 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 11:13:49 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-12 11:15:34 +0100 | <kuribas> | nice, I found I could remove the phantom types and GADTs, and not loose much safety (if anything at all). |
| 2022-03-12 11:19:56 +0100 | razetime | (~quassel@117.254.34.232) (Ping timeout: 245 seconds) |
| 2022-03-12 11:20:19 +0100 | xpika | (~xpika@n122-110-91-97.sun2.vic.optusnet.com.au) (Quit: Client closed) |
| 2022-03-12 11:20:36 +0100 | razetime | (~quassel@117.254.34.232) |
| 2022-03-12 11:23:24 +0100 | <maerwald> | remove from where |
| 2022-03-12 11:23:44 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) |
| 2022-03-12 11:23:55 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) |
| 2022-03-12 11:24:02 +0100 | <kuribas> | my code. |
| 2022-03-12 11:26:17 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) (Ping timeout: 240 seconds) |
| 2022-03-12 11:27:57 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) (Ping timeout: 240 seconds) |
| 2022-03-12 11:33:03 +0100 | <kuribas> | I could lift the type level stuff into value level. |
| 2022-03-12 11:34:26 +0100 | shailangsa | (~shailangs@host165-120-169-51.range165-120.btcentralplus.com) |
| 2022-03-12 11:35:37 +0100 | <kuribas> | faith in (mostly) simpe haskell restored :) |
| 2022-03-12 11:36:28 +0100 | <int-e> | next... simplify your code by abandoning types and embracing unsafeCoerce |
| 2022-03-12 11:37:19 +0100 | namkeleser | (~namkelese@101.175.104.107) |
| 2022-03-12 11:38:53 +0100 | xff0x | (~xff0x@dslb-094-222-029-254.094.222.pools.vodafone-ip.de) |
| 2022-03-12 11:39:52 +0100 | ehammarstrom_ | ehammarstrom |
| 2022-03-12 11:48:39 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-12 11:51:05 +0100 | euprogramista | (~euprogram@103.137.15.62) |
| 2022-03-12 11:51:56 +0100 | machinedgod | (~machinedg@24.105.81.50) |
| 2022-03-12 11:55:24 +0100 | euprogramista | (~euprogram@103.137.15.62) (Ping timeout: 240 seconds) |
| 2022-03-12 11:57:39 +0100 | ishutin | (~ishutin@84-236-122-92.pool.digikabel.hu) (Ping timeout: 256 seconds) |
| 2022-03-12 11:58:47 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-12 11:58:54 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2022-03-12 11:59:07 +0100 | <siers> | ski, I later realized that I might be conflating things, hence the "logic is tough" later on |
| 2022-03-12 11:59:16 +0100 | ishutin | (~ishutin@178-164-207-122.pool.digikabel.hu) |
| 2022-03-12 12:00:44 +0100 | notzmv | (~zmv@user/notzmv) |
| 2022-03-12 12:06:47 +0100 | Guest1484 | (~Guest14@157.230.18.252) |
| 2022-03-12 12:12:48 +0100 | Guest1484 | (~Guest14@157.230.18.252) (Quit: Client closed) |
| 2022-03-12 12:13:18 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 12:15:37 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) (Ping timeout: 240 seconds) |
| 2022-03-12 12:15:53 +0100 | kritzefitz | (~kritzefit@debian/kritzefitz) |
| 2022-03-12 12:17:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 12:18:55 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-12 12:20:19 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 12:20:33 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 12:24:27 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-12 12:27:20 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2022-03-12 12:30:56 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2022-03-12 12:36:58 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-12 12:37:03 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2022-03-12 12:38:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 12:41:05 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 12:48:25 +0100 | <rembo10> | I'm having a little trouble parsing vcards with megaparsec. A long line can be indented on the next line with a space, but that content can also start with a space... and I'm not really sure how to parse that case |
| 2022-03-12 12:49:02 +0100 | <rembo10> | e.g. "this is a\r\n long line" (with 2 spaces) |
| 2022-03-12 12:49:39 +0100 | <rembo10> | It just ends up dropping both spaces |
| 2022-03-12 12:50:05 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 272 seconds) |
| 2022-03-12 12:54:18 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-12 12:54:50 +0100 | <rembo10> | Like I'm not really sure how to set the indent to 1 space, but also allow a space at the start of the data |
| 2022-03-12 13:00:25 +0100 | <maerwald> | kuribas: but how you gonna write a cool blog post about type level programming now? |
| 2022-03-12 13:00:36 +0100 | <maerwald> | and how it fixed all your business problems |
| 2022-03-12 13:02:48 +0100 | ubert | (~Thunderbi@p200300ecdf19b7a284ec7d5a9a9e1e02.dip0.t-ipconnect.de) |
| 2022-03-12 13:07:55 +0100 | Andrew | (Andrew@user/AndrewYu) (Quit: Leaving) |
| 2022-03-12 13:07:59 +0100 | Jason | (~Jason@31-152-155-90.pat.amp.cosmote.net) (Quit: Client closed) |
| 2022-03-12 13:08:08 +0100 | Andrew | (Andrew@user/AndrewYu) |
| 2022-03-12 13:14:50 +0100 | euprogramista | (~euprogram@103.137.15.62) |
| 2022-03-12 13:18:37 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f5471ccbf74c830af09.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2022-03-12 13:19:24 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 13:19:31 +0100 | ubert | (~Thunderbi@p200300ecdf19b7a284ec7d5a9a9e1e02.dip0.t-ipconnect.de) (Quit: ubert) |
| 2022-03-12 13:25:58 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2022-03-12 13:27:07 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 13:31:15 +0100 | euprogramista | (~euprogram@103.137.15.62) (Quit: leaving) |
| 2022-03-12 13:31:36 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-12 13:37:14 +0100 | shailangsa | (~shailangs@host165-120-169-51.range165-120.btcentralplus.com) () |
| 2022-03-12 13:37:38 +0100 | razetime | (~quassel@117.254.34.232) (Ping timeout: 252 seconds) |
| 2022-03-12 13:38:06 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-03-12 13:38:36 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 13:42:54 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 13:43:04 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 13:43:43 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 13:44:31 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 13:48:08 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 13:49:12 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-12 13:50:18 +0100 | mbuf | (~Shakthi@122.174.232.218) (Ping timeout: 252 seconds) |
| 2022-03-12 13:50:28 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 13:52:13 +0100 | mbuf | (~Shakthi@110.225.244.90) |
| 2022-03-12 13:54:46 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 13:54:49 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:844b:b51a:d0ea:add8) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-12 13:55:23 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) |
| 2022-03-12 13:56:00 +0100 | razetime | (~quassel@117.193.6.128) |
| 2022-03-12 13:56:18 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 13:57:27 +0100 | infinity0 | (~infinity0@occupy.ecodis.net) (Ping timeout: 252 seconds) |
| 2022-03-12 14:00:38 +0100 | infinity0 | (~infinity0@occupy.ecodis.net) |
| 2022-03-12 14:01:01 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-12 14:01:58 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:06:48 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 252 seconds) |
| 2022-03-12 14:07:49 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:12:06 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 14:13:12 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 14:13:26 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 14:13:31 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:14:06 +0100 | ishutin | (~ishutin@178-164-207-122.pool.digikabel.hu) (Ping timeout: 245 seconds) |
| 2022-03-12 14:15:18 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-03-12 14:18:39 +0100 | shailangsa | (~shailangs@host165-120-169-51.range165-120.btcentralplus.com) |
| 2022-03-12 14:18:44 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-12 14:19:29 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:22:33 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 272 seconds) |
| 2022-03-12 14:23:48 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 14:25:09 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:27:40 +0100 | <kuribas> | maerwald: I'll use idris :) |
| 2022-03-12 14:29:24 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 14:30:58 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:32:02 +0100 | <geekosaur> | a wise choice |
| 2022-03-12 14:33:18 +0100 | <kuribas> | oh nice, i can represent a zip over records using Traversable. |
| 2022-03-12 14:35:16 +0100 | <kuribas> | zipRecord :: Traversable r => (a -> b -> c) -> r a -> r b -> r c |
| 2022-03-12 14:35:24 +0100 | Topsi | (~Tobias@dyndsl-095-033-019-161.ewe-ip-backbone.de) |
| 2022-03-12 14:35:30 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 14:35:39 +0100 | <kuribas> | assuming r is a record with a constant number of elements. |
| 2022-03-12 14:36:51 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:38:17 +0100 | <kuribas> | no generics needed. |
| 2022-03-12 14:38:35 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-03-12 14:40:29 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-03-12 14:41:32 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-12 14:42:37 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:45:50 +0100 | mmhat | (~mmh@55d42539.access.ecotel.net) |
| 2022-03-12 14:47:12 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 14:47:39 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 256 seconds) |
| 2022-03-12 14:48:22 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:51:40 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) (Quit: WeeChat 3.4) |
| 2022-03-12 14:52:37 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 14:54:11 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 14:55:53 +0100 | perrierjouet | (~perrier-j@modemcable012.251-130-66.mc.videotron.ca) |
| 2022-03-12 14:57:25 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-12 14:57:25 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-12 14:58:36 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 14:59:54 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:02:02 +0100 | dextaa_ | (~dextaa@user/dextaa) |
| 2022-03-12 15:03:37 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) |
| 2022-03-12 15:04:17 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 15:05:43 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:10:39 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-12 15:11:35 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:12:07 +0100 | mixfix41 | (~sdenyninn@user/mixfix41) |
| 2022-03-12 15:16:14 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 15:16:33 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-12 15:17:18 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2022-03-12 15:17:21 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:19:10 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-12 15:21:59 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-12 15:23:17 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:27:24 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 15:29:02 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:29:35 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-03-12 15:31:16 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 15:31:18 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-12 15:32:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 15:33:34 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 15:34:48 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:36:25 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-12 15:37:00 +0100 | <kuribas> | ah, it seem I do loose a lot of safety... |
| 2022-03-12 15:37:26 +0100 | <kuribas> | Now my toplevel record looks like Toplevel { foo :: f, bar :: f, baz :: f}. |
| 2022-03-12 15:37:35 +0100 | <kuribas> | No info about the type of f... |
| 2022-03-12 15:37:45 +0100 | <kuribas> | Still better than clojure I guess... |
| 2022-03-12 15:39:17 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 15:40:14 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) (Remote host closed the connection) |
| 2022-03-12 15:40:22 +0100 | ix | (~ix@2a02:8010:674f:0:d65d:64ff:fe52:5efe) |
| 2022-03-12 15:41:12 +0100 | shapr | (~user@pool-173-73-44-186.washdc.fios.verizon.net) |
| 2022-03-12 15:44:04 +0100 | vglfr | (~vglfr@46.96.129.189) |
| 2022-03-12 15:44:04 +0100 | Pickchea | (~private@user/pickchea) |
| 2022-03-12 15:45:49 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-12 15:46:19 +0100 | mreh | (~matthew@host86-172-33-212.range86-172.btcentralplus.com) |
| 2022-03-12 15:46:21 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:50:46 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 245 seconds) |
| 2022-03-12 15:53:52 +0100 | Hud | (~Hud@ec2-18-144-90-195.us-west-1.compute.amazonaws.com) |
| 2022-03-12 15:54:48 +0100 | raym | (~raym@user/raym) (Ping timeout: 250 seconds) |
| 2022-03-12 15:55:07 +0100 | jakalx | (~jakalx@base.jakalx.net) (Disconnected: Replaced by new connection) |
| 2022-03-12 15:55:08 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-12 15:55:59 +0100 | <Hud> | hi all, looking at how to create diagrams using text, something like those shown in https://kroki.io/#features - what diagram type is best for haskell? |
| 2022-03-12 15:55:59 +0100 | <mreh> | I'm trying to make an extensible cache interface, where any type can be serialised/parsed into a cache table. Could I maybe use a single function definition each for saving and loading data with a type family definition for each type to be cached? |
| 2022-03-12 15:56:12 +0100 | vglfr | (~vglfr@46.96.129.189) (Read error: Connection reset by peer) |
| 2022-03-12 15:56:18 +0100 | vglfr | (~vglfr@46.96.129.189) |
| 2022-03-12 15:56:38 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2022-03-12 15:56:54 +0100 | <geekosaur> | sounds morelike a typeclass than a typefamily to me? |
| 2022-03-12 15:57:25 +0100 | <mreh> | geekosaur: well I was thinking something like this |
| 2022-03-12 15:57:37 +0100 | <mreh> | type Key = Text |
| 2022-03-12 15:57:37 +0100 | <mreh> | readCache :: Symbol -> Key -> IO (CacheableType Symbol) |
| 2022-03-12 15:57:37 +0100 | <mreh> | writeCache :: Symbol -> Key -> CacheableType Symbol -> IO () |
| 2022-03-12 15:57:59 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 15:58:25 +0100 | <mreh> | how else would it know what type to decode to, isn't it dependen't on a value, like the Symbol here? |
| 2022-03-12 15:58:49 +0100 | toulene | (~toulene@user/toulene) (Ping timeout: 272 seconds) |
| 2022-03-12 15:59:04 +0100 | fendor | (~fendor@77.119.210.182.wireless.dyn.drei.com) |
| 2022-03-12 16:01:09 +0100 | toulene | (~toulene@user/toulene) |
| 2022-03-12 16:01:52 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) |
| 2022-03-12 16:01:59 +0100 | <romesrf> | Hello! |
| 2022-03-12 16:02:09 +0100 | <romesrf> | What is your preferred way of doing this kind of case matching ? |
| 2022-03-12 16:02:11 +0100 | <romesrf> | https://paste.tomsmeding.com/hAKE6uAd |
| 2022-03-12 16:02:21 +0100 | <romesrf> | I was thinking there might be a cleaner way |
| 2022-03-12 16:04:28 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2022-03-12 16:06:59 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 256 seconds) |
| 2022-03-12 16:08:56 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 272 seconds) |
| 2022-03-12 16:08:57 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-03-12 16:09:13 +0100 | <geekosaur> | getArgs >>= \case … ? |
| 2022-03-12 16:11:00 +0100 | <geekosaur> | of course that doesn't work too well if you need to get at the other arguments as well; but by that point you may want to graduate to optparse-applicative or cmdargs or etc. |
| 2022-03-12 16:12:12 +0100 | <jackson99> | it works well enough for simple cases. ie ["--option", arg]. but yes, for more complex things optparse-applicative is nicer, and you get --help for free |
| 2022-03-12 16:13:52 +0100 | razetime | (~quassel@117.193.6.128) (Ping timeout: 250 seconds) |
| 2022-03-12 16:14:31 +0100 | Pickchea | (~private@user/pickchea) (Ping timeout: 245 seconds) |
| 2022-03-12 16:14:32 +0100 | <geekosaur> | mreh, if it's dependent on a value then you may be making a mistake in using Haskell instead of e.g. Idris |
| 2022-03-12 16:15:16 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 16:15:47 +0100 | <geekosaur> | but note that Symbol is a kind, not a type, and it is inhabited by types,not values |
| 2022-03-12 16:16:12 +0100 | <geekosaur> | I suspect you're going to tie yourself into knots trying to make that implementation work |
| 2022-03-12 16:17:42 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) (Remote host closed the connection) |
| 2022-03-12 16:19:56 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 16:20:53 +0100 | raym | (~raym@user/raym) |
| 2022-03-12 16:21:03 +0100 | razetime | (~quassel@117.254.34.232) |
| 2022-03-12 16:21:14 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-03-12 16:21:14 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) (Ping timeout: 250 seconds) |
| 2022-03-12 16:22:06 +0100 | romesrf | (~romes@44.190.189.46.rev.vodafone.pt) (Ping timeout: 252 seconds) |
| 2022-03-12 16:23:11 +0100 | namkeleser | (~namkelese@101.175.104.107) (Quit: Client closed) |
| 2022-03-12 16:24:21 +0100 | <mreh> | geekosaur: I was under the impressions that depdendent types were "working" in Haskell, with the right extensions |
| 2022-03-12 16:25:02 +0100 | <geekosaur> | not yet |
| 2022-03-12 16:25:08 +0100 | <mreh> | and yeah, I suppose Symbol is a kind really |
| 2022-03-12 16:25:42 +0100 | <geekosaur> | possibly you could make that work with a forall sym -> … (in 9.2 at least) but I think all you can thyen do with sym is use it in a TypeApplication |
| 2022-03-12 16:26:16 +0100 | <geekosaur> | this really is more an Idris kind of thing |
| 2022-03-12 16:26:46 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 16:27:09 +0100 | <mreh> | I was watching Stefanie Weirich make type safe regular expressions in Haskell with dependent typing |
| 2022-03-12 16:27:25 +0100 | <mreh> | Seems like there's a lot done |
| 2022-03-12 16:29:27 +0100 | <kuribas> | mreh: "working". What haskell has can at best emulate some of the behaviour of DT. It definitely doesn't have DT. |
| 2022-03-12 16:29:32 +0100 | <geekosaur> | I wonder if you want to look at the dependent-map package |
| 2022-03-12 16:30:22 +0100 | <mreh> | but what's missing? It doesn't have pi types, but you can simulate them |
| 2022-03-12 16:30:30 +0100 | <geekosaur> | and, definitely what kuribas said |
| 2022-03-12 16:31:14 +0100 | <kuribas> | mreh: DT means that types are just normal values, and you can write function over them. |
| 2022-03-12 16:31:46 +0100 | <kuribas> | mreh: in haskell, you need to use type families in order to write a function over a type. |
| 2022-03-12 16:31:55 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-12 16:32:07 +0100 | <geekosaur> | that was where this started out, actually |
| 2022-03-12 16:32:11 +0100 | <kuribas> | mreh: it's just one example. |
| 2022-03-12 16:32:18 +0100 | <geekosaur> | I still think it sounds more like a typeclass |
| 2022-03-12 16:32:47 +0100 | Graham31415 | (~Graham314@213.237.95.25) (Quit: Client closed) |
| 2022-03-12 16:32:54 +0100 | <mreh> | it could be |
| 2022-03-12 16:33:24 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-0d13-db80-1316-2ed6.res6.spectrum.com) (Ping timeout: 240 seconds) |
| 2022-03-12 16:34:56 +0100 | <mreh> | kuribas: okay |
| 2022-03-12 16:38:15 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 16:39:48 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 16:41:10 +0100 | mbuf | (~Shakthi@110.225.244.90) (Quit: Leaving) |
| 2022-03-12 16:41:48 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-03-12 16:42:55 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-12 16:43:00 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 16:43:22 +0100 | boborygmy_ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-12 16:43:23 +0100 | boborygmy__ | (~bob@pool-173-54-217-168.nwrknj.fios.verizon.net) |
| 2022-03-12 16:43:40 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 16:43:55 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2022-03-12 16:46:01 +0100 | acidjnk_new3 | (~acidjnk@p200300d0c7049f5489cda852442edc84.dip0.t-ipconnect.de) |
| 2022-03-12 16:46:09 +0100 | TonyStone | (~TonyStone@2603-7080-8607-c36a-0d13-db80-1316-2ed6.res6.spectrum.com) |
| 2022-03-12 16:46:17 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-03-12 16:46:27 +0100 | raehik | (~raehik@cpc95906-rdng25-2-0-cust156.15-3.cable.virginm.net) |
| 2022-03-12 16:46:57 +0100 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 272 seconds) |
| 2022-03-12 16:50:40 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-12 16:51:01 +0100 | <byorgey> | Hud: not sure exactly what you're asking. Why not just use kroki in the first place? And if you need to do it from within a Haskell program, you could still use the kroki API perhaps? |
| 2022-03-12 16:52:38 +0100 | <Midjak> | Hi anyone which is familiar with haskell LSP in Emacs. I tried servant tutorial and I am stuck with this issue https://github.com/haskell-servant/servant/issues/1559 . Any idea ? |
| 2022-03-12 16:53:19 +0100 | <Midjak> | tried several hie.yaml configuration without succeed |
| 2022-03-12 16:56:09 +0100 | <byorgey> | Midjak: try deleting .ghc/<whatever_version>/environments/default ? |
| 2022-03-12 16:56:28 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-12 16:57:19 +0100 | <byorgey> | Took me a long time to finally find that suggestion when that was happening to me. |
| 2022-03-12 16:57:51 +0100 | <Midjak> | byorgey, well I am not sure of the effect of this. I have haskell installed with ghcup. Is there an impact on the installation to remove this ? |
| 2022-03-12 16:58:14 +0100 | <geekosaur> | generally no; you should usually not be installing stuff in a way that would create that file |
| 2022-03-12 16:58:25 +0100 | <geekosaur> | it's far more likely to make messes than to help |
| 2022-03-12 16:59:47 +0100 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) |
| 2022-03-12 16:59:54 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-12 17:00:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 17:00:14 +0100 | <byorgey> | Midjak: should have no effect. |
| 2022-03-12 17:00:53 +0100 | <Midjak> | ok it works |
| 2022-03-12 17:01:00 +0100 | <Midjak> | Why ? |
| 2022-03-12 17:01:12 +0100 | <byorgey> | I wish I knew. |
| 2022-03-12 17:01:21 +0100 | <Midjak> | what is this folder ? |
| 2022-03-12 17:01:33 +0100 | <Midjak> | :-) byorgey |
| 2022-03-12 17:01:41 +0100 | <maerwald> | Midjak: you installed stuff via `cabal install --lib`? |
| 2022-03-12 17:01:56 +0100 | <maerwald> | that creates a global environment file that now all cabal invocations share |
| 2022-03-12 17:02:17 +0100 | <maerwald> | that can severly mess with builds |
| 2022-03-12 17:02:36 +0100 | <byorgey> | aha, TIL |
| 2022-03-12 17:02:47 +0100 | <Midjak> | no I have just tried `stack new test-servant servant` |
| 2022-03-12 17:03:10 +0100 | <maerwald> | I'm not aware of stack creating that file |
| 2022-03-12 17:04:26 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-12 17:04:31 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 245 seconds) |
| 2022-03-12 17:04:58 +0100 | <Midjak> | like here https://docs.servant.dev/en/stable/tutorial/install.html |
| 2022-03-12 17:06:09 +0100 | <Midjak> | perhaps it is a folder which is here for long time |
| 2022-03-12 17:06:37 +0100 | <Midjak> | I don't get the relation with lsp and hie |
| 2022-03-12 17:07:10 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-12 17:07:36 +0100 | lumberjack123 | (~alMalsamo@gateway/tor-sasl/almalsamo) (Ping timeout: 240 seconds) |
| 2022-03-12 17:08:14 +0100 | <Midjak> | 🤯 |
| 2022-03-12 17:09:26 +0100 | <Midjak> | is .ghc/<whatever_version>/environments/default documented somewhere ? |
| 2022-03-12 17:10:30 +0100 | zer0bitz_ | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 252 seconds) |
| 2022-03-12 17:11:40 +0100 | <geekosaur> | https://downloads.haskell.org/ghc/latest/docs/html/users_guide/packages.html#package-environments |
| 2022-03-12 17:12:02 +0100 | <Midjak> | thanks geekosaur |
| 2022-03-12 17:12:38 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 17:13:42 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-12 17:14:33 +0100 | <Midjak> | If I want to have a good overview about how cabal, stack and GHC works together. What should I read firstly ? |
| 2022-03-12 17:14:37 +0100 | jakalx | (~jakalx@base.jakalx.net) (Error from remote client) |
| 2022-03-12 17:15:57 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 240 seconds) |
| 2022-03-12 17:17:06 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2022-03-12 17:17:32 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-03-12 17:17:50 +0100 | <geekosaur> | sclv is probably the best person to ask about that. or ask in #hackage maybe |
| 2022-03-12 17:17:50 +0100 | vysn | (~vysn@user/vysn) (Ping timeout: 260 seconds) |
| 2022-03-12 17:18:12 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 252 seconds) |
| 2022-03-12 17:19:39 +0100 | <Midjak> | oh there is a chan for hackage ok |
| 2022-03-12 17:22:04 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2022-03-12 17:22:36 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2022-03-12 17:23:01 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-12 17:23:57 +0100 | Hud | (~Hud@ec2-18-144-90-195.us-west-1.compute.amazonaws.com) (Quit: Client closed) |
| 2022-03-12 17:23:58 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-12 17:24:43 +0100 | <sclv> | Midjak: https://gist.github.com/merijn/8152d561fb8b011f9313c48d876ceb07 |
| 2022-03-12 17:27:59 +0100 | <Midjak> | nice thank you sclv |
| 2022-03-12 17:30:01 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 17:34:58 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 268 seconds) |
| 2022-03-12 17:36:43 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 17:37:35 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) |
| 2022-03-12 17:39:21 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-03-12 17:41:37 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 256 seconds) |
| 2022-03-12 17:42:29 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 17:47:02 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 17:48:45 +0100 | icebreaker | (~icebreake@user/icebreaker) |
| 2022-03-12 17:48:51 +0100 | Unicorn_Princess | (~Unicorn_P@46-54-248-191.static.kate-wing.si) |
| 2022-03-12 17:53:49 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) (Ping timeout: 240 seconds) |
| 2022-03-12 17:58:44 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-12 18:00:43 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) (Excess Flood) |
| 2022-03-12 18:01:14 +0100 | acidsys | (~LSD@2a03:4000:55:d20::3) |
| 2022-03-12 18:05:00 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 18:05:06 +0100 | AlexNoo | (~AlexNoo@94.233.240.159) (Read error: Connection reset by peer) |
| 2022-03-12 18:05:28 +0100 | AlexNoo | (~AlexNoo@94.233.240.159) |
| 2022-03-12 18:06:03 +0100 | razetime | (~quassel@117.254.34.232) (Ping timeout: 252 seconds) |
| 2022-03-12 18:07:09 +0100 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) (Ping timeout: 252 seconds) |
| 2022-03-12 18:09:21 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 252 seconds) |
| 2022-03-12 18:09:54 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) |
| 2022-03-12 18:11:04 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 18:11:04 +0100 | vglfr | (~vglfr@46.96.129.189) (Read error: Connection reset by peer) |
| 2022-03-12 18:11:08 +0100 | <kuribas> | How do I make GADT record syntax? |
| 2022-03-12 18:11:20 +0100 | <kuribas> | I have "data FeatureSQL f where FeatureSQL { ..." |
| 2022-03-12 18:11:37 +0100 | <kuribas> | well "data FeatureSQL f where FeatureSQL { ...} -> FeatureSQL f" |
| 2022-03-12 18:11:46 +0100 | <kuribas> | it's having syntax error on '{' |
| 2022-03-12 18:12:41 +0100 | <monochrom> | FeatureSQL :: { ... } -> FeatureSQL f |
| 2022-03-12 18:13:21 +0100 | <kuribas> | that works, thanks! |
| 2022-03-12 18:14:13 +0100 | vglfr | (~vglfr@46.96.129.189) |
| 2022-03-12 18:14:34 +0100 | zebrag | (~chris@user/zebrag) (Quit: Konversation terminated!) |
| 2022-03-12 18:18:29 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:e074:d04a:8e4c:140f) |
| 2022-03-12 18:18:31 +0100 | ph88 | (~ph88@2001:1c05:2402:c600:f584:7ec0:6393:1fab) |
| 2022-03-12 18:19:13 +0100 | xkuru | (~xkuru@user/xkuru) |
| 2022-03-12 18:19:15 +0100 | kaph_ | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) |
| 2022-03-12 18:19:26 +0100 | kaph | (~kaph@net-109-116-124-149.cust.vodafonedsl.it) (Read error: Connection reset by peer) |
| 2022-03-12 18:19:49 +0100 | zebrag | (~chris@user/zebrag) |
| 2022-03-12 18:20:13 +0100 | ubert | (~Thunderbi@p200300ecdf19b7a24d515817a15e430d.dip0.t-ipconnect.de) |
| 2022-03-12 18:20:17 +0100 | tdammers | (~tdammers@77.109.72.177.res.static.edpnet.net) |
| 2022-03-12 18:27:22 +0100 | EvanR | (~EvanR@user/evanr) (Remote host closed the connection) |
| 2022-03-12 18:27:47 +0100 | EvanR | (~EvanR@user/evanr) |
| 2022-03-12 18:34:26 +0100 | mon_aaraj | (~MonAaraj@user/mon-aaraj/x-4416475) |
| 2022-03-12 18:35:56 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 240 seconds) |
| 2022-03-12 18:36:11 +0100 | __monty__ | (~toonn@user/toonn) (Ping timeout: 245 seconds) |
| 2022-03-12 18:36:55 +0100 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2022-03-12 18:37:28 +0100 | theproffesor | (~theproffe@c-24-9-30-127.hsd1.co.comcast.net) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | agumonke` | (~user@88.163.231.79) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | haasn | (~nand@haasn.dev) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | joo-_ | (~joo-_@fsf/member/joo--) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | echoreply | (~echoreply@45.32.163.16) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | pranshukhandal | (~ghost@envs.net) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | c_wraith | (~c_wraith@adjoint.us) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | cross | (~cross@spitfire.i.gajendra.net) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | Philonous | (~Philonous@user/philonous) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | hiredman | (~hiredman@frontier1.downey.family) (*.net *.split) |
| 2022-03-12 18:37:28 +0100 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) (*.net *.split) |
| 2022-03-12 18:38:02 +0100 | __monty__ | (~toonn@user/toonn) |
| 2022-03-12 18:38:02 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2022-03-12 18:40:04 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-12 18:42:57 +0100 | theproffesor | (~theproffe@c-24-9-30-127.hsd1.co.comcast.net) |
| 2022-03-12 18:42:57 +0100 | agumonke` | (~user@88.163.231.79) |
| 2022-03-12 18:42:57 +0100 | haasn | (~nand@haasn.dev) |
| 2022-03-12 18:42:57 +0100 | joo-_ | (~joo-_@fsf/member/joo--) |
| 2022-03-12 18:42:57 +0100 | echoreply | (~echoreply@45.32.163.16) |
| 2022-03-12 18:42:57 +0100 | pranshukhandal | (~ghost@envs.net) |
| 2022-03-12 18:42:57 +0100 | c_wraith | (~c_wraith@adjoint.us) |
| 2022-03-12 18:42:57 +0100 | cross | (~cross@spitfire.i.gajendra.net) |
| 2022-03-12 18:42:57 +0100 | Philonous | (~Philonous@user/philonous) |
| 2022-03-12 18:42:57 +0100 | ncopa | (~ncopa@alpine/developer/ncopa) |
| 2022-03-12 18:42:57 +0100 | hiredman | (~hiredman@frontier1.downey.family) |
| 2022-03-12 18:42:57 +0100 | mjrosenb | (~mjrosenb@pool-108-54-97-96.nycmny.fios.verizon.net) |
| 2022-03-12 18:46:48 +0100 | romesrf | (~romes@198.177.63.94.rev.vodafone.pt) |
| 2022-03-12 18:47:25 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) |
| 2022-03-12 18:48:51 +0100 | <hpc> | on the topic of that gadt question, it would be nice if you could use that syntax for regular functions too |
| 2022-03-12 18:49:08 +0100 | <hpc> | so instead of having to write runFoo defaultOptions {...} you just write runFoo {...} |
| 2022-03-12 18:49:43 +0100 | <hpc> | and what runFoo can do is right there in its type signature instead of off in this other data definition |
| 2022-03-12 18:51:22 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-12 18:53:20 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 250 seconds) |
| 2022-03-12 18:56:37 +0100 | vglfr | (~vglfr@46.96.129.189) (Ping timeout: 240 seconds) |
| 2022-03-12 19:00:34 +0100 | romesrf | (~romes@198.177.63.94.rev.vodafone.pt) (Quit: WeeChat 3.4) |
| 2022-03-12 19:03:07 +0100 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2022-03-12 19:03:25 +0100 | thaumavorio | (~thaumavor@thaumavor.io) |
| 2022-03-12 19:10:52 +0100 | seriley_ | (~seriley@75.164.66.230) |
| 2022-03-12 19:14:18 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 19:16:10 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-03-12 19:16:27 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 252 seconds) |
| 2022-03-12 19:17:57 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Ping timeout: 268 seconds) |
| 2022-03-12 19:19:18 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) |
| 2022-03-12 19:20:15 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) |
| 2022-03-12 19:28:21 +0100 | kuribas | (~user@ptr-25vy0i9hz776i7usnbt.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2022-03-12 19:28:57 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Remote host closed the connection) |
| 2022-03-12 19:32:02 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 19:32:34 +0100 | dsrt^ | (~dsrt@50.232.121.75) |
| 2022-03-12 19:33:03 +0100 | dyeplexer | (~dyeplexer@user/dyeplexer) (Remote host closed the connection) |
| 2022-03-12 19:37:06 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 250 seconds) |
| 2022-03-12 19:38:19 +0100 | ProfSimm | (~ProfSimm@87.227.196.109) |
| 2022-03-12 19:38:48 +0100 | <hololeap> | this is a really good album: https://bluetech.bandcamp.com/album/the-four-horsemen-of-the-electrocalypse |
| 2022-03-12 19:38:55 +0100 | kjak | (~kjak@pool-108-45-56-21.washdc.fios.verizon.net) (Ping timeout: 256 seconds) |
| 2022-03-12 19:39:04 +0100 | <hololeap> | oops wrong channel haha |
| 2022-03-12 19:41:14 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2022-03-12 19:42:09 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-12 19:42:23 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 19:44:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2022-03-12 19:44:51 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2022-03-12 19:46:07 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-12 19:47:59 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2022-03-12 19:48:22 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-12 19:53:56 +0100 | econo | (uid147250@user/econo) |
| 2022-03-12 19:55:20 +0100 | DNH | (~DNH@2a02:8108:1100:16d8:cd8d:5007:4dbd:9c24) |
| 2022-03-12 19:55:52 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 19:59:23 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-12 20:01:25 +0100 | phma | (~phma@host-67-44-209-27.hnremote.net) (Read error: Connection reset by peer) |
| 2022-03-12 20:01:56 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 240 seconds) |
| 2022-03-12 20:02:00 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-12 20:05:04 +0100 | <sm> | good to know |
| 2022-03-12 20:05:15 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2022-03-12 20:11:10 +0100 | Giovanni | (~Giovanni@176.55.170.26) |
| 2022-03-12 20:13:19 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2022-03-12 20:13:33 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2022-03-12 20:13:57 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-03-12 20:17:10 +0100 | zmt00 | (~zmt00@user/zmt00) |
| 2022-03-12 20:17:57 +0100 | zmt01 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-03-12 20:19:25 +0100 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2022-03-12 20:21:01 +0100 | deadmars- | (~deadmarsh@95.38.119.200) (Ping timeout: 272 seconds) |
| 2022-03-12 20:23:34 +0100 | zmt01 | (~zmt00@user/zmt00) |
| 2022-03-12 20:23:57 +0100 | zmt00 | (~zmt00@user/zmt00) (Ping timeout: 240 seconds) |
| 2022-03-12 20:25:22 +0100 | waleee | (~waleee@2001:9b0:213:7200:cc36:a556:b1e8:b340) |
| 2022-03-12 20:26:17 +0100 | jushur | (~human@user/jushur) |
| 2022-03-12 20:28:29 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:e7c4:5253:dd7b:aefb) (Ping timeout: 252 seconds) |
| 2022-03-12 20:29:36 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2022-03-12 20:30:38 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-03-12 20:32:42 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Remote host closed the connection) |
| 2022-03-12 20:32:44 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2022-03-12 20:32:49 +0100 | euandreh | (~euandreh@2804:14c:33:9fe5:2e86:80a5:f58b:d1a4) |
| 2022-03-12 20:40:44 +0100 | zoglesby | (f0f8ca1525@user/zoglesby) |
| 2022-03-12 20:41:29 +0100 | drdo6 | (~drdo@roach0.drdo.eu) |
| 2022-03-12 20:43:49 +0100 | drdo | (~drdo@roach0.drdo.eu) (Ping timeout: 272 seconds) |
| 2022-03-12 20:43:49 +0100 | drdo6 | drdo |
| 2022-03-12 20:48:49 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 20:53:15 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 252 seconds) |
| 2022-03-12 20:55:44 +0100 | eggplantade | (~Eggplanta@2600:1700:bef1:5e10:450f:4341:cc7f:7cce) |
| 2022-03-12 20:58:51 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2022-03-12 21:00:17 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 272 seconds) |
| 2022-03-12 21:00:50 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2022-03-12 21:01:38 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2022-03-12 21:02:36 +0100 | gehmehgeh | (~user@user/gehmehgeh) |
| 2022-03-12 21:02:49 +0100 | Katarushisu | (~Katarushi@cpc147334-finc20-2-0-cust27.4-2.cable.virginm.net) |
| 2022-03-12 21:03:00 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) |
| 2022-03-12 21:07:37 +0100 | yauhsien | (~yauhsien@61-231-44-111.dynamic-ip.hinet.net) (Ping timeout: 240 seconds) |
| 2022-03-12 21:09:46 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 21:12:33 +0100 | jackson99 | (~bc8147f2@cerf.good1.com) (Quit: CGI:IRC (Session timeout)) |
| 2022-03-12 21:17:43 +0100 | fm | (~fm@thx123.olf.sgsnet.se) |
| 2022-03-12 21:17:43 +0100 | fm | fredin |
| 2022-03-12 21:18:14 +0100 | fredin | (~fm@thx123.olf.sgsnet.se) (Client Quit) |
| 2022-03-12 21:19:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 21:36:00 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) |
| 2022-03-12 21:37:24 +0100 | deadmarshal_ | (~deadmarsh@95.38.119.200) |
| 2022-03-12 21:40:31 +0100 | zincy_ | (~zincy@host86-160-236-152.range86-160.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2022-03-12 21:42:13 +0100 | deadmarshal_ | (~deadmarsh@95.38.119.200) (Ping timeout: 256 seconds) |
| 2022-03-12 21:44:49 +0100 | fryguybob | (~fryguybob@cpe-74-67-169-145.rochester.res.rr.com) |
| 2022-03-12 21:44:59 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) |
| 2022-03-12 21:45:09 +0100 | coot | (~coot@213.134.190.95) (Quit: coot) |
| 2022-03-12 21:45:46 +0100 | coot | (~coot@213.134.190.95) |
| 2022-03-12 21:46:04 +0100 | mikoto-chan | (~mikoto-ch@213.177.151.239) (Read error: No route to host) |
| 2022-03-12 21:51:01 +0100 | zer0bitz | (~zer0bitz@dsl-hkibng32-54fbf8-224.dhcp.inet.fi) (Ping timeout: 240 seconds) |
| 2022-03-12 21:59:26 +0100 | alp | (~alp@user/alp) |
| 2022-03-12 22:01:45 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 22:03:05 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.4) |
| 2022-03-12 22:03:39 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 22:04:22 +0100 | _ht | (~quassel@231-169-21-31.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2022-03-12 22:04:32 +0100 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2022-03-12 22:08:37 +0100 | pavonia | (~user@user/siracusa) |
| 2022-03-12 22:08:57 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 22:11:01 +0100 | dyniec | (~dyniec@mail.dybiec.info) (Quit: WeeChat 3.3) |
| 2022-03-12 22:19:10 +0100 | merijn | (~merijn@c-001-001-005.client.esciencecenter.eduvpn.nl) (Ping timeout: 250 seconds) |
| 2022-03-12 22:30:51 +0100 | dyniec | (~dyniec@mail.dybiec.info) |
| 2022-03-12 22:33:12 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-03-12 22:41:56 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) (Ping timeout: 240 seconds) |
| 2022-03-12 22:49:00 +0100 | wyrd | (~wyrd@gateway/tor-sasl/wyrd) |
| 2022-03-12 22:49:54 +0100 | <maerwald> | "Module `Prelude' does not export `(<>)'" |
| 2022-03-12 22:50:03 +0100 | <maerwald> | I wonder how many manhours these things have wasted |
| 2022-03-12 23:01:31 +0100 | hololeap | (~hololeap@user/hololeap) (Excess Flood) |
| 2022-03-12 23:02:48 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2022-03-12 23:02:54 +0100 | hololeap | (~hololeap@user/hololeap) |
| 2022-03-12 23:04:09 +0100 | Giovanni | (~Giovanni@176.55.170.26) (Ping timeout: 252 seconds) |
| 2022-03-12 23:08:07 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) |
| 2022-03-12 23:08:15 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Remote host closed the connection) |
| 2022-03-12 23:09:06 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 252 seconds) |
| 2022-03-12 23:09:54 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2022-03-12 23:12:26 +0100 | jgeerds | (~jgeerds@55d4548e.access.ecotel.net) |
| 2022-03-12 23:20:49 +0100 | agumonke` | (~user@88.163.231.79) (Ping timeout: 256 seconds) |
| 2022-03-12 23:25:02 +0100 | alp | (~alp@user/alp) (Ping timeout: 250 seconds) |
| 2022-03-12 23:25:35 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Quit: WeeChat 3.4) |
| 2022-03-12 23:26:36 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) |
| 2022-03-12 23:29:36 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) (Read error: Connection reset by peer) |
| 2022-03-12 23:30:04 +0100 | _xor | (~xor@dsl-50-5-233-169.fuse.net) |
| 2022-03-12 23:31:06 +0100 | zincy_ | (~zincy@2a00:23c8:970c:4801:d22:fd9a:65d6:50a8) (Ping timeout: 252 seconds) |
| 2022-03-12 23:33:15 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Ping timeout: 268 seconds) |
| 2022-03-12 23:35:49 +0100 | lottaquestions | (~nick@2607:fa49:5041:a200:e074:d04a:8e4c:140f) (Ping timeout: 240 seconds) |
| 2022-03-12 23:39:45 +0100 | cosimone | (~user@2001:b07:ae5:db26:c24a:d20:4d91:1e20) (Quit: ERC (IRC client for Emacs 27.1)) |
| 2022-03-12 23:46:55 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-03-12 23:49:24 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-03-12 23:52:00 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-03-12 23:54:20 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) (Max SendQ exceeded) |
| 2022-03-12 23:57:38 +0100 | Raito_Bezarius | (~Raito@wireguard/tunneler/raito-bezarius) |
| 2022-03-12 23:58:36 +0100 | mcgroin | (~mcgroin@roc37-h01-176-170-197-243.dsl.sta.abo.bbox.fr) (Ping timeout: 252 seconds) |