| 2024-04-22 00:00:28 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-22 00:01:30 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-22 00:01:53 +0000 | Square | (~Square@user/square) |
| 2024-04-22 00:02:14 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) (Remote host closed the connection) |
| 2024-04-22 00:02:41 +0000 | pastly | (~pastly@gateway/tor-sasl/pastly) |
| 2024-04-22 00:09:10 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
| 2024-04-22 00:18:41 +0000 | internatetional | (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) |
| 2024-04-22 00:20:45 +0000 | internatetional_ | (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) (Ping timeout: 245 seconds) |
| 2024-04-22 00:27:58 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-04-22 00:38:01 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-22 01:01:35 +0000 | <raehik> | We have Generically for deriving instances via Generic with nice syntax. Why don't we have Typeably, for instances via Typeable? |
| 2024-04-22 01:01:52 +0000 | <raehik> | is it just a case of "you can't do that much with Typeable so no one cared"? |
| 2024-04-22 01:03:00 +0000 | <geekosaur> | probably |
| 2024-04-22 01:04:09 +0000 | <raehik> | I guess it took Generically a while to make it into base and that's very useful |
| 2024-04-22 01:09:39 +0000 | <raehik> | (wow, Generically was GHC 9.4, I thought we'd had it for a few yrs) |
| 2024-04-22 01:10:16 +0000 | <raehik> | (wow GHC 9.4 was 2 yrs ago I have a poor sense of time) |
| 2024-04-22 01:32:53 +0000 | madariaga | (~madariaga@user/madariaga) (Quit: madariaga) |
| 2024-04-22 01:35:11 +0000 | iteratee | (~kyle@162.218.222.207) (Ping timeout: 256 seconds) |
| 2024-04-22 01:38:22 +0000 | werneta | (~werneta@71.83.160.242) |
| 2024-04-22 01:39:12 +0000 | otto_s | (~user@p5b044e85.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-04-22 01:40:54 +0000 | otto_s | (~user@p5b04489f.dip0.t-ipconnect.de) |
| 2024-04-22 01:42:14 +0000 | iteratee | (~kyle@162.218.222.207) |
| 2024-04-22 01:55:14 +0000 | mima | (~mmh@aftr-62-216-211-209.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
| 2024-04-22 01:58:19 +0000 | destituion | (~destituio@2a02:2121:340:2456:fffe:d0f:7737:dd1) (Ping timeout: 268 seconds) |
| 2024-04-22 02:03:35 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-22 02:10:29 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 240 seconds) |
| 2024-04-22 02:13:22 +0000 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) (Quit: ZNC 1.8.2+deb3.1 - https://znc.in) |
| 2024-04-22 02:13:40 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 245 seconds) |
| 2024-04-22 02:14:41 +0000 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) |
| 2024-04-22 02:14:41 +0000 | SteelBlueSilk | (~SteelBlue@c-98-42-249-36.hsd1.ca.comcast.net) (Changing host) |
| 2024-04-22 02:14:41 +0000 | SteelBlueSilk | (~SteelBlue@user/SteelBlueSilk) |
| 2024-04-22 02:15:09 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 02:21:06 +0000 | systemhalted | (~systemhal@130.51.137.77) |
| 2024-04-22 02:22:46 +0000 | systemhalted | (~systemhal@130.51.137.77) (Remote host closed the connection) |
| 2024-04-22 02:22:51 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-22 02:27:21 +0000 | systemhalted_ | (~systemhal@130.51.137.77) |
| 2024-04-22 02:27:48 +0000 | systemhalted_ | (~systemhal@130.51.137.77) (Remote host closed the connection) |
| 2024-04-22 02:37:34 +0000 | ridcully | (~ridcully@p508ac2b4.dip0.t-ipconnect.de) |
| 2024-04-22 02:37:50 +0000 | td_ | (~td@i53870917.versanet.de) (Ping timeout: 245 seconds) |
| 2024-04-22 02:38:24 +0000 | ridcully_ | (~ridcully@p508acabd.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-04-22 02:39:07 +0000 | werneta | (~werneta@71.83.160.242) (Quit: Lost terminal) |
| 2024-04-22 02:39:45 +0000 | td_ | (~td@i53870931.versanet.de) |
| 2024-04-22 02:39:47 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) |
| 2024-04-22 02:44:34 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) (Ping timeout: 268 seconds) |
| 2024-04-22 02:49:52 +0000 | ski | (~ski@ext-1-033.eduroam.chalmers.se) |
| 2024-04-22 02:51:20 +0000 | madariaga | (~madariaga@user/madariaga) |
| 2024-04-22 02:51:21 +0000 | madariaga | (~madariaga@user/madariaga) (Client Quit) |
| 2024-04-22 02:53:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-04-22 02:54:27 +0000 | euleritian | (~euleritia@176.2.131.125) |
| 2024-04-22 02:56:44 +0000 | euleritian | (~euleritia@176.2.131.125) (Read error: Connection reset by peer) |
| 2024-04-22 02:57:02 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 02:59:22 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 02:59:47 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 03:05:20 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-04-22 03:17:41 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2024-04-22 03:19:01 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 03:27:00 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-04-22 03:34:43 +0000 | aforemny_ | (~aforemny@2001:9e8:6cde:9300:d77b:b228:6e32:ed32) |
| 2024-04-22 03:34:48 +0000 | JimL | (~quassel@89.162.16.26) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-04-22 03:34:53 +0000 | aforemny | (~aforemny@i59F516DE.versanet.de) (Ping timeout: 240 seconds) |
| 2024-04-22 03:37:44 +0000 | JimL | (~quassel@89.162.16.26) |
| 2024-04-22 03:53:05 +0000 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-04-22 03:53:19 +0000 | xigua | (~xigua@user/xigua) |
| 2024-04-22 03:57:28 +0000 | michalz | (~michalz@185.246.207.200) |
| 2024-04-22 03:59:30 +0000 | Piedro | (~Piedro@85.254.74.244) (Ping timeout: 250 seconds) |
| 2024-04-22 04:00:20 +0000 | actioninja | (~actioninj@user/actioninja) (Quit: see ya mane) |
| 2024-04-22 04:00:52 +0000 | actioninja | (~actioninj@user/actioninja) |
| 2024-04-22 04:02:01 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2024-04-22 04:04:10 +0000 | yosef` | (~yosef`@user/yosef/x-2947716) (Remote host closed the connection) |
| 2024-04-22 04:04:40 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Quit: %quit%) |
| 2024-04-22 04:04:40 +0000 | tertek | (~tertek@user/tertek) (Quit: %quit%) |
| 2024-04-22 04:12:08 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-22 04:14:30 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2024-04-22 04:22:00 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-22 04:26:10 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 245 seconds) |
| 2024-04-22 04:26:36 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-04-22 04:30:42 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-04-22 04:33:09 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-04-22 04:40:53 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-22 04:41:05 +0000 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-22 04:56:30 +0000 | rosco | (~rosco@2001:e68:5411:64b:93a3:a30a:6b31:925a) |
| 2024-04-22 05:03:28 +0000 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 260 seconds) |
| 2024-04-22 05:14:23 +0000 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-04-22 05:15:35 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-04-22 05:17:25 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-04-22 05:20:25 +0000 | euphores | (~SASL_euph@user/euphores) |
| 2024-04-22 05:29:46 +0000 | demon-cat | (~demon-cat@dund-15-b2-v4wan-169642-cust1347.vm6.cable.virginm.net) |
| 2024-04-22 05:30:05 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-04-22 05:31:06 +0000 | Square2 | (~Square4@user/square) |
| 2024-04-22 05:33:39 +0000 | bilegeek | (~bilegeek@2600:1008:b040:d1c9:9e18:85e2:b999:af86) (Quit: Leaving) |
| 2024-04-22 05:33:40 +0000 | Square | (~Square@user/square) (Ping timeout: 245 seconds) |
| 2024-04-22 05:37:25 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-04-22 05:37:47 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) |
| 2024-04-22 05:40:23 +0000 | euleritian | (~euleritia@dynamic-176-002-131-092.176.2.pool.telefonica.de) |
| 2024-04-22 05:41:59 +0000 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2024-04-22 05:49:30 +0000 | Piedro | (~Piedro@m83-177-139-109.cust.tele2.lv) |
| 2024-04-22 05:54:11 +0000 | Piedro | (~Piedro@m83-177-139-109.cust.tele2.lv) (Remote host closed the connection) |
| 2024-04-22 05:57:22 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2024-04-22 05:57:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-22 05:59:56 +0000 | acidjnk | (~acidjnk@p200300d6e714dc576d6928eb96b27a5a.dip0.t-ipconnect.de) |
| 2024-04-22 06:23:10 +0000 | tok | (~user@user/tok) |
| 2024-04-22 06:30:20 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-22 06:36:11 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-22 06:43:43 +0000 | danza | (~francesco@151.57.252.198) |
| 2024-04-22 06:44:02 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-04-22 06:45:40 +0000 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
| 2024-04-22 06:49:54 +0000 | euleritian | (~euleritia@dynamic-176-002-131-092.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-22 06:50:12 +0000 | euleritian | (~euleritia@dynamic-176-002-131-092.176.2.pool.telefonica.de) |
| 2024-04-22 06:51:38 +0000 | euleritian | (~euleritia@dynamic-176-002-131-092.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-22 06:53:04 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 06:59:31 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) |
| 2024-04-22 07:01:35 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-22 07:04:32 +0000 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-04-22 07:05:59 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) (Ping timeout: 260 seconds) |
| 2024-04-22 07:06:34 +0000 | titibandit | (~titibandi@user/titibandit) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-22 07:09:16 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-04-22 07:09:59 +0000 | Miroboru | (~myrvoll@178-164-114.82.3p.ntebredband.no) |
| 2024-04-22 07:10:47 +0000 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 245 seconds) |
| 2024-04-22 07:11:41 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 240 seconds) |
| 2024-04-22 07:14:00 +0000 | mima | (~mmh@aftr-62-216-211-149.dynamic.mnet-online.de) |
| 2024-04-22 07:14:17 +0000 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) |
| 2024-04-22 07:14:25 +0000 | titibandit | (~titibandi@user/titibandit) |
| 2024-04-22 07:15:45 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 245 seconds) |
| 2024-04-22 07:16:53 +0000 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-04-22 07:19:10 +0000 | hgolden | (~hgolden@2603:8000:9d00:3ed1:f849:272c:fda5:33c9) |
| 2024-04-22 07:20:08 +0000 | hc | (~hc@mail.hce.li) |
| 2024-04-22 07:20:15 +0000 | <hc> | > let a n = (-1)^n / sqrt(n) in a 4 |
| 2024-04-22 07:20:17 +0000 | <lambdabot> | error: |
| 2024-04-22 07:20:17 +0000 | <lambdabot> | • Ambiguous type variable ‘a0’ arising from a use of ‘show_M353431457368... |
| 2024-04-22 07:20:17 +0000 | <lambdabot> | prevents the constraint ‘(Show a0)’ from being solved. |
| 2024-04-22 07:20:26 +0000 | <hc> | Hi all, could you explain to me how to solve this error? :) |
| 2024-04-22 07:20:45 +0000 | hgolden_ | (~hgolden@2603:8000:9d00:3ed1:2678:8497:aa5c:7fa9) (Ping timeout: 245 seconds) |
| 2024-04-22 07:23:35 +0000 | tok | (~user@user/tok) (Remote host closed the connection) |
| 2024-04-22 07:28:15 +0000 | mei | (~mei@user/mei) (Ping timeout: 245 seconds) |
| 2024-04-22 07:30:43 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-22 07:32:17 +0000 | mei | (~mei@user/mei) |
| 2024-04-22 07:33:15 +0000 | tok | (~user@user/tok) |
| 2024-04-22 07:42:22 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-22 07:43:50 +0000 | rosco | (~rosco@2001:e68:5411:64b:93a3:a30a:6b31:925a) (Remote host closed the connection) |
| 2024-04-22 07:44:28 +0000 | <geekosaur> | use (**) instead of (^) |
| 2024-04-22 07:44:33 +0000 | <geekosaur> | :t let a n = (-1)^n / sqrt(n) in a 4 |
| 2024-04-22 07:44:34 +0000 | <lambdabot> | (Integral a, Floating a) => a |
| 2024-04-22 07:44:48 +0000 | <geekosaur> | kinda hard for a number to be Integral and Floating at the same time |
| 2024-04-22 07:59:52 +0000 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-04-22 08:01:27 +0000 | mei | (~mei@user/mei) |
| 2024-04-22 08:01:39 +0000 | internatetional | (~internate@2001:448a:20a3:c2e5:184a:ab53:496c:8f20) (Ping timeout: 256 seconds) |
| 2024-04-22 08:09:15 +0000 | danza | (~francesco@151.57.252.198) (Ping timeout: 268 seconds) |
| 2024-04-22 08:10:25 +0000 | fmd | (~fmd@user/framend) |
| 2024-04-22 08:11:33 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-22 08:13:30 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-04-22 08:15:49 +0000 | xdminsy | (~xdminsy@117.147.70.233) |
| 2024-04-22 08:17:13 +0000 | random-jellyfish | (~developer@2a02:2f04:11e:c600:2256:e257:bc55:f1e6) |
| 2024-04-22 08:17:13 +0000 | random-jellyfish | (~developer@2a02:2f04:11e:c600:2256:e257:bc55:f1e6) (Changing host) |
| 2024-04-22 08:17:13 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-22 08:17:46 +0000 | titibandit | (~titibandi@user/titibandit) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.3)) |
| 2024-04-22 08:23:07 +0000 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-04-22 08:29:43 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-04-22 08:33:47 +0000 | danse-nr3 | (~danse-nr3@151.57.252.198) |
| 2024-04-22 08:34:18 +0000 | danse-nr3 | (~danse-nr3@151.57.252.198) (Remote host closed the connection) |
| 2024-04-22 08:34:45 +0000 | danse-nr3 | (~danse-nr3@151.57.252.198) |
| 2024-04-22 08:35:41 +0000 | stiell_ | (~stiell@gateway/tor-sasl/stiell) |
| 2024-04-22 08:40:43 +0000 | fmd | (~fmd@user/framend) (Ping timeout: 260 seconds) |
| 2024-04-22 08:41:27 +0000 | fmd | (~fmd@2a02:8429:4b56:6801:6f51:61a3:1853:7494) |
| 2024-04-22 08:43:22 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-04-22 08:47:06 +0000 | <probie> | > let a n = (-1 :: Double)^n/sqrt(fromIntegral n) in a 4 -- Or you might want something like this |
| 2024-04-22 08:47:07 +0000 | <lambdabot> | 0.5 |
| 2024-04-22 08:51:21 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-22 08:53:20 +0000 | qqq | (~qqq@92.43.167.61) (Quit: Lost terminal) |
| 2024-04-22 08:59:25 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-04-22 09:06:46 +0000 | tititest | (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) |
| 2024-04-22 09:08:34 +0000 | tititest | (~tititest@ip-037-201-154-121.um10.pools.vodafone-ip.de) (Remote host closed the connection) |
| 2024-04-22 09:08:45 +0000 | danse-nr3 | (~danse-nr3@151.57.252.198) (Ping timeout: 268 seconds) |
| 2024-04-22 09:08:47 +0000 | chele | (~chele@user/chele) |
| 2024-04-22 09:09:48 +0000 | danse-nr3 | (~danse-nr3@151.47.40.219) |
| 2024-04-22 09:18:38 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-22 09:19:47 +0000 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) (Quit: Textual IRC Client: www.textualapp.com) |
| 2024-04-22 09:20:32 +0000 | Inst | (~Inst@user/Inst) |
| 2024-04-22 09:21:16 +0000 | gmg | (~user@user/gehmehgeh) |
| 2024-04-22 09:21:31 +0000 | <Inst> | why is unsafePerformIO . (\u -> appendFile "log.log" "message goes here >> pure u) a bad idea? |
| 2024-04-22 09:22:09 +0000 | <Inst> | At the very least, it'd be a problem under concurrency, I guess |
| 2024-04-22 09:22:41 +0000 | <Inst> | and this is standard? |
| 2024-04-22 09:22:42 +0000 | <Inst> | https://hackage.haskell.org/package/fast-logger |
| 2024-04-22 09:23:57 +0000 | <Inst> | Besides the libs, what are good ways to handle logging? |
| 2024-04-22 09:25:12 +0000 | <Inst> | writer monad iirc is considered bad practice (because you want to write to log immediately), you could use IO wrappers for logging |
| 2024-04-22 09:25:26 +0000 | <Inst> | there's STM / concurrent unsafePerformIO logging, i guess |
| 2024-04-22 09:27:18 +0000 | <jackdk> | fast-logger, monad-logger, and katip are the main ones I'm aware of |
| 2024-04-22 09:27:51 +0000 | <Inst> | but from a design standpoint, the only problem with unsafePerformIO appendLog is that it breaks concurrency, right? |
| 2024-04-22 09:28:15 +0000 | <Inst> | it's essentially as "pure" as unsafePerformIO hPutStr stderr (trace), no? |
| 2024-04-22 09:28:43 +0000 | <jackdk> | *shrug* I don't have the cycles to think about it, sorry |
| 2024-04-22 09:36:56 +0000 | <ski> | the `unsafePerformIO'd action can be duplicated (if inlining) |
| 2024-04-22 09:37:46 +0000 | <ski> | (<https://downloads.haskell.org/ghc/latest/docs/libraries/base-4.19.0.0-b67a/GHC-IO-Unsafe.html>) |
| 2024-04-22 09:38:11 +0000 | <juri_> | tomjaguarpaw: thank you again. :D |
| 2024-04-22 09:40:50 +0000 | <Inst> | ski: why is that a bad thing? Especially if you want a precise record of actions done, i.e, behavior matches Debug.Trace. |
| 2024-04-22 09:41:10 +0000 | <Inst> | s/actions done/calculations made |
| 2024-04-22 09:41:56 +0000 | <ski> | if you're okay with unexpectedly getting duplicated log entries .. |
| 2024-04-22 09:47:13 +0000 | internatetional | (~internate@180.243.9.169) |
| 2024-04-22 09:48:08 +0000 | <Inst> | thanks |
| 2024-04-22 09:50:00 +0000 | danse-nr3 | (~danse-nr3@151.47.40.219) (Ping timeout: 260 seconds) |
| 2024-04-22 09:50:59 +0000 | <ncf> | Debug.Trace uses unsafePerformIO |
| 2024-04-22 09:51:30 +0000 | <ncf> | (with NOINLINE pragmas) |
| 2024-04-22 09:58:32 +0000 | causal | (~eric@50.35.88.207) |
| 2024-04-22 10:15:20 +0000 | akegalj | (~akegalj@78-2-216-247.adsl.net.t-com.hr) |
| 2024-04-22 10:17:18 +0000 | danse-nr3 | (~danse-nr3@151.47.40.219) |
| 2024-04-22 10:19:43 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 10:20:18 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 10:20:54 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 268 seconds) |
| 2024-04-22 10:31:27 +0000 | qqq | (~qqq@92.43.167.61) (Remote host closed the connection) |
| 2024-04-22 10:31:43 +0000 | danse-nr3 | (~danse-nr3@151.47.40.219) (Remote host closed the connection) |
| 2024-04-22 10:32:06 +0000 | danse-nr3 | (~danse-nr3@151.47.40.219) |
| 2024-04-22 10:42:33 +0000 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-22 10:45:04 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-04-22 10:45:29 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-04-22 10:46:26 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Quit: https://zer0bitz.dy.fi) |
| 2024-04-22 10:53:35 +0000 | danse-nr3 | (~danse-nr3@151.47.40.219) (Ping timeout: 268 seconds) |
| 2024-04-22 11:00:46 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-22 11:11:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 11:11:57 +0000 | euleritian | (~euleritia@77.22.252.56) |
| 2024-04-22 11:14:23 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-22 11:28:47 +0000 | danse-nr3 | (~danse-nr3@151.43.255.231) |
| 2024-04-22 11:29:09 +0000 | danse-nr3 | (~danse-nr3@151.43.255.231) (Remote host closed the connection) |
| 2024-04-22 11:29:36 +0000 | danse-nr3 | (~danse-nr3@151.43.255.231) |
| 2024-04-22 11:44:08 +0000 | megaTherion | (~therion@unix.io) (Remote host closed the connection) |
| 2024-04-22 11:47:40 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 11:52:38 +0000 | <hc> | geekosaur: thanks dude |
| 2024-04-22 11:52:42 +0000 | <hc> | appreciate it |
| 2024-04-22 11:54:02 +0000 | <hc> | class (Real a, Enum a) => Integral a where |
| 2024-04-22 11:54:21 +0000 | <hc> | I think I misinterpreted that and assumed that a is a real number that can be bit encoded =) |
| 2024-04-22 11:55:46 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
| 2024-04-22 11:55:46 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 11:56:45 +0000 | qqq | (~qqq@92.43.167.61) |
| 2024-04-22 12:07:57 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 12:12:26 +0000 | rosco | (~rosco@yp-146-6.tm.net.my) |
| 2024-04-22 12:21:11 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-04-22 12:24:07 +0000 | <ski> | @src Real |
| 2024-04-22 12:24:07 +0000 | <lambdabot> | class (Num a, Ord a) => Real a where |
| 2024-04-22 12:24:07 +0000 | <lambdabot> | toRational :: a -> Rational |
| 2024-04-22 12:26:45 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 12:27:09 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 12:29:42 +0000 | phma | (~phma@2001:5b0:210b:ce58:3fbf:e35b:d74c:35dc) (Read error: Connection reset by peer) |
| 2024-04-22 12:30:53 +0000 | random-jellyfish | (~developer@user/random-jellyfish) |
| 2024-04-22 12:39:44 +0000 | shapr | (~user@c-24-218-186-89.hsd1.ma.comcast.net) |
| 2024-04-22 12:39:59 +0000 | <shapr> | Is there a hackage query library? |
| 2024-04-22 12:40:12 +0000 | <shapr> | I want to find packages with large QuickCheck test suites |
| 2024-04-22 12:40:20 +0000 | rosco | (~rosco@yp-146-6.tm.net.my) (Quit: Lost terminal) |
| 2024-04-22 12:43:43 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 12:46:21 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 12:47:35 +0000 | tok | (~user@user/tok) (ERC 5.5.0.29.1 (IRC client for GNU Emacs 29.1)) |
| 2024-04-22 12:48:38 +0000 | phma | (phma@2001:5b0:2172:c758:72f8:9d6a:4a7b:7a0f) |
| 2024-04-22 12:50:42 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 12:50:58 +0000 | akegalj | (~akegalj@78-2-216-247.adsl.net.t-com.hr) (Quit: leaving) |
| 2024-04-22 12:55:53 +0000 | danse-nr3 | (~danse-nr3@151.43.255.231) (Ping timeout: 256 seconds) |
| 2024-04-22 12:57:11 +0000 | internatetional | (~internate@180.243.9.169) (Quit: Leaving) |
| 2024-04-22 13:00:34 +0000 | danse-nr3 | (~danse-nr3@151.43.255.231) |
| 2024-04-22 13:05:30 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 13:05:33 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 268 seconds) |
| 2024-04-22 13:10:11 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-22 13:24:29 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2024-04-22 13:26:49 +0000 | ystael | (~ystael@user/ystael) |
| 2024-04-22 13:27:25 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 13:30:15 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) |
| 2024-04-22 13:31:52 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-22 13:39:18 +0000 | thailigur | (~thailigur@151.241.216.163) |
| 2024-04-22 13:41:36 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 13:46:58 +0000 | tertek | (~tertek@user/tertek) |
| 2024-04-22 13:47:30 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) |
| 2024-04-22 13:49:06 +0000 | tertek | (~tertek@user/tertek) (Client Quit) |
| 2024-04-22 13:49:06 +0000 | zlqrvx | (~zlqrvx@user/zlqrvx) (Client Quit) |
| 2024-04-22 13:50:46 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-04-22 13:51:32 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 13:54:36 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Read error: Connection reset by peer) |
| 2024-04-22 13:57:03 +0000 | fmd | (~fmd@2a02:8429:4b56:6801:6f51:61a3:1853:7494) (Ping timeout: 268 seconds) |
| 2024-04-22 13:57:05 +0000 | ystael | (~ystael@user/ystael) (Ping timeout: 256 seconds) |
| 2024-04-22 13:58:05 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-22 13:58:47 +0000 | ystael | (~ystael@user/ystael) |
| 2024-04-22 14:03:51 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 14:10:44 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-22 14:12:06 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 14:12:49 +0000 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 256 seconds) |
| 2024-04-22 14:13:10 +0000 | euleritian | (~euleritia@dynamic-176-002-130-022.176.2.pool.telefonica.de) |
| 2024-04-22 14:15:57 +0000 | Square | (~Square@user/square) |
| 2024-04-22 14:16:51 +0000 | Guest83 | (~Guest83@104.28.201.82) |
| 2024-04-22 14:18:14 +0000 | Guest83 | (~Guest83@104.28.201.82) (Client Quit) |
| 2024-04-22 14:23:47 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-22 14:28:57 +0000 | td_ | (~td@i53870931.versanet.de) (Quit: waking up from the american dream ...) |
| 2024-04-22 14:29:14 +0000 | yeitrafferin | (~user@2a04:4540:7204:c200:6db7:9fc2:5aab:5361) |
| 2024-04-22 14:34:22 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 14:39:12 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 14:46:48 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 14:49:30 +0000 | rosco | (rosco@gateway/vpn/airvpn/rosco) (Quit: Lost terminal) |
| 2024-04-22 14:51:31 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-22 14:54:11 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 14:54:25 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 14:56:47 +0000 | demesne | (~demesne@50.35.88.207) (Read error: Connection reset by peer) |
| 2024-04-22 14:59:56 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 15:01:21 +0000 | danse-nr3 | (~danse-nr3@151.43.255.231) (Read error: Connection reset by peer) |
| 2024-04-22 15:01:34 +0000 | danse-nr3 | (~danse-nr3@151.37.253.178) |
| 2024-04-22 15:04:21 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Quit: WeeChat 4.1.2) |
| 2024-04-22 15:04:56 +0000 | dagit | (~dagit@2001:558:6025:38:71c6:9d58:7252:8976) |
| 2024-04-22 15:05:10 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-22 15:06:19 +0000 | califax | (~califax@user/califx) |
| 2024-04-22 15:06:35 +0000 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-04-22 15:06:59 +0000 | califax | (~califax@user/califx) |
| 2024-04-22 15:12:07 +0000 | td_ | (~td@i53870931.versanet.de) |
| 2024-04-22 15:12:08 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2024-04-22 15:15:11 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-04-22 15:15:32 +0000 | euleritian | (~euleritia@dynamic-176-002-130-022.176.2.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-04-22 15:16:08 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 15:18:17 +0000 | myxokephale | (~myxos@172.93.132.84) (Remote host closed the connection) |
| 2024-04-22 15:20:18 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 15:20:37 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 15:24:01 +0000 | myxos | (~myxos@172.93.132.84) |
| 2024-04-22 15:27:47 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 15:29:06 +0000 | zetef | (~quassel@5.2.182.99) (Ping timeout: 252 seconds) |
| 2024-04-22 15:32:59 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 15:33:40 +0000 | Square | (~Square@user/square) (Ping timeout: 246 seconds) |
| 2024-04-22 15:37:54 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-22 15:38:01 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 15:38:19 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 15:41:34 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 268 seconds) |
| 2024-04-22 15:46:11 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 15:46:40 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 15:46:46 +0000 | yeitrafferin | (~user@2a04:4540:7204:c200:6db7:9fc2:5aab:5361) (Quit: Leaving) |
| 2024-04-22 15:48:40 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 15:49:17 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 15:50:53 +0000 | <cheater> | isn't there some way to download the complete stackage to local? |
| 2024-04-22 15:50:56 +0000 | <cheater> | you could do that |
| 2024-04-22 15:51:07 +0000 | <cheater> | and then get wild |
| 2024-04-22 15:53:31 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-04-22 15:56:11 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 15:56:24 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 15:56:53 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 15:57:12 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 15:59:35 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 16:00:14 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 16:05:55 +0000 | danse-nr3 | (~danse-nr3@151.37.253.178) (Ping timeout: 260 seconds) |
| 2024-04-22 16:07:19 +0000 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Ping timeout: 260 seconds) |
| 2024-04-22 16:08:06 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) (Remote host closed the connection) |
| 2024-04-22 16:09:09 +0000 | bwe | (~bwe@2a01:4f8:1c1c:4878::2) |
| 2024-04-22 16:12:02 +0000 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-04-22 16:16:47 +0000 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-04-22 16:21:51 +0000 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-22 16:21:51 +0000 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 16:21:58 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2024-04-22 16:22:46 +0000 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-04-22 16:25:21 +0000 | <Ptival> | I've been considering going back to Emacs, but the state of the Haskell Flycheck mode looks very confusing. It seems like support for Stack projects work, but neither haskell-stack-ghc (understandably) nor haskell-ghc seem to do anything reasonable regarding Cabal features such as default-extensions. What are people using these days? |
| 2024-04-22 16:27:25 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-04-22 16:27:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 16:28:47 +0000 | <yushyin> | for me, GHC2024 + BlockArguments, DuplicateRecordFields, ImportQualifiedPost, LexicalNegation, NoFieldSelectors |
| 2024-04-22 16:31:13 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-04-22 16:32:00 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 245 seconds) |
| 2024-04-22 16:32:25 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-04-22 16:35:00 +0000 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-22 16:46:13 +0000 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 255 seconds) |
| 2024-04-22 16:57:41 +0000 | gentauro | (~gentauro@user/gentauro) (Read error: Connection reset by peer) |
| 2024-04-22 17:00:22 +0000 | <glguy> | Ptival: When I open Haskell projects in emacs it's set up to use HLS and it fully understands the cabal project structure |
| 2024-04-22 17:02:53 +0000 | <glguy> | something like: https://glguy.net/share/9b962f25d21c2c9cf36466ce73a1c25f.png |
| 2024-04-22 17:03:37 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 17:03:40 +0000 | gentauro | (~gentauro@user/gentauro) |
| 2024-04-22 17:07:48 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 255 seconds) |
| 2024-04-22 17:08:47 +0000 | rdcdr | (~rdcdr@user/rdcdr) |
| 2024-04-22 17:10:11 +0000 | <monochrom> | I use emacs with haskell-mode. No flycheck or hls or anything fancy. The 80-20 rule. |
| 2024-04-22 17:10:18 +0000 | <monochrom> | Hell, the 99-1 rule. |
| 2024-04-22 17:12:12 +0000 | <glguy> | it's so easy to use that 99 people use it and 1 monochome doesn't |
| 2024-04-22 17:12:15 +0000 | <glguy> | -e |
| 2024-04-22 17:14:19 +0000 | <glguy> | fast access to documentation, reliable jump-to-definition, and access to type information for local definitions has been very valuable to me, especially when working in unfamiliar codebases |
| 2024-04-22 17:14:37 +0000 | <monochrom> | haha |
| 2024-04-22 17:15:02 +0000 | <glguy> | and hls has come far enough since the beginning that it's actually a time savings to use it. for a while i would spend more time on these tools getting them to work than then time saved working on projects |
| 2024-04-22 17:16:59 +0000 | <glguy> | it also helps that the same configuration works across vscode, vim, and emacs so it's pretty easy to move around... I still haven't settled on one editor |
| 2024-04-22 17:17:58 +0000 | <cheater> | i use lambdabot |
| 2024-04-22 17:18:05 +0000 | <cheater> | while modern HLSes and modes are snazzy |
| 2024-04-22 17:18:16 +0000 | <cheater> | none of yours has @protontorpedo |
| 2024-04-22 17:20:21 +0000 | <ncf> | @protontorpedo |
| 2024-04-22 17:20:21 +0000 | <lambdabot> | is functional ebtter than oo? |
| 2024-04-22 17:21:05 +0000 | <glguy> | > "functional" > "oo" |
| 2024-04-22 17:21:07 +0000 | <lambdabot> | False |
| 2024-04-22 17:25:14 +0000 | ft | (~ft@p4fc2a20e.dip0.t-ipconnect.de) |
| 2024-04-22 17:26:43 +0000 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-22 17:30:59 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 17:32:43 +0000 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 17:33:16 +0000 | <ski> | @palomer |
| 2024-04-22 17:33:17 +0000 | <lambdabot> | Pfft |
| 2024-04-22 17:33:20 +0000 | <ski> | @keal |
| 2024-04-22 17:33:20 +0000 | <lambdabot> | i still dont understand how gci is supposed to do anything other than mathematics |
| 2024-04-22 17:33:25 +0000 | <Ptival> | seems like part of my answer is "get rid of Flycheck" then, and the other part is "figure out how to get the LSP setup to do its thing" |
| 2024-04-22 17:34:31 +0000 | tzh | (~tzh@c-73-164-206-160.hsd1.or.comcast.net) |
| 2024-04-22 17:35:54 +0000 | thailigur | (~thailigur@151.241.216.163) (Ping timeout: 250 seconds) |
| 2024-04-22 17:37:52 +0000 | <EvanR> | @ski |
| 2024-04-22 17:37:52 +0000 | <lambdabot> | Maybe you meant: wiki src ask |
| 2024-04-22 17:38:19 +0000 | <ski> | @quote EvanR |
| 2024-04-22 17:38:20 +0000 | <lambdabot> | EvanR says: < EvanR> @forget EvanR |
| 2024-04-22 17:39:11 +0000 | Ptival | (~ptival@64.16.51.186) (Changing host) |
| 2024-04-22 17:39:11 +0000 | Ptival | (~ptival@user/Ptival) |
| 2024-04-22 17:42:25 +0000 | random-jellyfish | (~developer@user/random-jellyfish) (Ping timeout: 245 seconds) |
| 2024-04-22 17:42:54 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-22 17:44:33 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Client Quit) |
| 2024-04-22 17:45:22 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-04-22 17:47:02 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-22 17:49:52 +0000 | zetef | (~quassel@5.2.182.99) |
| 2024-04-22 17:52:43 +0000 | <Ptival> | in case someone reads these logs in the future (maybe myself when I inevitably forget), my problem was that I had set up doom-emacs to use (haskell +lsp), but I had missed that you also need to separately enable lsp in the tools section |
| 2024-04-22 17:52:55 +0000 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-04-22 17:53:26 +0000 | <ski> | (there may well be unseen lurkers with us atm) |
| 2024-04-22 18:03:14 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) |
| 2024-04-22 18:06:13 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 18:10:20 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 245 seconds) |
| 2024-04-22 18:12:42 +0000 | Ptival | (~ptival@user/Ptival) (Remote host closed the connection) |
| 2024-04-22 18:14:30 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 268 seconds) |
| 2024-04-22 18:15:52 +0000 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 18:20:42 +0000 | Ptival | (~ptival@64.16.51.186) (Changing host) |
| 2024-04-22 18:20:42 +0000 | Ptival | (~ptival@user/Ptival) |
| 2024-04-22 18:24:49 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 18:24:54 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Remote host closed the connection) |
| 2024-04-22 18:30:41 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-22 18:39:15 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 18:47:50 +0000 | masaeedu | (~masaeedu@user/masaeedu) (Ping timeout: 245 seconds) |
| 2024-04-22 18:49:03 +0000 | zetef | (~quassel@5.2.182.99) (Remote host closed the connection) |
| 2024-04-22 19:02:58 +0000 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 2024-04-22 19:09:11 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-04-22 19:14:35 +0000 | Ptival | (~ptival@user/Ptival) (Remote host closed the connection) |
| 2024-04-22 19:15:08 +0000 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 19:18:09 +0000 | philopsos | (~caecilius@user/philopsos) (Ping timeout: 272 seconds) |
| 2024-04-22 19:19:40 +0000 | Ptival | (~ptival@64.16.51.186) (Ping timeout: 255 seconds) |
| 2024-04-22 19:21:18 +0000 | <mauke> | TIL lists in SASL syntax work a lot like lists in Perl |
| 2024-04-22 19:25:33 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) |
| 2024-04-22 19:26:44 +0000 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-04-22 19:33:44 +0000 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 19:35:51 +0000 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) |
| 2024-04-22 19:37:50 +0000 | Ptival | (~ptival@64.16.51.186) (Ping timeout: 245 seconds) |
| 2024-04-22 19:52:15 +0000 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-04-22 19:54:41 +0000 | mei | (~mei@user/mei) |
| 2024-04-22 20:00:41 +0000 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 20:01:14 +0000 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-04-22 20:09:32 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2024-04-22 20:13:31 +0000 | demesne | (~demesne@50.35.88.207) |
| 2024-04-22 20:14:23 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-04-22 20:16:12 +0000 | sawilagar | (~sawilagar@user/sawilagar) |
| 2024-04-22 20:19:37 +0000 | FragByte | (~christian@user/fragbyte) (Quit: Quit) |
| 2024-04-22 20:20:12 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2024-04-22 20:25:13 +0000 | zetef | (~quassel@5.2.182.98) |
| 2024-04-22 20:28:56 +0000 | robobub | (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-22 20:35:32 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-22 20:36:36 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-22 20:45:13 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2024-04-22 20:45:30 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) |
| 2024-04-22 20:45:50 +0000 | marinelli | (~weechat@gateway/tor-sasl/marinelli) () |
| 2024-04-22 20:48:14 +0000 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-22 20:49:01 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-22 20:52:33 +0000 | pavonia | (~user@user/siracusa) |
| 2024-04-22 20:54:16 +0000 | yin | (~yin@user/zero) |
| 2024-04-22 20:57:18 +0000 | driib | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-04-22 20:59:56 +0000 | michalz | (~michalz@185.246.207.200) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-04-22 21:02:56 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2024-04-22 21:03:26 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2024-04-22 21:05:38 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-04-22 21:06:07 +0000 | demesne | (~demesne@50.35.88.207) (Remote host closed the connection) |
| 2024-04-22 21:11:28 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-04-22 21:15:56 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-22 21:16:00 +0000 | driib | (~driib@vmi931078.contaboserver.net) (Client Quit) |
| 2024-04-22 21:17:43 +0000 | driib | (~driib@vmi931078.contaboserver.net) |
| 2024-04-22 21:18:05 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) |
| 2024-04-22 21:22:55 +0000 | tri | (~tri@ool-18bbef1a.static.optonline.net) (Ping timeout: 272 seconds) |
| 2024-04-22 21:27:18 +0000 | <glguy> | mauke: example? |
| 2024-04-22 21:31:10 +0000 | philopsos | (~caecilius@user/philopsos) |
| 2024-04-22 21:37:00 +0000 | yin | (~yin@user/zero) (Ping timeout: 245 seconds) |
| 2024-04-22 21:38:05 +0000 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-04-22 21:39:03 +0000 | yin | (~yin@user/zero) |
| 2024-04-22 21:45:35 +0000 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2024-04-22 21:46:32 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) |
| 2024-04-22 21:50:15 +0000 | mulk | (~mulk@p5b2dc97e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-04-22 21:52:08 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-04-22 21:58:22 +0000 | mulk | (~mulk@p5b2dc97e.dip0.t-ipconnect.de) |
| 2024-04-22 22:15:41 +0000 | crook1389 | (uid581388@id-581388.ilkley.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-04-22 22:19:55 +0000 | anon1123 | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) (Ping timeout: 272 seconds) |
| 2024-04-22 22:22:10 +0000 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-04-22 22:23:42 +0000 | acidjnk | (~acidjnk@p200300d6e714dc576d6928eb96b27a5a.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-04-22 22:24:21 +0000 | trev | (~trev@user/trev) (Ping timeout: 252 seconds) |
| 2024-04-22 22:26:32 +0000 | trev | (~trev@user/trev) |
| 2024-04-22 22:29:36 +0000 | anon1123 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) |
| 2024-04-22 22:30:25 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2024-04-22 22:30:39 +0000 | noumenon | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
| 2024-04-22 22:31:56 +0000 | julie_pilgrim | (~julie_pil@user/julie-pilgrim/x-1240752) (Remote host closed the connection) |
| 2024-04-22 22:34:19 +0000 | zetef | (~quassel@5.2.182.98) (Remote host closed the connection) |
| 2024-04-22 22:46:46 +0000 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 268 seconds) |
| 2024-04-22 22:48:35 +0000 | anon1123 | (~anon1123@catv-176-63-0-119.catv.fixed.vodafone.hu) (Ping timeout: 264 seconds) |
| 2024-04-22 22:48:39 +0000 | anon1123_ | (~anon1123@2a02:ab88:282:b00:da3a:ddff:fe3a:947c) |
| 2024-04-22 22:50:48 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-04-22 22:52:02 +0000 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-04-22 22:54:18 +0000 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-22 22:54:45 +0000 | Ptival | (~ptival@64.16.51.186) |
| 2024-04-22 22:55:05 +0000 | Ptival | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-22 22:55:11 +0000 | Ptival_ | (~ptival@64.16.51.186) |
| 2024-04-22 22:56:19 +0000 | mima | (~mmh@aftr-62-216-211-149.dynamic.mnet-online.de) (Ping timeout: 268 seconds) |
| 2024-04-22 22:57:32 +0000 | Ptival_ | (~ptival@64.16.51.186) (Remote host closed the connection) |
| 2024-04-22 22:58:20 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-22 23:00:46 +0000 | peterbecich | (~Thunderbi@47.229.123.186) |
| 2024-04-22 23:01:11 +0000 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-04-22 23:01:27 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-04-22 23:02:48 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-22 23:05:07 +0000 | leah2 | (~leah@vuxu.org) (Ping timeout: 255 seconds) |
| 2024-04-22 23:22:12 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-04-22 23:22:26 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-22 23:29:25 +0000 | xal | (~xal@mx1.xal.systems) () |
| 2024-04-22 23:35:30 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Remote host closed the connection) |
| 2024-04-22 23:35:46 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) |
| 2024-04-22 23:37:02 +0000 | madeleine-sydney | (~madeleine@c-76-155-235-153.hsd1.co.comcast.net) (Quit: Konversation terminated!) |
| 2024-04-22 23:42:19 +0000 | peterbecich | (~Thunderbi@47.229.123.186) (Ping timeout: 260 seconds) |
| 2024-04-22 23:44:40 +0000 | xal | (~xal@mx1.xal.systems) |
| 2024-04-22 23:56:42 +0000 | Axman6 | (~Axman6@user/axman6) (Ping timeout: 244 seconds) |
| 2024-04-22 23:57:25 +0000 | y04nn | (~username@2a03:1b20:8:f011::e10d) (Ping timeout: 245 seconds) |
| 2024-04-22 23:57:26 +0000 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
