| 2024-10-11 00:11:45 +0200 | AlexZenon | (~alzenon@178.34.163.165) (Ping timeout: 252 seconds) |
| 2024-10-11 00:16:59 +0200 | euleritian | (~euleritia@77.22.252.56) (Ping timeout: 260 seconds) |
| 2024-10-11 00:17:38 +0200 | weary-traveler | (~user@user/user363627) user363627 |
| 2024-10-11 00:26:05 +0200 | AlexZenon | (~alzenon@178.34.163.165) |
| 2024-10-11 00:27:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-11 00:27:17 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-11 00:27:49 +0200 | xff0x | (~xff0x@2405:6580:b080:900:3e:c6b:65b9:2866) (Quit: xff0x) |
| 2024-10-11 00:28:32 +0200 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2024-10-11 00:29:27 +0200 | AlexZenon | (~alzenon@178.34.163.165) (Read error: Connection reset by peer) |
| 2024-10-11 00:35:13 +0200 | xff0x | (~xff0x@2405:6580:b080:900:524e:9ecb:b84d:391c) |
| 2024-10-11 00:35:13 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-11 00:35:20 +0200 | euleritian | (~euleritia@dynamic-176-006-134-060.176.6.pool.telefonica.de) |
| 2024-10-11 00:35:47 +0200 | euleritian | (~euleritia@dynamic-176-006-134-060.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-10-11 00:36:04 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-11 00:47:58 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-11 00:51:21 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-10-11 00:52:09 +0200 | AlexZenon | (~alzenon@178.34.163.165) |
| 2024-10-11 00:56:29 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-10-11 01:05:34 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 260 seconds) |
| 2024-10-11 01:10:52 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:4f73:4e09:b8f0:e4a2) |
| 2024-10-11 01:13:55 +0200 | xff0x | (~xff0x@2405:6580:b080:900:524e:9ecb:b84d:391c) (Ping timeout: 264 seconds) |
| 2024-10-11 01:18:11 +0200 | mantraofpie | (~mantraofp@user/mantraofpie) (Ping timeout: 260 seconds) |
| 2024-10-11 01:24:16 +0200 | dcoutts | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) dcoutts |
| 2024-10-11 01:29:57 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8558a5acefa98b724b.dip0.t-ipconnect.de) (Ping timeout: 248 seconds) |
| 2024-10-11 01:30:05 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-10-11 01:30:36 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-10-11 01:30:56 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-11 01:30:57 +0200 | dcoutts | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Read error: Connection reset by peer) |
| 2024-10-11 01:51:27 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-10-11 01:52:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2024-10-11 01:52:43 +0200 | vanishing | (~vanishing@user/vanishingideal) (Read error: Connection reset by peer) |
| 2024-10-11 01:53:25 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-11 01:53:32 +0200 | vanishing | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-11 01:56:19 +0200 | Zer000 | (~02@64.137.132.10) Zer000 |
| 2024-10-11 01:59:33 +0200 | <Zer000> | whoa wait a second, my application just changed the way it calculates numbers but all I did was add a print statement! I'm looking at the diff and besides print out a list (generated purely from two Integers), I refactored a very simple toInteger call to be it's own variable name using let. How the heck is this possible?? Before my application was crashing because it was trying to use (!!) with a negative index on a list. |
| 2024-10-11 02:00:57 +0200 | dcoutts__ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 2024-10-11 02:01:44 +0200 | <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? |
| 2024-10-11 02:02:14 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-10-11 02:02:15 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Read error: Connection reset by peer) |
| 2024-10-11 02:02:18 +0200 | <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". |
| 2024-10-11 02:02:37 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) ChaiTRex |
| 2024-10-11 02:02:42 +0200 | <c_wraith> | if it is the only difference, it's easy to pop back and forth! |
| 2024-10-11 02:03:02 +0200 | <Zer000> | here is the diff! |
| 2024-10-11 02:03:03 +0200 | <Zer000> | https://dpaste.com/GYYM5LCAX |
| 2024-10-11 02:03:23 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) JuanDaugherty |
| 2024-10-11 02:04:01 +0200 | <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. |
| 2024-10-11 02:04:25 +0200 | <c_wraith> | so did you temporarily revert the change to verify? |
| 2024-10-11 02:05:13 +0200 | <c_wraith> | also, wow that pastebin handles mobile poorly. |
| 2024-10-11 02:05:39 +0200 | <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. |
| 2024-10-11 02:05:50 +0200 | <Zer000> | c_wraith, I can repaste if you have a better place |
| 2024-10-11 02:05:53 +0200 | lol_ | jcarpenter2 |
| 2024-10-11 02:05:59 +0200 | <Zer000> | what's a good pastebin? |
| 2024-10-11 02:06:02 +0200 | <c_wraith> | @where paste |
| 2024-10-11 02:06:02 +0200 | <lambdabot> | Help us help you: please paste full code, input and/or output at e.g. https://paste.tomsmeding.com |
| 2024-10-11 02:06:40 +0200 | <Zer000> | https://paste.tomsmeding.com/OpuMYlD1 |
| 2024-10-11 02:07:11 +0200 | <Zer000> | I'm excited because it's running but it's freaking me out. i'll read about that let-generalization though |
| 2024-10-11 02:08:02 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-10-11 02:08:37 +0200 | <Lears> | Zer000: You also changed `E.diskNumBytes` to `E.diskBytenr`. |
| 2024-10-11 02:10:50 +0200 | <Zer000> | DOH! |
| 2024-10-11 02:10:54 +0200 | <Zer000> | That's probably it :) |
| 2024-10-11 02:15:10 +0200 | quintasan | (~quassel@quintasan.pl) () |
| 2024-10-11 02:16:54 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 2024-10-11 02:17:27 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) raehik |
| 2024-10-11 02:28:13 +0200 | Nixkernal | (~Nixkernal@226.85.194.178.dynamic.cust.swisscom.net) (Ping timeout: 252 seconds) |
| 2024-10-11 02:32:32 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-10-11 02:34:18 +0200 | califax | (~califax@user/califx) califx |
| 2024-10-11 02:38:36 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) (Remote host closed the connection) |
| 2024-10-11 02:39:08 +0200 | haskellbridge | (~hackager@syn-024-093-192-219.res.spectrum.com) hackager |
| 2024-10-11 02:39:08 +0200 | ChanServ | +v haskellbridge |
| 2024-10-11 02:47:39 +0200 | identity | (~identity@user/ZharMeny) (Quit: ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.0.91)) |
| 2024-10-11 02:48:04 +0200 | <haskellbridge> | <thirdofmay18081814goya> what are some interesting/useful/neat type-level data types and functions? |
| 2024-10-11 02:48:12 +0200 | <haskellbridge> | <thirdofmay18081814goya> vague answers only, am practicing type-level programming |
| 2024-10-11 02:49:19 +0200 | xff0x_ | (~xff0x@2405:6580:b080:900:4f73:4e09:b8f0:e4a2) (Ping timeout: 264 seconds) |
| 2024-10-11 02:53:47 +0200 | <dmj`> | UnconsSymbol |
| 2024-10-11 02:54:46 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-11 03:00:23 +0200 | Sgeo_ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-11 03:00:29 +0200 | Sgeo | (~Sgeo@user/sgeo) (Ping timeout: 260 seconds) |
| 2024-10-11 03:02:57 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 2024-10-11 03:03:25 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 252 seconds) |
| 2024-10-11 03:08:50 +0200 | user363627 | (~user@user/user363627) user363627 |
| 2024-10-11 03:12:14 +0200 | weary-traveler | (~user@user/user363627) (Ping timeout: 252 seconds) |
| 2024-10-11 03:27:17 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-11 03:29:10 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-11 03:32:08 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) LukeHoersten |
| 2024-10-11 03:32:43 +0200 | jcarpenter2 | (~lol@2603:3016:1e01:b9e0:835:2698:e6f:bd82) (Read error: Connection reset by peer) |
| 2024-10-11 03:36:48 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Ping timeout: 252 seconds) |
| 2024-10-11 03:41:16 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 03:55:55 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-11 04:08:22 +0200 | spew | (~spew@201.141.99.170) (Quit: spew) |
| 2024-10-11 04:10:16 +0200 | td_ | (~td@i53870924.versanet.de) (Ping timeout: 272 seconds) |
| 2024-10-11 04:11:40 +0200 | td_ | (~td@i5387090C.versanet.de) td_ |
| 2024-10-11 04:11:54 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-10-11 04:12:25 +0200 | gorignak | (~gorignak@user/gorignak) gorignak |
| 2024-10-11 04:20:25 +0200 | Square | (~Square4@user/square) (Ping timeout: 252 seconds) |
| 2024-10-11 04:22:12 +0200 | LukeHoersten | (~LukeHoers@user/lukehoersten) (Quit: My MacBook has gone to sleep. ZZZzzz…) |
| 2024-10-11 04:33:59 +0200 | JuanDaugherty | (~juan@user/JuanDaugherty) (Quit: JuanDaugherty) |
| 2024-10-11 04:39:00 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 265 seconds) |
| 2024-10-11 04:59:23 +0200 | jinsun | (~jinsun@user/jinsun) jinsun |
| 2024-10-11 05:01:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2024-10-11 05:04:47 +0200 | user363627 | (~user@user/user363627) (Remote host closed the connection) |
| 2024-10-11 05:33:00 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc0:e400:1d65:59f5:5ebd:ca5e) aforemny |
| 2024-10-11 05:33:24 +0200 | aforemny | (~aforemny@i577BEEF5.versanet.de) (Ping timeout: 246 seconds) |
| 2024-10-11 05:38:03 +0200 | Sgeo__ | (~Sgeo@user/sgeo) Sgeo |
| 2024-10-11 05:38:28 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-11 05:38:36 +0200 | synchrom1 | (~john@2406:5a00:2497:300:99c5:4603:d83:aa35) synchromesh |
| 2024-10-11 05:39:03 +0200 | alioguzhan1 | (~Thunderbi@78.173.89.238) |
| 2024-10-11 05:39:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-10-11 05:39:07 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) (Read error: Connection reset by peer) |
| 2024-10-11 05:39:31 +0200 | noctux | (~noctux@user/noctux) (Read error: Connection reset by peer) |
| 2024-10-11 05:39:31 +0200 | synchrom2 | (~john@2406:5a00:2497:300:99c5:4603:d83:aa35) synchromesh |
| 2024-10-11 05:39:33 +0200 | Digit | (~user@user/digit) (Remote host closed the connection) |
| 2024-10-11 05:39:38 +0200 | noctux | (~noctux@user/noctux) noctux |
| 2024-10-11 05:39:42 +0200 | youthlic | (~Thunderbi@user/youthlic) (Remote host closed the connection) |
| 2024-10-11 05:39:46 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Quit: ZNC - https://znc.in) |
| 2024-10-11 05:39:56 +0200 | pierrot | (~pi@user/pierrot) (Quit: ZNC 1.8.2 - http://znc.in) |
| 2024-10-11 05:39:56 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) (Quit: Bye!) |
| 2024-10-11 05:39:57 +0200 | thaumavorio | (~thaumavor@thaumavor.io) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-11 05:39:57 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-10-11 05:39:58 +0200 | youthlic | (~Thunderbi@user/youthlic) youthlic |
| 2024-10-11 05:40:00 +0200 | AlexZenon | (~alzenon@178.34.163.165) (Ping timeout: 252 seconds) |
| 2024-10-11 05:40:03 +0200 | haritz | (~hrtz@user/haritz) (Remote host closed the connection) |
| 2024-10-11 05:40:10 +0200 | rvalue | (~rvalue@user/rvalue) (Remote host closed the connection) |
| 2024-10-11 05:40:12 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) |
| 2024-10-11 05:40:31 +0200 | rvalue | (~rvalue@user/rvalue) rvalue |
| 2024-10-11 05:40:45 +0200 | gorignak | (~gorignak@user/gorignak) (Quit: quit) |
| 2024-10-11 05:40:56 +0200 | remedan | (~remedan@ip-62-245-108-153.bb.vodafone.cz) remedan |
| 2024-10-11 05:41:06 +0200 | synchromesh | (~john@180.148.124.74) (Ping timeout: 252 seconds) |
| 2024-10-11 05:41:15 +0200 | Digit | (~user@user/digit) Digit |
| 2024-10-11 05:41:28 +0200 | Sgeo_ | (~Sgeo@user/sgeo) (Ping timeout: 252 seconds) |
| 2024-10-11 05:41:28 +0200 | dcoutts__ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-10-11 05:41:28 +0200 | wanted | (~wanted@2.219.56.221) (Ping timeout: 252 seconds) |
| 2024-10-11 05:42:00 +0200 | synchromesh | (~john@180.148.124.74) synchromesh |
| 2024-10-11 05:42:01 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) todi |
| 2024-10-11 05:42:04 +0200 | haritz | (~hrtz@2a02:8010:65b5:0:5d9a:9bab:ee5e:b737) (Changing host) |
| 2024-10-11 05:42:04 +0200 | haritz | (~hrtz@user/haritz) haritz |
| 2024-10-11 05:42:35 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) (Remote host closed the connection) |
| 2024-10-11 05:42:41 +0200 | kaol | (~kaol@94-237-45-144.nl-ams1.upcloud.host) (Remote host closed the connection) |
| 2024-10-11 05:42:48 +0200 | kaol | (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 2024-10-11 05:42:58 +0200 | raym | (~ray@user/raym) (Remote host closed the connection) |
| 2024-10-11 05:42:58 +0200 | gabriel_sevecek | (~gabriel@188-167-229-200.dynamic.chello.sk) gabriel_sevecek |
| 2024-10-11 05:43:18 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 252 seconds) |
| 2024-10-11 05:43:18 +0200 | alioguzhan | (~Thunderbi@78.173.89.238) (Ping timeout: 252 seconds) |
| 2024-10-11 05:43:18 +0200 | juri_ | (~juri@implicitcad.org) (Ping timeout: 252 seconds) |
| 2024-10-11 05:43:18 +0200 | alioguzhan1 | alioguzhan |
| 2024-10-11 05:43:22 +0200 | synchrom1 | (~john@2406:5a00:2497:300:99c5:4603:d83:aa35) (Ping timeout: 272 seconds) |
| 2024-10-11 05:43:40 +0200 | lyxia | (~lyxia@poisson.chat) (Ping timeout: 252 seconds) |
| 2024-10-11 05:44:02 +0200 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 252 seconds) |
| 2024-10-11 05:44:12 +0200 | CrunchyFlakes | (~CrunchyFl@ip1f13e94e.dynamic.kabel-deutschland.de) |
| 2024-10-11 05:44:22 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-11 05:44:24 +0200 | synchrom2 | (~john@2406:5a00:2497:300:99c5:4603:d83:aa35) (Ping timeout: 260 seconds) |
| 2024-10-11 05:44:54 +0200 | sourcetarius | (~sourcetar@user/sourcetarius) (Quit: sourcetarius) |
| 2024-10-11 05:45:07 +0200 | AlexZenon | (~alzenon@178.34.163.165) |
| 2024-10-11 05:45:49 +0200 | thaumavorio | (~thaumavor@thaumavor.io) thaumavorio |
| 2024-10-11 05:46:08 +0200 | wanted | (~wanted@2.219.56.221) |
| 2024-10-11 05:47:41 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
| 2024-10-11 05:49:19 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-11 05:49:52 +0200 | Natch | (~natch@c-9e07225c.038-60-73746f7.bbcust.telenor.se) Natch |
| 2024-10-11 05:50:55 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 05:52:27 +0200 | dcoutts__ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 2024-10-11 05:53:11 +0200 | juri_ | (~juri@implicitcad.org) juri_ |
| 2024-10-11 05:53:49 +0200 | pierrot | (~pi@user/pierrot) pierrot |
| 2024-10-11 05:53:52 +0200 | lyxia | (~lyxia@poisson.chat) |
| 2024-10-11 05:54:29 +0200 | tomboy64 | (~tomboy64@user/tomboy64) tomboy64 |
| 2024-10-11 05:55:39 +0200 | dcoutts_ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 276 seconds) |
| 2024-10-11 06:00:05 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-10-11 06:03:29 +0200 | raym | (~ray@user/raym) raym |
| 2024-10-11 06:16:26 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-11 06:43:35 +0200 | michalz | (~michalz@185.246.207.200) |
| 2024-10-11 06:54:49 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-10-11 07:02:41 +0200 | euphores | (~SASL_euph@user/euphores) euphores |
| 2024-10-11 07:08:17 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2024-10-11 07:11:15 +0200 | solaire | (~solaire@185.209.198.102) |
| 2024-10-11 07:11:19 +0200 | solaire | (~solaire@185.209.198.102) (Remote host closed the connection) |
| 2024-10-11 07:12:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 07:15:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 2024-10-11 07:24:46 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 07:30:10 +0200 | Sgeo__ | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-10-11 07:31:42 +0200 | alp_ | (~alp@2001:861:e3d6:8f80:3e1b:1051:6267:8f64) |
| 2024-10-11 07:34:41 +0200 | Zer000 | (~02@64.137.132.10) (Quit: Leaving) |
| 2024-10-11 07:35:39 +0200 | jinsun | (~jinsun@user/jinsun) (Ping timeout: 260 seconds) |
| 2024-10-11 07:44:31 +0200 | Buliarous | (~gypsydang@46.232.210.139) (Ping timeout: 264 seconds) |
| 2024-10-11 07:50:28 +0200 | vanishing | (~vanishing@user/vanishingideal) (Quit: leaving) |
| 2024-10-11 07:55:09 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) acidjnk |
| 2024-10-11 08:43:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Quit: xff0x) |
| 2024-10-11 08:51:12 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 08:51:50 +0200 | ft | (~ft@p4fc2a216.dip0.t-ipconnect.de) (Quit: leaving) |
| 2024-10-11 08:54:28 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 2024-10-11 08:54:42 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Quit: Lost terminal) |
| 2024-10-11 08:55:19 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 08:58:33 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 2024-10-11 08:59:15 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 09:00:00 +0200 | caconym | (~caconym@user/caconym) (Quit: bye) |
| 2024-10-11 09:00:37 +0200 | caconym | (~caconym@user/caconym) caconym |
| 2024-10-11 09:02:46 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 2024-10-11 09:03:46 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 09:03:48 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 2024-10-11 09:04:08 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 09:04:09 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 276 seconds) |
| 2024-10-11 09:06:26 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Client Quit) |
| 2024-10-11 09:07:09 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2024-10-11 09:07:38 +0200 | mulk | (~mulk@p5b112a06.dip0.t-ipconnect.de) (Ping timeout: 255 seconds) |
| 2024-10-11 09:13:15 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-10-11 09:13:44 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-10-11 09:14:50 +0200 | cyphase | (~cyphase@user/cyphase) (Read error: Connection reset by peer) |
| 2024-10-11 09:18:27 +0200 | cyphase | (~cyphase@user/cyphase) cyphase |
| 2024-10-11 09:24:09 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-10-11 09:27:10 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-11 09:31:54 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-11 09:32:06 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-11 09:32:58 +0200 | gentauro | (~gentauro@user/gentauro) (Quit: leaving) |
| 2024-10-11 09:38:16 +0200 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) jespada |
| 2024-10-11 09:43:30 +0200 | dcoutts__ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) (Ping timeout: 265 seconds) |
| 2024-10-11 09:43:40 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-10-11 09:47:17 +0200 | vpan | (~vpan@212.117.1.172) |
| 2024-10-11 09:50:21 +0200 | briandaed | (~root@185.234.210.211) |
| 2024-10-11 09:51:20 +0200 | mulk | (~mulk@pd9514da8.dip0.t-ipconnect.de) mulk |
| 2024-10-11 09:52:47 +0200 | gentauro | (~gentauro@user/gentauro) gentauro |
| 2024-10-11 10:02:05 +0200 | vanishingideal | (~vanishing@user/vanishingideal) vanishingideal |
| 2024-10-11 10:05:06 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) (Read error: Connection reset by peer) |
| 2024-10-11 10:05:19 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) talismanick |
| 2024-10-11 10:12:05 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) (Ping timeout: 248 seconds) |
| 2024-10-11 10:24:29 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Quit: Laa shay'a waqi'un moutlaq bale kouloun moumkine) |
| 2024-10-11 10:24:59 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-11 10:25:56 +0200 | chele | (~chele@user/chele) chele |
| 2024-10-11 10:28:30 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) |
| 2024-10-11 10:29:51 +0200 | Smiles | (uid551636@id-551636.lymington.irccloud.com) Smiles |
| 2024-10-11 10:31:18 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-10-11 10:31:33 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
| 2024-10-11 10:34:00 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) lxsameer |
| 2024-10-11 10:37:59 +0200 | araujo | (~araujo@45.146.54.21) araujo |
| 2024-10-11 10:40:10 +0200 | petrichor | (~znc-user@user/petrichor) (Read error: Connection reset by peer) |
| 2024-10-11 10:42:45 +0200 | ubert | (~Thunderbi@178.165.179.94.wireless.dyn.drei.com) ubert |
| 2024-10-11 10:42:50 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-10-11 10:43:47 +0200 | petrichor | (~znc-user@user/petrichor) petrichor |
| 2024-10-11 10:46:53 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-11 10:48:07 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-10-11 10:49:17 +0200 | __monty__ | (~toonn@user/toonn) toonn |
| 2024-10-11 10:50:29 +0200 | araujo | (~araujo@45.146.54.21) (Remote host closed the connection) |
| 2024-10-11 10:53:03 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
| 2024-10-11 10:54:53 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) CiaoSen |
| 2024-10-11 10:56:46 +0200 | araujo | (~araujo@45.146.54.21) araujo |
| 2024-10-11 10:58:50 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) (Quit: ash3en) |
| 2024-10-11 10:59:02 +0200 | arahael | (~arahael@user/arahael) arahael |
| 2024-10-11 11:03:59 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) (Read error: Connection reset by peer) |
| 2024-10-11 11:05:53 +0200 | vanishingideal | (~vanishing@user/vanishingideal) (Ping timeout: 248 seconds) |
| 2024-10-11 11:07:35 +0200 | sp1ff | (~user@c-73-11-70-111.hsd1.wa.comcast.net) sp1ff |
| 2024-10-11 11:24:30 +0200 | ash3en | (~Thunderbi@2a03:7846:b6eb:101:93ac:a90a:da67:f207) ash3en |
| 2024-10-11 11:44:05 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-11 11:47:04 +0200 | vpan | (~vpan@212.117.1.172) (Quit: Leaving.) |
| 2024-10-11 11:51:04 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 2024-10-11 11:54:49 +0200 | dcoutts_ | (~duncan@host86-143-111-204.range86-143.btcentralplus.com) |
| 2024-10-11 11:56:24 +0200 | turlando | (~turlando@user/turlando) (Quit: No Ping reply in 180 seconds.) |
| 2024-10-11 11:57:24 +0200 | dcoutts__ | (~duncan@2a00:23c6:1c8d:901:b94:4566:9d63:4848) (Ping timeout: 252 seconds) |
| 2024-10-11 11:57:39 +0200 | turlando | (~turlando@user/turlando) turlando |
| 2024-10-11 11:59:44 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-11 12:00:17 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
| 2024-10-11 12:01:57 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) acidjnk |
| 2024-10-11 12:07:11 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-11 12:18:31 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-10-11 12:33:46 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-10-11 12:34:24 +0200 | Luj9 | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) Luj |
| 2024-10-11 12:35:03 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) (Quit: au revoir) |
| 2024-10-11 12:43:55 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
| 2024-10-11 12:48:22 +0200 | <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? |
| 2024-10-11 12:50:05 +0200 | <opqdonut> | well if you want something "more haskell than haskell", try agda or perhaps (arguably) purescript |
| 2024-10-11 12:50:36 +0200 | gehmehgeh | (~user@user/gehmehgeh) gehmehgeh |
| 2024-10-11 12:56:30 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2024-10-11 12:57:10 +0200 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) finn_elija |
| 2024-10-11 12:57:24 +0200 | <mari-estel> | kool kids use lean nowadays |
| 2024-10-11 12:57:51 +0200 | mari-estel | (~mari-este@user/danza) (Quit: shitty chrome system) |
| 2024-10-11 13:00:06 +0200 | <araujo> | lxsameer, Haskell certainly does that |
| 2024-10-11 13:03:30 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) (Ping timeout: 246 seconds) |
| 2024-10-11 13:04:18 +0200 | <lxsameer> | opqdonut: don't know about purescript but tried Agda before |
| 2024-10-11 13:04:38 +0200 | <lxsameer> | araujo: i think so yeah |
| 2024-10-11 13:07:03 +0200 | CiaoSen | (~Jura@2a05:5800:2e4:b000:ca4b:d6ff:fec1:99da) (Ping timeout: 245 seconds) |
| 2024-10-11 13:07:28 +0200 | <tomsmeding> | lxsameer: haskell is not good for every application |
| 2024-10-11 13:08:14 +0200 | <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 |
| 2024-10-11 13:08:20 +0200 | <tomsmeding> | and IMO also a very enjoyable one |
| 2024-10-11 13:08:52 +0200 | <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 |
| 2024-10-11 13:09:18 +0200 | <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 |
| 2024-10-11 13:09:51 +0200 | <tomsmeding> | or algorithms that are really mutation-based, like some dynamic programming algorithms |
| 2024-10-11 13:10:37 +0200 | <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 |
| 2024-10-11 13:10:49 +0200 | <lxsameer> | it's a trade off after all |
| 2024-10-11 13:10:51 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-11 13:10:58 +0200 | <tomsmeding> | and even if you go deep on ST and unboxed stuff, C can still beat you 2x |
| 2024-10-11 13:11:06 +0200 | <tomsmeding> | (I've seen that happen) |
| 2024-10-11 13:11:31 +0200 | <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 |
| 2024-10-11 13:11:56 +0200 | <tomsmeding> | perhaps this gives some perspective :) |
| 2024-10-11 13:12:15 +0200 | <tomsmeding> | so "better" than haskell at competitive programming or kernel code would be C++ or Rust |
| 2024-10-11 13:12:49 +0200 | <tomsmeding> | "better" than haskell at highly verifiable prototype implementations of compiler stuff is Agda |
| 2024-10-11 13:13:05 +0200 | <tomsmeding> | "better" than haskell at simple FP code where laziness is more a pain than a boon is OCaml |
| 2024-10-11 13:13:28 +0200 | <tomsmeding> | "better" than haskell at lensy code is perhaps nothing else currently :p |
| 2024-10-11 13:13:40 +0200 | <tomsmeding> | and various stuff that I already mentioned |
| 2024-10-11 13:13:52 +0200 | <tomsmeding> | (disclaimer I don't use lens) |
| 2024-10-11 13:15:30 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb85c0de74302d76eade.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 2024-10-11 13:17:31 +0200 | <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 |
| 2024-10-11 13:17:39 +0200 | acidjnk | (~acidjnk@p200300d6e72cfb8501454db6567a02c6.dip0.t-ipconnect.de) acidjnk |
| 2024-10-11 13:18:49 +0200 | comerijn | (~merijn@128-137-045-062.dynamic.caiway.nl) merijn |
| 2024-10-11 13:18:52 +0200 | <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 |
| 2024-10-11 13:21:10 +0200 | <Franciman> | lol |
| 2024-10-11 13:21:27 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2024-10-11 13:21:53 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 255 seconds) |
| 2024-10-11 13:25:07 +0200 | mulk | (~mulk@pd9514da8.dip0.t-ipconnect.de) (Quit: ZNC - http://znc.in) |
| 2024-10-11 13:25:56 +0200 | mulk | (~mulk@pd9514da8.dip0.t-ipconnect.de) mulk |
| 2024-10-11 13:27:29 +0200 | <lxsameer> | tomsmeding: thanks for the insight |
| 2024-10-11 13:28:10 +0200 | <tomsmeding> | :) |
| 2024-10-11 13:28:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-11 13:31:35 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Excess Flood) |
| 2024-10-11 13:34:06 +0200 | synchromesh | (~john@180.148.124.74) (Read error: Connection reset by peer) |
| 2024-10-11 13:35:32 +0200 | synchromesh | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) synchromesh |
| 2024-10-11 13:35:52 +0200 | synchromesh | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) (Read error: Connection reset by peer) |
| 2024-10-11 13:36:17 +0200 | cfricke | (~cfricke@user/cfricke) (Ping timeout: 252 seconds) |
| 2024-10-11 13:36:33 +0200 | synchromesh | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) synchromesh |
| 2024-10-11 13:36:51 +0200 | rosco | (~rosco@175.136.22.30) rosco |
| 2024-10-11 13:40:13 +0200 | synchrom1 | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) synchromesh |
| 2024-10-11 13:40:24 +0200 | synchromesh | (~john@2406:5a00:2497:300:b439:971c:5f64:53b2) (Read error: Connection reset by peer) |
| 2024-10-11 13:40:52 +0200 | Square | (~Square4@user/square) Square |
| 2024-10-11 13:41:00 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-11 13:41:39 +0200 | Lord_of_Life | Lord_of_L |
| 2024-10-11 13:42:44 +0200 | mari-estel | (~mari-este@user/danza) danza |
| 2024-10-11 13:44:58 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
| 2024-10-11 13:46:05 +0200 | Lord_of_L | (~Lord@user/lord-of-life/x-2819915) (Read error: Connection reset by peer) |
| 2024-10-11 13:48:29 +0200 | athan | (~athan@syn-098-153-145-140.biz.spectrum.com) athan |
| 2024-10-11 13:54:14 +0200 | Square | (~Square4@user/square) (Ping timeout: 260 seconds) |
| 2024-10-11 14:00:07 +0200 | cfricke | (~cfricke@user/cfricke) cfricke |
| 2024-10-11 14:00:32 +0200 | rosco | (~rosco@175.136.22.30) (Quit: Lost terminal) |
| 2024-10-11 14:03:01 +0200 | mari-estel | (~mari-este@user/danza) (Quit: on the move) |
| 2024-10-11 14:06:34 +0200 | merijn | (~merijn@77.242.116.146) merijn |
| 2024-10-11 14:07:07 +0200 | comerijn | (~merijn@128-137-045-062.dynamic.caiway.nl) (Read error: Connection reset by peer) |