| 2023-10-17 00:00:28 +0000 | <jrm> | Maybe Madagascar? "[It] split from Africa during the Early Jurassic, around 180 million years ago, and split from the Indian subcontinent around 90 million years ago." |
| 2023-10-17 00:01:00 +0000 | <monochrom> | Pretty small. But you can bribe me to agree. :) |
| 2023-10-17 00:01:21 +0000 | <geekosaur> | you want a small ex-continent? new zealand |
| 2023-10-17 00:02:17 +0000 | <monochrom> | Isle of Man. |
| 2023-10-17 00:02:18 +0000 | monochrom | ducks |
| 2023-10-17 00:06:34 +0000 | <jrm> | Only if the continent flag can keep that spiny leg wheel design. |
| 2023-10-17 00:08:41 +0000 | Vajb | (~Vajb@207.61.167.122) |
| 2023-10-17 00:11:48 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 240 seconds) |
| 2023-10-17 00:21:12 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-17 00:22:35 +0000 | Pseudonym | (~IceChat95@203.214.86.172) |
| 2023-10-17 00:23:33 +0000 | bilegeek | (~bilegeek@2600:1008:b013:eb04:f910:8d38:6349:3824) |
| 2023-10-17 00:25:04 +0000 | td_ | (~td@i53870923.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-17 00:25:22 +0000 | td_ | (~td@i53870923.versanet.de) |
| 2023-10-17 00:37:02 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-10-17 00:39:28 +0000 | Vajb | (~Vajb@207.61.167.122) (Ping timeout: 255 seconds) |
| 2023-10-17 00:41:34 +0000 | migas | (~migas@astra4961.startdedicated.net) (Quit: Ping timeout (120 seconds)) |
| 2023-10-17 00:41:35 +0000 | td_ | (~td@i53870923.versanet.de) (Ping timeout: 240 seconds) |
| 2023-10-17 00:42:10 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-10-17 00:42:21 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-10-17 00:42:56 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9d7:8bce:4928:5b34) (Ping timeout: 260 seconds) |
| 2023-10-17 00:43:45 +0000 | sabino | (~sabino@user/sabino) (Quit: Lambda _ -> x) |
| 2023-10-17 00:43:48 +0000 | td_ | (~td@i53870919.versanet.de) |
| 2023-10-17 00:47:49 +0000 | nullie | (~nullie@amsterdam.nullie.name) (Ping timeout: 252 seconds) |
| 2023-10-17 00:48:15 +0000 | czy | (~user@121.231.41.11) |
| 2023-10-17 00:48:26 +0000 | nullie | (~nullie@amsterdam.nullie.name) |
| 2023-10-17 00:55:59 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 255 seconds) |
| 2023-10-17 00:56:39 +0000 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2023-10-17 01:10:42 +0000 | Vajb | (~Vajb@207.61.167.122) |
| 2023-10-17 01:15:49 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Ping timeout: 258 seconds) |
| 2023-10-17 01:17:07 +0000 | aforemny | (~aforemny@i59F516EC.versanet.de) (Ping timeout: 264 seconds) |
| 2023-10-17 01:17:58 +0000 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 2023-10-17 01:19:37 +0000 | <haskellbridge> | <geekosaur> test 💡 |
| 2023-10-17 01:20:49 +0000 | <haskellbridge> | <geekosaur> huh. the bridge translates emojis |
| 2023-10-17 01:22:58 +0000 | <jrm> | Last night I was curious why a simple recursive function to calculate the sum of a Fibonacci sequence took ~9 times longer than the equivalent function in C. Here is a very similar function to calculate factorials and it returns with no noticeable delay for many more calculations. https://paste.tomsmeding.com/NSFPBoD1 |
| 2023-10-17 01:24:39 +0000 | <geekosaur> | it's fewer calculations because it's a linear chain; fib requires a large tree |
| 2023-10-17 01:25:30 +0000 | <geekosaur> | compare `x * fac (x - 1)` to `fib (x - 1) + fib (x - 2)` |
| 2023-10-17 01:25:31 +0000 | <jrm> | ...because it has two recursive calls, I gather. |
| 2023-10-17 01:25:35 +0000 | <geekosaur> | yes |
| 2023-10-17 01:25:39 +0000 | <dolio> | Naive fib is O(fib(n)) |
| 2023-10-17 01:25:44 +0000 | <geekosaur> | and every one of those has two calls, etc. |
| 2023-10-17 01:26:10 +0000 | <dolio> | (Which is exponential.) |
| 2023-10-17 01:26:31 +0000 | <Pseudonym> | https://paste.tomsmeding.com/xUpxoY7T |
| 2023-10-17 01:26:43 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-10-17 01:26:45 +0000 | <Pseudonym> | Try that as a head-to-head with yours, using :set +s |
| 2023-10-17 01:29:25 +0000 | aforemny | (~aforemny@i59F516EC.versanet.de) |
| 2023-10-17 01:29:34 +0000 | <Pseudonym> | Fun fact: Naive factorial is not O(n), either, because big integer multiplication is not O(1). |
| 2023-10-17 01:30:03 +0000 | <jrm> | I think you need s/fac/fac'/ after the where, but it is indeed about 2x faster. |
| 2023-10-17 01:30:17 +0000 | <Pseudonym> | Ah yes. I only proved it correct, I didn't run it. |
| 2023-10-17 01:30:35 +0000 | <jrm> | fac 10000: (0.26 secs, 103,220,624 bytes) facp 10000: (0.12 secs, 30,103,976 bytes) |
| 2023-10-17 01:30:38 +0000 | Vajb | (~Vajb@207.61.167.122) (Ping timeout: 255 seconds) |
| 2023-10-17 01:30:48 +0000 | <geekosaur> | have to change it in 3 places in fact |
| 2023-10-17 01:31:00 +0000 | <Pseudonym> | It's more efficient to multiply similarly-sized integers together than differently-sized integers. |
| 2023-10-17 01:33:55 +0000 | aforemny | (~aforemny@i59F516EC.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-17 01:38:17 +0000 | otto_s | (~user@p5de2fd40.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2023-10-17 01:38:35 +0000 | aforemny | (~aforemny@i59F516ED.versanet.de) |
| 2023-10-17 01:39:58 +0000 | otto_s | (~user@p5b0445cd.dip0.t-ipconnect.de) |
| 2023-10-17 01:40:52 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Read error: Connection reset by peer) |
| 2023-10-17 01:41:27 +0000 | <monochrom> | My students don't realize why "foo n = foo (n-1) + foo(n-1)" is exponential in n, until I remind them it's even worse than "fib n = fib (n-1) + fib (n-2)". :) |
| 2023-10-17 01:44:26 +0000 | shapr | (~user@2600:1700:c640:3100:fc20:3b33:1ae3:ac4d) (Remote host closed the connection) |
| 2023-10-17 01:44:40 +0000 | shapr | (~user@2600:1700:c640:3100:6168:f5b:cf6a:563a) |
| 2023-10-17 01:45:08 +0000 | Vajb | (~Vajb@207.61.167.122) |
| 2023-10-17 01:47:13 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) |
| 2023-10-17 01:49:32 +0000 | Vajb | (~Vajb@207.61.167.122) (Ping timeout: 248 seconds) |
| 2023-10-17 01:52:49 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-10-17 01:53:01 +0000 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 260 seconds) |
| 2023-10-17 01:56:59 +0000 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-10-17 01:58:07 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-10-17 02:09:43 +0000 | yj2 | (echo@user/yjj3) |
| 2023-10-17 02:10:17 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-17 02:12:55 +0000 | td_ | (~td@i53870919.versanet.de) (Ping timeout: 264 seconds) |
| 2023-10-17 02:13:14 +0000 | <EvanR> | I wrote a graph reducer based on chapter 2 of SPJ book implementation of functional programming languages. And a significant percent of the code is dealing with the presence of indirection nodes. But thanks to a side blurb in section 12.4.3, I never create any indirection nodes (instead, evaluate whatever you would have indirected to to WHNF then overwrite the redex with it). So that's funny |
| 2023-10-17 02:14:00 +0000 | <EvanR> | but I also don't have any unboxed integers. So maybe that's why |
| 2023-10-17 02:14:23 +0000 | <Pseudonym> | I was about to say... and if the result is physically larger than the redex? |
| 2023-10-17 02:14:25 +0000 | td_ | (~td@i53870913.versanet.de) |
| 2023-10-17 02:14:43 +0000 | <Pseudonym> | Also, you don't use a copying collector, which is probably for the best. |
| 2023-10-17 02:14:45 +0000 | <EvanR> | I have all cells the same size |
| 2023-10-17 02:14:51 +0000 | <Pseudonym> | Ah. |
| 2023-10-17 02:15:04 +0000 | <Pseudonym> | So cons is the same size as nil. |
| 2023-10-17 02:15:28 +0000 | <Pseudonym> | That's how you avoid indirection nodes. |
| 2023-10-17 02:15:33 +0000 | <EvanR> | yes because the heap is only 16 cells so several pointers fit in a cell xD |
| 2023-10-17 02:17:45 +0000 | <monochrom> | XD |
| 2023-10-17 02:18:08 +0000 | <EvanR> | which also makes GC really easy |
| 2023-10-17 02:18:19 +0000 | <monochrom> | This is why GHC takes GBs of RAM :) |
| 2023-10-17 02:22:37 +0000 | <EvanR> | ok but doesn't GHC have indirection nodes |
| 2023-10-17 02:23:17 +0000 | td_ | (~td@i53870913.versanet.de) (Ping timeout: 258 seconds) |
| 2023-10-17 02:23:30 +0000 | td_ | (~td@i53870913.versanet.de) |
| 2023-10-17 02:24:58 +0000 | <monochrom> | I was partly joking :) |
| 2023-10-17 02:25:41 +0000 | <monochrom> | But GHC was like "it's 8 bytes for even Int8 because uniformity". |
| 2023-10-17 02:26:13 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.0.5) |
| 2023-10-17 02:26:14 +0000 | <monochrom> | Err no, 16 bytes! |
| 2023-10-17 02:26:44 +0000 | <monochrom> | Recently GHC versions have cut that down a bit. |
| 2023-10-17 02:26:57 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-10-17 02:28:31 +0000 | Square | (~Square@user/square) |
| 2023-10-17 02:29:08 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 02:30:24 +0000 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-10-17 02:30:24 +0000 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-10-17 02:30:24 +0000 | finn_elija | FinnElija |
| 2023-10-17 02:31:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9d7:8bce:4928:5b34) |
| 2023-10-17 02:32:19 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-17 02:35:59 +0000 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 252 seconds) |
| 2023-10-17 02:37:35 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-10-17 02:38:48 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-17 02:38:55 +0000 | <EvanR> | it's a 64-bit machine, when in 64-bit rome do 64-bit things |
| 2023-10-17 02:41:53 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-10-17 02:42:53 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-10-17 02:43:32 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-17 02:45:28 +0000 | <davean> | When in 64-bit rome, do AVX10.1/512 things. |
| 2023-10-17 02:50:48 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-10-17 02:52:34 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 245 seconds) |
| 2023-10-17 02:56:06 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-10-17 02:56:18 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.1.0) |
| 2023-10-17 02:57:52 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-17 02:59:28 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-17 03:00:03 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-17 03:00:32 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 03:02:34 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Client Quit) |
| 2023-10-17 03:02:39 +0000 | jargon | (~jargon@174-22-221-150.phnx.qwest.net) |
| 2023-10-17 03:07:16 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 03:10:47 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf3:2200:78b4:c4c0:dc3:eb14) |
| 2023-10-17 03:11:24 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) (Ping timeout: 240 seconds) |
| 2023-10-17 03:11:34 +0000 | aforemny | (~aforemny@i59F516ED.versanet.de) (Ping timeout: 255 seconds) |
| 2023-10-17 03:11:39 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Client Quit) |
| 2023-10-17 03:12:14 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 03:20:20 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-17 03:29:05 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.1.0) |
| 2023-10-17 03:30:22 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 258 seconds) |
| 2023-10-17 03:35:30 +0000 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2023-10-17 03:37:53 +0000 | Square | (~Square@user/square) |
| 2023-10-17 03:45:05 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-10-17 03:46:19 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-10-17 03:50:23 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-10-17 03:58:01 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-10-17 03:59:01 +0000 | bilegeek | (~bilegeek@2600:1008:b013:eb04:f910:8d38:6349:3824) (Quit: Leaving) |
| 2023-10-17 04:03:19 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-10-17 04:07:12 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-17 04:07:41 +0000 | doyougnu | (~doyougnu@45.46.170.68) (Ping timeout: 260 seconds) |
| 2023-10-17 04:09:22 +0000 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) |
| 2023-10-17 04:12:25 +0000 | doyougnu | (~doyougnu@45.46.170.68) |
| 2023-10-17 04:13:24 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-10-17 04:14:46 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-17 04:18:42 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-10-17 04:22:25 +0000 | danse-nr3 | (~francesco@151.57.108.203) |
| 2023-10-17 04:23:34 +0000 | danse-nr3 | (~francesco@151.57.108.203) (Remote host closed the connection) |
| 2023-10-17 04:24:00 +0000 | danse-nr3 | (~francesco@151.57.108.203) |
| 2023-10-17 04:29:33 +0000 | danse-nr3 | (~francesco@151.57.108.203) (Remote host closed the connection) |
| 2023-10-17 04:29:56 +0000 | danse-nr3 | (~francesco@151.57.108.203) |
| 2023-10-17 04:29:59 +0000 | goldenstack | (~goldensta@2601:249:9200:c373:b8f9:3813:3bb4:f74b) |
| 2023-10-17 04:34:35 +0000 | danse-nr3 | (~francesco@151.57.108.203) (Ping timeout: 255 seconds) |
| 2023-10-17 04:44:14 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 272 seconds) |
| 2023-10-17 04:45:29 +0000 | raym | (~ray@user/raym) (Quit: upgrade to FreeBSD 14.0-RC1) |
| 2023-10-17 04:45:52 +0000 | goldenstack | (~goldensta@2601:249:9200:c373:b8f9:3813:3bb4:f74b) (Quit: Leaving) |
| 2023-10-17 04:46:19 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-17 04:47:35 +0000 | euleritian | (~euleritia@dynamic-046-114-200-142.46.114.pool.telefonica.de) |
| 2023-10-17 04:47:43 +0000 | danse-nr3 | (~francesco@151.57.108.203) |
| 2023-10-17 04:48:11 +0000 | euleritian | (~euleritia@dynamic-046-114-200-142.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 04:48:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 04:49:05 +0000 | Square | (~Square@user/square) (Ping timeout: 255 seconds) |
| 2023-10-17 04:49:18 +0000 | goldenstack | (~goldensta@2601:249:9200:c373:b8f9:3813:3bb4:f74b) |
| 2023-10-17 04:49:42 +0000 | goldenstack | (~goldensta@2601:249:9200:c373:b8f9:3813:3bb4:f74b) (Client Quit) |
| 2023-10-17 04:52:54 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-17 04:55:50 +0000 | bilegeek | (~bilegeek@2600:1008:b013:eb04:f910:8d38:6349:3824) |
| 2023-10-17 04:59:10 +0000 | michalz | (~michalz@185.246.207.197) |
| 2023-10-17 04:59:25 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 2023-10-17 05:01:43 +0000 | Square | (~Square@user/square) |
| 2023-10-17 05:04:43 +0000 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 2023-10-17 05:10:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 05:11:16 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 05:15:52 +0000 | ryanbooker | (uid4340@id-4340.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-17 05:18:54 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-10-17 05:19:08 +0000 | Pseudonym | (~IceChat95@203.214.86.172) (Quit: Never put off till tomorrow, what you can do the day after tomorrow) |
| 2023-10-17 05:27:01 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 255 seconds) |
| 2023-10-17 05:27:18 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 05:27:35 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) |
| 2023-10-17 05:34:30 +0000 | rosco | (~rosco@yp-150-69.tm.net.my) |
| 2023-10-17 05:37:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2023-10-17 05:41:57 +0000 | euleritian | (~euleritia@dynamic-046-114-200-142.46.114.pool.telefonica.de) |
| 2023-10-17 05:42:06 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-17 05:42:18 +0000 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) |
| 2023-10-17 05:49:54 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-10-17 05:55:31 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-10-17 06:03:08 +0000 | Square2 | (~Square4@user/square) |
| 2023-10-17 06:03:40 +0000 | vglfr | (~vglfr@88.155.159.184) (Remote host closed the connection) |
| 2023-10-17 06:04:47 +0000 | vglfr | (~vglfr@88.155.159.184) |
| 2023-10-17 06:06:19 +0000 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2023-10-17 06:07:08 +0000 | son0p | (~ff@181.136.122.143) (Ping timeout: 248 seconds) |
| 2023-10-17 06:08:22 +0000 | vglfr | (~vglfr@88.155.159.184) (Remote host closed the connection) |
| 2023-10-17 06:10:07 +0000 | vglfr | (~vglfr@88.155.159.184) |
| 2023-10-17 06:10:40 +0000 | vglfr | (~vglfr@88.155.159.184) (Remote host closed the connection) |
| 2023-10-17 06:11:14 +0000 | acidjnk_new | (~acidjnk@p200300d6e72b933890137bb0a9c5386a.dip0.t-ipconnect.de) |
| 2023-10-17 06:11:42 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-17 06:13:24 +0000 | vglfr | (~vglfr@88.155.159.184) |
| 2023-10-17 06:17:25 +0000 | hiyori | (~hiyori@user/hiyori) (Quit: Client closed) |
| 2023-10-17 06:19:13 +0000 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Read error: Connection reset by peer) |
| 2023-10-17 06:23:40 +0000 | chomwitt | (~chomwitt@2a02:587:7a17:8900:1ac0:4dff:fedb:a3f1) |
| 2023-10-17 06:27:48 +0000 | bilegeek | (~bilegeek@2600:1008:b013:eb04:f910:8d38:6349:3824) (Quit: Leaving) |
| 2023-10-17 06:34:25 +0000 | rgw | (~R@2605:a601:a0df:5600:e1fd:3d46:eec0:9d00) (Read error: Connection reset by peer) |
| 2023-10-17 06:35:16 +0000 | euleritian | (~euleritia@dynamic-046-114-200-142.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 06:35:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 06:40:19 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-17 06:45:19 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-17 06:45:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 06:45:33 +0000 | euleritian | (~euleritia@dynamic-046-114-200-142.46.114.pool.telefonica.de) |
| 2023-10-17 06:45:53 +0000 | euleritian | (~euleritia@dynamic-046-114-200-142.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 06:46:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 06:47:07 +0000 | idgaen | (~idgaen@2a01:e0a:498:fd50:fcc6:bb5d:489a:ce8c) (Quit: WeeChat 4.0.5) |
| 2023-10-17 06:47:07 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 06:47:34 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 06:55:18 +0000 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-17 06:58:22 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d620:5e03:68d3:d782) |
| 2023-10-17 06:58:54 +0000 | rosco | (~rosco@yp-150-69.tm.net.my) (Ping timeout: 258 seconds) |
| 2023-10-17 07:00:44 +0000 | rosco | (~rosco@193.138.218.161) |
| 2023-10-17 07:01:17 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2023-10-17 07:04:26 +0000 | danse-nr3_ | (~francesco@151.57.97.7) |
| 2023-10-17 07:06:55 +0000 | danse-nr3 | (~francesco@151.57.108.203) (Ping timeout: 255 seconds) |
| 2023-10-17 07:07:27 +0000 | rosco | (~rosco@193.138.218.161) (Ping timeout: 240 seconds) |
| 2023-10-17 07:09:17 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 07:09:34 +0000 | rosco | (~rosco@yp-150-69.tm.net.my) |
| 2023-10-17 07:10:07 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 07:15:23 +0000 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 258 seconds) |
| 2023-10-17 07:17:09 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-10-17 07:30:11 +0000 | danse-nr3_ | (~francesco@151.57.97.7) (Ping timeout: 246 seconds) |
| 2023-10-17 07:31:35 +0000 | vglfr | (~vglfr@88.155.159.184) (Read error: Connection reset by peer) |
| 2023-10-17 07:31:55 +0000 | vglfr | (~vglfr@149.102.239.227) |
| 2023-10-17 07:37:34 +0000 | sm | (~sm@plaintextaccounting/sm) (Ping timeout: 252 seconds) |
| 2023-10-17 07:39:12 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) (Remote host closed the connection) |
| 2023-10-17 07:39:22 +0000 | chexum | (~quassel@gateway/tor-sasl/chexum) |
| 2023-10-17 07:40:30 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-17 07:41:26 +0000 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-10-17 07:42:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 07:43:48 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 07:47:06 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9d7:8bce:4928:5b34) (Remote host closed the connection) |
| 2023-10-17 07:49:40 +0000 | vglfr | (~vglfr@149.102.239.227) (Ping timeout: 252 seconds) |
| 2023-10-17 07:51:27 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 240 seconds) |
| 2023-10-17 07:52:36 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-17 07:55:31 +0000 | vglfr | (~vglfr@88.155.159.184) |
| 2023-10-17 08:03:19 +0000 | czy | (~user@121.231.41.11) (Ping timeout: 264 seconds) |
| 2023-10-17 08:03:24 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-17 08:03:36 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-10-17 08:04:25 +0000 | jargon | (~jargon@174-22-221-150.phnx.qwest.net) (Remote host closed the connection) |
| 2023-10-17 08:09:05 +0000 | cfricke | (~cfricke@user/cfricke) |
| 2023-10-17 08:09:36 +0000 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) (Quit: Leaving) |
| 2023-10-17 08:09:47 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-17 08:12:45 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-17 08:14:01 +0000 | Jackneill | (~Jackneill@20014C4E1E021C006528DBAB23459C2F.dsl.pool.telekom.hu) |
| 2023-10-17 08:15:33 +0000 | CiaoSen | (~Jura@2a05:5800:2cb:7700:664b:f0ff:fe37:9ef) |
| 2023-10-17 08:17:06 +0000 | son0p | (~ff@181.136.122.143) |
| 2023-10-17 08:17:18 +0000 | danse-nr3_ | (~francesco@151.57.97.7) |
| 2023-10-17 08:21:41 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-17 08:22:23 +0000 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) (Ping timeout: 255 seconds) |
| 2023-10-17 08:27:03 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9d7:8bce:4928:5b34) |
| 2023-10-17 08:30:58 +0000 | dyniec | (~dyniec@mail.dybiec.info) (Ping timeout: 272 seconds) |
| 2023-10-17 08:31:03 +0000 | chele | (~chele@user/chele) |
| 2023-10-17 08:31:27 +0000 | diamond | (~user@89.223.35.3) |
| 2023-10-17 08:32:36 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-17 08:32:42 +0000 | raym | (~ray@user/raym) |
| 2023-10-17 08:34:56 +0000 | dtman34 | (~dtman34@c-76-156-89-180.hsd1.mn.comcast.net) |
| 2023-10-17 08:36:48 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-17 08:54:26 +0000 | misterfish | (~misterfis@46.44.172.198) |
| 2023-10-17 09:01:46 +0000 | nullie | (~nullie@amsterdam.nullie.name) (Quit: WeeChat 2.8) |
| 2023-10-17 09:02:15 +0000 | nullie | (~nullie@amsterdam.nullie.name) |
| 2023-10-17 09:07:39 +0000 | shapr | (~user@2600:1700:c640:3100:6168:f5b:cf6a:563a) (Remote host closed the connection) |
| 2023-10-17 09:07:53 +0000 | shapr | (~user@2600:1700:c640:3100:56f1:ca94:4995:b15) |
| 2023-10-17 09:08:59 +0000 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-17 09:15:19 +0000 | dyniec | (~dyniec@mail.dybiec.info) |
| 2023-10-17 09:25:28 +0000 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-10-17 09:26:55 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-10-17 09:32:53 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-17 09:44:31 +0000 | __monty__ | (~toonn@user/toonn) |
| 2023-10-17 10:00:44 +0000 | ft | (~ft@p3e9bc680.dip0.t-ipconnect.de) (Quit: leaving) |
| 2023-10-17 10:04:58 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 10:05:06 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 10:05:33 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 10:05:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 10:08:30 +0000 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 272 seconds) |
| 2023-10-17 10:18:47 +0000 | <haskellbridge> | <mauke> Sounds cray c |
| 2023-10-17 10:20:53 +0000 | dcoutts | (~duncan@net77-43-75-226.mclink.it) |
| 2023-10-17 10:25:17 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-10-17 10:27:30 +0000 | CiaoSen | (~Jura@2a05:5800:2cb:7700:664b:f0ff:fe37:9ef) (Ping timeout: 272 seconds) |
| 2023-10-17 10:37:13 +0000 | Xe | (~cadey@perl/impostor/xe) (Ping timeout: 255 seconds) |
| 2023-10-17 10:39:17 +0000 | Xe | (~cadey@perl/impostor/xe) |
| 2023-10-17 10:41:50 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-17 10:46:37 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-10-17 10:46:50 +0000 | misterfish | (~misterfis@46.44.172.198) (Ping timeout: 255 seconds) |
| 2023-10-17 10:49:53 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-10-17 10:52:13 +0000 | CiaoSen | (~Jura@2a05:5800:2cb:7700:664b:f0ff:fe37:9ef) |
| 2023-10-17 10:55:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-10-17 10:58:58 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 11:01:53 +0000 | chele_ | (~chele@user/chele) |
| 2023-10-17 11:02:48 +0000 | chele | Guest9771 |
| 2023-10-17 11:02:48 +0000 | Guest9771 | (~chele@user/chele) (Killed (osmium.libera.chat (Nickname regained by services))) |
| 2023-10-17 11:02:48 +0000 | chele_ | chele |
| 2023-10-17 11:05:38 +0000 | danse-nr3_ | (~francesco@151.57.97.7) (Read error: Connection reset by peer) |
| 2023-10-17 11:07:40 +0000 | chele | (~chele@user/chele) (Ping timeout: 252 seconds) |
| 2023-10-17 11:11:12 +0000 | billchenchina | (~billchenc@2a0c:b641:7a2:230::10) |
| 2023-10-17 11:11:27 +0000 | rosco | (~rosco@yp-150-69.tm.net.my) (Read error: Connection reset by peer) |
| 2023-10-17 11:12:05 +0000 | xff0x | (~xff0x@2405:6580:b080:900:55ab:4f6b:faf0:5845) |
| 2023-10-17 11:16:33 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 11:16:48 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 11:16:52 +0000 | chele | (~chele@user/chele) |
| 2023-10-17 11:17:12 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 11:17:29 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 11:18:25 +0000 | chomwitt | (~chomwitt@2a02:587:7a17:8900:1ac0:4dff:fedb:a3f1) (Ping timeout: 258 seconds) |
| 2023-10-17 11:21:24 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 240 seconds) |
| 2023-10-17 11:21:51 +0000 | Vajb | (~Vajb@207.61.167.122) |
| 2023-10-17 11:22:22 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 11:23:25 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-17 11:24:28 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Ping timeout: 248 seconds) |
| 2023-10-17 11:24:35 +0000 | dcoutts | (~duncan@net77-43-75-226.mclink.it) (Ping timeout: 240 seconds) |
| 2023-10-17 11:29:03 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 11:30:52 +0000 | dyniec | (~dyniec@mail.dybiec.info) (Ping timeout: 248 seconds) |
| 2023-10-17 11:35:24 +0000 | Vajb | (~Vajb@207.61.167.122) (Ping timeout: 240 seconds) |
| 2023-10-17 11:41:25 +0000 | xff0x | (~xff0x@2405:6580:b080:900:55ab:4f6b:faf0:5845) (Ping timeout: 258 seconds) |
| 2023-10-17 11:42:46 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) (Ping timeout: 255 seconds) |
| 2023-10-17 11:43:21 +0000 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) |
| 2023-10-17 11:46:58 +0000 | danse-nr3_ | (~francesco@151.47.125.43) |
| 2023-10-17 11:47:13 +0000 | cfricke | (~cfricke@user/cfricke) (Quit: WeeChat 4.0.4) |
| 2023-10-17 11:48:54 +0000 | misterfish | (~misterfis@87.215.131.102) |
| 2023-10-17 11:49:40 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-17 11:57:59 +0000 | <cheater> | any suggestions to run java code under haskell? |
| 2023-10-17 11:58:10 +0000 | <cheater> | is there a good FFI or something like that? |
| 2023-10-17 12:02:14 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 12:02:32 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 12:06:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-17 12:07:13 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 12:10:11 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 12:10:28 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 12:11:11 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-10-17 12:16:31 +0000 | danse-nr3_ | (~francesco@151.47.125.43) (Ping timeout: 260 seconds) |
| 2023-10-17 12:19:17 +0000 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) |
| 2023-10-17 12:19:19 +0000 | Square3 | (~Square4@user/square) |
| 2023-10-17 12:21:22 +0000 | Square2 | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2023-10-17 12:22:06 +0000 | <[exa]> | cheater: if you can exec java from C-ish languages, you can probably call it from FFI...but I saw that in action once and I wouldn't want to do it ever again |
| 2023-10-17 12:23:19 +0000 | <[exa]> | following this should "do it": https://docs.oracle.com/javase/7/docs/technotes/guides/jni/spec/invocation.html |
| 2023-10-17 12:27:57 +0000 | vglfr | (~vglfr@88.155.159.184) (Remote host closed the connection) |
| 2023-10-17 12:28:33 +0000 | vglfr | (~vglfr@88.155.159.184) |
| 2023-10-17 12:29:33 +0000 | dcoutts | (~duncan@net77-43-75-226.mclink.it) |
| 2023-10-17 12:29:43 +0000 | vglfr | (~vglfr@88.155.159.184) (Remote host closed the connection) |
| 2023-10-17 12:30:09 +0000 | vglfr | (~vglfr@88.155.159.184) |
| 2023-10-17 12:34:50 +0000 | danse-nr3_ | (~francesco@151.47.125.43) |
| 2023-10-17 12:36:11 +0000 | <Athas> | When was Data.Kind.Type introduced? |
| 2023-10-17 12:38:48 +0000 | <Hecate> | no idea |
| 2023-10-17 12:39:42 +0000 | <Athas> | Looks like it was base 4.9, which I think corresponds to GHC 7.10. |
| 2023-10-17 12:39:57 +0000 | <Athas> | (The fact that base and GHC version numbers do not correspond is the second worsst Haskel design flaw.) |
| 2023-10-17 12:40:39 +0000 | <tomsmeding> | Athas: according to ghcup, base-4.9.1 was ghc 8.0.2 |
| 2023-10-17 12:40:50 +0000 | <Athas> | Oh yes, I misread the table. |
| 2023-10-17 12:40:54 +0000 | <Athas> | Off by one row. |
| 2023-10-17 12:41:23 +0000 | <Athas> | But it does not make a difference, as the library I maintain supports 7.2. |
| 2023-10-17 12:41:31 +0000 | <tomsmeding> | oof |
| 2023-10-17 12:41:39 +0000 | <tomsmeding> | that's dedication |
| 2023-10-17 12:42:11 +0000 | <Athas> | It's fgl. I'm more of a custodian than a maintainer, but I'm reluctant to be the one to break compatibility. |
| 2023-10-17 12:42:36 +0000 | <tomsmeding> | do you have those old ghc versions around to test with |
| 2023-10-17 12:42:40 +0000 | <Athas> | Yes. |
| 2023-10-17 12:42:57 +0000 | <Athas> | It looks pretty cool in CI! https://github.com/haskell/fgl/actions/runs/6523159389 |
| 2023-10-17 12:43:11 +0000 | <tomsmeding> | juicy |
| 2023-10-17 12:43:18 +0000 | <Athas> | If you'd asked me before, I would say it is not viable to keep a nontrivial library working across a decade of GHC versions. |
| 2023-10-17 12:43:26 +0000 | <Athas> | Honestly, I'm still not sure it is viable. |
| 2023-10-17 12:43:38 +0000 | <tomsmeding> | :p |
| 2023-10-17 12:44:24 +0000 | ddellacosta | (~ddellacos@ool-44c738de.dyn.optonline.net) |
| 2023-10-17 12:44:52 +0000 | <tomsmeding> | ah, the venerable PPA |
| 2023-10-17 12:46:42 +0000 | rosco | (~rosco@yp-150-69.tm.net.my) |
| 2023-10-17 12:47:16 +0000 | <Athas> | How is HVR's PPA still around? |
| 2023-10-17 12:49:08 +0000 | <lortabac> | Athas: what's the first design flaw? |
| 2023-10-17 12:49:17 +0000 | <Athas> | lortabac: using :: for type ascription. |
| 2023-10-17 12:49:25 +0000 | <lortabac> | I see |
| 2023-10-17 12:49:37 +0000 | <lortabac> | I think base versions are worse |
| 2023-10-17 12:52:23 +0000 | <Hecate> | Athas: I think someone else maintains it, like phadej? |
| 2023-10-17 12:56:00 +0000 | <Athas> | fgl? |
| 2023-10-17 12:56:46 +0000 | <Athas> | Or the PPA? |
| 2023-10-17 12:58:30 +0000 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 255 seconds) |
| 2023-10-17 12:58:41 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-17 13:05:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2023-10-17 13:06:14 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 13:07:01 +0000 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-10-17 13:12:13 +0000 | <Hecate> | Athas: sorry the PPA |
| 2023-10-17 13:13:26 +0000 | CiaoSen | (~Jura@2a05:5800:2cb:7700:664b:f0ff:fe37:9ef) (Ping timeout: 255 seconds) |
| 2023-10-17 13:17:24 +0000 | kenran | (~johannes@user/kenran) |
| 2023-10-17 13:19:30 +0000 | dyniec | (~dyniec@mail.dybiec.info) |
| 2023-10-17 13:22:20 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 248 seconds) |
| 2023-10-17 13:24:34 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-17 13:24:41 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-17 13:25:20 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 13:25:35 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 13:25:57 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 13:26:10 +0000 | kenran | (~johannes@user/kenran) (Remote host closed the connection) |
| 2023-10-17 13:26:14 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 13:26:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 13:27:45 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 13:30:43 +0000 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Quit: The Lounge - https://thelounge.chat) |
| 2023-10-17 13:34:30 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 258 seconds) |
| 2023-10-17 13:34:40 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 13:34:59 +0000 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-10-17 13:37:37 +0000 | gmg | (~user@user/gehmehgeh) |
| 2023-10-17 13:42:13 +0000 | <haskellbridge> | <eldritchcookie> how much code minimum should a library? contain i made one that adds a effect to Effectful to integrate with katip it was too easy so i am hesitant to just publish it to hackage |
| 2023-10-17 13:42:35 +0000 | <haskellbridge> | <eldritchcookie> like i would never think it would be only 100ish lines |
| 2023-10-17 13:47:36 +0000 | <Hecate> | that's entirely valid |
| 2023-10-17 13:47:56 +0000 | <fendor> | There is no minimum. If that's all there is to effectful integration with katip, it is still 100ish lines you don't have to write yourself |
| 2023-10-17 13:48:20 +0000 | <Hecate> | I haven't uploaded my own effects yet because I had no need, but do upload yours, just make sure it follows the naming convention of other Effectful effects |
| 2023-10-17 13:48:36 +0000 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-10-17 13:53:27 +0000 | mc47 | (~mc47@xmonad/TheMC47) |
| 2023-10-17 13:58:23 +0000 | lortabac | (~lortabac@2a01:e0a:541:b8f0:d620:5e03:68d3:d782) (Quit: WeeChat 2.8) |
| 2023-10-17 14:01:53 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) (Read error: Connection reset by peer) |
| 2023-10-17 14:02:00 +0000 | ulrok | (~ulrok@155.246.151.38) |
| 2023-10-17 14:02:09 +0000 | zer0bitz | (~zer0bitz@user/zer0bitz) |
| 2023-10-17 14:04:10 +0000 | ulrok | (~ulrok@155.246.151.38) (Quit: Lost terminal) |
| 2023-10-17 14:07:37 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 2023-10-17 14:07:54 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 272 seconds) |
| 2023-10-17 14:09:57 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.1.0) |
| 2023-10-17 14:12:29 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 14:12:50 +0000 | dcoutts | (~duncan@net77-43-75-226.mclink.it) (Remote host closed the connection) |
| 2023-10-17 14:13:12 +0000 | dcoutts | (~duncan@net77-43-75-226.mclink.it) |
| 2023-10-17 14:16:12 +0000 | myme | (~myme@2a01:799:d60:e400:8777:ba1a:93ea:8bbd) (Ping timeout: 240 seconds) |
| 2023-10-17 14:17:12 +0000 | myme | (~myme@2a01:799:d60:e400:ffa9:e6a9:c6a3:3d47) |
| 2023-10-17 14:21:13 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 14:21:31 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 14:23:34 +0000 | hugo- | (znc@verdigris.lysator.liu.se) |
| 2023-10-17 14:24:24 +0000 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) (Remote host closed the connection) |
| 2023-10-17 14:31:24 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) (Quit: WeeChat 3.5) |
| 2023-10-17 14:32:01 +0000 | haskellbridge | (~haskellbr@069-135-003-034.biz.spectrum.com) |
| 2023-10-17 14:32:01 +0000 | ChanServ | +v haskellbridge |
| 2023-10-17 14:32:52 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-17 14:33:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 14:36:35 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.1.0) |
| 2023-10-17 14:38:07 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-17 14:43:20 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-17 14:43:50 +0000 | rosco | (~rosco@yp-150-69.tm.net.my) (Quit: Lost terminal) |
| 2023-10-17 14:44:01 +0000 | rosco | (~rosco@yp-150-69.tm.net.my) |
| 2023-10-17 14:45:07 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Remote host closed the connection) |
| 2023-10-17 14:45:44 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) |
| 2023-10-17 14:46:47 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 14:47:25 +0000 | danse-nr3_ | (~francesco@151.47.125.43) (Ping timeout: 255 seconds) |
| 2023-10-17 14:48:12 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 248 seconds) |
| 2023-10-17 14:48:26 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-17 14:48:38 +0000 | chomwitt | (~chomwitt@ppp-94-67-206-212.home.otenet.gr) |
| 2023-10-17 14:52:53 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-10-17 15:01:39 +0000 | danse-nr3_ | (~francesco@151.47.125.43) |
| 2023-10-17 15:06:03 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-17 15:07:39 +0000 | danse-nr3_ | (~francesco@151.47.125.43) (Read error: Connection reset by peer) |
| 2023-10-17 15:07:55 +0000 | danse-nr3_ | (~francesco@151.47.104.220) |
| 2023-10-17 15:27:42 +0000 | kuribas | (~user@ptr-17d51ep3xzxfkifqvxq.18120a2.ip6.access.telenet.be) |
| 2023-10-17 15:30:47 +0000 | sabino | (~sabino@user/sabino) |
| 2023-10-17 15:33:10 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 255 seconds) |
| 2023-10-17 15:34:40 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-17 15:37:16 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 15:37:40 +0000 | thyriaen | (~thyriaen@2a01:aea0:dd4:7157:6245:cbff:fe9f:48b1) (Quit: Leaving) |
| 2023-10-17 15:38:47 +0000 | qhong_ | (~qhong@rescomp-21-400677.stanford.edu) (Ping timeout: 255 seconds) |
| 2023-10-17 15:39:51 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 258 seconds) |
| 2023-10-17 15:41:20 +0000 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-10-17 15:42:29 +0000 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) |
| 2023-10-17 15:45:23 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9d7:8bce:4928:5b34) (Remote host closed the connection) |
| 2023-10-17 15:45:43 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9d7:8bce:4928:5b34) |
| 2023-10-17 15:50:38 +0000 | qqq | (~qqq@92.43.167.61) (Quit: leaving) |
| 2023-10-17 15:51:37 +0000 | earthy | (~arthurvl@2a02-a469-f5e2-1-83d2-ca43-57a2-dc81.fixed6.kpn.net) |
| 2023-10-17 15:52:54 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) (Quit: WeeChat 4.1.0) |
| 2023-10-17 15:56:44 +0000 | alphacentauri | (alphacenta@gateway/vpn/protonvpn/alphacentauri) |
| 2023-10-17 15:58:13 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-10-17 16:05:36 +0000 | kuribas` | (~user@ptr-17d51epayr0jgblxdrc.18120a2.ip6.access.telenet.be) |
| 2023-10-17 16:06:21 +0000 | kuribas | (~user@ptr-17d51ep3xzxfkifqvxq.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
| 2023-10-17 16:07:25 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:e9d7:8bce:4928:5b34) (Remote host closed the connection) |
| 2023-10-17 16:10:27 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c52c:8836:db07:4534) |
| 2023-10-17 16:14:35 +0000 | qhong | (~qhong@DN160vrd000d6kpg009l6c0000fj.stanford.edu) (Ping timeout: 240 seconds) |
| 2023-10-17 16:16:22 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 16:16:22 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 255 seconds) |
| 2023-10-17 16:16:50 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 16:16:50 +0000 | qhong | (~qhong@rescomp-21-400677.stanford.edu) |
| 2023-10-17 16:17:06 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 272 seconds) |
| 2023-10-17 16:17:25 +0000 | Square | (~Square@user/square) |
| 2023-10-17 16:18:55 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 16:19:51 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 16:20:23 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:c52c:8836:db07:4534) (Remote host closed the connection) |
| 2023-10-17 16:28:09 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 16:28:27 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 16:29:48 +0000 | danse-nr3_ | (~francesco@151.47.104.220) (Ping timeout: 240 seconds) |
| 2023-10-17 16:34:00 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-17 16:34:14 +0000 | chele | (~chele@user/chele) |
| 2023-10-17 16:34:16 +0000 | danse-nr3_ | (~francesco@151.47.104.220) |
| 2023-10-17 16:35:24 +0000 | danse-nr3_ | (~francesco@151.47.104.220) (Remote host closed the connection) |
| 2023-10-17 16:35:42 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 16:35:46 +0000 | danse-nr3_ | (~francesco@151.47.104.220) |
| 2023-10-17 16:36:07 +0000 | kuribas` | (~user@ptr-17d51epayr0jgblxdrc.18120a2.ip6.access.telenet.be) (Remote host closed the connection) |
| 2023-10-17 16:36:12 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 16:40:18 +0000 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-10-17 16:40:41 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-17 16:41:12 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-17 16:41:35 +0000 | diamond | (~user@89.223.35.3) (Ping timeout: 240 seconds) |
| 2023-10-17 16:49:13 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 16:49:20 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) |
| 2023-10-17 16:49:58 +0000 | euleritian | (~euleritia@dynamic-046-114-206-239.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-10-17 16:50:33 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 16:51:26 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-10-17 16:51:26 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2023-10-17 16:52:14 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 255 seconds) |
| 2023-10-17 16:53:56 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2023-10-17 16:54:13 +0000 | rosco | (~rosco@yp-150-69.tm.net.my) (Ping timeout: 258 seconds) |
| 2023-10-17 17:00:54 +0000 | Square3 | (~Square4@user/square) |
| 2023-10-17 17:01:31 +0000 | notzmv | (~zmv@user/notzmv) (Ping timeout: 264 seconds) |
| 2023-10-17 17:03:31 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 252 seconds) |
| 2023-10-17 17:03:55 +0000 | Square | (~Square@user/square) (Ping timeout: 264 seconds) |
| 2023-10-17 17:04:46 +0000 | AlexNoo_ | (~AlexNoo@178.34.161.78) |
| 2023-10-17 17:06:35 +0000 | raym | (~ray@user/raym) (Ping timeout: 240 seconds) |
| 2023-10-17 17:07:48 +0000 | Alex_test | (~al_test@178.34.151.245) (Ping timeout: 255 seconds) |
| 2023-10-17 17:08:12 +0000 | AlexNoo | (~AlexNoo@178.34.151.245) (Ping timeout: 240 seconds) |
| 2023-10-17 17:08:15 +0000 | AlexZenon | (~alzenon@178.34.151.245) (Ping timeout: 255 seconds) |
| 2023-10-17 17:08:23 +0000 | raym | (~ray@user/raym) |
| 2023-10-17 17:10:51 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) |
| 2023-10-17 17:11:46 +0000 | dcoutts | (~duncan@net77-43-75-226.mclink.it) (Ping timeout: 252 seconds) |
| 2023-10-17 17:12:19 +0000 | masterbuilder | (~masterbui@user/masterbuilder) (Ping timeout: 252 seconds) |
| 2023-10-17 17:16:56 +0000 | Square3 | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2023-10-17 17:21:03 +0000 | AlexZenon | (~alzenon@178.34.161.78) |
| 2023-10-17 17:28:32 +0000 | masterbuilder | (~masterbui@user/masterbuilder) |
| 2023-10-17 17:29:33 +0000 | AlexNoo_ | AlexNoo |
| 2023-10-17 17:31:04 +0000 | Vajb | (~Vajb@207.61.167.122) |
| 2023-10-17 17:34:22 +0000 | Pozyomka | (~pyon@user/pyon) (Quit: Pozyomka, my beloved: https://i.imgur.com/BMmVfTq.png) |
| 2023-10-17 17:34:40 +0000 | danse-nr3_ | (~francesco@151.47.104.220) (Ping timeout: 255 seconds) |
| 2023-10-17 17:39:49 +0000 | Vajb | (~Vajb@207.61.167.122) (Ping timeout: 252 seconds) |
| 2023-10-17 17:46:58 +0000 | Vajb | (~Vajb@207.61.167.122) |
| 2023-10-17 17:50:44 +0000 | phma | (~phma@2001:5b0:210d:ff48:373f:c0e:f95b:a8f5) (Read error: Connection reset by peer) |
| 2023-10-17 17:51:19 +0000 | Vajb | (~Vajb@207.61.167.122) (Ping timeout: 255 seconds) |
| 2023-10-17 17:51:40 +0000 | phma | (phma@2001:5b0:211b:9d88:b368:1baa:7a2:22b7) |
| 2023-10-17 18:00:15 +0000 | sm | (~sm@plaintextaccounting/sm) (Quit: sm) |
| 2023-10-17 18:00:26 +0000 | Deletecat | (~Deletecat@2a00:23c5:2c0e:8201:9ccc:4536:2b6f:4bb1) |
| 2023-10-17 18:02:22 +0000 | Deletecat | (~Deletecat@2a00:23c5:2c0e:8201:9ccc:4536:2b6f:4bb1) () |
| 2023-10-17 18:07:51 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 240 seconds) |
| 2023-10-17 18:21:14 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-17 18:21:29 +0000 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-10-17 18:35:43 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b915:f992:5adb:85e) |
| 2023-10-17 18:39:52 +0000 | danza | (~francesco@151.47.103.233) |
| 2023-10-17 18:40:50 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-10-17 18:44:52 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-17 18:49:36 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 258 seconds) |
| 2023-10-17 18:51:21 +0000 | cpressey | (~cpressey@host-2-102-14-126.as13285.net) |
| 2023-10-17 18:51:23 +0000 | hugo- | (znc@verdigris.lysator.liu.se) (Ping timeout: 255 seconds) |
| 2023-10-17 18:52:20 +0000 | Patternmaster | (~georg@user/Patternmaster) (Quit: leaving) |
| 2023-10-17 19:01:15 +0000 | Pickchea | (~private@user/pickchea) |
| 2023-10-17 19:06:01 +0000 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2023-10-17 19:06:58 +0000 | euleritian | (~euleritia@dynamic-046-114-200-236.46.114.pool.telefonica.de) |
| 2023-10-17 19:07:38 +0000 | danza | (~francesco@151.47.103.233) (Read error: Connection reset by peer) |
| 2023-10-17 19:07:54 +0000 | danza | (~francesco@151.57.105.142) |
| 2023-10-17 19:08:36 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) (Ping timeout: 240 seconds) |
| 2023-10-17 19:08:37 +0000 | hiyori | (~hiyori@user/hiyori) |
| 2023-10-17 19:10:49 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-17 19:11:34 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b915:f992:5adb:85e) (Remote host closed the connection) |
| 2023-10-17 19:13:31 +0000 | notzmv | (~zmv@user/notzmv) |
| 2023-10-17 19:13:33 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b915:f992:5adb:85e) |
| 2023-10-17 19:15:14 +0000 | vglfr | (~vglfr@88.155.159.184) (Ping timeout: 255 seconds) |
| 2023-10-17 19:16:11 +0000 | <Unicorn_Princess> | i wanna use haskell as a shell replacement, and augment it with my own library of random utilities. any tips? |
| 2023-10-17 19:17:04 +0000 | <geekosaur> | look at shelly or turtle,but this kinda sounds like a bad plan tbh |
| 2023-10-17 19:17:04 +0000 | vglfr | (~vglfr@88.155.159.184) |
| 2023-10-17 19:18:13 +0000 | <Unicorn_Princess> | i'm unclear of the benefits of stuff like shelly - an easier way to run programs than System.Process? |
| 2023-10-17 19:18:36 +0000 | <Unicorn_Princess> | otherwise, why a bad idea? |
| 2023-10-17 19:18:44 +0000 | <geekosaur> | yes, plus it comes with easier ways to hook programs together |
| 2023-10-17 19:19:01 +0000 | <geekosaur> | but "bad idea" is mostly because ghci makes a poor shell in general |
| 2023-10-17 19:19:22 +0000 | <Unicorn_Princess> | other than that, shelly still has you writing plain haskell code? |
| 2023-10-17 19:19:39 +0000 | <geekosaur> | yes |
| 2023-10-17 19:20:16 +0000 | <geekosaur> | just with tools to build pipelines and filters and such, where you'd normally have to link them together yourself via createProcess |
| 2023-10-17 19:21:31 +0000 | <Unicorn_Princess> | i'll definitely give it a shot. even 'poor' is a massive upgrade from the horrors of bash |
| 2023-10-17 19:22:30 +0000 | <Unicorn_Princess> | thanks for the pointer. i was quite lost in which of the haskell shell thingies is the 'best', shelly looks good |
| 2023-10-17 19:23:18 +0000 | danza | (~francesco@151.57.105.142) (Ping timeout: 272 seconds) |
| 2023-10-17 19:23:31 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b915:f992:5adb:85e) (Remote host closed the connection) |
| 2023-10-17 19:23:32 +0000 | <geekosaur> | tempted to say that if you don't like bash, maybe you want to look at fish |
| 2023-10-17 19:24:29 +0000 | hugo | (znc@verdigris.lysator.liu.se) |
| 2023-10-17 19:26:36 +0000 | <Unicorn_Princess> | "if"? does anyone _like_ bash, except the criminally insane perhaps? |
| 2023-10-17 19:27:05 +0000 | mc47 | (~mc47@xmonad/TheMC47) (Remote host closed the connection) |
| 2023-10-17 19:27:07 +0000 | <tomsmeding> | if nothing else, its ubiquity is something to be said for it |
| 2023-10-17 19:27:15 +0000 | <Unicorn_Princess> | :S |
| 2023-10-17 19:27:16 +0000 | <[exa]> | Unicorn_Princess: I do |
| 2023-10-17 19:28:06 +0000 | <davean> | tomsmeding: Hum, I feel thats a thing to say for sh, extending that to bash ... |
| 2023-10-17 19:28:33 +0000 | <tomsmeding> | despite using fish as my day-to-day shell, I still write some scripts in bash, because it has that much more flexibility and conciseness than fish for scripting |
| 2023-10-17 19:29:06 +0000 | <mauke> | what's wrong with bash? |
| 2023-10-17 19:29:08 +0000 | <tomsmeding> | (when they get too large or require more interesting data structures than, say, a single list, I quickly move to python for such simple tools) |
| 2023-10-17 19:29:18 +0000 | ft | (~ft@p200300cf3f482500978224aa0512647c.dip0.t-ipconnect.de) |
| 2023-10-17 19:29:25 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) |
| 2023-10-17 19:29:34 +0000 | <tomsmeding> | davean: true enough, but bash is still quite a bit more ubiquitous than haskell ;) |
| 2023-10-17 19:29:43 +0000 | <geekosaur> | I still remember the day when our only options when you couln't write it in sh was awk or C |
| 2023-10-17 19:30:04 +0000 | <geekosaur> | that does not mean I use bash (or in my case zsh) as my primary programming language |
| 2023-10-17 19:30:07 +0000 | <tomsmeding> | python would be a competitor, but using `subprocess` still doesn't quite get the smoothness of shell scripting for connecting some commands together :) |
| 2023-10-17 19:30:29 +0000 | <geekosaur> | but I'll still write shell loops for sufficiently simple things that are mostly pasting programs together |
| 2023-10-17 19:30:38 +0000 | <Unicorn_Princess> | hm, looking at fish, it does not even approach the virtue of haskell |
| 2023-10-17 19:30:51 +0000 | friendshipaka | (~Friendshi@user/Friendship) |
| 2023-10-17 19:30:53 +0000 | <tomsmeding> | geekosaur: for the things it does well, shell scripting is remarkably concise |
| 2023-10-17 19:30:59 +0000 | <geekosaur> | yes |
| 2023-10-17 19:31:05 +0000 | <tomsmeding> | so if you know it well already anyway, it's useful :) |
| 2023-10-17 19:31:12 +0000 | <geekosaur> | problem being, it only does a few things well |
| 2023-10-17 19:31:15 +0000 | <tomsmeding> | :p |
| 2023-10-17 19:31:21 +0000 | <Unicorn_Princess> | you mean $"{yes}" |
| 2023-10-17 19:31:38 +0000 | tomsmeding | is not sure what to auto-correct that to |
| 2023-10-17 19:31:52 +0000 | <geekosaur> | I mean /usr/bin/yes 😛 |
| 2023-10-17 19:32:13 +0000 | <Unicorn_Princess> | and don't forget to suffix every command with -- or cause a cve |
| 2023-10-17 19:32:34 +0000 | <tomsmeding> | if you expose it to user input, yes |
| 2023-10-17 19:32:56 +0000 | <tomsmeding> | the majority of my bash scripts are exposed to input from exactly one user -- me |
| 2023-10-17 19:33:03 +0000 | <Unicorn_Princess> | filenames are a sort of user input |
| 2023-10-17 19:33:55 +0000 | Friendship | (~Friendshi@user/Friendship) (Ping timeout: 255 seconds) |
| 2023-10-17 19:34:46 +0000 | <mauke> | touch +RTS |
| 2023-10-17 19:35:25 +0000 | vglfr | (~vglfr@88.155.159.184) (Read error: Connection reset by peer) |
| 2023-10-17 19:35:45 +0000 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) |
| 2023-10-17 19:39:00 +0000 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) |
| 2023-10-17 19:44:57 +0000 | <EvanR> | don't touch that |
| 2023-10-17 19:50:00 +0000 | <tomsmeding> | touch $'\n' |
| 2023-10-17 19:50:57 +0000 | <[exa]> | oh you! |
| 2023-10-17 19:52:13 +0000 | <EvanR> | maybe one day I'll understand what characters are allowed in files names |
| 2023-10-17 19:52:47 +0000 | <int-e> | and then you'll be ready to move on to another OS |
| 2023-10-17 19:53:05 +0000 | <EvanR> | oh is that the order to do it in |
| 2023-10-17 19:53:47 +0000 | <int-e> | for a smidgen of humor it is |
| 2023-10-17 19:54:01 +0000 | fendor | (~fendor@2a02:8388:1640:be00:aab:1226:f274:5021) (Remote host closed the connection) |
| 2023-10-17 19:54:37 +0000 | <EvanR> | was reading the microsoft windows API docs which seems to indicate legacy character sets might be used in filenames, but didn't explain how that interacts with unicode |
| 2023-10-17 19:56:13 +0000 | cpressey | (~cpressey@host-2-102-14-126.as13285.net) (Quit: Ping timeout (120 seconds)) |
| 2023-10-17 19:58:50 +0000 | vglfr | (vglfr@gateway/vpn/protonvpn/vglfr) (Ping timeout: 246 seconds) |
| 2023-10-17 19:59:09 +0000 | <tomsmeding> | come to the linux world where filenames are easy (tm) |
| 2023-10-17 19:59:34 +0000 | <tomsmeding> | '\NUL' is not allowed because C; '/' is not allowed because paths |
| 2023-10-17 19:59:36 +0000 | <tomsmeding> | that's it |
| 2023-10-17 19:59:44 +0000 | Guest|97 | (~Guest|97@94.8.25.217) |
| 2023-10-17 19:59:48 +0000 | Guest|97 | (~Guest|97@94.8.25.217) (Client Quit) |
| 2023-10-17 20:00:05 +0000 | <tomsmeding> | of course "easy" should have scare quotes because this means that you get stuff like invalid unicode and newlines in filenames |
| 2023-10-17 20:02:10 +0000 | <moni_> | it's so cool that i just name files whatever and it works |
| 2023-10-17 20:02:24 +0000 | <moni_> | i also haven't mained a windows desktop in about 8 years |
| 2023-10-17 20:02:46 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b915:f992:5adb:85e) |
| 2023-10-17 20:03:13 +0000 | <EvanR> | brain expansion meme |
| 2023-10-17 20:03:32 +0000 | <EvanR> | ascii everywhere -> utf8 everywhere -> all encodings everywhere -> ascii everywhere |
| 2023-10-17 20:04:42 +0000 | <tomsmeding> | weren't step 2 and step 3 reversed |
| 2023-10-17 20:04:58 +0000 | <EvanR> | that would make too much sense |
| 2023-10-17 20:05:04 +0000 | <tomsmeding> | ah, right |
| 2023-10-17 20:05:13 +0000 | <mauke> | inb4 BOM in filenames |
| 2023-10-17 20:06:05 +0000 | <EvanR> | the docs give the distinct impression that windows is concerned with supporting legacy encodings and unicode as a side gig |
| 2023-10-17 20:06:30 +0000 | <EvanR> | and they're not that old |
| 2023-10-17 20:07:08 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b915:f992:5adb:85e) (Ping timeout: 248 seconds) |
| 2023-10-17 20:07:28 +0000 | pavonia | (~user@user/siracusa) |
| 2023-10-17 20:07:39 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) |
| 2023-10-17 20:07:48 +0000 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Quit: _ht) |
| 2023-10-17 20:08:13 +0000 | <EvanR> | a software engineer mentioned in passing a couple years ago, he seemed to doubt the viability of unicode |
| 2023-10-17 20:08:36 +0000 | <mauke> | it's just a fad, like the internet |
| 2023-10-17 20:08:47 +0000 | <EvanR> | microsoft reality distortion field might be stuck on overdrive |
| 2023-10-17 20:09:32 +0000 | <tomsmeding> | % System.Process.rawSystem "touch" ["\65279"] >> System.Process.rawSystem "ls" ["-lF"] |
| 2023-10-17 20:09:32 +0000 | <yahb2> | touch: cannot touch '': Read-only file system ; total 12 ; -rwxr-xr-x 1 1000 1001 99 Jun 14 2022 entry.sh* ; -rw-r--r-- 1 1000 1001 383 Apr 22 17:46 initdefs.hs ; -rw-r--r-- 1 1000 1001 181 Jun ... |
| 2023-10-17 20:09:51 +0000 | <tomsmeding> | % System.Process.rawSystem "touch" ["/tmp/\65279"] >> System.Process.rawSystem "ls" ["-lF", "/tmp"] |
| 2023-10-17 20:09:52 +0000 | <yahb2> | total 0 ; -rw-r--r-- 1 1000 1001 0 Oct 17 20:09 ; drwxr-xr-x 2 1000 1001 40 Oct 15 19:49 ghc4_0/ ; ExitSuccess |
| 2023-10-17 20:10:34 +0000 | <tomsmeding> | mauke: BOM in filename |
| 2023-10-17 20:11:16 +0000 | <mauke> | % System.Process.rawSystem "ls" ["--quoting-style=shell-escape", "/tmp"] |
| 2023-10-17 20:11:16 +0000 | <yahb2> | ; ghc4_0 ; ExitSuccess |
| 2023-10-17 20:11:55 +0000 | sm | (~sm@plaintextaccounting/sm) |
| 2023-10-17 20:12:22 +0000 | <tomsmeding> | Nobody said it was easy |
| 2023-10-17 20:12:23 +0000 | sm | (~sm@plaintextaccounting/sm) (Client Quit) |
| 2023-10-17 20:13:24 +0000 | <tomsmeding> | % System.Directory.listDirectory "/tmp" |
| 2023-10-17 20:13:24 +0000 | <yahb2> | ["\65279","ghc4_0"] |
| 2023-10-17 20:13:48 +0000 | <EvanR> | how does GHC FilePath work |
| 2023-10-17 20:13:57 +0000 | <EvanR> | locale? |
| 2023-10-17 20:14:08 +0000 | michalz | (~michalz@185.246.207.197) (Remote host closed the connection) |
| 2023-10-17 20:14:12 +0000 | <geekosaur> | locale, yes |
| 2023-10-17 20:14:15 +0000 | <moni_> | Internet is just a fad in the sense that the roman aqueducts were just a fad |
| 2023-10-17 20:14:30 +0000 | <EvanR> | it's a series of tubes? |
| 2023-10-17 20:14:37 +0000 | <moni_> | Precisely |
| 2023-10-17 20:14:55 +0000 | <geekosaur> | but it's not built into FilePath, it's wired into how base wraps syscalls |
| 2023-10-17 20:15:14 +0000 | <EvanR> | so if you change locale god help you |
| 2023-10-17 20:15:33 +0000 | <mauke> | % System.Process.rawSystem "ls" ["--quoting-style=shell-escape-always", "/tmp"] |
| 2023-10-17 20:15:33 +0000 | <yahb2> | '' ; 'ghc4_0' ; ExitSuccess |
| 2023-10-17 20:15:37 +0000 | <EvanR> | your files might be inaccessible |
| 2023-10-17 20:16:25 +0000 | <geekosaur> | that's a problem with POSIX paths in general |
| 2023-10-17 20:17:18 +0000 | <geekosaur> | a while back you could make the gtk file dialog dump core by having two files with the "same name" but different representations (i.e.. one or both is not normalized) |
| 2023-10-17 20:20:30 +0000 | <EvanR> | no one try that with yahb2 |
| 2023-10-17 20:20:59 +0000 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2023-10-17 20:24:21 +0000 | shapr | (~user@2600:1700:c640:3100:56f1:ca94:4995:b15) (Remote host closed the connection) |
| 2023-10-17 20:28:10 +0000 | cpressey | (~cpressey@host-2-102-14-126.as13285.net) |
| 2023-10-17 20:30:23 +0000 | cpressey | (~cpressey@host-2-102-14-126.as13285.net) (Client Quit) |
| 2023-10-17 20:34:14 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 272 seconds) |
| 2023-10-17 20:35:22 +0000 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-10-17 20:36:19 +0000 | Jackneill | (~Jackneill@20014C4E1E021C006528DBAB23459C2F.dsl.pool.telekom.hu) (Ping timeout: 245 seconds) |
| 2023-10-17 20:39:00 +0000 | cpressey | (~cpressey@host-2-102-14-126.as13285.net) |
| 2023-10-17 20:50:38 +0000 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:b915:f992:5adb:85e) |
| 2023-10-17 20:52:13 +0000 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) |
| 2023-10-17 20:55:06 +0000 | <tomsmeding> | % writeFile "/tmp/\97\770" "a + combining circumflex" >> writeFile "/tmp/\226" "a with circumflex" |
| 2023-10-17 20:55:06 +0000 | <yahb2> | <no output> |
| 2023-10-17 20:55:15 +0000 | <tomsmeding> | % System.Directory.listDirectory "/tmp" |
| 2023-10-17 20:55:16 +0000 | <yahb2> | ["\226","a\770","\65279","ghc4_0"] |
| 2023-10-17 20:55:26 +0000 | <tomsmeding> | EvanR: ghc cares not |
| 2023-10-17 20:55:46 +0000 | <tomsmeding> | https://tomsmeding.com/unicode#a%CC%82%20%C3%A2 |
| 2023-10-17 20:56:56 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-17 20:57:54 +0000 | <EvanR> | so you're saying ghc is abnormalized |
| 2023-10-17 21:02:32 +0000 | phma | (phma@2001:5b0:211b:9d88:b368:1baa:7a2:22b7) (Read error: Connection reset by peer) |
| 2023-10-17 21:02:58 +0000 | phma | (~phma@host-67-44-208-18.hnremote.net) |
| 2023-10-17 21:11:18 +0000 | infinity0 | (~infinity0@pwned.gg) (Remote host closed the connection) |
| 2023-10-17 21:13:26 +0000 | infinity0 | (~infinity0@pwned.gg) |
| 2023-10-17 21:15:40 +0000 | pretty_dumm_guy | (trottel@gateway/vpn/protonvpn/prettydummguy/x-88029655) |
| 2023-10-17 21:29:08 +0000 | rgw | (~R@2605:a601:a0df:5600:88:c751:f921:bfac) |
| 2023-10-17 21:32:12 +0000 | Pickchea | (~private@user/pickchea) (Quit: Leaving) |
| 2023-10-17 21:34:59 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-10-17 21:36:17 +0000 | malte | (~malte@mal.tc) |
| 2023-10-17 21:38:12 +0000 | tired- | (~tired@user/tired) (Quit: /) |
| 2023-10-17 21:39:36 +0000 | tired | (~tired@user/tired) |
| 2023-10-17 21:39:45 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-17 21:43:03 +0000 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2023-10-17 21:52:51 +0000 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-10-17 21:53:25 +0000 | misterfish | (~misterfis@84-53-85-146.bbserv.nl) (Ping timeout: 255 seconds) |
| 2023-10-17 21:59:35 +0000 | acidjnk_new | (~acidjnk@p200300d6e72b933890137bb0a9c5386a.dip0.t-ipconnect.de) (Ping timeout: 240 seconds) |
| 2023-10-17 22:05:41 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 260 seconds) |
| 2023-10-17 22:06:39 +0000 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-10-17 22:14:48 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-10-17 22:15:58 +0000 | malte | (~malte@mal.tc) |
| 2023-10-17 22:21:28 +0000 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-10-17 22:22:19 +0000 | fweht | (uid404746@id-404746.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-10-17 22:22:41 +0000 | tzh_ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-17 22:25:02 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 258 seconds) |
| 2023-10-17 22:25:22 +0000 | lisbeths | (uid135845@id-135845.lymington.irccloud.com) |
| 2023-10-17 22:25:54 +0000 | malte | (~malte@mal.tc) (Remote host closed the connection) |
| 2023-10-17 22:26:05 +0000 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2023-10-17 22:27:08 +0000 | malte | (~malte@mal.tc) |
| 2023-10-17 22:32:44 +0000 | waleee | (~waleee@2001:9b0:21c:e600:f2f3:f744:435d:137c) (Ping timeout: 248 seconds) |
| 2023-10-17 22:33:10 +0000 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) |
| 2023-10-17 22:39:21 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) |
| 2023-10-17 22:41:35 +0000 | tzh_ | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Ping timeout: 240 seconds) |
| 2023-10-17 22:46:21 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) |
| 2023-10-17 22:49:45 +0000 | zmt01 | (~zmt00@user/zmt00) (Quit: Leaving) |
| 2023-10-17 22:51:40 +0000 | nate2 | (~nate@c-98-45-169-16.hsd1.ca.comcast.net) (Ping timeout: 272 seconds) |
| 2023-10-17 22:56:39 +0000 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-10-17 23:02:15 +0000 | Pozyomka | (~pyon@user/pyon) |
| 2023-10-17 23:03:04 +0000 | waleee | (~waleee@h-176-10-137-138.na.cust.bahnhof.se) (Ping timeout: 272 seconds) |
| 2023-10-17 23:04:01 +0000 | edwtjo | (~edwtjo@h-46-59-62-248.A213.priv.bahnhof.se) |
| 2023-10-17 23:04:01 +0000 | edwtjo | (~edwtjo@h-46-59-62-248.A213.priv.bahnhof.se) (Changing host) |
| 2023-10-17 23:04:01 +0000 | edwtjo | (~edwtjo@fsf/member/edwtjo) |
| 2023-10-17 23:14:13 +0000 | Inst | (~Inst@120.244.192.250) (Ping timeout: 252 seconds) |
| 2023-10-17 23:22:04 +0000 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) (Ping timeout: 272 seconds) |
| 2023-10-17 23:22:45 +0000 | <EvanR> | githubs syntax coloring for haskell is annoying because it colors stuff like Char and Bool one color but "user defined data types" another color. Except Char and Bool are defined the same way |
| 2023-10-17 23:23:39 +0000 | xff0x | (~xff0x@ai101218.d.east.v6connect.net) |
| 2023-10-17 23:29:53 +0000 | thegeekinside | (~thegeekin@189.180.124.118) (Remote host closed the connection) |
| 2023-10-17 23:32:07 +0000 | chomwitt | (~chomwitt@ppp-94-67-206-212.home.otenet.gr) (Ping timeout: 264 seconds) |
| 2023-10-17 23:32:17 +0000 | Inst | (~Inst@120.244.192.250) |
| 2023-10-17 23:33:43 +0000 | <EvanR> | which makes those definitions in GHC.Base look extra funny |
| 2023-10-17 23:35:32 +0000 | harveypwca | (~harveypwc@2601:246:c280:6a90:837d:db39:3eea:f7db) (Quit: Leaving) |
| 2023-10-17 23:43:53 +0000 | adanwan_ | (~adanwan@gateway/tor-sasl/adanwan) |
| 2023-10-17 23:44:27 +0000 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-10-17 23:44:39 +0000 | adanwan | (~adanwan@gateway/tor-sasl/adanwan) (Ping timeout: 252 seconds) |
| 2023-10-17 23:44:51 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:c367:ba44:42cf:91d7) (Quit: Ping timeout (120 seconds)) |
| 2023-10-17 23:45:09 +0000 | Luj | (~Luj@2a01:e0a:5f9:9681:5880:c9ff:fe9f:3dfb) |
| 2023-10-17 23:45:32 +0000 | aforemny_ | (~aforemny@2001:9e8:6cf3:2200:78b4:c4c0:dc3:eb14) (Ping timeout: 258 seconds) |
| 2023-10-17 23:45:32 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 258 seconds) |
| 2023-10-17 23:46:06 +0000 | aforemny | (~aforemny@i59F516F9.versanet.de) |
| 2023-10-17 23:47:29 +0000 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-10-17 23:48:03 +0000 | Alleria | (~JohnGalt@user/alleria) |
| 2023-10-17 23:49:25 +0000 | falafel | (~falafel@62.175.113.194.dyn.user.ono.com) (Ping timeout: 252 seconds) |
| 2023-10-17 23:51:38 +0000 | Tuplanolla | (~Tuplanoll@91-159-68-236.elisa-laajakaista.fi) (Ping timeout: 255 seconds) |
