Logs: liberachat/#haskell
| 2025-08-25 07:52:37 | → | dy joins (sid3438@user/dy) |
| 2025-08-25 07:52:44 | → | Lord_of_Life joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-25 07:55:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 07:58:52 | × | b20n quits (sid115913@id-115913.uxbridge.irccloud.com) (Server closed connection) |
| 2025-08-25 07:59:03 | → | b20n joins (sid115913@id-115913.uxbridge.irccloud.com) |
| 2025-08-25 07:59:21 | → | chele joins (~chele@user/chele) |
| 2025-08-25 08:00:44 | × | tbahne quits (~tbahne@2001:2003:fb23:c900:b36a:118f:423b:1300) (Quit: tbahne) |
| 2025-08-25 08:04:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 08:09:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 08:09:28 | × | fgarcia quits (~lei@user/fgarcia) (Ping timeout: 248 seconds) |
| 2025-08-25 08:10:31 | × | tromp quits (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-25 08:13:49 | → | acidjnk joins (~acidjnk@p200300d6e71719081443facf871fb4de.dip0.t-ipconnect.de) |
| 2025-08-25 08:15:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 08:16:12 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 08:16:24 | × | trickard quits (~trickard@cpe-48-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 2025-08-25 08:16:49 | → | trickard_ joins (~trickard@cpe-48-98-47-163.wireline.com.au) |
| 2025-08-25 08:17:00 | × | gmg quits (~user@user/gehmehgeh) (Ping timeout: 272 seconds) |
| 2025-08-25 08:19:08 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-08-25 08:19:38 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-08-25 08:22:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 08:24:10 | → | gmg joins (~user@user/gehmehgeh) |
| 2025-08-25 08:28:43 | → | tromp joins (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) |
| 2025-08-25 08:33:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 08:38:09 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Quit: The Lounge - https://thelounge.github.io) |
| 2025-08-25 08:38:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 08:40:54 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 08:43:09 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2025-08-25 08:43:22 | × | polux quits (~polux@51-15-169-172.rev.poneytelecom.eu) (Client Quit) |
| 2025-08-25 08:44:51 | → | polux joins (~polux@51-15-169-172.rev.poneytelecom.eu) |
| 2025-08-25 08:45:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 08:47:43 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Remote host closed the connection) |
| 2025-08-25 08:48:05 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 08:49:48 | × | fgarcia quits (~lei@user/fgarcia) (Quit: Remote host closed the connection) |
| 2025-08-25 08:50:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 08:54:55 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
| 2025-08-25 09:00:40 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 09:02:37 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds) |
| 2025-08-25 09:05:20 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 09:09:15 | → | kuribas joins (~user@2a02-1810-2825-6000-9d64-b409-acec-ff0c.ip6.access.telenet.be) |
| 2025-08-25 09:09:44 | × | jle` quits (~jle`@2603:8001:3b00:11:fb65:91e:91c3:a935) (Ping timeout: 248 seconds) |
| 2025-08-25 09:12:31 | → | jle` joins (~jle`@2603:8001:3b00:11:51d3:c0be:4e33:cdb7) |
| 2025-08-25 09:15:38 | → | sprotte24 joins (~sprotte24@p200300d16f22e40019450a01c26cef49.dip0.t-ipconnect.de) |
| 2025-08-25 09:16:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 09:20:05 | → | fgarcia joins (~lei@user/fgarcia) |
| 2025-08-25 09:22:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 09:24:08 | × | notzmv quits (~umar@user/notzmv) (Ping timeout: 248 seconds) |
| 2025-08-25 09:25:51 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 2025-08-25 09:27:42 | × | gmg quits (~user@user/gehmehgeh) (Remote host closed the connection) |
| 2025-08-25 09:34:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 09:38:32 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 09:42:08 | → | moet_ joins (~moet@am167041.f.east.v6connect.net) |
| 2025-08-25 09:45:15 | × | moet_ quits (~moet@am167041.f.east.v6connect.net) (Quit: leaving) |
| 2025-08-25 09:49:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 09:51:27 | → | moet_ joins (~moet@am167041.f.east.v6connect.net) |
| 2025-08-25 09:53:40 | <moet_> | question about the `linear` package: is there an easy way to combine two vectors (or a vector and a scalar) to get the appropriately sized result, as if by concatenation? e.g. a V2 and V2 would yield a V4, or a V2 and a scalar would yield a V3 |
| 2025-08-25 09:54:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 2025-08-25 09:54:31 | <moet_> | as of now the only way I know how to do this requires matching out the components and then constructing the desired result |
| 2025-08-25 09:54:40 | × | ent- quits (entgod@kapsi.fi) (Server closed connection) |
| 2025-08-25 09:54:50 | → | ent- joins (entgod@kapsi.fi) |
| 2025-08-25 10:04:58 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 10:08:04 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2025-08-25 10:09:28 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 2025-08-25 10:10:34 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 2025-08-25 10:19:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 10:20:47 | <[exa]> | moet_: there might be a lensy way where you assign the .xy to .zw or so, but not sure |
| 2025-08-25 10:22:48 | × | fp quits (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) (Ping timeout: 248 seconds) |
| 2025-08-25 10:24:03 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 10:25:26 | <[exa]> | like, with a bit of compiler smartness this could compile efficiently `0 & xy .~ v2a & zw .~ v2b` ... ofc assuming the thing can realize the result is V4 and v2a&b are sufficiently specializable |
| 2025-08-25 10:26:09 | → | __monty__ joins (~toonn@user/toonn) |
| 2025-08-25 10:28:04 | → | fp joins (~Thunderbi@wireless-86-50-140-217.open.aalto.fi) |
| 2025-08-25 10:32:52 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 256 seconds) |
| 2025-08-25 10:34:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 10:39:09 | × | sprotte24 quits (~sprotte24@p200300d16f22e40019450a01c26cef49.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
| 2025-08-25 10:39:24 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-08-25 10:46:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2025-08-25 10:50:09 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 10:51:54 | × | gmc quits (sid58314@id-58314.ilkley.irccloud.com) (Server closed connection) |
| 2025-08-25 10:51:59 | → | Igloo joins (~ian@81.2.99.210) |
| 2025-08-25 10:52:08 | → | gmc joins (sid58314@id-58314.ilkley.irccloud.com) |
| 2025-08-25 10:54:43 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 10:55:07 | × | alanz quits (sid110616@id-110616.uxbridge.irccloud.com) (Server closed connection) |
| 2025-08-25 10:55:18 | → | alanz joins (sid110616@id-110616.uxbridge.irccloud.com) |
| 2025-08-25 10:59:55 | → | haritz joins (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) |
| 2025-08-25 10:59:55 | × | haritz quits (~hrtz@2a01:4b00:bc2e:7000:d5af:a266:ca31:5ef8) (Changing host) |
| 2025-08-25 10:59:55 | → | haritz joins (~hrtz@user/haritz) |
| 2025-08-25 11:02:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-08-25 11:15:30 | → | itaipu joins (~itaipu@168.121.97.28) |
| 2025-08-25 11:20:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:4458:cfb4:81c6:41e5) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-25 11:21:18 | → | tromp joins (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) |
| 2025-08-25 11:25:39 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 2025-08-25 11:25:46 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 258 seconds) |
| 2025-08-25 11:28:25 | Lord_of_Life_ | is now known as Lord_of_Life |
| 2025-08-25 11:30:45 | × | moet_ quits (~moet@am167041.f.east.v6connect.net) (Ping timeout: 245 seconds) |
| 2025-08-25 11:32:48 | × | Frostillicus quits (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
| 2025-08-25 11:33:01 | × | tromp quits (~textual@2001:1c00:3487:1b00:cce0:195f:dbe7:46a7) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2025-08-25 11:34:00 | → | xff0x joins (~xff0x@2405:6580:b080:900:89fb:c32a:3ed8:b41c) |
| 2025-08-25 11:35:52 | trickard_ | is now known as trickard |
| 2025-08-25 11:36:53 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 258 seconds) |
| 2025-08-25 11:38:50 | → | Frostillicus joins (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
| 2025-08-25 11:39:01 | → | moet_ joins (~moet@am167041.f.east.v6connect.net) |
All times are in UTC.