IRCBrowse

2025/09/16

2025-09-16 00:01:42 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) AndreiDuma
2025-09-16 00:02:18 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds)
2025-09-16 00:03:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 00:08:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 00:10:53 +0200pavonia(~user@user/siracusa) siracusa
2025-09-16 00:13:34 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 00:15:00 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 00:19:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 00:19:29 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-16 00:19:31 +0200trickard_trickard
2025-09-16 00:20:38 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 00:21:21 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) (Ping timeout: 252 seconds)
2025-09-16 00:21:42 +0200Sgeo(~Sgeo@user/sgeo) Sgeo
2025-09-16 00:22:27 +0200emmanuelux(~emmanuelu@user/emmanuelux) emmanuelux
2025-09-16 00:24:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-16 00:25:09 +0200Alleria(~Alleria@user/alleria) (Remote host closed the connection)
2025-09-16 00:25:48 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 00:25:48 +0200Alleria(~Alleria@user/alleria) Alleria
2025-09-16 00:26:27 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 00:26:27 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 00:26:27 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 00:28:39 +0200acidjnk(~acidjnk@p200300d6e717197300fd7e96ed6c05af.dip0.t-ipconnect.de) (Ping timeout: 250 seconds)
2025-09-16 00:29:01 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 255 seconds)
2025-09-16 00:30:38 +0200Googulator58Googulator
2025-09-16 00:35:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 00:38:29 +0200rvalue-(~rvalue@about/hackers/rvalue) rvalue
2025-09-16 00:39:48 +0200rvalue(~rvalue@about/hackers/rvalue) (Ping timeout: 256 seconds)
2025-09-16 00:39:55 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-16 00:43:31 +0200califax(~califax@user/califx) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-16 00:43:50 +0200califax(~califax@user/califx) califx
2025-09-16 00:46:07 +0200arandombit(~arandombi@user/arandombit) (Quit: arandombit)
2025-09-16 00:47:21 +0200Guest9690(~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a)
2025-09-16 00:47:49 +0200rvalue-rvalue
2025-09-16 00:49:10 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-16 00:50:39 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 00:50:51 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 00:50:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 00:52:13 +0200Guest9690(~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) (Client Quit)
2025-09-16 00:55:36 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-16 00:55:52 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-16 00:56:22 +0200Guest6702(~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a)
2025-09-16 01:05:08 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds)
2025-09-16 01:06:15 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-16 01:06:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 01:07:29 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 248 seconds)
2025-09-16 01:11:18 +0200Alleria(~Alleria@user/alleria) (Ping timeout: 260 seconds)
2025-09-16 01:11:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-16 01:14:47 +0200sprotte24(~sprotte24@p200300d16f206a00f427621420b32ac2.dip0.t-ipconnect.de) (Quit: Leaving)
2025-09-16 01:16:52 +0200Guest6702(~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-16 01:17:44 +0200Tuplanolla(~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) (Quit: Leaving.)
2025-09-16 01:19:56 +0200Alleria(~Alleria@user/alleria) Alleria
2025-09-16 01:20:12 +0200sajenim(~sajenim@user/sajenim) (Ping timeout: 252 seconds)
2025-09-16 01:21:40 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Remote host closed the connection)
2025-09-16 01:21:56 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-16 01:22:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 01:25:06 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-16 01:29:19 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-16 01:40:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 01:41:30 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 01:41:44 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 01:45:22 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-16 01:49:28 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 01:52:11 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 01:52:22 +0200sajenim(~sajenim@user/sajenim) sajenim
2025-09-16 01:52:37 +0200trickard_trickard
2025-09-16 01:56:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 01:58:15 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 245 seconds)
2025-09-16 02:01:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-16 02:10:59 +0200mange(~mange@user/mange) mange
2025-09-16 02:11:29 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-16 02:11:50 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 02:12:04 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 02:12:08 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 02:16:51 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-16 02:16:54 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 02:21:06 +0200weary-traveler(~user@user/user363627) user363627
2025-09-16 02:22:09 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 02:27:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 02:33:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 02:42:35 +0200xff0x(~xff0x@2405:6580:b080:900:8846:d27a:34b2:3e5) (Ping timeout: 248 seconds)
2025-09-16 02:44:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 02:48:49 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-16 02:53:22 +0200StatisticalIndep(~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa)
2025-09-16 02:59:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 03:06:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-16 03:17:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 03:19:36 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds)
2025-09-16 03:22:10 +0200 <StatisticalIndep> Hi. Can someone help me with Hackage documentation. It is way too often that I come across an important library that is entirely undocumented in the sense of how it is meant to be used, and only documented as a reference. Making is impossible to figure out the intended use. … In some cases it just points to some research papers. I don’t want to
2025-09-16 03:22:10 +0200 <StatisticalIndep> read a 50 page research paper. There should be a documentation of the intended use at the top of the page, no? … Am I missing something? Or is that just the current state of things?
2025-09-16 03:22:26 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 03:23:00 +0200trickard_trickard
2025-09-16 03:30:32 +0200 <yin> not unusual. you can usually guide yourself by the types and clicking functions to see their definition
2025-09-16 03:30:55 +0200 <yin> the language facilitates this
2025-09-16 03:31:50 +0200 <yin> but if you're finding documentation lacking, i'd suggest to move on to better documented library alternatives
2025-09-16 03:31:59 +0200Alleria(~Alleria@user/alleria) (Remote host closed the connection)
2025-09-16 03:32:56 +0200Alleria(~Alleria@user/alleria) Alleria
2025-09-16 03:33:12 +0200 <Lycurgus> in the spectrum of langs where the code is supposed to be self documenting, aside from inline and decorative comments, haskell is closer to the smalltalk end
2025-09-16 03:33:23 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 03:34:14 +0200 <Lycurgus> but libs have APIs and their sigs, the effective protocol implied can suffice
2025-09-16 03:38:15 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-16 03:43:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 03:44:08 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-16 03:47:21 +0200berberman(~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in)
2025-09-16 03:47:49 +0200jmcantrell_(~weechat@user/jmcantrell) jmcantrell
2025-09-16 03:47:53 +0200jmcantrell_jmcantrell
2025-09-16 03:48:29 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 03:49:05 +0200berberman(~berberman@user/berberman) berberman
2025-09-16 03:52:22 +0200tabaqui(~tabaqui@167.71.80.236) tabaqui
2025-09-16 03:52:39 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-16 03:53:53 +0200 <geekosaur> also I'd note that most relevant research papers are (a) short (b) not too technical (c) quite readable
2025-09-16 03:55:14 +0200 <geekosaur> there are exceptions, but in many of those cases (e.g. Parsec) the "research paper" is more like a users guide anyway
2025-09-16 03:55:37 +0200 <geekosaur> (exceptions to point (a), at least)
2025-09-16 03:57:09 +0200OftenFaded(~OftenFade@user/tisktisk) (Ping timeout: 250 seconds)
2025-09-16 03:59:30 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 04:00:28 +0200 <StatisticalIndep> yin: Well, the cases in point would be things like Control.Arrow, the regex libraries, the printf function, or the entire generics/SYB black magic. But even basic Foldable/Traversable have some nasty catches, where it is just implied you know that that seemingly entirely unrelated more generic function, in this case, works to do the job of a common
2025-09-16 04:00:28 +0200 <StatisticalIndep> expected function that seems to be just missing. Without a guide, that is impossible to find! … And that the types can tell you what a function does, seems to be an old mantra, but really, even basic math operations prove that wrong. (What does (Int -> Int -> Int) do? XD) Unless you make a `type` for each of them, to give them descriptive
2025-09-16 04:00:28 +0200 <StatisticalIndep> identifiers, of course. ;) …
2025-09-16 04:01:21 +0200 <StatisticalIndep> geekosaur: Parsec was a positive exception indeed. I liked it quite a lot.
2025-09-16 04:02:25 +0200 <StatisticalIndep> geekosaur: Though we should really get rid of that “Parsec from Temu” that forms the basis of the Read class. I actually thought it was meant to be used outside of GHC’s automatic deriving! ;)
2025-09-16 04:04:18 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 04:04:20 +0200 <StatisticalIndep> geekosaur: Amen to your comment about research papers. (I wish there was an easy way to learn what it takes to write a research paper. It seems to require a whole basket of arcane rituals to be acceptable. ;)
2025-09-16 04:04:27 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-16 04:06:17 +0200poscat0x04(~poscat@user/poscat) poscat
2025-09-16 04:07:41 +0200poscat(~poscat@user/poscat) (Ping timeout: 244 seconds)
2025-09-16 04:11:48 +0200 <StatisticalIndep> BTW: Am I using the wrong language, for trying to write a library that offers persistent variable? As in: Can be used like a variable (ok maybe IORef), but is a pointer (and size) in a file on disk. It seems Haskell is very averse to the strategy of just loading a chunk of data from disk into RAM and then setting a pointer to a data structure to
2025-09-16 04:11:49 +0200 <StatisticalIndep> that chunk. Making it hard, but possibly necessary to retain Haskell’s reliability guarantees?
2025-09-16 04:13:53 +0200 <jackdk> StatisticalIndep: does https://hackage.haskell.org/package/mmap-0.5.9/docs/System-IO-MMap.html look like it might solve your problem? I'm not sure I understand what problem you're trying to solve yet
2025-09-16 04:15:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 04:16:25 +0200 <StatisticalIndep> jackdk: Ultimately, to leave a mark on the universe that improves the wisdom and happiness of humanity. 😁
2025-09-16 04:16:49 +0200 <jackdk> StatisticalIndep: a fine ultimate goal, but do you have a subgoal in-between?
2025-09-16 04:16:53 +0200nschoe(~nschoe@2a01:e0a:8e:a190:eb80:e362:f8e1:aa2f) (Quit: ZNC 1.8.2 - https://znc.in)
2025-09-16 04:17:10 +0200nschoe(~nschoe@82-65-202-30.subs.proxad.net) nschoe
2025-09-16 04:20:01 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-16 04:21:55 +0200Alleria(~Alleria@user/alleria) (Quit: Textual IRC Client: www.textualapp.com)
2025-09-16 04:31:06 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 04:36:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 04:38:02 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 04:40:12 +0200 <StatisticalIndep> jackdk: To stop people from always assuming the thing I said I want is not the right solution for the thing I want it for. (The “XY problem” fallacy.) 😁 … (Or in this case, there is no deeper reason. I want to explore writing a library that offers transparently persistent variables. Nothing more.)
2025-09-16 04:42:48 +0200 <jackdk> StatisticalIndep: Well I'd probably look at building something that used the https://hackage.haskell.org/package/StateVar interface, and then back it with either the mmap link from before (remember to use a `bracket` function to ensure that you unmap even if an exception is thrown) or some other file io
2025-09-16 04:43:49 +0200 <StatisticalIndep> System.IO.MMap looks pretty good, btw. If only there was no marshalling.
2025-09-16 04:45:10 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 04:45:10 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 04:45:10 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 04:45:18 +0200 <StatisticalIndep> Ah, yes, StateVar was a pretty nice experience, when I used SDL. Comes really close to it, indeed.
2025-09-16 04:46:31 +0200 <StatisticalIndep> jackdk: Thanks a lot!
2025-09-16 04:46:53 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 04:47:21 +0200 <geekosaur> re marshaling: requiring STorable doesn't seem like much of an issue, and you would need it anyway because Haskell values aren't designed to be meaningful outside of Haskell's heap
2025-09-16 04:48:24 +0200 <StatisticalIndep> Interesting: The Storable instances for basic types seem to be implemented inside GHC, and the libraries just use stuff like (writeWordOffAddr# = writeWordOffAddr#). So there is probably no actual marshalling work, and it’s fast and 1:1.
2025-09-16 04:50:15 +0200 <StatisticalIndep> geekosaur: Yes, that’s probably my core pet peeve with how Haskell in implemented. It makes interoperation hard. But I get why it was chosen. The whole point was that all types should be checked at compile time, not at runtime. (Hence also things like dynamic libraries and variants with types that aren’t know at compile time yet, being hard or
2025-09-16 04:50:15 +0200 <StatisticalIndep> impossible.)
2025-09-16 04:51:37 +0200 <geekosaur> not only that, but Haskell's implementation of types allows for laziness in the form of thunks, which wouldn't be meaningful to non-Haskell code (a "value" can be a Haskell function that computes the value when demanded)
2025-09-16 04:51:38 +0200 <StatisticalIndep> geekosaur: That was what I needed to hear btw: Marshalling is needed in _any_ case. Because the values don’t have type info attached to them and it’s not that simple anyway within Haskell. :)
2025-09-16 04:51:43 +0200 <StatisticalIndep> Yup.
2025-09-16 04:52:01 +0200 <geekosaur> which also requires that everything live in Haskell's heap and non-Haskell code not have access to that heap
2025-09-16 04:52:09 +0200 <StatisticalIndep> And after all, those are all things I came to Haskell for, because I liked them. So now I have to live with it.:D
2025-09-16 04:52:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-16 04:53:31 +0200 <StatisticalIndep> Internally though, the fully evaluated values are of course just normal pointers and words and such, right? Just boxed in boxed boxes that are boxed more than the boss on boxyourboss.com was. ;)
2025-09-16 04:53:42 +0200 <geekosaur> actually I don't see how "doesn't have type information" is related. it's not like C values do
2025-09-16 04:53:58 +0200 <StatisticalIndep> OK, true.
2025-09-16 04:54:39 +0200 <geekosaur> they are… until ADTs get involved. (what representation do you expect a Data.Map to have?)
2025-09-16 04:54:58 +0200 <StatisticalIndep> I guess my mindset came from having seen diagrams of how GHC stores data in memory. Like how lists are linked lists of boxed values. Lots more pointers than one would think.
2025-09-16 04:54:59 +0200 <geekosaur> *Data.Map.Map
2025-09-16 04:55:22 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-16 04:55:56 +0200 <geekosaur> right, and all those pointers introduce places where a value could be computed lazily
2025-09-16 04:56:28 +0200 <geekosaur> (if you don't have optimization enabled, even the strict values have them, but optimization unboxes whenever possible)
2025-09-16 04:58:26 +0200 <StatisticalIndep> I probably expect a Map to internally be stored as an array of pointers, with pointers to keys and to values being interleaved? Or something a bit smarter with fewer pointers. ;)
2025-09-16 04:58:38 +0200StatisticalIndep(~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) (Quit: Client closed)
2025-09-16 04:58:50 +0200StatisticalIndep(~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa)
2025-09-16 04:59:35 +0200 <geekosaur> Maps are actually more complex than that: "The implementation of Map is based on size balanced binary trees (or trees of bounded balance)" (from the documentation)
2025-09-16 04:59:48 +0200 <StatisticalIndep> Ah, yes, i remembered something like that!
2025-09-16 05:00:55 +0200 <geekosaur> which is another reason you must marshal/unmarshal, because it's asking far too much for other languages to have to figure out how Map is a size-balanced binary tree or Seq is a fingertree, etc.
2025-09-16 05:01:15 +0200 <StatisticalIndep> Yep.
2025-09-16 05:01:51 +0200 <hololeap> makes sense that Map is a binary tree, given the (Ord k) constraint on most operations
2025-09-16 05:03:14 +0200 <StatisticalIndep> I just wish I could tell Haskell: to point every pointer to an Int, in e.g. a fixey list of Ints, to a pointer location in a block of mmapped data that contains unboxed ints in exactly the same format as GHC expects them.
2025-09-16 05:03:56 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 05:04:08 +0200 <geekosaur> hypothetically could be done. would really complicate GC, though
2025-09-16 05:04:25 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 05:04:25 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 05:04:25 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 05:04:28 +0200 <geekosaur> and probably make it a lot more expensive, if it has to check if every pointer actually lives in the heap or not
2025-09-16 05:04:31 +0200 <StatisticalIndep> hololeap: It also makes sense from a standpoint of variables being constants in Haskell, and there hence being no such thing as an “insertion”. (The tree has to be reconstructed from the zipper instead.)
2025-09-16 05:05:50 +0200 <StatisticalIndep> geekosaur: Oh, I forgot about GC. Okay, that seals the deal. All those features are more valuable than having that bit of non-marshalled mapping elegance.
2025-09-16 05:07:21 +0200 <geekosaur> we do actually have such a thing as pinned memory, but it's only applicable to ByteArray# and it's handled via an exception list (and I seem to recall hearing of programs that heavily use ByteStrings getting slow because the exception list isn't very efficient?)
2025-09-16 05:08:33 +0200 <geekosaur> GC assumes pinned memory is an exception, not the rule
2025-09-16 05:08:40 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-16 05:10:38 +0200aforemny(~aforemny@2001:9e8:6cce:4800:55ab:c43e:17dc:ff6c) aforemny
2025-09-16 05:11:14 +0200aforemny_(~aforemny@i59F4C711.versanet.de) (Ping timeout: 256 seconds)
2025-09-16 05:13:13 +0200 <hololeap> made me remember this: https://www.channable.com/tech/lessons-in-managing-haskell-memory
2025-09-16 05:16:56 +0200 <StatisticalIndep> In any case, (mmapWithFilePtr "mm" ReadWrite Nothing $ \ (p, _) -> sequence_ $ zipWith (\ c i -> poke (plusPtr p i) c) "ME GO TOO FAR!" [0..]) works nicely enough. ;) (Yes, I know this will break with multi-byte chars.)
2025-09-16 05:19:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 05:22:12 +0200dtman34(~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) dtman34
2025-09-16 05:24:50 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 05:25:22 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Remote host closed the connection)
2025-09-16 05:32:13 +0200 <StatisticalIndep> hololeap: Wow, they practically went to managing their memory manually, but with the GC becoming more of a problem than a use. So as if one would write it in C, but with a GC ghost attacking at night and reaping souls. XD … Yeah, definitely not the route I want to go. XD
2025-09-16 05:35:55 +0200 <hololeap> it's cool they got it working as well as they did, but yeah, it seems like it was a huge hassle
2025-09-16 05:37:07 +0200 <hololeap> geekosaur: do compact regions only work with ByteArray#
2025-09-16 05:37:29 +0200 <geekosaur> they work with anything but they're again special-cased
2025-09-16 05:38:08 +0200 <geekosaur> and the nature of that special casing is why they have so many restrictions, so they don't mess up GC too much (since the whole point of them is to get stuff out of GC's mitts)
2025-09-16 05:39:05 +0200 <geekosaur> in particular, once a pointer is found to point into a compact region, it's immediately dropped from consideration
2025-09-16 05:39:22 +0200 <hololeap> do they work with IORefs?
2025-09-16 05:39:31 +0200 <geekosaur> not usefully
2025-09-16 05:39:46 +0200 <geekosaur> I mean, they "do" but the contents of the IORef must also be in the same compact region
2025-09-16 05:39:57 +0200 <geekosaur> which makes them effectively immmutable
2025-09-16 05:40:06 +0200 <hololeap> I see
2025-09-16 05:40:17 +0200 <hololeap> that makes sense
2025-09-16 05:44:44 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 05:45:03 +0200Axman6(~Axman6@user/axman6) (Ping timeout: 240 seconds)
2025-09-16 05:45:06 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity)
2025-09-16 05:48:18 +0200 <StatisticalIndep> I wonder if it’s possible to be very cheeky, and point a … uuum… completely unrelated (I swear) pointer to that same compact region, and write different values into variables, without telling the runtime. :D
2025-09-16 05:48:18 +0200 <hololeap> I recently discovered the Haskell Interlude podcast
2025-09-16 05:49:15 +0200 <hololeap> I'd never typed "haskell" into the search bar for podcasts before that
2025-09-16 05:49:32 +0200 <jreicher> StatisticalIndep: you want to go behind the back of the runtime providing you the safety that draws you to it in the first place? (Or have I misunderstood?)
2025-09-16 05:49:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 05:49:59 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-16 05:51:15 +0200 <hololeap> I haven't read all the backlog but it sounds like StatisticalIndep is using another lang via FFI
2025-09-16 05:51:47 +0200 <geekosaur> StatisticalIndep, you could do that but don't be surprised if "unrelated" things change their values also
2025-09-16 05:51:51 +0200 <StatisticalIndep> hololeap: Maybe you can answer a question I had for some time: Why do people listen to podcasts? Like live streams, they take such a *huge* amount of time, and are extremely verbose. At least that was my experience. I would like to understand the point of view of people who listen to them, because there must be a reason for them, that I am not
2025-09-16 05:51:51 +0200 <StatisticalIndep> seeing from my POV.
2025-09-16 05:51:52 +0200 <geekosaur> sharing's a thing
2025-09-16 05:52:19 +0200 <geekosaur> you can listen to a podcast while driving without taking your eyes from the road
2025-09-16 05:52:56 +0200 <geekosaur> (I should note that I don't listen to podcasts either. And didn't do what I just suggested, because driving has always been difficult for me due to sensory issues_
2025-09-16 05:52:58 +0200 <hololeap> yeah you can listen while doing things that require your focus outside a computer
2025-09-16 05:52:59 +0200 <geekosaur> )
2025-09-16 05:53:21 +0200 <hololeap> that is 100% why I listen to podcasts
2025-09-16 05:53:32 +0200 <StatisticalIndep> jreicher: You seem to take it seriously. :) … It’s more of a “Hey, what’s the craziest thing we can do?”. Like the inline-asm package. XD
2025-09-16 05:54:36 +0200 <jreicher> There was a perl6 implementation written in Haskell. You could reverse that.
2025-09-16 05:54:46 +0200 <geekosaur> my pet peeve is youtube videos as the only way to learn about something, but that's in large part due to those sensory issues as well
2025-09-16 05:55:03 +0200 <hololeap> when you're working on a menial job you can keep your mind from getting bored. I also sometimes re-listen to a podcast if I spaced out or didn't understand something
2025-09-16 05:55:11 +0200 <StatisticalIndep> hololeap: No, I’m only using Haskell. But I wanted to try to code a small libraries for transparently persistent values. Similar to IORef, but for on-disk data at a position in a file.
2025-09-16 05:55:41 +0200 <hololeap> oh, then I misunderstood
2025-09-16 05:56:06 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 05:56:19 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 05:56:31 +0200 <hololeap> I just assumed but I didn't read all the backlog
2025-09-16 05:56:43 +0200 <StatisticalIndep> geekosaur: Okay, I was never able to do that. My attention is quite intense. So anything on the side completely takes away my ability to concentrate on the task at hand. If you talk to me in the car that I drive, I hope you have your bones numbered. XD
2025-09-16 05:57:08 +0200 <geekosaur> we understand each other, if for different reasons
2025-09-16 05:57:54 +0200 <geekosaur> (I once pissed off my boss by throwing my cellphone on the floor because I couldn't focus on traffic and his questions at the same time)
2025-09-16 05:59:04 +0200 <hololeap> it actually helps my mind to have something physical to do, and I remember the contents of the podcast better if I'm working on something else
2025-09-16 05:59:55 +0200 <hololeap> but we are different people :)
2025-09-16 06:00:07 +0200 <StatisticalIndep> geekosaur: Yes, videos have a massive flaw: They have zero semantic structure and a fixed speed. Unlike text, that has words and sentences and paragraphs and chapters, and where you have basically a gas pedal and can read at any speed, jump back and re-read the last n words multiple times quickly, slow down and ponder, etc …  I thought maybe
2025-09-16 06:00:07 +0200 <StatisticalIndep> I’d develop a semantic video format. Because the structure can be automatically retrieved from the pauses in speech. (Unless it’s one of those insane editors that cut out the pauses between sentences, making it jarring to listen to.)
2025-09-16 06:00:35 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 06:01:34 +0200 <geekosaur> sometimes they're necessary though. I had to watch some videos to do a couple of laptop upgrades, and text just wouldn't have provided the detail of how I needed to get at various parts without breaking things
2025-09-16 06:01:46 +0200 <geekosaur> which didn't mean it was easy for me
2025-09-16 06:02:19 +0200 <hololeap> I honestly wondered why online videos aren't more multiplexed. you could have a separate audio track for background music, for instance, if a video has it and you want to mute it
2025-09-16 06:02:49 +0200 <geekosaur> especially when the parts I most needed to see to keep from breaking my laptop were the things I had the most trouble focusing on
2025-09-16 06:02:50 +0200 <StatisticalIndep> geekosaur: I just had to buy a new phone because I finally broke it. I counted, and I have over a dozen dents in my plastered brick wall from that phone. The screen wasn’t even broken! What broke was the metal shielding under the polycarbonate-overmolded aluminium denting in and probably damaging and shorting a component below. It was built like
2025-09-16 06:02:50 +0200 <StatisticalIndep> a Nokia. :D
2025-09-16 06:03:56 +0200 <StatisticalIndep> Yes, for bicycle repair or origami, videos are great. I just want there to be an image or sound equivalent of text.
2025-09-16 06:05:38 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-16 06:07:18 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds)
2025-09-16 06:07:24 +0200 <StatisticalIndep> hololeap: The reason is that not only is it much more work, but the file gets much bigger too. Not that it is relevant on YouTube, where the streams are separate anyway. But yes, all I know it being used for is channels with tracks in multiple languages, and that subtitle magic that Tom Scott did (yes, YT allows having the subtitles be colored
2025-09-16 06:07:25 +0200 <StatisticalIndep> differently for different speakers!)
2025-09-16 06:10:55 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp)
2025-09-16 06:13:47 +0200 <hololeap> it's actually less work because the software wouldn't have to mix the music in with the voice. it could just copy the stream to the container. it would be a heavier file size, though
2025-09-16 06:15:15 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-16 06:16:54 +0200 <hololeap> I've seen mkv files with multiple audio streams, one for a particular language :)
2025-09-16 06:18:26 +0200 <hololeap> sorry, you just said that. didn't read carefully enough :(
2025-09-16 06:18:38 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 06:19:08 +0200 <StatisticalIndep> hololeap: Okay, yes, seen like that, it is less work. But you could not mix it properly. The volumes need to be different, depending on what other track is active too. Sure, you can use automatic normalization, but any musician or soundscape designer will tear you a new one for trying to disrespect his artistic vision like that. XD
2025-09-16 06:19:35 +0200 <StatisticalIndep> It’s OK. I didn’t notice anyway. ;)
2025-09-16 06:20:39 +0200 <hololeap> disrespecting the gain? I think that should be under the user's control :)
2025-09-16 06:20:42 +0200 <StatisticalIndep> hololeap: Did you even play Quake 3 Defrag? Back in the days, the best trickjumping videos came from Shaolin Productions, and they had multiple entire audio tracks inside them, depending on what style of music you preferred.
2025-09-16 06:22:04 +0200 <hololeap> most games let you adjust the sound via effects, music, and voice channels. that's where I got the idea from
2025-09-16 06:23:05 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-16 06:23:07 +0200 <StatisticalIndep> Not the gain. The gain relative to each other. Like, when there is background music and speech, the music needs to be more quiet when somebody speaks, but not, if the speech track is muted. Similarly, the speech track actually can have more background noises in the “silence” parts, when there is no background music. (E.g. modern cellphones even
2025-09-16 06:23:07 +0200 <StatisticalIndep> have a “comfort noise” function, where non-transmitted silent bits are replaced by procedurally generated quiet noise, so it doesn’t sound like the connection was lost.)
2025-09-16 06:23:24 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 06:23:46 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 06:24:54 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 06:24:54 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 06:24:54 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 06:25:19 +0200 <Lycurgus> force sensitives can tell a dropped link
2025-09-16 06:26:09 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Ping timeout: 250 seconds)
2025-09-16 06:27:02 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-16 06:28:27 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Remote host closed the connection)
2025-09-16 06:28:40 +0200takuan(~takuan@d8D86B9E9.access.telenet.be)
2025-09-16 06:28:42 +0200 <hololeap> I usually turn on some kind of compression when I watch a movie. the dynamics are way too much for a normal TV. I end up turning up the volume during a dialog, and turning it down during action scenes. though, you're right that it's not a problem of bad balance between the different tracks. I see your point
2025-09-16 06:28:47 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-16 06:29:26 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-16 06:29:52 +0200 <StatisticalIndep> I can too. The comfort noise doesn’t sound the same. It’s too bland. And not in the context of the current place the speaker is in. (The impulse response is missing.) But nowadays, phones have multiple microphones and filter out noise anyway.
2025-09-16 06:30:15 +0200 <StatisticalIndep> Btw, we’re quite off-topic now. This should go on #haskell-offtpic, no? ;)
2025-09-16 06:30:40 +0200 <hololeap> lol, yeah we are OT
2025-09-16 06:30:45 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 06:30:53 +0200 <hololeap> I didn't have much else to say about it though ;)
2025-09-16 06:31:44 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection)
2025-09-16 06:32:08 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-09-16 06:32:28 +0200 <StatisticalIndep> It’s night here anyway. And I suspect much of the #haskell community is probably in a time zone close to Glasgow, or the like. ;)
2025-09-16 06:33:14 +0200 <hololeap> there's an American crowd and a European crowd, then the weirdos :p
2025-09-16 06:33:32 +0200 <hololeap> but yeah it's late here for me
2025-09-16 06:34:25 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 06:35:43 +0200 <StatisticalIndep> But I am a European weirdo! XD
2025-09-16 06:37:11 +0200 <hololeap> I recommend #gentoo-chat, which I see you're already in :) lots of weirdos in there...
2025-09-16 06:38:07 +0200haritz(~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-16 06:39:36 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds)
2025-09-16 06:39:39 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli)
2025-09-16 06:43:30 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-16 06:45:43 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 06:47:39 +0200 <StatisticalIndep> Teal’c: Indeed!
2025-09-16 06:49:07 +0200 <StatisticalIndep> I’m more of a #write-my-own-Plan-9-inspired-OS kinda guy though. XD
2025-09-16 06:50:57 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds)
2025-09-16 06:51:36 +0200Unicorn_Princess(~Unicorn_P@user/Unicorn-Princess/x-3540542) Unicorn_Princess
2025-09-16 06:58:27 +0200StatisticalIndep(~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) (Quit: Client closed)
2025-09-16 06:58:39 +0200StatisticalIndep(~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa)
2025-09-16 07:01:33 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 07:06:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-16 07:08:17 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Remote host closed the connection)
2025-09-16 07:08:22 +0200michalz(~michalz@185.246.207.221)
2025-09-16 07:08:39 +0200PKDrinker(~PKDrinker@user/PKDrinker) PKDrinker
2025-09-16 07:08:40 +0200PKDrinker(~PKDrinker@user/PKDrinker) (Remote host closed the connection)
2025-09-16 07:08:51 +0200Lycurgus(~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org ))
2025-09-16 07:17:14 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 07:19:11 +0200trickard_trickard
2025-09-16 07:20:02 +0200Guest82(~Guest82@198.52.128.148)
2025-09-16 07:20:15 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-16 07:20:33 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu)
2025-09-16 07:22:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds)
2025-09-16 07:24:36 +0200Guest82(~Guest82@198.52.128.148) (Client Quit)
2025-09-16 07:26:55 +0200jeztwo(~jeztwo@user/jeztwo) jeztwo
2025-09-16 07:33:03 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 07:38:05 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds)
2025-09-16 07:38:05 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds)
2025-09-16 07:46:45 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 07:50:54 +0200 <fgarcia> gentoo and haskell. nice choices
2025-09-16 07:53:31 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds)
2025-09-16 07:56:30 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity)
2025-09-16 08:04:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 08:09:47 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds)
2025-09-16 08:18:14 +0200jmcantrell(~weechat@user/jmcantrell) (Ping timeout: 256 seconds)
2025-09-16 08:20:27 +0200j0lol(~j0lol@132.145.17.236) (Remote host closed the connection)
2025-09-16 08:20:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 08:20:41 +0200j0lol(~j0lol@132.145.17.236) j0lol
2025-09-16 08:20:52 +0200jeztwo(~jeztwo@user/jeztwo) (Quit: Textual IRC Client: www.textualapp.com)
2025-09-16 08:23:33 +0200Axman6(~Axman6@user/axman6) Axman6
2025-09-16 08:25:34 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds)
2025-09-16 08:27:07 +0200StatisticalIndep(~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) (Quit: Client closed)
2025-09-16 08:30:51 +0200Square(~Square4@user/square) Square
2025-09-16 08:36:21 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) merijn
2025-09-16 08:36:32 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) CiaoSen
2025-09-16 08:41:00 +0200merijn(~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds)
2025-09-16 08:51:44 +0200Sgeo(~Sgeo@user/sgeo) (Read error: Connection reset by peer)
2025-09-16 08:57:02 +0200meinside(uid24933@id-24933.helmsley.irccloud.com) meinside
2025-09-16 08:57:23 +0200fp(~Thunderbi@wireless-86-50-140-85.open.aalto.fi) fp
2025-09-16 09:00:01 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-16 09:00:41 +0200caconym747(~caconym@user/caconym) caconym
2025-09-16 09:05:21 +0200Jackneill_(~Jackneill@94-21-227-192.pool.digikabel.hu) (Ping timeout: 248 seconds)
2025-09-16 09:08:58 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) peterbecich
2025-09-16 09:09:43 +0200robobub(uid248673@id-248673.uxbridge.irccloud.com) robobub
2025-09-16 09:11:02 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 09:15:16 +0200sord937(~sord937@gateway/tor-sasl/sord937) sord937
2025-09-16 09:16:08 +0200koala_man(~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 244 seconds)
2025-09-16 09:17:35 +0200tromp(~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357)
2025-09-16 09:20:11 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 09:25:25 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 255 seconds)
2025-09-16 09:28:12 +0200acidjnk(~acidjnk@p200300d6e717193311482dfc0bb512ca.dip0.t-ipconnect.de) acidjnk
2025-09-16 09:28:19 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 09:28:19 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 09:28:19 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 09:30:34 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-16 09:31:20 +0200peterbecich(~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds)
2025-09-16 09:32:15 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) lortabac
2025-09-16 09:34:34 +0200infinity0(~infinity0@pwned.gg) (Ping timeout: 265 seconds)
2025-09-16 09:35:58 +0200vanishingideal(~vanishing@user/vanishingideal) vanishingideal
2025-09-16 09:41:08 +0200emmanuelux(~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds)
2025-09-16 09:47:36 +0200Buliarous(~gypsydang@46.232.210.139) (Read error: Connection reset by peer)
2025-09-16 09:49:28 +0200vanishingideal(~vanishing@user/vanishingideal) (Ping timeout: 256 seconds)
2025-09-16 09:54:40 +0200infinity0(~infinity0@pwned.gg) infinity0
2025-09-16 10:01:02 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-16 10:07:24 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer)
2025-09-16 10:07:46 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) tzh
2025-09-16 10:08:11 +0200ft(~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving)
2025-09-16 10:10:19 +0200mari-estel(~mari-este@user/mari-estel) (Ping timeout: 260 seconds)
2025-09-16 10:11:32 +0200mari-estel(~mari-este@user/mari-estel) mari-estel
2025-09-16 10:23:19 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 10:23:33 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 10:32:42 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 10:34:40 +0200kaskal(~kaskal@2a02:8388:15bf:c200:3edd:e10d:d41e:f619) (Ping timeout: 244 seconds)
2025-09-16 10:34:40 +0200ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 244 seconds)
2025-09-16 10:34:40 +0200evanrelf(3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 244 seconds)
2025-09-16 10:34:50 +0200bwe43736(~bwe@2a01:4f8:1c1c:4878::2) bwe
2025-09-16 10:35:11 +0200sefidel(~sefidel@user/sefidel) (Ping timeout: 244 seconds)
2025-09-16 10:35:11 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 244 seconds)
2025-09-16 10:35:11 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 244 seconds)
2025-09-16 10:35:11 +0200msa(msa@msa.planetofnix.com) (Ping timeout: 244 seconds)
2025-09-16 10:35:11 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200alethkit(23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200xnyhps(~xnyhps@s.xnyhps.nl) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200[_________](~oos95GWG@user/oos95GWG) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200stureplan(22e45d5caf@user/stureplan) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200samhh(7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200rselim(ce261f06ff@user/milesrout) (Ping timeout: 244 seconds)
2025-09-16 10:35:42 +0200samhh_samhh
2025-09-16 10:35:55 +0200kaskal(~kaskal@84-115-230-9.cable.dynamic.surfer.at) kaskal
2025-09-16 10:35:57 +0200rembo10_(~rembo10@main.remulis.com)
2025-09-16 10:36:03 +0200mfc_kbs-(~keibisoft@2a06:1fc0:0:1::1cd)
2025-09-16 10:36:13 +0200darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Ping timeout: 244 seconds)
2025-09-16 10:36:13 +0200degraafk(sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 244 seconds)
2025-09-16 10:36:13 +0200rembo10(~rembo10@main.remulis.com) (Ping timeout: 244 seconds)
2025-09-16 10:36:13 +0200sm2n(ae95cb1267@user/sm2n) (Ping timeout: 244 seconds)
2025-09-16 10:36:13 +0200elenril(~elenril@tutturu.khirnov.net) (Ping timeout: 244 seconds)
2025-09-16 10:36:13 +0200s4msung(Ci2aDJRib8@user/s4msung) (Ping timeout: 244 seconds)
2025-09-16 10:36:13 +0200bwe(~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 244 seconds)
2025-09-16 10:36:44 +0200V(~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 244 seconds)
2025-09-16 10:36:44 +0200Rembane(~Rembane@user/Rembane) (Ping timeout: 244 seconds)
2025-09-16 10:36:44 +0200mfc_kbs(~keibisoft@2a06:1fc0:0:1::1cd) (Ping timeout: 244 seconds)
2025-09-16 10:36:58 +0200sm2n(ae95cb1267@user/sm2n) sm2n
2025-09-16 10:37:05 +0200V(~v@ircpuzzles/2022/april/winner/V) V
2025-09-16 10:37:07 +0200rselim(ce261f06ff@user/milesrout) milesrout
2025-09-16 10:37:13 +0200alethkit(23bd17ddc6@sourcehut/user/alethkit) alethkit
2025-09-16 10:37:20 +0200PotatoGim(sid99505@id-99505.lymington.irccloud.com) PotatoGim
2025-09-16 10:37:32 +0200xnyhps(~xnyhps@s.xnyhps.nl)
2025-09-16 10:37:36 +0200sefidel(~sefidel@user/sefidel) sefidel
2025-09-16 10:37:37 +0200hamishmack(sid389057@id-389057.hampstead.irccloud.com) hamishmack
2025-09-16 10:37:51 +0200barrucadu(~barrucadu@carcosa.barrucadu.co.uk) barrucadu
2025-09-16 10:38:07 +0200s4msung(nzzRIraTwN@user/s4msung) s4msung
2025-09-16 10:38:35 +0200Rembane(~Rembane@user/Rembane) Rembane
2025-09-16 10:38:45 +0200aspen(sid449115@id-449115.helmsley.irccloud.com) aspen
2025-09-16 10:38:51 +0200haritz(~hrtz@209.35.65.79)
2025-09-16 10:38:51 +0200haritz(~hrtz@209.35.65.79) (Changing host)
2025-09-16 10:38:51 +0200haritz(~hrtz@user/haritz) haritz
2025-09-16 10:39:02 +0200stureplan(22e45d5caf@user/stureplan) stureplan
2025-09-16 10:39:04 +0200[_________](~oos95GWG@user/oos95GWG) oos95GWG
2025-09-16 10:39:41 +0200degraafk(sid71464@id-71464.lymington.irccloud.com) degraafk
2025-09-16 10:40:16 +0200darkling(~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space)
2025-09-16 10:43:28 +0200yahb2(~yahb2@user/tomsmeding/bot/yahb2) yahb2
2025-09-16 10:43:28 +0200ChanServ+v yahb2
2025-09-16 10:43:42 +0200ursa-major(114efe6c39@2a03:6000:1812:100::11f3) ursa-major
2025-09-16 10:43:48 +0200petrichor(~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in)
2025-09-16 10:48:49 +0200ggb(a62ffbaf4f@2a03:6000:1812:100::3ac) ggb
2025-09-16 10:48:50 +0200evanrelf(3addc196af@2a03:6000:1812:100::f0) evanrelf
2025-09-16 10:50:16 +0200elenril(~elenril@tutturu.khirnov.net) elenril
2025-09-16 10:51:06 +0200samhh_(7569f027cf@2a03:6000:1812:100::e4) samhh
2025-09-16 10:51:43 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 10:51:43 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 10:51:43 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 10:51:45 +0200tzh(~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz)
2025-09-16 10:54:43 +0200Jackneill(~Jackneill@94-21-227-192.pool.digikabel.hu) Jackneill
2025-09-16 10:55:22 +0200msa(msa@msa.planetofnix.com)
2025-09-16 10:56:59 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 10:57:33 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 11:05:57 +0200chele(~chele@user/chele) chele
2025-09-16 11:08:41 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 250 seconds)
2025-09-16 11:09:56 +0200ljdarj(~Thunderbi@user/ljdarj) ljdarj
2025-09-16 11:11:12 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 260 seconds)
2025-09-16 11:13:57 +0200ubert1(~Thunderbi@178.115.51.39.wireless.dyn.drei.com) ubert
2025-09-16 11:14:03 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-16 11:15:04 +0200CiaoSen(~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds)
2025-09-16 11:15:51 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 11:16:05 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 11:17:51 +0200AlexZenon(~alzenon@178.34.162.29) (Ping timeout: 256 seconds)
2025-09-16 11:17:54 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 11:17:54 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 11:17:54 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 11:24:17 +0200AlexZenon(~alzenon@178.34.162.29)
2025-09-16 11:25:59 +0200petrichor(~jez@user/petrichor) petrichor
2025-09-16 11:36:15 +0200krei-se(~krei-se@p200300f1cfff01fb915f43887404f7ca.dip0.t-ipconnect.de) krei-se
2025-09-16 11:46:31 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 265 seconds)
2025-09-16 11:47:07 +0200trickard_trickard
2025-09-16 11:50:21 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-16 12:02:59 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-09-16 12:07:23 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 248 seconds)
2025-09-16 12:13:36 +0200xff0x(~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds)
2025-09-16 12:19:12 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-16 12:22:16 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-16 12:22:18 +0200karenw_(~karenw@user/karenw) karenw
2025-09-16 12:25:45 +0200merijn(~merijn@77.242.116.146) (Ping timeout: 244 seconds)
2025-09-16 12:35:38 +0200merijn(~merijn@77.242.116.146) merijn
2025-09-16 12:36:54 +0200 <haskellbridge> <maerwald> if you got a lot of time to waste xD
2025-09-16 12:39:25 +0200__monty__(~toonn@user/toonn) toonn
2025-09-16 12:41:22 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 12:45:11 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-09-16 12:46:17 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 12:47:36 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 12:47:54 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds)
2025-09-16 12:47:54 +0200ljdarj1ljdarj
2025-09-16 12:51:05 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4)
2025-09-16 12:52:07 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 12:54:44 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer)
2025-09-16 12:54:57 +0200trickard_(~trickard@cpe-56-98-47-163.wireline.com.au)
2025-09-16 13:00:05 +0200caconym747(~caconym@user/caconym) (Quit: bye)
2025-09-16 13:00:49 +0200karenw_(~karenw@user/karenw) (Quit: Deep into that darkness peering...)
2025-09-16 13:01:01 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 13:01:01 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 13:01:01 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 13:02:17 +0200caconym747(~caconym@user/caconym) caconym
2025-09-16 13:03:59 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-09-16 13:04:41 +0200mari-estel(~mari-este@user/mari-estel) (Read error: Connection reset by peer)
2025-09-16 13:06:34 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-16 13:06:34 +0200ljdarj1ljdarj
2025-09-16 13:07:29 +0200trickard_trickard
2025-09-16 13:28:24 +0200posixlycorrect(~posixlyco@user/posixlycorrect) (Ping timeout: 252 seconds)
2025-09-16 13:29:41 +0200xff0x(~xff0x@2405:6580:b080:900:332e:d29a:2193:9d6b)
2025-09-16 13:30:59 +0200Lord_of_Life(~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds)
2025-09-16 13:31:12 +0200Lord_of_Life_(~Lord@user/lord-of-life/x-2819915) Lord_of_Life
2025-09-16 13:31:46 +0200inline(~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Quit: Leaving)
2025-09-16 13:33:27 +0200posixlycorrect(~posixlyco@user/posixlycorrect) posixlycorrect
2025-09-16 13:34:00 +0200Lord_of_Life_Lord_of_Life
2025-09-16 13:42:47 +0200Guest499(~ds@ip-037-049-102-199.um09.pools.vodafone-ip.de)
2025-09-16 13:51:03 +0200Guest499(~ds@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in)
2025-09-16 13:54:54 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) AndreiDuma
2025-09-16 14:02:32 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-16 14:05:16 +0200Guest7116(~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a)
2025-09-16 14:11:53 +0200tromp(~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-16 14:19:49 +0200tremon(~tremon@83.80.159.219) tremon
2025-09-16 14:20:25 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15)
2025-09-16 14:20:25 +0200arandombit(~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host)
2025-09-16 14:20:25 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 14:29:20 +0200pyooque(~puke@user/puke) puke
2025-09-16 14:29:20 +0200pukeGuest8764
2025-09-16 14:29:20 +0200Guest8764(~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services)))
2025-09-16 14:29:20 +0200pyooquepuke
2025-09-16 14:40:25 +0200pavonia(~user@user/siracusa) (Read error: Connection reset by peer)
2025-09-16 14:51:54 +0200jespada(~jespada@2800:a4:2314:bd00:7d21:f4f5:b2ca:a064) jespada
2025-09-16 14:52:21 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-09-16 14:56:55 +0200jespada(~jespada@2800:a4:2314:bd00:7d21:f4f5:b2ca:a064) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-09-16 15:01:27 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) AndreiDuma
2025-09-16 15:01:27 +0200weary-traveler(~user@user/user363627) (Remote host closed the connection)
2025-09-16 15:04:56 +0200preflex(~preflex@user/mauke/bot/preflex) (Ping timeout: 248 seconds)
2025-09-16 15:05:28 +0200energizer(~energizer@user/energizer) (Ping timeout: 248 seconds)
2025-09-16 15:07:36 +0200urdh(~urdh@user/urdh) (Ping timeout: 248 seconds)
2025-09-16 15:08:08 +0200trickard(~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-09-16 15:10:48 +0200dyniec(~dyniec@dybiec.info) (Ping timeout: 248 seconds)
2025-09-16 15:10:48 +0200JSharp(sid4580@user/JSharp) (Ping timeout: 248 seconds)
2025-09-16 15:10:48 +0200henrytill(e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 248 seconds)
2025-09-16 15:11:52 +0200Aleksejs(~Aleksejs@107.170.21.106) (Ping timeout: 248 seconds)
2025-09-16 15:11:52 +0200Dykam(Dykam@dykam.nl) (Ping timeout: 248 seconds)
2025-09-16 15:11:52 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) (Ping timeout: 248 seconds)
2025-09-16 15:12:24 +0200Igloo(~ian@81.2.99.210) (Ping timeout: 248 seconds)
2025-09-16 15:12:24 +0200GoldsteinQ(~goldstein@goldstein.rs) (Ping timeout: 248 seconds)
2025-09-16 15:14:00 +0200ircbrowse_tom(~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in)
2025-09-16 15:15:28 +0200ircbrowse_tom(~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) ircbrowse_tom
2025-09-16 15:15:30 +0200Server+Cnt
2025-09-16 15:17:39 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) AndreiDuma
2025-09-16 15:19:05 +0200Jonno_FTW(~come@user/jonno-ftw/x-0835346) Jonno_FTW
2025-09-16 15:20:27 +0200trickard(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-16 15:24:17 +0200Lycurgus(~juan@user/Lycurgus) Lycurgus
2025-09-16 15:25:06 +0200tromp(~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357)
2025-09-16 15:28:21 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer)
2025-09-16 15:28:25 +0200davidschultz(~ds@2a02:8071:884:db60::1052)
2025-09-16 15:28:46 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-16 15:28:49 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 260 seconds)
2025-09-16 15:29:39 +0200ljdarj1(~Thunderbi@user/ljdarj) ljdarj
2025-09-16 15:32:16 +0200ds7832(~ds@2a02:8071:884:db60::1052) (Ping timeout: 244 seconds)
2025-09-16 15:32:47 +0200davidschultz(~ds@2a02:8071:884:db60::1052) (Ping timeout: 244 seconds)
2025-09-16 15:32:47 +0200ljdarj(~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds)
2025-09-16 15:32:47 +0200ljdarj1ljdarj
2025-09-16 15:34:57 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) (Quit: My Mac has gone to sleep. ZZZzzz…)
2025-09-16 15:35:01 +0200spew(e9e8135d87@user/spew) spew
2025-09-16 15:35:04 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-16 15:35:20 +0200chromoblob(~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds)
2025-09-16 15:36:58 +0200fp(~Thunderbi@wireless-86-50-140-85.open.aalto.fi) (Ping timeout: 248 seconds)
2025-09-16 15:37:10 +0200chromoblob(~chromoblo@user/chromob1ot1c) chromoblob\0
2025-09-16 15:42:33 +0200fp(~Thunderbi@dhcp-87-72.eduroam.aalto.fi) fp
2025-09-16 15:43:49 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 15:44:56 +0200c_wraith(~c_wraith@adjoint.us) (Ping timeout: 248 seconds)
2025-09-16 15:46:59 +0200mud(~mud@user/kadoban) kadoban
2025-09-16 15:47:18 +0200eL_Bart0-(eL_Bart02@dietunichtguten.org)
2025-09-16 15:47:31 +0200mniip(mniip@libera/staff/mniip) mniip
2025-09-16 15:47:38 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) AndreiDuma
2025-09-16 15:47:44 +0200c_wraith(~c_wraith@adjoint.us) c_wraith
2025-09-16 15:47:48 +0200bairyn(~bairyn@MAIL.DIGITALKINGDOM.ORG) ByronJohnson
2025-09-16 15:48:00 +0200caconym7472(~caconym@user/caconym) caconym
2025-09-16 15:48:26 +0200fun-safe-math_(~fun-safe-@97-120-34-41.ptld.qwest.net) fun-safe-math
2025-09-16 15:48:53 +0200gmc_(sid58314@id-58314.ilkley.irccloud.com) gmc
2025-09-16 15:49:14 +0200shachaf_(~shachaf@li227-219.members.linode.com)
2025-09-16 15:49:26 +0200firesquidwao(~a@put.gay)
2025-09-16 15:49:28 +0200gmc(sid58314@id-58314.ilkley.irccloud.com) (Killed (mercury.libera.chat (Nickname regained by services)))
2025-09-16 15:49:28 +0200gmc_gmc
2025-09-16 15:49:47 +0200gorignak(~gorignak@user/gorignak) (Ping timeout: 248 seconds)
2025-09-16 15:49:47 +0200kadobanana(~mud@user/kadoban) (Ping timeout: 248 seconds)
2025-09-16 15:49:47 +0200Ekho(~Ekho@user/ekho) (Ping timeout: 248 seconds)
2025-09-16 15:49:47 +0200fun-safe-math(~fun-safe-@97-120-34-41.ptld.qwest.net) (Ping timeout: 248 seconds)
2025-09-16 15:49:47 +0200eL_Bart0(eL_Bart02@dietunichtguten.org) (Ping timeout: 248 seconds)
2025-09-16 15:49:47 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 248 seconds)
2025-09-16 15:49:47 +0200ByronJohnson(~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 248 seconds)
2025-09-16 15:49:47 +0200shachaf(~shachaf@user/shachaf) (Ping timeout: 248 seconds)
2025-09-16 15:50:02 +0200arandombit(~arandombi@user/arandombit) arandombit
2025-09-16 15:50:09 +0200gorignak(~gorignak@user/gorignak) gorignak
2025-09-16 15:50:38 +0200caconym747(~caconym@user/caconym) (Quit: Ping timeout (120 seconds))
2025-09-16 15:50:38 +0200caconym7472caconym747
2025-09-16 15:51:58 +0200ackthet_(~ackthet@user/ackthet) ackthet
2025-09-16 15:52:06 +0200fp(~Thunderbi@dhcp-87-72.eduroam.aalto.fi) (Quit: fp)
2025-09-16 15:52:27 +0200tuxpaint(~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 248 seconds)
2025-09-16 15:52:27 +0200mniip_(mniip@libera/staff/mniip) (Ping timeout: 620 seconds)
2025-09-16 15:52:27 +0200ackthet(~ackthet@user/ackthet) (Ping timeout: 248 seconds)
2025-09-16 15:52:27 +0200trickard(~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 248 seconds)
2025-09-16 15:52:27 +0200xerox(~edi@user/edi) (Ping timeout: 248 seconds)
2025-09-16 15:52:34 +0200xerox_(~edi@user/edi) edi
2025-09-16 15:53:26 +0200kawzeg(kawzeg@2a01:4f9:c013:cfbf::1) (Ping timeout: 248 seconds)
2025-09-16 15:53:45 +0200trickard_(~trickard@cpe-94-98-47-163.wireline.com.au)
2025-09-16 15:53:51 +0200fp(~Thunderbi@dhcp-87-72.eduroam.aalto.fi) fp
2025-09-16 15:55:06 +0200kawzeg(kawzeg@2a01:4f9:c013:cfbf::1) kawzeg
2025-09-16 15:56:40 +0200jinsun-(bnc4free@here.and.ready-to.party)
2025-09-16 15:57:00 +0200enicar(~enikar@user/enikar) enikar
2025-09-16 15:59:34 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (*.net *.split)
2025-09-16 15:59:35 +0200Xe(~Xe@perl/impostor/xe) (*.net *.split)
2025-09-16 15:59:35 +0200jinsun(jinsun@user/jinsun) (*.net *.split)
2025-09-16 15:59:35 +0200nadja(~dequbed@banana-new.kilobyte22.de) (*.net *.split)
2025-09-16 15:59:35 +0200farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split)
2025-09-16 15:59:35 +0200tolt(~weechat-h@li219-154.members.linode.com) (*.net *.split)
2025-09-16 15:59:35 +0200enikar(~enikar@user/enikar) (*.net *.split)
2025-09-16 15:59:35 +0200nisstyre(wes@user/nisstyre) (*.net *.split)
2025-09-16 15:59:35 +0200ouroboros(~ouroboros@user/ouroboros) (*.net *.split)
2025-09-16 15:59:48 +0200Ekho-(~Ekho@user/ekho) Ekho
2025-09-16 16:00:16 +0200tolt(~weechat-h@li219-154.members.linode.com) tolt
2025-09-16 16:00:38 +0200fp(~Thunderbi@dhcp-87-72.eduroam.aalto.fi) (Ping timeout: 256 seconds)
2025-09-16 16:01:49 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) humasect
2025-09-16 16:01:49 +0200Xe(~Xe@perl/impostor/xe) Xe
2025-09-16 16:01:49 +0200nadja(~dequbed@banana-new.kilobyte22.de) dequbed
2025-09-16 16:01:49 +0200farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn
2025-09-16 16:01:49 +0200nisstyre(wes@user/nisstyre) nisstyre
2025-09-16 16:01:49 +0200ouroboros(~ouroboros@user/ouroboros) ouroboros
2025-09-16 16:01:52 +0200nisstyre(wes@user/nisstyre) (Max SendQ exceeded)
2025-09-16 16:01:52 +0200farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Max SendQ exceeded)
2025-09-16 16:01:52 +0200Xe(~Xe@perl/impostor/xe) (Max SendQ exceeded)
2025-09-16 16:02:30 +0200farn__(~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) farn
2025-09-16 16:02:35 +0200Xe(~Xe@perl/impostor/xe) Xe
2025-09-16 16:02:45 +0200nisstyre(wes@user/nisstyre) nisstyre
2025-09-16 16:07:07 +0200enicarenikar
2025-09-16 16:09:06 +0200humasect(~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection)
2025-09-16 16:10:04 +0200fp(~Thunderbi@wireless-86-50-140-85.open.aalto.fi) fp
2025-09-16 16:12:39 +0200qqe(~qqq@185.54.23.100)
2025-09-16 16:17:39 +0200mange(~mange@user/mange) (Quit: Zzz...)
2025-09-16 16:22:22 +0200lortabac(~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2)
2025-09-16 16:24:09 +0200AndreiDuma_(~AndreiDum@user/AndreiDuma) AndreiDuma
2025-09-16 16:27:02 +0200AndreiDuma(~AndreiDum@user/AndreiDuma) (Ping timeout: 244 seconds)
2025-09-16 16:37:59 +0200lbseale(~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.)
2025-09-16 16:38:07 +0200Googulator(~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed)
2025-09-16 16:38:24 +0200Googulator(~Googulato@178-164-188-203.pool.digikabel.hu)
2025-09-16 16:39:58 +0200pounce(8a023a9e4a@user/cute/pounce) pounce
2025-09-16 16:42:56 +0200 <pounce> does haskell have a function [a] -> [a] -> Int -> [a] that inserts the second list into the first list !! n
2025-09-16 16:43:48 +0200 <__monty__> That'd be a type error ; p
2025-09-16 16:44:07 +0200 <__monty__> More seriously, I don't know of one.
2025-09-16 16:44:44 +0200 <pounce> e.g. taking as, bs = splitAt n xs then as ++ ys ++ bs
2025-09-16 16:44:45 +0200 <pounce> dang
2025-09-16 16:44:59 +0200marinelli(~weechat@gateway/tor-sasl/marinelli) marinelli
2025-09-16 16:45:24 +0200arandombit(~arandombi@user/arandombit) (Ping timeout: 256 seconds)
2025-09-16 16:45:30 +0200 <Leary> It will have one after you write it.
2025-09-16 16:45:41 +0200 <pounce> well, im actually writing agda :p
2025-09-16 16:45:49 +0200 <pounce> just trying to figure out if there's a good name already xD
2025-09-16 16:48:06 +0200 <Leary> I would probably write it as `infixAt :: Int -> [a] -> [a] -> [a]`.
2025-09-16 16:48:10 +0200apache(apache2@anubis.0x90.dk) apache2
2025-09-16 16:48:58 +0200Pixi`(~Pixi@user/pixi) Pixi
2025-09-16 16:49:19 +0200tromp(~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (Quit: My iMac has gone to sleep. ZZZzzz…)
2025-09-16 16:49:42 +0200sus09(thelounge@user/zeromomentum) zeromomentum
2025-09-16 16:49:50 +0200img_(~img@user/img) img
2025-09-16 16:50:06 +0200nshepperd26(~nshepperd@2a01:4f9:3b:4cc9::2) nshepperd
2025-09-16 16:51:05 +0200ames5(~amelia@offtopia/offtopian/amelia) {ames}
2025-09-16 16:51:13 +0200pikajude(~jude@149.28.207.64) pikajude
2025-09-16 16:51:15 +0200collide29540(~collide29@user/collide2954) collide2954
2025-09-16 16:51:40 +0200ncf_(~n@monade.li) ncf
2025-09-16 16:51:52 +0200tromp(~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357)
2025-09-16 16:51:59 +0200NiKaN_(sid385034@id-385034.helmsley.irccloud.com) NiKaN
2025-09-16 16:52:09 +0200ncf(~n@monade.li) (Killed (NickServ (GHOST command used by ncf_)))
2025-09-16 16:52:12 +0200aku_(aku@65.108.245.241) eagleflo
2025-09-16 16:52:13 +0200ncf_ncf
2025-09-16 16:52:23 +0200Fijxu_(~Fijxu@user/fijxu) fijxu
2025-09-16 16:52:34 +0200Ram-Z(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) Ram-Z
2025-09-16 16:52:34 +0200hook54321_(sid149355@user/hook54321) hook54321
2025-09-16 16:53:05 +0200meejah_(~meejah@rutas.meejah.ca) meejah
2025-09-16 16:53:06 +0200lesihctej(~jetchisel@user/jetchisel) jetchisel
2025-09-16 16:53:10 +0200df_(~ben@justworks.xyz)
2025-09-16 16:53:11 +0200Square(~Square4@user/square) (Remote host closed the connection)
2025-09-16 16:53:19 +0200ystael_(~ystael@user/ystael) ystael
2025-09-16 16:53:24 +0200semifunc-(~omnifunct@user/semifunctor) omnifunctor
2025-09-16 16:53:51 +0200Square(~Square4@user/square) Square
2025-09-16 16:54:05 +0200 <pounce> that's a good one
2025-09-16 16:54:06 +0200tapas_(sid467876@id-467876.ilkley.irccloud.com) tapas
2025-09-16 16:54:12 +0200taktoa[c]_(sid282096@id-282096.tinside.irccloud.com) taktoa[c]
2025-09-16 16:54:33 +0200b0o_(0e4a0bf4c9@2a03:6000:1812:100::1bf) b0o
2025-09-16 16:54:34 +0200bw_(sid2730@user/betawaffle) betawaffle
2025-09-16 16:54:59 +0200bw(sid2730@user/betawaffle) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200pikajude-(~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200end(~end@user/end/x-0094621) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200bcksl(~bcksl@user/bcksl) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200img(~img@user/img) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200NiKaN(sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200hook54321(sid149355@user/hook54321) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200bradparker(sid262931@id-262931.uxbridge.irccloud.com) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200edmundnoble_(sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200lyxia(~lyxia@poisson.chat) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200mustafa(sid502723@rockylinux/releng/mustafa) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200apache2(apache2@anubis.0x90.dk) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200edwardk(sid47016@haskell/developer/edwardk) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200jetchisel(~jetchisel@user/jetchisel) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200ystael(~ystael@user/ystael) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200Ram-Z_(Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200taktoa[c](sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200adamCS(~adamCS@70.19.85.77) (Ping timeout: 248 seconds)
2025-09-16 16:55:00 +0200collide2954(~collide29@user/collide2954) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200Fijxu(~Fijxu@user/fijxu) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200semifunctor(~omnifunct@user/semifunctor) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200ames(~amelia@offtopia/offtopian/amelia) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200df(~ben@justworks.xyz) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200meejah(~meejah@rutas.meejah.ca) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200nshepperd2(~nshepperd@2a01:4f9:3b:4cc9::2) (Read error: Connection reset by peer)
2025-09-16 16:55:01 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection)
2025-09-16 16:55:01 +0200Pixi(~Pixi@user/pixi) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200tapas(sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200sus0(zero@user/zeromomentum) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200aku(aku@65.108.245.241) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200b0o(0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 248 seconds)
2025-09-16 16:55:01 +0200collide29540collide2954
2025-09-16 16:55:01 +0200nshepperd26nshepperd2
2025-09-16 16:55:01 +0200bw_bw
2025-09-16 16:55:01 +0200hook54321_hook54321
2025-09-16 16:55:02 +0200taktoa[c]_taktoa[c]
2025-09-16 16:55:02 +0200tapas_tapas
2025-09-16 16:55:02 +0200NiKaN_NiKaN
2025-09-16 16:55:02 +0200ames5ames
2025-09-16 16:55:02 +0200sus09sus0
2025-09-16 16:55:35 +0200b0o_b0o
2025-09-16 16:55:56 +0200lambdabot(~lambdabot@silicon.int-e.eu)
2025-09-16 16:55:56 +0200lambdabot(~lambdabot@silicon.int-e.eu) (Changing host)
2025-09-16 16:55:56 +0200lambdabot(~lambdabot@haskell/bot/lambdabot) lambdabot
2025-09-16 16:55:56 +0200ChanServ+v lambdabot
2025-09-16 16:56:27 +0200 <pounce> maybe since ++_ is append and _++ is prepend it's interpend :D
2025-09-16 16:56:30 +0200bcksl(~bcksl@user/bcksl) bcksl
2025-09-16 16:59:19 +0200Pozyomka(~pyon@user/pyon) (Quit: brb)
2025-09-16 16:59:32 +0200Pozyomka(~pyon@user/pyon) pyon
2025-09-16 16:59:45 +0200AVA(~AVA@185.78.138.166)
2025-09-16 17:00:15 +0200trickard_trickard
2025-09-16 17:01:13 +0200AVA(~AVA@185.78.138.166) (Remote host closed the connection)
2025-09-16 17:01:40 +0200Guest77(~Guest77@static-186-121-246-148.acelerate.net)