<maximum_yellow>
midfavila i have to learn python for a job interview, any suggestions for short/fun coding exercise
<maximum_yellow>
also it'sa me, op_4
<midfavila>
oh, kk
<midfavila>
wrt: python no clue
<maximum_yellow>
yeah me too
<midfavila>
you could look on... I think the url is https://hackr.io
<midfavila>
there's also exercism
<maximum_yellow>
ta
<midfavila>
you could also take the exercises from another language's manual and work on them in python
<maximum_yellow>
yeah, probably wise
<midfavila>
I'm learning about logic today, myself. uwu
<maximum_yellow>
nice!
<maximum_yellow>
what in particular?
<midfavila>
I'm just working through an introductory logic textbook from Princeton's press rn
<midfavila>
"Logic: The Laws of Truth" by Smith
<midfavila>
so far it's just covered propositional logic 'n stuff
<midfavila>
it's not the most entertaining read but it's something to do while I wait for this guix image to do its thing
<maximum_yellow>
that's great, i don't know this book in particular but i've had a great time teaching intro to proofs with similar texts before, and those in the class always enjoy the propositional logic section for sure
* midfavila
nods
<maximum_yellow>
i'm chuffed you're self studying this, i hope you have a great time :)
<midfavila>
I'm going to start working on proofs once I've finished this book - it's like 550 pages or so
<maximum_yellow>
wew
<midfavila>
starting with Hammack's "Book of Proof" and then Velleman's "How to Prove It"
<midfavila>
after that I have some books on set theory and analysis, and then I'm going to go back to "Elements of Algebra" and finally finish "Basic Mathematics"
<midfavila>
and then I'll finally be able to learn calculus 'n stuff
<midfavila>
oop, guix just yelled at me
<maximum_yellow>
midfavila cool, we used Velleman for some of the intro sections
<maximum_yellow>
this sounds like a good path to chart, though i suspect there's plenty of overlap
<midfavila>
well, the way I see it is that if I already feel confident in my ability, I'll just do the problem sets and move on
<midfavila>
there're a few others in there, like "How to Solve It" and a book on geometry, too
* maximum_yellow
is not especially enamoured with set theory
<midfavila>
yeah from what I saw of it it seems really dry
<maximum_yellow>
oh, rather, in some sense the objects are so fluid and so unstructured that it's difficult to say anything interesting about them directly. One needs to invent other structures to layer on top of sets to make the study possible, for instance, order theory, proof theory, and so on
<midfavila>
Ah, okay.
<maximum_yellow>
The theory of, say, groups, has no such obvious shortcomings. It's possible to study groups themselves, but there is almost nothing of interest to be said /set theoretically/ about any particular set
<midfavila>
I see.
<maximum_yellow>
anyway, at this point is part of the gatekeeping so here we are
* maximum_yellow
shrugs
<midfavila>
Meh, gatekeeping doesn't bother me. So long as I can understand maths to the degree necessary for what I'm interested in, I'm happy
<maximum_yellow>
well i hope you enjoy that success, and if you'd ever like to chat about anything you're learning i'd be more than happy to
<midfavila>
I'll keep that in mind - although I don't think I'll have many things of note to talk about :p
<maximum_yellow>
you'd be surprised
<maximum_yellow>
anyway, time to rebuild the kernel
<midfavila>
wooooooooooooooooo kernels
<midfavila>
i think i'd rather rebuild a kernel rn than deal with guix
<midfavila>
it's already irking me
* maximum_yellow
is also guix curious
<midfavila>
i hope you have a fuckton of disk space
noocsharp has quit [Quit: noocsharp]
noocsharp has joined #kisslinux
<maximum_yellow>
jslick 'twas i who emailed
<maximum_yellow>
it's a shame about the other maintainer
<jslick>
oh hi
<jslick>
Does anybody know if matongo is still maintaining kiss packages? yellow found a dependency problem with libnl
<omanom>
he's been popping in here periodically again, maybe he'll see a mention in the logs
soliwilos has quit [Ping timeout: 276 seconds]
<phoebos>
i think they said they're using a mac now, but still occasionally doing kiss stuff
<phoebos>
make a shithub issue
an3223 has quit [Remote host closed the connection]