| 2023-01-29 00:02:55 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 00:04:52 +0100 | Alex_test | (~al_test@178.34.160.228) |
| 2023-01-29 00:06:12 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 252 seconds) |
| 2023-01-29 00:06:29 +0100 | manwithluck | (~manwithlu@194.177.28.192) (Remote host closed the connection) |
| 2023-01-29 00:06:32 +0100 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) (Quit: Bye!) |
| 2023-01-29 00:08:14 +0100 | jbalint | (~jbalint@2600:6c44:117f:e98a:816a:9488:fb1:7b7) |
| 2023-01-29 00:08:17 +0100 | manwithluck | (~manwithlu@194.177.28.192) |
| 2023-01-29 00:08:36 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 268 seconds) |
| 2023-01-29 00:10:35 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) |
| 2023-01-29 00:10:35 +0100 | haritz | (~hrtz@82-69-11-11.dsl.in-addr.zen.co.uk) (Changing host) |
| 2023-01-29 00:10:35 +0100 | haritz | (~hrtz@user/haritz) |
| 2023-01-29 00:22:22 +0100 | dequbed | (~dequbed@banana-new.kilobyte22.de) (Quit: bye!) |
| 2023-01-29 00:22:42 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Ping timeout: 252 seconds) |
| 2023-01-29 00:23:27 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-29 00:24:28 +0100 | dequbed | (~dequbed@banana-new.kilobyte22.de) |
| 2023-01-29 00:27:07 +0100 | jushur | (~human@user/jushur) |
| 2023-01-29 00:29:21 +0100 | AlexNoo_ | (~AlexNoo@178.34.160.79) |
| 2023-01-29 00:30:51 +0100 | aaronm04 | (~user@user/aaronm04) (Quit: WeeChat 3.6) |
| 2023-01-29 00:31:43 +0100 | AlexZenon | (~alzenon@178.34.160.228) (Ping timeout: 248 seconds) |
| 2023-01-29 00:32:55 +0100 | AlexNoo | (~AlexNoo@178.34.160.228) (Ping timeout: 260 seconds) |
| 2023-01-29 00:33:10 +0100 | Alex_test | (~al_test@178.34.160.228) (Ping timeout: 260 seconds) |
| 2023-01-29 00:34:13 +0100 | Guest75 | (~Guest75@178.141.149.12) (Ping timeout: 260 seconds) |
| 2023-01-29 00:35:47 +0100 | AlexZenon | (~alzenon@178.34.160.79) |
| 2023-01-29 00:37:41 +0100 | Alex_test | (~al_test@178.34.160.79) |
| 2023-01-29 00:39:02 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 00:43:25 +0100 | aaronm04 | (~user@user/aaronm04) |
| 2023-01-29 00:43:27 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-29 00:43:50 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) |
| 2023-01-29 00:44:00 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-29 00:49:16 +0100 | jushur | (~human@user/jushur) (Quit: ¯\_(ツ)_/¯) |
| 2023-01-29 00:52:49 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 252 seconds) |
| 2023-01-29 00:56:32 +0100 | fut | (~futar@129.234.0.191) |
| 2023-01-29 00:57:00 +0100 | fut | (~futar@129.234.0.191) () |
| 2023-01-29 01:02:40 +0100 | f2 | (~f@129.234.0.191) |
| 2023-01-29 01:03:06 +0100 | f2 | (~f@129.234.0.191) (Client Quit) |
| 2023-01-29 01:03:54 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 01:10:07 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-29 01:18:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-29 01:26:08 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 01:30:34 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-01-29 01:39:43 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Remote host closed the connection) |
| 2023-01-29 01:50:33 +0100 | dsrt^ | (~dsrt@c-24-30-76-89.hsd1.ga.comcast.net) |
| 2023-01-29 01:55:03 +0100 | acidjnk | (~acidjnk@p200300d6e715c413fca66e98e589647d.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-01-29 01:55:43 +0100 | opticblast | (~Thunderbi@172.58.84.5) |
| 2023-01-29 01:56:16 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 02:00:41 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-01-29 02:08:02 +0100 | ell | (~ellie@user/ellie) (Quit: Ping timeout (120 seconds)) |
| 2023-01-29 02:08:21 +0100 | ell | (~ellie@user/ellie) |
| 2023-01-29 02:13:53 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) |
| 2023-01-29 02:18:51 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-29 02:18:51 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-29 02:18:51 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-29 02:22:11 +0100 | motherfsck | (~motherfsc@user/motherfsck) |
| 2023-01-29 02:24:17 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 02:28:31 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-29 02:28:57 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:513f:f9f8:1fe4:d246) (Remote host closed the connection) |
| 2023-01-29 02:35:58 +0100 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-01-29 02:44:21 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) (Ping timeout: 255 seconds) |
| 2023-01-29 02:46:25 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 02:48:15 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-01-29 02:50:55 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-29 02:55:08 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) |
| 2023-01-29 02:56:06 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-29 02:56:06 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-29 02:56:06 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-29 03:04:16 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 03:08:32 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-29 03:14:23 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-29 03:15:25 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Client Quit) |
| 2023-01-29 03:29:22 +0100 | jimmy2shoots | (~igloo@071-085-131-232.res.spectrum.com) |
| 2023-01-29 03:34:18 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 03:36:59 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-29 03:38:22 +0100 | jimmy2shoots | (~igloo@071-085-131-232.res.spectrum.com) (Remote host closed the connection) |
| 2023-01-29 03:39:47 +0100 | gehmehgeh | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-01-29 03:49:26 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-01-29 03:58:26 +0100 | unit73e | (~emanuel@2001:818:e8dd:7c00:656:e5ff:fe72:9d36) (Remote host closed the connection) |
| 2023-01-29 04:01:52 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-01-29 04:03:05 +0100 | A_Cow | oldfashionedcow |
| 2023-01-29 04:06:22 +0100 | razetime | (~Thunderbi@117.193.7.249) |
| 2023-01-29 04:07:33 +0100 | bilegeek | (~bilegeek@2600:1008:b020:8240:8b42:f523:cd42:2b12) |
| 2023-01-29 04:13:25 +0100 | jargon | (~jargon@184.101.188.5) |
| 2023-01-29 04:14:26 +0100 | gmg | (~user@user/gehmehgeh) (Ping timeout: 255 seconds) |
| 2023-01-29 04:14:55 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-29 04:15:39 +0100 | td_ | (~td@i53870921.versanet.de) (Ping timeout: 260 seconds) |
| 2023-01-29 04:17:05 +0100 | td_ | (~td@i5387093F.versanet.de) |
| 2023-01-29 04:25:22 +0100 | stevenxl | (uid133530@id-133530.uxbridge.irccloud.com) |
| 2023-01-29 04:32:29 +0100 | eruditass | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-01-29 04:41:58 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-01-29 04:41:58 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-29 04:41:58 +0100 | finn_elija | FinnElija |
| 2023-01-29 04:47:20 +0100 | ddellacosta | (~ddellacos@89.45.224.33) (Ping timeout: 268 seconds) |
| 2023-01-29 05:03:34 +0100 | aeroplane | (~user@user/aeroplane) (Remote host closed the connection) |
| 2023-01-29 05:05:55 +0100 | razetime | (~Thunderbi@117.193.7.249) (Ping timeout: 260 seconds) |
| 2023-01-29 05:09:28 +0100 | ddellacosta | (~ddellacos@143.244.47.83) |
| 2023-01-29 05:21:19 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 248 seconds) |
| 2023-01-29 05:29:11 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-01-29 05:34:18 +0100 | Guest75 | (~Guest75@178.141.149.12) |
| 2023-01-29 05:38:50 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) (Ping timeout: 260 seconds) |
| 2023-01-29 05:38:51 +0100 | bilegeek | (~bilegeek@2600:1008:b020:8240:8b42:f523:cd42:2b12) (Quit: Leaving) |
| 2023-01-29 05:50:31 +0100 | troydm | (~troydm@user/troydm) |
| 2023-01-29 05:57:44 +0100 | slack1256 | (~slack1256@181.42.52.9) (Remote host closed the connection) |
| 2023-01-29 05:58:00 +0100 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
| 2023-01-29 05:58:47 +0100 | Midjak | (~Midjak@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2023-01-29 06:00:31 +0100 | nonzen | (~nonzen@user/nonzen) (Ping timeout: 260 seconds) |
| 2023-01-29 06:00:49 +0100 | sajith | (~sajith@user/sajith) (Ping timeout: 252 seconds) |
| 2023-01-29 06:01:44 +0100 | tstat | (~tstat@user/tstat) (Ping timeout: 246 seconds) |
| 2023-01-29 06:01:55 +0100 | krjst | (~krjst@2604:a880:800:c1::16b:8001) (Ping timeout: 260 seconds) |
| 2023-01-29 06:01:55 +0100 | heath | (~heath@user/heath) (Ping timeout: 260 seconds) |
| 2023-01-29 06:02:02 +0100 | oats | (~thomas@user/oats) (Ping timeout: 246 seconds) |
| 2023-01-29 06:02:28 +0100 | energizer | (~energizer@user/energizer) (Ping timeout: 252 seconds) |
| 2023-01-29 06:02:45 +0100 | russruss | (~russruss@my.russellmcc.com) (Ping timeout: 260 seconds) |
| 2023-01-29 06:04:45 +0100 | foul_owl | (~kerry@71.212.143.88) |
| 2023-01-29 06:08:48 +0100 | sajith | (~sajith@user/sajith) |
| 2023-01-29 06:09:33 +0100 | nonzen | (~nonzen@user/nonzen) |
| 2023-01-29 06:10:03 +0100 | krjst | (~krjst@2604:a880:800:c1::16b:8001) |
| 2023-01-29 06:11:34 +0100 | oats | (~thomas@user/oats) |
| 2023-01-29 06:11:37 +0100 | tstat | (~tstat@user/tstat) |
| 2023-01-29 06:12:20 +0100 | opticblast | (~Thunderbi@172.58.84.5) (Read error: Connection reset by peer) |
| 2023-01-29 06:12:38 +0100 | opticblast | (~Thunderbi@172.58.84.5) |
| 2023-01-29 06:12:48 +0100 | energizer | (~energizer@user/energizer) |
| 2023-01-29 06:15:02 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 255 seconds) |
| 2023-01-29 06:15:59 +0100 | heath | (~heath@user/heath) |
| 2023-01-29 06:17:03 +0100 | jackhill | KM4MBG |
| 2023-01-29 06:17:25 +0100 | foul_owl | (~kerry@71.212.143.88) (Quit: WeeChat 2.3) |
| 2023-01-29 06:17:37 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-29 06:18:20 +0100 | KM4MBG | jackhill[m] |
| 2023-01-29 06:18:26 +0100 | jackhill[m] | jackhill |
| 2023-01-29 06:22:38 +0100 | razetime | (~Thunderbi@117.193.7.249) |
| 2023-01-29 06:23:56 +0100 | russruss | (~russruss@my.russellmcc.com) |
| 2023-01-29 06:25:02 +0100 | foul_owl | (~kerry@71.212.143.88) |
| 2023-01-29 06:38:54 +0100 | waleee | (~waleee@2001:9b0:21c:4000:5bf9:6515:c030:57b7) (Ping timeout: 252 seconds) |
| 2023-01-29 06:39:17 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-29 06:39:17 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-29 06:39:17 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-29 06:44:55 +0100 | stevenxl | (uid133530@id-133530.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-29 06:52:11 +0100 | libertyprime | (~libertypr@203.96.203.167) |
| 2023-01-29 07:03:37 +0100 | libertyprime | (~libertypr@203.96.203.167) (Ping timeout: 268 seconds) |
| 2023-01-29 07:07:30 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 260 seconds) |
| 2023-01-29 07:32:39 +0100 | falafel | (~falafel@2607:fb91:1449:aea0:b035:594b:ba87:1cbb) |
| 2023-01-29 07:33:46 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-29 07:34:24 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-29 07:36:31 +0100 | opticblast | (~Thunderbi@172.58.84.5) (Ping timeout: 252 seconds) |
| 2023-01-29 07:46:14 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-01-29 07:48:48 +0100 | opticblast | (~Thunderbi@172.58.84.5) |
| 2023-01-29 07:49:47 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 07:52:17 +0100 | dtman34 | (~dtman34@76.156.89.180) |
| 2023-01-29 07:53:15 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-01-29 07:58:49 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-01-29 07:59:26 +0100 | zachel | (~zachel@user/zachel) (Remote host closed the connection) |
| 2023-01-29 08:08:52 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-29 08:09:59 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-29 08:13:39 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-01-29 08:15:31 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) (Read error: No route to host) |
| 2023-01-29 08:21:27 +0100 | inversed | (~inversed@bcdcac82.skybroadband.com) |
| 2023-01-29 08:29:16 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 08:33:38 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 246 seconds) |
| 2023-01-29 08:37:35 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-01-29 08:37:51 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:5582:a4fc:2e23:bfc5) (Remote host closed the connection) |
| 2023-01-29 08:38:10 +0100 | use-value | (~Thunderbi@2a00:23c6:8a03:2f01:75c2:a71f:beaa:29bf) |
| 2023-01-29 08:39:47 +0100 | jelewis2 | (~lewisje@72.49.207.113) (Ping timeout: 264 seconds) |
| 2023-01-29 08:43:45 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) (Quit: WeeChat 3.8) |
| 2023-01-29 08:53:30 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 08:54:39 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) (Ping timeout: 248 seconds) |
| 2023-01-29 08:58:20 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-01-29 09:00:00 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-29 09:00:19 +0100 | dtman34 | (~dtman34@76.156.89.180) (Ping timeout: 260 seconds) |
| 2023-01-29 09:03:19 +0100 | dtman34 | (~dtman34@2601:447:d000:93c9:187f:7b7b:3012:4a8d) |
| 2023-01-29 09:04:30 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 09:05:06 +0100 | foul_owl | (~kerry@71.212.143.88) (Ping timeout: 268 seconds) |
| 2023-01-29 09:06:08 +0100 | <Inst_> | [exa] I can't run pkg-config |
| 2023-01-29 09:06:22 +0100 | <Inst_> | ehhh, back to being depressed about Haskell |
| 2023-01-29 09:06:42 +0100 | <Inst_> | working with a Clojurist who's happy working in Python, especially since Python being bad makes him money when he's hired to clean up |
| 2023-01-29 09:06:55 +0100 | <Inst_> | I literally can't get the Haskell cleaner than the Python version |
| 2023-01-29 09:14:08 +0100 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Quit: myxokeph) |
| 2023-01-29 09:14:23 +0100 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-01-29 09:18:31 +0100 | foul_owl | (~kerry@193.29.61.202) |
| 2023-01-29 09:19:20 +0100 | falafel | (~falafel@2607:fb91:1449:aea0:b035:594b:ba87:1cbb) (Ping timeout: 260 seconds) |
| 2023-01-29 09:23:29 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-29 09:23:29 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-01-29 09:23:29 +0100 | finn_elija | FinnElija |
| 2023-01-29 09:48:44 +0100 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) (Remote host closed the connection) |
| 2023-01-29 09:53:34 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection) |
| 2023-01-29 09:55:04 +0100 | myxokeph | (~myxokeph@cpe-65-28-251-121.cinci.res.rr.com) |
| 2023-01-29 09:56:15 +0100 | zeenk | (~zeenk@2a02:2f04:a014:8700::7fe) |
| 2023-01-29 09:56:58 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-01-29 09:59:29 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-01-29 10:00:12 +0100 | gqplox[m] | (~gqploxmat@2001:470:69fc:105::2:d10d) (Quit: You have been kicked for being idle) |
| 2023-01-29 10:00:51 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-01-29 10:17:25 +0100 | <sm> | darn.. https://hackage.haskell.org/package/pager, or terminfo, is not well supported on windows |
| 2023-01-29 10:24:02 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-01-29 10:25:28 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-29 10:26:24 +0100 | rembo10 | (~rembo10@main.remulis.com) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-01-29 10:27:48 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-01-29 10:28:33 +0100 | rembo10 | (~rembo10@main.remulis.com) |
| 2023-01-29 10:37:50 +0100 | acidjnk | (~acidjnk@p200300d6e715c427397aaa65a333c5a9.dip0.t-ipconnect.de) |
| 2023-01-29 10:38:11 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 255 seconds) |
| 2023-01-29 10:47:21 +0100 | cheater_ | (~Username@user/cheater) |
| 2023-01-29 10:50:06 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-29 10:50:40 +0100 | cheater | (~Username@user/cheater) (Ping timeout: 252 seconds) |
| 2023-01-29 10:50:47 +0100 | cheater_ | cheater |
| 2023-01-29 10:51:48 +0100 | rburkholder | (~blurb@96.45.2.121) (Ping timeout: 268 seconds) |
| 2023-01-29 10:53:07 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-29 10:54:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) |
| 2023-01-29 10:58:43 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Ping timeout: 260 seconds) |
| 2023-01-29 11:13:13 +0100 | briandaed | (~briandaed@185.234.210.211) |
| 2023-01-29 11:15:28 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Quit: coot) |
| 2023-01-29 11:17:54 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 11:17:56 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-29 11:21:32 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-29 11:22:39 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-29 11:25:14 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-01-29 11:25:59 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-29 11:26:15 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-29 11:30:25 +0100 | freeside | (~mengwong@103.252.202.170) (Remote host closed the connection) |
| 2023-01-29 11:32:23 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-29 11:35:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-29 11:35:38 +0100 | jtza8 | (~user@165.255.34.21) |
| 2023-01-29 11:38:14 +0100 | <Inst_> | GHCI will not spark, right? |
| 2023-01-29 11:38:23 +0100 | Inst_ | Inst |
| 2023-01-29 11:38:28 +0100 | gqplox[m] | (~gqploxmat@2001:470:69fc:105::2:d10d) |
| 2023-01-29 11:38:55 +0100 | <Inst> | In informal benchmarks I've done with GHCI, I don't see any performance improvements |
| 2023-01-29 11:39:25 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-29 11:43:41 +0100 | <Inst> | also, is a vector of vectors a bad idea in Haskell? |
| 2023-01-29 11:43:56 +0100 | <Inst> | like, I can have a vector containing vectors that are 3 elements long, 8 elements long |
| 2023-01-29 11:44:02 +0100 | <Inst> | am I going to end up recreating the vector if I do this? |
| 2023-01-29 11:47:15 +0100 | jtza8 | (~user@165.255.34.21) (Remote host closed the connection) |
| 2023-01-29 11:48:40 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.wa.comcast.net) (Quit: zzz) |
| 2023-01-29 11:48:53 +0100 | jtza8 | (~user@165.255.34.21) |
| 2023-01-29 11:52:26 +0100 | econo | (uid147250@user/econo) (Quit: Connection closed for inactivity) |
| 2023-01-29 11:53:15 +0100 | mikoto-chan | (~mikoto-ch@2001:999:401:530e:b6da:f4ef:2c6b:3dcc) |
| 2023-01-29 11:57:37 +0100 | mechap | (~mechap@user/mechap) |
| 2023-01-29 12:07:59 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 264 seconds) |
| 2023-01-29 12:09:16 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-01-29 12:10:24 +0100 | mmhat | (~mmh@p200300f1c707bee5ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-01-29 12:10:50 +0100 | mmhat | (~mmh@p200300f1c707bee5ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-01-29 12:19:16 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-01-29 12:20:22 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-01-29 12:22:54 +0100 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-29 12:24:56 +0100 | ahrm | (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net) |
| 2023-01-29 12:25:27 +0100 | ahrm | (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net) (Client Quit) |
| 2023-01-29 12:36:46 +0100 | ahrm | (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net) |
| 2023-01-29 12:37:11 +0100 | ahrm | (~Thunderbi@cpc68288-cdif17-2-0-cust110.5-1.cable.virginm.net) (Client Quit) |
| 2023-01-29 12:56:15 +0100 | acidjnk | (~acidjnk@p200300d6e715c427397aaa65a333c5a9.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2023-01-29 12:56:23 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) |
| 2023-01-29 13:01:00 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Ping timeout: 260 seconds) |
| 2023-01-29 13:14:42 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-29 13:15:50 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-29 13:19:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-29 13:21:59 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-29 13:23:29 +0100 | razetime | (~Thunderbi@117.193.7.249) (Ping timeout: 268 seconds) |
| 2023-01-29 13:25:17 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) |
| 2023-01-29 13:27:40 +0100 | acidjnk | (~acidjnk@p200300d6e715c427397aaa65a333c5a9.dip0.t-ipconnect.de) |
| 2023-01-29 13:28:27 +0100 | coot | (~coot@2a02:a310:e241:1b00:ec1a:e9df:79ac:66ba) (Client Quit) |
| 2023-01-29 13:32:42 +0100 | nschoe | (~q@2a01:e0a:8e:a190:272b:a5f1:e051:dc23) |
| 2023-01-29 13:33:48 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-01-29 13:35:06 +0100 | mei | (~mei@user/mei) |
| 2023-01-29 13:41:33 +0100 | eruditass | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-29 13:42:49 +0100 | zeenk | (~zeenk@2a02:2f04:a014:8700::7fe) (Quit: Konversation terminated!) |
| 2023-01-29 13:48:35 +0100 | oldfashionedcow | (~Rahul_San@user/oldfashionedcow) |
| 2023-01-29 13:51:42 +0100 | varoo | (~varoo@122.161.91.19) |
| 2023-01-29 13:59:05 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5dbc:1bef:ff30:3f07) |
| 2023-01-29 14:00:34 +0100 | <[exa]> | Inst: what is the python vs haskell problem btw? |
| 2023-01-29 14:02:47 +0100 | biberu | (~biberu@user/biberu) (Read error: Connection reset by peer) |
| 2023-01-29 14:03:11 +0100 | <[exa]> | Inst: anyway, re that package and pkg-config -- you're hitting windows tooling problems, mostly because windows tooling just sucks at a level that is absolutely incomparable to anything sane, and only very limited amount of people are willing to deal with that. And these might not really include the cpython package devs (and I think their decision would be the reasonable one). Just go for WSL. :] |
| 2023-01-29 14:07:15 +0100 | biberu | (~biberu@user/biberu) |
| 2023-01-29 14:09:26 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-01-29 14:09:30 +0100 | bontaq | (~user@ool-45779fe5.dyn.optonline.net) |
| 2023-01-29 14:10:01 +0100 | mei | (~mei@user/mei) |
| 2023-01-29 14:12:30 +0100 | beteigeuze | (~Thunderbi@bl14-81-220.dsl.telepac.pt) |
| 2023-01-29 14:12:41 +0100 | razetime | (~Thunderbi@117.193.7.249) |
| 2023-01-29 14:12:53 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:5dbc:1bef:ff30:3f07) (Quit: WeeChat 2.8) |
| 2023-01-29 14:17:08 +0100 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
| 2023-01-29 14:23:23 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 14:24:39 +0100 | trev_ | (~trev@109.252.35.99) |
| 2023-01-29 14:29:46 +0100 | mei | (~mei@user/mei) (Quit: mei) |
| 2023-01-29 14:30:25 +0100 | mei | (~mei@user/mei) |
| 2023-01-29 14:34:20 +0100 | AlexNoo_ | AlexNoo |
| 2023-01-29 14:48:12 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-29 14:48:46 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) (*.net *.split) |
| 2023-01-29 14:49:03 +0100 | superbil | (~superbil@1-34-176-171.hinet-ip.hinet.net) |
| 2023-01-29 14:49:30 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-29 15:00:19 +0100 | Guest|96 | (~Guest|96@cpc142644-benw12-2-0-cust298.16-2.cable.virginm.net) |
| 2023-01-29 15:00:25 +0100 | Guest|96 | (~Guest|96@cpc142644-benw12-2-0-cust298.16-2.cable.virginm.net) (Client Quit) |
| 2023-01-29 15:02:33 +0100 | cheater | (~Username@user/cheater) (Read error: Connection timed out) |
| 2023-01-29 15:03:44 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-01-29 15:04:19 +0100 | cheater | (~Username@user/cheater) |
| 2023-01-29 15:05:13 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-01-29 15:06:57 +0100 | cheater | (~Username@user/cheater) (Read error: Connection reset by peer) |
| 2023-01-29 15:07:42 +0100 | cheater | (~Username@user/cheater) |
| 2023-01-29 15:12:27 +0100 | razetime | (~Thunderbi@117.193.7.249) (Remote host closed the connection) |
| 2023-01-29 15:18:38 +0100 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2023-01-29 15:19:35 +0100 | gmg | (~user@user/gehmehgeh) |
| 2023-01-29 15:24:08 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-01-29 15:27:02 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-29 15:28:03 +0100 | trev_ | (~trev@109.252.35.99) (Ping timeout: 268 seconds) |
| 2023-01-29 15:35:35 +0100 | nschoe | (~q@2a01:e0a:8e:a190:272b:a5f1:e051:dc23) (Ping timeout: 260 seconds) |
| 2023-01-29 15:43:27 +0100 | jtza8 | (~user@165.255.34.21) (Quit: ERC 5.4 (IRC client for GNU Emacs 28.2)) |
| 2023-01-29 15:44:41 +0100 | peutri | (~peutri@bobo.desast.re) (Remote host closed the connection) |
| 2023-01-29 15:49:56 +0100 | h2017 | (~h2017@bras-base-clbaon0201w-grc-68-174-95-130-177.dsl.bell.ca) |
| 2023-01-29 15:49:57 +0100 | <h2017> | hi |
| 2023-01-29 15:50:06 +0100 | <geekosaur> | hello |
| 2023-01-29 15:50:37 +0100 | <h2017> | hi've been reading worrying things about haskell's decline in popularity? how worried should i be as someone who wants to create thing in haskell? |
| 2023-01-29 15:51:35 +0100 | <h2017> | someone who wants to create things in haskell but doesn't necessarily want to invest if haskell is going to stop being a thing |
| 2023-01-29 15:52:34 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-29 15:54:09 +0100 | simendsjo | (~user@84.211.91.241) |
| 2023-01-29 15:54:37 +0100 | <geekosaur[m]> | Pandoc isn't going away |
| 2023-01-29 15:55:48 +0100 | <geekosaur[m]> | I know Facebook just retired their Haskell based spam detector but they also have a new Haskell project |
| 2023-01-29 15:56:55 +0100 | <geekosaur[m]> | That article you saw on Reddit didn't tell the whole story |
| 2023-01-29 15:58:20 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-01-29 15:59:59 +0100 | vulpine | (xfnw@tilde.team) (Quit: Connection reset by purr) |
| 2023-01-29 16:01:48 +0100 | vulpine | (xfnw@tilde.team) |
| 2023-01-29 16:14:04 +0100 | jinsun | (~jinsun@user/jinsun) (Read error: Connection reset by peer) |
| 2023-01-29 16:14:25 +0100 | jinsun | (~jinsun@user/jinsun) |
| 2023-01-29 16:18:32 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-29 16:21:09 +0100 | jrm | (~jrm@user/jrm) (Read error: Connection reset by peer) |
| 2023-01-29 16:21:19 +0100 | jrm2 | (~jrm@user/jrm) |
| 2023-01-29 16:22:47 +0100 | jrm2 | jrm |
| 2023-01-29 16:25:41 +0100 | Barfolomew | (~Barfolome@2a0a-a546-115e-1-543e-6496-271f-e040.ipv6dyn.netcologne.de) |
| 2023-01-29 16:28:00 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) (Ping timeout: 248 seconds) |
| 2023-01-29 16:29:45 +0100 | werneta | (~werneta@70-142-214-115.lightspeed.irvnca.sbcglobal.net) |
| 2023-01-29 16:30:06 +0100 | Midjak | (~Midjak@82.66.147.146) |
| 2023-01-29 16:36:19 +0100 | jao | (~jao@cpc103048-sgyl39-2-0-cust502.18-2.cable.virginm.net) |
| 2023-01-29 16:37:10 +0100 | <gqplox[m]> | I'm looking to build a terminal app |
| 2023-01-29 16:37:35 +0100 | <gqplox[m]> | Is there something to haskell as rich to python, or bubble tea to go? |
| 2023-01-29 16:38:21 +0100 | <geekosaur> | brick? |
| 2023-01-29 16:39:21 +0100 | <geekosaur> | or or vty for the underlying TUI implementation |
| 2023-01-29 16:45:27 +0100 | <gqplox[m]> | Ah nice, thank you |
| 2023-01-29 16:45:48 +0100 | <maerwald> | gqplox[m]: doesn't support windows though |
| 2023-01-29 16:46:46 +0100 | <gqplox[m]> | Would you recommend haskell for this? Im learning both haskell and rust atm and I want to make a terminal app which will also interact with an sqlite3 database. Which do you think would be better |
| 2023-01-29 16:46:58 +0100 | <gqplox[m]> | Ah thanks, good to know. I use mac so I should be fine there |
| 2023-01-29 16:49:12 +0100 | <geekosaur> | honestly I think I'd say try both. we do have sqlite-simple, or various weird type level sql interfaces that I don't really recommend because type level's just a pain in Haskell |
| 2023-01-29 17:03:01 +0100 | simendsjo | (~user@84.211.91.241) (Ping timeout: 252 seconds) |
| 2023-01-29 17:04:54 +0100 | <[exa]> | gqplox[m]: btw any hint on what the terminal app is about? that might make the correct decision much easier |
| 2023-01-29 17:05:17 +0100 | <gqplox[m]> | Do you know the app Anki? |
| 2023-01-29 17:05:39 +0100 | <gqplox[m]> | It will be a terminal version of that, but with limited scope |
| 2023-01-29 17:06:02 +0100 | <gqplox[m]> | Basically a simple flashcard app, where the front and back will be plaintext/markdown (so i need to show italic, bold, bullet points etc to the terminal) |
| 2023-01-29 17:07:06 +0100 | <[exa]> | ah yes brick + sqlite-simple should be perfect for that |
| 2023-01-29 17:07:23 +0100 | <[exa]> | I'd expect most problems with rendering the markdown to the terminal but there might be another library for doing that |
| 2023-01-29 17:09:07 +0100 | <sm> | pandoc can render to txt, though it's a huge dependency |
| 2023-01-29 17:10:06 +0100 | <[exa]> | ah nice, this should do https://hackage.haskell.org/package/brick-0.65/docs/Brick-Markup.html |
| 2023-01-29 17:10:37 +0100 | <[exa]> | and yeah, I guess there should be a more lightweight markdown parser than pandoc out there |
| 2023-01-29 17:10:48 +0100 | <geekosaur> | https://hackage.haskell.org/package/hascard might be something to look at for inspiration |
| 2023-01-29 17:11:19 +0100 | <gqplox[m]> | Rich is very nice for python, for example here is about 5 lines of code, it has a Markdown class to render and a table class for showing to the terminal |
| 2023-01-29 17:11:20 +0100 | <gqplox[m]> | https://imgur.com/a/LSThHi9 |
| 2023-01-29 17:11:40 +0100 | <gqplox[m]> | I would want to do it in haskell just to improve my skills |
| 2023-01-29 17:11:49 +0100 | <gqplox[m]> | But something similar to that |
| 2023-01-29 17:11:57 +0100 | <gqplox[m]> | Ah thanks, il l look at that |
| 2023-01-29 17:12:20 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-29 17:13:37 +0100 | troydm | (~troydm@user/troydm) |
| 2023-01-29 17:14:51 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) |
| 2023-01-29 17:16:31 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 248 seconds) |
| 2023-01-29 17:17:27 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-29 17:17:41 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-29 17:22:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-29 17:30:31 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection) |
| 2023-01-29 17:33:37 +0100 | trev | (~trev@user/trev) |
| 2023-01-29 17:34:02 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-29 17:35:08 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) |
| 2023-01-29 17:35:08 +0100 | wroathe | (~wroathe@207-153-38-140.fttp.usinternet.com) (Changing host) |
| 2023-01-29 17:35:08 +0100 | wroathe | (~wroathe@user/wroathe) |
| 2023-01-29 17:37:35 +0100 | cstml | (cstml@tilde.club) (Quit: WeeChat 3.6) |
| 2023-01-29 17:37:36 +0100 | ddb | (~ddb@tilde.club) (Quit: WeeChat 3.6) |
| 2023-01-29 17:42:01 +0100 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-01-29 17:44:02 +0100 | mechap1 | (~mechap@user/mechap) |
| 2023-01-29 17:45:07 +0100 | jakalx | (~jakalx@base.jakalx.net) () |
| 2023-01-29 17:45:42 +0100 | mechap | (~mechap@user/mechap) (Killed (zinc.libera.chat (Nickname regained by services))) |
| 2023-01-29 17:45:42 +0100 | mechap1 | mechap |
| 2023-01-29 17:47:35 +0100 | turlando | (~turlando@user/turlando) () |
| 2023-01-29 17:48:00 +0100 | elkcl | (~elkcl@broadband-188-255-19-11.ip.moscow.rt.ru) (Ping timeout: 248 seconds) |
| 2023-01-29 17:49:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) |
| 2023-01-29 17:53:21 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-01-29 18:02:19 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-01-29 18:04:13 +0100 | eruditass | (uid248673@id-248673.uxbridge.irccloud.com) |
| 2023-01-29 18:04:25 +0100 | kmein | (~weechat@user/kmein) |
| 2023-01-29 18:06:40 +0100 | wroathe | (~wroathe@user/wroathe) (Ping timeout: 248 seconds) |
| 2023-01-29 18:11:05 +0100 | oldfashionedcow | A_Cow |
| 2023-01-29 18:14:12 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) |
| 2023-01-29 18:14:21 +0100 | danza | (~francesco@151.57.99.247) |
| 2023-01-29 18:18:49 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-29 18:19:46 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-01-29 18:20:57 +0100 | jonathanx | (~jonathan@h-178-174-176-109.A357.priv.bahnhof.se) |
| 2023-01-29 18:21:15 +0100 | michalz | (~michalz@185.246.207.193) |
| 2023-01-29 18:21:40 +0100 | Barfolomew | (~Barfolome@2a0a-a546-115e-1-543e-6496-271f-e040.ipv6dyn.netcologne.de) (Quit: Client closed) |
| 2023-01-29 18:23:55 +0100 | A_Cow | oldfashionedcow |
| 2023-01-29 18:28:00 +0100 | nattiestnate | (~nate@202.138.250.37) |
| 2023-01-29 18:28:18 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-29 18:38:32 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Remote host closed the connection) |
| 2023-01-29 18:41:19 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) (Ping timeout: 260 seconds) |
| 2023-01-29 18:43:13 +0100 | tzh | (~tzh@c-24-21-73-154.hsd1.or.comcast.net) |
| 2023-01-29 18:43:16 +0100 | jle` | (~jle`@cpe-23-240-75-236.socal.res.rr.com) |
| 2023-01-29 18:44:49 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-01-29 18:46:17 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) (Remote host closed the connection) |
| 2023-01-29 18:49:13 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4fa4:6245:cbff:fe9f:48b1) |
| 2023-01-29 18:50:05 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4fa4:6245:cbff:fe9f:48b1) (Client Quit) |
| 2023-01-29 18:50:37 +0100 | thyriaen | (~thyriaen@2a01:aea0:dd4:4fa4:6245:cbff:fe9f:48b1) |
| 2023-01-29 18:52:24 +0100 | albet70 | (~xxx@2400:8902::f03c:92ff:fe60:98d8) |
| 2023-01-29 18:55:02 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-29 18:57:09 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-29 19:01:03 +0100 | econo | (uid147250@user/econo) |
| 2023-01-29 19:02:36 +0100 | nschoe | (~q@2a01:e0a:8e:a190:1f27:ea99:8528:5cdf) |
| 2023-01-29 19:06:43 +0100 | jakalx | (~jakalx@base.jakalx.net) |
| 2023-01-29 19:08:58 +0100 | nschoe | (~q@2a01:e0a:8e:a190:1f27:ea99:8528:5cdf) (Ping timeout: 252 seconds) |
| 2023-01-29 19:09:41 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-01-29 19:10:32 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-29 19:10:52 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-01-29 19:12:58 +0100 | kmein | (~weechat@user/kmein) |
| 2023-01-29 19:19:27 +0100 | trev | (~trev@user/trev) (Remote host closed the connection) |
| 2023-01-29 19:22:09 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 260 seconds) |
| 2023-01-29 19:25:09 +0100 | kmein | (~weechat@user/kmein) (Quit: ciao kakao) |
| 2023-01-29 19:27:13 +0100 | kmein | (~weechat@user/kmein) |
| 2023-01-29 19:29:07 +0100 | mikoto-chan | (~mikoto-ch@2001:999:401:530e:b6da:f4ef:2c6b:3dcc) (Ping timeout: 256 seconds) |
| 2023-01-29 19:36:46 +0100 | <Jadeitits[m]> | I'm doing some trying-out with dependent types and I have a type family `(>)` which is essentially a comparison between two `Nat`s. |
| 2023-01-29 19:36:46 +0100 | <Jadeitits[m]> | How can I incorporate this into the signature of `Cons :: forall (n :: Nat) (s :: Nat) (t :: Nat). SNat n -> Sorted s t -> Sorted ('S s) n` to statically ensure the vector is sorted in ascending order? |
| 2023-01-29 19:37:15 +0100 | elevenkb | (~elevenkb@105.184.125.233) |
| 2023-01-29 19:37:26 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-29 19:37:47 +0100 | <Jadeitits[m]> | right now the vectors second type parameter just "stores" the value of the latest value and I was wondering how to use this to verify a new value is bigger than it |
| 2023-01-29 19:41:50 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 19:43:48 +0100 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-01-29 19:52:16 +0100 | <[exa]> | Jadeitits[m]: depends on your (>) probably. What does it "return" ? |
| 2023-01-29 19:53:42 +0100 | <Jadeitits[m]> | Bool |
| 2023-01-29 19:53:53 +0100 | <Jadeitits[m]> | type family (>) (x :: Nat) (y :: Nat) :: Bool where |
| 2023-01-29 19:53:53 +0100 | <Jadeitits[m]> | 'Z > _ = 'False |
| 2023-01-29 19:53:53 +0100 | <Jadeitits[m]> | _ > 'Z = 'True |
| 2023-01-29 19:53:53 +0100 | <Jadeitits[m]> | ('S x) > ('S y) = x > y |
| 2023-01-29 19:55:13 +0100 | <[exa]> | ok so you need to patternmatch on the Bool so that you can (somehow) convert the 'False to a typelevel failure |
| 2023-01-29 19:56:11 +0100 | <[exa]> | (on a side note, MPTCs might be much better for failing at typelevel) |
| 2023-01-29 19:56:28 +0100 | <Jadeitits[m]> | [exa]: What would that roughly look like? |
| 2023-01-29 19:56:37 +0100 | <Jadeitits[m]> | [exa]: I don't know what this means |
| 2023-01-29 19:56:44 +0100 | <[exa]> | multiparameter type classes |
| 2023-01-29 19:56:53 +0100 | <Jadeitits[m]> | how does it work? |
| 2023-01-29 19:57:03 +0100 | <[exa]> | you know how normal typeclasses work? |
| 2023-01-29 19:57:17 +0100 | elkcl | (~elkcl@broadband-37-110-27-252.ip.moscow.rt.ru) |
| 2023-01-29 19:57:29 +0100 | <Jadeitits[m]> | yes |
| 2023-01-29 19:58:44 +0100 | <[exa]> | ok, so multiparameter ones just have more parameters. Which is nice because you can easily use that for typelevel programming (just as type families), but typeclasses additionally have a "nice" form of failing (instance doesn't exist) |
| 2023-01-29 19:59:01 +0100 | <Jadeitits[m]> | mhm ok |
| 2023-01-29 19:59:05 +0100 | <[exa]> | MPTC programming is basically a restricted prolog, the best tutorial is ironically this one: https://aphyr.com/posts/342-typing-the-technical-interview |
| 2023-01-29 19:59:37 +0100 | <Jadeitits[m]> | Thank you |
| 2023-01-29 19:59:50 +0100 | <[exa]> | anyway, with type families I kinda guess you might make it work by making a "check the type" function |
| 2023-01-29 20:00:06 +0100 | <[exa]> | hand-wavy example: |
| 2023-01-29 20:01:47 +0100 | <[exa]> | type family CheckNumbersAreReallyBigger (smaller::Nat) (bigger::Nat) t :: t where { (bigger > smaller) ~ 'False = t } |
| 2023-01-29 20:02:04 +0100 | <[exa]> | not sure if ghc won't complain about a partial type family tho |
| 2023-01-29 20:03:35 +0100 | <Jadeitits[m]> | `error: Not in scope: type variable 't'` |
| 2023-01-29 20:03:50 +0100 | <Jadeitits[m]> | hmm, isn't it defined in the signature above? |
| 2023-01-29 20:03:53 +0100 | briandaed | (~briandaed@185.234.210.211) (Remote host closed the connection) |
| 2023-01-29 20:04:03 +0100 | <[exa]> | I guess you may need to add a kind to it with :: |
| 2023-01-29 20:04:18 +0100 | <Jadeitits[m]> | t :: *? |
| 2023-01-29 20:04:24 +0100 | <[exa]> | (I didn't really touch type families for like a year now, hoping others might intervene :D ) |
| 2023-01-29 20:04:27 +0100 | <[exa]> | yes |
| 2023-01-29 20:04:33 +0100 | <Jadeitits[m]> | same error |
| 2023-01-29 20:04:36 +0100 | <Lears> | Can't you just do `Cons :: (t > n) ~ 'True => ...`? |
| 2023-01-29 20:05:27 +0100 | <[exa]> | ah wait I didn't actually patternmatch there |
| 2023-01-29 20:05:37 +0100 | <[exa]> | my fail, sorry |
| 2023-01-29 20:11:09 +0100 | h2017 | (~h2017@bras-base-clbaon0201w-grc-68-174-95-130-177.dsl.bell.ca) (Ping timeout: 260 seconds) |
| 2023-01-29 20:11:27 +0100 | danza | (~francesco@151.57.99.247) (Ping timeout: 248 seconds) |
| 2023-01-29 20:11:58 +0100 | <[exa]> | kinda wondering, is there even a way to force * ~ * check in a type family instance? |
| 2023-01-29 20:14:19 +0100 | Lycurgus | (~juan@user/Lycurgus) |
| 2023-01-29 20:15:07 +0100 | <Jadeitits[m]> | <Lears> "Can't you just do `Cons :: (t..." <- This worked! |
| 2023-01-29 20:15:25 +0100 | Jadeitits[m] | uploaded an image: (25KiB) < https://libera.ems.host/_matrix/media/v3/download/matrix.org/CrzjRWsZBsBQDOcgpYNVhNgk/image.png > |
| 2023-01-29 20:15:25 +0100 | <Jadeitits[m]> | Very cool, this seems to be very powerful |
| 2023-01-29 20:15:27 +0100 | <ddellacosta> | let me know if this would be better for a nix channel, but wondering if anyone has a fix for the error "LICENSE: copyFile: does not exist (No such file or directory)" when running 'nix build' (with a flake based on this https://magnus.therning.org/2022-03-13-simple-nix-flake-for-haskell-development.html), even when my license file clearly exists as specified by my cabal file |
| 2023-01-29 20:15:45 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) |
| 2023-01-29 20:16:18 +0100 | <ddellacosta> | looks same as this, but my project is pretty vanilla without any subdirs https://github.com/NixOS/nixpkgs/issues/42550 |
| 2023-01-29 20:16:39 +0100 | <ddellacosta> | (so that workaround doesn't make any sense for me) |
| 2023-01-29 20:20:25 +0100 | enoq | (~enoq@2a05:1141:1f5:5600:b9c9:721a:599:bfe7) (Quit: enoq) |
| 2023-01-29 20:24:08 +0100 | danza | (~francesco@151.57.36.192) |
| 2023-01-29 20:25:41 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-01-29 20:25:53 +0100 | angelore | (~u0_a291@151.135.79.53) |
| 2023-01-29 20:28:27 +0100 | brettgilio | (~brettgili@x-irc.gq) |
| 2023-01-29 20:31:16 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-01-29 20:32:24 +0100 | angelore | (~u0_a291@151.135.79.53) (Quit: WeeChat 3.8) |
| 2023-01-29 20:33:54 +0100 | varoo | (~varoo@122.161.91.19) (Quit: Probably got disconnect dure to unstable internet) |
| 2023-01-29 20:36:34 +0100 | peutri | (~peutri@bobo.desast.re) |
| 2023-01-29 20:44:57 +0100 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) (Remote host closed the connection) |
| 2023-01-29 20:45:06 +0100 | JoelMcCracken | (5ea8252fbb@2604:bf00:561:2000::10e3) |
| 2023-01-29 20:45:24 +0100 | califax_ | (~califax@user/califx) |
| 2023-01-29 20:45:26 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) |
| 2023-01-29 20:45:37 +0100 | CiaoSen | (~Jura@p200300c9573284002a3a4dfffe84dbd5.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-01-29 20:45:47 +0100 | califax | (~califax@user/califx) (Ping timeout: 255 seconds) |
| 2023-01-29 20:45:48 +0100 | laalyn | (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) (Ping timeout: 260 seconds) |
| 2023-01-29 20:46:39 +0100 | califax_ | califax |
| 2023-01-29 20:48:16 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-29 20:58:37 +0100 | elevenkb | (~elevenkb@105.184.125.233) (Quit: Client closed) |
| 2023-01-29 20:59:56 +0100 | kenran | (~user@user/kenran) |
| 2023-01-29 21:00:04 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection) |
| 2023-01-29 21:01:33 +0100 | Lycurgus | (~juan@user/Lycurgus) (Quit: Exeunt: personae.ai-integration.biz) |
| 2023-01-29 21:01:49 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 21:06:53 +0100 | tomku | (~tomku@user/tomku) (Ping timeout: 252 seconds) |
| 2023-01-29 21:08:24 +0100 | elevenkb | (~elevenkb@105.184.125.233) |
| 2023-01-29 21:12:56 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) |
| 2023-01-29 21:15:50 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-01-29 21:15:56 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 255 seconds) |
| 2023-01-29 21:24:32 +0100 | spacenautx | (~spacenaut@user/spacenautx) |
| 2023-01-29 21:24:38 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-01-29 21:33:32 +0100 | rburkholder | (~blurb@96.45.2.121) |
| 2023-01-29 21:36:24 +0100 | spacenautx | (~spacenaut@user/spacenautx) (Quit: WeeChat 3.8) |
| 2023-01-29 21:42:07 +0100 | danza | (~francesco@151.57.36.192) (Read error: Connection reset by peer) |
| 2023-01-29 21:42:30 +0100 | danza | (~francesco@151.57.36.192) |
| 2023-01-29 21:42:40 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) |
| 2023-01-29 21:48:38 +0100 | pavonia | (~user@user/siracusa) |
| 2023-01-29 21:49:35 +0100 | h2017 | (~h2017@bras-base-clbaon0201w-grc-20-184-144-57-44.dsl.bell.ca) |
| 2023-01-29 21:54:38 +0100 | elevenkb | (~elevenkb@105.184.125.233) (Ping timeout: 260 seconds) |
| 2023-01-29 21:56:18 +0100 | elevenkb | (~elevenkb@105.184.125.233) |
| 2023-01-29 22:00:21 +0100 | Sauvin | (~sauvin@user/Sauvin) (Quit: Leaving) |
| 2023-01-29 22:01:54 +0100 | Sauvin | (~sauvin@user/Sauvin) |
| 2023-01-29 22:03:51 +0100 | kenran | (~user@user/kenran) (Remote host closed the connection) |
| 2023-01-29 22:07:01 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 252 seconds) |
| 2023-01-29 22:07:46 +0100 | elevenkb | (~elevenkb@105.184.125.233) (Quit: Client closed) |
| 2023-01-29 22:08:12 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 22:10:01 +0100 | talismanick | (~talismani@2601:200:c181:4c40::1be2) |
| 2023-01-29 22:12:47 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 264 seconds) |
| 2023-01-29 22:14:38 +0100 | tomku | (~tomku@user/tomku) |
| 2023-01-29 22:18:37 +0100 | danza | (~francesco@151.57.36.192) (Read error: Connection reset by peer) |
| 2023-01-29 22:19:00 +0100 | danza | (~francesco@151.57.36.192) |
| 2023-01-29 22:25:14 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) (Remote host closed the connection) |
| 2023-01-29 22:29:17 +0100 | ec | (~ec@gateway/tor-sasl/ec) (Ping timeout: 255 seconds) |
| 2023-01-29 22:31:26 +0100 | ec | (~ec@gateway/tor-sasl/ec) |
| 2023-01-29 22:31:43 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5982:f970:3d14:b25c) |
| 2023-01-29 22:33:50 +0100 | oldfashionedcow | He |
| 2023-01-29 22:34:04 +0100 | He | oldfashionedcow |
| 2023-01-29 22:40:53 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 22:45:53 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 268 seconds) |
| 2023-01-29 22:46:08 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-01-29 22:47:12 +0100 | jero98772 | (~jero98772@2800:484:1d80:d8ce:4f4f:dc32:b9c4:cb5b) |
| 2023-01-29 22:47:25 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2023-01-29 22:49:27 +0100 | gnalzo | (~gnalzo@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 3.8) |
| 2023-01-29 22:58:46 +0100 | Momentum_ | Momentum |
| 2023-01-29 23:04:41 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-01-29 23:07:12 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) (Quit: No Ping reply in 180 seconds.) |
| 2023-01-29 23:08:19 +0100 | sammelweis | (~quassel@2601:401:8200:2d4c:bd9:d04c:7f69:eb10) |
| 2023-01-29 23:10:07 +0100 | kjak | (~kjak@pool-72-66-75-40.washdc.fios.verizon.net) (Ping timeout: 248 seconds) |
| 2023-01-29 23:22:59 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 246 seconds) |
| 2023-01-29 23:35:14 +0100 | michalz | (~michalz@185.246.207.193) (Remote host closed the connection) |
| 2023-01-29 23:35:16 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-01-29 23:46:47 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.202) |
| 2023-01-29 23:47:10 +0100 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2023-01-29 23:47:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-01-29 23:49:04 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-29 23:49:11 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-01-29 23:49:55 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 23:50:47 +0100 | Jeanne-Kamikaze | (~Jeanne-Ka@142.147.89.202) (Remote host closed the connection) |
| 2023-01-29 23:54:23 +0100 | freeside | (~mengwong@103.252.202.170) (Ping timeout: 248 seconds) |
| 2023-01-29 23:55:42 +0100 | freeside | (~mengwong@103.252.202.170) |
| 2023-01-29 23:57:55 +0100 | laalyn | (~laalyn@c-73-241-126-7.hsd1.ca.comcast.net) |
