Logs: liberachat/#haskell
| 2025-09-04 19:23:25 | → | zarakshR joins (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) |
| 2025-09-04 19:24:46 | × | zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Client Quit) |
| 2025-09-04 19:25:05 | → | zarakshR joins (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) |
| 2025-09-04 19:26:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 19:27:18 | <EvanR> | [exa], I've been doing an on-off deep dive on this subject |
| 2025-09-04 19:27:43 | <EvanR> | but it seems to be getting harder because this linux DOOM source code lying around doesn't want to compile (anymore?) |
| 2025-09-04 19:29:22 | × | zarakshR quits (~Thunderbi@host5-81-134-212.range5-81.btcentralplus.com) (Ping timeout: 256 seconds) |
| 2025-09-04 19:29:30 | <[exa]> | the linux doom ports kinda work no? |
| 2025-09-04 19:29:40 | <[exa]> | (but ofc they don't COMPOSE CATEGORICALLY) |
| 2025-09-04 19:29:46 | <[exa]> | (enter λOOM) |
| 2025-09-04 19:29:53 | <EvanR> | all the ports work |
| 2025-09-04 19:30:18 | <EvanR> | it's just that this specific dump of source code from way back in the day, around the time doom was open sourced, is very old and crusty |
| 2025-09-04 19:30:29 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-09-04 19:30:40 | <[exa]> | ah yes that one, I never really even opened that |
| 2025-09-04 19:30:51 | <[exa]> | doom is algorithms + wads, actual source is irrelevant |
| 2025-09-04 19:30:51 | <EvanR> | and using a modern source port seems like very far removed from the original |
| 2025-09-04 19:31:09 | <EvanR> | yes though later ports change the algorithm for reasons |
| 2025-09-04 19:31:14 | <[exa]> | yeah |
| 2025-09-04 19:31:19 | <EvanR> | to fix bugs, or add features |
| 2025-09-04 19:31:23 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-04 19:31:34 | <[exa]> | man you motivated me |
| 2025-09-04 19:32:18 | <EvanR> | I made significant changes to that C code |
| 2025-09-04 19:32:21 | <EvanR> | it compiled |
| 2025-09-04 19:32:26 | <EvanR> | then segfaulted xD |
| 2025-09-04 19:32:29 | <EvanR> | I know why it segfaults |
| 2025-09-04 19:32:34 | <EvanR> | but not "really why" |
| 2025-09-04 19:33:13 | <[exa]> | that's the way of C |
| 2025-09-04 19:34:02 | <EvanR> | it's like assuming something about the WAD which is not true |
| 2025-09-04 19:34:14 | <EvanR> | the structure of the WAD isn't what it expected |
| 2025-09-04 19:36:48 | <[exa]> | ok I extend my definition to algorithms + wads + quirks :) |
| 2025-09-04 19:36:50 | <EvanR> | in the process I amassed a bunch of haskell code to extract stuff from the wad |
| 2025-09-04 19:37:28 | <EvanR> | the wad monad |
| 2025-09-04 19:37:30 | <EvanR> | lol |
| 2025-09-04 19:38:13 | <EvanR> | runWAD, opens a wad file, does a bunch of stuff, closes the file, returns the result |
| 2025-09-04 19:38:36 | <EvanR> | so you don't have to load the whole wad into memory |
| 2025-09-04 19:39:41 | <EvanR> | not everyone has tens megabytes to spare! |
| 2025-09-04 19:39:49 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) |
| 2025-09-04 19:39:49 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:24b6:bc07:35b6:768e) (Changing host) |
| 2025-09-04 19:39:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-04 19:41:52 | <tomsmeding> | > the wad monad |
| 2025-09-04 19:41:58 | <[exa]> | underrated |
| 2025-09-04 19:41:59 | <tomsmeding> | *chef's kiss* |
| 2025-09-04 19:42:04 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 19:45:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-04 19:46:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-04 19:52:19 | × | Everything quits (~Everythin@31.144.149.229) (Quit: leaving) |
| 2025-09-04 19:57:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 19:57:48 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-04 19:59:52 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2025-09-04 19:59:55 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 248 seconds) |
| 2025-09-04 20:02:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-04 20:02:44 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-04 20:08:11 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-04 20:11:04 | × | petrichor quits (~jez@user/petrichor) (Ping timeout: 248 seconds) |
| 2025-09-04 20:12:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 20:13:53 | → | petrichor joins (~jez@user/petrichor) |
| 2025-09-04 20:16:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 2025-09-04 20:20:05 | × | visilii quits (~visilii@85.94.26.33) (Quit: ZNC - https://znc.in) |
| 2025-09-04 20:24:36 | → | visilii joins (~visilii@85.94.26.33) |
| 2025-09-04 20:27:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 20:31:29 | × | visilii quits (~visilii@85.94.26.33) (Quit: ZNC - https://znc.in) |
| 2025-09-04 20:33:21 | × | myme quits (~myme@2a01:799:d5e:5f00:9644:9a6c:745:3df) (Ping timeout: 248 seconds) |
| 2025-09-04 20:34:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-04 20:34:35 | → | myme joins (~myme@2a01:799:d5e:5f00:a615:4b08:208e:f085) |
| 2025-09-04 20:39:22 | × | michalz quits (~michalz@185.246.207.222) (Remote host closed the connection) |
| 2025-09-04 20:45:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 20:47:51 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-04 20:48:33 | × | juri_ quits (~juri@implicitcad.org) (Ping timeout: 260 seconds) |
| 2025-09-04 20:50:21 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-04 20:53:15 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-04 20:56:44 | → | sindu joins (~sindu@176.75.108.200) |
| 2025-09-04 20:56:57 | × | itaipu quits (~itaipu@168.121.97.28) (Ping timeout: 260 seconds) |
| 2025-09-04 20:57:38 | × | segfaultfizzbuzz quits (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) (Ping timeout: 258 seconds) |
| 2025-09-04 20:58:48 | trickard_ | is now known as trickard |
| 2025-09-04 21:00:37 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 250 seconds) |
| 2025-09-04 21:01:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 21:01:56 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 2025-09-04 21:05:04 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 2025-09-04 21:05:30 | → | juri_ joins (~juri@implicitcad.org) |
| 2025-09-04 21:05:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-09-04 21:05:52 | × | jreicher quits (~user@user/jreicher) (Quit: In transit) |
| 2025-09-04 21:07:55 | → | pavonia joins (~user@user/siracusa) |
| 2025-09-04 21:09:43 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-09-04 21:10:08 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
| 2025-09-04 21:11:47 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 2025-09-04 21:13:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 21:15:38 | → | Guest68 joins (~Guest68@50.24.4.169) |
| 2025-09-04 21:17:34 | × | Guest68 quits (~Guest68@50.24.4.169) (Client Quit) |
| 2025-09-04 21:17:44 | × | Googulator quits (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) (Quit: Client closed) |
| 2025-09-04 21:17:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-09-04 21:17:59 | → | Googulator joins (~Googulato@2a01-036d-0106-28ad-f9f3-8649-eb89-633c.pool6.digikabel.hu) |
| 2025-09-04 21:24:45 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-04 21:24:55 | <EvanR> | https://oscarcunningham.com/494/a-better-representation-for-real-numbers/ |
| 2025-09-04 21:25:56 | <EvanR> | the representation can probably be haskelled |
| 2025-09-04 21:26:41 | → | segfaultfizzbuzz joins (~segfaultf@23-93-74-222.fiber.dynamic.sonic.net) |
| 2025-09-04 21:29:53 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 2025-09-04 21:30:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-04 21:31:35 | × | bionade24 quits (~quassel@server2.oscloud.info) (Quit: Apocalypse Incoming!) |
| 2025-09-04 21:32:04 | → | bionade24 joins (~quassel@server2.oscloud.info) |
| 2025-09-04 21:34:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
All times are in UTC.