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) |
2025-06-25 12:06:54 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 12:07:07 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 12:07:12 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 12:07:28 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2025-06-25 12:08:19 +0200 | shaeto | (~Shaeto@94.25.234.13) |
2025-06-25 12:10:58 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
2025-06-25 12:10:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 12:11:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 12:12:09 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 12:12:38 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 12:12:38 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 12:12:38 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 12:16:26 +0200 | <dminuoso> | [exa]: Curious though, what novel way did you find? |
2025-06-25 12:17:04 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2025-06-25 12:17:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 12:17:42 +0200 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
2025-06-25 12:22:12 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 12:22:28 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-25 12:23:56 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) (Quit: The Lounge - https://thelounge.chat) |
2025-06-25 12:24:27 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 12:25:20 +0200 | tinjamin4 | (~tinjamin@banshee.h4x0r.space) |
2025-06-25 12:28:25 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 12:29:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 12:32:26 +0200 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) Lord_of_Life |
2025-06-25 12:32:39 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-06-25 12:33:12 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 252 seconds) |
2025-06-25 12:33:48 +0200 | Lord_of_Life_ | Lord_of_Life |
2025-06-25 12:36:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 12:37:05 +0200 | <vetkat> | yea, there are some simple things in Haskell which just keep on amazing me. For example, lazy evaluation; just do map this function to an infinite list with a takeWhile and everything will be fine. It's easy, but also super convenient |
2025-06-25 12:40:59 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 12:42:38 +0200 | <hc> | I agree it has its fascinations; lazy evaluation has its problems, too, though ;-) |
2025-06-25 12:42:40 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
2025-06-25 12:42:59 +0200 | <hc> | For example, use foldl and all of a sudden you may have a huge memory consumption problem ;p |
2025-06-25 12:43:24 +0200 | <hc> | Using lazy evaluation in conjunction with operations that may fail (i.e., IO) is also troublesome and some alternative concepts have been developed (conduits) |
2025-06-25 12:44:20 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 244 seconds) |
2025-06-25 12:44:31 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-25 12:46:13 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 12:47:14 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
2025-06-25 12:48:24 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 12:48:24 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 12:48:24 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 12:49:05 +0200 | Square2 | (~Square@user/square) Square |
2025-06-25 12:49:30 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 244 seconds) |
2025-06-25 12:51:20 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 12:53:27 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 12:53:50 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-25 12:56:14 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 12:59:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 13:00:24 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 13:01:57 +0200 | jespada | (~jespada@r186-48-29-79.dialup.adsl.anteldata.net.uy) jespada |
2025-06-25 13:04:09 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-25 13:06:04 +0200 | <vetkat> | ghe, yea, I may have encountered issues with foldl and memory consumption |
2025-06-25 13:06:22 +0200 | <vetkat> | also no filter :( |
2025-06-25 13:06:32 +0200 | <vetkat> | which I understand, but still |
2025-06-25 13:06:53 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9334:c475:eb11:bbbf) |
2025-06-25 13:07:51 +0200 | <__monty__> | No filter? |
2025-06-25 13:09:30 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-25 13:09:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 13:10:59 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 13:14:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 13:19:59 +0200 | jbalint | (~jbalint@2600:6c44:117f:e98a:40bb:52ad:62b8:5122) (Read error: Connection reset by peer) |
2025-06-25 13:20:00 +0200 | anselmschueler | (~Thunderbi@user/schuelermine) schuelermine |
2025-06-25 13:33:19 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 260 seconds) |
2025-06-25 13:37:11 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 13:38:28 +0200 | jespada | (~jespada@r186-48-29-79.dialup.adsl.anteldata.net.uy) (Ping timeout: 252 seconds) |
2025-06-25 13:39:18 +0200 | xff0x | (~xff0x@2405:6580:b080:900:9334:c475:eb11:bbbf) (Ping timeout: 252 seconds) |
2025-06-25 13:40:40 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-25 13:41:44 +0200 | jespada | (~jespada@r167-61-149-72.dialup.adsl.anteldata.net.uy) jespada |
2025-06-25 13:42:38 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2025-06-25 13:44:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 13:44:59 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
2025-06-25 13:48:00 +0200 | todi1 | (~todi@p57803331.dip0.t-ipconnect.de) |
2025-06-25 13:48:01 +0200 | todi | (~todi@p57803331.dip0.t-ipconnect.de) (Read error: Connection reset by peer) |
2025-06-25 13:49:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 13:50:59 +0200 | gp | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 244 seconds) |
2025-06-25 13:52:18 +0200 | <ski> | [exa] : call it a "ContTutorial" |
2025-06-25 13:58:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 14:00:44 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
2025-06-25 14:02:00 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 14:03:17 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Remote host closed the connection) |
2025-06-25 14:04:30 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 252 seconds) |
2025-06-25 14:04:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 14:05:56 +0200 | merijn | (~merijn@77.242.116.146) merijn |
2025-06-25 14:10:39 +0200 | ljdarj | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-25 14:10:57 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-06-25 14:12:41 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 14:16:14 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Ping timeout: 252 seconds) |
2025-06-25 14:16:38 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 14:17:37 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 14:24:23 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-25 14:29:54 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 14:30:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 14:32:25 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 14:37:06 +0200 | j1n37- | (~j1n37@user/j1n37) j1n37 |
2025-06-25 14:38:00 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 244 seconds) |
2025-06-25 14:39:27 +0200 | <poliquin> | For the record I found the space leak .. I used -hr and eventlog2html .. That narrowed it down to about 300 lines of code .. and there it was! the Simstate record had a wDebug :: Char .. it was adding one byte (trivial) every cycle thru the Sim .. however .. there were 20 billion cycles! Death by 20 billion cuts! Thanks for the support .. and later I may need Thor's hammer .. |
2025-06-25 14:40:48 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Quit: = "") |
2025-06-25 14:41:05 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-25 14:42:33 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 14:42:37 +0200 | j1n37- | (~j1n37@user/j1n37) (Ping timeout: 252 seconds) |
2025-06-25 14:43:41 +0200 | AlexZenon | (~alzenon@178.34.163.228) (Ping timeout: 244 seconds) |
2025-06-25 14:45:14 +0200 | AlexNoo | (~AlexNoo@178.34.163.228) (Ping timeout: 244 seconds) |
2025-06-25 14:47:29 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 245 seconds) |
2025-06-25 14:48:30 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 14:49:48 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Read error: Connection reset by peer) |
2025-06-25 14:51:25 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-25 14:51:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-25 14:52:02 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 14:52:32 +0200 | poliquin | (~poliquin@50.208.58.86) (Ping timeout: 252 seconds) |
2025-06-25 14:55:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 14:55:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 14:58:50 +0200 | xff0x | (~xff0x@2405:6580:b080:900:e48a:913:45b8:8077) |
2025-06-25 14:59:21 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 15:01:08 +0200 | poscat0x04 | (~poscat@user/poscat) poscat |
2025-06-25 15:01:27 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 272 seconds) |
2025-06-25 15:05:53 +0200 | j1n37 | (~j1n37@user/j1n37) (Ping timeout: 272 seconds) |
2025-06-25 15:06:34 +0200 | mange | (~mange@user/mange) (Quit: Zzz...) |
2025-06-25 15:11:15 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 15:12:07 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 15:12:42 +0200 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
2025-06-25 15:14:31 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 15:14:31 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 15:14:31 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 15:15:15 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 15:16:07 +0200 | AlexNoo | (~AlexNoo@178.34.162.68) |
2025-06-25 15:16:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 15:20:52 +0200 | AlexZenon | (~alzenon@178.34.162.68) |
2025-06-25 15:21:37 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 15:31:37 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 15:32:58 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 15:33:37 +0200 | trickard_ | trickard |
2025-06-25 15:38:20 +0200 | lortabac | (~lortabac@90.33.109.6) |
2025-06-25 15:40:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 15:43:33 +0200 | poscat0x04 | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-25 15:45:57 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 15:47:21 +0200 | gp | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
2025-06-25 15:48:52 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-25 15:49:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 15:51:18 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 252 seconds) |
2025-06-25 15:51:37 +0200 | rvalue | (~rvalue@about/hackers/rvalue) (Read error: Connection reset by peer) |
2025-06-25 15:52:04 +0200 | rvalue | (~rvalue@about/hackers/rvalue) rvalue |
2025-06-25 15:54:06 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 15:57:07 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-06-25 15:57:59 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) (Remote host closed the connection) |
2025-06-25 15:58:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 15:58:49 +0200 | _d0t | (~{-d0t-}@user/-d0t-/x-7915216) {-d0t-} |
2025-06-25 15:59:50 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 16:03:56 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) noumenon |
2025-06-25 16:06:36 +0200 | <geekosaur> | bridge going down briefly for docker upgrade |
2025-06-25 16:06:41 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Quit: WeeChat 4.6.3) |
2025-06-25 16:06:54 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) (Remote host closed the connection) |
2025-06-25 16:08:02 +0200 | haskellbridge | (~hackager@syn-096-028-224-214.res.spectrum.com) hackager |
2025-06-25 16:08:02 +0200 | ChanServ | +v haskellbridge |
2025-06-25 16:09:44 +0200 | ystael | (~ystael@user/ystael) ystael |
2025-06-25 16:14:49 +0200 | sprotte24 | (~sprotte24@p200300d16f044200e0d58a17b8c83bec.dip0.t-ipconnect.de) |
2025-06-25 16:16:50 +0200 | lortabac | (~lortabac@90.33.109.6) (Quit: WeeChat 4.5.2) |
2025-06-25 16:23:19 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 245 seconds) |
2025-06-25 16:26:22 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-25 16:29:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 16:30:54 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-25 16:31:14 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-25 16:32:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 16:33:14 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-25 16:36:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Client Quit) |
2025-06-25 16:37:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 16:39:34 +0200 | trickard | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 16:39:49 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 16:40:35 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 268 seconds) |
2025-06-25 16:41:39 +0200 | machinedgod | (~machinedg@d108-173-18-100.abhsia.telus.net) machinedgod |
2025-06-25 16:42:35 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-25 16:44:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 16:45:49 +0200 | acidjnk | (~acidjnk@p200300d6e70b6633f9ef2c2f945967a1.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-25 16:48:13 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 16:51:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 16:55:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 16:57:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 17:00:26 +0200 | ephilalethes | (~noumenon@113.51-175-156.customer.lyse.net) (Quit: Leaving) |
2025-06-25 17:00:44 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 17:01:13 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) SlackCoder |
2025-06-25 17:03:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 17:06:14 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 17:09:40 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-06-25 17:09:55 +0200 | ezzieyguywuf | (~Unknown@user/ezzieyguywuf) (Ping timeout: 260 seconds) |
2025-06-25 17:10:46 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 17:11:01 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 17:11:58 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 17:13:43 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 17:13:55 +0200 | acidjnk | (~acidjnk@p200300d6e70b6677180b543b18327705.dip0.t-ipconnect.de) acidjnk |
2025-06-25 17:17:53 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 17:18:26 +0200 | puke | (~puke@user/puke) (Remote host closed the connection) |
2025-06-25 17:18:28 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 265 seconds) |
2025-06-25 17:21:09 +0200 | puke | (~puke@user/puke) puke |
2025-06-25 17:22:08 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) |
2025-06-25 17:25:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-25 17:26:39 +0200 | gp | (~gp@net-188-217-43-7.cust.vodafonedsl.it) (Ping timeout: 245 seconds) |
2025-06-25 17:27:01 +0200 | Frostillicus | (~Frostilli@pool-71-174-119-69.bstnma.fios.verizon.net) (Ping timeout: 252 seconds) |
2025-06-25 17:27:37 +0200 | gp | (~gp@62.182.98.139) |
2025-06-25 17:27:53 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 17:28:06 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 17:28:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
2025-06-25 17:30:22 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 17:33:32 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 17:34:13 +0200 | AlexZenon | (~alzenon@178.34.162.68) (Ping timeout: 252 seconds) |
2025-06-25 17:35:44 +0200 | jespada | (~jespada@r167-61-149-72.dialup.adsl.anteldata.net.uy) (Quit: My Mac has gone to sleep. ZZZzzz…) |
2025-06-25 17:36:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 17:38:44 +0200 | jespada | (~jespada@r167-61-149-72.dialup.adsl.anteldata.net.uy) jespada |
2025-06-25 17:39:22 +0200 | jespada | (~jespada@r167-61-149-72.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
2025-06-25 17:40:22 +0200 | jespada | (~jespada@r167-61-149-72.dialup.adsl.anteldata.net.uy) jespada |
2025-06-25 17:41:04 +0200 | jespada | (~jespada@r167-61-149-72.dialup.adsl.anteldata.net.uy) (Read error: Connection reset by peer) |
2025-06-25 17:41:30 +0200 | jespada | (~jespada@r167-61-149-72.dialup.adsl.anteldata.net.uy) jespada |
2025-06-25 17:41:58 +0200 | gmg | (~user@user/gehmehgeh) (Remote host closed the connection) |
2025-06-25 17:42:44 +0200 | gmg | (~user@user/gehmehgeh) gehmehgeh |
2025-06-25 17:44:26 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 17:45:51 +0200 | chele | (~chele@user/chele) (Remote host closed the connection) |
2025-06-25 17:46:55 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 17:47:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 17:48:18 +0200 | AlexZenon | (~alzenon@178.34.162.68) |
2025-06-25 17:49:11 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 17:49:13 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |
2025-06-25 17:52:07 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 268 seconds) |
2025-06-25 17:52:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 17:55:36 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 17:56:12 +0200 | Nosrep | (~jimothy@user/nosrep) Nosrep |
2025-06-25 17:59:45 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 18:01:49 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 18:03:31 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 18:11:15 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 18:14:19 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 18:18:23 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 18:21:00 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 18:21:17 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 18:21:53 +0200 | tabaqui | (~tabaqui@167.71.80.236) tabaqui |
2025-06-25 18:23:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 18:25:52 +0200 | merijn | (~merijn@77.242.116.146) (Ping timeout: 252 seconds) |
2025-06-25 18:29:25 +0200 | ttybitnik | (~ttybitnik@user/wolper) (Read error: Connection reset by peer) |
2025-06-25 18:30:56 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 18:32:17 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 18:35:12 +0200 | acidjnk | (~acidjnk@p200300d6e70b6677180b543b18327705.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-25 18:40:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 18:41:43 +0200 | Frostillicus | (~Frostilli@2600:380:5951:41fa:35f0:7783:5b66:9048) |
2025-06-25 18:43:00 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
2025-06-25 18:43:40 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 18:47:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 18:51:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 18:57:45 +0200 | ft | (~ft@p508db5d0.dip0.t-ipconnect.de) ft |
2025-06-25 18:57:55 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 18:58:43 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-25 19:01:08 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-06-25 19:01:47 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 19:03:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 19:03:48 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 19:05:07 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-25 19:05:25 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Ping timeout: 276 seconds) |
2025-06-25 19:05:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-25 19:05:45 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) oneeyedalien |
2025-06-25 19:05:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 19:06:43 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 276 seconds) |
2025-06-25 19:10:32 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 19:11:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 19:11:39 +0200 | shaeto | (~Shaeto@94.25.234.13) (Ping timeout: 268 seconds) |
2025-06-25 19:12:18 +0200 | Square | (~Square@user/square) Square |
2025-06-25 19:12:49 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 260 seconds) |
2025-06-25 19:13:24 +0200 | <monochrom> | [exa]: Would your explanation of ContT be similar to http://blog.sigfpe.com/2011/10/quick-and-dirty-reinversion-of-control.html ? |
2025-06-25 19:13:58 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 19:14:44 +0200 | poscat | (~poscat@user/poscat) poscat |
2025-06-25 19:15:26 +0200 | <monochrom> | or maybe my https://www.vex.net/~trebla/haskell/cont.xhtml but I have only covered Cont without T. |
2025-06-25 19:17:34 +0200 | shaeto | (~Shaeto@94.25.234.13) |
2025-06-25 19:19:25 +0200 | SlackCoder | (~SlackCode@64-94-63-8.ip.weststar.net.ky) (Ping timeout: 260 seconds) |
2025-06-25 19:19:25 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 19:20:06 +0200 | dhil | (~dhil@5.151.29.140) (Ping timeout: 244 seconds) |
2025-06-25 19:20:08 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 19:20:21 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 19:20:49 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 19:21:44 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Read error: Connection reset by peer) |
2025-06-25 19:22:57 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 19:23:55 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-25 19:24:46 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh |
2025-06-25 19:27:59 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 19:32:00 +0200 | Frostillicus | (~Frostilli@2600:380:5951:41fa:35f0:7783:5b66:9048) (Quit: Frostillicus) |
2025-06-25 19:35:07 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 19:36:28 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 19:37:49 +0200 | sord937 | (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
2025-06-25 19:39:15 +0200 | <Nosrep> | https://github.com/haskell/vector/issues/521 vector thing from yesterday |
2025-06-25 19:39:26 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 19:39:56 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 19:39:56 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 19:39:56 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 19:40:19 +0200 | <EvanR> | clearance clarence |
2025-06-25 19:40:23 +0200 | <EvanR> | roger roger |
2025-06-25 19:40:49 +0200 | Miroboru | (~myrvoll@188.113.108.92) (Ping timeout: 260 seconds) |
2025-06-25 19:47:34 +0200 | poscat | (~poscat@user/poscat) (Remote host closed the connection) |
2025-06-25 19:47:35 +0200 | Miroboru | (~myrvoll@188.113.108.92) Miroboru |
2025-06-25 19:50:54 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 19:54:31 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 19:57:35 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 19:58:30 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) peterbecich |
2025-06-25 19:58:42 +0200 | arahael | (~arahael@user/arahael) (Ping timeout: 252 seconds) |
2025-06-25 20:01:26 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-25 20:04:06 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) |
2025-06-25 20:05:08 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) tmciver |
2025-06-25 20:06:46 +0200 | humasect | (~humasect@dyn-192-249-132-90.nexicom.net) (Client Quit) |
2025-06-25 20:08:31 +0200 | acidjnk | (~acidjnk@p200300d6e70b667740a3e8b985bf5068.dip0.t-ipconnect.de) acidjnk |
2025-06-25 20:09:26 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-25 20:09:45 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-25 20:10:01 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 20:10:34 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-25 20:12:32 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Remote host closed the connection) |
2025-06-25 20:12:33 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 20:13:01 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-06-25 20:13:11 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 20:17:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-25 20:17:46 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 20:19:40 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-25 20:21:02 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 20:23:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 20:25:06 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 20:26:21 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 272 seconds) |
2025-06-25 20:26:57 +0200 | oneeyedalien | (~oneeyedal@user/oneeyedalien) (Quit: Leaving) |
2025-06-25 20:28:39 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 20:28:52 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 20:29:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 20:30:04 +0200 | tmciver | (~tim@syn-198-255-177-240.res.spectrum.com) (Ping timeout: 244 seconds) |
2025-06-25 20:32:45 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) wootehfoot |
2025-06-25 20:33:38 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 20:35:26 +0200 | weary-traveler | (~user@user/user363627) (Remote host closed the connection) |
2025-06-25 20:36:00 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 20:36:19 +0200 | Square | (~Square@user/square) (Remote host closed the connection) |
2025-06-25 20:36:19 +0200 | Square2 | (~Square@user/square) (Remote host closed the connection) |
2025-06-25 20:38:07 +0200 | weary-traveler | (~user@user/user363627) user363627 |
2025-06-25 20:39:21 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 20:39:21 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 20:39:21 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 20:39:30 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 20:39:35 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 20:43:57 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
2025-06-25 20:44:20 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 20:44:20 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 20:44:20 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 20:44:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 20:45:42 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 20:46:47 +0200 | <[exa]> | monochrom: no in the end mine was a bit like ResourceT, "you should squash your 666 levels of `bracket` into a nice `do`" |
2025-06-25 20:47:39 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
2025-06-25 20:48:17 +0200 | target_i | (~target_i@user/target-i/x-6023099) target_i |
2025-06-25 20:49:39 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-25 20:51:04 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 20:51:04 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 20:51:04 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 20:51:04 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 20:51:47 +0200 | shaeto | (~Shaeto@94.25.234.13) (Quit: WeeChat 4.1.1) |
2025-06-25 20:52:30 +0200 | <[exa]> | monochrom: and it shows very directly how to feed the stuff into the actual transformer (the main issue I had with explaining it "the continuation way first" to folks was to disambiguate the `a` from `r` with sufficient intuitive power; if you do the bracket as ContT (\rest -> someInit *> rest someData <* someFinalizer) it gets quite obvious) |
2025-06-25 20:54:08 +0200 | <[exa]> | (this isn't a "true bracket" because no errors handled, but it's easy to see how the real bracket plugs in) |
2025-06-25 20:55:17 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 20:56:47 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 20:59:27 +0200 | <tomsmeding> | magic_rb: you online? |
2025-06-25 21:00:05 +0200 | caconym7 | (~caconym@user/caconym) (Quit: bye) |
2025-06-25 21:00:18 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 21:00:37 +0200 | soverysour | (~soverysou@user/soverysour) (Remote host closed the connection) |
2025-06-25 21:00:44 +0200 | caconym7 | (~caconym@user/caconym) caconym |
2025-06-25 21:00:59 +0200 | soverysour | (~soverysou@84.232.150.142) |
2025-06-25 21:00:59 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 21:00:59 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 21:06:34 +0200 | soverysour | (~soverysou@user/soverysour) (Ping timeout: 260 seconds) |
2025-06-25 21:10:24 +0200 | tabaqui | (~tabaqui@167.71.80.236) (Ping timeout: 245 seconds) |
2025-06-25 21:11:07 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 21:14:43 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 21:15:19 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-25 21:16:43 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 276 seconds) |
2025-06-25 21:22:20 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 21:23:15 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-25 21:24:02 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
2025-06-25 21:24:15 +0200 | trickard_ | (~trickard@cpe-52-98-47-163.wireline.com.au) |
2025-06-25 21:24:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 21:25:14 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-06-25 21:25:14 +0200 | ljdarj1 | ljdarj |
2025-06-25 21:28:06 +0200 | trickard_ | trickard |
2025-06-25 21:28:56 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 21:29:24 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) (Remote host closed the connection) |
2025-06-25 21:29:42 +0200 | sabathan2 | (~sabathan@amarseille-159-1-12-107.w86-203.abo.wanadoo.fr) |
2025-06-25 21:29:47 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-25 21:30:24 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 21:31:25 +0200 | ljdarj1 | (~Thunderbi@user/ljdarj) ljdarj |
2025-06-25 21:33:59 +0200 | ljdarj | (~Thunderbi@user/ljdarj) (Ping timeout: 260 seconds) |
2025-06-25 21:33:59 +0200 | ljdarj1 | ljdarj |
2025-06-25 21:34:02 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 252 seconds) |
2025-06-25 21:34:07 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 21:37:46 +0200 | CiaoSen | (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen |
2025-06-25 21:40:12 +0200 | jcarpenter2 | (~lol@96.78.87.197) (Ping timeout: 276 seconds) |
2025-06-25 21:40:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 21:41:50 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) (Quit: Leaving) |
2025-06-25 21:46:37 +0200 | acidjnk | (~acidjnk@p200300d6e70b667740a3e8b985bf5068.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
2025-06-25 21:47:24 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 21:50:45 +0200 | <haskellbridge> | <magic_rb> tomsmeding |
2025-06-25 21:50:47 +0200 | <haskellbridge> | <magic_rb> yes |
2025-06-25 21:51:05 +0200 | <haskellbridge> | <magic_rb> but the IRC bridge is down |
2025-06-25 21:51:47 +0200 | <c_wraith> | I guess it's back up now |
2025-06-25 21:52:03 +0200 | <haskellbridge> | <magic_rb> well my bridge |
2025-06-25 21:52:05 +0200 | <haskellbridge> | <magic_rb> he cant DM me |
2025-06-25 21:52:28 +0200 | <haskellbridge> | <magic_rb> im going through the bridged room by geekosaur |
2025-06-25 21:53:23 +0200 | <tomsmeding> | magic_rb: where and what time is your defence tomorrow |
2025-06-25 21:53:33 +0200 | <haskellbridge> | <magic_rb> 14:00 VU |
2025-06-25 21:53:33 +0200 | <tomsmeding> | I will be at https://conf.researchr.org/home/dfdm-2025#program |
2025-06-25 21:53:42 +0200 | <tomsmeding> | oh I guess that's not close by, is it? |
2025-06-25 21:54:10 +0200 | <tomsmeding> | no other side of the city |
2025-06-25 21:54:11 +0200 | <haskellbridge> | <magic_rb> its the UvA where your thing is |
2025-06-25 21:54:14 +0200 | <haskellbridge> | <magic_rb> yeah |
2025-06-25 21:54:24 +0200 | <haskellbridge> | <magic_rb> my session will hopefully be recorded, ill send you the recording for sure |
2025-06-25 21:54:41 +0200 | <tomsmeding> | then I can't be there I think, sorry -- if it was on the uva campus I would have snuck out |
2025-06-25 21:54:52 +0200 | <haskellbridge> | <magic_rb> yeah no problem |
2025-06-25 21:54:57 +0200 | <haskellbridge> | <magic_rb> sad that its overlapping |
2025-06-25 21:55:05 +0200 | <haskellbridge> | <magic_rb> i can also present again in september :P |
2025-06-25 21:55:05 +0200 | <tomsmeding> | yes |
2025-06-25 21:55:14 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 21:55:18 +0200 | <tomsmeding> | lol why? |
2025-06-25 21:55:51 +0200 | <haskellbridge> | <magic_rb> why not lol |
2025-06-25 21:55:55 +0200 | <haskellbridge> | <magic_rb> just unofficially |
2025-06-25 21:56:05 +0200 | <haskellbridge> | <magic_rb> ill present probably also at zurihac if they accept the talk |
2025-06-25 21:56:06 +0200 | <haskellbridge> | <magic_rb> in a year |
2025-06-25 21:56:08 +0200 | <tomsmeding> | oh that way |
2025-06-25 21:56:11 +0200 | <haskellbridge> | <magic_rb> ye |
2025-06-25 21:56:14 +0200 | <tomsmeding> | cool |
2025-06-25 21:56:16 +0200 | <haskellbridge> | <magic_rb> i like presenting |
2025-06-25 21:56:29 +0200 | <tomsmeding> | useful thing to like :p |
2025-06-25 21:56:41 +0200 | <haskellbridge> | <magic_rb> yeah im very social |
2025-06-25 21:56:48 +0200 | <haskellbridge> | <magic_rb> as you probably figured out |
2025-06-25 21:56:53 +0200 | <tomsmeding> | :) |
2025-06-25 21:56:59 +0200 | <haskellbridge> | <magic_rb> i still need to finish the fucking presentation, i just got some results |
2025-06-25 21:57:03 +0200 | <haskellbridge> | <magic_rb> theyre complete bollocks |
2025-06-25 21:57:09 +0200 | <tomsmeding> | nice! |
2025-06-25 21:57:11 +0200 | <haskellbridge> | <magic_rb> somehow my thing is faster than the kernel, im measuring it wrong |
2025-06-25 21:57:14 +0200 | <haskellbridge> | <magic_rb> but i dont know why |
2025-06-25 21:57:17 +0200 | <haskellbridge> | <magic_rb> or how |
2025-06-25 21:57:18 +0200 | <haskellbridge> | <magic_rb> or what |
2025-06-25 21:57:24 +0200 | <haskellbridge> | <magic_rb> so 🤷 |
2025-06-25 21:57:37 +0200 | <tomsmeding> | are you including kernel context switching in the measurement? |
2025-06-25 21:57:51 +0200 | <haskellbridge> | <magic_rb> yes |
2025-06-25 21:57:55 +0200 | <tomsmeding> | I'm not sure how long that takes |
2025-06-25 21:58:06 +0200 | <haskellbridge> | <magic_rb> like, my thing should be much much slower |
2025-06-25 21:58:06 +0200 | <tomsmeding> | compared to the actual FS computations, that is |
2025-06-25 21:58:16 +0200 | <haskellbridge> | <magic_rb> i measured it at some point and i was getting 40% of kernel |
2025-06-25 21:58:24 +0200 | <haskellbridge> | <magic_rb> now im measuring and im getting 200% of kernel |
2025-06-25 21:58:25 +0200 | <haskellbridge> | <magic_rb> idfk why |
2025-06-25 21:58:29 +0200 | <haskellbridge> | <magic_rb> idc at this point lol |
2025-06-25 21:58:34 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 21:58:46 +0200 | <haskellbridge> | <magic_rb> ill even say in the presentation, "these numbers are funny, i have no clue why, i ran out of time for this" |
2025-06-25 21:58:51 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 21:59:13 +0200 | acidjnk | (~acidjnk@p200300d6e70b66774dc61cafa8d9b5a9.dip0.t-ipconnect.de) acidjnk |
2025-06-25 21:59:17 +0200 | <tomsmeding> | weren't you supposed to hand in your thesis some time before the defence already? |
2025-06-25 21:59:23 +0200 | <haskellbridge> | <magic_rb> no |
2025-06-25 21:59:25 +0200 | <haskellbridge> | <magic_rb> other way |
2025-06-25 21:59:26 +0200 | <haskellbridge> | <magic_rb> for us |
2025-06-25 21:59:27 +0200 | <haskellbridge> | <magic_rb> lol |
2025-06-25 21:59:30 +0200 | <tomsmeding> | interesting |
2025-06-25 22:00:31 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 22:03:09 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
2025-06-25 22:05:29 +0200 | caubert | (~caubert@user/caubert) (Ping timeout: 260 seconds) |
2025-06-25 22:07:47 +0200 | j1n37 | (~j1n37@user/j1n37) (Quit: Ich bin der Welt abhanden gekommen) |
2025-06-25 22:08:04 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 22:09:03 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 22:11:24 +0200 | inline | (~inline@ip-005-146-197-162.um05.pools.vodafone-ip.de) Inline |
2025-06-25 22:11:37 +0200 | soverysour | (~soverysou@84.232.150.142) soverysour |
2025-06-25 22:11:38 +0200 | soverysour | (~soverysou@84.232.150.142) (Changing host) |
2025-06-25 22:11:38 +0200 | soverysour | (~soverysou@user/soverysour) soverysour |
2025-06-25 22:13:06 +0200 | j1n37 | (~j1n37@user/j1n37) j1n37 |
2025-06-25 22:13:52 +0200 | k0zy | (~user@97-120-249-245.ptld.qwest.net) |
2025-06-25 22:14:05 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 22:14:10 +0200 | k0zy | (~user@97-120-249-245.ptld.qwest.net) (Changing host) |
2025-06-25 22:14:10 +0200 | k0zy | (~user@user/k0zy) k0zy |
2025-06-25 22:19:03 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
2025-06-25 22:25:44 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 22:27:19 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) Tuplanolla |
2025-06-25 22:30:45 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
2025-06-25 22:38:08 +0200 | caubert | (~caubert@user/caubert) caubert |
2025-06-25 22:41:32 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn |
2025-06-25 22:46:15 +0200 | merijn | (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
2025-06-25 22:51:21 +0200 | gp88 | (~gp@net-188-217-43-7.cust.vodafonedsl.it) |
2025-06-25 22:52:34 +0200 | j1n37 | (~j1n37@user/j1n37) (Read error: Connection reset by peer) |
2025-06-25 22:53:16 +0200 | ttybitnik | (~ttybitnik@user/wolper) ttybitnik |