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