Logs on 2024-10-11 (liberachat/#haskell)
| 00:00:57 | → | dcoutts__ joins (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 00:01:44 | <c_wraith> | let-generalization is a thing. values bound in a let become polymorphic when they wouldn't if used inline. maybe there's something going on with that? |
| 00:02:14 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 00:02:15 | × | dcoutts_ quits (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Read error: Connection reset by peer) |
| 00:02:18 | <monochrom> | You will understand that generally I don't trust random people on the internet when they say "that's the only difference, everything else is identical, I swear". |
| 00:02:37 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 00:02:42 | <c_wraith> | if it is the only difference, it's easy to pop back and forth! |
| 00:03:02 | <Zer000> | here is the diff! |
| 00:03:03 | <Zer000> | https://dpaste.com/GYYM5LCAX |
| 00:03:23 | → | JuanDaugherty joins (~juan@user/JuanDaugherty) |
| 00:04:01 | <Zer000> | the program reads data from disks, but they aren't mounted and only read from. So unless the data magically changed on the because of a cosmic ray, that's about the only thing that changed. |
| 00:04:25 | <c_wraith> | so did you temporarily revert the change to verify? |
| 00:05:13 | <c_wraith> | also, wow that pastebin handles mobile poorly. |
| 00:05:39 | <Zer000> | It's still running, so I'll see how far it gets before crashing. this is a distance record atm and i don't wanna touch it. but I've ran a few times before that change and it crashed in the same place every time. |
| 00:05:50 | <Zer000> | c_wraith, I can repaste if you have a better place |
| 00:05:53 | lol_ | is now known as jcarpenter2 |
| 00:05:59 | <Zer000> | what's a good pastebin? |
| 00:06:02 | <c_wraith> | @where paste |
| 00:06:02 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 00:06:40 | <Zer000> | https://paste.tomsmeding.com/OpuMYlD1 |
| 00:07:11 | <Zer000> | I'm excited because it's running but it's freaking me out. i'll read about that let-generalization though |
| 00:08:02 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 00:08:37 | <Lears> | Zer000: You also changed `E.diskNumBytes` to `E.diskBytenr`. |
| 00:10:50 | <Zer000> | DOH! |
| 00:10:54 | <Zer000> | That's probably it :) |
| 00:15:10 | × | quintasan quits (~quassel@quintasan.pl) () |
| 00:16:54 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 00:17:27 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 00:28:13 | × | Nixkernal quits (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) (Ping timeout: 252 seconds) |
| 00:32:32 | × | califax quits (~califax@user/califx) (Remote host closed the connection) |
| 00:34:18 | → | califax joins (~califax@user/califx) |
| 00:38:36 | × | haskellbridge quits (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 00:39:08 | → | haskellbridge joins (~hackager@syn-024-093-192-219.res.spectrum.com) |
| 00:39:08 | ChanServ | sets mode +v haskellbridge |
| 00:47:39 | × | identity quits (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 00:48:04 | <haskellbridge> | <thirdofmay18081814goya> what are some interesting/useful/neat type-level data types and functions? |
| 00:48:12 | <haskellbridge> | <thirdofmay18081814goya> vague answers only, am practicing type-level programming |
| 00:49:19 | × | xff0x_ quits (~xff0x@2405:6580:b080:900:4f73:4e09:b8f0:e4a2) (Ping timeout: 264 seconds) |
| 00:53:47 | <dmj`> | UnconsSymbol |
| 00:54:46 | → | jinsun joins (~jinsun@user/jinsun) |
| 01:00:23 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 01:00:29 | × | Sgeo quits (~Sgeo@user/sgeo) (Ping timeout: 260 seconds) |
| 01:02:57 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 01:03:25 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 01:08:50 | → | user363627 joins (~user@user/user363627) |
| 01:12:14 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 252 seconds) |
| 01:27:17 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 01:29:10 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 01:32:08 | → | LukeHoersten joins (~LukeHoers@user/lukehoersten) |
| 01:32:43 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b9e0:835:2698:e6f:bd82) (Read error: Connection reset by peer) |
| 01:36:48 | × | RedFlamingos quits (~RedFlamin@user/RedFlamingos) (Ping timeout: 252 seconds) |
| 01:41:16 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:55:55 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 02:08:22 | × | spew quits (~spew@201.141.99.170) (Quit: spew) |
| 02:10:16 | × | td_ quits (~td@i53870924.versanet.de) (Ping timeout: 272 seconds) |
| 02:11:40 | → | td_ joins (~td@i5387090C.versanet.de) |
| 02:11:54 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 02:12:25 | → | gorignak joins (~gorignak@user/gorignak) |
| 02:20:25 | × | Square quits (~Square4@user/square) (Ping timeout: 252 seconds) |
| 02:22:12 | × | LukeHoersten quits (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 02:33:59 | × | JuanDaugherty quits (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 02:39:00 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 02:59:23 | → | jinsun joins (~jinsun@user/jinsun) |
| 03:01:26 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 03:04:47 | × | user363627 quits (~user@user/user363627) (Remote host closed the connection) |
| 03:33:00 | → | aforemny_ joins (~aforemny@2001:9e8:6cc0:e400:1d65:59f5:5ebd:ca5e) |
| 03:33:24 | × | aforemny quits (~aforemny@i577BEEF5.versanet.de) (Ping timeout: 246 seconds) |
| 03:38:03 | → | Sgeo__ joins (~Sgeo@user/sgeo) |
| 03:38:28 | → | dcoutts_ joins (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 03:38:36 | → | synchrom1 joins (~john@2406:5a00:2497:300:99c5:4603:d83:aa35) |
| 03:39:03 | → | alioguzhan1 joins (~Thunderbi@78.173.89.238) |
| 03:39:06 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 03:39:07 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 03:39:31 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 03:39:31 | → | synchrom2 joins (~john@2406:5a00:2497:300:99c5:4603:d83:aa35) |
| 03:39:33 | × | Digit quits (~user@user/digit) (Remote host closed the connection) |
| 03:39:38 | → | noctux joins (~noctux@user/noctux) |
| 03:39:42 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 03:39:46 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 03:39:56 | × | pierrot quits (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 03:39:56 | × | remedan quits (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 03:39:57 | × | thaumavorio quits (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:39:57 | × | CrunchyFlakes quits (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 03:39:58 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 03:40:00 | × | AlexZenon quits (~alzenon@178.34.163.165) (Ping timeout: 252 seconds) |
| 03:40:03 | × | haritz quits (~hrtz@user/haritz) (Remote host closed the connection) |
| 03:40:10 | × | rvalue quits (~rvalue@user/rvalue) (Remote host closed the connection) |
| 03:40:12 | → | haritz joins (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 03:40:31 | → | rvalue joins (~rvalue@user/rvalue) |
| 03:40:45 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 03:40:56 | → | remedan joins (~remedan@ip-62-245-108-153.bb.vodafone.cz) |
| 03:41:06 | × | synchromesh quits (~john@180.148.124.74) (Ping timeout: 252 seconds) |
| 03:41:15 | → | Digit joins (~user@user/digit) |
| 03:41:28 | × | Sgeo_ quits (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 03:41:28 | × | dcoutts__ quits (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 252 seconds) |
| 03:41:28 | × | wanted quits (~wanted@2.219.56.221) (Ping timeout: 252 seconds) |
| 03:42:00 | → | synchromesh joins (~john@180.148.124.74) |
| 03:42:01 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 03:42:04 | × | haritz quits (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 03:42:04 | → | haritz joins (~hrtz@user/haritz) |
| 03:42:35 | × | gabriel_sevecek quits (~gabriel@188-167-229-200.dynamic.chello.sk) (Remote host closed the connection) |
| 03:42:41 | × | kaol quits (~kaol@94-237-45-144.nl-ams1.upcloud.host) (Remote host closed the connection) |
| 03:42:48 | → | kaol joins (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 03:42:58 | × | raym quits (~ray@user/raym) (Remote host closed the connection) |
| 03:42:58 | → | gabriel_sevecek joins (~gabriel@188-167-229-200.dynamic.chello.sk) |
| 03:43:18 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 03:43:18 | × | alioguzhan quits (~Thunderbi@78.173.89.238) (Ping timeout: 252 seconds) |
| 03:43:18 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 03:43:18 | alioguzhan1 | is now known as alioguzhan |
| 03:43:22 | × | synchrom1 quits (~john@2406:5a00:2497:300:99c5:4603:d83:aa35) (Ping timeout: 272 seconds) |
| 03:43:40 | × | lyxia quits (~lyxia@poisson.chat) (Ping timeout: 252 seconds) |
| 03:44:02 | × | tomboy64 quits (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 03:44:12 | → | CrunchyFlakes joins (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 03:44:22 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 03:44:24 | × | synchrom2 quits (~john@2406:5a00:2497:300:99c5:4603:d83:aa35) (Ping timeout: 260 seconds) |
| 03:44:54 | × | sourcetarius quits (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 03:45:07 | → | AlexZenon joins (~alzenon@178.34.163.165) |
| 03:45:49 | → | thaumavorio joins (~thaumavor@thaumavor.io) |
| 03:46:08 | → | wanted joins (~wanted@2.219.56.221) |
| 03:47:41 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 03:49:19 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 03:49:52 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 03:50:55 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 03:52:27 | → | dcoutts__ joins (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 03:53:11 | → | juri_ joins (~juri@implicitcad.org) |
| 03:53:49 | → | pierrot joins (~pi@user/pierrot) |
| 03:53:52 | → | lyxia joins (~lyxia@poisson.chat) |
| 03:54:29 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 03:55:39 | × | dcoutts_ quits (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 276 seconds) |
| 04:00:05 | → | takuan joins (~takuan@178-116-218-225.access.telenet.be) |
| 04:03:29 | → | raym joins (~ray@user/raym) |
| 04:16:26 | → | rosco joins (~rosco@175.136.22.30) |
| 04:43:35 | → | michalz joins (~michalz@185.246.207.200) |
| 04:54:49 | × | euphores quits (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 05:02:41 | → | euphores joins (~SASL_euph@user/euphores) |
| 05:08:17 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 05:11:15 | → | solaire joins (~solaire@185.209.198.102) |
| 05:11:19 | × | solaire quits (~solaire@185.209.198.102) (Remote host closed the connection) |
| 05:12:04 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 05:15:48 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 05:24:46 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 05:30:10 | × | Sgeo__ quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 05:31:42 | → | alp_ joins (~alp@2001:861:e3d6:8f80:3e1b:1051:6267:8f64) |
| 05:34:41 | × | Zer000 quits (~02@64.137.132.10) (Quit: Leaving) |
| 05:35:39 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 05:44:31 | × | Buliarous quits (~gypsydang@46.232.210.139) (Ping timeout: 264 seconds) |
| 05:50:28 | × | vanishing quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 05:55:09 | → | acidjnk joins (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) |
| 06:43:33 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 06:51:12 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 06:51:50 | × | ft quits (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 06:54:28 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 06:54:42 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 06:55:19 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 06:58:33 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 06:59:15 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:00:00 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:37 | → | caconym joins (~caconym@user/caconym) |
| 07:02:46 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 07:03:46 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:03:48 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 07:04:08 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:04:09 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 07:06:26 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 07:07:09 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 07:07:38 | × | mulk quits (~mulk@p5b112a06.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 07:13:15 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 07:13:44 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 07:14:50 | × | cyphase quits (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 07:18:27 | → | cyphase joins (~cyphase@user/cyphase) |
| 07:24:09 | → | arahael joins (~arahael@user/arahael) |
| 07:27:10 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 07:31:54 | → | CiaoSen joins (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) |
| 07:32:06 | → | cfricke joins (~cfricke@user/cfricke) |
| 07:32:58 | × | gentauro quits (~gentauro@user/gentauro) (Quit: leaving) |
| 07:38:16 | → | jespada joins (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 07:43:30 | × | dcoutts__ quits (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 265 seconds) |
| 07:43:40 | × | econo_ quits (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 07:47:17 | → | vpan joins (~vpan@212.117.1.172) |
| 07:50:21 | → | briandaed joins (~root@185.234.210.211) |
| 07:51:20 | → | mulk joins (~mulk@pd9514da8.dip0.t-ipconnect.de) |
| 07:52:47 | → | gentauro joins (~gentauro@user/gentauro) |
| 08:02:05 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 08:05:06 | × | talismanick quits (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 08:05:19 | → | talismanick joins (~user@2601:644:937c:ed10::ae5) |
| 08:12:05 | × | CiaoSen quits (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 08:24:29 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 08:24:59 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 08:25:56 | → | chele joins (~chele@user/chele) |
| 08:28:30 | → | dcoutts__ joins (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 08:29:51 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 08:31:18 | × | sp1ff quits (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 08:31:33 | → | sp1ff joins (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 08:34:00 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 08:37:59 | → | araujo joins (~araujo@45.146.54.21) |
| 08:40:10 | × | petrichor quits (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 08:42:45 | → | ubert joins (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) |
| 08:42:50 | × | pavonia quits (~user@user/siracusa) (Quit: Bye!) |
| 08:43:47 | → | petrichor joins (~znc-user@user/petrichor) |
| 08:46:53 | × | rosco quits (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 08:48:07 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:49:17 | → | __monty__ joins (~toonn@user/toonn) |
| 08:50:29 | × | araujo quits (~araujo@45.146.54.21) (Remote host closed the connection) |
| 08:53:03 | × | arahael quits (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 08:54:53 | → | CiaoSen joins (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) |
| 08:56:46 | → | araujo joins (~araujo@45.146.54.21) |
| 08:58:50 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 08:59:02 | → | arahael joins (~arahael@user/arahael) |
| 09:03:59 | × | sp1ff quits (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 09:05:53 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 09:07:35 | → | sp1ff joins (~user@c-73-11-70-111.hsd1.wa.comcast.net) |
| 09:24:30 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 09:44:05 | × | acidjnk quits (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 09:47:04 | × | vpan quits (~vpan@212.117.1.172) (Quit: Leaving.) |
| 09:51:04 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 09:54:49 | → | dcoutts_ joins (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 09:56:24 | × | turlando quits (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 09:57:24 | × | dcoutts__ quits (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 252 seconds) |
| 09:57:39 | → | turlando joins (~turlando@user/turlando) |
| 09:59:44 | × | driib318 quits (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 10:00:17 | → | driib318 joins (~driib@vmi931078.contaboserver.net) |
| 10:01:57 | → | acidjnk joins (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) |
| 10:07:11 | → | mari-estel joins (~mari-este@user/danza) |
| 10:18:31 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 10:33:46 | × | Luj9 quits (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 10:34:24 | → | Luj9 joins (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 10:35:03 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 10:43:55 | → | SlackCoder joins (~SlackCode@64-94-63-8.ip.weststar.net.ky) |
| 10:48:22 | <lxsameer> | hey folks, I heard it a lot that haskell ruins other langs for you as a programmer, just out of curiosity, do you know any lang "better" (air quote) than Haskell? |
| 10:50:05 | <opqdonut> | well if you want something "more haskell than haskell", try agda or perhaps (arguably) purescript |
| 10:50:36 | → | gehmehgeh joins (~user@user/gehmehgeh) |
| 10:56:30 | × | FinnElija quits (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 10:57:10 | → | FinnElija joins (~finn_elij@user/finn-elija/x-0085643) |
| 10:57:24 | <mari-estel> | kool kids use lean nowadays |
| 10:57:51 | × | mari-estel quits (~mari-este@user/danza) (Quit: shitty chrome system) |
| 11:00:06 | <araujo> | lxsameer, Haskell certainly does that |
| 11:03:30 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 11:04:18 | <lxsameer> | opqdonut: don't know about purescript but tried Agda before |
| 11:04:38 | <lxsameer> | araujo: i think so yeah |
| 11:07:03 | × | CiaoSen quits (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 11:07:28 | <tomsmeding> | lxsameer: haskell is not good for every application |
| 11:08:14 | <tomsmeding> | it's very expressive at writing compiler-like programs, and certainly the way it guides one in structuring one's program is one that is good to have under your belt |
| 11:08:20 | <tomsmeding> | and IMO also a very enjoyable one |
| 11:08:52 | <tomsmeding> | it also has a very high abstraction ceiling, even for code that is "low-level"-ish in the sense of mutable arrays and calling C functions |
| 11:09:18 | <tomsmeding> | but it can only go so low into the concrete level; writing code that is really competitive with optimised C code at numerical stuff is hard to impossible |
| 11:09:51 | <tomsmeding> | or algorithms that are really mutation-based, like some dynamic programming algorithms |
| 11:10:37 | <tomsmeding> | while you _can_ express them, to get any semblance of performance in haskell you have to use ST, which makes the code very verbose and not necessarily easier to read than C code; you do still have a separation between the pure code and the impure code, but at some point that trades off against verbosity and clarity |
| 11:10:49 | <lxsameer> | it's a trade off after all |
| 11:10:51 | → | merijn joins (~merijn@77.242.116.146) |
| 11:10:58 | <tomsmeding> | and even if you go deep on ST and unboxed stuff, C can still beat you 2x |
| 11:11:06 | <tomsmeding> | (I've seen that happen) |
| 11:11:31 | <tomsmeding> | knowing haskell certainly spoils you for a lot of problem domains, but there are certainly domains left where haskell would not be my first choice |
| 11:11:56 | <tomsmeding> | perhaps this gives some perspective :) |
| 11:12:15 | <tomsmeding> | so "better" than haskell at competitive programming or kernel code would be C++ or Rust |
| 11:12:49 | <tomsmeding> | "better" than haskell at highly verifiable prototype implementations of compiler stuff is Agda |
| 11:13:05 | <tomsmeding> | "better" than haskell at simple FP code where laziness is more a pain than a boon is OCaml |
| 11:13:28 | <tomsmeding> | "better" than haskell at lensy code is perhaps nothing else currently :p |
| 11:13:40 | <tomsmeding> | and various stuff that I already mentioned |
| 11:13:52 | <tomsmeding> | (disclaimer I don't use lens) |
| 11:15:30 | × | acidjnk quits (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 11:17:31 | <tomsmeding> | lxsameer: but about spoiling: after using haskell a lot, writing _anything_ that you would use a sum type for in Haskell in a language like C++ without proper sum types is a royal pain in the behind that makes you long for the good days of haskell |
| 11:17:39 | → | acidjnk joins (~acidjnk@p200300d6e72cfb8501454db6567a02c6.dip0.t-ipconnect.de) |
| 11:18:49 | → | comerijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 11:18:52 | <tomsmeding> | "C++ has sum types, it has std::variant" std::variant is a monstrosity that can only be deemed sufficient by people so deep in C++ stockholm syndrome that the way out is like being the Minotaur |
| 11:21:10 | <Franciman> | lol |
| 11:21:27 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 11:21:53 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 11:25:07 | × | mulk quits (~mulk@pd9514da8.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in) |
| 11:25:56 | → | mulk joins (~mulk@pd9514da8.dip0.t-ipconnect.de) |
| 11:27:29 | <lxsameer> | tomsmeding: thanks for the insight |
| 11:28:10 | <tomsmeding> | :) |
| 11:28:12 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:31:35 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 11:34:06 | × | synchromesh quits (~john@180.148.124.74) (Read error: Connection reset by peer) |
| 11:35:32 | → | synchromesh joins (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) |
| 11:35:52 | × | synchromesh quits (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) (Read error: Connection reset by peer) |
| 11:36:17 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 11:36:33 | → | synchromesh joins (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) |
| 11:36:51 | → | rosco joins (~rosco@175.136.22.30) |
| 11:40:13 | → | synchrom1 joins (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) |
| 11:40:24 | × | synchromesh quits (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) (Read error: Connection reset by peer) |
| 11:40:52 | → | Square joins (~Square4@user/square) |
| 11:41:00 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:41:39 | Lord_of_Life | is now known as Lord_of_L |
| 11:42:44 | → | mari-estel joins (~mari-este@user/danza) |
| 11:44:58 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 11:46:05 | × | Lord_of_L quits (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 11:48:29 | → | athan joins (~athan@syn-098-153-145-140.biz.spectrum.com) |
| 11:54:14 | × | Square quits (~Square4@user/square) (Ping timeout: 260 seconds) |
| 12:00:07 | → | cfricke joins (~cfricke@user/cfricke) |
| 12:00:32 | × | rosco quits (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 12:03:01 | × | mari-estel quits (~mari-este@user/danza) (Quit: on the move) |
| 12:06:34 | → | merijn joins (~merijn@77.242.116.146) |
| 12:07:07 | × | comerijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer) |
| 12:22:38 | → | xff0x joins (~xff0x@2405:6580:b080:900:3d02:210b:1e86:6542) |
| 12:25:57 | × | athan quits (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 248 seconds) |
| 12:30:24 | → | ft joins (~ft@p4fc2a216.dip0.t-ipconnect.de) |
| 12:30:44 | × | dcoutts_ quits (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 255 seconds) |
| 12:33:05 | → | dcoutts_ joins (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 12:48:09 | × | cfricke quits (~cfricke@user/cfricke) (Ping timeout: 246 seconds) |
| 12:50:58 | × | nisstyre quits (wes@user/nisstyre) (Quit: WeeChat 4.2.1) |
| 12:53:51 | → | weary-traveler joins (~user@user/user363627) |
| 12:54:23 | → | user363627 joins (~user@user/user363627) |
| 12:58:21 | × | weary-traveler quits (~user@user/user363627) (Ping timeout: 252 seconds) |
| 12:58:57 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 13:08:42 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 13:09:09 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 13:09:54 | → | Square2 joins (~Square@user/square) |
| 13:10:29 | → | identity joins (~identity@user/ZharMeny) |
| 13:10:56 | <Square2> | is there some language agnostic protocol suitable for interprocess communication? Say calling methods in haskell from other languages. |
| 13:11:41 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 13:14:35 | <__monty__> | I think that's what gRPC and Cap'n Proto try to be? |
| 13:14:47 | <Square2> | I guess I mean sending/reciving messages. |
| 13:15:01 | <__monty__> | There's also various message queue libraries like ZeroMQ. |
| 13:16:23 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 13:17:45 | <Square2> | __monty__, cap'n proto looks nice. protobuffers feels less elegant to me. |
| 13:18:20 | × | noctux quits (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 13:19:38 | → | carbolymer joins (~carbolyme@dropacid.net) |
| 13:20:53 | → | noctux joins (~noctux@user/noctux) |
| 13:22:32 | × | xff0x quits (~xff0x@2405:6580:b080:900:3d02:210b:1e86:6542) (Quit: xff0x) |
| 13:40:43 | <Square2> | Anyone got any experience of working with cap'n proto for Haskell? Does it feel ergonomic? |
| 13:41:59 | <Square2> | I couldn't find a "haskell types -> schema" function, which wouldv'e felt practical to get going fast. |
| 13:42:26 | × | ubert quits (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 13:45:34 | → | ystael joins (~ystael@user/ystael) |
| 13:47:23 | → | xff0x joins (~xff0x@2405:6580:b080:900:3d02:210b:1e86:6542) |
| 13:48:13 | × | dcoutts_ quits (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Remote host closed the connection) |
| 13:48:35 | → | dcoutts_ joins (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 13:51:21 | → | k` joins (~k`@152.7.255.192) |
| 13:54:37 | → | dcoutts__ joins (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 13:54:48 | <k`> | Is there any way to force GHC to statically compile a data structure? I'm generating an IntSet in a source file from the union of a lot of ranges. The set itself is relatively small (thanks to the clever implementation of IntSet), but the resulting interface file and binary are huge. I have already marked the set NOTINLINE and tried O0, O1, and O2. |
| 13:56:25 | <k`> | Plus the app has to build the set each time it is run. |
| 13:56:41 | <geekosaur> | I think the best you can do is compute it in TH? |
| 13:57:02 | <geekosaur> | but that'll probably explode compile time instead |
| 13:57:22 | <k`> | You mean by importing the internal constructors from containers and using that? |
| 13:57:33 | × | dcoutts_ quits (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 276 seconds) |
| 13:57:52 | <k`> | The compile time shouldn't be any longer than building the set at startup time, so that's a tradeoff I a eager to make. |
| 13:58:27 | <geekosaur> | the no-thinking-needed way is just to do the generation in TH without recourse to internals and put a reference to the result in the AST |
| 13:58:59 | <geekosaur> | GHC in general will not do this itself because it necessarily alters strictness properties |
| 13:59:28 | <k`> | So essentially that's like having a bang at the top level? Template haskell forces the evaluation, and then you inline the result? |
| 13:59:40 | <geekosaur> | not just bang but `rnf` |
| 14:00:19 | <k`> | Very cool. Convoluted, but I think that's exactly what I need. I do think that IntSet is strict, so rnf should be the same as a bang. |
| 14:02:12 | → | cfricke joins (~cfricke@user/cfricke) |
| 14:08:10 | × | xff0x quits (~xff0x@2405:6580:b080:900:3d02:210b:1e86:6542) (Quit: xff0x) |
| 14:08:48 | → | xff0x joins (~xff0x@2405:6580:b080:900:3d02:210b:1e86:6542) |
| 14:22:08 | <sweater1> | I wonder if y'all know how to install shell completions for a binary Haskell distribution with Nix Flake. Here is the current flake: https://github.com/doma-engineering/passveil/blob/main/flake.nix |
| 14:47:06 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 14:47:21 | × | SlackCoder quits (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Quit: Leaving) |
| 14:49:47 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 14:54:11 | × | identity quits (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 14:56:01 | → | Batzy joins (~quassel@user/batzy) |
| 14:58:21 | × | Batzy_ quits (~quassel@user/batzy) (Ping timeout: 246 seconds) |
| 15:02:17 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 15:06:27 | × | ystael quits (~ystael@user/ystael) (Read error: Connection reset by peer) |
| 15:07:52 | → | ystael joins (~ystael@user/ystael) |
| 15:08:03 | gehmehgeh | is now known as gmg |
| 15:10:45 | → | identity joins (~identity@user/ZharMeny) |
| 15:12:44 | vulpine | is now known as ghoulpine |
| 15:14:12 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 15:18:19 | → | euleritian joins (~euleritia@176.2.67.12) |
| 15:21:25 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
| 15:23:21 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 15:28:46 | → | mreh joins (~matthew@host86-128-2-51.range86-128.btcentralplus.com) |
| 15:29:08 | × | euleritian quits (~euleritia@176.2.67.12) (Ping timeout: 252 seconds) |
| 15:29:44 | → | euleritian joins (~euleritia@dynamic-176-007-135-041.176.7.pool.telefonica.de) |
| 15:32:51 | → | weary-traveler joins (~user@user/user363627) |
| 15:33:33 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Remote host closed the connection) |
| 15:33:49 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 15:34:00 | × | user363627 quits (~user@user/user363627) (Ping timeout: 252 seconds) |
| 15:42:38 | × | mceresa quits (~mceresa@user/mceresa) (Remote host closed the connection) |
| 15:42:42 | × | euleritian quits (~euleritia@dynamic-176-007-135-041.176.7.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 15:43:34 | → | euleritian joins (~euleritia@dynamic-176-001-134-031.176.1.pool.telefonica.de) |
| 15:43:47 | <k`> | geekosaur: Using template Haskell not only massively shrunk compiled size, it also sped up compilation by orders of magnitude. |
| 15:44:24 | <k`> | I think having GHC running optimizing passes over all those little Int thunks was doing terrible things. |
| 15:46:17 | <c_wraith> | huh. IntSet having a Lift instance is pretty recent. |
| 15:46:30 | <c_wraith> | But a very pleasant change |
| 15:47:27 | × | synchrom1 quits (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) (Read error: Connection reset by peer) |
| 15:48:49 | → | synchromesh joins (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) |
| 15:49:21 | × | k` quits (~k`@152.7.255.192) (Quit: Client closed) |
| 15:49:34 | → | k` joins (~k`@152.7.255.192) |
| 15:50:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 15:54:26 | × | euleritian quits (~euleritia@dynamic-176-001-134-031.176.1.pool.telefonica.de) (Ping timeout: 252 seconds) |
| 15:54:32 | <k`> | Yeah, It's very nice. In this case it also dropped the cmm dump from about 200,000 loc to about 17,000 loc. |
| 15:55:13 | <k`> | And compilation time from about 30 seconds to under a second. |
| 15:55:19 | × | acidjnk quits (~acidjnk@p200300d6e72cfb8501454db6567a02c6.dip0.t-ipconnect.de) (Ping timeout: 264 seconds) |
| 15:55:29 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 15:55:53 | → | spew joins (~spew@201.141.99.170) |
| 15:56:15 | → | euleritian joins (~euleritia@176.2.132.103) |
| 15:56:21 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 15:56:38 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 15:58:06 | × | araujo quits (~araujo@45.146.54.21) (Ping timeout: 252 seconds) |
| 15:59:59 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:00:17 | → | mceresa joins (~mceresa@user/mceresa) |
| 16:02:42 | <geekosaur> | first time I've ever heard of TH making compilation faster |
| 16:03:07 | <c_wraith> | I really don't understand what you were doing that made GHC do what it was before. The only thing I can think of is that it was attempting to inline the definition everywhere and run rules with a lot of simplifier steps on it |
| 16:04:01 | <c_wraith> | I suppose you could test if a simple NOINLINE pragma also does anything useful |
| 16:04:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:05:38 | <geekosaur> | didn't they say they already did that? |
| 16:05:51 | <geekosaur> | [11 13:54:48] <k`> Is there any way to force GHC to statically compile a data structure? I'm generating an IntSet in a source file from the union of a lot of ranges. The set itself is relatively small (thanks to the clever implementation of IntSet), but the resulting interface file and binary are huge. I have already marked the set NOTINLINE and tried O0, O1, and O2. |
| 16:06:08 | <geekosaur> | (well, called it NOTINLINE, hopefully that was only typoed on IRC) |
| 16:06:42 | <c_wraith> | Oh, I didn't scroll back quite that far. |
| 16:06:44 | × | cfricke quits (~cfricke@user/cfricke) (Quit: WeeChat 4.2.2) |
| 16:08:01 | <c_wraith> | But seriously, inappropriate inlining is the only way I can explain the observed results of generating it with TH reducing code size and compilation time. |
| 16:08:21 | <k`> | NOTINLINE isn't a typo. Try it out. |
| 16:08:39 | × | gabiruh quits (~gabiruh@vps19177.publiccloud.com.br) (Quit: ZNC 1.7.5 - https://znc.in) |
| 16:08:49 | <geekosaur> | "NOTINLINE" would get you an unrecognized pragma warning |
| 16:08:57 | → | gabiruh joins (~gabiruh@vps19177.publiccloud.com.br) |
| 16:08:57 | <geekosaur> | it's "NOINLINE" |
| 16:09:08 | <k`> | You say that, but clearly you haven't tried it. |
| 16:09:11 | <geekosaur> | (well, if you had warnings enabled)] |
| 16:09:29 | <k`> | 'NOTINLINE' is the original form from the Haskell spec. It still works. |
| 16:09:56 | <geekosaur> | I say that with backing from the manual https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/pragmas.html#inline-and-noinline-pragmas |
| 16:10:50 | <k`> | Ah, guess I'm the fool. I'll try to rewrite that muscle memory. |
| 16:10:55 | <geekosaur> | oh, huh, it does say once I follow the chains that NOTINLINE is accepted |
| 16:10:57 | <geekosaur> | interesting |
| 16:11:13 | <geekosaur> | "NOTINLINE is a synonym for NOINLINE (NOINLINE is specified by Haskell 98 as the standard way to disable inlining, so it should be used if you want your code to be portable)." |
| 16:12:54 | <geekosaur> | kinda says soemthing that I've never seen that before, apparently nobody cares about compatibility at all |
| 16:15:43 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:17:25 | <k`> | Anyway, I was automatically generating huge IntSets representing grapheme break properties, and GHC was compiling them into tens of thousands of thunks (and, in the case of O0, leaving the set definitions completely unevaluated). Using a splice has the desired effect of dumping each branch of the set literally into the simplifier, and since GHC |
| 16:17:26 | <k`> | can't do anything with them, it leaves them alone. And of course the number of set branches is the log of the number of thunks it was creating before. |
| 16:17:26 | × | euleritian quits (~euleritia@176.2.132.103) (Read error: Connection reset by peer) |
| 16:17:37 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 16:20:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 16:26:11 | → | machinedgod joins (~machinedg@d50-99-47-73.abhsia.telus.net) |
| 16:31:23 | → | acidjnk joins (~acidjnk@p200300d6e72cfb8501454db6567a02c6.dip0.t-ipconnect.de) |
| 16:32:46 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:37:20 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 16:38:20 | → | aljazmc joins (~aljazmc@user/aljazmc) |
| 16:42:42 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 16:43:28 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 16:47:39 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 260 seconds) |
| 16:48:05 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 16:50:19 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 16:53:03 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 16:56:44 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 17:00:04 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 17:06:33 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:11:04 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:18:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:25:07 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 17:25:37 | → | jinsun joins (~jinsun@user/jinsun) |
| 17:27:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 17:31:42 | <raehik> | I want to meaningfully mark some modules as "internal/doesn't follow PVP", but I don't want to place them under an `Internal` folder. What could I perhaps do instead? |
| 17:32:20 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 17:32:32 | <raehik> | isn't there some metadata you can write that gets displayed on the Haddocks? can I use that to state internal/unstable? |
| 17:33:51 | <geekosaur> | I think the best you can do is something in the top matter (for example, see https://hackage.haskell.org/package/ghc-9.10.1) |
| 17:34:14 | <geekosaur> | but in your case that would be per module instead of in the README |
| 17:35:14 | <geekosaur> | "Internal" is just a convention, not a requirement |
| 17:35:19 | <raehik> | so Haddock has the Stability field. but personally I have never ever read it lol |
| 17:35:29 | <geekosaur> | yes, it's essentially useless though |
| 17:35:43 | <raehik> | geekosaur: yeah, I guess I feel like the meaning of `Internal` is understood well enough to be useful |
| 17:36:11 | <raehik> | I guess I'll just copy paste a line into each module docstring |
| 17:36:30 | <raehik> | thx for the tip :) |
| 17:37:45 | <geekosaur> | the problem with the Stability field is that, as it's actually used, it suffers from "There's this special biologist word we use for 'stable'. We call it 'dead'." |
| 17:38:02 | → | lxsameer joins (~lxsameer@Serene/lxsameer) |
| 17:38:03 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 17:38:24 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 17:39:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:40:38 | → | Sgeo_ joins (~Sgeo@user/sgeo) |
| 17:40:46 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 17:40:53 | <raehik> | lol |
| 17:41:06 | <geekosaur> | (that is, everyone's afraid to mark something "stable" because that would mean they can't change it in the future. PVP expresses this more practically, so "Stability" has essentially dropped out of use.) |
| 17:41:41 | <raehik> | there was some blog post in the past year concerning good & bad versioning practices in Haskell/using the PVP... can't remembre |
| 17:43:07 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 17:43:42 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:51:08 | <yushyin> | raehik: the blog post that comes to mind is https://nikita-volkov.github.io/internal-convention-is-a-mistake/ |
| 17:54:47 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 17:55:12 | <geekosaur> | problem with that article is that there really are cases when internals normally best kept hidden need to be exposed. redesigning your API does not change this |
| 17:56:00 | <geekosaur> | unless the idea is that there are never ever any hidden parts (goodbye smart constructors, goodbye type safety of `Map`, …) |
| 17:56:13 | <geekosaur> | it's just a different road to hell, as usual paved with good intentions |
| 17:56:30 | <dolio> | Yeah, it doesn't seem like it's a reasonable position. |
| 17:56:31 | → | acidjnk_new joins (~acidjnk@p200300d6e72cfb8559afb38ba3995c38.dip0.t-ipconnect.de) |
| 17:57:05 | × | acidjnk quits (~acidjnk@p200300d6e72cfb8501454db6567a02c6.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 17:59:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 17:59:39 | <geekosaur> | that's not to claim "Internals" isn't flawed, but at least if I see "Internals" somewhere I know someone (possibly me) has made a judgement call to break the rules |
| 17:59:58 | <geekosaur> | if people are doing so indiscriminately, we have a social / communication problem |
| 18:01:15 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 18:03:36 | <geekosaur> | sorry, not type safety, soundness |
| 18:05:36 | <dolio> | I don't know that it's always possible to anticipate when someone downstream will need to actually make use of the internals. So it doesn't seem that far fetched to say that it should be possible to get at them, with the understanding of what you're doing. |
| 18:05:54 | <raehik> | yay thx yushyin that was it! I don't claim it's gospel, but I've tended towards his suggestion in that post (more small libraries) |
| 18:06:07 | <dolio> | But if that leads people to say that the internals must be as stable as the public API, then my response would just be that people insisting that have ruined it for everyone. |
| 18:10:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:15:44 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 18:19:39 | <geekosaur> | (I'll also note that `Map` is something of a hack, but it's the best we can do with Haskell as it currently exists. SML/NJ has a better solution.) |
| 18:20:15 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: leaving) |
| 18:20:39 | × | briandaed quits (~root@185.234.210.211) (Quit: Lost terminal) |
| 18:20:54 | <yushyin> | raehik: happy to help :) |
| 18:21:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:22:58 | → | ash3en joins (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) |
| 18:23:20 | <Square2> | As I'm not getting hits on google. On my fresh ubuntu 24.04 machine I'm getting: |
| 18:23:24 | <Square2> | > cabal2nix: nix-prefetch-url: createProcess: posix_spawnp: does not exist (No such file or directory) |
| 18:23:25 | <lambdabot> | error: Variable not in scope: cabal2nixerror: |
| 18:23:25 | <lambdabot> | • Variable not in scope: nix |
| 18:23:25 | <lambdabot> | • Perhaps you meant one of these: |
| 18:23:45 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:24:16 | <Square2> | ..for most of my nix based projects. |
| 18:25:25 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 248 seconds) |
| 18:26:33 | <haskellbridge> | <magic_rb> I saw exactly that when trying to "make" a cmake build directory generated by non nix cmake. But no idea what it means, deleting the directory and rerunning helped |
| 18:26:43 | <haskellbridge> | <magic_rb> Try deleting "dist-newstyle" |
| 18:29:24 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 18:36:31 | → | KicksonButt joins (~quassel@187.21.174.221) |
| 18:36:31 | <KicksonButt> | Sup, world |
| 18:36:32 | × | euleritian quits (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 18:37:15 | → | euleritian joins (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 18:37:33 | <KicksonButt> | > [x | x <- ['A'..'Z'] |
| 18:37:35 | <lambdabot> | <hint>:1:21: error: |
| 18:37:35 | <lambdabot> | parse error (possibly incorrect indentation or mismatched brackets) |
| 18:39:07 | <KicksonButt> | > [x | x <- ['A'..'Z']] |
| 18:39:09 | <lambdabot> | "ABCDEFGHIJKLMNOPQRSTUVWXYZ" |
| 18:39:59 | <KicksonButt> | How do I implement something like x-'A'+'a' to invert case? |
| 18:40:28 | <dolio> | > ord 'A' |
| 18:40:30 | <lambdabot> | 65 |
| 18:40:41 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:40:55 | <KicksonButt> | Thanks |
| 18:41:22 | <dolio> | > let f c = chr (ord c - ord 'A' + ord 'a') in map f ['A'..'Z'] |
| 18:41:24 | <lambdabot> | "abcdefghijklmnopqrstuvwxyz" |
| 18:42:17 | <dolio> | > map toLower ['A'..'Z'] |
| 18:42:18 | <lambdabot> | "abcdefghijklmnopqrstuvwxyz" |
| 18:44:13 | <geekosaur> | also note that the quick and dirty way you want to use isn't safe or supported in Haskell: Unicode is the default |
| 18:44:16 | × | aljazmc quits (~aljazmc@user/aljazmc) (Quit: Leaving) |
| 18:45:05 | <geekosaur> | (there's still a way to do it but you won't get much help with it) |
| 18:45:25 | → | mehlon joins (~mehlon@user/mehlon) |
| 18:46:09 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 18:51:12 | <KicksonButt> | dolio I had never seen 'in' before map; is that the same as defining f and then calling 'map f (...)' on another line? |
| 18:52:03 | <mauke> | `let DEFINITIONS in EXPR` is how you define local symbols |
| 18:54:33 | <KicksonButt> | Ok |
| 18:54:48 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 18:55:17 | <Square2> | magic_rb, thanks. Sadly I have no dist-newstyle =/ |
| 18:56:27 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 18:59:21 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 19:00:02 | × | caconym quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:37 | → | caconym joins (~caconym@user/caconym) |
| 19:01:37 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 265 seconds) |
| 19:02:37 | × | mehlon quits (~mehlon@user/mehlon) (Remote host closed the connection) |
| 19:02:56 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 19:08:38 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:12:15 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:13:54 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Remote host closed the connection) |
| 19:14:55 | → | ubert joins (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) |
| 19:17:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 255 seconds) |
| 19:20:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:25:23 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:26:08 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:30:48 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 19:34:13 | × | lxsameer quits (~lxsameer@Serene/lxsameer) (Ping timeout: 248 seconds) |
| 19:36:49 | → | pavonia joins (~user@user/siracusa) |
| 19:36:54 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 265 seconds) |
| 19:38:23 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 19:40:45 | <Square2> | Seems my problems with nix came down to having an underscore in my cabal file. *shrug* |
| 19:41:36 | → | weary-traveler joins (~user@user/user363627) |
| 19:41:54 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:47:15 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 276 seconds) |
| 19:48:58 | × | Smiles quits (uid551636@id-551636.lymington.irccloud.com) (Quit: Connection closed for inactivity) |
| 19:52:24 | × | ubert quits (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) (Ping timeout: 252 seconds) |
| 19:52:24 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 19:52:45 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 19:53:47 | → | tv joins (~tv@user/tv) |
| 19:58:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 19:58:48 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 20:00:49 | × | euphores quits (~SASL_euph@user/euphores) (Ping timeout: 252 seconds) |
| 20:04:11 | × | chiselfuse quits (~chiselfus@user/chiselfuse) (Ping timeout: 260 seconds) |
| 20:05:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:06:22 | → | chiselfuse joins (~chiselfus@user/chiselfuse) |
| 20:08:49 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 20:08:55 | → | euphores joins (~SASL_euph@user/euphores) |
| 20:09:13 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 20:16:28 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:21:21 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:32:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:37:05 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 20:41:34 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
| 20:45:31 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 20:45:37 | × | k` quits (~k`@152.7.255.192) (Ping timeout: 256 seconds) |
| 20:46:06 | × | michalz quits (~michalz@185.246.207.200) (Remote host closed the connection) |
| 20:48:03 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 20:48:15 | → | tcard joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 20:52:54 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 20:56:34 | × | mreh quits (~matthew@host86-128-2-51.range86-128.btcentralplus.com) (Ping timeout: 252 seconds) |
| 20:57:51 | × | takuan quits (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 21:02:35 | × | kimiamania quits (~924ba01d@user/kimiamania) (Quit: PegeLinux) |
| 21:02:51 | × | ash3en quits (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 21:02:57 | → | kimiamania joins (~924ba01d@user/kimiamania) |
| 21:03:51 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:05:37 | × | KicksonButt quits (~quassel@187.21.174.221) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 21:05:59 | × | kritzefitz quits (~kritzefit@debian/kritzefitz) (Ping timeout: 255 seconds) |
| 21:07:17 | → | kritzefitz joins (~kritzefit@debian/kritzefitz) |
| 21:07:19 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 21:08:59 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 21:12:03 | → | econo_ joins (uid147250@id-147250.tinside.irccloud.com) |
| 21:19:28 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 21:19:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:20:53 | × | dcoutts__ quits (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 248 seconds) |
| 21:21:49 | × | jinsun quits (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 21:24:43 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 264 seconds) |
| 21:27:40 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Remote host closed the connection) |
| 21:30:32 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 21:33:36 | × | youthlic quits (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 21:35:25 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:35:36 | → | youthlic joins (~Thunderbi@user/youthlic) |
| 21:41:40 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 21:42:02 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 21:43:30 | × | todi quits (~todi@p57803331.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 21:52:06 | → | todi joins (~todi@p57803331.dip0.t-ipconnect.de) |
| 21:53:30 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 21:57:11 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 21:58:13 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 248 seconds) |
| 22:04:08 | × | flounders quits (~flounders@2607:fb91:f6f:855:e809:87b:af2:fd7e) (Quit: WeeChat 4.3.3) |
| 22:10:11 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:14:27 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 246 seconds) |
| 22:17:39 | → | hgolden__ joins (~hgolden@204.152.216.122) |
| 22:20:31 | × | hgolden_ quits (~hgolden@204.152.216.122) (Ping timeout: 264 seconds) |
| 22:25:35 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:26:16 | × | gmg quits (~user@user/gehmehgeh) (Quit: Leaving) |
| 22:27:22 | → | gmg joins (~user@user/gehmehgeh) |
| 22:30:16 | → | Smiles joins (uid551636@id-551636.lymington.irccloud.com) |
| 22:30:26 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:31:18 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:35:56 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 22:36:07 | × | raehik quits (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 22:47:00 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 22:52:14 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 260 seconds) |
| 22:53:54 | yin | is now known as zzz |
| 22:54:17 | × | spew quits (~spew@201.141.99.170) (Quit: spew) |
| 23:05:17 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:07:12 | × | myxos quits (~myxos@syn-065-028-251-121.res.spectrum.com) (Ping timeout: 252 seconds) |
| 23:09:57 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:10:06 | → | myxos joins (~myxos@syn-065-028-251-121.res.spectrum.com) |
| 23:11:09 | × | petrichor quits (~znc-user@user/petrichor) (Ping timeout: 246 seconds) |
| 23:12:49 | → | raehik joins (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 23:16:39 | → | xff0x_ joins (~xff0x@2405:6580:b080:900:84b4:386f:205f:a305) |
| 23:19:11 | × | xff0x quits (~xff0x@2405:6580:b080:900:3d02:210b:1e86:6542) (Ping timeout: 252 seconds) |
| 23:20:04 | → | petrichor joins (~znc-user@user/petrichor) |
| 23:20:39 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:22:36 | × | acidjnk_new quits (~acidjnk@p200300d6e72cfb8559afb38ba3995c38.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:25:32 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 244 seconds) |
| 23:26:34 | × | Tuplanolla quits (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 23:27:28 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 245 seconds) |
| 23:29:36 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 23:33:43 | × | Natch quits (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Ping timeout: 264 seconds) |
| 23:37:23 | → | Natch joins (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) |
| 23:38:42 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:43:46 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
| 23:52:13 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 23:54:29 | → | merijn joins (~merijn@128-137-045-062.dynamic.caiway.nl) |
| 23:59:32 | × | merijn quits (~merijn@128-137-045-062.dynamic.caiway.nl) (Ping timeout: 252 seconds) |
All times are in UTC on 2024-10-11.