2025-08-03 00:01:13 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 245 seconds) |
2025-08-03 00:01:58 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (Quit: Leaving) |
2025-08-03 00:06:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 00:06:49 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
2025-08-03 00:08:02 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-08-03 00:09:48 +0200 | phma | (~phma@2001:5b0:211f:87d8:b0c6:4369:b475:6464) (Read error: Connection reset by peer) |
2025-08-03 00:10:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-03 00:13:54 +0200 | tcard | (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) tcard |
2025-08-03 00:16:32 +0200 | tromp | (~textual@2001:1c00:3487:1b00:1c21:f6c3:9146:cddf) (Quit: My iMac has gone to sleep. ZZZzzz…) |
2025-08-03 00:21:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 00:22:34 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 272 seconds) |
2025-08-03 00:24:14 +0200 | Igloo | (~ian@45.130.105.72) |
2025-08-03 00:26:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-03 00:30:12 +0200 | Spawns_Carpeting | (~mobile@user/spawns-carpeting/x-6969421) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-08-03 00:33:35 +0200 | Igloo | (~ian@45.130.105.72) (Ping timeout: 244 seconds) |
2025-08-03 00:35:23 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-08-03 00:35:31 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
2025-08-03 00:37:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 00:38:13 +0200 | harveypwca | (~harveypwc@2601:246:d080:f6e0:27d6:8cc7:eca9:c46c) (Quit: Leaving) |
2025-08-03 00:41:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-03 00:43:58 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 240 seconds) |
2025-08-03 00:44:13 +0200 | Igloo | (~ian@45.130.105.70) Igfoo |
2025-08-03 00:44:19 +0200 | trickard_ | trickard |
2025-08-03 00:46:38 +0200 | ncf | (~n@monade.li) (Quit: Fairfarren.) |
2025-08-03 00:47:07 +0200 | ncf | (~n@monade.li) ncf |
2025-08-03 00:49:34 +0200 | Igloo | (~ian@45.130.105.70) (Ping timeout: 260 seconds) |
2025-08-03 00:50:06 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
2025-08-03 00:52:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 00:53:41 +0200 | phma | (phma@2001:5b0:211b:c1b8:b6d6:ed2d:f8de:7cd2) |
2025-08-03 00:54:14 +0200 | javran | (~javran@c-24-6-38-24.hsd1.ca.comcast.net) (Quit: leaving) |
2025-08-03 00:58:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-03 00:59:28 +0200 | Igloo | (~ian@81.2.99.210) (Ping timeout: 240 seconds) |
2025-08-03 01:01:24 +0200 | Igloo | (~ian@45.130.105.79) |
2025-08-03 01:01:25 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-08-03 01:03:16 +0200 | JimmyMifune | (~JimmyMifu@h77-53-77-213.cust.bredband2.com) (Ping timeout: 252 seconds) |
2025-08-03 01:08:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 01:08:28 +0200 | Igloo | (~ian@45.130.105.79) (Ping timeout: 240 seconds) |
2025-08-03 01:10:46 +0200 | Igloo | (~ian@81.2.99.210) Igfoo |
2025-08-03 01:12:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-03 01:13:46 +0200 | phma | (phma@2001:5b0:211b:c1b8:b6d6:ed2d:f8de:7cd2) (Read error: Connection reset by peer) |
2025-08-03 01:14:21 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-08-03 01:14:40 +0200 | phma | (~phma@host-67-44-208-79.hnremote.net) |
2025-08-03 01:23:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 01:28:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
2025-08-03 01:39:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 01:44:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-03 01:51:48 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 01:55:27 +0200 | sp1ff` | (~user@185.219.141.187) |
2025-08-03 01:56:02 +0200 | sprotte24 | (~sprotte24@p200300d16f05fd00bc4d997ddc94f5e2.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-08-03 01:56:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-03 01:57:14 +0200 | sp1ff | (~user@c-24-21-190-184.hsd1.wa.comcast.net) (Ping timeout: 260 seconds) |
2025-08-03 01:57:21 +0200 | <Unicorn_Princess> | i'm writing a small & simple computer algebra system (no integration/derivatives/fancy stuff, just sum, product, and power). i'm currently representing algebraic expressions like so: https://play.haskell.org/saved/MqSuqrtR |
2025-08-03 01:58:24 +0200 | <Unicorn_Princess> | what has me conflicted is the separation between Atom and Expr - do you think it might be a good idea to try to merge them into a single Expr type, adding Atom's values to Expr? |
2025-08-03 01:58:50 +0200 | <Unicorn_Princess> | basically data Expr = LitInt Int | FreeReal String | Prod [Expr] | Sum [Expr] .. |
2025-08-03 02:00:08 +0200 | <Unicorn_Princess> | the complications from the separation currently aren't too bad, really, but it feels kinda dirty |
2025-08-03 02:00:31 +0200 | <glguy> | The reason to have two separate types would be if you were going to write functions that only generated things in Atom on could only handle things in Atom |
2025-08-03 02:00:37 +0200 | <glguy> | or maybe you want an eval :: Expr -> Atom |
2025-08-03 02:00:38 +0200 | sp1ff`` | (~user@c-24-21-190-184.hsd1.wa.comcast.net) |
2025-08-03 02:00:54 +0200 | <glguy> | if you don't have a reason to distinguish Expr and Atom then you can merge them into one type |
2025-08-03 02:01:06 +0200 | <Unicorn_Princess> | hrm |
2025-08-03 02:02:25 +0200 | <Unicorn_Princess> | i could also go even further - have a separate Operation ADT, like data NAry = Sum | Prod, data Binary = Pow, and then data Exrp = BinExp Binary Expr Expr | NExp NAry [Expr].. |
2025-08-03 02:02:29 +0200 | sp1ff` | (~user@185.219.141.187) (Ping timeout: 248 seconds) |
2025-08-03 02:04:10 +0200 | <Unicorn_Princess> | i just don't know which will hurt most/least down the line. all of the approaches would work tho, hence having trouble choosing |
2025-08-03 02:04:43 +0200 | <Unicorn_Princess> | i think for now i'll try putting everything into a single Expr type, since it's the most naive/simple approach, and see how that works out ¯\_(ツ)_/¯ |
2025-08-03 02:04:45 +0200 | jackdk | (uid373013@cssa/life/jackdk) jackdk |
2025-08-03 02:05:24 +0200 | <glguy> | just stick to the simplest thing first and then make it more complicated when you realize that you need to be |
2025-08-03 02:06:50 +0200 | <Unicorn_Princess> | yeah that's my thinking |
2025-08-03 02:07:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 02:11:50 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-03 02:15:28 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 240 seconds) |
2025-08-03 02:16:02 +0200 | hiecaq | (~hiecaq@user/hiecaq) hiecaq |
2025-08-03 02:22:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 02:27:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-03 02:30:03 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-08-03 02:38:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 02:42:47 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-08-03 02:43:08 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
2025-08-03 02:43:35 +0200 | califax | (~califax@user/califx) califx |
2025-08-03 02:45:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-03 02:55:58 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Remote host closed the connection) |
2025-08-03 02:56:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 02:56:24 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) machinedgod |
2025-08-03 03:01:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-08-03 03:08:58 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-08-03 03:09:40 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-08-03 03:11:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 03:15:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-03 03:16:13 +0200 | acidjnk | (~acidjnk@p200300d6e7171947698a36133e498272.dip0.t-ipconnect.de) (Ping timeout: 245 seconds) |
2025-08-03 03:18:22 +0200 | jespada | (~jespada@2800:a4:228b:6c00:307a:2c53:ad63:5cc4) (Ping timeout: 276 seconds) |
2025-08-03 03:20:28 +0200 | jespada | (~jespada@2800:a4:2391:a900:2c34:10a0:7dd4:5c32) jespada |
2025-08-03 03:27:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 03:27:48 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
2025-08-03 03:32:01 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-03 03:42:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 03:46:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-03 03:48:53 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-08-03 03:49:09 +0200 | califax | (~califax@user/califx) califx |
2025-08-03 03:58:00 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-03 03:58:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 03:58:13 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-08-03 04:02:14 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) hiredman |
2025-08-03 04:02:20 +0200 | hiredman_ | (~hiredman@frontier1.downey.family) (Client Quit) |
2025-08-03 04:02:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-03 04:05:04 +0200 | op_4 | (~tslil@user/op-4/x-9116473) (Remote host closed the connection) |
2025-08-03 04:05:33 +0200 | op_4 | (~tslil@user/op-4/x-9116473) op_4 |
2025-08-03 04:13:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 04:19:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-03 04:28:02 +0200 | smalltalkman | (uid545680@id-545680.hampstead.irccloud.com) (Quit: Connection closed for inactivity) |
2025-08-03 04:31:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 04:36:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-08-03 04:39:23 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Read error: Connection reset by peer) |
2025-08-03 04:45:22 +0200 | trickard_ | trickard |
2025-08-03 04:46:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 04:47:38 +0200 | codolio | dolio |
2025-08-03 04:51:28 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-03 05:02:22 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 05:06:26 +0200 | machinedgod | (~machinedg@d75-159-126-101.abhsia.telus.net) (Ping timeout: 248 seconds) |
2025-08-03 05:07:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-03 05:07:58 +0200 | trickard | (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-08-03 05:08:11 +0200 | trickard_ | (~trickard@cpe-56-98-47-163.wireline.com.au) |
2025-08-03 05:11:39 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-08-03 05:17:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 05:18:30 +0200 | polykernel | (~polykerne@user/polykernel) (Remote host closed the connection) |
2025-08-03 05:19:16 +0200 | polykernel | (~polykerne@user/polykernel) polykernel |
2025-08-03 05:20:03 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) |
2025-08-03 05:21:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 240 seconds) |
2025-08-03 05:23:37 +0200 | aforemny | (~aforemny@2001:9e8:6cdf:a900:21ae:b2:f02b:ad36) aforemny |
2025-08-03 05:24:37 +0200 | aforemny_ | (~aforemny@i577B12BE.versanet.de) (Ping timeout: 248 seconds) |
2025-08-03 05:31:36 +0200 | driib318 | (~driib@vmi931078.contaboserver.net) driib |
2025-08-03 05:32:29 +0200 | fizbin | (~fizbin@2601:84:8601:2604:65a2:2790:1327:34c5) (Ping timeout: 260 seconds) |
2025-08-03 05:32:37 +0200 | jmcantrell | (~weechat@user/jmcantrell) jmcantrell |
2025-08-03 05:33:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 05:36:20 +0200 | myxos | (~myxos@syn-065-028-251-121.res.spectrum.com) (Remote host closed the connection) |
2025-08-03 05:38:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-03 05:40:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 05:45:13 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-08-03 05:45:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-08-03 05:55:31 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) bitdex |
2025-08-03 05:56:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 06:02:15 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 276 seconds) |
2025-08-03 06:03:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-03 06:09:48 +0200 | jmcantrell | (~weechat@user/jmcantrell) (Ping timeout: 252 seconds) |
2025-08-03 06:09:50 +0200 | olivial | (~benjaminl@user/benjaminl) (Read error: Connection reset by peer) |
2025-08-03 06:10:07 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-08-03 06:14:20 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-08-03 06:19:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-08-03 06:30:10 +0200 | infinity0 | (~infinity0@pwned.gg) (Ping timeout: 248 seconds) |