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…) |