| 2024-05-25 00:04:47 +0200 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 272 seconds) |
| 2024-05-25 00:09:29 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-25 00:10:28 +0200 | ph88 | (~ph88@2a02:8109:9e26:c800:4da2:4a66:3d2f:f69f) (Remote host closed the connection) |
| 2024-05-25 00:23:02 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-25 00:23:37 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-25 00:41:56 +0200 | masterbuilder | (~quassel@user/masterbuilder) (Ping timeout: 256 seconds) |
| 2024-05-25 00:46:01 +0200 | mikess | (~mikess@user/mikess) |
| 2024-05-25 00:47:32 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 260 seconds) |
| 2024-05-25 00:49:13 +0200 | phma | (~phma@host-67-44-208-17.hnremote.net) (Quit: Konversation terminated!) |
| 2024-05-25 00:50:17 +0200 | phma | (~phma@host-67-44-208-17.hnremote.net) |
| 2024-05-25 00:50:23 +0200 | titibandit | (~user@user/titibandit) (Ping timeout: 256 seconds) |
| 2024-05-25 00:53:26 +0200 | conjunctive | (sid433686@id-433686.helmsley.irccloud.com) () |
| 2024-05-25 00:57:34 +0200 | mikess | (~mikess@user/mikess) (Quit: mikess) |
| 2024-05-25 01:00:41 +0200 | mei | (~mei@user/mei) (Remote host closed the connection) |
| 2024-05-25 01:03:05 +0200 | mei | (~mei@user/mei) |
| 2024-05-25 01:19:31 +0200 | masterbuilder | (~quassel@user/masterbuilder) |
| 2024-05-25 01:19:51 +0200 | acidjnk | (~acidjnk@p200300d6e714dc3791789ad6b7790594.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-25 01:32:24 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-25 01:37:38 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2024-05-25 01:48:39 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 272 seconds) |
| 2024-05-25 02:01:27 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-25 02:02:07 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-25 02:02:09 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-25 02:04:36 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Excess Flood) |
| 2024-05-25 02:05:23 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-25 02:05:48 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-25 02:06:07 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-25 02:09:51 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-25 02:12:45 +0200 | gmg | (~user@user/gehmehgeh) (Quit: Leaving) |
| 2024-05-25 02:18:47 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 2024-05-25 02:19:02 +0200 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) |
| 2024-05-25 02:21:43 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-25 02:22:10 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 02:22:18 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-25 02:22:36 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Quit: diagnostics0) |
| 2024-05-25 02:23:04 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 02:36:13 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) |
| 2024-05-25 02:36:29 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) (Ping timeout: 240 seconds) |
| 2024-05-25 02:46:59 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Quit: diagnostics0) |
| 2024-05-25 02:51:21 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-25 02:54:16 +0200 | terrorjack | (~terrorjac@2a01:4f8:c17:87f8::) |
| 2024-05-25 03:00:04 +0200 | TheCoffeMaker_ | (~TheCoffeM@200.114.213.75) (Read error: Connection reset by peer) |
| 2024-05-25 03:00:50 +0200 | talismanick | (~user@2601:644:937c:ed10::ae5) |
| 2024-05-25 03:01:34 +0200 | TheCoffeMaker | (~TheCoffeM@user/thecoffemaker) |
| 2024-05-25 03:03:01 +0200 | CrunchyFlakes | (~CrunchyFl@146.52.130.128) (Ping timeout: 255 seconds) |
| 2024-05-25 03:04:09 +0200 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2024-05-25 03:06:29 +0200 | Square2 | (~Square@user/square) (Ping timeout: 240 seconds) |
| 2024-05-25 03:24:04 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 03:24:15 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Remote host closed the connection) |
| 2024-05-25 03:24:36 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 03:26:05 +0200 | RedFlamingos | (~RedFlamin@user/RedFlamingos) (Quit: RedFlamingos) |
| 2024-05-25 03:29:23 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Ping timeout: 264 seconds) |
| 2024-05-25 03:30:54 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-05-25 03:42:28 +0200 | Midjak | (~MarciZ@82.66.147.146) (Quit: This computer has gone to sleep) |
| 2024-05-25 03:53:38 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-25 03:57:25 +0200 | otto_s | (~user@p5de2f772.dip0.t-ipconnect.de) (Ping timeout: 268 seconds) |
| 2024-05-25 03:58:55 +0200 | otto_s | (~user@p5de2f67f.dip0.t-ipconnect.de) |
| 2024-05-25 04:00:02 +0200 | fliife | (~fliife@user/fliife) (Quit: ZNC 1.8.2+deb2build5 - https://znc.in) |
| 2024-05-25 04:00:49 +0200 | fliife | (~fliife@user/fliife) |
| 2024-05-25 04:07:58 +0200 | <cpli> | is there some (define-syntax prepend-a- [...] ) which transforms (prepend-a- proc) into (a-proc)? |
| 2024-05-25 04:08:40 +0200 | <glguy> | In Haskell? |
| 2024-05-25 04:38:40 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-25 04:43:03 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 268 seconds) |
| 2024-05-25 04:44:26 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-25 04:44:47 +0200 | dolio | (~dolio@130.44.134.54) (Client Quit) |
| 2024-05-25 04:48:09 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-25 04:52:55 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 268 seconds) |
| 2024-05-25 04:56:59 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 2024-05-25 04:59:46 +0200 | td_ | (~td@i53870918.versanet.de) (Ping timeout: 256 seconds) |
| 2024-05-25 05:01:45 +0200 | td_ | (~td@i53870937.versanet.de) |
| 2024-05-25 05:06:42 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-25 05:14:25 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-25 05:25:19 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-25 05:28:40 +0200 | fizbin__ | (~fizbin@user/fizbin) |
| 2024-05-25 05:31:25 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-25 05:40:37 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-25 05:46:24 +0200 | xigua | (~xigua@user/xigua) (Read error: Connection reset by peer) |
| 2024-05-25 05:46:38 +0200 | xigua | (~xigua@user/xigua) |
| 2024-05-25 05:51:35 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-25 05:53:53 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-25 06:05:17 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 240 seconds) |
| 2024-05-25 06:08:24 +0200 | dolio | (~dolio@130.44.134.54) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2024-05-25 06:10:41 +0200 | dolio | (~dolio@130.44.134.54) |
| 2024-05-25 06:21:58 +0200 | phma | (~phma@host-67-44-208-17.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-25 06:27:41 +0200 | fizbin__ | (~fizbin@user/fizbin) (Ping timeout: 240 seconds) |
| 2024-05-25 06:30:12 +0200 | phma | (~phma@host-67-44-208-55.hnremote.net) |
| 2024-05-25 06:45:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-25 06:53:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-25 06:55:41 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2024-05-25 07:01:20 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) (Ping timeout: 260 seconds) |
| 2024-05-25 07:15:12 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-25 07:19:22 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-25 07:29:23 +0200 | quark17 | (~quark17@125-237-181-192-adsl.sparkbb.co.nz) |
| 2024-05-25 07:31:07 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Remote host closed the connection) |
| 2024-05-25 07:33:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-25 07:56:23 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) |
| 2024-05-25 08:03:41 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:f1eb:615d:e4c3:d09c) (Ping timeout: 240 seconds) |
| 2024-05-25 08:04:48 +0200 | jle` | (~jle`@2603:8001:3b02:84d4:f047:2251:133c:1d1c) |
| 2024-05-25 08:17:29 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) |
| 2024-05-25 08:17:30 +0200 | burnsidesLlama | (~burnsides@119247164140.ctinets.com) (Client Quit) |
| 2024-05-25 08:18:14 +0200 | quark17 | (~quark17@125-237-181-192-adsl.sparkbb.co.nz) (Quit: Connection closed) |
| 2024-05-25 08:20:52 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-25 08:32:29 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 240 seconds) |
| 2024-05-25 08:33:49 +0200 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2024-05-25 08:42:54 +0200 | euphores | (~SASL_euph@user/euphores) (Quit: Leaving.) |
| 2024-05-25 08:44:15 +0200 | oo_miguel | (~Thunderbi@78-11-181-16.static.ip.netia.com.pl) (Ping timeout: 260 seconds) |
| 2024-05-25 08:53:42 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-25 08:56:42 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-25 08:58:11 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 264 seconds) |
| 2024-05-25 09:04:11 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 264 seconds) |
| 2024-05-25 09:04:33 +0200 | euleritian | (~euleritia@dynamic-176-006-195-061.176.6.pool.telefonica.de) |
| 2024-05-25 09:10:41 +0200 | troydm | (~troydm@user/troydm) |
| 2024-05-25 09:16:49 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-25 09:17:23 +0200 | poscat | (~poscat@user/poscat) (Ping timeout: 264 seconds) |
| 2024-05-25 09:18:33 +0200 | jrm | (~jrm@user/jrm) (Quit: ciao) |
| 2024-05-25 09:18:56 +0200 | jrm | (~jrm@user/jrm) |
| 2024-05-25 09:19:21 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-25 09:20:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-25 09:20:56 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-25 09:21:55 +0200 | euleritian | (~euleritia@dynamic-176-006-195-061.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-25 09:22:37 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-25 09:24:55 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-05-25 09:25:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-25 09:26:06 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-25 09:26:31 +0200 | acidjnk | (~acidjnk@p200300d6e714dc042020e32aab5643b9.dip0.t-ipconnect.de) |
| 2024-05-25 09:27:23 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-25 09:30:36 +0200 | poscat | (~poscat@user/poscat) |
| 2024-05-25 09:31:17 +0200 | Pixi | (~Pixi@user/pixi) (Ping timeout: 240 seconds) |
| 2024-05-25 09:40:40 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 2024-05-25 09:51:59 +0200 | Pixi | (~Pixi@user/pixi) |
| 2024-05-25 09:53:58 +0200 | titibandit | (~user@user/titibandit) |
| 2024-05-25 09:59:18 +0200 | __monty__ | (~toonn@user/toonn) |
| 2024-05-25 09:59:18 +0200 | Tuplanolla | (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 2024-05-25 10:00:59 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-25 10:15:48 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-25 10:17:14 +0200 | gmg | (~user@user/gehmehgeh) (Ping timeout: 260 seconds) |
| 2024-05-25 10:17:56 +0200 | gmg | (~user@user/gehmehgeh) |
| 2024-05-25 10:18:35 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) (Ping timeout: 264 seconds) |
| 2024-05-25 10:21:17 +0200 | <tomsmeding> | cpli: there is template haskell, with which you could define a thing so that $(prependA 'proc) becomes a reference to `aProc` |
| 2024-05-25 10:22:51 +0200 | <tomsmeding> | prependA name = return (VarE (mkName ("a" ++ nameBase name))) -- using `import Language.Haskell.TH` from "template-haskell" |
| 2024-05-25 10:22:55 +0200 | Maxdamantus | (~Maxdamant@user/maxdamantus) |
| 2024-05-25 10:23:05 +0200 | <tomsmeding> | of course that doesn't capitalise the 'P' but that's an exercise to the reader :) |
| 2024-05-25 10:33:35 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-25 10:34:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-25 10:35:47 +0200 | <ski> | (`define-syntax' is Scheme, fwiw) |
| 2024-05-25 10:54:14 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-25 11:06:12 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-25 11:07:14 +0200 | euphores | (~SASL_euph@user/euphores) (Ping timeout: 268 seconds) |
| 2024-05-25 11:08:46 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-25 11:10:52 +0200 | mreh | (~matthew@host86-160-168-107.range86-160.btcentralplus.com) |
| 2024-05-25 11:13:01 +0200 | <mreh> | I was looking for a canonical example of concurrent haskell and I've just tried running the `Synchronisation with locks` example in here https://wiki.haskell.org/Haskell_for_multicores but I don't see any speedup at all. In fact it's slower for me. |
| 2024-05-25 11:13:43 +0200 | <sm> | sounds about right :) |
| 2024-05-25 11:14:25 +0200 | <mreh> | It's also slower than if I run it single threaded and fork subshells to run it. |
| 2024-05-25 11:15:14 +0200 | <Rembane> | mreh: Can you show us your code? |
| 2024-05-25 11:15:43 +0200 | <mreh> | Rembane: it's there under the heading `Synchronisation with locks`. |
| 2024-05-25 11:15:49 +0200 | <mreh> | I've just cut and paste |
| 2024-05-25 11:16:11 +0200 | <Rembane> | mreh: Thank you! |
| 2024-05-25 11:16:36 +0200 | <mreh> | I dumped it into a stack project. Maybe I need to look and see what compile flags precisely stack is using.. |
| 2024-05-25 11:17:48 +0200 | <mreh> | I've got `-threaded -rtsopts -with-rtsopts=-N` in my package.yaml for the executable. |
| 2024-05-25 11:18:33 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) |
| 2024-05-25 11:18:36 +0200 | <mreh> | CPU utilisation goes up to X00% where X is roughly equal to the number of threads spawned (= to the number of arguments passed) |
| 2024-05-25 11:19:06 +0200 | <mreh> | GC time in the output of `+RTS -s` is practically nothing. |
| 2024-05-25 11:21:31 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 2024-05-25 11:22:03 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-25 11:25:22 +0200 | <mreh> | Okay, I just tried again and removed a modification I forgot I made. I had removed the bang pattern and stuck in h `seq` putMVar str (f ++ ": " ++ h) |
| 2024-05-25 11:25:39 +0200 | <mreh> | did I need to use `evaluate` there? |
| 2024-05-25 11:27:37 +0200 | <tomsmeding> | inside IO it's always prudent to use `evaluate` |
| 2024-05-25 11:28:12 +0200 | <tomsmeding> | mreh: how long is that process running? |
| 2024-05-25 11:28:17 +0200 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2024-05-25 11:28:33 +0200 | <tomsmeding> | if it's too short, GHC might not get the opportunity to reschedule the forkIO'd threads to separate cores |
| 2024-05-25 11:29:13 +0200 | <tomsmeding> | oh you said that cpu utilisation goes up to X00% |
| 2024-05-25 11:29:34 +0200 | <tomsmeding> | that is odd in combination with the rest |
| 2024-05-25 11:30:27 +0200 | <mreh> | yeah, which is why I never suspected and strictness problem |
| 2024-05-25 11:30:39 +0200 | <mreh> | or, laziness problem.. ahem |
| 2024-05-25 11:31:08 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-25 11:35:29 +0200 | ACuriousMoose0 | (~ACuriousM@142.68.181.38) |
| 2024-05-25 11:35:33 +0200 | ACuriousMoose | (~ACuriousM@142.68.181.38) (Ping timeout: 255 seconds) |
| 2024-05-25 11:35:33 +0200 | ACuriousMoose0 | ACuriousMoose |
| 2024-05-25 11:38:17 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-25 11:45:22 +0200 | <mreh> | Okay, so it scales well while I add more than 2 threads, but there's a huge jump in mutator time between +RTS -N1 and +RTS -N2 |
| 2024-05-25 11:45:37 +0200 | <mreh> | It goes from 2s to 6 seconds |
| 2024-05-25 11:45:56 +0200 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2024-05-25 11:47:45 +0200 | <mreh> | This is running the code under `Synchronisation with locks` as it was written on here https://wiki.haskell.org/Haskell_for_multicores |
| 2024-05-25 11:55:57 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-05-25 11:56:04 +0200 | euleritian | (~euleritia@77.22.252.56) |
| 2024-05-25 12:08:59 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2024-05-25 12:13:19 +0200 | target_i | (~target_i@user/target-i/x-6023099) |
| 2024-05-25 12:19:08 +0200 | euleritian | (~euleritia@77.22.252.56) (Read error: Connection reset by peer) |
| 2024-05-25 12:19:47 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-25 12:26:48 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-25 12:48:48 +0200 | emmanuelux | (~emmanuelu@user/emmanuelux) |
| 2024-05-25 12:53:03 +0200 | danza | (~francesco@151.57.252.139) |
| 2024-05-25 12:54:50 +0200 | danza | (~francesco@151.57.252.139) (Remote host closed the connection) |
| 2024-05-25 12:55:14 +0200 | danza | (~francesco@151.57.252.139) |
| 2024-05-25 12:57:56 +0200 | mreh | (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-05-25 13:07:00 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Read error: Connection reset by peer) |
| 2024-05-25 13:07:41 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-25 13:08:47 +0200 | danza | (~francesco@151.57.252.139) (Remote host closed the connection) |
| 2024-05-25 13:08:54 +0200 | danza | (~francesco@151.57.252.139) |
| 2024-05-25 13:12:05 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) (Ping timeout: 240 seconds) |
| 2024-05-25 13:14:21 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-25 13:16:55 +0200 | patrl | (~patrl@user/patrl) (Read error: Connection reset by peer) |
| 2024-05-25 13:17:09 +0200 | patrl | (~patrl@user/patrl) |
| 2024-05-25 13:21:27 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) (Ping timeout: 260 seconds) |
| 2024-05-25 13:21:27 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-25 13:21:34 +0200 | euleritian | (~euleritia@dynamic-176-006-195-061.176.6.pool.telefonica.de) |
| 2024-05-25 13:41:03 +0200 | acidjnk | (~acidjnk@p200300d6e714dc042020e32aab5643b9.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2024-05-25 13:41:12 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-25 13:41:23 +0200 | Square2 | (~Square@user/square) |
| 2024-05-25 13:41:26 +0200 | Midjak | (~MarciZ@82.66.147.146) |
| 2024-05-25 13:43:26 +0200 | Midjak | (~MarciZ@82.66.147.146) (Remote host closed the connection) |
| 2024-05-25 13:44:59 +0200 | tremon | (~tremon@83.80.159.219) |
| 2024-05-25 14:08:30 +0200 | zetef | (~quassel@5.14.129.80) |
| 2024-05-25 14:17:10 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-05-25 14:30:30 +0200 | mei | (~mei@user/mei) (Quit: mei) |
| 2024-05-25 14:32:05 +0200 | mei | (~mei@user/mei) |
| 2024-05-25 14:43:06 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-25 14:43:41 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-25 14:46:52 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Client Quit) |
| 2024-05-25 14:47:31 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-25 14:50:02 +0200 | acidjnk | (~acidjnk@p200300d6e714dc042020e32aab5643b9.dip0.t-ipconnect.de) |
| 2024-05-25 15:02:27 +0200 | causal | (~eric@50.35.88.207) (Quit: WeeChat 4.1.1) |
| 2024-05-25 15:12:16 +0200 | Square2 | (~Square@user/square) (Ping timeout: 260 seconds) |
| 2024-05-25 15:33:05 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-25 15:33:41 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-25 16:07:39 +0200 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2024-05-25 16:08:30 +0200 | zetef | (~quassel@5.14.129.80) (Remote host closed the connection) |
| 2024-05-25 16:10:02 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) (Ping timeout: 260 seconds) |
| 2024-05-25 16:12:15 +0200 | ChaiTRex | (~ChaiTRex@user/chaitrex) |
| 2024-05-25 16:18:43 +0200 | danza_ | (~francesco@151.37.228.150) |
| 2024-05-25 16:21:17 +0200 | danza | (~francesco@151.57.252.139) (Read error: Connection reset by peer) |
| 2024-05-25 16:25:07 +0200 | justsomeguy | (~justsomeg@user/justsomeguy) |
| 2024-05-25 16:31:39 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-25 16:44:23 +0200 | AlexZenon | (~alzenon@5.139.233.209) (Read error: Connection reset by peer) |
| 2024-05-25 16:44:45 +0200 | AlexZenon | (~alzenon@5.139.233.209) |
| 2024-05-25 16:52:40 +0200 | billchenchina | (~billchenc@103.152.35.21) |
| 2024-05-25 16:53:45 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 16:56:00 +0200 | euleritian | (~euleritia@dynamic-176-006-195-061.176.6.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2024-05-25 16:56:17 +0200 | euleritian | (~euleritia@ip4d16fc38.dynamic.kabel-deutschland.de) |
| 2024-05-25 16:57:08 +0200 | edrx | (~Eduardo@179-191-223-123.static.sumicity.net.br) |
| 2024-05-25 16:58:44 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Ping timeout: 268 seconds) |
| 2024-05-25 16:59:35 +0200 | <edrx> | hi all! I am a basic user of both Haskell and Lean4, and this question originated on Lean, but I would like to know how it can be handled in Haskell too... |
| 2024-05-25 16:59:36 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-25 17:01:34 +0200 | <edrx> | Lean4 has lots of tools for metaprogramming - for example, we can put that in a line a lean program |
| 2024-05-25 17:01:40 +0200 | <edrx> | run_cmd Lean.logInfo (← Lean.getCurrNamespace) |
| 2024-05-25 17:03:45 +0200 | <edrx> | and run_cmd will have access to the monads that hold the parsers, the current definitions, etc - and that line will print the current namespace at that point in the window with the logs, warnings, and errors. |
| 2024-05-25 17:04:38 +0200 | <edrx> | I was trying to use run_cmd to inspect these data structures but they have many fields and many classes |
| 2024-05-25 17:04:50 +0200 | cawfee | (~root@2406:3003:2077:1c50::babe) |
| 2024-05-25 17:05:21 +0200 | cawfee | (~root@2406:3003:2077:1c50::babe) (Client Quit) |
| 2024-05-25 17:05:31 +0200 | cawfee | (~root@2406:3003:2077:1c50::babe) |
| 2024-05-25 17:05:42 +0200 | cawfee | (~root@2406:3003:2077:1c50::babe) (Client Quit) |
| 2024-05-25 17:05:51 +0200 | cawfee | (~root@2406:3003:2077:1c50::babe) |
| 2024-05-25 17:06:32 +0200 | <edrx> | now the question - that applies to both Lean and Haskell |
| 2024-05-25 17:07:22 +0200 | <edrx> | suppose that I am trying to debug a program, and I need to inspect an object at a certain point. |
| 2024-05-25 17:09:56 +0200 | <edrx> | that object has "fields", "subfields", and "subsubfields" - at that point that object, that is ot type Syntax, is of the form "node info kind args", where the constructor "node" is this one... |
| 2024-05-25 17:12:15 +0200 | <edrx> | oops, sorry - here are links to the definition of the type Syntax and to its constructor node: |
| 2024-05-25 17:12:20 +0200 | <edrx> | https://github.com/leanprover/lean4/blob/master/src/Init/Prelude.lean#L3685 |
| 2024-05-25 17:12:20 +0200 | <edrx> | https://github.com/leanprover/lean4/blob/master/src/Init/Prelude.lean#L3708 |
| 2024-05-25 17:13:18 +0200 | <edrx> | and I want to inspect the "info" field, that it of type SourceInfo |
| 2024-05-25 17:14:18 +0200 | <edrx> | and that field is of the form "original leading pos trailing endPos" |
| 2024-05-25 17:14:46 +0200 | <edrx> | and I want to inspect its field "leading", that is of type Substring |
| 2024-05-25 17:14:54 +0200 | <edrx> | etc etc |
| 2024-05-25 17:16:47 +0200 | <edrx> | I do these things a lot in the languages that I use most, that are Lua and Emacs Lisp... but in Haskell and Lean I don't have any idea of how to that in a way that is not very clumsy - like a series of lets and ifs in a do block |
| 2024-05-25 17:17:57 +0200 | <edrx> | any suggestion? I mean, besides "this is exactly the wrong way of debugging in Haskell"? |
| 2024-05-25 17:20:07 +0200 | danza_ | (~francesco@151.37.228.150) (Read error: Connection reset by peer) |
| 2024-05-25 17:37:54 +0200 | bjorkintosh | (~bjork@user/bjorkintosh) |
| 2024-05-25 17:42:26 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Ping timeout: 260 seconds) |
| 2024-05-25 17:44:25 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) (Quit: The Lounge - https://thelounge.chat) |
| 2024-05-25 17:45:02 +0200 | Luj | (~Luj@2a01:e0a:de4:a0e1:be24:11ff:febc:b5b5) |
| 2024-05-25 17:54:24 +0200 | machinedgod | (~machinedg@d173-183-246-216.abhsia.telus.net) |
| 2024-05-25 18:00:43 +0200 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2024-05-25 18:02:38 +0200 | tremon | (~tremon@83.80.159.219) |
| 2024-05-25 18:10:30 +0200 | <mauke> | edrx: is your question how to access a deeply nested field that may not even exist? |
| 2024-05-25 18:10:56 +0200 | <mauke> | due to the intermediate structures being sum types |
| 2024-05-25 18:14:39 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-25 18:15:07 +0200 | <mauke> | if it's just a one-off thing, you can pattern match arbitrarily deep: case x of { Node (Original s _ _ _) _ _ -> Just s; _ -> Nothing } |
| 2024-05-25 18:15:29 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-25 18:15:37 +0200 | <mauke> | otherwise I'd probably look at lenses/prisms because they're bound to have some operators for this |
| 2024-05-25 18:19:05 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2024-05-25 18:19:06 +0200 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Read error: Connection reset by peer) |
| 2024-05-25 18:22:11 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 264 seconds) |
| 2024-05-25 18:32:56 +0200 | <edrx> | mauke: yes - formally they may not exist, but I'm in a case in which I know that they exist, so I'd like to reduce the error handling to a mininum... |
| 2024-05-25 18:33:57 +0200 | <edrx> | mauke: about "case x of { Node (Original s _ _ _) _ _ -> Just s; _ -> Nothing }" - thanks, I had not written the code yet! |
| 2024-05-25 18:35:50 +0200 | <mauke> | you can also use a pattern on the LHS of a let binding, but if it doesn't actually match at runtime, it'll error |
| 2024-05-25 18:36:16 +0200 | philopsos1 | (~caecilius@user/philopsos) |
| 2024-05-25 18:36:31 +0200 | <edrx> | mauke: in Lean it should be possible to write macros for that, but that's above my skills ATM, so I need to start doing everything by hand |
| 2024-05-25 18:37:23 +0200 | <edrx> | mauke: so the let acts as a "case" thing with two cases, and the second - that yield an error - is implicit? |
| 2024-05-25 18:38:03 +0200 | <mauke> | pretty much, but IIRC it's lazy |
| 2024-05-25 18:38:12 +0200 | <edrx> | mauke: if you have an example of that that will help me a lot |
| 2024-05-25 18:38:21 +0200 | <mauke> | > let (Just x) = Nothing in length [x, x, x] |
| 2024-05-25 18:38:22 +0200 | <lambdabot> | 3 |
| 2024-05-25 18:38:25 +0200 | <mauke> | > let (Just x) = Nothing in x |
| 2024-05-25 18:38:27 +0200 | <lambdabot> | *Exception: <interactive>:3:5-22: Non-exhaustive patterns in Just x |
| 2024-05-25 18:38:33 +0200 | <edrx> | thanks!!! |
| 2024-05-25 18:39:14 +0200 | <edrx> | I need to go to a place without internet now but I'll try to digest that =) thanks a lot!!! =) |
| 2024-05-25 18:39:20 +0200 | edrx | (~Eduardo@179-191-223-123.static.sumicity.net.br) (Killed buffer) |
| 2024-05-25 18:40:12 +0200 | <mauke> | heh, IRCing from emacs |
| 2024-05-25 18:40:19 +0200 | <mauke> | and/or brazil |
| 2024-05-25 18:40:50 +0200 | mreh | (~matthew@host86-160-168-107.range86-160.btcentralplus.com) |
| 2024-05-25 18:42:44 +0200 | philopsos1 | (~caecilius@user/philopsos) (Ping timeout: 260 seconds) |
| 2024-05-25 18:53:45 +0200 | <ski> | they're an emacser, has advertized some convenience (?) mode in #emacs |
| 2024-05-25 18:55:53 +0200 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) |
| 2024-05-25 18:56:32 +0200 | ystael | (~ystael@user/ystael) |
| 2024-05-25 19:03:41 +0200 | mreh | (~matthew@host86-160-168-107.range86-160.btcentralplus.com) (Ping timeout: 252 seconds) |
| 2024-05-25 19:04:28 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-25 19:07:48 +0200 | mud | (~mud@user/kadoban) (Quit: quit) |
| 2024-05-25 19:08:35 +0200 | troydm | (~troydm@user/troydm) (Ping timeout: 272 seconds) |
| 2024-05-25 19:11:38 +0200 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2024-05-25 19:14:05 +0200 | ystael | (~ystael@user/ystael) (Ping timeout: 240 seconds) |
| 2024-05-25 19:16:04 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-25 19:17:51 +0200 | Square2 | (~Square@user/square) |
| 2024-05-25 19:24:06 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-25 19:31:26 +0200 | tzh | (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 2024-05-25 20:05:58 +0200 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2024-05-25 20:09:26 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-25 20:10:06 +0200 | gdown | (~gavin@h69-11-149-109.kndrid.broadband.dynamic.tds.net) (Remote host closed the connection) |
| 2024-05-25 20:16:50 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 252 seconds) |
| 2024-05-25 20:17:14 +0200 | euphores | (~SASL_euph@user/euphores) |
| 2024-05-25 20:19:18 +0200 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2024-05-25 20:29:17 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-25 20:37:05 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:1adf:6622:dda2:d177) (Remote host closed the connection) |
| 2024-05-25 20:37:25 +0200 | tabemann | (~tabemann@2600:1700:7990:24e0:ed03:9e52:504:2b59) |
| 2024-05-25 20:43:28 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) |
| 2024-05-25 20:44:27 +0200 | califax | (~califax@user/califx) (Remote host closed the connection) |
| 2024-05-25 20:44:49 +0200 | califax | (~califax@user/califx) |
| 2024-05-25 20:57:23 +0200 | destituion | (~destituio@2a02:2121:607:127a:4f91:ebdf:f515:bca9) (Ping timeout: 256 seconds) |
| 2024-05-25 20:57:45 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) |
| 2024-05-25 21:18:21 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 268 seconds) |
| 2024-05-25 21:35:03 +0200 | billchenchina | (~billchenc@103.152.35.21) (Remote host closed the connection) |
| 2024-05-25 21:36:53 +0200 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2024-05-25 22:14:32 +0200 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2024-05-25 22:16:04 +0200 | michalz | (~michalz@185.246.207.215) |
| 2024-05-25 22:18:28 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 256 seconds) |
| 2024-05-25 22:22:11 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) |
| 2024-05-25 22:24:26 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 22:24:41 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Remote host closed the connection) |
| 2024-05-25 22:25:02 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 22:25:23 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Read error: Connection reset by peer) |
| 2024-05-25 22:25:44 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 22:26:11 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Remote host closed the connection) |
| 2024-05-25 22:26:28 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 22:26:49 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Read error: Connection reset by peer) |
| 2024-05-25 22:26:58 +0200 | tremon | (~tremon@83.80.159.219) (Remote host closed the connection) |
| 2024-05-25 22:27:07 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) |
| 2024-05-25 22:27:58 +0200 | diagnostics0 | (~diagnosti@38.22.211.237) (Read error: Connection reset by peer) |
| 2024-05-25 22:43:55 +0200 | lxsameer | (~lxsameer@Serene/lxsameer) (Ping timeout: 256 seconds) |
| 2024-05-25 22:43:56 +0200 | Eoco | (~ian@128.101.131.218) (Quit: WeeChat 4.1.1) |
| 2024-05-25 22:50:54 +0200 | phma_ | (phma@2001:5b0:2144:1aa8:afa6:899b:a052:d2db) |
| 2024-05-25 22:52:42 +0200 | phma | (~phma@host-67-44-208-55.hnremote.net) (Read error: Connection reset by peer) |
| 2024-05-25 22:58:29 +0200 | mreh | (~mreh@2a00:23c7:2803:ef01:d717:6c61:accb:b053) |
| 2024-05-25 23:00:14 +0200 | mreh | (~mreh@2a00:23c7:2803:ef01:d717:6c61:accb:b053) (Client Quit) |
| 2024-05-25 23:10:10 +0200 | phma_ | (phma@2001:5b0:2144:1aa8:afa6:899b:a052:d2db) (Read error: Connection reset by peer) |
| 2024-05-25 23:10:54 +0200 | phma_ | (~phma@host-67-44-208-128.hnremote.net) |
| 2024-05-25 23:12:47 +0200 | lbseale_ | (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2024-05-25 23:23:37 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2024-05-25 23:25:21 +0200 | pavonia | (~user@user/siracusa) |
| 2024-05-25 23:26:13 +0200 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2024-05-25 23:28:35 +0200 | michalz | (~michalz@185.246.207.215) (Quit: ZNC 1.9.0 - https://znc.in) |
| 2024-05-25 23:29:11 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-25 23:31:26 +0200 | Eoco | (~ian@128.101.131.218) |
| 2024-05-25 23:33:44 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) (Ping timeout: 252 seconds) |
| 2024-05-25 23:37:45 +0200 | destituion | (~destituio@2001:4644:c37:0:6086:64f4:a213:b80d) (Ping timeout: 272 seconds) |
| 2024-05-25 23:37:46 +0200 | peterbecich | (~Thunderbi@syn-047-229-123-186.res.spectrum.com) |
| 2024-05-25 23:38:17 +0200 | destituion | (~destituio@2a02:2121:607:127a:8ad9:5c0a:45fb:3e09) |
| 2024-05-25 23:39:04 +0200 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2024-05-25 23:39:35 +0200 | rvalue | (~rvalue@user/rvalue) |
| 2024-05-25 23:53:59 +0200 | raehik | (~raehik@rdng-25-b2-v4wan-169990-cust1344.vm39.cable.virginm.net) (Ping timeout: 264 seconds) |
| 2024-05-25 23:56:23 +0200 | paddymahoney | (~paddymaho@pool-99-250-26-190.cpe.net.cable.rogers.com) (Ping timeout: 264 seconds) |