gemini - kennedy.gemi.dev

💾 Archived View for gemini.ctrl-c.club › ~phoebos › logs › kisslinux-2022-08-21.txt captured on 2024-06-16 at 13:34:24.
-=-=-=-=-=-=-
[2022-08-21T01:01:21Z] <wael[m]> illiliti: why does tinyramfs stop at 'creating ramfs structure'? in debug mode it stops at reading binary [
[2022-08-21T01:02:55Z] <wael[m]> https://termbin.com/rtdv
[2022-08-21T01:11:18Z] <illiliti> looks like a bug
[2022-08-21T01:11:44Z] <illiliti> are you on glibc or musl?
[2022-08-21T01:13:56Z] <wael[m]> glibc yes
[2022-08-21T01:13:59Z] <wael[m]> 2.36
[2022-08-21T01:14:09Z] <wael[m]> i dont usually use a tinyramfs but im helping a friend
[2022-08-21T01:14:20Z] <wael[m]> s/tinyramfs/initramfs
[2022-08-21T01:16:33Z] <illiliti> run `ldd '/usr/bin/[' 2>/dev/null` and post output
[2022-08-21T01:17:41Z] <wael[m]> /usr/bin/[:
[2022-08-21T01:18:02Z] <illiliti> drop 2>/dev/null and post again
[2022-08-21T01:18:29Z] <wael[m]> /usr/bin/ldd: error: '/usr/bin/[' is not a dynamic executable   
[2022-08-21T01:23:36Z] <illiliti> i wonder if it's an escaping bug. run `ldd /usr/bin/busybox 2>/dev/null`
[2022-08-21T01:24:31Z] <wael[m]> /usr/bin/busybox:
[2022-08-21T01:24:31Z] <wael[m]> /usr/bin/ldd: error: '/usr/bin/busybox' is not a dynamic executable
[2022-08-21T01:25:06Z] <illiliti> ah it's multiline output
[2022-08-21T01:25:19Z] <wael[m]> i removed 2>/dev/null
[2022-08-21T01:25:24Z] <illiliti> ok
[2022-08-21T01:25:29Z] <wael[m]> the first line is simulation of 2>/dev/null
[2022-08-21T01:25:42Z] <illiliti> ah ok
[2022-08-21T01:26:02Z] <wael[m]> so is this a kiss busybox problem orr
[2022-08-21T01:31:02Z] <illiliti> is ldd from glibc or sh-alternatives?
[2022-08-21T01:31:10Z] <wael[m]> i believe sh-alternatives
[2022-08-21T01:32:34Z] <illiliti> give me a source of your /bin/ldd . i'll double check
[2022-08-21T01:32:55Z] <dilyn> what about readelf
[2022-08-21T01:33:14Z] <wael[m]> illiliti: wdym?
[2022-08-21T01:33:44Z] <illiliti> post source of /bin/ldd
[2022-08-21T01:33:46Z] <wael[m]> oh wait ldd is owned by glibc
[2022-08-21T01:33:54Z] <wael[m]> kiss owns says that
[2022-08-21T01:34:04Z] <wael[m]> https://termbin.com/tmg8
[2022-08-21T01:34:09Z] <wael[m]> this is cat /bin/ldd output
[2022-08-21T01:34:23Z] <wael[m]> oh wait it is shlt-
[2022-08-21T01:34:25Z] <wael[m]> sh-alternatives*
[2022-08-21T01:35:03Z] <illiliti> yeah
[2022-08-21T01:37:44Z] <illiliti> is is bug in sh-alternatives
[2022-08-21T01:38:41Z] <wael[m]> what is the fix?
[2022-08-21T01:41:48Z] <illiliti> https://github.com/kiss-community/sh-alternatives/blob/master/glibc/ldd#L108
[2022-08-21T01:41:52Z] <illiliti> remove this
[2022-08-21T01:43:08Z] <illiliti> glibc ldd doesn't print it and i see no point why it should
[2022-08-21T01:43:14Z] <wael[m]> yep that fixed it
[2022-08-21T01:43:19Z] <wael[m]> maybe that should be removed in sh
[2022-08-21T01:43:23Z] <wael[m]> -alternatives
[2022-08-21T01:43:28Z] <illiliti> it should yeah
[2022-08-21T01:43:54Z] <wael[m]> shall i open a PR?
[2022-08-21T01:44:09Z] <illiliti> yeah why not
[2022-08-21T01:44:23Z] <wael[m]> alright
[2022-08-21T01:46:11Z] <illiliti> dilyn: tinyramfs doesn't use readelf
[2022-08-21T01:46:30Z] <illiliti> i don't remember why i implemented only ldd
[2022-08-21T01:47:30Z] <wael[m]> i messed up the commit name but it works
[2022-08-21T01:49:16Z] <illiliti> thanks for the PR
[2022-08-21T02:02:11Z] <dilyn> I just meant try readelf to see a better picture than what ldd provides
[2022-08-21T02:02:15Z] <dilyn> but it doesn't matter in this case :v
[2022-08-21T04:06:51Z] <testuser[m]12> Hi
[2022-08-21T04:10:46Z] <dilyn> o/
[2022-08-21T04:10:52Z] <dilyn> testuser I've been thinking lately
[2022-08-21T04:11:00Z] <dilyn> should we provide a generic kernel and initramfs in the main repo?
[2022-08-21T04:11:21Z] <dilyn> I think it's basically trivial to provide now
[2022-08-21T04:16:23Z] <testuser[m]12> Sounds good, can save a lot of time for newcomers
[2022-08-21T04:21:56Z] <dilyn> that's what I was thinking
[2022-08-21T04:22:26Z] <dilyn> it basically trivializes a new setup and offers the *option* for doing the "hard part" of Linux
[2022-08-21T04:23:26Z] <wael[m]> well if a generic kernel is going to be provided, would there be a way to provide a custom configuration?
[2022-08-21T04:23:30Z] <dilyn> Theoretically it minimizes questions concerning kernel problems, but I have no idea what clusterfuck of a monsoon it might open up because we essentially end up removing a major bar to entry (at least, those who aren't knowledgeable enough to know "oh I can just copy this binary package from arch and create a handy initramfs thanks to illiliti")
[2022-08-21T04:23:51Z] <dilyn> It's... semi-trivial to customize a kernel config in this case...
[2022-08-21T04:24:34Z] <dilyn> make oldconfig reconciles the config and sanity checks it, so if you echo some new config option to the end of a .config file the Kconfig system will make sure everything works as it should
[2022-08-21T04:24:51Z] <dilyn> users may be prompted to make decisions on new config options, but you can spoof selections on those in an automated way as well
[2022-08-21T04:26:17Z] <dilyn> the way to provide a custom config would, I think, be best handled by forking a package, but that might just be due to lack of imagination on my part. Intervening in KISS package builds is difficult by design. You could always make it so that kernel builds prompt for config options, but that is the opposite of solving this problem unfortunately:\
[2022-08-21T04:27:10Z] <testuser[m]12> wael[m]: kiss fork?
[2022-08-21T04:27:17Z] <dilyn> you could use a pre-build hook...
[2022-08-21T04:28:35Z] <testuser[m]12> What if u want extra patches
[2022-08-21T04:28:52Z] <dilyn> in that case you just have the normal problem with any other package in KISS
[2022-08-21T04:28:58Z] <dilyn> not really a blocker here
[2022-08-21T04:47:32Z] <dilyn> i think we might have to create some new variables for KISS specifically for this venture; an install path for the kernel (because nobody ever seems to just want to use /boot, thanks arch...), potentially the location of a config file a user might want to supply (keep a simple pre-build hook...)...
[2022-08-21T04:50:50Z] <testuser[m]12> Adding build variables is just use flags
[2022-08-21T04:57:17Z] <dilyn> I agree that it's USE_FLAGS but I think the kernel presents a special case due to the uniqueness of the kernel
[2022-08-21T04:57:51Z] <dilyn> alternatively we could establish that all kernel-related artifacts are installed in a specific location to be handled by the user; /usr/src/ is the de facto
[2022-08-21T04:58:39Z] <wael[m]> why would someone choose another kernel path different to /boot
[2022-08-21T04:58:57Z] <testuser[m]12> Just have /boot/vmlinuz as default
[2022-08-21T04:59:19Z] <testuser[m]12> Genpoo probably has a fixed path too
[2022-08-21T04:59:46Z] <wael[m]> arch does too I believe
[2022-08-21T05:00:14Z] <dilyn> have you ever seen documentation for other distros on where vmlinuz goes xD
[2022-08-21T05:00:15Z] <testuser[m]12> Arch is not source based
[2022-08-21T05:00:26Z] <dilyn>  /efi, /boot/efi, /boot...
[2022-08-21T05:00:49Z] <wael[m]> *efi is just for efi studd why would kernel be in there
[2022-08-21T05:00:50Z] <dilyn> I mean I'm fine with instituting the policy of '/boot is the location deal with it', it's just a thing to keep in mind
[2022-08-21T05:01:11Z] <dilyn> because if the kernel is built as an EFI binary (which it almost certainly would be) it theoretically goes there
[2022-08-21T05:01:31Z] <wael[m]> I have never seen that happen
[2022-08-21T05:01:54Z] <testuser[m]12> Also a portable kernel would need blobs so do we package 200mb of blobs too
[2022-08-21T05:01:57Z] <wael[m]> the efi partition would be mounted at /boot if that's the case
[2022-08-21T05:02:15Z] <dilyn> we would have to have a linux-firmware package or bundle firmware with the kernel (i vote a separate package)
[2022-08-21T05:02:33Z] <dilyn> wael[m]: again, other distributions handle this differently
[2022-08-21T05:02:36Z] <wael[m]> non separate firmware is a bad idea
[2022-08-21T05:03:44Z] <dilyn> agreed
[2022-08-21T05:03:53Z] <testuser[m]12> Gnetoo just installs kernel source to /usr/src and u have to build manually
[2022-08-21T05:04:00Z] <dilyn> yes
[2022-08-21T05:04:10Z] <dilyn> that's the historical location for all kernel builds
[2022-08-21T05:04:14Z] <wael[m]> gentoo kernel sources
[2022-08-21T05:04:18Z] <wael[m]> then have to do some weird eselect stuff
[2022-08-21T05:04:46Z] <wael[m]> btw, didn't dylan intentionally want go have the kernel managed by the user?
[2022-08-21T05:04:53Z] <dilyn> correct
[2022-08-21T05:04:59Z] <wael[m]> hmmmm
[2022-08-21T05:09:41Z] <noocsharp> package splitting when
[2022-08-21T05:09:59Z] <wael[m]> wdym
[2022-08-21T05:10:16Z] <dilyn> -dev et al
[2022-08-21T05:10:20Z] <noocsharp> multiple packages from the same build
[2022-08-21T05:10:30Z] <dilyn> never not once
[2022-08-21T05:10:40Z] <wael[m]> I think this is difficult to do
[2022-08-21T05:11:00Z] <noocsharp> most major package managers have it
[2022-08-21T05:11:11Z] <wael[m]> many distros do this by having a package entry function inside the build file of some sort
[2022-08-21T05:11:14Z] <dilyn> and its the wrong choice for a sources distribution I think
[2022-08-21T05:11:45Z] <wael[m]> does gen2 do it
[2022-08-21T05:12:04Z] <dilyn> I'd hope not that would be insane
[2022-08-21T05:12:36Z] <noocsharp> idk why major distros don't package split kernel modules
[2022-08-21T05:12:57Z] <wael[m]> the idea could save some storage space but muh package count
[2022-08-21T05:13:07Z] <noocsharp> [nihal@debussy ~]$ du -sh /usr/lib/modules
[2022-08-21T05:13:07Z] <noocsharp> 198M/usr/lib/modules
[2022-08-21T05:13:11Z] <dilyn> it's a lot of labor to split modules
[2022-08-21T05:13:36Z] <dilyn> a standard Ubuntu kernel generates about 1GB worth of modules
[2022-08-21T05:14:29Z] <noocsharp> which i need 10MB of
[2022-08-21T05:14:38Z] <wael[m]> wait hold on splitting kernel modules???
[2022-08-21T05:14:43Z] <wael[m]> nahhhh that's a lot of work
[2022-08-21T05:15:04Z] <dilyn> technically canonical *does* split some modules up
[2022-08-21T05:15:16Z] <dilyn> between modules, modules-extra, others...
[2022-08-21T05:15:26Z] <dilyn> it's certainly a lot of labor
[2022-08-21T05:15:35Z] <illiliti> 8.0M/usr/lib/modules
[2022-08-21T05:15:54Z] <noocsharp> well you're presumably not running artix illiliti
[2022-08-21T05:16:10Z] <noocsharp> i'm using their stock kernel
[2022-08-21T05:16:35Z] <noocsharp> why do you have modules at all, why not build a static kernel?
[2022-08-21T05:16:48Z] <dilyn> -rwxr-xr-x 1 root root 9.8M May 30 17:41 vmlinuz.efi
[2022-08-21T05:16:50Z] <dilyn> fuck a module
[2022-08-21T05:17:01Z] <dilyn> it'd be smaller but kvm adds a lot of shit:X
[2022-08-21T05:17:02Z] <wael[m]> vmlinuz.efi?
[2022-08-21T05:17:13Z] <dilyn> just a name i chose for no good reason
[2022-08-21T05:17:29Z] <wael[m]> it made me get confused for a moment
[2022-08-21T05:17:51Z] <dilyn> :P
[2022-08-21T05:18:07Z] <illiliti> i need modules to test some things
[2022-08-21T05:18:16Z] <illiliti> tinyramfs, mdevd and others
[2022-08-21T05:24:30Z] <noocsharp> ah
[2022-08-21T07:54:48Z] <virutalmachineus> what you guys think of harden kiss version?
[2022-08-21T07:55:00Z] <virutalmachineus> like gentoo harden
[2022-08-21T08:56:48Z] <Ogromny> If you want a "good" default kernel .config, we can use voidlinux .config, that's what I did and it worked pretty well
[2022-08-21T08:57:28Z] <Ogromny> https://github.com/void-linux/void-packages/blob/master/srcpkgs/linux5.15/files/x86_64-dotconfig
[2022-08-21T09:22:57Z] <phoebos> dilyn: building a kernel is educational and I wouldn't want people to miss out on that and rely on a package
[2022-08-21T09:23:12Z] <phoebos> it's also difficult to choose what to include as you said
[2022-08-21T09:23:47Z] <phoebos> we could provide a .config to start with
[2022-08-21T09:24:05Z] <phoebos> but defconfig is good enough for that
[2022-08-21T13:52:34Z] <midfavila> i was gonna question you as to why your kernel is 9.8M,
[2022-08-21T13:52:43Z] <midfavila> but then I realized mine is like 13M so I can't talk
[2022-08-21T13:53:08Z] <wael[m]> my kernel is 9kb (real)
[2022-08-21T13:53:31Z] <midfavila> what, you on research unix? :p
[2022-08-21T13:53:48Z] <wael[m]> I am on gods third temple (real)
[2022-08-21T13:54:00Z] <midfavila> patrician operating system
[2022-08-21T14:58:24Z] <testuser[m]12> ioraff did u build with gcc 12.2?
[2022-08-21T14:58:38Z] <testuser[m]12> Works fine for me but on glibc, a miscompilation should be irrelevant to libc tho
[2022-08-21T16:13:56Z] <midfavila> ping
[2022-08-21T16:15:37Z] <testuser[m]12> host unreachable
[2022-08-21T16:15:42Z] <midfavila> fuq
[2022-08-21T16:16:07Z] <midfavila> I'm testing out a new IRC client that I might fork
[2022-08-21T16:16:19Z] <midfavila> Pidgin's constant crashing and obscene resource use is getting on my nerves
[2022-08-21T16:16:39Z] <wael[m]> why not use catgirl
[2022-08-21T16:16:55Z] <midfavila> if i'm going to run an X server i'm going to use GUI programs
[2022-08-21T16:17:00Z] <midfavila> also I like motif
[2022-08-21T16:17:09Z] <wael[m]> interesting
[2022-08-21T16:17:18Z] <midfavila> oh, nice, this client uses less memory than even my terminal
[2022-08-21T16:17:19Z] <midfavila> based
[2022-08-21T16:18:09Z] <wael[m]> what the shit
[2022-08-21T16:18:16Z] <midfavila> ?
[2022-08-21T16:18:50Z] <wael[m]> what damn irc client is it
[2022-08-21T16:19:00Z] <midfavila> nebula
[2022-08-21T16:19:02Z] <midfavila> it's pretty old
[2022-08-21T16:19:14Z] <midfavila> last official release was 0.5 in 2005
[2022-08-21T16:19:27Z] <midfavila> but it's a small codebase, so I'm confident I can get it working quite nicely
[2022-08-21T16:19:31Z] <wael[m]> and its gui
[2022-08-21T16:19:39Z] <midfavila> uh, yeah
[2022-08-21T16:19:47Z] <midfavila> i'll post a screenshot, one sec 
[2022-08-21T16:19:58Z] <wael[m]> it uses Xt I presume?
[2022-08-21T16:20:05Z] <midfavila> everything ultimately uses Xt, but no
[2022-08-21T16:20:07Z] <midfavila> it uses Motif
[2022-08-21T16:20:38Z] <midfavila> http://0x0.st/o9Au.png
[2022-08-21T16:21:49Z] <wael[m]> that looks like grandpa
[2022-08-21T16:21:59Z] <midfavila> i think it looks fine
[2022-08-21T16:22:12Z] <midfavila> i use motif regularly though so maybe i'm biased
[2022-08-21T16:22:33Z] <wael[m]> s/biased/based//s
[2022-08-21T16:22:44Z] <midfavila> i think the only gtk programs i have left at this point are lxtask and my browser
[2022-08-21T16:22:48Z] <midfavila> but i barely use the latter
[2022-08-21T16:22:56Z] <midfavila> it's like, exclusively for email and web banking
[2022-08-21T16:24:24Z] <wael[m]> wow
[2022-08-21T16:24:32Z] * midfavila shrugs
[2022-08-21T16:25:28Z] <phoebos> webmail?
[2022-08-21T16:25:34Z] <midfavila> yeah
[2022-08-21T16:25:40Z] <midfavila> for "professional" stuff I use protonmail
[2022-08-21T16:26:01Z] <midfavila> but that's basically just communication with the government and my landlord
[2022-08-21T16:26:14Z] <midfavila> most of my email goes through SDF 
[2022-08-21T16:26:47Z] <phoebos> fair enough
[2022-08-21T16:27:15Z] <phoebos> thank you for explaining yourself
[2022-08-21T16:27:18Z] <wael[m]> sdf?
[2022-08-21T16:27:30Z] <midfavila> the super dimensional fortress public unix system
[2022-08-21T16:27:48Z] <midfavila> i'm a card-carrying member so i have a contractual obligation to shill
[2022-08-21T16:27:53Z] <wael[m]> holy shit that name fucks
[2022-08-21T16:27:54Z] <midfavila>  /s obviously
[2022-08-21T16:28:00Z] <midfavila> and yeah sdf is based
[2022-08-21T16:28:10Z] <midfavila> iirc it's one of if not the oldest pubnix still in operation
[2022-08-21T16:28:13Z] <midfavila> they started in the late 80s
[2022-08-21T16:28:29Z] <wael[m]> I think I remember wanting to use it but my name is taken unfortunately
[2022-08-21T16:28:39Z] <midfavila> rip
[2022-08-21T16:30:00Z] <midfavila> once i have a little more money i'd like to pay for more privs
[2022-08-21T16:30:20Z] <midfavila> having the ability to tunnel my internet traffic through SDF will be really nice
[2022-08-21T16:30:29Z] <midfavila> as will be being able to set up a reverse proxy
[2022-08-21T16:31:40Z] <wael[m]> so basically, a vps vpn
[2022-08-21T16:32:25Z] <midfavila> VPN through SDF, yeah
[2022-08-21T16:32:36Z] <midfavila> ...oh, and I'll be able to get SMTP access on my account. that'll be nice
[2022-08-21T16:32:41Z] <midfavila> rn I have to log in to access my email
[2022-08-21T16:34:01Z] <wael[m]> why did I not come up with a username for myself is something I'll never know
[2022-08-21T16:34:34Z] <midfavila> i mean, it's not like you can't just come up with one now
[2022-08-21T16:34:53Z] <wael[m]> I've been trying to come up with one for 2 years
[2022-08-21T16:35:05Z] <midfavila> sounds like you're putting too much effort into it man
[2022-08-21T16:35:10Z] <midfavila> should just come to you
[2022-08-21T16:35:11Z] * midfavila nod-nods
[2022-08-21T16:35:26Z] <wael[m]> alright that's it wkfbiwrodnwiekdwojridmhwornf is my new name
[2022-08-21T16:35:37Z] <midfavila> a strong name
[2022-08-21T16:37:36Z] <midfavila> this client doesn't even have list implemented, gosh
[2022-08-21T16:37:41Z] <midfavila> that'll need to be fixed
[2022-08-21T17:43:57Z] <ioraff> testuser[m]12: yeah, still segfaults on youtube
[2022-08-21T17:46:23Z] <testuser[m]12> Do u have the original build dir
[2022-08-21T17:46:24Z] <testuser[m]12> Run with gdb
[2022-08-21T17:46:35Z] <testuser[m]12> And do the set thread all bt thingy
[2022-08-21T17:46:43Z] <testuser[m]12> Or launch with --single-process
[2022-08-21T17:47:29Z] <ioraff> launch chromium with --single-process?
[2022-08-21T17:48:49Z] <ioraff> I don't have a builddir, but it shouldn't take too long to regenerate with ccache. I'll try after I update my kernel.
[2022-08-21T17:50:59Z] <testuser[m]12> Yeah
[2022-08-21T17:51:26Z] <testuser[m]12> ioraff: are u sure it's gcc vs clang thing and not undefined behaviour like the TID thing
[2022-08-21T17:53:31Z] <ioraff> could be anything. all I know is that it segfaults when built with gcc and doesn't when built with clang.
[2022-08-21T17:58:22Z] <ioraff> you said you didn't encounter this segfault with gcc+glibc?
[2022-08-21T17:58:35Z] <testuser[m]12> Yea i didn't
[2022-08-21T17:59:12Z] <ioraff> on youtube?
[2022-08-21T18:03:32Z] <testuser[m]12> Didn't
[2022-08-21T18:03:39Z] <testuser[m]12> I only tested it for 5 mins tho
[2022-08-21T18:10:47Z] * midfavila pat-pats
[2022-08-21T18:29:24Z] <ioraff> aren't any symbols
[2022-08-21T18:30:52Z] <ioraff> nevermind, I'm dumb.
[2022-08-21T18:31:50Z] <testuser[m]12> how are you supposed to screen record with audio on wayland 
[2022-08-21T18:32:01Z] <dilyn> how do you do it on X11
[2022-08-21T18:32:13Z] <testuser[m]12> i didn't
[2022-08-21T18:32:23Z] <dilyn> lol
[2022-08-21T18:32:50Z] <testuser[m]12> Btw does pipewire screen sharing share audio?
[2022-08-21T18:32:56Z] <ioraff> I believe so
[2022-08-21T18:33:55Z] <dilyn> it should
[2022-08-21T18:34:12Z] <dilyn> the hard part is going to be finding a tool which supports this which doesn't also rely on gnome or some bullshit
[2022-08-21T18:34:26Z] <testuser[m]12> ~~chromium~~
[2022-08-21T18:34:31Z] <dilyn> like, you could do it on X with ffmpeg, but I don't think ffmpeg supports things here...
[2022-08-21T18:35:10Z] <testuser[m]12> I think wf-recorder has something for audio but it's based on poopaudio
[2022-08-21T18:36:30Z] <testuser[m]12> And seems like it's not synced properly with video
[2022-08-21T18:36:31Z] <dilyn> maybe just record the audio separately and use a slate to line it up:P
[2022-08-21T18:37:15Z] <testuser[m]12> also
[2022-08-21T18:37:42Z] <testuser[m]12> oh
[2022-08-21T18:42:33Z] <testuser[m]12> Ig I'll try to port wf-recorder audio code to pipewire
[2022-08-21T18:42:47Z] <testuser[m]12> pipewire-pulse exists but u still need libpulse cuz it just emulates the server part
[2022-08-21T18:45:57Z] <testuser[m]12> Or maybe it should just use openal soft cuz it provides abstraction for every backend
[2022-08-21T19:17:33Z] <ioraff> testuser[m]12: do you compile chromium with -g?
[2022-08-21T19:31:17Z] <testuser[m]12> ioraff: no
[2022-08-21T19:31:19Z] <rohan> yo
[2022-08-21T19:31:21Z] <testuser[m]12> Don't try that either
[2022-08-21T19:31:43Z] <rohan> someone know how to make alse work with firefox?
[2022-08-21T19:31:47Z] <rohan> i mean with mic
[2022-08-21T19:31:54Z] <ioraff> I didn't. I'm just not getting any debug symbols in out/Release/chrome
[2022-08-21T19:32:10Z] <ioraff> rohan: afaik that's only possible with apulse
[2022-08-21T19:32:50Z] <rohan> works great on kiss?
[2022-08-21T19:35:51Z] <testuser[m]12> ioraff: it'll always say that
[2022-08-21T19:35:57Z] <testuser[m]12> Just make it crash and do `bt`
[2022-08-21T19:36:36Z] <testuser[m]12> rohan: use chromium or install libpulse and use apulse
[2022-08-21T19:42:25Z] <ioraff> testuser[m]12: https://0x0.st/o9AC.txt
[2022-08-21T20:46:08Z] <ioraff> this patch might be useful: https://gitweb.gentoo.org/repo/gentoo.git/tree/www-client/chromium/files/chromium-98-EnumTable-crash.patch
[2022-08-21T20:46:12Z] <ioraff> trying now
[2022-08-21T21:18:24Z] <ioraff> it was useful indeed
[2022-08-21T21:33:05Z] <Torr> Book recommendation: Gene Wars - Kristin Dawkins
[2022-08-21T23:22:25Z] <noocsharp> how's the math learning going mid?
[2022-08-21T23:22:31Z] <midfavila> slowly
[2022-08-21T23:22:48Z] <midfavila> i've been having a lot of trouble sleeping lately, and there's been a lot of stuff that needs to be addressed beyond my studies
[2022-08-21T23:22:58Z] <midfavila> i haven't touched my textbooks in maybe two weeks
[2022-08-21T23:23:14Z] <midfavila> feelsbadman
[2022-08-21T23:23:59Z] <midfavila> i was thinking of trying to finish off my logic textbook this upcoming week since there's only a few chapters left
[2022-08-21T23:24:25Z] <midfavila> atm it's covering the use of trees to reason about statements in monadic predicate logic
[2022-08-21T23:24:47Z] <midfavila> i think the remaining chapters are on generalized predicate logic, set theory, and basic proofs
[2022-08-21T23:27:00Z] <midfavila> oh, the discrete math textbook i got recently is pretty neat, though
[2022-08-21T23:27:12Z] <midfavila> it focuses on applications, so there's chapters on stuff like digital logic
[2022-08-21T23:27:19Z] <noocsharp> what's the "monadic" in monadic predicate logic refer to?
[2022-08-21T23:28:54Z] <midfavila> the fact that primitive propositions have two components, and are always expressed as something of the form Ax
[2022-08-21T23:29:13Z] <midfavila> as opposed to propositional logic, where primitive propositions are expressed simply as A
[2022-08-21T23:30:04Z] <midfavila> capital letter is the predicate, and the lowercase is the name. predicates tend to ascribe traits to names
[2022-08-21T23:31:01Z] <midfavila> so to use a cliche, M might be "x is a man", and s might be "Socrates", so to express the claim "Socrates is a man" in MPL would require the prop Ms
[2022-08-21T23:31:32Z] <noocsharp> ah
[2022-08-21T23:31:57Z] <midfavila> truthfulness of a prop is established by determining whether the name in a prop is a member of the set of things referred to by the predicate
[2022-08-21T23:32:02Z] <midfavila> so on and so forth
[2022-08-21T23:32:15Z] <midfavila> MPL also contains quantifiers, unlike PL
[2022-08-21T23:32:35Z] <noocsharp> ah, ok, i've used mpl but didn't call it mpl
[2022-08-21T23:32:52Z] <midfavila> what was it referred to in your work?
[2022-08-21T23:33:04Z] <midfavila> s/to/to as/
[2022-08-21T23:33:09Z] <midfavila> christ I can't grammar today
[2022-08-21T23:33:30Z] <midfavila> didn't get any sleep last night xwx
[2022-08-21T23:33:58Z] <noocsharp> actually wait, MPL is just a subset of first-order logic
[2022-08-21T23:34:07Z] <midfavila> yeah
[2022-08-21T23:34:16Z] <midfavila> GPL is first-order logic proper, I think
[2022-08-21T23:34:37Z] <midfavila> i think it's also called polyadic predicate calculus..?
[2022-08-21T23:34:46Z] <midfavila> or is that also a subset of first-order logic?
[2022-08-21T23:35:48Z] <noocsharp> it must be
[2022-08-21T23:36:09Z] <noocsharp> subset or the same
[2022-08-21T23:36:18Z] <noocsharp> non-strict subset
[2022-08-21T23:36:28Z] <midfavila> looks like it
[2022-08-21T23:36:42Z] <midfavila> i'm looking at the BNF grammar for first-order logic on wikipedia right now
[2022-08-21T23:36:48Z] <noocsharp> but no sane perso nwould call it polyadic predicate calculus
[2022-08-21T23:36:55Z] * midfavila shrugs?
[2022-08-21T23:37:13Z] <midfavila> idk dude i just like
[2022-08-21T23:37:18Z] <midfavila> read books and act like i know things
[2022-08-21T23:37:28Z] <midfavila> sometimes people even believe me
[2022-08-21T23:37:34Z] <noocsharp> when in doubt, use the less fancy expression of the idea
[2022-08-21T23:37:52Z] <midfavila> yeah, no, fair enough
[2022-08-21T23:38:11Z] <noocsharp> lest you become a philosophy professor
[2022-08-21T23:38:30Z] <midfavila> if i can't even attend university i don't think i need to worry about becoming a professor of anything lmao
[2022-08-21T23:39:04Z] <midfavila> brb checking on dinner
[2022-08-21T23:43:56Z] <midfavila> and we're back
[2022-08-21T23:44:10Z] <noocsharp> what's for dinner?
[2022-08-21T23:44:12Z] <midfavila> housemates are making nachos tonight 
[2022-08-21T23:44:22Z] <midfavila> i don't have to do any of the cooking since i made dinner yesterday
[2022-08-21T23:44:29Z] <midfavila> (that was butter chicken curry)