<noocsharp>
acheam: what of ddevault's did you contribute to out of curiosity?
<acheam>
no major contributions
<acheam>
its been mostly typo fixes and documentation updates on various projects
<noocsharp>
i'm trying to figure out how exactly my name got skipped
<noocsharp>
if i were him, i would use git shortlog to generate a list of names, but there are other sway contributors beside myself missing, so he probably didn't use that
<noocsharp>
including somebody named "Some Chinese Guy"
<acheam>
maybe he just forgot to include sway?
<acheam>
or only did sr.ht projects
<noocsharp>
other sway contributors made it
<acheam>
they could have also contributed to other projects
<acheam>
there is a lot of overlap in developers and projects
<noocsharp>
but a bunch of people on the list are one-off sway contributors
<noocsharp>
people's github usernames
<acheam>
/shrug
<noocsharp>
/shrug indeed
illiliti has quit [Quit: leaving]
<dilyn>
obviously he's trying to silence and cancel you
<dilyn>
we should be outraged as a community and cancel him back in retaliation
<dilyn>
he's had it too good for too long *shakes fist*
ehawkvu[m] has quit [Read error: Connection reset by peer]
ehawkvu[m] has joined #kisslinux
<noocsharp>
brb gonna revert all my sway commits
<dilyn>
call stallman
<dilyn>
he'll get this whole thing sorted
an3223 has quit [Ping timeout: 240 seconds]
an3223 has joined #kisslinux
ejjdhfjsu has quit [Read error: Connection reset by peer]
ejjdhfjsu has joined #kisslinux
<testuser[m]>
Hi
rohan has joined #kisslinux
ella-0 has joined #kisslinux
rohan has quit [Ping timeout: 252 seconds]
ella-0_ has quit [Read error: Connection reset by peer]
mobinmob has quit [Quit: Connection closed for inactivity]
<dilyn>
vro I don't wanna maintain a diverging tree
<dilyn>
maybe I should just install ubuntu :c
<testuser[m]>
~~install rhel~~
<dilyn>
kekw
illiliti has quit [Quit: brb]
illiliti has joined #kisslinux
_whitelogger has joined #kisslinux
ehawkvu[m] has quit [Read error: Connection reset by peer]
midfavila has joined #kisslinux
ehawkvu[m] has joined #kisslinux
<midfavila>
sup nerds
<testuser[m]>
Hi
ehawkvu[m] has quit [Read error: Connection reset by peer]
<dilyn>
that's a pretty big mistake ain't it *laughs in mathematician*
ehawkvu[m] has joined #kisslinux
<midfavila>
big mistake was choosing to study set theory before arithmetic
<testuser[m]>
dilyn: bruh snap is GPL
<midfavila>
wait I'm probably missing context for this
<midfavila>
hmm
<dilyn>
set theory is the foundation of arithmetic logically but will be lacking fundamentally at a certain point
<midfavila>
yeah obvs. rip wrt: the git contributor situation noocsharp
<dilyn>
depends on the sort of axioms your set theory is giving you. if it's just a basic & rudimentary set theory, it won't be supremely applicable to other topics (though the 'intuition' will make more trivial problems easier to think about)
<dilyn>
testuser: i know:'(
<midfavila>
haven't actually picked up the texts on set theory I bought actually. read the first chapter of one, didn't understand 90% of the notation they were using and figured I should study logic first, so still doing that
<midfavila>
got some scheme books the other day so I'm doing that at the same time. the little schemer is a fun read
<midfavila>
...used "actually" twice in the same sentence... fuck, I need to read what I write :v
mahmutov_ has joined #kisslinux
<dilyn>
my favorite part about set theory is when all these geniuses realized they fucked up and they all desperately tried to fix it
<dilyn>
wrote a twenty page proof that 2+2=4 and it still didn't fix it
<midfavila>
you mean the incompleteness theorem, right?
<dilyn>
f
<dilyn>
Godel's work is a more general description of that specific problem so in a way yes
<midfavila>
he's a pretty good programmer - wish I knew enough C to understand his work more
<omanom0>
wait are you pro-EWMH or against-EWMH? i always forget
<midfavila>
pro-standards
<midfavila>
not pro-EWMH specifically
<midfavila>
so like, standards are a good thing, but ideally those standards wouldn't be shit - last I looked at the I3CM and EWMH, they seemed... less than ideal
<midfavila>
anyway yeah paginator is nifty as a concept but I think it's non-ideal
<midfavila>
it's not composable ala command-line tools
<midfavila>
i'd probably make a generic "button bar" or "viewport" program designed for scriptability and then have it trigger commands on events
<midfavila>
which could then be passed to a program that manages workspaces
ehawkvu[m] has quit [Read error: Connection reset by peer]
ehawkvu[m] has joined #kisslinux
<noocsharp>
you could always write your own tool as a way of learning c and x11
<midfavila>
it's on the list :p
<midfavila>
I've been writing down ideas for programs for a few months now
<testuser[m]>
Soon
<midfavila>
soon:tm:
<midfavila>
right now I'm focused wholly on lisp
<testuser[m]>
What about ur math stuff
<noocsharp>
try feeding those ideas into github copilot and see what it comes up with
<midfavila>
i mean in regards to CS/programming, maths is concurrent
<midfavila>
so rn I have three "sections" to my day - four hours for "generic" studies, anything that doesn't fit into the other two, and then I alternate between four hours of CS and two of math, or two of CS and four of math
<midfavila>
also re: copilot maybe if I decide to a) be a microshill and b) get stuck on a problem
<midfavila>
but I really want to try and come up with ideas on my own
ehawkvu[m] has quit [Ping timeout: 240 seconds]
ehawkvu[m] has joined #kisslinux
<testuser[m]>
noocsharp: is poopilot usable for everyone now? U had to sign up for some preview thing on shithub
<noocsharp>
idk, i was joking
<midfavila>
oh, rip
<omanom0>
to be completely transparent, i had read it as "pager" initially and thought of you, then when i noticed it was "paginator" i figured it'd still be interesting since it was a new tool against X11
<midfavila>
np, it's neat regardless
<midfavila>
thinking of forking/based my own window manager on glazier since it's small and well-written, gonna include some more sophisticated features in it
<midfavila>
such as: iconification
<midfavila>
not giving X windows invalid geometry
<dilyn>
sounds like bloat
<midfavila>
a better way of handling resize controls than stealing control of the root window
<midfavila>
and so on
omanom0 is now known as omanom
joahe has joined #kisslinux
<cem>
I still can't wrap my head around writing wayland clients for some reason
<cem>
Like writing an X program is ez
<cem>
(A basic X program, that is)
<noocsharp>
i'm the opposite, lol
<noocsharp>
wayland clients are easy to understand, i never could wrap my head around x11
<cem>
lol, really?
<noocsharp>
well i guess i probably could if i tried, but i have no reason to anymore since i'm wayland for everything
<cem>
yeah, that's the thing I no longer use X11 either
<noocsharp>
i patched some suckless x11 programs, but i never paid attention to the x stuff
<cem>
I have all this useless X11 information and no wayland knowledge
<midfavila>
still useful on the BSDs :p
<midfavila>
and minix... and any non-linux unix
<omanom>
and xwayland!
<noocsharp>
have you looked at the wayland book cem?
<noocsharp>
it has a good high level overview of how wayland is designed