| 2023-12-28 00:01:21 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Ping timeout: 252 seconds) |
| 2023-12-28 00:05:33 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 2023-12-28 00:07:11 +0100 | mestre | (~mestre@191.177.165.219) (Ping timeout: 264 seconds) |
| 2023-12-28 00:11:00 +0100 | euleritian | (~euleritia@dynamic-046-114-170-054.46.114.pool.telefonica.de) (Ping timeout: 268 seconds) |
| 2023-12-28 00:12:30 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-28 00:15:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-28 00:28:47 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-28 00:33:47 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-28 00:45:31 +0100 | chomwitt | (~chomwitt@2a02:587:7a1b:bb00:1ac0:4dff:fedb:a3f1) (Ping timeout: 256 seconds) |
| 2023-12-28 00:47:42 +0100 | mmhat | (~mmh@p200300f1c7323ce5ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-12-28 00:51:01 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-12-28 00:51:12 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |
| 2023-12-28 00:51:48 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-28 01:09:33 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2023-12-28 01:10:18 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2023-12-28 01:10:30 +0100 | acidjnk | (~acidjnk@p200300d6e72b93690592ad695073e43e.dip0.t-ipconnect.de) (Ping timeout: 256 seconds) |
| 2023-12-28 01:16:54 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-28 01:19:15 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 01:21:00 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-28 01:23:11 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-12-28 01:23:40 +0100 | <haskellbridge> | 04<oak> In the past year I've worked with a client writing Nix code everyday, we also considered using Guix at some point. But the quick glance at Guix looks like it's "lessons learned" from Nix and they try to do better in the core technological choices. It's just "a bit too GNU-style project", and you need to separately add non-guix. Then politically it is hard because talking about |
| 2023-12-28 01:23:41 +0100 | <haskellbridge> | non-guix in offic… |
| 2023-12-28 01:23:41 +0100 | <haskellbridge> | 04<oak> ial guix channels is considered a "hate speech" |
| 2023-12-28 01:25:49 +0100 | <haskellbridge> | 04<oak> Some core parts of Nix/NixOS are quite horrible or they have lot of tecnhological debt in some of the core nixosModules. They are not so much usable to the everyday NixOS user, but when you want to start to strip off the stuff from the base system, it gets quite hard |
| 2023-12-28 01:26:07 +0100 | <haskellbridge> | 04<oak> s/usable/visible |
| 2023-12-28 01:28:58 +0100 | <geekosaur> | there's been some discussion of nix in -offtopic, the innards sound kinda horrid |
| 2023-12-28 01:32:20 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:1472:444c:111b:708b) (Remote host closed the connection) |
| 2023-12-28 01:33:12 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:1472:444c:111b:708b) |
| 2023-12-28 01:33:14 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:1472:444c:111b:708b) (Read error: Connection reset by peer) |
| 2023-12-28 01:34:26 +0100 | <haskellbridge> | 06<sm> presumably nix fans should be helping nickel.. ? |
| 2023-12-28 01:34:32 +0100 | malte | (~malte@mal.tc) (Read error: Connection reset by peer) |
| 2023-12-28 01:34:39 +0100 | <haskellbridge> | 06<sm> it sounded like a way forward |
| 2023-12-28 01:35:09 +0100 | <exarkun> | There isn't really agreement abut which direction is foreward |
| 2023-12-28 01:35:49 +0100 | <exarkun> | Nix core hasn't managed to scale development to match the size of the community |
| 2023-12-28 01:35:59 +0100 | <yushyin> | but it is not nickel ... |
| 2023-12-28 01:36:57 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) (Quit: Leaving.) |
| 2023-12-28 01:42:47 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 01:42:47 +0100 | malte | (~malte@mal.tc) |
| 2023-12-28 01:45:03 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (Ping timeout: 268 seconds) |
| 2023-12-28 01:46:11 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-12-28 01:46:54 +0100 | euleritian | (~euleritia@business-178-013-000-142.static.arcor-ip.net) |
| 2023-12-28 01:48:22 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-28 01:49:17 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 2023-12-28 01:57:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-12-28 01:58:01 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-28 01:58:33 +0100 | picnoir | (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 2023-12-28 02:01:17 +0100 | bilegeek | (~bilegeek@2600:1008:b06e:9646:92b9:2d:294f:ebdf) |
| 2023-12-28 02:02:56 +0100 | <haskellbridge> | 05<irregularsphere> I'm wondering, if RealWorld is magical, what does a non-bottom value _look_ like? |
| 2023-12-28 02:03:59 +0100 | <haskellbridge> | 05<irregularsphere> Ah nevermind there's none |
| 2023-12-28 02:04:36 +0100 | <geekosaur> | RealWorld isn't even very magical |
| 2023-12-28 02:05:15 +0100 | <haskellbridge> | 05<irregularsphere> The documentation says so |
| 2023-12-28 02:05:27 +0100 | <haskellbridge> | 05<irregularsphere> https://hackage.haskell.org/package/base-4.19.0.0/docs/GHC-Exts.html#t:RealWorld |
| 2023-12-28 02:05:33 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9305:2152:242d:e2e3) (Ping timeout: 256 seconds) |
| 2023-12-28 02:06:27 +0100 | <haskellbridge> | 05<irregularsphere> Yea just realized I was looking at *data* RealWorld, not a type declaration |
| 2023-12-28 02:06:37 +0100 | <haskellbridge> | 05<irregularsphere> what was I thinking |
| 2023-12-28 02:07:04 +0100 | <haskellbridge> | 05<irregularsphere> i mean it's all that type declaration* |
| 2023-12-28 02:07:23 +0100 | <haskellbridge> | 05<irregularsphere> does the bridge handle redactions well? |
| 2023-12-28 02:07:31 +0100 | xff0x | (~xff0x@178.255.149.135) |
| 2023-12-28 02:07:44 +0100 | <geekosaur> | it doesn't do edits or deletes |
| 2023-12-28 02:08:09 +0100 | <geekosaur> | edits just echo the edited line, deletes are ignored because IRC doesn't have history |
| 2023-12-28 02:09:02 +0100 | <geekosaur> | afaik the only magic is (1) `runRW#` and (2) its size is zero so it gets dropped during code generation |
| 2023-12-28 02:09:40 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-28 02:15:00 +0100 | Square | (~Square@user/square) (Ping timeout: 252 seconds) |
| 2023-12-28 02:15:12 +0100 | <int-e> | But "it" isn't `RealWorld`, it's `State# s` (where it doesn't really matter whether s = RealWorld or not) |
| 2023-12-28 02:17:05 +0100 | Lord_of_Life_ | (~Lord@user/lord-of-life/x-2819915) |
| 2023-12-28 02:18:34 +0100 | Lord_of_Life | (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 276 seconds) |
| 2023-12-28 02:18:34 +0100 | Lord_of_Life_ | Lord_of_Life |
| 2023-12-28 02:21:55 +0100 | <monochrom> | Technically, "magical" just means the compiler has hardcoded special treatment. But the special treatment can still be trivial. |
| 2023-12-28 02:24:53 +0100 | xff0x | (~xff0x@178.255.149.135) (Ping timeout: 252 seconds) |
| 2023-12-28 02:26:44 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9305:2152:242d:e2e3) |
| 2023-12-28 02:30:39 +0100 | <geekosaur> | it says "deeply magical". afaik all the deep magic now lives in runRW# |
| 2023-12-28 02:32:15 +0100 | sawilagar | (~sawilagar@user/sawilagar) (Ping timeout: 260 seconds) |
| 2023-12-28 02:38:53 +0100 | araujo | (~araujo@216.73.163.37) |
| 2023-12-28 03:03:16 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 245 seconds) |
| 2023-12-28 03:09:10 +0100 | erina | (~erina@178.157.56.217.16clouds.com) |
| 2023-12-28 03:09:34 +0100 | bilegeek | (~bilegeek@2600:1008:b06e:9646:92b9:2d:294f:ebdf) (Quit: Leaving) |
| 2023-12-28 03:19:54 +0100 | <Lycurgus> | what does deletes? |
| 2023-12-28 03:20:31 +0100 | <Lycurgus> | or 'redactions' |
| 2023-12-28 03:20:45 +0100 | <Lycurgus> | other than ppl |
| 2023-12-28 03:21:04 +0100 | <geekosaur> | matrix and discord support editing and deleting messages |
| 2023-12-28 03:21:15 +0100 | <Lycurgus> | i c |
| 2023-12-28 03:21:15 +0100 | <geekosaur> | the bridge is to matrix |
| 2023-12-28 03:21:53 +0100 | <Lycurgus> | do some channels turn that off? |
| 2023-12-28 03:22:12 +0100 | <Lycurgus> | sounds 1984ish |
| 2023-12-28 03:22:42 +0100 | <geekosaur> | I don't think so |
| 2023-12-28 03:23:17 +0100 | <geekosaur> | in any case IRC doesn't support them so nothing happens when the bridge receives them |
| 2023-12-28 03:24:18 +0100 | <Lycurgus> | it's appropriate to a transcript but not to live dialog |
| 2023-12-28 03:25:34 +0100 | <Lycurgus> | transcript/captioning |
| 2023-12-28 03:26:06 +0100 | <Lycurgus> | in real time |
| 2023-12-28 03:26:43 +0100 | <geekosaur> | as to 1984, there are more 1984ish features than that, like server-side persistent history |
| 2023-12-28 03:27:03 +0100 | <geekosaur> | that, at least, can be disabled |
| 2023-12-28 03:27:14 +0100 | <Lycurgus> | well that was winstons job at minitruth |
| 2023-12-28 03:33:52 +0100 | <geekosaur> | most people can only edit or deletee their own messages. moderators can do it to any message, but at least in the rooms I'm in it's reserved for spam |
| 2023-12-28 03:34:38 +0100 | <geekosaur> | other rooms may operate under different rules, but yeh no, nobody made me god so I only moderate obvious spam |
| 2023-12-28 03:38:20 +0100 | <haskellbridge> | 06<sm> clients like Element normally show when a message has been edited, and the full history of edits. So not quite like 1984. I find it a godsend for fixing my (and tools') content flaws |
| 2023-12-28 03:40:42 +0100 | erina | (~erina@178.157.56.217.16clouds.com) (Remote host closed the connection) |
| 2023-12-28 03:41:05 +0100 | erina | (~erina@2001:da8:d800:bf39:ba5f:5794:aa79:145) |
| 2023-12-28 03:45:27 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:5475:1864:2ce2:3923) (Remote host closed the connection) |
| 2023-12-28 03:45:42 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) |
| 2023-12-28 03:49:38 +0100 | bilegeek | (~bilegeek@2600:1008:b06e:9646:92b9:2d:294f:ebdf) |
| 2023-12-28 03:54:14 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 268 seconds) |
| 2023-12-28 03:59:42 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer) |
| 2023-12-28 04:00:00 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-28 04:03:09 +0100 | petrichor | (~znc-user@user/petrichor) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-28 04:03:17 +0100 | xff0x | (~xff0x@2405:6580:b080:900:9305:2152:242d:e2e3) (Ping timeout: 256 seconds) |
| 2023-12-28 04:03:28 +0100 | petrichor | (~znc-user@user/petrichor) |
| 2023-12-28 04:03:31 +0100 | Lycurgus | looks forward to macrodata refinement |
| 2023-12-28 04:03:48 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Client Quit) |
| 2023-12-28 04:04:11 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-28 04:05:24 +0100 | rosco | (~rosco@14.191.93.45) |
| 2023-12-28 04:16:13 +0100 | mmhat | (~mmh@p200300f1c7323ce5ee086bfffe095315.dip0.t-ipconnect.de) (Quit: WeeChat 4.1.2) |
| 2023-12-28 04:17:12 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) (Read error: Connection reset by peer) |
| 2023-12-28 04:19:14 +0100 | Katarushisu1 | (~Katarushi@cpc147790-finc20-2-0-cust502.4-2.cable.virginm.net) |
| 2023-12-28 04:19:17 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 240 seconds) |
| 2023-12-28 04:26:28 +0100 | finn_elija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-28 04:26:28 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Killed (NickServ (Forcing logout FinnElija -> finn_elija))) |
| 2023-12-28 04:26:28 +0100 | finn_elija | FinnElija |
| 2023-12-28 04:27:48 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-28 04:28:43 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-28 04:29:48 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) (Remote host closed the connection) |
| 2023-12-28 04:30:25 +0100 | FinnElija | (~finn_elij@user/finn-elija/x-0085643) |
| 2023-12-28 04:30:37 +0100 | td_ | (~td@i53870914.versanet.de) (Ping timeout: 256 seconds) |
| 2023-12-28 04:32:13 +0100 | td_ | (~td@i5387093c.versanet.de) |
| 2023-12-28 04:32:51 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-12-28 04:33:13 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-28 04:35:59 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 264 seconds) |
| 2023-12-28 04:39:22 +0100 | tertek | (~tertek@user/tertek) (Quit: %quit%) |
| 2023-12-28 04:39:42 +0100 | tertek | (~tertek@user/tertek) |
| 2023-12-28 04:50:53 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) |
| 2023-12-28 05:07:05 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2023-12-28 05:07:28 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-28 05:07:56 +0100 | rosco | (~rosco@14.191.93.45) (Quit: Lost terminal) |
| 2023-12-28 05:20:14 +0100 | aforemny_ | (~aforemny@2001:9e8:6cde:3e00:e38e:ee65:e4a3:4952) |
| 2023-12-28 05:21:17 +0100 | aforemny | (~aforemny@2001:9e8:6cf9:b600:ba7b:aec4:48c0:e281) (Ping timeout: 240 seconds) |
| 2023-12-28 05:21:35 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 2023-12-28 05:22:00 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-28 05:23:39 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-28 05:30:17 +0100 | trev | (~trev@user/trev) |
| 2023-12-28 05:32:26 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 2023-12-28 05:32:40 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-28 05:39:15 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 05:42:51 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-12-28 05:50:36 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Quit: Konversation terminated!) |
| 2023-12-28 05:50:50 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-28 05:56:22 +0100 | araujo | (~araujo@216.73.163.37) (Ping timeout: 246 seconds) |
| 2023-12-28 05:59:27 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) (Remote host closed the connection) |
| 2023-12-28 05:59:47 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 06:00:53 +0100 | bitdex | (~bitdex@gateway/tor-sasl/bitdex) |
| 2023-12-28 06:03:16 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 245 seconds) |
| 2023-12-28 06:09:41 +0100 | igemnace | (~ian@user/igemnace) (Quit: WeeChat 4.1.2) |
| 2023-12-28 06:10:36 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-28 06:18:26 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Read error: Connection reset by peer) |
| 2023-12-28 06:18:51 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) |
| 2023-12-28 06:25:46 +0100 | igemnace | (~ian@user/igemnace) (Remote host closed the connection) |
| 2023-12-28 06:52:07 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 06:56:29 +0100 | phma_ | (phma@2001:5b0:212a:cc48:c9f9:7e07:9de9:17d1) |
| 2023-12-28 06:57:55 +0100 | phma | (phma@2001:5b0:210d:e5c8:5b6c:6fdf:a5b6:3ad0) (Read error: Connection reset by peer) |
| 2023-12-28 07:04:11 +0100 | tomboy64 | (~tomboy64@user/tomboy64) (Ping timeout: 256 seconds) |
| 2023-12-28 07:04:36 +0100 | tomboy64 | (~tomboy64@user/tomboy64) |
| 2023-12-28 07:05:02 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-12-28 07:13:31 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2023-12-28 07:14:25 +0100 | erina | (~erina@2001:da8:d800:bf39:ba5f:5794:aa79:145) (Ping timeout: 246 seconds) |
| 2023-12-28 07:23:34 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-28 07:40:14 +0100 | rosco | (~rosco@14.191.93.45) |
| 2023-12-28 07:44:55 +0100 | michalz | (~michalz@185.246.207.218) |
| 2023-12-28 07:47:34 +0100 | chillxmas | grpc |
| 2023-12-28 07:52:42 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-28 07:55:35 +0100 | rosco | (~rosco@14.191.93.45) (Quit: Lost terminal) |
| 2023-12-28 07:58:13 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) |
| 2023-12-28 08:10:29 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-28 08:14:06 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-12-28 08:17:09 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Ping timeout: 256 seconds) |
| 2023-12-28 08:27:23 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-12-28 08:29:34 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-28 08:34:30 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 252 seconds) |
| 2023-12-28 08:35:20 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) |
| 2023-12-28 08:35:54 +0100 | steew | (~steew@user/steew) (Ping timeout: 256 seconds) |
| 2023-12-28 08:37:33 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection) |
| 2023-12-28 08:37:50 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) |
| 2023-12-28 08:46:33 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection) |
| 2023-12-28 08:46:51 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) |
| 2023-12-28 08:49:33 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection) |
| 2023-12-28 08:49:47 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 264 seconds) |
| 2023-12-28 08:49:51 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) |
| 2023-12-28 08:53:41 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 245 seconds) |
| 2023-12-28 09:05:15 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) |
| 2023-12-28 09:09:13 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-28 09:16:13 +0100 | shriekingnoise | (~shrieking@186.137.175.87) (Ping timeout: 256 seconds) |
| 2023-12-28 09:24:20 +0100 | phma_ | phma |
| 2023-12-28 09:29:56 +0100 | euleritian | (~euleritia@business-178-013-000-142.static.arcor-ip.net) (Ping timeout: 245 seconds) |
| 2023-12-28 09:30:44 +0100 | euleritian | (~euleritia@dynamic-046-114-174-139.46.114.pool.telefonica.de) |
| 2023-12-28 09:32:27 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2023-12-28 09:40:20 +0100 | _myclm | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) |
| 2023-12-28 09:40:36 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) |
| 2023-12-28 09:40:39 +0100 | myclm_ | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Ping timeout: 260 seconds) |
| 2023-12-28 09:43:23 +0100 | sroso | (~sroso@user/SrOso) |
| 2023-12-28 09:48:03 +0100 | _myclm | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection) |
| 2023-12-28 09:48:21 +0100 | _myclm | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) |
| 2023-12-28 09:51:06 +0100 | steew | (~steew@user/steew) |
| 2023-12-28 09:51:33 +0100 | _myclm | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Remote host closed the connection) |
| 2023-12-28 09:51:50 +0100 | _myclm | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) |
| 2023-12-28 09:56:18 +0100 | tromp | (~textual@92-110-219-57.cable.dynamic.v4.ziggo.nl) (Read error: Connection reset by peer) |
| 2023-12-28 09:57:26 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) |
| 2023-12-28 10:04:12 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) (Quit: zzz) |
| 2023-12-28 10:08:31 +0100 | _myclm | (~myclm_@2a02:810d:b83f:fcc0:7766:ea2b:35b7:e568) (Ping timeout: 276 seconds) |
| 2023-12-28 10:11:33 +0100 | misterfish | (~misterfis@g250100.upc-g.chello.nl) |
| 2023-12-28 10:12:28 +0100 | steew_ | (~steew@user/steew) |
| 2023-12-28 10:13:11 +0100 | steew | (~steew@user/steew) (Ping timeout: 268 seconds) |
| 2023-12-28 10:13:11 +0100 | steew_ | steew |
| 2023-12-28 10:14:25 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-28 10:14:28 +0100 | CiaoSen | (~Jura@2a05:5800:27f:5500:ca4b:d6ff:fec1:99da) |
| 2023-12-28 10:15:19 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-12-28 10:16:38 +0100 | acidjnk | (~acidjnk@p200300d6e72b93695034e58544c46cc6.dip0.t-ipconnect.de) |
| 2023-12-28 10:18:33 +0100 | Ellenor | (ellenor@callbox.trd.is) (Ping timeout: 256 seconds) |
| 2023-12-28 10:18:49 +0100 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-28 10:19:08 +0100 | michalz | (~michalz@185.246.207.221) |
| 2023-12-28 10:19:49 +0100 | steew | (~steew@user/steew) (Ping timeout: 255 seconds) |
| 2023-12-28 10:20:43 +0100 | euleritian | (~euleritia@dynamic-046-114-174-139.46.114.pool.telefonica.de) (Read error: Connection reset by peer) |
| 2023-12-28 10:21:01 +0100 | euleritian | (~euleritia@business-178-013-000-142.static.arcor-ip.net) |
| 2023-12-28 10:22:37 +0100 | steew | (~steew@user/steew) |
| 2023-12-28 10:23:02 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-28 10:23:54 +0100 | michalz | (~michalz@185.246.207.221) (Client Quit) |
| 2023-12-28 10:23:58 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-28 10:24:05 +0100 | Tuplanolla | (~Tuplanoll@91-159-69-171.elisa-laajakaista.fi) |
| 2023-12-28 10:33:52 +0100 | not_reserved | (~not_reser@154.16.157.93) (Quit: Client closed) |
| 2023-12-28 10:40:12 +0100 | bilegeek | (~bilegeek@2600:1008:b06e:9646:92b9:2d:294f:ebdf) (Quit: Leaving) |
| 2023-12-28 10:45:30 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-28 10:53:13 +0100 | Sgeo | (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 2023-12-28 10:55:50 +0100 | mokee | (~mokee@37.228.215.150) |
| 2023-12-28 11:02:28 +0100 | mikess | (~sam@user/mikess) (Ping timeout: 276 seconds) |
| 2023-12-28 11:03:55 +0100 | <haskellbridge> | 15<Jade> The way I understand the "magic" of `RealWorld` is that it's a dummy value so the compiler doesn't reorder things that are in IO |
| 2023-12-28 11:05:23 +0100 | euleritian | (~euleritia@business-178-013-000-142.static.arcor-ip.net) (Ping timeout: 264 seconds) |
| 2023-12-28 11:05:41 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Ping timeout: 240 seconds) |
| 2023-12-28 11:05:55 +0100 | euleritian | (~euleritia@dynamic-046-114-174-139.46.114.pool.telefonica.de) |
| 2023-12-28 11:06:59 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) (Quit: Leaving) |
| 2023-12-28 11:10:39 +0100 | <c_wraith> | Jade: It has some other properties that used to be unique - it compiles down to a zero-size representation at runtime, for instance. That's no longer unique, as GHC finally added ways to defined types like that for your own uses, but for a long time it was special. |
| 2023-12-28 11:12:27 +0100 | <haskellbridge> | 15<Jade> ah interesting, thank you |
| 2023-12-28 11:12:40 +0100 | __monty__ | (~toonn@user/toonn) |
| 2023-12-28 11:12:44 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-28 11:17:10 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 2023-12-28 11:18:15 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 11:19:45 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 11:20:32 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-12-28 11:20:41 +0100 | mokee | (~mokee@37.228.215.150) (Quit: off) |
| 2023-12-28 11:20:48 +0100 | causal | (~eric@50.35.85.7) |
| 2023-12-28 11:21:00 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-28 11:21:38 +0100 | xff0x | (~xff0x@125x103x176x34.ap125.ftth.ucom.ne.jp) (Ping timeout: 268 seconds) |
| 2023-12-28 11:23:19 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 260 seconds) |
| 2023-12-28 11:24:32 +0100 | <causal> | how rough is binding to c/cpp in haskell land? |
| 2023-12-28 11:28:41 +0100 | eggplantade | (~Eggplanta@104-55-37-220.lightspeed.sntcca.sbcglobal.net) (Remote host closed the connection) |
| 2023-12-28 11:29:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-28 11:33:16 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Ping timeout: 245 seconds) |
| 2023-12-28 11:38:41 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2023-12-28 11:39:32 +0100 | chele | (~chele@user/chele) |
| 2023-12-28 11:43:42 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Ping timeout: 252 seconds) |
| 2023-12-28 11:44:00 +0100 | xdminsy | (~xdminsy@117.147.71.169) |
| 2023-12-28 11:48:47 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-28 11:50:07 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 11:55:48 +0100 | michalz | (~michalz@185.246.207.218) |
| 2023-12-28 11:56:31 +0100 | michalz | (~michalz@185.246.207.218) (Client Quit) |
| 2023-12-28 11:59:18 +0100 | michalz | (~michalz@185.246.207.201) |
| 2023-12-28 12:09:50 +0100 | <mauke> | causal: C is pretty nice.I haven't tried C++ yet |
| 2023-12-28 12:14:07 +0100 | misterfish | (~misterfis@g250100.upc-g.chello.nl) (Ping timeout: 255 seconds) |
| 2023-12-28 12:16:51 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2023-12-28 12:19:18 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 12:24:27 +0100 | mmhat | (~mmh@p200300f1c7323ce5ee086bfffe095315.dip0.t-ipconnect.de) |
| 2023-12-28 12:25:20 +0100 | misterfish | (~misterfis@87.215.131.102) |
| 2023-12-28 12:25:21 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 256 seconds) |
| 2023-12-28 12:26:41 +0100 | mmhat | (~mmh@p200300f1c7323ce5ee086bfffe095315.dip0.t-ipconnect.de) (Client Quit) |
| 2023-12-28 12:27:08 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-28 12:29:13 +0100 | rosco | (~rosco@118.69.78.236) |
| 2023-12-28 12:30:52 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) (Ping timeout: 276 seconds) |
| 2023-12-28 12:31:03 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-28 12:31:21 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) |
| 2023-12-28 12:31:21 +0100 | dibblego | (~dibblego@122-199-1-93.ip4.superloop.au) (Changing host) |
| 2023-12-28 12:31:21 +0100 | dibblego | (~dibblego@haskell/developer/dibblego) |
| 2023-12-28 12:32:29 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 240 seconds) |
| 2023-12-28 12:33:13 +0100 | rosco | (~rosco@118.69.78.236) (Client Quit) |
| 2023-12-28 12:34:21 +0100 | xff0x | (~xff0x@2405:6580:b080:900:c3f5:7df3:b5ee:188a) |
| 2023-12-28 12:34:30 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-28 12:35:56 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 268 seconds) |
| 2023-12-28 12:37:07 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving) |
| 2023-12-28 12:38:46 +0100 | Feuermagier | (~Feuermagi@user/feuermagier) |
| 2023-12-28 12:38:52 +0100 | LispTyro | (~pepsi@129.159.85.69) (Quit: leaving) |
| 2023-12-28 12:39:01 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-28 12:39:54 +0100 | madnight | (~madnight@static.59.103.201.195.clients.your-server.de) |
| 2023-12-28 12:42:00 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) (Ping timeout: 252 seconds) |
| 2023-12-28 12:43:50 +0100 | waleee | (~waleee@h-176-10-144-38.NA.cust.bahnhof.se) |
| 2023-12-28 12:47:28 +0100 | igemnace | (~ian@user/igemnace) (Read error: Connection reset by peer) |
| 2023-12-28 12:49:58 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-28 12:51:33 +0100 | flounders | (~flounders@24.246.176.178) |
| 2023-12-28 13:04:16 +0100 | igemnace | (~ian@user/igemnace) |
| 2023-12-28 13:11:11 +0100 | puke | (~puke@user/puke) (Ping timeout: 245 seconds) |
| 2023-12-28 13:13:21 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-28 13:14:46 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 13:14:56 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2023-12-28 13:15:30 +0100 | puke | (~puke@user/puke) |
| 2023-12-28 13:16:25 +0100 | puke | Guest5388 |
| 2023-12-28 13:16:25 +0100 | pyooque | (~puke@user/puke) |
| 2023-12-28 13:16:25 +0100 | Guest5388 | (~puke@user/puke) (Killed (zirconium.libera.chat (Nickname regained by services))) |
| 2023-12-28 13:16:25 +0100 | pyooque | puke |
| 2023-12-28 13:16:52 +0100 | Guest5388 | (~puke@user/puke) |
| 2023-12-28 13:16:52 +0100 | puke | Guest1942 |
| 2023-12-28 13:16:52 +0100 | Guest5388 | puke |
| 2023-12-28 13:17:11 +0100 | CrunchyFlakes | (~CrunchyFl@ip92348280.dynamic.kabel-deutschland.de) |
| 2023-12-28 13:17:31 +0100 | Guest1942 | (~puke@user/puke) (Client Quit) |
| 2023-12-28 13:17:50 +0100 | Guest1942 | (~puke@user/puke) |
| 2023-12-28 13:17:50 +0100 | puke | Guest9345 |
| 2023-12-28 13:17:50 +0100 | Guest1942 | puke |
| 2023-12-28 13:18:04 +0100 | puke | (~puke@user/puke) (Remote host closed the connection) |
| 2023-12-28 13:18:05 +0100 | Guest9345 | (~puke@user/puke) (Client Quit) |
| 2023-12-28 13:18:29 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2023-12-28 13:18:34 +0100 | puke | (~puke@user/puke) |
| 2023-12-28 13:23:20 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 13:28:02 +0100 | steew_ | (~steew@user/steew) |
| 2023-12-28 13:29:43 +0100 | steew | (~steew@user/steew) (Ping timeout: 255 seconds) |
| 2023-12-28 13:29:44 +0100 | steew_ | steew |
| 2023-12-28 13:32:29 +0100 | phma | (phma@2001:5b0:212a:cc48:c9f9:7e07:9de9:17d1) (Read error: Connection reset by peer) |
| 2023-12-28 13:33:24 +0100 | phma | (~phma@host-67-44-208-195.hnremote.net) |
| 2023-12-28 13:38:04 +0100 | mt000_ROM | (~mt@2400:2411:c6e1:5800:db07:ec1e:cc61:26a9) |
| 2023-12-28 13:47:42 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) |
| 2023-12-28 13:57:10 +0100 | <sshine> | causal, it depends, but initially it can be simple; https://wiki.haskell.org/Foreign_Function_Interface |
| 2023-12-28 14:00:55 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-28 14:13:43 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 246 seconds) |
| 2023-12-28 14:18:13 +0100 | <haskellbridge> | 15<Jade> I'm starting to appreciate `ReaderT` at the moment |
| 2023-12-28 14:18:47 +0100 | <haskellbridge> | 15<Jade> it's such a cool pattern which makes carrying state throughout the application so much easier |
| 2023-12-28 14:19:04 +0100 | <haskellbridge> | 15<Jade> I'm also starting to grasp the underlying concepts of monad transformers and such which is really cool |
| 2023-12-28 14:22:07 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) |
| 2023-12-28 14:34:23 +0100 | <haskellbridge> | 14<mauke> We had ReaderT in C, but we called it a "function parameter" |
| 2023-12-28 14:34:48 +0100 | <__monty__> | Constant state? |
| 2023-12-28 14:35:16 +0100 | mt000_ROM | (~mt@2400:2411:c6e1:5800:db07:ec1e:cc61:26a9) (Ping timeout: 268 seconds) |
| 2023-12-28 14:37:39 +0100 | <haskellbridge> | 14<mauke> const struct context *ctx |
| 2023-12-28 14:42:23 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-28 14:48:02 +0100 | <haskellbridge> | 15<Jade> yeah but it's an implicit parameter which makes it cool :P |
| 2023-12-28 14:48:11 +0100 | <haskellbridge> | 15<Jade> or rather a parameter that's hidden but still there |
| 2023-12-28 14:53:07 +0100 | billchenchina | (~billchenc@2a0d:2580:ff0c:1:e3c9:c52b:a429:5bfe) (Remote host closed the connection) |
| 2023-12-28 14:53:31 +0100 | billchenchina | (~billchenc@103.152.35.21) |
| 2023-12-28 15:01:50 +0100 | CiaoSen | (~Jura@2a05:5800:27f:5500:ca4b:d6ff:fec1:99da) (Ping timeout: 260 seconds) |
| 2023-12-28 15:12:58 +0100 | Square | (~Square@user/square) |
| 2023-12-28 15:14:30 +0100 | sawilagar | (~sawilagar@user/sawilagar) |
| 2023-12-28 15:18:01 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-28 15:21:38 +0100 | shriekingnoise | (~shrieking@186.137.175.87) |
| 2023-12-28 15:29:39 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 256 seconds) |
| 2023-12-28 15:31:24 +0100 | billchenchina- | (~billchenc@58.19.1.245) |
| 2023-12-28 15:33:41 +0100 | billchenchina | (~billchenc@103.152.35.21) (Ping timeout: 245 seconds) |
| 2023-12-28 15:34:31 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Ping timeout: 245 seconds) |
| 2023-12-28 15:34:36 +0100 | <haskellbridge> | 15<Jade> uhhh, when using `gi-*` bindings do you have to free/manage memory? |
| 2023-12-28 15:35:55 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) |
| 2023-12-28 15:37:55 +0100 | <exarkun> | How do I do this polymorphic return thing? https://gist.github.com/exarkun/77622a77b8ba98b78882939554f39c6f |
| 2023-12-28 15:41:04 +0100 | <exarkun> | I see how I could get rid of the Action class and just have a sum type. But is that the only path? I just want to expose the Cls instance to the caller, the different types involved don't otherwise matter |
| 2023-12-28 15:42:01 +0100 | <trev> | should i use GHC.Arr or Data.Array (hidden)? |
| 2023-12-28 15:46:52 +0100 | grpc | (~chillxmas@176.254.244.83) (Quit: Connection error?!) |
| 2023-12-28 15:47:02 +0100 | <Rembane> | exarkun: I would use a sum type but that's not very exciting and won't give you the extensibility you might seek? |
| 2023-12-28 15:47:47 +0100 | regret | (~regret@176.254.244.83) |
| 2023-12-28 15:49:21 +0100 | <Rembane> | exarkun: Is there any specific reason for why you want to use type classes? |
| 2023-12-28 15:49:26 +0100 | rvalue | (~rvalue@user/rvalue) (Read error: Connection reset by peer) |
| 2023-12-28 15:49:46 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-28 15:50:23 +0100 | <exarkun> | no particular reason I want to use type classes, but I was hoping to avoid making a centralized ever-growing sum type |
| 2023-12-28 15:51:12 +0100 | billchenchina- | (~billchenc@58.19.1.245) (Ping timeout: 252 seconds) |
| 2023-12-28 15:51:21 +0100 | <exarkun> | (as much to understand the extent to which this is possible as for any practical purpose) |
| 2023-12-28 15:53:35 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) |
| 2023-12-28 15:53:41 +0100 | jespada | (~jespada@cpc121308-nmal25-2-0-cust15.19-2.cable.virginm.net) |
| 2023-12-28 15:56:18 +0100 | <Rembane> | exarkun: There's a paper called something with Tagless Final Encoding that handles that but the code looks funny. Lets see if I can find the paper because I believe it describes how to do the same thing using GADTs too. |
| 2023-12-28 15:57:01 +0100 | boxscape_ | (~boxscape_@p4ff0bcf4.dip0.t-ipconnect.de) |
| 2023-12-28 15:58:04 +0100 | <Rembane> | I thoght this was easier to understand than it seems now. https://okmij.org/ftp/tagless-final/JFP.pdf |
| 2023-12-28 15:58:31 +0100 | <Rembane> | This is a bit easier to get through: https://serokell.io/blog/introduction-tagless-final |
| 2023-12-28 16:01:18 +0100 | <Rembane> | This also seems interesting in this context: https://www.reddit.com/r/haskell/comments/zx8ycc/extensible_asts_with_extensible_types/ |
| 2023-12-28 16:01:48 +0100 | <exarkun> | nice, thank you |
| 2023-12-28 16:02:36 +0100 | <[Leary]> | exarkun: It sounds like you want an existential, e.g. `data Some cls where Some :: cls a => a -> Some cls`. You can also encode it with a polymorphic continuation: `load :: String -> (forall c. Cls c => c -> r) -> Maybe r`. |
| 2023-12-28 16:07:10 +0100 | <exarkun> | [Leary]: is the casing of all of the cls variables in that example correct? in particular, `cls a => ...` looks like a new thing to me |
| 2023-12-28 16:08:58 +0100 | <[Leary]> | Yes, it's correct. You could hard-code `Cls` there, but it's fine to take a `* -> Constraint` parameter instead. |
| 2023-12-28 16:09:21 +0100 | <boxscape_> | If I activate any GHC plugin for my project, even a plugin that does nothing, it takes an additional 30 seconds or so at the beginning and end of the compilation process, regardless of how much is being compiled. Is that normal? |
| 2023-12-28 16:13:39 +0100 | michalz | (~michalz@185.246.207.201) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-28 16:13:57 +0100 | michalz | (~michalz@185.246.207.218) |
| 2023-12-28 16:16:35 +0100 | VioletJewel | vi6j |
| 2023-12-28 16:22:44 +0100 | michalz | (~michalz@185.246.207.218) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-28 16:23:01 +0100 | michalz | (~michalz@185.246.207.197) |
| 2023-12-28 16:26:36 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-28 16:27:18 +0100 | Xyloes | (~wyx@2400:dd01:103a:1012:d681:d7ff:fedb:298d) (Remote host closed the connection) |
| 2023-12-28 16:28:29 +0100 | misterfish | (~misterfis@87.215.131.102) (Ping timeout: 240 seconds) |
| 2023-12-28 16:30:23 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 16:32:34 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-28 16:32:36 +0100 | sesher | (~quassel@70.35.195.123) |
| 2023-12-28 16:32:49 +0100 | sesher | (~quassel@70.35.195.123) (https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 2023-12-28 16:37:26 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 245 seconds) |
| 2023-12-28 16:39:47 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-12-28 16:54:21 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-28 16:56:28 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-12-28 16:56:51 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-28 17:03:01 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2023-12-28 17:03:54 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 17:05:47 +0100 | <boxscape_> | Ah, interestingly it only happens in Windows, if I compile in WSL this doesn't happen |
| 2023-12-28 17:06:40 +0100 | lortabac | (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.1.1) |
| 2023-12-28 17:08:16 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 245 seconds) |
| 2023-12-28 17:10:04 +0100 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-28 17:12:30 +0100 | mima | (~mmh@151.217.91.151) |
| 2023-12-28 17:12:55 +0100 | michalz | (~michalz@185.246.207.197) |
| 2023-12-28 17:19:35 +0100 | troydm | (~troydm@user/troydm) (Quit: What is Hope? That all of your wishes and all of your dreams come true? To turn back time because things were not supposed to happen like that (C) Rau Le Creuset) |
| 2023-12-28 17:19:50 +0100 | chomwitt | (~chomwitt@ppp-94-68-4-224.home.otenet.gr) |
| 2023-12-28 17:22:00 +0100 | Sgeo | (~Sgeo@user/sgeo) |
| 2023-12-28 17:22:34 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) () |
| 2023-12-28 17:22:54 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-28 17:26:26 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 17:26:36 +0100 | kmein | (~weechat@user/kmein) (Ping timeout: 245 seconds) |
| 2023-12-28 17:26:41 +0100 | A_Dragon | (A_D@libera/staff/dragon) |
| 2023-12-28 17:27:00 +0100 | kmein | (~weechat@user/kmein) |
| 2023-12-28 17:27:58 +0100 | A_Dragon | Festive_Dragon |
| 2023-12-28 17:28:35 +0100 | Festive_Derg | (A_D@libera/staff/dragon) (Killed (Festive_Dragon (BEGONE GHOST OF MY PAST))) |
| 2023-12-28 17:28:58 +0100 | Festive_Dragon | Festive_Derg |
| 2023-12-28 17:33:10 +0100 | mikess | (~sam@user/mikess) |
| 2023-12-28 17:34:53 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2023-12-28 17:36:09 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) (Quit: Restarting) |
| 2023-12-28 17:36:31 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-28 17:38:26 +0100 | eL_Bart0 | (eL_Bart0@dietunichtguten.org) |
| 2023-12-28 17:39:57 +0100 | mima | (~mmh@151.217.91.151) (Ping timeout: 268 seconds) |
| 2023-12-28 17:40:38 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 17:40:39 +0100 | troydm | (~troydm@user/troydm) |
| 2023-12-28 17:45:14 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-28 17:46:27 +0100 | shapr | (~user@2600:1700:c640:3100:91b9:2627:67b0:2574) |
| 2023-12-28 17:50:40 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 276 seconds) |
| 2023-12-28 17:55:46 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 245 seconds) |
| 2023-12-28 17:57:58 +0100 | econo_ | (uid147250@id-147250.tinside.irccloud.com) |
| 2023-12-28 17:58:03 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-28 18:01:49 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-28 18:01:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 2023-12-28 18:01:54 +0100 | shapr | (~user@2600:1700:c640:3100:91b9:2627:67b0:2574) (Remote host closed the connection) |
| 2023-12-28 18:02:09 +0100 | shapr | (~user@2600:1700:c640:3100:df92:2247:2d58:6395) |
| 2023-12-28 18:02:13 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-28 18:10:22 +0100 | boxscape_ | (~boxscape_@p4ff0bcf4.dip0.t-ipconnect.de) (Ping timeout: 260 seconds) |
| 2023-12-28 18:10:30 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2023-12-28 18:11:24 +0100 | forell | (~forell@user/forell) |
| 2023-12-28 18:13:52 +0100 | machinedgod | (~machinedg@d198-53-218-113.abhsia.telus.net) (Ping timeout: 268 seconds) |
| 2023-12-28 18:14:43 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 2023-12-28 18:14:55 +0100 | jmdaemon | (~jmdaemon@user/jmdaemon) (Ping timeout: 260 seconds) |
| 2023-12-28 18:15:43 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) |
| 2023-12-28 18:19:48 +0100 | shapr | (~user@2600:1700:c640:3100:df92:2247:2d58:6395) (Remote host closed the connection) |
| 2023-12-28 18:22:47 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-28 18:25:22 +0100 | xdminsy | (~xdminsy@117.147.71.169) (Ping timeout: 246 seconds) |
| 2023-12-28 18:25:23 +0100 | forell | (~forell@user/forell) (Quit: ZNC - https://znc.in) |
| 2023-12-28 18:27:08 +0100 | forell | (~forell@user/forell) |
| 2023-12-28 18:28:30 +0100 | rvalue | (~rvalue@user/rvalue) (Ping timeout: 252 seconds) |
| 2023-12-28 18:31:04 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) |
| 2023-12-28 18:38:56 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) (Ping timeout: 252 seconds) |
| 2023-12-28 18:39:20 +0100 | rvalue | (~rvalue@user/rvalue) |
| 2023-12-28 18:40:12 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) |
| 2023-12-28 18:45:35 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-28 18:48:53 +0100 | vi6j | vi- |
| 2023-12-28 18:50:43 +0100 | chele | (~chele@user/chele) (Remote host closed the connection) |
| 2023-12-28 18:52:57 +0100 | tzh | (~tzh@c-71-193-181-0.hsd1.or.comcast.net) |
| 2023-12-28 18:53:33 +0100 | ht_ | (~Thunderbi@194.110.115.56) |
| 2023-12-28 18:54:54 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Ping timeout: 252 seconds) |
| 2023-12-28 18:54:54 +0100 | ht_ | _ht |
| 2023-12-28 19:00:44 +0100 | chomwitt | (~chomwitt@ppp-94-68-4-224.home.otenet.gr) (Ping timeout: 268 seconds) |
| 2023-12-28 19:08:21 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 2023-12-28 19:08:36 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:1472:444c:111b:708b) |
| 2023-12-28 19:08:40 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-28 19:09:43 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-28 19:09:53 +0100 | L29Ah | (~L29Ah@wikipedia/L29Ah) |
| 2023-12-28 19:10:13 +0100 | chomwitt | (~chomwitt@2a02:587:7a0c:fb00:1ac0:4dff:fedb:a3f1) |
| 2023-12-28 19:11:02 +0100 | lerax | (~user@177-104-241-159.gbsn.com.br) (Remote host closed the connection) |
| 2023-12-28 19:12:30 +0100 | wootehfoot | (~wootehfoo@user/wootehfoot) |
| 2023-12-28 19:18:56 +0100 | haritz | (~hrtz@user/haritz) (Ping timeout: 268 seconds) |
| 2023-12-28 19:19:45 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 19:21:56 +0100 | mestre | (~mestre@191.177.165.219) |
| 2023-12-28 19:23:07 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 246 seconds) |
| 2023-12-28 19:26:50 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-28 19:29:18 +0100 | pavonia | (~user@user/siracusa) (Quit: Bye!) |
| 2023-12-28 19:31:16 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 268 seconds) |
| 2023-12-28 19:32:15 +0100 | boxscape_ | (~boxscape_@p4ff0bcf4.dip0.t-ipconnect.de) |
| 2023-12-28 19:34:50 +0100 | mestre | (~mestre@191.177.165.219) (Quit: Lost terminal) |
| 2023-12-28 19:52:14 +0100 | Square | (~Square@user/square) (Remote host closed the connection) |
| 2023-12-28 19:59:33 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) (Remote host closed the connection) |
| 2023-12-28 19:59:56 +0100 | notzmv | (~zmv@user/notzmv) (Ping timeout: 245 seconds) |
| 2023-12-28 20:02:11 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-28 20:12:11 +0100 | ht_ | (~Thunderbi@194.110.115.24) |
| 2023-12-28 20:14:19 +0100 | _ht | (~Thunderbi@194.110.115.56) (Ping timeout: 276 seconds) |
| 2023-12-28 20:14:19 +0100 | ht_ | _ht |
| 2023-12-28 20:19:02 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-28 20:21:19 +0100 | azimut | (~azimut@gateway/tor-sasl/azimut) (Ping timeout: 240 seconds) |
| 2023-12-28 20:21:27 +0100 | azimut_ | (~azimut@gateway/tor-sasl/azimut) |
| 2023-12-28 20:31:07 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 256 seconds) |
| 2023-12-28 20:34:03 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) |
| 2023-12-28 20:35:19 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Remote host closed the connection) |
| 2023-12-28 20:38:29 +0100 | nate4 | (~nate@c-98-45-158-125.hsd1.ca.comcast.net) (Ping timeout: 240 seconds) |
| 2023-12-28 20:40:06 +0100 | target_i | (~target_i@217.175.14.39) |
| 2023-12-28 20:42:35 +0100 | igemnace | (~ian@user/igemnace) (Remote host closed the connection) |
| 2023-12-28 20:47:24 +0100 | waldo | (~waldo@user/waldo) |
| 2023-12-28 20:47:52 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-28 20:49:06 +0100 | szkl | (uid110435@id-110435.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 2023-12-28 20:50:28 +0100 | oo_miguel | (~Thunderbi@78-11-179-96.static.ip.netia.com.pl) (Quit: oo_miguel) |
| 2023-12-28 20:53:31 +0100 | mikess | (~sam@user/mikess) (Quit: leaving) |
| 2023-12-28 21:06:38 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-28 21:10:46 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) (Ping timeout: 245 seconds) |
| 2023-12-28 21:14:31 +0100 | mima_ | (~mmh@151.217.91.151) |
| 2023-12-28 21:16:33 +0100 | johnw | (~johnw@69.62.242.138) (Quit: ZNC - http://znc.in) |
| 2023-12-28 21:18:05 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) (Ping timeout: 240 seconds) |
| 2023-12-28 21:18:16 +0100 | peterbecich | (~Thunderbi@047-229-123-186.res.spectrum.com) (Ping timeout: 245 seconds) |
| 2023-12-28 21:25:17 +0100 | regret | (~regret@176.254.244.83) (Ping timeout: 240 seconds) |
| 2023-12-28 21:29:31 +0100 | mima_ | (~mmh@151.217.91.151) (Ping timeout: 260 seconds) |
| 2023-12-28 21:31:02 +0100 | CAT_S | (apic@brezn3.muc.ccc.de) |
| 2023-12-28 21:42:30 +0100 | Square | (~Square@user/square) |
| 2023-12-28 21:42:59 +0100 | regret | (~regret@176.254.244.83) |
| 2023-12-28 21:45:35 +0100 | zetef | (~quassel@2a02:2f00:5309:7300:1472:444c:111b:708b) (Remote host closed the connection) |
| 2023-12-28 21:45:48 +0100 | trev | (~trev@user/trev) (Quit: trev) |
| 2023-12-28 21:46:04 +0100 | ht_ | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) |
| 2023-12-28 21:46:58 +0100 | Guest|65 | (~Guest|65@178.71.203.234) |
| 2023-12-28 21:46:58 +0100 | Guest|65 | (~Guest|65@178.71.203.234) (Client Quit) |
| 2023-12-28 21:48:10 +0100 | _ht | (~Thunderbi@194.110.115.24) (Ping timeout: 268 seconds) |
| 2023-12-28 21:48:10 +0100 | ht_ | _ht |
| 2023-12-28 21:48:35 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 264 seconds) |
| 2023-12-28 21:48:48 +0100 | eron | (~eron@168.196.116.143) |
| 2023-12-28 21:48:53 +0100 | eron | (~eron@168.196.116.143) () |
| 2023-12-28 21:50:59 +0100 | dsrt^ | (~cd@c-98-242-74-66.hsd1.ga.comcast.net) |
| 2023-12-28 21:51:02 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-28 22:02:28 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-dd4f-298a-9c49-a0ed.res6.spectrum.com) (Remote host closed the connection) |
| 2023-12-28 22:02:47 +0100 | hgolden | (~hgolden@2603-8000-9d00-3ed1-a6e3-3ba3-0107-8cff.res6.spectrum.com) |
| 2023-12-28 22:02:55 +0100 | eggplantade | (~Eggplanta@2600:1700:38c5:d800:8480:b23e:f471:b6f1) |
| 2023-12-28 22:09:46 +0100 | bliminse | (~bliminse@user/bliminse) (Ping timeout: 260 seconds) |
| 2023-12-28 22:15:41 +0100 | phma_ | (phma@2001:5b0:2172:bf48:d94b:c147:93b3:7bbe) |
| 2023-12-28 22:18:55 +0100 | phma | (~phma@host-67-44-208-195.hnremote.net) (Ping timeout: 255 seconds) |
| 2023-12-28 22:21:57 +0100 | notzmv | (~zmv@user/notzmv) |
| 2023-12-28 22:22:25 +0100 | michalz | (~michalz@185.246.207.197) (Quit: ZNC 1.8.2 - https://znc.in) |
| 2023-12-28 22:24:04 +0100 | _ht | (~Thunderbi@28-52-174-82.ftth.glasoperator.nl) (Remote host closed the connection) |
| 2023-12-28 22:30:20 +0100 | <TMA> | :t ($) |
| 2023-12-28 22:30:21 +0100 | <lambdabot> | (a -> b) -> a -> b |
| 2023-12-28 22:34:16 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 22:37:18 +0100 | misterfish | (~misterfis@84.53.85.146) (Ping timeout: 260 seconds) |
| 2023-12-28 22:38:07 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2023-12-28 22:39:09 +0100 | misterfish | (~misterfis@84.53.85.146) |
| 2023-12-28 22:46:27 +0100 | sroso | (~sroso@user/SrOso) |
| 2023-12-28 22:54:58 +0100 | coot | (~coot@89-69-206-216.dynamic.chello.pl) (Quit: coot) |
| 2023-12-28 23:05:00 +0100 | <waldo> | :t (<<) |
| 2023-12-28 23:05:01 +0100 | <lambdabot> | error: |
| 2023-12-28 23:05:01 +0100 | <lambdabot> | • Variable not in scope: << |
| 2023-12-28 23:05:01 +0100 | <lambdabot> | • Perhaps you meant one of these: |
| 2023-12-28 23:06:17 +0100 | <waldo> | this bot is a disgrace |
| 2023-12-28 23:06:52 +0100 | <enikar> | :t (>>) |
| 2023-12-28 23:06:53 +0100 | <lambdabot> | Monad m => m a -> m b -> m b |
| 2023-12-28 23:07:15 +0100 | <geekosaur> | why? (<<) doesn't exist |
| 2023-12-28 23:07:28 +0100 | <waldo> | shouldn't it though |
| 2023-12-28 23:07:36 +0100 | <enikar> | I think it exists |
| 2023-12-28 23:07:58 +0100 | <geekosaur> | :t (<*) |
| 2023-12-28 23:07:59 +0100 | <lambdabot> | Applicative f => f a -> f b -> f a |
| 2023-12-28 23:08:23 +0100 | pavonia | (~user@user/siracusa) |
| 2023-12-28 23:08:29 +0100 | <enikar> | Finally it doesn't exist in Control.Monad at least |
| 2023-12-28 23:09:00 +0100 | <enikar> | it's odd. |
| 2023-12-28 23:09:59 +0100 | <geekosaur> | (>>) only exists because do notation desugars into it (and (>>=)) |
| 2023-12-28 23:10:54 +0100 | <geekosaur> | @undo do {a; b; c} |
| 2023-12-28 23:10:55 +0100 | <lambdabot> | a >> b >> c |
| 2023-12-28 23:11:29 +0100 | <monochrom> | Entitled people gonna define universal truth by personal favouritism. |
| 2023-12-28 23:13:33 +0100 | <exarkun> | a certain symmetry would be satisfied by the existence of (<<) surely |
| 2023-12-28 23:13:58 +0100 | <enikar> | we can use (<*) instead |
| 2023-12-28 23:14:33 +0100 | <monochrom> | It's probably too late to add (<<) because (<*) is already around. |
| 2023-12-28 23:14:53 +0100 | araujo | (~araujo@216.73.163.54) |
| 2023-12-28 23:24:59 +0100 | __monty__ | (~toonn@user/toonn) (Quit: leaving) |
| 2023-12-28 23:25:07 +0100 | fendor | (~fendor@2a02:8388:1605:d100:267b:1353:13d7:4f0c) (Remote host closed the connection) |
| 2023-12-28 23:28:16 +0100 | [_] | (~itchyjunk@user/itchyjunk/x-7353470) |
| 2023-12-28 23:29:48 +0100 | target_i | (~target_i@217.175.14.39) (Quit: leaving) |
| 2023-12-28 23:32:04 +0100 | [itchyjunk] | (~itchyjunk@user/itchyjunk/x-7353470) (Ping timeout: 268 seconds) |
| 2023-12-28 23:33:14 +0100 | sroso | (~sroso@user/SrOso) (Quit: Leaving) |
| 2023-12-28 23:38:01 +0100 | Unicorn_Princess | (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Quit: Leaving) |
| 2023-12-28 23:38:22 +0100 | Typedfern | (~Typedfern@220.red-83-37-25.dynamicip.rima-tde.net) (Remote host closed the connection) |
| 2023-12-28 23:44:27 +0100 | bliminse | (~bliminse@user/bliminse) |
| 2023-12-28 23:47:40 +0100 | waldo | (~waldo@user/waldo) (Ping timeout: 256 seconds) |
| 2023-12-28 23:52:10 +0100 | benjaminl | (~benjaminl@user/benjaminl) (Ping timeout: 256 seconds) |
| 2023-12-28 23:55:39 +0100 | takuan | (~takuan@178-116-218-225.access.telenet.be) (Remote host closed the connection) |