2025-06-25 00:00:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 00:01:55 +0200 | Putonlalla | (~Putonlall@it-cyan.it.jyu.fi) Tuplanolla |
2025-06-25 00:09:58 +0200 | koz | (~koz@121.99.240.58) (Ping timeout: 252 seconds) |
2025-06-25 00:11:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 00:12:20 +0200 | target_i | (~target_i@user/target-i/x-6023099) (Quit: leaving) |
2025-06-25 00:16:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 00:18:28 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 00:23:40 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-25 00:27:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 00:28:55 +0200 | sprotte24 | (~sprotte24@p200300d16f2c9d00c1a0dcfcfe8beebe.dip0.t-ipconnect.de) (Quit: Leaving) |
2025-06-25 00:29:22 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-25 00:29:48 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-25 00:30:29 +0200 | Square2 | (~Square@user/square) (Ping timeout: 252 seconds) |
2025-06-25 00:31:37 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-25 00:31:52 +0200 | califax | (~califax@user/califx) califx |
2025-06-25 00:32:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-25 00:35:40 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 272 seconds) |
2025-06-25 00:37:13 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-06-25 00:39:39 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-25 00:39:45 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 248 seconds) |
2025-06-25 00:40:27 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-25 00:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 00:44:35 +0200 | kadobanana | (~mud@user/kadoban) kadoban |
2025-06-25 00:46:08 +0200 | Sgeo | (~Sgeo@user/sgeo) Sgeo |
2025-06-25 00:47:31 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 00:47:44 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 00:50:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-25 00:52:58 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-25 00:53:13 +0200 | califax | (~califax@user/califx) califx |
2025-06-25 00:54:49 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 252 seconds) |
2025-06-25 00:59:50 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-06-25 01:00:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 01:02:31 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-25 01:02:42 +0200 | poliquin | (~poliquin@access-63-249-67-94.static.cruzio.net) |
2025-06-25 01:05:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 01:06:01 +0200 | mud | (~mud@user/kadoban) kadoban |
2025-06-25 01:06:29 +0200 | kadobanana | (~mud@user/kadoban) (Ping timeout: 265 seconds) |
2025-06-25 01:06:55 +0200 | acidjnk | (~acidjnk@p200300d6e70b6633f9ef2c2f945967a1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-25 01:10:28 +0200 | wbooze | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Ping timeout: 252 seconds) |
2025-06-25 01:13:19 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-25 01:13:37 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-25 01:15:36 +0200 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-25 01:16:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 01:21:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-25 01:23:25 +0200 | <poliquin> | I'm having trouble with a space leak. I have solved them before but this (these) have been problematic. I have a boolean network sim using an evolutionary Ai (PSO) for training (lots of individuals being 'rewritten' .. So two potential culprits .. Sim and PSO .. |
2025-06-25 01:23:39 +0200 | <poliquin> | I've tried profiling, hc, hm, force, bangs, not brave enough for NFData etc .. They imply almost every function is leaking. I just need some sane direction as to what to do next .. I've been shotgunning it I'd like to try something more deterministic. Thanks |
2025-06-25 01:29:54 +0200 | jespada | (~jespada@r179-24-17-8.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-06-25 01:32:24 +0200 | jespada | (~jespada@r186-48-29-79.dialup.adsl.anteldata.net.uy) jespada |
2025-06-25 01:32:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 01:33:58 +0200 | tavare | (~tavare@150.129.88.189) tavare |
2025-06-25 01:33:58 +0200 | tavare | (~tavare@150.129.88.189) (Changing host) |
2025-06-25 01:33:58 +0200 | tavare | (~tavare@user/tavare) tavare |
2025-06-25 01:34:39 +0200 | tavare | (~tavare@user/tavare) (Remote host closed the connection) |
2025-06-25 01:37:14 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 01:43:34 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
2025-06-25 01:44:59 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-25 01:48:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 01:52:44 +0200 | <c_wraith> | The only really systematic approach is to consider how every function should work in terms of space invaraints, and rewrite them to work that way. |
2025-06-25 01:52:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-06-25 01:52:56 +0200 | <c_wraith> | ... invariants |
2025-06-25 01:53:15 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 01:53:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 01:57:27 +0200 | <haskellbridge> | <magic_rb> my thesis is reaching a conclusion, final benchmarks running now, spoiler: im getting about 40% of linux kernel performance |
2025-06-25 01:58:52 +0200 | <haskellbridge> | <magic_rb> this is the haskell filesystem thing |
2025-06-25 02:03:49 +0200 | jespada | (~jespada@r186-48-29-79.dialup.adsl.anteldata.net.uy) (Ping timeout: 260 seconds) |
2025-06-25 02:04:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 02:04:29 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-06-25 02:06:34 +0200 | <c_wraith> | poliquin: you might also be in one of the cases where https://downloads.haskell.org/ghc/latest/docs/users_guide/exts/primitives.html#extension-UnliftedD… is actually reasonable. Though if it is, you might first consider whether an array representation might be even better. |
2025-06-25 02:07:54 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-25 02:08:23 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-25 02:09:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-25 02:12:13 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
2025-06-25 02:16:28 +0200 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) |
2025-06-25 02:18:10 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-25 02:19:51 +0200 | koz | (~koz@121.99.240.58) |
2025-06-25 02:19:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 02:21:30 +0200 | olivial | (~benjaminl@user/benjaminl) (Ping timeout: 260 seconds) |
2025-06-25 02:21:45 +0200 | olivial | (~benjaminl@user/benjaminl) benjaminl |
2025-06-25 02:22:10 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 02:23:39 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-25 02:26:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 02:29:03 +0200 | xff0x | (~xff0x@2405:6580:b080:900:14cc:cd6:9b7c:5d0) (Ping timeout: 276 seconds) |
2025-06-25 02:32:25 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
2025-06-25 02:33:58 +0200 | califax | (~califax@user/califx) califx |
2025-06-25 02:34:45 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-06-25 02:37:36 +0200 | mange | (~mange@user/mange) mange |
2025-06-25 02:37:55 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 02:39:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 02:39:22 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Ping timeout: 276 seconds) |
2025-06-25 02:40:52 +0200 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-06-25 02:41:14 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-06-25 02:42:54 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 02:43:18 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 02:43:49 +0200 | <poliquin> | c_wraith: thanks for the replies .. I'm not sure I have the right intuitions for thinking through memory effects of all my functions .. but Unlifted Datatypes may be the Thor's hammer that I'm looking for as I've spent two days on this and I'm under a deadline .. Thanks again! |
2025-06-25 02:46:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 02:51:12 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Quit: Fading out...) |
2025-06-25 02:53:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 02:55:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 02:58:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 03:00:12 +0200 | poliquin | (~poliquin@access-63-249-67-94.static.cruzio.net) (Ping timeout: 252 seconds) |
2025-06-25 03:00:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 03:03:23 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-25 03:04:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 260 seconds) |
2025-06-25 03:08:36 +0200 | perro | (~aaron@syn-072-191-245-069.res.spectrum.com) |
2025-06-25 03:09:30 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-06-25 03:10:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 03:11:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 03:16:58 +0200 | pabs3 | (~pabs3@user/pabs3) (Ping timeout: 252 seconds) |
2025-06-25 03:16:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 03:17:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-25 03:21:06 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-25 03:27:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 03:29:25 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-06-25 03:30:45 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-06-25 03:32:29 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-25 03:35:59 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-25 03:37:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 03:40:20 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 03:43:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 03:44:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 03:46:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 03:48:02 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-25 03:50:20 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-06-25 03:50:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 03:52:13 +0200 | jorj | (~jorj@user/jorj) jorj |
2025-06-25 03:52:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 03:53:29 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 03:56:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 03:58:46 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
2025-06-25 03:58:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 04:00:38 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
2025-06-25 04:02:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 04:04:21 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-25 04:06:23 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 04:10:45 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-25 04:12:52 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-25 04:14:31 +0200 | <Nosrep> | hm |
2025-06-25 04:14:38 +0200 | <Nosrep> | whys hoogle not showing anything significant from vector |
2025-06-25 04:14:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 04:14:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 04:16:12 +0200 | <geekosaur> | package vector is the second thing in the list? |
2025-06-25 04:16:21 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-25 04:16:29 +0200 | <Nosrep> | well yeah but like if i search for the actual vector type or mvector i get nothing |
2025-06-25 04:18:03 +0200 | <geekosaur> | hm, right, just found that |
2025-06-25 04:18:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 04:19:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 04:23:44 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 245 seconds) |
2025-06-25 04:25:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
2025-06-25 04:28:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 04:30:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 04:34:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 04:37:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 04:37:36 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-25 04:48:37 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 04:50:35 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-25 04:51:12 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 04:53:52 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-25 04:54:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 04:57:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 05:00:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 05:01:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 05:01:47 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-06-25 05:04:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 05:09:22 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) humasect |
2025-06-25 05:09:30 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 05:11:43 +0200 | pabs3 | (~pabs3@user/pabs3) (Read error: Connection reset by peer) |
2025-06-25 05:13:22 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-25 05:14:32 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-25 05:15:34 +0200 | aforemny_ | (~aforemny@2001:9e8:6cc0:300:cecc:24db:2c1b:968d) (Ping timeout: 244 seconds) |
2025-06-25 05:16:13 +0200 | aforemny | (~aforemny@i577B131D.versanet.de) aforemny |
2025-06-25 05:20:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 05:20:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 05:22:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 05:24:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 05:25:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-25 05:26:29 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 05:26:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 05:26:42 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 05:29:28 +0200 | pabs3 | (~pabs3@user/pabs3) pabs3 |
2025-06-25 05:30:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 05:35:05 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 05:38:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 05:39:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 05:42:28 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 05:43:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 05:46:40 +0200 | dutchie | (~dutchie@user/dutchie) (Remote host closed the connection) |
2025-06-25 05:47:43 +0200 | dutchie | (~dutchie@user/dutchie) dutchie |
2025-06-25 05:47:53 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Quit: Leaving...) |
2025-06-25 05:50:53 +0200 | michalz | (~michalz@185.246.207.203) |
2025-06-25 05:52:59 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 05:53:11 +0200 | trickard_ | trickard |
2025-06-25 05:54:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 05:56:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 05:59:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 272 seconds) |
2025-06-25 06:07:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 06:08:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 06:08:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-25 06:08:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 06:14:04 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 260 seconds) |
2025-06-25 06:14:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 06:20:50 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 06:22:17 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 06:24:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 06:25:11 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 06:27:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 265 seconds) |
2025-06-25 06:28:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 06:30:42 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 268 seconds) |
2025-06-25 06:33:54 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 06:37:39 +0200 | califax | (~califax@user/califx) (Ping timeout: 244 seconds) |
2025-06-25 06:38:06 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 06:39:12 +0200 | califax | (~califax@user/califx) califx |
2025-06-25 06:40:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 06:42:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 06:43:27 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-25 06:46:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 06:51:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 06:54:36 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 06:55:28 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 276 seconds) |
2025-06-25 06:56:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 06:58:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 07:01:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 07:01:41 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-25 07:03:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 07:07:13 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 07:07:58 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 07:09:44 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 07:10:55 +0200 | poliquin | (~poliquin@50.208.58.86) |
2025-06-25 07:18:21 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 07:18:21 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 07:18:21 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 07:19:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 07:20:02 +0200 | haritz | (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
2025-06-25 07:21:51 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 07:22:04 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 07:24:04 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 07:30:24 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-25 07:31:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 07:33:49 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
2025-06-25 07:34:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 07:35:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 07:39:44 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 07:40:00 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 07:41:31 +0200 | trickard_ | trickard |
2025-06-25 07:46:49 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-25 07:49:09 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
2025-06-25 07:49:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 07:50:23 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 07:51:12 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 07:51:12 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 07:51:12 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 07:52:31 +0200 | kuribas | (~user@ptr-17d51eoetf1mzooxg52.18120a2.ip6.access.telenet.be) |
2025-06-25 07:52:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 07:53:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 07:54:47 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 07:57:12 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 07:58:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 07:58:33 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2025-06-25 08:01:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 08:04:22 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-25 08:05:16 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 08:05:16 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 08:05:16 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 08:08:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 08:08:08 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 08:11:54 +0200 | kuribas | (~user@ptr-17d51eoetf1mzooxg52.18120a2.ip6.access.telenet.be) (Ping timeout: 260 seconds) |
2025-06-25 08:13:16 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
2025-06-25 08:15:35 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-25 08:22:12 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
2025-06-25 08:23:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 08:24:09 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-25 08:25:39 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 08:28:08 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 08:28:49 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 08:32:58 +0200 | Pozyomka | (~pyon@user/pyon) (Quit: brb) |
2025-06-25 08:33:10 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-25 08:33:24 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
2025-06-25 08:34:04 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) (Ping timeout: 260 seconds) |
2025-06-25 08:34:45 +0200 | Pozyomka | (~pyon@user/pyon) pyon |
2025-06-25 08:35:28 +0200 | ljdarj1 | ljdarj |
2025-06-25 08:37:36 +0200 | Nosrep | (~jimothy@user/nosrep) (Ping timeout: 276 seconds) |
2025-06-25 08:39:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 08:42:30 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac |
2025-06-25 08:43:20 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 272 seconds) |
2025-06-25 08:44:21 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 08:44:40 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-25 08:55:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 09:00:01 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-25 09:00:19 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 09:00:41 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-25 09:09:08 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 09:11:24 +0200 | [exa] | found a new way to explain ContT to beginners |
2025-06-25 09:11:30 +0200 | [exa] | tempted to write another monad tutorial |
2025-06-25 09:11:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-25 09:13:33 +0200 | <dminuoso> | ContT: The programming monad. |
2025-06-25 09:14:05 +0200 | <dminuoso> | I finally understood delimited continuations recently, what a revelation. |
2025-06-25 09:14:13 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 09:25:06 +0200 | Miroboru_ | (~myrvoll@178-164-114.82.3p.ntebredband.no) (Ping timeout: 252 seconds) |
2025-06-25 09:25:39 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 09:26:49 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 09:27:12 +0200 | Miroboru | (~myrvoll@188.113.108.92) Miroboru |
2025-06-25 09:28:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 09:32:07 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) sord937 |
2025-06-25 09:33:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-25 09:34:46 +0200 | __monty__ | (~toonn@user/toonn) toonn |
2025-06-25 09:34:47 +0200 | <[exa]> | dminuoso: yeah, that's the word that captures it best. revelation. |
2025-06-25 09:41:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 09:44:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 09:49:39 +0200 | acidjnk | (~acidjnk@p200300d6e70b6633f9ef2c2f945967a1.dip0.t-ipconnect.de) acidjnk |
2025-06-25 09:55:10 +0200 | <tomsmeding> | "A Monad Tutorial. Or: The Revelation of ContT in Programming" |
2025-06-25 10:01:57 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) (Read error: Connection reset by peer) |
2025-06-25 10:03:44 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-25 10:05:51 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 10:06:10 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
2025-06-25 10:06:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 10:07:06 +0200 | pointlessslippe1 | (~pointless@62.106.85.17) pointlessslippe1 |
2025-06-25 10:07:10 +0200 | shaeto | (~Shaeto@94.25.234.84) |
2025-06-25 10:07:45 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 10:10:48 +0200 | arahael | (~arahael@user/arahael) arahael |
2025-06-25 10:11:16 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 10:14:04 +0200 | ft | (~ft@p3e9bc4ba.dip0.t-ipconnect.de) (Quit: leaving) |
2025-06-25 10:15:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 10:19:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 10:20:44 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) Maeda |
2025-06-25 10:24:02 +0200 | Maeda | (~Maeda@91-161-10-149.subs.proxad.net) (Client Quit) |
2025-06-25 10:26:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 10:29:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 10:32:44 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-06-25 10:40:35 +0200 | dhil | (~dhil@5.151.29.140) dhil |
2025-06-25 10:41:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 10:44:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 10:47:31 +0200 | chele | (~chele@user/chele) chele |
2025-06-25 10:50:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 10:53:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 10:54:22 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 10:57:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 11:09:16 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 11:12:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 11:16:08 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
2025-06-25 11:16:56 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 11:18:41 +0200 | enikar | (~enikar@user/enikar) enikar |
2025-06-25 11:19:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 11:20:28 +0200 | chexum | (~quassel@gateway/tor-sasl/chexum) chexum |
2025-06-25 11:20:51 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 11:20:51 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 11:20:51 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 11:25:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 11:26:18 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 11:27:19 +0200 | comerijn | (~merijn@77.242.116.146) merijn |
2025-06-25 11:30:25 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 276 seconds) |
2025-06-25 11:31:22 +0200 | gp | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
2025-06-25 11:36:39 +0200 | comerijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-06-25 11:43:08 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 11:46:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 11:47:44 +0200 | shaeto | (~Shaeto@94.25.234.84) (Ping timeout: 260 seconds) |
2025-06-25 11:49:26 +0200 | shaeto | (~Shaeto@94.25.234.13) |
2025-06-25 11:50:18 +0200 | chele_ | (~chele@user/chele) chele |
2025-06-25 11:51:49 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-25 11:53:10 +0200 | chele | (~chele@user/chele) (Ping timeout: 260 seconds) |
2025-06-25 11:53:43 +0200 | shaeto | (~Shaeto@94.25.234.13) (Ping timeout: 252 seconds) |
2025-06-25 11:53:45 +0200 | chele__ | (~chele@user/chele) chele |
2025-06-25 11:54:06 +0200 | soverysour | (~soverysou@84.232.150.142) soverysour |
2025-06-25 11:54:06 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 11:54:06 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 11:55:44 +0200 | shaeto | (~Shaeto@94.25.234.13) |
2025-06-25 11:56:27 +0200 | chele_ | (~chele@user/chele) (Ping timeout: 252 seconds) |
2025-06-25 11:57:21 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-25 12:00:13 +0200 | chele_ | (~chele@user/chele) chele |
2025-06-25 12:00:18 +0200 | shaeto | (~Shaeto@94.25.234.13) (Ping timeout: 252 seconds) |
2025-06-25 12:02:02 +0200 | shaeto | (~Shaeto@94.25.234.13) |
2025-06-25 12:02:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 12:02:50 +0200 | chele_ | chele |
2025-06-25 12:03:04 +0200 | chele__ | (~chele@user/chele) (Ping timeout: 252 seconds) |
2025-06-25 12:03:44 +0200 | xff0x | (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 245 seconds) |
2025-06-25 12:04:10 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-06-25 12:06:21 +0200 | shaeto | (~Shaeto@94.25.234.13) (Ping timeout: 252 seconds) |