Logs on 2025-09-16 (liberachat/#haskell)
| 00:01:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 00:10:59 | → | mange joins (~mange@user/mange) |
| 00:11:29 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 00:11:50 | × | trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:12:04 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 00:12:08 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:16:51 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 00:16:54 | × | trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 00:21:06 | → | weary-traveler joins (~user@user/user363627) |
| 00:22:09 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 00:27:57 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:33:25 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 00:42:35 | × | xff0x quits (~xff0x@2405:6580:b080:900:8846:d27a:34b2:3e5) (Ping timeout: 248 seconds) |
| 00:44:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 00:48:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 00:53:22 | → | StatisticalIndep joins (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) |
| 00:59:50 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:06:56 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 01:17:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:19:36 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 256 seconds) |
| 01:22:10 | <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 |
| 01:22:10 | <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? |
| 01:22:26 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:23:00 | trickard_ | is now known as trickard |
| 01:30:32 | <yin> | not unusual. you can usually guide yourself by the types and clicking functions to see their definition |
| 01:30:55 | <yin> | the language facilitates this |
| 01:31:50 | <yin> | but if you're finding documentation lacking, i'd suggest to move on to better documented library alternatives |
| 01:31:59 | × | Alleria quits (~Alleria@user/alleria) (Remote host closed the connection) |
| 01:32:56 | → | Alleria joins (~Alleria@user/alleria) |
| 01:33:12 | <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 |
| 01:33:23 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:34:14 | <Lycurgus> | but libs have APIs and their sigs, the effective protocol implied can suffice |
| 01:38:15 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 01:43:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 01:44:08 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 01:47:21 | × | berberman quits (~berberman@user/berberman) (Quit: ZNC 1.10.1 - https://znc.in) |
| 01:47:49 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 01:47:53 | jmcantrell_ | is now known as jmcantrell |
| 01:48:29 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 01:49:05 | → | berberman joins (~berberman@user/berberman) |
| 01:52:22 | → | tabaqui joins (~tabaqui@167.71.80.236) |
| 01:52:39 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 01:53:53 | <geekosaur> | also I'd note that most relevant research papers are (a) short (b) not too technical (c) quite readable |
| 01:55:14 | <geekosaur> | there are exceptions, but in many of those cases (e.g. Parsec) the "research paper" is more like a users guide anyway |
| 01:55:37 | <geekosaur> | (exceptions to point (a), at least) |
| 01:57:09 | × | OftenFaded quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 01:59:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:00:28 | <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 |
| 02:00:28 | <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 |
| 02:00:28 | <StatisticalIndep> | identifiers, of course. ;) … |
| 02:01:21 | <StatisticalIndep> | geekosaur: Parsec was a positive exception indeed. I liked it quite a lot. |
| 02:02:25 | <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! ;) |
| 02:04:18 | → | arandombit joins (~arandombi@user/arandombit) |
| 02:04:20 | <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. ;) |
| 02:04:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 02:06:17 | → | poscat0x04 joins (~poscat@user/poscat) |
| 02:07:41 | × | poscat quits (~poscat@user/poscat) (Ping timeout: 244 seconds) |
| 02:11:48 | <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 |
| 02:11:49 | <StatisticalIndep> | that chunk. Making it hard, but possibly necessary to retain Haskell’s reliability guarantees? |
| 02:13:53 | <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 |
| 02:15:18 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:16:25 | <StatisticalIndep> | jackdk: Ultimately, to leave a mark on the universe that improves the wisdom and happiness of humanity. 😁 |
| 02:16:49 | <jackdk> | StatisticalIndep: a fine ultimate goal, but do you have a subgoal in-between? |
| 02:16:53 | × | nschoe quits (~nschoe@2a01:e0a:8e:a190:eb80:e362:f8e1:aa2f) (Quit: ZNC 1.8.2 - https://znc.in) |
| 02:17:10 | → | nschoe joins (~nschoe@82-65-202-30.subs.proxad.net) |
| 02:20:01 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 02:21:55 | × | Alleria quits (~Alleria@user/alleria) (Quit: Textual IRC Client: www.textualapp.com) |
| 02:31:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:36:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 02:38:02 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 02:40:12 | <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.) |
| 02:42:48 | <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 |
| 02:43:49 | <StatisticalIndep> | System.IO.MMap looks pretty good, btw. If only there was no marshalling. |
| 02:45:10 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 02:45:10 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 02:45:10 | → | arandombit joins (~arandombi@user/arandombit) |
| 02:45:18 | <StatisticalIndep> | Ah, yes, StateVar was a pretty nice experience, when I used SDL. Comes really close to it, indeed. |
| 02:46:31 | <StatisticalIndep> | jackdk: Thanks a lot! |
| 02:46:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 02:47:21 | <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 |
| 02:48:24 | <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. |
| 02:50:15 | <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 |
| 02:50:15 | <StatisticalIndep> | impossible.) |
| 02:51:37 | <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) |
| 02:51:38 | <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. :) |
| 02:51:43 | <StatisticalIndep> | Yup. |
| 02:52:01 | <geekosaur> | which also requires that everything live in Haskell's heap and non-Haskell code not have access to that heap |
| 02:52:09 | <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 |
| 02:52:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 02:53:31 | <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. ;) |
| 02:53:42 | <geekosaur> | actually I don't see how "doesn't have type information" is related. it's not like C values do |
| 02:53:58 | <StatisticalIndep> | OK, true. |
| 02:54:39 | <geekosaur> | they are… until ADTs get involved. (what representation do you expect a Data.Map to have?) |
| 02:54:58 | <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. |
| 02:54:59 | <geekosaur> | *Data.Map.Map |
| 02:55:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 02:55:56 | <geekosaur> | right, and all those pointers introduce places where a value could be computed lazily |
| 02:56:28 | <geekosaur> | (if you don't have optimization enabled, even the strict values have them, but optimization unboxes whenever possible) |
| 02:58:26 | <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. ;) |
| 02:58:38 | × | StatisticalIndep quits (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) (Quit: Client closed) |
| 02:58:50 | → | StatisticalIndep joins (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) |
| 02:59:35 | <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) |
| 02:59:48 | <StatisticalIndep> | Ah, yes, i remembered something like that! |
| 03:00:55 | <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. |
| 03:01:15 | <StatisticalIndep> | Yep. |
| 03:01:51 | <hololeap> | makes sense that Map is a binary tree, given the (Ord k) constraint on most operations |
| 03:03:14 | <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. |
| 03:03:56 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:04:08 | <geekosaur> | hypothetically could be done. would really complicate GC, though |
| 03:04:25 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 03:04:25 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 03:04:25 | → | arandombit joins (~arandombi@user/arandombit) |
| 03:04:28 | <geekosaur> | and probably make it a lot more expensive, if it has to check if every pointer actually lives in the heap or not |
| 03:04:31 | <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.) |
| 03:05:50 | <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. |
| 03:07:21 | <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?) |
| 03:08:33 | <geekosaur> | GC assumes pinned memory is an exception, not the rule |
| 03:08:40 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 03:10:38 | → | aforemny joins (~aforemny@2001:9e8:6cce:4800:55ab:c43e:17dc:ff6c) |
| 03:11:14 | × | aforemny_ quits (~aforemny@i59F4C711.versanet.de) (Ping timeout: 256 seconds) |
| 03:13:13 | <hololeap> | made me remember this: https://www.channable.com/tech/lessons-in-managing-haskell-memory |
| 03:16:56 | <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.) |
| 03:19:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:22:12 | → | dtman34 joins (~dtman34@c-73-242-68-179.hsd1.mn.comcast.net) |
| 03:24:50 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:25:22 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Remote host closed the connection) |
| 03:32:13 | <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 |
| 03:35:55 | <hololeap> | it's cool they got it working as well as they did, but yeah, it seems like it was a huge hassle |
| 03:37:07 | <hololeap> | geekosaur: do compact regions only work with ByteArray# |
| 03:37:29 | <geekosaur> | they work with anything but they're again special-cased |
| 03:38:08 | <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) |
| 03:39:05 | <geekosaur> | in particular, once a pointer is found to point into a compact region, it's immediately dropped from consideration |
| 03:39:22 | <hololeap> | do they work with IORefs? |
| 03:39:31 | <geekosaur> | not usefully |
| 03:39:46 | <geekosaur> | I mean, they "do" but the contents of the IORef must also be in the same compact region |
| 03:39:57 | <geekosaur> | which makes them effectively immmutable |
| 03:40:06 | <hololeap> | I see |
| 03:40:17 | <hololeap> | that makes sense |
| 03:44:44 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 03:45:03 | × | Axman6 quits (~Axman6@user/axman6) (Ping timeout: 240 seconds) |
| 03:45:06 | × | meinside quits (uid24933@id-24933.helmsley.irccloud.com) (Quit: Connection closed for inactivity) |
| 03:48:18 | <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 |
| 03:48:18 | <hololeap> | I recently discovered the Haskell Interlude podcast |
| 03:49:15 | <hololeap> | I'd never typed "haskell" into the search bar for podcasts before that |
| 03:49:32 | <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?) |
| 03:49:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 03:49:59 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 03:51:15 | <hololeap> | I haven't read all the backlog but it sounds like StatisticalIndep is using another lang via FFI |
| 03:51:47 | <geekosaur> | StatisticalIndep, you could do that but don't be surprised if "unrelated" things change their values also |
| 03:51:51 | <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 |
| 03:51:51 | <StatisticalIndep> | seeing from my POV. |
| 03:51:52 | <geekosaur> | sharing's a thing |
| 03:52:19 | <geekosaur> | you can listen to a podcast while driving without taking your eyes from the road |
| 03:52:56 | <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_ |
| 03:52:58 | <hololeap> | yeah you can listen while doing things that require your focus outside a computer |
| 03:52:59 | <geekosaur> | ) |
| 03:53:21 | <hololeap> | that is 100% why I listen to podcasts |
| 03:53:32 | <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 |
| 03:54:36 | <jreicher> | There was a perl6 implementation written in Haskell. You could reverse that. |
| 03:54:46 | <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 |
| 03:55:03 | <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 |
| 03:55:11 | <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. |
| 03:55:41 | <hololeap> | oh, then I misunderstood |
| 03:56:06 | × | trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 03:56:19 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 03:56:31 | <hololeap> | I just assumed but I didn't read all the backlog |
| 03:56:43 | <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 |
| 03:57:08 | <geekosaur> | we understand each other, if for different reasons |
| 03:57:54 | <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) |
| 03:59:04 | <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 |
| 03:59:55 | <hololeap> | but we are different people :) |
| 04:00:07 | <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 |
| 04:00:07 | <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.) |
| 04:00:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:01:34 | <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 |
| 04:01:46 | <geekosaur> | which didn't mean it was easy for me |
| 04:02:19 | <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 |
| 04:02:49 | <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 |
| 04:02:50 | <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 |
| 04:02:50 | <StatisticalIndep> | a Nokia. :D |
| 04:03:56 | <StatisticalIndep> | Yes, for bicycle repair or origami, videos are great. I just want there to be an image or sound equivalent of text. |
| 04:05:38 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 04:07:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 04:07:24 | <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 |
| 04:07:25 | <StatisticalIndep> | differently for different speakers!) |
| 04:10:55 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 04:13:47 | <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 |
| 04:15:15 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 04:16:54 | <hololeap> | I've seen mkv files with multiple audio streams, one for a particular language :) |
| 04:18:26 | <hololeap> | sorry, you just said that. didn't read carefully enough :( |
| 04:18:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:19:08 | <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 |
| 04:19:35 | <StatisticalIndep> | It’s OK. I didn’t notice anyway. ;) |
| 04:20:39 | <hololeap> | disrespecting the gain? I think that should be under the user's control :) |
| 04:20:42 | <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. |
| 04:22:04 | <hololeap> | most games let you adjust the sound via effects, music, and voice channels. that's where I got the idea from |
| 04:23:05 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 04:23:07 | <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 |
| 04:23:07 | <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.) |
| 04:23:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 04:23:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:24:54 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 04:24:54 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 04:24:54 | → | arandombit joins (~arandombi@user/arandombit) |
| 04:25:19 | <Lycurgus> | force sensitives can tell a dropped link |
| 04:26:09 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 250 seconds) |
| 04:27:02 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 04:28:27 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 04:28:40 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 04:28:42 | <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 |
| 04:28:47 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 04:29:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 04:29:52 | <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. |
| 04:30:15 | <StatisticalIndep> | Btw, we’re quite off-topic now. This should go on #haskell-offtpic, no? ;) |
| 04:30:40 | <hololeap> | lol, yeah we are OT |
| 04:30:45 | → | arandombit joins (~arandombi@user/arandombit) |
| 04:30:53 | <hololeap> | I didn't have much else to say about it though ;) |
| 04:31:44 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 04:32:08 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 04:32:28 | <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. ;) |
| 04:33:14 | <hololeap> | there's an American crowd and a European crowd, then the weirdos :p |
| 04:33:32 | <hololeap> | but yeah it's late here for me |
| 04:34:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:35:43 | <StatisticalIndep> | But I am a European weirdo! XD |
| 04:37:11 | <hololeap> | I recommend #gentoo-chat, which I see you're already in :) lots of weirdos in there... |
| 04:38:07 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 04:39:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 04:39:39 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 04:43:30 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 04:45:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 04:47:39 | <StatisticalIndep> | Teal’c: Indeed! |
| 04:49:07 | <StatisticalIndep> | I’m more of a #write-my-own-Plan-9-inspired-OS kinda guy though. XD |
| 04:50:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 04:51:36 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 04:58:27 | × | StatisticalIndep quits (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) (Quit: Client closed) |
| 04:58:39 | → | StatisticalIndep joins (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) |
| 05:01:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:06:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 05:08:17 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 05:08:22 | → | michalz joins (~michalz@185.246.207.221) |
| 05:08:39 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 05:08:40 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 05:08:51 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 05:17:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:19:11 | trickard_ | is now known as trickard |
| 05:20:02 | → | Guest82 joins (~Guest82@198.52.128.148) |
| 05:20:15 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 05:20:33 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 05:22:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 245 seconds) |
| 05:24:36 | × | Guest82 quits (~Guest82@198.52.128.148) (Client Quit) |
| 05:26:55 | → | jeztwo joins (~jeztwo@user/jeztwo) |
| 05:33:03 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:38:05 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 250 seconds) |
| 05:38:05 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 265 seconds) |
| 05:46:45 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 05:50:54 | <fgarcia> | gentoo and haskell. nice choices |
| 05:53:31 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 05:56:30 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Quit: Connection closed for inactivity) |
| 06:04:47 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:09:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 06:18:14 | × | jmcantrell quits (~weechat@user/jmcantrell) (Ping timeout: 256 seconds) |
| 06:20:27 | × | j0lol quits (~j0lol@132.145.17.236) (Remote host closed the connection) |
| 06:20:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:20:41 | → | j0lol joins (~j0lol@132.145.17.236) |
| 06:20:52 | × | jeztwo quits (~jeztwo@user/jeztwo) (Quit: Textual IRC Client: www.textualapp.com) |
| 06:23:33 | → | Axman6 joins (~Axman6@user/axman6) |
| 06:25:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 255 seconds) |
| 06:27:07 | × | StatisticalIndep quits (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) (Quit: Client closed) |
| 06:30:51 | → | Square joins (~Square4@user/square) |
| 06:36:21 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 06:36:32 | → | CiaoSen joins (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) |
| 06:41:00 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 06:51:44 | × | Sgeo quits (~Sgeo@user/sgeo) (Read error: Connection reset by peer) |
| 06:57:02 | → | meinside joins (uid24933@id-24933.helmsley.irccloud.com) |
| 06:57:23 | → | fp joins (~Thunderbi@wireless-86-50-140-85.open.aalto.fi) |
| 07:00:01 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 07:00:41 | → | caconym747 joins (~caconym@user/caconym) |
| 07:05:21 | × | Jackneill_ quits (~Jackneill@94-21-227-192.pool.digikabel.hu) (Ping timeout: 248 seconds) |
| 07:08:58 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 07:09:43 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 07:11:02 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 07:15:16 | → | sord937 joins (~sord937@gateway/tor-sasl/sord937) |
| 07:16:08 | × | koala_man quits (~vidar@157.146.251.23.bc.googleusercontent.com) (Ping timeout: 244 seconds) |
| 07:17:35 | → | tromp joins (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) |
| 07:20:11 | → | arandombit joins (~arandombi@user/arandombit) |
| 07:25:25 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 255 seconds) |
| 07:28:12 | → | acidjnk joins (~acidjnk@p200300d6e717193311482dfc0bb512ca.dip0.t-ipconnect.de) |
| 07:28:19 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 07:28:19 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 07:28:19 | → | arandombit joins (~arandombi@user/arandombit) |
| 07:30:34 | → | merijn joins (~merijn@77.242.116.146) |
| 07:31:20 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 07:32:15 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 07:34:34 | × | infinity0 quits (~infinity0@pwned.gg) (Ping timeout: 265 seconds) |
| 07:35:58 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 07:41:08 | × | emmanuelux quits (~emmanuelu@user/emmanuelux) (Ping timeout: 260 seconds) |
| 07:47:36 | × | Buliarous quits (~gypsydang@46.232.210.139) (Read error: Connection reset by peer) |
| 07:49:28 | × | vanishingideal quits (~vanishing@user/vanishingideal) (Ping timeout: 256 seconds) |
| 07:54:40 | → | infinity0 joins (~infinity0@pwned.gg) |
| 08:01:02 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 08:07:24 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Read error: Connection reset by peer) |
| 08:07:46 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 08:08:11 | × | ft quits (~ft@p4fc2a25a.dip0.t-ipconnect.de) (Quit: leaving) |
| 08:10:19 | × | mari-estel quits (~mari-este@user/mari-estel) (Ping timeout: 260 seconds) |
| 08:11:32 | → | mari-estel joins (~mari-este@user/mari-estel) |
| 08:23:19 | × | trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 08:23:33 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 08:32:42 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 08:34:40 | × | kaskal quits (~kaskal@2a02:8388:15bf:c200:3edd:e10d:d41e:f619) (Ping timeout: 244 seconds) |
| 08:34:40 | × | ggb quits (a62ffbaf4f@2a03:6000:1812:100::3ac) (Ping timeout: 244 seconds) |
| 08:34:40 | × | evanrelf quits (3addc196af@2a03:6000:1812:100::f0) (Ping timeout: 244 seconds) |
| 08:34:50 | → | bwe43736 joins (~bwe@2a01:4f8:1c1c:4878::2) |
| 08:35:11 | × | sefidel quits (~sefidel@user/sefidel) (Ping timeout: 244 seconds) |
| 08:35:11 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 08:35:11 | × | hamishmack quits (sid389057@id-389057.hampstead.irccloud.com) (Ping timeout: 244 seconds) |
| 08:35:11 | × | msa quits (msa@msa.planetofnix.com) (Ping timeout: 244 seconds) |
| 08:35:11 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (Ping timeout: 244 seconds) |
| 08:35:42 | × | alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (Ping timeout: 244 seconds) |
| 08:35:42 | × | ursa-major quits (114efe6c39@2a03:6000:1812:100::11f3) (Ping timeout: 244 seconds) |
| 08:35:42 | × | xnyhps quits (~xnyhps@s.xnyhps.nl) (Ping timeout: 244 seconds) |
| 08:35:42 | × | [_________] quits (~oos95GWG@user/oos95GWG) (Ping timeout: 244 seconds) |
| 08:35:42 | × | aspen quits (sid449115@id-449115.helmsley.irccloud.com) (Ping timeout: 244 seconds) |
| 08:35:42 | × | stureplan quits (22e45d5caf@user/stureplan) (Ping timeout: 244 seconds) |
| 08:35:42 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (Ping timeout: 244 seconds) |
| 08:35:42 | × | samhh quits (7569f027cf@2a03:6000:1812:100::e4) (Ping timeout: 244 seconds) |
| 08:35:42 | × | rselim quits (ce261f06ff@user/milesrout) (Ping timeout: 244 seconds) |
| 08:35:42 | samhh_ | is now known as samhh |
| 08:35:55 | → | kaskal joins (~kaskal@84-115-230-9.cable.dynamic.surfer.at) |
| 08:35:57 | → | rembo10_ joins (~rembo10@main.remulis.com) |
| 08:36:03 | → | mfc_kbs- joins (~keibisoft@2a06:1fc0:0:1::1cd) |
| 08:36:13 | × | darkling quits (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) (Ping timeout: 244 seconds) |
| 08:36:13 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (Ping timeout: 244 seconds) |
| 08:36:13 | × | rembo10 quits (~rembo10@main.remulis.com) (Ping timeout: 244 seconds) |
| 08:36:13 | × | sm2n quits (ae95cb1267@user/sm2n) (Ping timeout: 244 seconds) |
| 08:36:13 | × | elenril quits (~elenril@tutturu.khirnov.net) (Ping timeout: 244 seconds) |
| 08:36:13 | × | s4msung quits (Ci2aDJRib8@user/s4msung) (Ping timeout: 244 seconds) |
| 08:36:13 | × | bwe quits (~bwe@2a01:4f8:1c1c:4878::2) (Ping timeout: 244 seconds) |
| 08:36:44 | × | V quits (~v@ircpuzzles/2022/april/winner/V) (Ping timeout: 244 seconds) |
| 08:36:44 | × | Rembane quits (~Rembane@user/Rembane) (Ping timeout: 244 seconds) |
| 08:36:44 | × | mfc_kbs quits (~keibisoft@2a06:1fc0:0:1::1cd) (Ping timeout: 244 seconds) |
| 08:36:58 | → | sm2n joins (ae95cb1267@user/sm2n) |
| 08:37:05 | → | V joins (~v@ircpuzzles/2022/april/winner/V) |
| 08:37:07 | → | rselim joins (ce261f06ff@user/milesrout) |
| 08:37:13 | → | alethkit joins (23bd17ddc6@sourcehut/user/alethkit) |
| 08:37:20 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 08:37:32 | → | xnyhps joins (~xnyhps@s.xnyhps.nl) |
| 08:37:36 | → | sefidel joins (~sefidel@user/sefidel) |
| 08:37:37 | → | hamishmack joins (sid389057@id-389057.hampstead.irccloud.com) |
| 08:37:51 | → | barrucadu joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 08:38:07 | → | s4msung joins (nzzRIraTwN@user/s4msung) |
| 08:38:35 | → | Rembane joins (~Rembane@user/Rembane) |
| 08:38:45 | → | aspen joins (sid449115@id-449115.helmsley.irccloud.com) |
| 08:38:51 | → | haritz joins (~hrtz@209.35.65.79) |
| 08:38:51 | × | haritz quits (~hrtz@209.35.65.79) (Changing host) |
| 08:38:51 | → | haritz joins (~hrtz@user/haritz) |
| 08:39:02 | → | stureplan joins (22e45d5caf@user/stureplan) |
| 08:39:04 | → | [_________] joins (~oos95GWG@user/oos95GWG) |
| 08:39:41 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 08:40:16 | → | darkling joins (~darkling@2001-ba8-1f1-f0e6-0-0-0-2.autov6rev.bitfolk.space) |
| 08:43:28 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 08:43:28 | ChanServ | sets mode +v yahb2 |
| 08:43:42 | → | ursa-major joins (114efe6c39@2a03:6000:1812:100::11f3) |
| 08:43:48 | × | petrichor quits (~jez@user/petrichor) (Quit: ZNC 1.10.1 - https://znc.in) |
| 08:48:49 | → | ggb joins (a62ffbaf4f@2a03:6000:1812:100::3ac) |
| 08:48:50 | → | evanrelf joins (3addc196af@2a03:6000:1812:100::f0) |
| 08:50:16 | → | elenril joins (~elenril@tutturu.khirnov.net) |
| 08:51:06 | → | samhh_ joins (7569f027cf@2a03:6000:1812:100::e4) |
| 08:51:43 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 08:51:43 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 08:51:43 | → | arandombit joins (~arandombi@user/arandombit) |
| 08:51:45 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (Quit: zzz) |
| 08:54:43 | → | Jackneill joins (~Jackneill@94-21-227-192.pool.digikabel.hu) |
| 08:55:22 | → | msa joins (msa@msa.planetofnix.com) |
| 08:56:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 08:57:33 | → | arandombit joins (~arandombi@user/arandombit) |
| 09:05:57 | → | chele joins (~chele@user/chele) |
| 09:08:41 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 250 seconds) |
| 09:09:56 | → | ljdarj joins (~Thunderbi@user/ljdarj) |
| 09:11:12 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 09:13:57 | → | ubert1 joins (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) |
| 09:14:03 | → | merijn joins (~merijn@77.242.116.146) |
| 09:15:04 | × | CiaoSen quits (~Jura@2a02:8071:64e1:da0:5a47:caff:fe78:33db) (Ping timeout: 260 seconds) |
| 09:15:51 | × | trickard_ quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 09:16:05 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 09:17:51 | × | AlexZenon quits (~alzenon@178.34.162.29) (Ping timeout: 256 seconds) |
| 09:17:54 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 09:17:54 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 09:17:54 | → | arandombit joins (~arandombi@user/arandombit) |
| 09:24:17 | → | AlexZenon joins (~alzenon@178.34.162.29) |
| 09:25:59 | → | petrichor joins (~jez@user/petrichor) |
| 09:36:15 | → | krei-se joins (~krei-se@p200300f1cfff01fb915f43887404f7ca.dip0.t-ipconnect.de) |
| 09:46:31 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 265 seconds) |
| 09:47:07 | trickard_ | is now known as trickard |
| 09:50:21 | → | merijn joins (~merijn@77.242.116.146) |
| 10:02:59 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 10:07:23 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 248 seconds) |
| 10:13:36 | × | xff0x quits (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) (Ping timeout: 252 seconds) |
| 10:19:12 | → | merijn joins (~merijn@77.242.116.146) |
| 10:22:16 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 10:22:18 | → | karenw_ joins (~karenw@user/karenw) |
| 10:25:45 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 244 seconds) |
| 10:35:38 | → | merijn joins (~merijn@77.242.116.146) |
| 10:36:54 | <haskellbridge> | <maerwald> if you got a lot of time to waste xD |
| 10:39:25 | → | __monty__ joins (~toonn@user/toonn) |
| 10:41:22 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:45:11 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 10:46:17 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 10:47:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 10:47:54 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 265 seconds) |
| 10:47:54 | ljdarj1 | is now known as ljdarj |
| 10:51:05 | → | lortabac joins (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) |
| 10:52:07 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 10:54:44 | × | trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 10:54:57 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 11:00:05 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 11:00:49 | × | karenw_ quits (~karenw@user/karenw) (Quit: Deep into that darkness peering...) |
| 11:01:01 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 11:01:01 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 11:01:01 | → | arandombit joins (~arandombi@user/arandombit) |
| 11:02:17 | → | caconym747 joins (~caconym@user/caconym) |
| 11:03:59 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 11:04:41 | × | mari-estel quits (~mari-este@user/mari-estel) (Read error: Connection reset by peer) |
| 11:06:34 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 11:06:34 | ljdarj1 | is now known as ljdarj |
| 11:07:29 | trickard_ | is now known as trickard |
| 11:28:24 | × | posixlycorrect quits (~posixlyco@user/posixlycorrect) (Ping timeout: 252 seconds) |
| 11:29:41 | → | xff0x joins (~xff0x@2405:6580:b080:900:332e:d29a:2193:9d6b) |
| 11:30:59 | × | Lord_of_Life quits (~Lord@user/lord-of-life/x-2819915) (Ping timeout: 260 seconds) |
| 11:31:12 | → | Lord_of_Life_ joins (~Lord@user/lord-of-life/x-2819915) |
| 11:31:46 | × | inline quits (~inline@ip-005-146-196-014.um05.pools.vodafone-ip.de) (Quit: Leaving) |
| 11:33:27 | → | posixlycorrect joins (~posixlyco@user/posixlycorrect) |
| 11:34:00 | Lord_of_Life_ | is now known as Lord_of_Life |
| 11:42:47 | → | Guest499 joins (~ds@ip-037-049-102-199.um09.pools.vodafone-ip.de) |
| 11:51:03 | × | Guest499 quits (~ds@ip-037-049-102-199.um09.pools.vodafone-ip.de) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 11:54:54 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 12:02:32 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 12:05:16 | → | Guest7116 joins (~ds@2a02:8071:884:db60:f6b3:1ff:fe2f:d0a) |
| 12:11:53 | × | tromp quits (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 12:19:49 | → | tremon joins (~tremon@83.80.159.219) |
| 12:20:25 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 12:20:25 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 12:20:25 | → | arandombit joins (~arandombi@user/arandombit) |
| 12:29:20 | → | pyooque joins (~puke@user/puke) |
| 12:29:20 | puke | is now known as Guest8764 |
| 12:29:20 | × | Guest8764 quits (~puke@user/puke) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 12:29:20 | pyooque | is now known as puke |
| 12:40:25 | × | pavonia quits (~user@user/siracusa) (Read error: Connection reset by peer) |
| 12:51:54 | → | jespada joins (~jespada@2800:a4:2314:bd00:7d21:f4f5:b2ca:a064) |
| 12:52:21 | × | AndreiDuma quits (~AndreiDum@user/AndreiDuma) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 12:56:55 | × | jespada quits (~jespada@2800:a4:2314:bd00:7d21:f4f5:b2ca:a064) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 13:01:27 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 13:01:27 | × | weary-traveler quits (~user@user/user363627) (Remote host closed the connection) |
| 13:04:56 | × | preflex quits (~preflex@user/mauke/bot/preflex) (Ping timeout: 248 seconds) |
| 13:05:28 | × | energizer quits (~energizer@user/energizer) (Ping timeout: 248 seconds) |
| 13:07:36 | × | urdh quits (~urdh@user/urdh) (Ping timeout: 248 seconds) |
| 13:08:08 | × | trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 13:10:48 | × | dyniec quits (~dyniec@dybiec.info) (Ping timeout: 248 seconds) |
| 13:10:48 | × | JSharp quits (sid4580@user/JSharp) (Ping timeout: 248 seconds) |
| 13:10:48 | × | henrytill quits (e0180937c3@2a03:6000:1812:100::e8c) (Ping timeout: 248 seconds) |
| 13:11:52 | × | Aleksejs quits (~Aleksejs@107.170.21.106) (Ping timeout: 248 seconds) |
| 13:11:52 | × | Dykam quits (Dykam@dykam.nl) (Ping timeout: 248 seconds) |
| 13:11:52 | × | Jonno_FTW quits (~come@user/jonno-ftw/x-0835346) (Ping timeout: 248 seconds) |
| 13:12:24 | × | Igloo quits (~ian@81.2.99.210) (Ping timeout: 248 seconds) |
| 13:12:24 | × | GoldsteinQ quits (~goldstein@goldstein.rs) (Ping timeout: 248 seconds) |
| 13:14:00 | × | ircbrowse_tom quits (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) (ZNC 1.9.0+deb2build3 - https://znc.in) |
| 13:15:28 | → | ircbrowse_tom joins (~ircbrowse@user/tomsmeding/bot/ircbrowse-tom) |
| 13:15:30 | Server | sets mode +Cnt |
| 13:17:39 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 13:19:05 | → | Jonno_FTW joins (~come@user/jonno-ftw/x-0835346) |
| 13:20:27 | → | trickard joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 13:24:17 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 13:25:06 | → | tromp joins (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) |
| 13:28:21 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Read error: Connection reset by peer) |
| 13:28:25 | → | davidschultz joins (~ds@2a02:8071:884:db60::1052) |
| 13:28:46 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:28:49 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 13:29:39 | → | ljdarj1 joins (~Thunderbi@user/ljdarj) |
| 13:32:16 | × | ds7832 quits (~ds@2a02:8071:884:db60::1052) (Ping timeout: 244 seconds) |
| 13:32:47 | × | davidschultz quits (~ds@2a02:8071:884:db60::1052) (Ping timeout: 244 seconds) |
| 13:32:47 | × | ljdarj quits (~Thunderbi@user/ljdarj) (Ping timeout: 244 seconds) |
| 13:32:47 | ljdarj1 | is now known as ljdarj |
| 13:34:57 | × | AndreiDuma quits (~AndreiDum@user/AndreiDuma) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 13:35:01 | → | spew joins (e9e8135d87@user/spew) |
| 13:35:04 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 13:35:20 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 248 seconds) |
| 13:36:58 | × | fp quits (~Thunderbi@wireless-86-50-140-85.open.aalto.fi) (Ping timeout: 248 seconds) |
| 13:37:10 | → | chromoblob joins (~chromoblo@user/chromob1ot1c) |
| 13:42:33 | → | fp joins (~Thunderbi@dhcp-87-72.eduroam.aalto.fi) |
| 13:43:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:44:56 | × | c_wraith quits (~c_wraith@adjoint.us) (Ping timeout: 248 seconds) |
| 13:46:59 | → | mud joins (~mud@user/kadoban) |
| 13:47:18 | → | eL_Bart0- joins (eL_Bart02@dietunichtguten.org) |
| 13:47:31 | → | mniip joins (mniip@libera/staff/mniip) |
| 13:47:38 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 13:47:44 | → | c_wraith joins (~c_wraith@adjoint.us) |
| 13:47:48 | → | bairyn joins (~bairyn@MAIL.DIGITALKINGDOM.ORG) |
| 13:48:00 | → | caconym7472 joins (~caconym@user/caconym) |
| 13:48:26 | → | fun-safe-math_ joins (~fun-safe-@97-120-34-41.ptld.qwest.net) |
| 13:48:53 | → | gmc_ joins (sid58314@id-58314.ilkley.irccloud.com) |
| 13:49:14 | → | shachaf_ joins (~shachaf@li227-219.members.linode.com) |
| 13:49:26 | → | firesquidwao joins (~a@put.gay) |
| 13:49:28 | × | gmc quits (sid58314@id-58314.ilkley.irccloud.com) (Killed (mercury.libera.chat (Nickname regained by services))) |
| 13:49:28 | gmc_ | is now known as gmc |
| 13:49:47 | × | gorignak quits (~gorignak@user/gorignak) (Ping timeout: 248 seconds) |
| 13:49:47 | × | kadobanana quits (~mud@user/kadoban) (Ping timeout: 248 seconds) |
| 13:49:47 | × | Ekho quits (~Ekho@user/ekho) (Ping timeout: 248 seconds) |
| 13:49:47 | × | fun-safe-math quits (~fun-safe-@97-120-34-41.ptld.qwest.net) (Ping timeout: 248 seconds) |
| 13:49:47 | × | eL_Bart0 quits (eL_Bart02@dietunichtguten.org) (Ping timeout: 248 seconds) |
| 13:49:47 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 13:49:47 | × | ByronJohnson quits (~bairyn@MAIL.DIGITALKINGDOM.ORG) (Ping timeout: 248 seconds) |
| 13:49:47 | × | shachaf quits (~shachaf@user/shachaf) (Ping timeout: 248 seconds) |
| 13:50:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 13:50:09 | → | gorignak joins (~gorignak@user/gorignak) |
| 13:50:38 | × | caconym747 quits (~caconym@user/caconym) (Quit: Ping timeout (120 seconds)) |
| 13:50:38 | caconym7472 | is now known as caconym747 |
| 13:51:58 | → | ackthet_ joins (~ackthet@user/ackthet) |
| 13:52:06 | × | fp quits (~Thunderbi@dhcp-87-72.eduroam.aalto.fi) (Quit: fp) |
| 13:52:27 | × | tuxpaint quits (~a@2600:3c06::f03c:93ff:fea6:ef0e) (Ping timeout: 248 seconds) |
| 13:52:27 | × | mniip_ quits (mniip@libera/staff/mniip) (Ping timeout: 620 seconds) |
| 13:52:27 | × | ackthet quits (~ackthet@user/ackthet) (Ping timeout: 248 seconds) |
| 13:52:27 | × | trickard quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Ping timeout: 248 seconds) |
| 13:52:27 | × | xerox quits (~edi@user/edi) (Ping timeout: 248 seconds) |
| 13:52:34 | → | xerox_ joins (~edi@user/edi) |
| 13:53:26 | × | kawzeg quits (kawzeg@2a01:4f9:c013:cfbf::1) (Ping timeout: 248 seconds) |
| 13:53:45 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 13:53:51 | → | fp joins (~Thunderbi@dhcp-87-72.eduroam.aalto.fi) |
| 13:55:06 | → | kawzeg joins (kawzeg@2a01:4f9:c013:cfbf::1) |
| 13:56:40 | → | jinsun- joins (bnc4free@here.and.ready-to.party) |
| 13:57:00 | → | enicar joins (~enikar@user/enikar) |
| 13:59:34 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (*.net *.split) |
| 13:59:35 | × | Xe quits (~Xe@perl/impostor/xe) (*.net *.split) |
| 13:59:35 | × | jinsun quits (jinsun@user/jinsun) (*.net *.split) |
| 13:59:35 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 13:59:35 | × | farn__ quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (*.net *.split) |
| 13:59:35 | × | tolt quits (~weechat-h@li219-154.members.linode.com) (*.net *.split) |
| 13:59:35 | × | enikar quits (~enikar@user/enikar) (*.net *.split) |
| 13:59:35 | × | nisstyre quits (wes@user/nisstyre) (*.net *.split) |
| 13:59:35 | × | ouroboros quits (~ouroboros@user/ouroboros) (*.net *.split) |
| 13:59:48 | → | Ekho- joins (~Ekho@user/ekho) |
| 14:00:16 | → | tolt joins (~weechat-h@li219-154.members.linode.com) |
| 14:00:38 | × | fp quits (~Thunderbi@dhcp-87-72.eduroam.aalto.fi) (Ping timeout: 256 seconds) |
| 14:01:49 | → | humasect joins (~humasect@dyn-192-249-132-90.nexicom.net) |
| 14:01:49 | → | Xe joins (~Xe@perl/impostor/xe) |
| 14:01:49 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 14:01:49 | → | farn__ joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 14:01:49 | → | nisstyre joins (wes@user/nisstyre) |
| 14:01:49 | → | ouroboros joins (~ouroboros@user/ouroboros) |
| 14:01:52 | × | nisstyre quits (wes@user/nisstyre) (Max SendQ exceeded) |
| 14:01:52 | × | farn__ quits (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) (Max SendQ exceeded) |
| 14:01:52 | × | Xe quits (~Xe@perl/impostor/xe) (Max SendQ exceeded) |
| 14:02:30 | → | farn__ joins (~farn@2a03:4000:7:3cd:d4ab:85ff:feeb:f505) |
| 14:02:35 | → | Xe joins (~Xe@perl/impostor/xe) |
| 14:02:45 | → | nisstyre joins (wes@user/nisstyre) |
| 14:07:07 | enicar | is now known as enikar |
| 14:09:06 | × | humasect quits (~humasect@dyn-192-249-132-90.nexicom.net) (Remote host closed the connection) |
| 14:10:04 | → | fp joins (~Thunderbi@wireless-86-50-140-85.open.aalto.fi) |
| 14:12:39 | → | qqe joins (~qqq@185.54.23.100) |
| 14:17:39 | × | mange quits (~mange@user/mange) (Quit: Zzz...) |
| 14:22:22 | × | lortabac quits (~lortabac@2a01:e0a:541:b8f0:55ab:e185:7f81:54a4) (Quit: WeeChat 4.5.2) |
| 14:24:09 | → | AndreiDuma_ joins (~AndreiDum@user/AndreiDuma) |
| 14:27:02 | × | AndreiDuma quits (~AndreiDum@user/AndreiDuma) (Ping timeout: 244 seconds) |
| 14:37:59 | × | lbseale quits (~quassel@user/ep1ctetus) (Quit: https://quassel-irc.org - Chat comfortably. Anywhere.) |
| 14:38:07 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 14:38:24 | → | Googulator joins (~Googulato@178-164-188-203.pool.digikabel.hu) |
| 14:39:58 | → | pounce joins (8a023a9e4a@user/cute/pounce) |
| 14:42:56 | <pounce> | does haskell have a function [a] -> [a] -> Int -> [a] that inserts the second list into the first list !! n |
| 14:43:48 | <__monty__> | That'd be a type error ; p |
| 14:44:07 | <__monty__> | More seriously, I don't know of one. |
| 14:44:44 | <pounce> | e.g. taking as, bs = splitAt n xs then as ++ ys ++ bs |
| 14:44:45 | <pounce> | dang |
| 14:44:59 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 14:45:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 14:45:30 | <Leary> | It will have one after you write it. |
| 14:45:41 | <pounce> | well, im actually writing agda :p |
| 14:45:49 | <pounce> | just trying to figure out if there's a good name already xD |
| 14:48:06 | <Leary> | I would probably write it as `infixAt :: Int -> [a] -> [a] -> [a]`. |
| 14:48:10 | → | apache joins (apache2@anubis.0x90.dk) |
| 14:48:58 | → | Pixi` joins (~Pixi@user/pixi) |
| 14:49:19 | × | tromp quits (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 14:49:42 | → | sus09 joins (thelounge@user/zeromomentum) |
| 14:49:50 | → | img_ joins (~img@user/img) |
| 14:50:06 | → | nshepperd26 joins (~nshepperd@2a01:4f9:3b:4cc9::2) |
| 14:51:05 | → | ames5 joins (~amelia@offtopia/offtopian/amelia) |
| 14:51:13 | → | pikajude joins (~jude@149.28.207.64) |
| 14:51:15 | → | collide29540 joins (~collide29@user/collide2954) |
| 14:51:40 | → | ncf_ joins (~n@monade.li) |
| 14:51:52 | → | tromp joins (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) |
| 14:51:59 | → | NiKaN_ joins (sid385034@id-385034.helmsley.irccloud.com) |
| 14:52:09 | × | ncf quits (~n@monade.li) (Killed (NickServ (GHOST command used by ncf_))) |
| 14:52:12 | → | aku_ joins (aku@65.108.245.241) |
| 14:52:13 | ncf_ | is now known as ncf |
| 14:52:23 | → | Fijxu_ joins (~Fijxu@user/fijxu) |
| 14:52:34 | → | Ram-Z joins (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) |
| 14:52:34 | → | hook54321_ joins (sid149355@user/hook54321) |
| 14:53:05 | → | meejah_ joins (~meejah@rutas.meejah.ca) |
| 14:53:06 | → | lesihctej joins (~jetchisel@user/jetchisel) |
| 14:53:10 | → | df_ joins (~ben@justworks.xyz) |
| 14:53:11 | × | Square quits (~Square4@user/square) (Remote host closed the connection) |
| 14:53:19 | → | ystael_ joins (~ystael@user/ystael) |
| 14:53:24 | → | semifunc- joins (~omnifunct@user/semifunctor) |
| 14:53:51 | → | Square joins (~Square4@user/square) |
| 14:54:05 | <pounce> | that's a good one |
| 14:54:06 | → | tapas_ joins (sid467876@id-467876.ilkley.irccloud.com) |
| 14:54:12 | → | taktoa[c]_ joins (sid282096@id-282096.tinside.irccloud.com) |
| 14:54:33 | → | b0o_ joins (0e4a0bf4c9@2a03:6000:1812:100::1bf) |
| 14:54:34 | → | bw_ joins (sid2730@user/betawaffle) |
| 14:54:59 | × | bw quits (sid2730@user/betawaffle) (Ping timeout: 248 seconds) |
| 14:55:00 | × | pikajude- quits (~jude@2001:19f0:ac01:373:5400:2ff:fe86:3274) (Ping timeout: 248 seconds) |
| 14:55:00 | × | end quits (~end@user/end/x-0094621) (Ping timeout: 248 seconds) |
| 14:55:00 | × | bcksl quits (~bcksl@user/bcksl) (Ping timeout: 248 seconds) |
| 14:55:00 | × | img quits (~img@user/img) (Ping timeout: 248 seconds) |
| 14:55:00 | × | NiKaN quits (sid385034@id-385034.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 14:55:00 | × | hook54321 quits (sid149355@user/hook54321) (Ping timeout: 248 seconds) |
| 14:55:00 | × | bradparker quits (sid262931@id-262931.uxbridge.irccloud.com) (Ping timeout: 248 seconds) |
| 14:55:00 | × | edmundnoble_ quits (sid229620@id-229620.helmsley.irccloud.com) (Ping timeout: 248 seconds) |
| 14:55:00 | × | lyxia quits (~lyxia@poisson.chat) (Ping timeout: 248 seconds) |
| 14:55:00 | × | mustafa quits (sid502723@rockylinux/releng/mustafa) (Ping timeout: 248 seconds) |
| 14:55:00 | × | apache2 quits (apache2@anubis.0x90.dk) (Ping timeout: 248 seconds) |
| 14:55:00 | × | edwardk quits (sid47016@haskell/developer/edwardk) (Ping timeout: 248 seconds) |
| 14:55:00 | × | jetchisel quits (~jetchisel@user/jetchisel) (Ping timeout: 248 seconds) |
| 14:55:00 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 248 seconds) |
| 14:55:00 | × | Ram-Z_ quits (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 248 seconds) |
| 14:55:00 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 248 seconds) |
| 14:55:00 | × | adamCS quits (~adamCS@70.19.85.77) (Ping timeout: 248 seconds) |
| 14:55:00 | × | collide2954 quits (~collide29@user/collide2954) (Ping timeout: 248 seconds) |
| 14:55:01 | × | Fijxu quits (~Fijxu@user/fijxu) (Ping timeout: 248 seconds) |
| 14:55:01 | × | semifunctor quits (~omnifunct@user/semifunctor) (Ping timeout: 248 seconds) |
| 14:55:01 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Ping timeout: 248 seconds) |
| 14:55:01 | × | df quits (~ben@justworks.xyz) (Ping timeout: 248 seconds) |
| 14:55:01 | × | meejah quits (~meejah@rutas.meejah.ca) (Ping timeout: 248 seconds) |
| 14:55:01 | × | nshepperd2 quits (~nshepperd@2a01:4f9:3b:4cc9::2) (Read error: Connection reset by peer) |
| 14:55:01 | × | lambdabot quits (~lambdabot@haskell/bot/lambdabot) (Remote host closed the connection) |
| 14:55:01 | × | Pixi quits (~Pixi@user/pixi) (Ping timeout: 248 seconds) |
| 14:55:01 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 248 seconds) |
| 14:55:01 | × | sus0 quits (zero@user/zeromomentum) (Ping timeout: 248 seconds) |
| 14:55:01 | × | aku quits (aku@65.108.245.241) (Ping timeout: 248 seconds) |
| 14:55:01 | × | b0o quits (0e4a0bf4c9@2a03:6000:1812:100::1bf) (Ping timeout: 248 seconds) |
| 14:55:01 | collide29540 | is now known as collide2954 |
| 14:55:01 | nshepperd26 | is now known as nshepperd2 |
| 14:55:01 | bw_ | is now known as bw |
| 14:55:01 | hook54321_ | is now known as hook54321 |
| 14:55:02 | taktoa[c]_ | is now known as taktoa[c] |
| 14:55:02 | tapas_ | is now known as tapas |
| 14:55:02 | NiKaN_ | is now known as NiKaN |
| 14:55:02 | ames5 | is now known as ames |
| 14:55:02 | sus09 | is now known as sus0 |
| 14:55:35 | b0o_ | is now known as b0o |
| 14:55:56 | → | lambdabot joins (~lambdabot@silicon.int-e.eu) |
| 14:55:56 | × | lambdabot quits (~lambdabot@silicon.int-e.eu) (Changing host) |
| 14:55:56 | → | lambdabot joins (~lambdabot@haskell/bot/lambdabot) |
| 14:55:56 | ChanServ | sets mode +v lambdabot |
| 14:56:27 | <pounce> | maybe since ++_ is append and _++ is prepend it's interpend :D |
| 14:56:30 | → | bcksl joins (~bcksl@user/bcksl) |
| 14:59:19 | × | Pozyomka quits (~pyon@user/pyon) (Quit: brb) |
| 14:59:32 | → | Pozyomka joins (~pyon@user/pyon) |
| 14:59:45 | → | AVA joins (~AVA@185.78.138.166) |
| 15:00:15 | trickard_ | is now known as trickard |
| 15:01:13 | × | AVA quits (~AVA@185.78.138.166) (Remote host closed the connection) |
| 15:01:40 | → | Guest77 joins (~Guest77@static-186-121-246-148.acelerate.net) |
| 15:03:16 | → | tapas_ joins (sid467876@id-467876.ilkley.irccloud.com) |
| 15:03:52 | → | lyxia joins (~lyxia@poisson.chat) |
| 15:03:56 | → | Ram-Z_ joins (~Ram-Z@li1814-254.members.linode.com) |
| 15:04:08 | <Guest77> | hi |
| 15:04:18 | <[exa]> | hello! |
| 15:04:18 | → | FragByte_ joins (~christian@user/fragbyte) |
| 15:04:33 | <[exa]> | pounce: impend. |
| 15:04:49 | <pounce> | better |
| 15:04:57 | → | tabemann_ joins (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) |
| 15:04:58 | → | SheRejoined joins (haveident@libera/staff/she/her) |
| 15:04:59 | → | Fangs_ joins (sid141280@id-141280.hampstead.irccloud.com) |
| 15:05:27 | → | dostoyev1ky2 joins (~sck@user/dostoyevsky2) |
| 15:05:31 | × | chromoblob quits (~chromoblo@user/chromob1ot1c) (Ping timeout: 265 seconds) |
| 15:05:34 | → | bradparker joins (sid262931@id-262931.uxbridge.irccloud.com) |
| 15:05:38 | → | edmundnoble_ joins (sid229620@id-229620.helmsley.irccloud.com) |
| 15:05:47 | × | dostoyev1ky2 quits (~sck@user/dostoyevsky2) (Client Quit) |
| 15:05:53 | → | unlucy_ joins (sid572875@user/unlucy) |
| 15:06:05 | → | edwardk joins (sid47016@haskell/developer/edwardk) |
| 15:06:06 | → | mustafa joins (sid502723@rockylinux/releng/mustafa) |
| 15:06:18 | → | iphy_ joins (sid67735@user/iphy) |
| 15:06:19 | → | adamCS joins (~adamCS@70.19.85.77) |
| 15:06:24 | → | remsen joins (ianremsen@tilde.team) |
| 15:06:37 | → | whereiseveryone_ joins (206ba86c98@2a03:6000:1812:100::2e4) |
| 15:06:44 | → | [dpk] joins (~dpk@jains.nonceword.org) |
| 15:07:00 | → | dunj3_ joins (~dunj3@h1765027.stratoserver.net) |
| 15:07:17 | × | remmie quits (ianremsen@tilde.team) (Quit: ZNC 1.8.1 - https://znc.in) |
| 15:07:17 | × | bcksl quits (~bcksl@user/bcksl) (Quit: \) |
| 15:07:17 | × | whereiseveryone quits (206ba86c98@2a03:6000:1812:100::2e4) (Ping timeout: 260 seconds) |
| 15:07:17 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 260 seconds) |
| 15:07:17 | × | tapas quits (sid467876@id-467876.ilkley.irccloud.com) (Ping timeout: 260 seconds) |
| 15:07:17 | × | shawwwn quits (sid6132@id-6132.helmsley.irccloud.com) (Ping timeout: 260 seconds) |
| 15:07:17 | × | snek quits (sid280155@id-280155.lymington.irccloud.com) (Ping timeout: 260 seconds) |
| 15:07:17 | × | unlucy quits (sid572875@user/unlucy) (Ping timeout: 260 seconds) |
| 15:07:17 | × | buhman quits (sid411355@user/buhman) (Ping timeout: 260 seconds) |
| 15:07:18 | × | Fangs quits (sid141280@id-141280.hampstead.irccloud.com) (Read error: Connection reset by peer) |
| 15:07:18 | tapas_ | is now known as tapas |
| 15:07:18 | → | buhman joins (sid411355@user/buhman) |
| 15:07:18 | × | Ram-Z quits (Ram-Z@2a01:7e01::f03c:91ff:fe57:d2df) (Ping timeout: 260 seconds) |
| 15:07:18 | Fangs_ | is now known as Fangs |
| 15:07:18 | × | Raito_Bezarius quits (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) (Ping timeout: 260 seconds) |
| 15:07:18 | × | n3t quits (~n3t@user/n3t) (Ping timeout: 260 seconds) |
| 15:07:19 | × | fernando-basso quits (~fernando-@2a01:4f9:c012:63d3::1) (Ping timeout: 260 seconds) |
| 15:07:19 | × | FragByte quits (~christian@user/fragbyte) (Read error: Connection reset by peer) |
| 15:07:19 | unlucy_ | is now known as unlucy |
| 15:07:19 | × | dunj3 quits (~dunj3@2a01:239:328:1600::1) (Quit: ZNC 1.9.1 - https://znc.in) |
| 15:07:19 | × | dpk quits (~dpk@jains.nonceword.org) (Quit: .) |
| 15:07:20 | FragByte_ | is now known as FragByte |
| 15:07:21 | remsen | is now known as remmie |
| 15:07:30 | → | n3t joins (~n3t@user/n3t) |
| 15:07:32 | × | She quits (haveident@libera/staff/she/her) (Read error: Connection reset by peer) |
| 15:07:32 | SheRejoined | is now known as She |
| 15:07:37 | × | iphy quits (sid67735@user/iphy) (Ping timeout: 260 seconds) |
| 15:07:37 | iphy_ | is now known as iphy |
| 15:07:42 | × | __monty__ quits (~toonn@user/toonn) (Remote host closed the connection) |
| 15:07:47 | [dpk] | is now known as dpk |
| 15:07:58 | → | __monty__ joins (~toonn@user/toonn) |
| 15:08:01 | → | shawwwn joins (sid6132@id-6132.helmsley.irccloud.com) |
| 15:08:02 | × | fp quits (~Thunderbi@wireless-86-50-140-85.open.aalto.fi) (Remote host closed the connection) |
| 15:08:07 | → | snek joins (sid280155@id-280155.lymington.irccloud.com) |
| 15:08:10 | × | aku_ quits (aku@65.108.245.241) (Remote host closed the connection) |
| 15:08:20 | → | aku joins (aku@65.108.245.241) |
| 15:08:26 | → | Guest13 joins (~Guest77@static-186-121-238-172.acelerate.net) |
| 15:08:47 | × | tabemann__ quits (~tabemann@172-13-49-137.lightspeed.milwwi.sbcglobal.net) (Ping timeout: 260 seconds) |
| 15:09:24 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 15:09:24 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 15:09:24 | → | arandombit joins (~arandombi@user/arandombit) |
| 15:09:37 | → | Guest19 joins (~Guest77@static-186-121-238-172.acelerate.net) |
| 15:09:42 | <Guest19> | Hi everyone! I'm practicing type inference in Haskell and came across this function: |
| 15:09:42 | <Guest19> | f10 :: ((Int -> Int) -> Int) -> (Bool -> (Int -> (Bool -> Int))) |
| 15:09:43 | <Guest19> | f10 x y z w = if y then 10 else (x (\a -> a + 10)) |
| 15:09:43 | <Guest19> | I understand that `f10` takes a higher-order function and returns a deeply nested function, but I'm struggling to intuitively grasp how to read and reason about this type. Any tips on how to build better intuition for these kinds of multi-layered types? |
| 15:09:44 | → | fernando-basso joins (~fernando-@2a01:4f9:c012:63d3::1) |
| 15:10:41 | × | Guest13 quits (~Guest77@static-186-121-238-172.acelerate.net) (Client Quit) |
| 15:10:49 | whereiseveryone_ | is now known as whereiseveryone |
| 15:10:59 | <tomsmeding> | Guest19: the first step is to realise that `a -> b -> c` is just syntactic sugar for `a -> (b -> c)` |
| 15:11:15 | <tomsmeding> | so your type can be rewritten `f10 :: ((Int -> Int) -> Int) -> Bool -> Int -> Bool -> Int` |
| 15:11:24 | <tomsmeding> | does that help, or had you gotten that far already? |
| 15:11:48 | → | bcksl joins (~bcksl@user/bcksl) |
| 15:12:19 | × | Guest77 quits (~Guest77@static-186-121-246-148.acelerate.net) (Ping timeout: 250 seconds) |
| 15:12:57 | → | ames8 joins (~amelia@offtopia/offtopian/amelia) |
| 15:14:14 | → | pie__ joins (~pie_bnc@user/pie/x-2818909) |
| 15:14:59 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 15:15:10 | × | tromp quits (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (Quit: My iMac has gone to sleep. ZZZzzz…) |
| 15:16:36 | × | pie_ quits (~pie_bnc@user/pie/x-2818909) (Remote host closed the connection) |
| 15:17:16 | → | ystael joins (~ystael@user/ystael) |
| 15:17:36 | → | taktoa[c]_ joins (sid282096@id-282096.tinside.irccloud.com) |
| 15:17:39 | → | peutri_ joins (~peutri@bobo.desast.re) |
| 15:17:49 | → | arandombit joins (~arandombi@user/arandombit) |
| 15:18:09 | → | down200- joins (~down200@shell.lug.mtu.edu) |
| 15:18:15 | × | trickard quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:18:29 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 15:18:30 | <Guest19> | Thanks so much, that really helped clarify things! 🙌 |
| 15:18:31 | <Guest19> | Now I’m wondering about the inverse situation—how do you reason about nested types like `((Int -> Int) -> Int)`? |
| 15:18:31 | <Guest19> | I get that it’s a higher-order function, but I’d love to hear how you mentally unpack or visualize what’s going on there. |
| 15:18:37 | × | taktoa[c] quits (sid282096@id-282096.tinside.irccloud.com) (Ping timeout: 260 seconds) |
| 15:18:37 | taktoa[c]_ | is now known as taktoa[c] |
| 15:18:38 | × | ames quits (~amelia@offtopia/offtopian/amelia) (Ping timeout: 260 seconds) |
| 15:18:38 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:50d7:d756:5d4d:269d) (Ping timeout: 260 seconds) |
| 15:18:38 | ames8 | is now known as ames |
| 15:18:38 | × | AlexZenon quits (~alzenon@178.34.162.29) (Ping timeout: 260 seconds) |
| 15:18:38 | × | ystael_ quits (~ystael@user/ystael) (Ping timeout: 260 seconds) |
| 15:18:38 | × | confusedalex quits (~confuseda@user/confusedalex) (Ping timeout: 260 seconds) |
| 15:18:38 | × | peutri quits (~peutri@bobo.desast.re) (Remote host closed the connection) |
| 15:18:38 | × | mjrosenb quits (~mjrosenb@70.18.10.118) (Ping timeout: 260 seconds) |
| 15:18:38 | × | tureba quits (~tureba@tureba.org) (Ping timeout: 260 seconds) |
| 15:18:38 | × | down200 quits (~down200@shell.lug.mtu.edu) (Ping timeout: 260 seconds) |
| 15:18:45 | <tomsmeding> | that case is less trivial indeed |
| 15:19:00 | → | mjrosenb joins (~mjrosenb@70.18.10.118) |
| 15:19:19 | <tomsmeding> | while you can work out the algebra -- it's a function that, when given an Int -> Int function, gives you back an Int -- it's often helpful when dealing with these kind of multi-layered higher-order functions to have some context to get intuition from |
| 15:19:23 | → | Raito_Bezarius joins (~Raito@libera/contributor/wireguard.tunneler.raito-bezarius) |
| 15:19:34 | <tomsmeding> | since there is no context here (I suspect this is an exercise), one can try to invent context |
| 15:19:50 | <tomsmeding> | one could explain x as a service that, when passed an Int-mutator, gives you back an Int |
| 15:20:13 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 15:20:14 | jmcantrell_ | is now known as jmcantrell |
| 15:20:17 | → | confusedalex joins (~confuseda@user/confusedalex) |
| 15:20:29 | <tomsmeding> | this is exactly the same thing as the literal interpretation of the type, but it gives a little... crude intuition, maybe, for thinking about this x |
| 15:20:38 | → | AlexZenon joins (~alzenon@178.34.162.29) |
| 15:21:01 | <tomsmeding> | so inside f10, we create an Int-mutattor (\a -> a + 10), pass it to the service, and indeed we get an Int back |
| 15:21:04 | → | end joins (~end@user/end/x-0094621) |
| 15:21:15 | <tomsmeding> | now what is x supposed to do? I dunno, there's no context here |
| 15:21:54 | <tomsmeding> | x might always return 42; it might apply the passed Int-mutator function to 6; it might apply the function 100 times to 1; it might also `unsafePerformIO launchMissiles` |
| 15:23:10 | <Guest19> | haha it is an exercise, thanks for clarification |
| 15:23:26 | <[exa]> | Guest19: not sure if it helps but sometimes I got lucky getting stuff explained to myself by calling that function a "callback" as in procedural languages |
| 15:23:57 | <[exa]> | function `f :: (Int -> Int) -> Int` gets a callback that processes integers for it |
| 15:24:38 | <[exa]> | function `g :: ((Int -> Int) -> Int) -> Int` gets a callback which itself gets callback(s) and produces integers for `g` |
| 15:25:35 | <[exa]> | also tbh I don't recall a good "simple" example where such 2 layers would be used |
| 15:25:49 | × | trickard_ quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 15:26:45 | <merijn> | Guest19: Step one would be to figure out/write out what the type of each argument is |
| 15:29:26 | → | tureba joins (~tureba@tureba.org) |
| 15:29:27 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 15:30:37 | × | Googulator quits (~Googulato@178-164-188-203.pool.digikabel.hu) (Quit: Client closed) |
| 15:30:48 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 15:33:32 | × | qqe quits (~qqq@185.54.23.100) (Remote host closed the connection) |
| 15:34:00 | → | sprotte24 joins (~sprotte24@p200300d16f231d00e5b1a054e6dbcfed.dip0.t-ipconnect.de) |
| 15:36:46 | trickard_ | is now known as trickard |
| 15:37:16 | × | tv quits (~tv@user/tv) (Read error: Connection reset by peer) |
| 15:37:26 | × | Guest19 quits (~Guest77@static-186-121-238-172.acelerate.net) (Quit: Client closed) |
| 15:38:07 | → | Guest77 joins (~Guest77@static-186-121-238-172.acelerate.net) |
| 15:40:20 | → | tromp joins (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) |
| 15:45:11 | × | Guest77 quits (~Guest77@static-186-121-238-172.acelerate.net) (Quit: Ping timeout (120 seconds)) |
| 15:47:34 | → | kaol_ joins (~kaol@94-237-45-144.nl-ams1.upcloud.host) |
| 15:50:09 | → | jmcantre1 joins (~weechat@user/jmcantrell) |
| 15:50:41 | → | takuan_dozo joins (~takuan@d8D86B9E9.access.telenet.be) |
| 15:50:48 | → | mima_ joins (~mmh@user/mima) |
| 15:51:01 | → | TimWolla_ joins (~timwolla@2a01:4f8:150:6153:beef::6667) |
| 15:51:49 | → | fn_lumi_ joins (3d621153a5@2a03:6000:1812:100::df7) |
| 15:51:59 | → | sus03 joins (zero@user/zeromomentum) |
| 15:52:10 | → | gentauro_ joins (~gentauro@91.226.144.99) |
| 15:52:50 | → | pmk_ joins (6afe4476a1@2a03:6000:1812:100::26d) |
| 15:52:52 | → | geekosaur_ joins (sid609282@xmonad/geekosaur) |
| 15:53:07 | → | buhman_ joins (sid411355@user/buhman) |
| 15:53:14 | → | sa_ joins (sid1055@id-1055.tinside.irccloud.com) |
| 15:53:50 | × | tromp quits (~textual@2001:1c00:3487:1b00:988d:4246:ce46:c357) (*.net *.split) |
| 15:53:50 | × | tureba quits (~tureba@tureba.org) (*.net *.split) |
| 15:53:50 | × | jmcantrell quits (~weechat@user/jmcantrell) (*.net *.split) |
| 15:53:50 | × | buhman quits (sid411355@user/buhman) (*.net *.split) |
| 15:53:50 | × | Pozyomka quits (~pyon@user/pyon) (*.net *.split) |
| 15:53:51 | × | sus0 quits (thelounge@user/zeromomentum) (*.net *.split) |
| 15:53:51 | × | takuan quits (~takuan@d8D86B9E9.access.telenet.be) (*.net *.split) |
| 15:53:51 | × | mmaruseacph2 quits (~mihai@mihai.page) (*.net *.split) |
| 15:53:51 | × | absence quits (torgeihe@hildring.pvv.ntnu.no) (*.net *.split) |
| 15:53:51 | × | bryanv quits (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) (*.net *.split) |
| 15:53:51 | × | haveo quits (~weechat@pacamara.iuwt.fr) (*.net *.split) |
| 15:53:51 | × | fn_lumi quits (3d621153a5@2a03:6000:1812:100::df7) (*.net *.split) |
| 15:53:51 | × | drlkf quits (~drlkf@chat-1.drlkf.net) (*.net *.split) |
| 15:53:51 | × | bgtdsword quits (b968c1779f@user/titibandit) (*.net *.split) |
| 15:53:51 | × | pmk quits (6afe4476a1@2a03:6000:1812:100::26d) (*.net *.split) |
| 15:53:51 | × | kaol quits (~kaol@94-237-45-144.nl-ams1.upcloud.host) (*.net *.split) |
| 15:53:51 | × | geekosaur quits (sid609282@xmonad/geekosaur) (*.net *.split) |
| 15:53:51 | × | mima quits (~mmh@user/mima) (*.net *.split) |
| 15:53:51 | × | Profpatsch quits (~Profpatsc@user/Profpatsch) (*.net *.split) |
| 15:53:51 | × | sa quits (sid1055@id-1055.tinside.irccloud.com) (*.net *.split) |
| 15:53:51 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 15:53:51 | × | feetwind quits (~mike@user/feetwind) (*.net *.split) |
| 15:53:51 | × | TimWolla quits (~timwolla@2a01:4f8:150:6153:beef::6667) (*.net *.split) |
| 15:53:51 | × | gentauro quits (~gentauro@user/gentauro) (*.net *.split) |
| 15:53:51 | × | dfordivam1 quits (~dfordivam@160.16.87.223.v6.sakura.ne.jp) (*.net *.split) |
| 15:53:51 | sus03 | is now known as sus0 |
| 15:53:51 | fn_lumi_ | is now known as fn_lumi |
| 15:53:51 | buhman_ | is now known as buhman |
| 15:53:51 | TimWolla_ | is now known as TimWolla |
| 15:53:51 | geekosaur_ | is now known as geekosaur |
| 15:53:54 | sa_ | is now known as sa |
| 15:54:00 | → | absence joins (torgeihe@hildring.pvv.ntnu.no) |
| 15:54:49 | → | bryanv joins (~quassel@2603:c028:4503:7500:45b7:933:ab17:bc10) |
| 15:55:11 | → | Pozyomka joins (~pyon@user/pyon) |
| 15:55:11 | → | haveo joins (~weechat@pacamara.iuwt.fr) |
| 15:55:11 | → | drlkf joins (~drlkf@chat-1.drlkf.net) |
| 15:55:11 | → | dfordivam1 joins (~dfordivam@160.16.87.223.v6.sakura.ne.jp) |
| 15:55:27 | → | bgtdsword joins (b968c1779f@user/titibandit) |
| 15:55:52 | → | mmaruseacph2 joins (~mihai@mihai.page) |
| 15:56:17 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 15:56:44 | → | tureba joins (~tureba@tureba.org) |
| 15:57:12 | × | chele quits (~chele@user/chele) (Remote host closed the connection) |
| 15:57:32 | lesihctej | is now known as jetchisel |
| 15:59:10 | → | Profpatsch joins (~Profpatsc@user/Profpatsch) |
| 16:06:01 | → | uroboros joins (~ouroboros@user/ouroboros) |
| 16:06:09 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 16:07:59 | → | arandombit joins (~arandombi@user/arandombit) |
| 16:12:40 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 16:15:01 | × | nadja quits (~dequbed@banana-new.kilobyte22.de) (*.net *.split) |
| 16:15:01 | × | ouroboros quits (~ouroboros@user/ouroboros) (*.net *.split) |
| 16:15:01 | uroboros | is now known as ouroboros |
| 16:16:42 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 16:17:49 | → | nadja joins (~dequbed@banana-new.kilobyte22.de) |
| 16:20:43 | → | arandombit joins (~arandombi@user/arandombit) |
| 16:23:13 | × | merijn quits (~merijn@77.242.116.146) (Ping timeout: 260 seconds) |
| 16:25:45 | → | karenw_ joins (~karenw@user/karenw) |
| 16:29:46 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 16:31:13 | → | feetwind joins (~mike@user/feetwind) |
| 16:34:48 | → | tzh joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:39:57 | → | Square2 joins (~Square@user/square) |
| 16:41:22 | × | sord937 quits (~sord937@gateway/tor-sasl/sord937) (Quit: sord937) |
| 16:43:15 | × | Square quits (~Square4@user/square) (Ping timeout: 256 seconds) |
| 16:46:45 | × | AndreiDuma_ quits (~AndreiDum@user/AndreiDuma) (Quit: My Mac has gone to sleep. ZZZzzz…) |
| 16:47:33 | → | wootehfoot joins (~wootehfoo@user/wootehfoot) |
| 16:47:50 | → | caconym7478 joins (~caconym@user/caconym) |
| 16:48:05 | → | SheRejoined joins (haveident@libera/staff/she/her) |
| 16:48:47 | → | nschoe- joins (~nschoe@2a01:e0a:8e:a190:9e37:3b8a:62b6:7bed) |
| 16:49:13 | → | rvalue- joins (~rvalue@about/hackers/rvalue) |
| 16:49:25 | → | Digitteknohippie joins (~user@user/digit) |
| 16:49:49 | → | uroboros joins (~ouroboros@user/ouroboros) |
| 16:49:49 | → | xerox joins (~edi@user/edi) |
| 16:50:16 | → | tv joins (~tv@user/tv) |
| 16:50:18 | → | mhatta_ joins (~mhatta@www21123ui.sakura.ne.jp) |
| 16:50:25 | → | ruvam_ joins (~ruvam@user/ruvam) |
| 16:50:32 | → | barrucad1 joins (~barrucadu@carcosa.barrucadu.co.uk) |
| 16:50:39 | → | koz_ joins (~koz@121.99.240.58) |
| 16:50:44 | → | dutchie_ joins (~dutchie@user/dutchie) |
| 16:50:57 | → | divlamir_ joins (~divlamir@user/divlamir) |
| 16:50:58 | → | hc_ joins (~hc@mail.hce.li) |
| 16:51:19 | → | shachaf joins (~shachaf@user/shachaf) |
| 16:52:52 | × | divlamir_ quits (~divlamir@user/divlamir) (Remote host closed the connection) |
| 16:53:11 | → | divlamir__ joins (~divlamir@user/divlamir) |
| 16:53:53 | → | cyphase_eviltwin joins (~cyphase@user/cyphase) |
| 16:54:17 | × | tzh quits (~tzh@c-76-115-131-146.hsd1.or.comcast.net) (*.net *.split) |
| 16:54:17 | × | arandombit quits (~arandombi@user/arandombit) (*.net *.split) |
| 16:54:17 | × | ouroboros quits (~ouroboros@user/ouroboros) (*.net *.split) |
| 16:54:17 | × | Profpatsch quits (~Profpatsc@user/Profpatsch) (*.net *.split) |
| 16:54:17 | × | flukiluke quits (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) (*.net *.split) |
| 16:54:17 | × | mmaruseacph2 quits (~mihai@mihai.page) (*.net *.split) |
| 16:54:17 | × | She quits (haveident@libera/staff/she/her) (*.net *.split) |
| 16:54:17 | × | xerox_ quits (~edi@user/edi) (*.net *.split) |
| 16:54:17 | × | Ekho- quits (~Ekho@user/ekho) (*.net *.split) |
| 16:54:17 | × | shachaf_ quits (~shachaf@li227-219.members.linode.com) (*.net *.split) |
| 16:54:17 | × | caconym747 quits (~caconym@user/caconym) (*.net *.split) |
| 16:54:17 | × | c_wraith quits (~c_wraith@adjoint.us) (*.net *.split) |
| 16:54:17 | × | Lycurgus quits (~juan@user/Lycurgus) (*.net *.split) |
| 16:54:17 | × | Aleksejs_Home quits (~Aleksejs@107.170.21.106) (*.net *.split) |
| 16:54:17 | × | glguy_ quits (glguy@libera/staff/glguy) (*.net *.split) |
| 16:54:17 | × | Jackneill quits (~Jackneill@94-21-227-192.pool.digikabel.hu) (*.net *.split) |
| 16:54:17 | × | yahb2 quits (~yahb2@user/tomsmeding/bot/yahb2) (*.net *.split) |
| 16:54:17 | × | degraafk quits (sid71464@id-71464.lymington.irccloud.com) (*.net *.split) |
| 16:54:17 | × | aspen quits (sid449115@id-449115.helmsley.irccloud.com) (*.net *.split) |
| 16:54:18 | × | barrucadu quits (~barrucadu@carcosa.barrucadu.co.uk) (*.net *.split) |
| 16:54:18 | × | alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (*.net *.split) |
| 16:54:18 | × | rselim quits (ce261f06ff@user/milesrout) (*.net *.split) |
| 16:54:18 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (*.net *.split) |
| 16:54:18 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (*.net *.split) |
| 16:54:18 | × | j0lol quits (~j0lol@132.145.17.236) (*.net *.split) |
| 16:54:18 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (*.net *.split) |
| 16:54:18 | × | nschoe quits (~nschoe@82-65-202-30.subs.proxad.net) (*.net *.split) |
| 16:54:18 | × | poscat0x04 quits (~poscat@user/poscat) (*.net *.split) |
| 16:54:18 | × | rvalue quits (~rvalue@about/hackers/rvalue) (*.net *.split) |
| 16:54:18 | × | divlamir quits (~divlamir@user/divlamir) (*.net *.split) |
| 16:54:18 | × | swistak quits (~swistak@185.21.216.141) (*.net *.split) |
| 16:54:18 | × | p3n quits (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) (*.net *.split) |
| 16:54:18 | × | dutchie quits (~dutchie@user/dutchie) (*.net *.split) |
| 16:54:18 | × | cyphase quits (~cyphase@user/cyphase) (*.net *.split) |
| 16:54:18 | × | tcard quits (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) (*.net *.split) |
| 16:54:18 | × | laman quits (laman@rego.ai) (*.net *.split) |
| 16:54:18 | × | fgarcia quits (~lei@user/fgarcia) (*.net *.split) |
| 16:54:18 | × | mhatta quits (~mhatta@www21123ui.sakura.ne.jp) (*.net *.split) |
| 16:54:18 | × | Beowulf quits (florian@gabilgathol.bandrate.org) (*.net *.split) |
| 16:54:19 | × | ruvam quits (~ruvam@user/ruvam) (*.net *.split) |
| 16:54:19 | × | coldmountain quits (sid484352@id-484352.helmsley.irccloud.com) (*.net *.split) |
| 16:54:19 | × | jonrh quits (sid5185@id-5185.ilkley.irccloud.com) (*.net *.split) |
| 16:54:19 | × | Adeon quits (sid418992@id-418992.lymington.irccloud.com) (*.net *.split) |
| 16:54:19 | × | koz quits (~koz@121.99.240.58) (*.net *.split) |
| 16:54:19 | × | tomboy64 quits (~tomboy64@user/tomboy64) (*.net *.split) |
| 16:54:19 | × | Digit quits (~user@user/digit) (*.net *.split) |
| 16:54:19 | × | picnoir quits (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) (*.net *.split) |
| 16:54:19 | × | hc quits (~hc@mail.hce.li) (*.net *.split) |
| 16:54:19 | → | fgarcia_ joins (~lei@user/fgarcia) |
| 16:54:20 | dutchie_ | is now known as dutchie |
| 16:54:22 | SheRejoined | is now known as She |
| 16:54:22 | caconym7478 | is now known as caconym747 |
| 16:54:25 | uroboros | is now known as ouroboros |
| 16:54:26 | ruvam_ | is now known as ruvam |
| 16:54:32 | → | cwraith joins (~c_wraith@adjoint.us) |
| 16:54:33 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 16:55:09 | divlamir__ | is now known as divlamir |
| 16:55:10 | → | Aleksejs joins (~Aleksejs@107.170.21.106) |
| 16:55:12 | → | Ekho joins (~Ekho@user/ekho) |
| 16:55:13 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 16:55:27 | fgarcia_ | is now known as fgarcia |
| 16:57:42 | cwraith | is now known as c_wraith |
| 16:58:29 | rvalue- | is now known as rvalue |
| 16:59:50 | → | swistak- joins (~swistak@185.21.216.141) |
| 16:59:50 | → | tzh_ joins (~tzh@c-76-115-131-146.hsd1.or.comcast.net) |
| 16:59:50 | → | Jackneill_ joins (~Jackneill@94-21-227-192.pool.digikabel.hu) |
| 16:59:50 | → | tcard_ joins (~tcard@2400:4051:5801:7500:cf17:befc:ff82:5303) |
| 16:59:50 | → | arandombit joins (~arandombi@user/arandombit) |
| 16:59:50 | → | flukiluke joins (~m-7humut@2603:c023:c000:6c7e:8945:ad24:9113:a962) |
| 16:59:50 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 16:59:50 | → | glguy_ joins (glguy@libera/staff/glguy) |
| 16:59:50 | → | yahb2 joins (~yahb2@user/tomsmeding/bot/yahb2) |
| 16:59:50 | → | degraafk joins (sid71464@id-71464.lymington.irccloud.com) |
| 16:59:50 | → | aspen joins (sid449115@id-449115.helmsley.irccloud.com) |
| 16:59:50 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 16:59:50 | → | alethkit joins (23bd17ddc6@sourcehut/user/alethkit) |
| 16:59:50 | → | rselim joins (ce261f06ff@user/milesrout) |
| 16:59:50 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 16:59:50 | → | poscat0x04 joins (~poscat@user/poscat) |
| 16:59:50 | → | p3n joins (~p3n@2a00:19a0:3:7c:0:d9c6:7cf6:1) |
| 16:59:50 | → | laman joins (laman@rego.ai) |
| 16:59:50 | → | Beowulf joins (florian@gabilgathol.bandrate.org) |
| 16:59:50 | → | coldmountain joins (sid484352@id-484352.helmsley.irccloud.com) |
| 16:59:50 | → | jonrh joins (sid5185@id-5185.ilkley.irccloud.com) |
| 16:59:50 | → | Adeon joins (sid418992@id-418992.lymington.irccloud.com) |
| 16:59:50 | → | picnoir joins (~picnoir@about/aquilenet/vodoo/NinjaTrappeur) |
| 16:59:50 | tungsten.libera.chat | sets mode +v yahb2 |
| 16:59:52 | × | alethkit quits (23bd17ddc6@sourcehut/user/alethkit) (Max SendQ exceeded) |
| 16:59:52 | × | PotatoGim quits (sid99505@id-99505.lymington.irccloud.com) (Max SendQ exceeded) |
| 16:59:52 | × | Jackneill_ quits (~Jackneill@94-21-227-192.pool.digikabel.hu) (Max SendQ exceeded) |
| 16:59:52 | × | robobub quits (uid248673@id-248673.uxbridge.irccloud.com) (Max SendQ exceeded) |
| 16:59:59 | → | alethkit_ joins (23bd17ddc6@sourcehut/user/alethkit) |
| 17:00:07 | → | mmaruseacph2 joins (~mihai@mihai.page) |
| 17:00:12 | → | Jackneill_ joins (~Jackneill@94-21-227-192.pool.digikabel.hu) |
| 17:00:55 | → | PotatoGim joins (sid99505@id-99505.lymington.irccloud.com) |
| 17:01:17 | alethkit_ | is now known as alethkit |
| 17:01:34 | → | j0lol joins (~j0lol@132.145.17.236) |
| 17:01:40 | → | robobub joins (uid248673@id-248673.uxbridge.irccloud.com) |
| 17:02:40 | → | tomboy64 joins (~tomboy64@user/tomboy64) |
| 17:03:36 | → | Profpatsch joins (~Profpatsc@user/Profpatsch) |
| 17:04:05 | → | ft joins (~ft@p4fc2a25a.dip0.t-ipconnect.de) |
| 17:07:49 | × | trickard quits (~trickard@cpe-94-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 17:08:04 | → | trickard_ joins (~trickard@cpe-94-98-47-163.wireline.com.au) |
| 17:08:16 | → | WzC joins (~Frank@77-162-168-71.fixed.kpn.net) |
| 17:09:47 | × | mulk quits (~mulk@pd95144c3.dip0.t-ipconnect.de) (Ping timeout: 244 seconds) |
| 17:09:47 | × | Noinia quits (~Frank@77-162-168-71.fixed.kpn.net) (Ping timeout: 244 seconds) |
| 17:10:29 | × | j0lol quits (~j0lol@132.145.17.236) (Ping timeout: 260 seconds) |
| 17:10:43 | × | dostoyevsky2 quits (~sck@user/dostoyevsky2) (Ping timeout: 260 seconds) |
| 17:11:21 | → | dostoyevsky2 joins (~sck@user/dostoyevsky2) |
| 17:11:47 | → | mulk joins (~mulk@pd95144c3.dip0.t-ipconnect.de) |
| 17:12:21 | → | jcarpenter2 joins (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) |
| 17:13:51 | → | lol_ joins (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) |
| 17:15:33 | × | Lycurgus quits (~juan@user/Lycurgus) (Remote host closed the connection) |
| 17:16:42 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 17:16:50 | → | j0lol joins (~j0lol@132.145.17.236) |
| 17:17:07 | × | jcarpenter2 quits (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) (Ping timeout: 260 seconds) |
| 17:21:16 | Digitteknohippie | is now known as Digit |
| 17:29:09 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 17:35:36 | → | arandombit joins (~arandombi@user/arandombit) |
| 17:38:16 | × | lol_ quits (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) (Read error: Connection reset by peer) |
| 17:38:45 | → | lol_ joins (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) |
| 17:38:57 | × | arandombit quits (~arandombi@user/arandombit) (Remote host closed the connection) |
| 17:39:08 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) |
| 17:39:08 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) (Changing host) |
| 17:39:08 | → | arandombit joins (~arandombi@user/arandombit) |
| 17:43:05 | × | vgtw_ quits (~vgtw@user/vgtw) (Ping timeout: 265 seconds) |
| 17:43:12 | × | wootehfoot quits (~wootehfoo@user/wootehfoot) (Read error: Connection reset by peer) |
| 17:44:59 | trickard_ | is now known as trickard |
| 17:48:43 | → | ksqsf joins (~user@2a02:810a:8d13:8800:841a:4949:f9a8:85d8) |
| 17:50:28 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 17:52:34 | → | vgtw joins (~vgtw@user/vgtw) |
| 17:54:14 | × | collide2954 quits (~collide29@user/collide2954) (Quit: The Lounge - https://thelounge.chat) |
| 17:54:17 | ← | ksqsf parts (~user@2a02:810a:8d13:8800:841a:4949:f9a8:85d8) (ERC 5.6.0.30.1 (IRC client for GNU Emacs 30.1.50)) |
| 17:57:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:08:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:10:20 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
| 18:10:37 | → | Googulator joins (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) |
| 18:13:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:15:03 | meejah_ | is now known as meejah |
| 18:20:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:22:55 | <monochrom> | IMO continuation = callback = a -> IO b too. |
| 18:23:35 | <monochrom> | OK sometimes it's a->r instead of a -> IO b. |
| 18:24:24 | × | divlamir quits (~divlamir@user/divlamir) (Read error: Connection reset by peer) |
| 18:24:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 18:24:43 | → | divlamir joins (~divlamir@user/divlamir) |
| 18:26:05 | → | GdeVolpiano joins (~GdeVolpia@user/GdeVolpiano) |
| 18:29:48 | → | target_i joins (~target_i@user/target-i/x-6023099) |
| 18:35:06 | <tomsmeding> | in the javascript world, a callback is typically something that's tail-called -- i.e. what we'd call a continuation |
| 18:35:20 | <tomsmeding> | elsewhere non-tail-call callbacks are more common I feel |
| 18:35:29 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:36:17 | <tomsmeding> | the JS tendency is mostly because they use one or two monads without knowing that they're monads, and you get continuations from (>>=) :p |
| 18:36:51 | <monochrom> | Yeah |
| 18:37:24 | <tomsmeding> | though I guess Promise is more like a Church-encoded Either |
| 18:37:51 | tomsmeding | . o O ( (a -> r) -> (Error -> r) -> Promise a -> r ) |
| 18:38:03 | <monochrom> | Lambda The Ultimate Callback Programming |
| 18:38:59 | → | poscat joins (~poscat@user/poscat) |
| 18:39:22 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 248 seconds) |
| 18:39:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 18:40:34 | × | poscat0x04 quits (~poscat@user/poscat) (Ping timeout: 256 seconds) |
| 18:41:16 | → | arandombit joins (~arandombi@user/arandombit) |
| 18:44:23 | → | Guest14 joins (~Guest91@2a0a:ef40:50c:3901:79f5:d78f:9aec:1a09) |
| 18:45:03 | <Guest14> | im getting a strange error; |
| 18:45:03 | <Guest14> | https://paste.tomsmeding.com/ltFVsS2E |
| 18:45:14 | <Guest14> | the code does not have *any divisions* |
| 18:45:23 | <Guest14> | how is it producing a NaN |
| 18:45:40 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 18:45:44 | <monochrom> | Actually division doesn't produce NaN. But sqrt does. |
| 18:45:45 | → | vanishingideal joins (~vanishing@user/vanishingideal) |
| 18:45:55 | <monochrom> | division produces Inf. |
| 18:46:08 | <int-e> | Well, there's 0/0 |
| 18:46:14 | <Franciman> | indeed... |
| 18:46:16 | <monochrom> | Ooops. |
| 18:46:16 | <Guest14> | this is guarded against |
| 18:46:38 | <Guest14> | it seems to appear when the input is a very small negative number |
| 18:47:06 | → | arandombit joins (~arandombi@user/arandombit) |
| 18:47:12 | <Guest14> | on google i find: |
| 18:47:12 | <Guest14> | Hackage |
| 18:47:13 | <Guest14> | https://hackage.haskell.org › package › fp-ieee › docs |
| 18:47:13 | <Guest14> | Returns True if the operand is a negative number, negative infinity, negative zero, or a NaN with negative sign bit. |
| 18:47:28 | <int-e> | anyway the bit og information that there are no divisions is quite useless |
| 18:47:57 | <monochrom> | asin acos atan etc can also give NaN for the same reason as sqrt |
| 18:48:09 | <Guest14> | there is a tanh |
| 18:48:14 | <Guest14> | ill see if there are any powers |
| 18:48:28 | <Guest14> | afikt all the arithmetric opperations are + and * |
| 18:48:28 | <monochrom> | I forgot what else. Consult IEEE 754 for the complete list. |
| 18:49:11 | <Guest14> | it says something about "signed zeros" |
| 18:49:33 | <int-e> | Even + and * /can/ produce NaNs. (from variants of inf + -inf and 0 * inf) |
| 18:49:48 | <Guest14> | but the values are small |
| 18:49:57 | <Guest14> | the flop is an interpolation# |
| 18:50:09 | <Guest14> | it seems to not like to approach 0 from -ve numbers? |
| 18:50:30 | <Guest14> | has me flummoxed |
| 18:50:43 | <monochrom> | Minimum reproducible example or you can consult IEEE 754 yourself. |
| 18:50:52 | <int-e> | Guest14: don't speculate. do the actual computation that results in NaN with the actual inputs and see what goes wrong |
| 18:50:52 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 18:50:59 | <Guest14> | i checked; https://en.wikipedia.org/wiki/IEEE_754 |
| 18:51:11 | <Guest14> | int-e: hmm ok |
| 18:51:15 | <monochrom> | Wikipedia is not going to be complete on this. |
| 18:51:37 | <Guest14> | i could guard against the NaNs with isNaN, but this would be costly |
| 18:51:37 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 18:51:46 | <Guest14> | i cant see why it would produce NaNs... |
| 18:52:03 | <Guest14> | ill check for a sqrt, but all i have is interpolation |
| 18:53:23 | <Guest14> | https://paste.tomsmeding.com/5XD7F7oG |
| 18:54:03 | <monochrom> | What is / in a/b ? |
| 18:54:25 | <geekosaur> | just noticed that myself. betting it ends up 0/0 with very small numbers |
| 18:54:42 | <Guest14> | but its guarded against |
| 18:55:05 | <int-e> | also taken when b is NaN |
| 18:55:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 18:55:38 | <Guest14> | what its doing is calculating a volume, thats, the gradient, "lagged" (uses interpolation to fold up a buffer), and the same calc but done with the abs value. the ratio of these, the volume, is like a gradient, except bounded on the unit interval. b is strictly positive |
| 18:56:42 | <int-e> | and IIUC all of c,a,b, and o are NaN in your test |
| 18:56:48 | <Guest14> | i think the lag value input as a control must be injecting a NaN from somewhere... i didnt realise. there could be a sqrt somewhere. ill put an abs and then hopefully it will be ok |
| 18:57:04 | <tomsmeding> | Guest14: insert the isNaN checks now, to find out where the NaN is produced, fix the problem, then remove the isNaN |
| 18:57:09 | <int-e> | so the inner `control` calls produce NaNs. |
| 18:57:16 | <Guest14> | yeah, if c is NaN thats the control, the injected value to use as a lag |
| 18:57:43 | <Guest14> | if it tries to uses that as an interpolation constant in the lag calculation on the buffer it will return NaN |
| 18:57:54 | <Guest14> | ill try and find where the control is and why its producing a NaN |
| 18:57:54 | <int-e> | > let nan = 0/0 in nan <= 0.01 |
| 18:57:56 | <lambdabot> | False |
| 18:58:02 | → | arandombit joins (~arandombi@user/arandombit) |
| 18:58:21 | <Guest14> | yeah, thats got to be it |
| 18:58:47 | <tomsmeding> | right, c is NaN, hen a and b become NaN and all is borked |
| 18:58:49 | <Guest14> | i was just getting confused because i thought the division is the only place that could produce it and that b is strictly positive by being the lag on a buffer of abs grads |
| 18:58:59 | <Guest14> | tomsmeding: perzactly |
| 18:59:06 | <int-e> | If your goal is to produce 0 when b is NaN, then you're going to have to invert that comparison. |
| 18:59:09 | int-e | shrugs |
| 18:59:24 | <Guest14> | i just want to find where is the NaN from and fix it. brb |
| 18:59:31 | <int-e> | But there's no mystery where NaN comes from if it's an input to the function. |
| 18:59:42 | <int-e> | At least not in this part of the code. |
| 19:00:01 | × | caconym747 quits (~caconym@user/caconym) (Quit: bye) |
| 19:00:42 | → | caconym7478 joins (~caconym@user/caconym) |
| 19:01:26 | → | dontdieych2 joins (~dontdieyc@218.144.158.109) |
| 19:01:44 | × | dontdieych2 quits (~dontdieyc@218.144.158.109) (Remote host closed the connection) |
| 19:02:24 | <Guest14> | the input to a power becomes negative; |
| 19:02:24 | <Guest14> | https://paste.tomsmeding.com/txphlln4 |
| 19:02:38 | <Guest14> | "rectification" input is small and negative just before it breaks |
| 19:03:14 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 19:04:07 | <Guest14> | idk why it gives a negative value.... but now with an abs it seems ok |
| 19:04:09 | <Guest14> | thanks for the help |
| 19:04:12 | × | Guest14 quits (~Guest91@2a0a:ef40:50c:3901:79f5:d78f:9aec:1a09) (Quit: Client closed) |
| 19:04:29 | → | arandombit joins (~arandombi@user/arandombit) |
| 19:05:24 | tomsmeding | is unsure slapping an abs on something, where you don't understand why, is going to be a good idea in a dynamical system |
| 19:06:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:10:41 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 19:12:01 | → | dontdieych joins (~dontdieyc@132.226.169.184) |
| 19:12:17 | × | karenw_ quits (~karenw@user/karenw) (Ping timeout: 248 seconds) |
| 19:13:58 | → | OftenFaded30 joins (~OftenFade@user/tisktisk) |
| 19:21:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:25:37 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 19:38:59 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:45:44 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 19:47:22 | × | ChaiTRex quits (~ChaiTRex@user/chaitrex) (Remote host closed the connection) |
| 19:48:42 | → | ChaiTRex joins (~ChaiTRex@user/chaitrex) |
| 19:49:03 | × | Unicorn_Princess quits (~Unicorn_P@user/Unicorn-Princess/x-3540542) (Remote host closed the connection) |
| 19:49:46 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 19:51:33 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 19:52:26 | × | L29Ah quits (~L29Ah@wikipedia/L29Ah) (Read error: Connection timed out) |
| 19:54:33 | → | Everything joins (~Everythin@88.155.41.171) |
| 19:57:01 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 19:57:11 | × | jmcantre1 quits (~weechat@user/jmcantrell) (Ping timeout: 244 seconds) |
| 19:59:46 | × | ubert1 quits (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) (Ping timeout: 244 seconds) |
| 20:00:20 | semifunc- | is now known as semifunctor |
| 20:01:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 20:03:35 | → | gorignak joins (~gorignak@user/gorignak) |
| 20:12:24 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:13:49 | × | gorignak quits (~gorignak@user/gorignak) (Quit: quit) |
| 20:17:09 | → | Buliarous joins (~gypsydang@46.232.210.139) |
| 20:17:22 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:20:12 | → | gorignak joins (~gorignak@user/gorignak) |
| 20:21:26 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 20:33:15 | × | Square2 quits (~Square@user/square) (Ping timeout: 245 seconds) |
| 20:37:30 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:42:27 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 20:42:33 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 20:52:01 | → | jmcantrell_ joins (~weechat@user/jmcantrell) |
| 20:52:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 20:54:07 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 260 seconds) |
| 20:55:19 | × | takuan_dozo quits (~takuan@d8D86B9E9.access.telenet.be) (Remote host closed the connection) |
| 20:57:42 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 21:01:54 | → | ubert joins (~Thunderbi@178.115.51.39.wireless.dyn.drei.com) |
| 21:08:16 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:12:47 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:23:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:30:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:31:29 | × | OftenFaded30 quits (~OftenFade@user/tisktisk) (Ping timeout: 250 seconds) |
| 21:32:29 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 21:34:03 | × | Everything quits (~Everythin@88.155.41.171) (Quit: leaving) |
| 21:37:16 | × | target_i quits (~target_i@user/target-i/x-6023099) (Quit: leaving) |
| 21:38:35 | × | AndreiDuma quits (~AndreiDum@user/AndreiDuma) (Read error: Connection reset by peer) |
| 21:39:32 | → | AndreiDuma joins (~AndreiDum@user/AndreiDuma) |
| 21:40:02 | × | michalz quits (~michalz@185.246.207.221) (Remote host closed the connection) |
| 21:41:10 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:43:45 | × | AndreiDuma quits (~AndreiDum@user/AndreiDuma) (Read error: Connection reset by peer) |
| 21:46:02 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 21:49:08 | → | L29Ah joins (~L29Ah@wikipedia/L29Ah) |
| 21:49:55 | → | weary-traveler joins (~user@user/user363627) |
| 21:50:19 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Quit: peterbecich) |
| 21:50:36 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 21:52:40 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 21:56:34 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 21:59:43 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) |
| 21:59:43 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:e5e7:511:ab1f:5368) (Changing host) |
| 21:59:43 | → | arandombit joins (~arandombi@user/arandombit) |
| 22:01:12 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:09:53 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 22:12:02 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:13:17 | × | __monty__ quits (~toonn@user/toonn) (Quit: leaving) |
| 22:16:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 22:18:05 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 22:21:47 | → | pavonia joins (~user@user/siracusa) |
| 22:24:15 | → | karenw_ joins (~karenw@user/karenw) |
| 22:27:31 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:29:10 | → | Sgeo joins (~Sgeo@user/sgeo) |
| 22:32:07 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 22:36:03 | → | wz1000_ joins (~wz1000@2a01:4f9:c012:de50::1) |
| 22:42:53 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:44:17 | × | wz1000_ quits (~wz1000@2a01:4f9:c012:de50::1) (Quit: ZNC 1.8.2 - https://znc.in) |
| 22:45:09 | → | wz1000_ joins (~wz1000@static.194.167.62.46.clients.your-server.de) |
| 22:47:38 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 22:47:40 | × | wz1000_ quits (~wz1000@static.194.167.62.46.clients.your-server.de) (Client Quit) |
| 22:48:28 | → | wz1000_ joins (~wz1000@static.194.167.62.46.clients.your-server.de) |
| 22:52:32 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 22:58:17 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 22:58:33 | → | Tuplanolla joins (~Tuplanoll@91-159-69-59.elisa-laajakaista.fi) |
| 22:59:16 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 23:03:20 | × | sprotte24 quits (~sprotte24@p200300d16f231d00e5b1a054e6dbcfed.dip0.t-ipconnect.de) (Quit: Leaving) |
| 23:04:49 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:08:01 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 248 seconds) |
| 23:16:20 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:21:04 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 23:21:45 | × | acidjnk quits (~acidjnk@p200300d6e717193311482dfc0bb512ca.dip0.t-ipconnect.de) (Ping timeout: 252 seconds) |
| 23:25:06 | → | mange joins (~mange@user/mange) |
| 23:31:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:36:17 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 248 seconds) |
| 23:42:39 | × | lol_ quits (~lol@2603:3016:1e01:b980:ec15:b171:37c4:824e) (Quit: Leaving) |
| 23:47:06 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 23:48:04 | → | emmanuelux joins (~emmanuelu@user/emmanuelux) |
| 23:51:45 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 244 seconds) |
| 23:53:48 | × | ystael quits (~ystael@user/ystael) (Ping timeout: 265 seconds) |
| 23:57:32 | × | glguy_ quits (glguy@libera/staff/glguy) (Quit: Quit) |
| 23:58:10 | → | glguy joins (glguy@libera/staff/glguy) |
All times are in UTC on 2025-09-16.