Logs: liberachat/#haskell
| 2025-09-16 03:51:15 | <hololeap> | I haven't read all the backlog but it sounds like StatisticalIndep is using another lang via FFI |
| 2025-09-16 03:51:47 | <geekosaur> | StatisticalIndep, you could do that but don't be surprised if "unrelated" things change their values also |
| 2025-09-16 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 |
| 2025-09-16 03:51:51 | <StatisticalIndep> | seeing from my POV. |
| 2025-09-16 03:51:52 | <geekosaur> | sharing's a thing |
| 2025-09-16 03:52:19 | <geekosaur> | you can listen to a podcast while driving without taking your eyes from the road |
| 2025-09-16 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_ |
| 2025-09-16 03:52:58 | <hololeap> | yeah you can listen while doing things that require your focus outside a computer |
| 2025-09-16 03:52:59 | <geekosaur> | ) |
| 2025-09-16 03:53:21 | <hololeap> | that is 100% why I listen to podcasts |
| 2025-09-16 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 |
| 2025-09-16 03:54:36 | <jreicher> | There was a perl6 implementation written in Haskell. You could reverse that. |
| 2025-09-16 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 |
| 2025-09-16 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 |
| 2025-09-16 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. |
| 2025-09-16 03:55:41 | <hololeap> | oh, then I misunderstood |
| 2025-09-16 03:56:06 | × | trickard quits (~trickard@cpe-56-98-47-163.wireline.com.au) (Read error: Connection reset by peer) |
| 2025-09-16 03:56:19 | → | trickard_ joins (~trickard@cpe-56-98-47-163.wireline.com.au) |
| 2025-09-16 03:56:31 | <hololeap> | I just assumed but I didn't read all the backlog |
| 2025-09-16 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 |
| 2025-09-16 03:57:08 | <geekosaur> | we understand each other, if for different reasons |
| 2025-09-16 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) |
| 2025-09-16 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 |
| 2025-09-16 03:59:55 | <hololeap> | but we are different people :) |
| 2025-09-16 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 |
| 2025-09-16 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.) |
| 2025-09-16 04:00:35 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 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 |
| 2025-09-16 04:01:46 | <geekosaur> | which didn't mean it was easy for me |
| 2025-09-16 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 |
| 2025-09-16 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 |
| 2025-09-16 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 |
| 2025-09-16 04:02:50 | <StatisticalIndep> | a Nokia. :D |
| 2025-09-16 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. |
| 2025-09-16 04:05:38 | × | peterbecich quits (~Thunderbi@syn-172-222-149-049.res.spectrum.com) (Ping timeout: 256 seconds) |
| 2025-09-16 04:07:18 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 252 seconds) |
| 2025-09-16 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 |
| 2025-09-16 04:07:25 | <StatisticalIndep> | differently for different speakers!) |
| 2025-09-16 04:10:55 | → | xff0x joins (~xff0x@fsb6a9491c.tkyc517.ap.nuro.jp) |
| 2025-09-16 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 |
| 2025-09-16 04:15:15 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-16 04:16:54 | <hololeap> | I've seen mkv files with multiple audio streams, one for a particular language :) |
| 2025-09-16 04:18:26 | <hololeap> | sorry, you just said that. didn't read carefully enough :( |
| 2025-09-16 04:18:38 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 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 |
| 2025-09-16 04:19:35 | <StatisticalIndep> | It’s OK. I didn’t notice anyway. ;) |
| 2025-09-16 04:20:39 | <hololeap> | disrespecting the gain? I think that should be under the user's control :) |
| 2025-09-16 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. |
| 2025-09-16 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 |
| 2025-09-16 04:23:05 | → | Lycurgus joins (~juan@user/Lycurgus) |
| 2025-09-16 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 |
| 2025-09-16 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.) |
| 2025-09-16 04:23:24 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 260 seconds) |
| 2025-09-16 04:23:46 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-16 04:24:54 | → | arandombit joins (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) |
| 2025-09-16 04:24:54 | × | arandombit quits (~arandombi@2603:7000:4600:ffbe:21ee:ceac:8353:7a15) (Changing host) |
| 2025-09-16 04:24:54 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-16 04:25:19 | <Lycurgus> | force sensitives can tell a dropped link |
| 2025-09-16 04:26:09 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Ping timeout: 250 seconds) |
| 2025-09-16 04:27:02 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-16 04:28:27 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 2025-09-16 04:28:40 | → | takuan joins (~takuan@d8D86B9E9.access.telenet.be) |
| 2025-09-16 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 |
| 2025-09-16 04:28:47 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-16 04:29:26 | × | arandombit quits (~arandombi@user/arandombit) (Ping timeout: 256 seconds) |
| 2025-09-16 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. |
| 2025-09-16 04:30:15 | <StatisticalIndep> | Btw, we’re quite off-topic now. This should go on #haskell-offtpic, no? ;) |
| 2025-09-16 04:30:40 | <hololeap> | lol, yeah we are OT |
| 2025-09-16 04:30:45 | → | arandombit joins (~arandombi@user/arandombit) |
| 2025-09-16 04:30:53 | <hololeap> | I didn't have much else to say about it though ;) |
| 2025-09-16 04:31:44 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Remote host closed the connection) |
| 2025-09-16 04:32:08 | → | marinelli joins (~weechat@gateway/tor-sasl/marinelli) |
| 2025-09-16 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. ;) |
| 2025-09-16 04:33:14 | <hololeap> | there's an American crowd and a European crowd, then the weirdos :p |
| 2025-09-16 04:33:32 | <hololeap> | but yeah it's late here for me |
| 2025-09-16 04:34:25 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 04:35:43 | <StatisticalIndep> | But I am a European weirdo! XD |
| 2025-09-16 04:37:11 | <hololeap> | I recommend #gentoo-chat, which I see you're already in :) lots of weirdos in there... |
| 2025-09-16 04:38:07 | × | haritz quits (~hrtz@user/haritz) (Quit: ZNC 1.8.2+deb3.1+deb12u1 - https://znc.in) |
| 2025-09-16 04:39:36 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 265 seconds) |
| 2025-09-16 04:39:39 | × | marinelli quits (~weechat@gateway/tor-sasl/marinelli) (Quit: marinelli) |
| 2025-09-16 04:43:30 | → | peterbecich joins (~Thunderbi@syn-172-222-149-049.res.spectrum.com) |
| 2025-09-16 04:45:43 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 04:47:39 | <StatisticalIndep> | Teal’c: Indeed! |
| 2025-09-16 04:49:07 | <StatisticalIndep> | I’m more of a #write-my-own-Plan-9-inspired-OS kinda guy though. XD |
| 2025-09-16 04:50:57 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 256 seconds) |
| 2025-09-16 04:51:36 | → | Unicorn_Princess joins (~Unicorn_P@user/Unicorn-Princess/x-3540542) |
| 2025-09-16 04:58:27 | × | StatisticalIndep quits (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) (Quit: Client closed) |
| 2025-09-16 04:58:39 | → | StatisticalIndep joins (~Statistic@2a02:3035:666:b7d5:4e00:1517:7b0c:d0aa) |
| 2025-09-16 05:01:33 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 05:06:34 | × | merijn quits (~merijn@host-vr.cgnat-g.v4.dfn.nl) (Ping timeout: 260 seconds) |
| 2025-09-16 05:08:17 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 2025-09-16 05:08:22 | → | michalz joins (~michalz@185.246.207.221) |
| 2025-09-16 05:08:39 | → | PKDrinker joins (~PKDrinker@user/PKDrinker) |
| 2025-09-16 05:08:40 | × | PKDrinker quits (~PKDrinker@user/PKDrinker) (Remote host closed the connection) |
| 2025-09-16 05:08:51 | × | Lycurgus quits (~juan@user/Lycurgus) (Quit: alsoknownas.renjuan.org ( juan@acm.org )) |
| 2025-09-16 05:17:14 | → | merijn joins (~merijn@host-vr.cgnat-g.v4.dfn.nl) |
| 2025-09-16 05:19:11 | trickard_ | is now known as trickard |
| 2025-09-16 05:20:02 | → | Guest82 joins (~Guest82@198.52.128.148) |
| 2025-09-16 05:20:15 | × | Googulator quits (~Googulato@2a01-036d-0106-217b-9021-558a-ccea-f5e8.pool6.digikabel.hu) (Quit: Client closed) |
All times are in UTC.