!ZCbXHWyEEYdxcWWYLk:matrix.org

nixhub-techsupport

482 Members
Tech support questions here; https://dontasktoask.com/ and https://www.nohello.com/10 Servers

Load older messages


SenderMessageTime
20 Sep 2023
@_discord_569218696351055882:t2bot.iosillvgosling wait for the simplification rule you can do it in more complex operations right? like p v ~(q ^ r) implies p v ~(q) for example? or to be safe i should not do that 02:02:32
@_discord_196574963673595904:t2bot.io42 changed their profile picture.02:08:07
@_discord_206794847581896705:t2bot.iokar Do you mean de Morgan's law 07:26:56
@_discord_196574963673595904:t2bot.io42 changed their profile picture.13:53:07
@_discord_437207769896976395:t2bot.iofumolimo huh 15:14:44
@_discord_569218696351055882:t2bot.iosillvgosling nah not demorgan's 15:23:19
@_discord_569218696351055882:t2bot.iosillvgosling like the simplification thing in logical proofs 15:23:28
@_discord_569218696351055882:t2bot.iosillvgosling like if p ^ q is a hypothesis, it means that p also has to be true 15:24:06
@_discord_569218696351055882:t2bot.iosillvgosling i ended up solving it in the end but in a very circuituous way 15:25:10
@_discord_206794847581896705:t2bot.iokar that sounds exactly like applying de morgan's 15:25:41
@_discord_206794847581896705:t2bot.iokar to simplify your proof into the less steps needed 15:25:52
@_discord_569218696351055882:t2bot.iosillvgosling de morgan's is just ~(q ^ r) = (~q v ~r) no? is there another one 15:26:46
@_discord_196574963673595904:t2bot.io42 changed their profile picture.16:25:06
@_discord_129251996942204928:t2bot.iomoniOnz1Y.png
Download Onz1Y.png
17:04:07
@_discord_726218556592881797:t2bot.iogeamy#0 changed their display name from .gaemy#0 to geamy#0.18:24:32
@_discord_334270699181178881:t2bot.iovuks69 joined the room.19:11:19
@_discord_334270699181178881:t2bot.iovuks69 Hi, borked my fresh fedora w/ i3 spin VM by removing gnome-themes-extra which also removed X11 drivers, now can't boot. Right now I'm in the live system, trying to figure out how to chroot into the VM's system to fix this. Info I can google is either outdated or doesn't match what I see.

VM was installed with default partitioning.
19:11:19
@_discord_334270699181178881:t2bot.iovuks69 Nevermind, worked it out.
For future reference, after loading into the live system:
su -
mount /dev/sda3 /mnt
mount --bind /mnt/home /mnt/root/home
for dir in /dev /proc /sys /run; do mount --bind $dir /mnt/root/$dir ; done
chroot /mnt/root
dnf install lightdm-gtk xorg-x11-drv-vesa # optionally x11 driver applicable to your hardware, in my case nouveau
exit
reboot now
19:54:29
@_discord_334270699181178881:t2bot.iovuks69 Above also caused my kitty to artifact like hell. Couldn't figure out what to do with that one, so I nuked the vm and reinstalled. 21:35:24
21 Sep 2023
@_discord_196574963673595904:t2bot.io42 changed their profile picture.00:45:02
@_discord_170132746042081280:t2bot.iodiamondburned changed their display name from diamondburned to diamondburned#0.03:42:06
@_discord_170132746042081280:t2bot.iodiamondburned changed their display name from diamondburned#0 to diamondburned.03:42:16
@cidkid:matrix.orgDylan changed their profile picture.16:30:31
@cidkid:matrix.orgDylan changed their profile picture.16:30:45
22 Sep 2023
@_discord_196574963673595904:t2bot.io42 changed their profile picture.20:24:29
23 Sep 2023
@_discord_196574963673595904:t2bot.io42 changed their profile picture.22:35:37
24 Sep 2023
@_discord_196574963673595904:t2bot.io42 changed their profile picture.17:14:12
@_discord_196574963673595904:t2bot.io42 changed their profile picture.17:54:37
@_discord_196574963673595904:t2bot.io42 changed their profile picture.20:21:35
25 Sep 2023
@_discord_196574963673595904:t2bot.io42 changed their profile picture.03:31:41

Show newer messages


Back to Room ListRoom Version: 6