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