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