will just stick to muh vscode
#book-recommendations
broken meadow
obsidian valley
i think snippets are the best thing about switching off of overleaf
broken meadow
no i fr tho
calm crane
Being able to automate mass edits
obsidian valley
theres decent autocomplete w overleaf but snippets are just so based
calm crane
cant be in overleaf
broken meadow
like some ppl and i are doing a shared document
on overleaf
but i dont edit there
obsidian valley
just use github and vscode
obsidian valley
nah cause I use snippets to quickly create an environment
calm crane
ayyy same
broken meadow
i literally just write up the tex on my own side and then copy paste into overleaf
obsidian valley
like BIT to create an itemize env in 1s
calm crane
i do \beg and it makes a \begin and \end and splits my curser into 2
so i only need like \begitemize to make a itemize env
gray gazelle
like I said
I just use overleaf for latex. I've absolutely no talent with computers and stuff
obsidian valley
i still havent figured out how to make my cursor split in vscode xd
broken meadow
what is cursor split
obsidian valley
i only learning about using ctrl + arrow keys to jump around when Im writing text
u can write in twoplaces at once
calm crane
basically when you type a it appears in different locations
broken meadow
WHAT
calm crane
or more than 2
broken meadow
wtffff
obsidian valley
its like
broken meadow
How
obsidian valley
u know in the simpsons intro
broken meadow
this sounds op bro
obsidian valley
bart is writing like 50 line son the board
calm crane
with the power of vim
radiant basalt
Okay, so what is VIM ?
calm crane
in vim you do
50ison[Esc] and son appears 50 times
vim is a text editor
a really op one
radiant basalt
Ohh okay... Let me see..
calm crane
vim you can also record commands so if i want to add a \item on every few you do like
qai\item[Esc]q
<move to whatever line> @a
<move to whatever line> @a
obsidian valley
oh wow its actually really easy idk why I never googled this
obsidian valley
is it really worth it tho 
calm crane
yes
obsidian valley
i just dont see myself really needing to do programming in terminal very often
and using vim as a replacement for vscode
calm crane
ah
calm crane
i program only on the terminal these days 
obsidian valley
i dont really need speed for anything
calm crane
and on my phone
obsidian valley
maybe if i start doing CP
calm crane
i do vim on phone by sshing into a cloud
obsidian valley
why would u use vim on ur phone
isnt the entire point of vim to avoid using mouse
calm crane
the whole point of vim is to avoid the mouse
obsidian valley
mouse!
calm crane
or any clicking
obsidian valley
yes i edited
calm crane
ic
obsidian valley
the only time ive needed to ssh w my phone is like... when i ran minecraft servers?
quick hornet
ahem
calm crane
obsidian valley
lots of FTP and stuff too on ym phone
calm crane
oh yh i have bots running
i ssh to check their health as well and to make last minute edits when my error logs become 3.5MB big
true story btw
obsidian valley
what the fuck
calm crane
radiant basalt
Okay, so I installed gVim and I think I wanna go back to Notepad++ lol
calm crane
gvim sucks lmao
quick hornet
radiant basalt
Huh... Wait... Damn why are there ~'s instead of -
calm crane
i see someone having the fun first time experience in vim
there are a few ways to save a file
my fav is :x which stands for :wq which stands for write+quit
alternatively you can do zz
radiant basalt
Huh ? What ? I'm goin to File, then Save as and the old damn way :P
calm crane
cltr+s freezes vim
obsidian valley
lmfao
radiant basalt
What ?
obsidian valley
i wouldnt last a day
radiant basalt
Lol
calm crane
(cltr+s freezes the terminal and vim is terminal based)
im so used to vim i now type :w on like google docs or smt
gray gazelle
You may never escape vim
obsidian valley
ctrl+s only freezes on linux I presume
calm crane
hm maybe
obsidian valley
yea on windows it just gives u ^S as expected
on windows bash it just does nothing
radiant basalt
Ahh what... I blindly pressed something on keyboard and my whole text looks messed.
gray gazelle
Why w?
obsidian valley
quit + write
gray gazelle
I know but why
obsidian valley
just incase he's working on something important 
radiant basalt
Ehh it shows that :qw isn't an editor command.
radiant basalt
I feel like a crybaby who wants to go back to Notepad++
calm crane
or :x
gray gazelle
:cq
obsidian valley
oh its wq look how little i know lMFAO
calm crane
radiant basalt
Ahh yeah :wq worked
gray gazelle
:qw is quit then write
obsidian valley
i had to use vim once when I had a google compute instance going and nano was too cumbersome
radiant basalt
I guess this gets a lot handy after using for a long time.
obsidian valley
imagine wanting your text editor to be a learning experience
calm crane
quality
obsidian valley
im already struggling with C and u add on vim 
gray gazelle
C is a very easy language to learn. The features are very basic.
obsidian valley
I agree w it being easy to leanr
writing anything serious in C is not easy
probably cause im a zoomer who likes to prototype fast
gray gazelle
Well I'm assuming you know how computers work before you learn C of course
calm crane
finally i knew wtf is all the heap stuff stack stuff pointery magic once i learnt assembly
then ig ye
obsidian valley
yeah I guess
pointers were the big hurdle with C for me
also sys calls like signals and stuff
calm crane
i only really understood pointers when i started reverse engineering and writing in assembly
HAHAHA I ONLY LEARNT SYSCALLS WHEN WRITING EXPLOITS
obsidian valley
but thats cause I wasn't a linux person
lmfao
yeha I kinda wish my programming journey didnt start with writing minecraft server plugins
calm crane
like hmmmmmm i need to read a file
so how does int 0x80 work ah i need to set rax to like 1 rbx to like something soemthing
obsidian valley
Imagine if I got into CP when i was 12 😭
gray gazelle
Windows syscalls are a mess.
calm crane
i started with C i think im super disabled now
hasty turret
writing anything serious in C is not easy
Why C particularly?
calm crane
C is like
hasty turret
Writing anything serious in any language is difficult
gray gazelle
C does not have that much abstraction.
obsidian valley
C is just more cumbersome than say, C++ or Go imo
calm crane
yea
calm crane
just memset some area to 777 and write machine code there and then call a string as a function
mighty ravine
C++ is the best programming language
calm crane
yes you can do it
obsidian valley
I need to spend more time with C++
hasty turret
C++ is the best programming language
Tell that to Linus
mighty ravine
same
gray gazelle
C++ is the fucking worst ngl
calm crane
i once defined a function on the fly on the stack and then started calling it lol
mighty ravine
lua is just bad python
calm crane
fun times
obsidian valley
Honestly I need a new project that actually requires me to write in a low level language lmfao
valid moth
write a high level language @obsidian valley
obsidian valley
everything I want to do I can do in like Python or somethign so whats the point of using C
hasty turret
Try designing a compiler?
calm crane
write like shellcoding exploits
valid moth
in a low level language
gray gazelle
The C++ team barely holding it together like "we can still do it and not fuck it over completely with 1000 features"
calm crane
you really learn how to write machine code then
obsidian valley
I've been doing VMs and stuff
quick hornet
observe as i write a high level language within a high level language:
obsidian valley
I was thinking about learning to write Interpreters/Compilers
valid moth
write a low level language with a high level language
quick hornet
def python():
return
hasty turret
Try writing a high level language in Scratch
quick hornet
you dont even need to call python()!
calm crane
when every damn function gives a not implemented error
quick hornet
they say the best comments are when your code self-documents
hasty turret
Honestly,just use scratch
quick hornet
i claim the best functions are when you dont even need to call them
gray gazelle
Is there a scratch to C interface to speed up your C code with scratch
hasty turret
Maybe
obsidian valley
is scratching turing complete
obsidian valley
interpreted
yeah it must be
well isn't it just running like javascript functions
lmao
gray gazelle
I think actually scratch can simulate a turing machine
Haven't used scratch in forever
quick hornet
does it have arbitrary memory
gray gazelle
since high school
quick hornet
i thought it had some hardcoded limit
wait high school
who's usin scratch in high school
wtf
gray gazelle
German schools lmao
quick hornet
ah.
obsidian valley
Theres a CS course at my university that uses it
quick hornet
...................................
obsidian valley
Intro to CS for non CS students
gray gazelle
Theres a CS course at my university that uses it
Lmao
quick hornet
.................................................................................................................................
obsidian valley
¯_(ツ)_/¯
hasty turret
If C++ is so bad,why do game devs use it?
gray gazelle
If C++ is so bad,why do game devs use it?
All the good game engines are written in it
obsidian valley
Theres tons of people who hate C++ in the games community
quick hornet
and its compiled which you really want\
obsidian valley
namely: John Blow
quick hornet
but yeah the engines are the main thing
having lots of control is really good
for writing engines
obsidian valley
who is currently writing a whole PL for games
quick hornet
and if your engine is using C++
makes sense for the rest of the game to use it too
some engines use C# though
like unity
gray gazelle
I don't think OOP is a good model for game engines tbh
quick hornet
and then you get random games like minecraft that were made by one guy in java and everyone has regretted it ever since
hasty turret
like unity
All the good game engines are written in it
obsidian valley
Unity is good at what it does I think
gray gazelle
Who said unity is a good game engine 
quick hornet
the worst part of unity is that every unity update is like
2 gb
minimum
you can fix 1 typo in dialogue
2 gb update download
gray gazelle
I hope rust gets up and running more quickly with game engine stuff
obsidian valley
Rust seems way too fucking hard to learn
for it to be viable in games industry
everyone I've talked to about Rust says its a bitch
hasty turret
If rust becomes the defacto game dev language,what happens to c++?
gray gazelle
You just have to understand how rust works
quick hornet
nothing will ever replace c++
obsidian valley
Theres plenty of boomer companies that will use ti for the next 150 years
quick hornet
its used everywhere
obsidian valley
see: fortran
gray gazelle
It's not that difficult tbh
gray gazelle
Yeah sadly.
gray gazelle
why sadly?
obsidian valley
I think more people learn Java in school tbh
hasty turret
Java just seems like a overkill
obsidian valley
Like for every "software engineering" course here its Java
gray gazelle
why sadly?
Because C++ is a very, very difficult language that everyone seems to use
quick hornet
intro courses were python and c++, later courses were mostly pseudocode except for random topics courses
like obviously assembly in compiler design
obsidian valley
Yeah similar to us but with C
obsidian valley
oh and verilog for comp organization
I need to get around to learning a functional language
quick hornet
i dont think java was ever explicitly taught
you were allowed to submit stuff in java if you wanted
gray gazelle
Java was taught to me
quick hornet
but you werent graded on being able to use it
obsidian valley
Our software courses are all in Java I think
gray gazelle
I ended up doing functional programming in java
obsidian valley
and you're graded on like code style and stuff in those afaik
obsidian valley
its the reason I dropped the CS program at my school
quick hornet
lambda
hasty turret
Just do c++ metaprogramming :)
obsidian valley
metaprogramming is wild
hasty turret
C++ metaprogramming is functional
obsidian valley
I've only heard it talked about in like Category Theory for programmers
gray gazelle
For metaprogramming I think lisp is best
obsidian valley
https://www.youtube.com/watch?v=I8LbkfSSR58
this lecture series
he mentions it a bit
From friends who work with C++ in the industry it doesn't seem to be used whatsoever
so I'm curious who actually is using it lol
hasty turret
Game devs?
gray gazelle
He looks like a renaissance painter
obsidian valley
He does look super cool
obsidian valley
Anyone who does like formal verification work would know haskell I think?
or distributed programming stuff
calm crane
everyone I've talked to about Rust says its a bitch
i agree rust is a pita
obsidian valley
like Galois (the company) puts a big emphasis on Haskell afaik
gray gazelle
Yeah my prof does a lot of research in formal verification
quick hornet
yeah rust is annoying
you gotta like
dry off your copper
cant leave out metal cutlery in the rain
gotta watch air moisture
its a pain
obsidian valley
Theres a few profs around my uni that do formal verification work
it's a cool field
gray gazelle
Rust only screams at you when you make mistakes that could lead to insecure code
gray gazelle
Lol
calm crane
as well as golang
quick hornet
java should stick around solely for minecraft
obsidian valley
I want to get into cyber-physical systems tbh
quick hornet
that is the only practical use of java
obsidian valley
That is the only reason I know java
gray gazelle
You may wanna reconsider your programming habits perhaps
gray gazelle
Matlab should stop existing though
gray gazelle
Julia basically completely replaced it for me
obsidian valley
use wolfram lang
obsidian valley
i know one person that uses Julia and he's a hyper nerd
quick hornet
whats matlab even used for in industry
obsidian valley
so i think everyone that uses julia is a hypernerd
gray gazelle
Julia is pretty popular in numerical mathematics
quick hornet
i've heard that its used for like
something
like theres something out there that its legitimately the best at
but i forget what it is
obsidian valley
engineering stuff maybe?
calm crane
mathematica
quick hornet
and its something stupidly specific
calm crane
(la computations)
gray gazelle
Probably PDEs
calm crane
(cuz it uses the cache super effectively)
quick hornet
nah it was less general than that
hasty turret
gray gazelle
Nice
obsidian valley
but why
hasty turret
Why do people make emulators?
calm crane
so that people like me can run code
obsidian valley
ok yes people have hobbies
obsidian valley
lmao
obsidian valley
technical debt is keeping C++ alive
obsidian valley
apparently theres a project at msft to rewrite Windows in Rust tho
or parts of it
obsidian valley
ari had some pretty specific problems with golang clearly lmao
golang is good to use
idk how often people are needing to reverse engineer go programs in industry lmao
hollow current
i mean golang is nice language for backend
obsidian valley
golang is tremendous for web servers and stuff yeah
hollow current
ofc i wont write OS on golang since there is C
and imo rust is just wordy cpp
and cpp is just blur c
(i know the last line is wrong but tho)
gray gazelle
and imo rust is just wordy cpp
Rust isn't object oriented..?
That's like the entire point of C++
gray gazelle
I doesn't play well with it. Rust is rather comparable to functional programming languages with imperative features.
calm crane
rust is just bad
stop talking about rust
ari had some pretty specific problems with golang clearly lmao
aka trauma
calm crane
hi
cobalt arch
Any exercise sheets for the formal limit of a sequence with solutions 
?
obsidian valley
Could check out most intro calc books
cobalt arch
Any suggestions?
obsidian valley
Uhh depends on what level you are
Maybe Taalmans? idk
Do you have a course textbook
Spivak if its like an advanced calc course
obsidian valley
Spivak 4.1/4.2 doesn't have any?
I see
Taalmans has a ton of exercises usually
cobalt arch
Okay
obsidian valley
oh nvm its fucking huge
oh there it is
should be able to find stuff in there
cobalt arch
Thank you jesse!
gray gazelle
Does anybody have a canon on mathematical logic?
I’m familiar with the propositional/predicate logic and a good introduction on computability and decidability but I’m not entirely sure what direction I pursue with these facets
tropic lion
I'm looking for books in the following subjects that have a similar teaching style to AoPS but for more advanced math. (Lots of examples/exercises and a few challenge problems as well as good discussion problems).
Number Theory
Real Analysis
Probability
Intro Topology
Diff Geo
Combinatorics
marble solar
Differential Geometry, Comprehensive introduction by Michael Spivak
Number Theory, go look at Apostol
Real Analysis, Pugh Real Mathematical Analysis
Topology, I think Munkres is the go to
tropic lion
alright thank you
marble solar
I don't know any combo., I don't know any Probability
sage python
Whether he should look at Apostol depends on the type of NT
There's also Weil's Number Theory for Beginners
marble solar
Apostol's first few chapters are elementary
tropic lion
yeah I'm not looking for only elementary I already have that. This number theory books looks like exactly what I want
I might not get through the whole thing
but the first like 10 chapters will be good
eh depends on how enthusiastic I get about it
tropic lion
I found a good probability book
hearty steppe
What book
tropic lion
So I checked out that diff geo book and it looks much more advanced than what I was looking for
I'm mainly looking for an undergrad level diffgeo
but also it requires being comfortable with calculus of manifolds
again I'm not too familiar with that
sage python
Do Carmo is prob the book for curves and surfaces?
gray gazelle
did someone say diffgeo 👀
tu's intro to manifolds book
i don't know what they are
tropic lion
I'm planning on doing analysis before diff geo
gray gazelle
an undergrad could understand that ultra but i doubt you'd find it in any undergrad diffgeo class lol
complex differential geometry 
tu is an easy good one
not a lot of content covered but it's still good
tu's is just "introduction to manifolds"
(but he does have another differential geometry book that discusses connections and bundles and whatnot)
sage python
I feel like Lee/Tu aren't really in the same category as GP/Milnor
GP and Milnor are like
Yeah technicalities of manifolds are for nerds
Let's just stick shit in R^n immediately and do topology
Lee, and I think Tu, are more like
T h e m d e r i v a t i o n s t h o
gray gazelle
tu does not go into as many of the nasty details as lee does
rotund valley
Question does any one have the free ebook of: applied mathematics 1 by hari arora Please Ping me
gray gazelle
I haven't heard good things about this Hari arora book
tropic lion
So that number theory book looks very good but also very long. How would you recommend going through the book if I wanted to cover all the topics and not a ton of details
The Apostol
I'm thinking of doing the first 3 chapters to review my elementary number theory
but after that I don't know what order to do
gray gazelle
Does anyone have recommendations for highschool math?
I'm in ontario and we have something called "thinking questions" which are supposed to be more difficult than the other questions on tests and stuff
was wondering if anyone knows a book that has harder questions for highschool level math topics
like generally towards the end of a review set in a textbook the questions get harder
is there a textbook that is basically always difficult
consists of mostly just difficult questions
waxen elbow
hello, any recommandation for an ode(+pde if possible) book for undergrad ? one which goes also into theory, just not real world applications ?
quick hornet
what is meant by "goes also into theory"
like, have you taken real analysis and want something along those lines?
or do you want more of a "balance"?
waxen elbow
i've started real analysis, and yes !
more balance atm
i got one which is Ode by Hartman, and is a bit too hard
i mean it looks great but i need more balance, stuff like laplace transform is covered too quicly imo (maybe Hartman is worth it, in that case i can stick with it, but i don't think i got all the maths background required to study it well enough. if you think that's a good one, i can try a bit, because i'm not very experienced when it comes to chosing textbooks)
timber mesa
I liked "Introduction to Linear Analysis" by Kreider et al. for ODEs, the chapter on Laplace transforms was actually my favorite part from it. It also covers Fourier series and some PDEs near the end
It's a very complete book and good for math majors, so my recommendation is that
waxen elbow
thank you ! i’ll give it a look @timber mesa
gray gazelle
@valid moth thank you
valid moth
np
obsidian basalt
Just libgen
thank you SO MUCH I DIDN'T KNOW ABOUT THAT
gray gazelle
scihub vs libgen
bold garnet
@gray gazelle if you want a "hard" high school math book just get a college algebra book and that should work.
gray gazelle
not sure if i can just recommend fiction book but still heres a great one: dante's divine comedy its a great book also a classic
hollow current
prisma snow
Let's all spam fiction book recommendations
I finished 'The Housekeeper and the Professor' this week, and it features math, so it's not even that off topic. Recommended!
wooden sparrow
The professor as in the movie?
prisma snow
It's one title, so idk what movie you are talking about
wooden sparrow
johnny depp
prisma snow
No
hollow current
I finished 'The Housekeeper and the Professor' this week, and it features math, so it's not even that off topic. Recommended!
@prisma snow i reread's pratchett's amazing maurice and his educated rodents
very strong book
highly recommend
prisma snow
Ah, i haven't read any pratchett yet!
gray gazelle
i also would recommend pride and prejudice, learn how Raskolnikov, a destitute and desperate former student, wanders through the slums of St Petersburg and commits a random murder without remorse or regret. He imagines himself to be a great man, a Napoleon: acting for a higher purpose beyond conventional moral law. But as he embarks on a dangerous game of cat and mouse with a suspicious police investigator, Raskolnikov is pursued by the growing voice of his conscience and finds the noose of his own guilt tightening around his neck.
its a russian literature classics
some of the best of the best
prisma snow
Hi
i also would recommend pride and prejudice, learn how Raskolnikov, a destitute and desperate former student, wanders through the slums of St Petersburg and commits a random murder without remorse or regret. He imagines himself to be a great man, a Napoleon: acting for a higher purpose beyond conventional moral law. But as he embarks on a dangerous game of cat and mouse with a suspicious police investigator, Raskolnikov is pursued by the growing voice of his conscience and finds the noose of his own guilt tightening around his neck.
@gray gazelle is this supposed to be the synopsis of Pride and Prejudice? Lmao
molten wave
that's crime and punishment no?
prisma snow
Pride and Prejudice > Crime and Punishment anyway
prisma snow
The facts don't care about your feelings
hollow current
the fact is that you are dead now
prisma snow
@mods Vimes is threatening violence
hollow current
i am performing justice
prisma snow
Sadly you're a terrible shot
molten wave
sir this is a library
hollow current
SIR YES SIR
fast portal
I AM THE STORM THAT IS APPROACHIIIIIING
molten wave
shhh
gray gazelle
Pride and Prejudice > Crime and Punishment anyway
ahh srry looool
i got the title messed up
gray gazelle
The Cossacks by Tolstoy is what I would recommend just so you can feel the second hand cringe of Olennin Andreich's sexual desperation.
Also because it's a good book but that's besides the point
marble solar
crime and punishment
not brothers karamazov
Alyosha, my boy I see you're as naive as ever. Tell me, have you made love yet?
night knot
why not both?
marble solar
Crime and punishment is a guy rolling on a couch for several weeks
Brothers karamazov is a masterpiece
night knot
oh
well then, guess I'll read Karamazov first once time permits
dad pretty much hoarded these sorts of books for his stash
steel viper
@marble solar cringe
imagine implying that rolling on a couch for several weeks is not the epitome of the human condition
quick hornet
sounds more like the dog condition
broken meadow
wooden sparrow
That dog came in like a torpedo
broken meadow
Nyoom
valid moth
tl;dr of crime punishment: edgy 14yo (except 20 or so) poor former college student has edgy philosophy and then goes insane after trying to implement it irl
bright tide
Ok but no one here mentions anna karenina
dusky light
I would like to read Tolstoi , but in Russian.
radiant basalt
Crime and punishment is a guy rolling on a couch for several weeks
@marble solar ahh Dostoevsky is one of my favorites. Did you read his short stories though ? Those are also good. I liked Notes from the Underground a lot.
marble solar
I've read brothers, crime and punishment, and notes
radiant basalt
I'd also recommend The Idiot and Demons.
marble solar
yeah. I just haven't had time to read as much lately
I have so many projects I want to get done
radiant basalt
I can relate to that, for sure it's the same with me. But yeah Dostoevsky is just a great writer.
marble solar
I agree, Brothers is one of my favorite novels
radiant basalt
I've also got Solzhentsyin on my list to complete
And actually reading Nietzsche along with Dostoevsky gets things more interesting. They're trying to address the same problem mostly
kind cairn
gray gazelle
i want to read lolita at some point
static crest
same
dapper root
Lolita is interesting. The first and maybe only book I've read with an untrustworthy narrator
marble solar
The catcher in the rye?
dapper root
Never read it
gray gazelle
i thought you are american
marble solar
I am
gray gazelle
no no, chmonkey
dapper root
I am
I just never read it
There's a few of the "you read in 11th and 12th grade" books I never read
since I did community college instead in 11th and 12th
Never read the Great Gatsby
gray gazelle
you didn't have to do 2 years of english?
gray gazelle
oh
marble solar
College English > HS English
College english was 100x better
If I had taken the course earlier I might've done an english minor
static crest
ngl
Was not a fan of catcher in the rye
maybe I should give it another chance
I read it back in grade 10 the first time I think
marble solar
I didn't care too much for the great gatsby's plot line
I loved the language though
slender sphinx
I read it for class in 9th, and disliked it, but when I picked it up again 2 years laters, I enjoyed and understood it much better
marble solar
that's normally the case
static crest
catch-22 is my favorite novel from high school readings
marble solar
I just didn't care for rich ppl plot lines I guess
static crest
that's grown on me
marble solar
I even read tender is the night by fitzgerald
Same thing
Beautiful language, boring plot
Ppl like Joyce and Faulkner seemed to do a good job at plot
with beautiful language
sage python
I loved the language though
@marble solar English is dope yeah
gray gazelle
does stewart cover multivariable calculus?
broken meadow
yes
static crest
stewart 🤮
broken meadow
yep.
hearty steppe
Yes Stewart has a lot of exercises
gray gazelle
which is the better book as an introduction to number theory, hardy or burton?
also can anyone recommend a good book on combinatorics
faint dune
also can anyone recommend a good book on combinatorics
@gray gazelle Algebraic combinatorics by Stanley is very good
gray gazelle
i'll check it out, thanks
karmic thorn
Miklos Bona's A Walk Through Combinatorics is excellent for a first reading.
gray gazelle
i have principles and techniques in combinatorics downloaded right now but its a bit too terse for my liking
keen copper
Is Manga Guide to Calculus a good book?
civic carbon
I like Brualdi for Combinatorics but it's spendy
broken meadow
manga guide is not the best
it feels rather condensed ig
it's a novelty item idk if it's actually that educational
marble solar
Spivak wrote it
hearty steppe
are you talking about the regular spivak calculus?
marble solar
No, michael spivak wrote the hitch hiker's guide to calculus
golden bear
Why does everyone hate stewart?
silver herald
Because it's not rigorous as a proper anal. textbook?
I find it to be decent for anyone who's not going for a math field. It gives just enough information for most Physicists, Chemists and Engineers when starting out with stuff.
golden bear
What book should colleges use instead of Stewart?
sage python
So the problem with Stewart in particular is that it seems to be one of those books where it's like
golden bear
Also, the book isn't that bad. Like no Physicists, Chemists and Engineers will take Rudin
sage python
They release a new edition every single time
Where they renumber some problems and fix a single typo
So they can kinda make students spend extra money
(It's super expensive)
golden bear
Still have it but is in bad shape
Some bookstores have good deals. I remember buying my big red book for $180
dapper root
That’s expensive as fuck...
dapper root
Like great textbooks that have been used since ages ago for graduate study in math
Sell for 50 dollars all the time
golden bear
$180 for three semesters is worth it
dapper root
Nah lol
The textbook companies have alreadfd gotten to you
Textbook companies are evil lol
golden bear
We are talking undergrad, Grad textbooks are much more expensive
dapper root
I can buy Lang’s algebra that can serve as a reference book for like decades for like 60 bucks
sage python
So you can buy used copies and whatnot
dapper root
The issue with Stewart is that it constantly gets reprinted for no reason, no material is new no developments have happened
sage python
While with Stewart you have to use the newest edition. Also Webassign
dapper root
Calculus as a subject died years and years and years ago so nothing new happens
Then they charge ridiculous prices for it
If you’re used to buying textbooks for your other classes and stuff you might think this is sorta normal but this is because companies like Pearson have cornered huge parts of the market and have normalized this ridiculous practice
The reason math majors and math centric people dislike Stewart is because we’ve usually gotten past that level and seen how much textbooks should cost and how much you get for like 50-75 dollars
And realize Stewart for over 150 dollars is bananas
silver herald
Well, that's because students are unaware in their undergrad that textbooks cost that high.
I usually just use whatever edition I find for dirt cheap and just run with it.
hasty turret
Just buy a tablet,and libgen
sage python
That's the correct strat except for webassign + idk how quickly the Stewart editions make it on libgen
silver herald
You are not wrong there....
Looks at my 50-ish PDFs on Libgen'ed textbooks
marble solar
@sage python @dapper root these publishing companies will regularly buy old copies of books off the internet, just to burn them or recycle them in order to inflate prices of used copies to near the price of a new one
So let's say you're within 15 buck difference between used & new, most ppl will just go for the new
pseudo zodiac
if you want to puke look up stewart's mansion
marble solar
Why is it puking? He didn't even want to publish his notes in a book
His students urged him to
gray gazelle
wait what. How could that possibly give them more stonks than buying up copies, storing them, selling whatever they would have sold after burning the stored ones if they took that route, and then selling the stored ones after
marble solar
I'm not entirely sure how the process works, but they do price gouge used books
Is the essence of it
gray gazelle
that sounds accurate but I don't understand the burning
marble solar
I think they just didn't want older copies roaming the world
gray gazelle
if they keep them then they aren't roaming the world
dapper root
I mean
They explicitly don’t want to ever sell the old copies
So storing them costs more money than just destroying them right?
gray gazelle
oh I see
steel viper
Also if they buy the few on the market that are cheaper and burn them the asking price on sites like ebay will go up
sage python
Yeah that's the point
steel viper
so people wont put them up as cheap
sage python
If the old copies are hard to find and worth not thaaaat much less than the brand new one
dapper root
“Eh whatever it’s worth it”
steel viper
so you dont have to buy as much as it might seem
also can we talk about how the normal price for atiyah-macdonald is more than a dollar per page
on amazon
dapper root
I’m telling you textbook companies are literally evil
steel viper
soon smh!!!
dapper root
Okay
marble solar
I don't know if they're evil, they definitely partake in less than moral acts
hasty turret
That's evil
marble solar
I guess it depends on your definition of evil
dapper root
If your definition of evil doesn’t include textbook companies you have no moral compass QED
marble solar
I'd probably put it somewhere between murder, rape, and otherwise violent acts against human beings
But textbook companies doing shady stuff for profit margins
I'd probably put as "That's definitely not a good thing to do, but nobody was really killed"
inner charm
so i spent time learning programming because i thought it was really cool but then i got exposed to functional programming and some of the math-y theory behind it and realized that the math is cooler and now i want to specifically learn about that stuff (Category Theory, ("Homotopy") Type Theory, etc.) but im in high school so i lack a lot of prerequisites and dont know where to just start 😦
I'm not even sure how related CT and HoTT are, I just got exposed to these when learning about agda/type systems/programming language theory
but, i wanna learn the math
molten wave
Thats literally me lol
My advice would be to stay away from programmer oriented category theory resources. They cut all corners including ones that cant be cut.
Start learning some pure math. Take a look at the curry-howard correspondence to realize theorem proving is the same as programming with dependent types. Learn some intro to proof, intro set theory. Start hammering away at various areas of pure math like abstract algebra, linear algebra, analysis, topology. It is mostly through examples from pure math that you can really appreciate the beauty of category theory.
You can go deeper into foundations of math, formal languages and formal systems, if you want to do type theory. Theres also quite a bit of category theory to find here.
I'd need to know more specifically what you are and arent familiar with, to give specific literature recommendations
Say, would you say you are familiar with first order logic, and proofs in it?
gray gazelle
what books about analysis and optimization would aid visual learning? I do best when I can see what equations mean and I’m not doing the best in my lecture on the topic. hope I’m not interrupting
molten wave
Rip battery so I might reply later
inner charm
Say, would you say you are familiar with first order logic, and proofs in it?
@molten wave maybe somewhat familiar, but not comfortable. I have read through a little bit of Pierce's Types and Programming Languages (just a little. id say i only gained familiarity with lambda calculus/STLC and some of the notation in logic :P). The math I know is pretty much limited to what is taught in high school (so basically, pretty much the topics in the pre-uni category here).
So, yeah, i need to start from the basics
i tried looking for stuff but the thing is that on my own, i really dont know what path to take to get where i want. like there's tons of resources and books out there, but i dont know which ones i should be using to go from basics to some of the more interesting stuff :/
molten wave
I understand
there are many things in math that you need to learn not because you will be using that exact knowledge, but because the experience of learning it will be useful in other, seemingly unrelated, but actually similar situations
so-called mathematical maturity
so I guess I would recommend Velleman's How To Prove It. The book should be a breeze for you, feel free to skip chapters if you feel like
after finishing that book you should be able to read any introductory text in pure mathematics
you may find an intro to logic and foundations book if you want a more meaningful introduction to formal languages and formal systems
(because type theories are formal systems, and obey to all the same conventions)
unfortunately I don't really have on in mind...
maybe mendelson's intro to mathematical logic
molten wave
@inner charm as far as category theory is concerned, my favorite text is Mac Lane, but I would recommend that you go through that book as far as you're able to accompany definitions with meaningful examples from other fields of mathematics, mostly abstract algebra and higher geometry
so maybe in parallel with reading some text on intro abstract algebra and intro topology
silver herald
Interesting thoughts and suggestions, mniip.
gray gazelle
What book would you guys suggest me for going through basics geometry and high school geometry by myself?
Ill be using ochem tutor geometry playlist fot the theory
Is this a good book?
molten wave
like the book would throw 5 vastly different examples at you and if you can't understand any then you can't really make sense of the definition
gray gazelle
like the book would throw 5 vastly different examples at you and if you can't understand any then you can't really make sense of the definition
@molten wave wdym?
molten wave
that's to @inner charm
gray gazelle
Oh okay
molten wave
TaPL is cool I guess, if a little ML oriented and aged
inner charm
ah, i skipped the OCaml implementation parts :P
its intro also said that "mathematical maturity" is expected so i would probably have gained more from it if i had that
molten wave
I would also recommend that you stick formal language theory/programming language theory somewhere inbetween velleman and any texts on logic or type theories
hopcroft: intro to automata theory, languages and computation
inner charm
ok!
molten wave
feel free to ask anything around here
silver herald
mniip's personal guidance. Noice
inner charm
ah i wish i'd asked here sooner instead of just lurking around in the server :P
molten wave
I wish I had someone explain all of this to me when I was your age haha
took me a while to find my true passion
inner charm
yes! i found this stuff so cool when i learned about it, i dont understand why it isn't as popular in CS; everyone i know wanting to do CS is just going after AI/ML or software engineering!
molten wave
we can move to chill
worldly basalt
If anyone has the soft copy of Engineering Mathematics by BS Grewal then please share it
Or recommend some books for Engineering Mathematics
Thank you
hollow current
@worldly basalt libgen has
worldly basalt
I didn't find BS Grewal on libgen
prisma snow
Is it Higher Engineering Mathematics or is that a different book? @worldly basalt
worldly basalt
Yeah that one
worldly basalt
Okay, thanks
prisma snow
If you can't find it, I'll download it and send it to you
worldly basalt
Found it
Thank you
wooden sparrow
If anyone has the soft copy of Engineering Mathematics by BS Grewal then please share it
Or recommend some books for Engineering Mathematics
Thank you
@worldly basalt I lent this from college library. Then lost it.
worldly basalt
Sincerely Pay the fine
prisma snow
You borrowed it. The library lent it to you.
wooden sparrow
Well, I already paid the money for the books
You deposit 3k to lend the books for a sem
gray gazelle
dollars?
wooden sparrow
fast portal
rupee
gray gazelle
damn isnt that a lot
molten wave
that's like $50?
silver herald
It is. You could actually get that damn book for like 700-1500 INR at the local bookstores
fast portal
42$ dollar
wooden sparrow
42$ dollar
@fast portal it's a lot to earn here relatively
silver herald
What's a library? Is it a collection of functions we use in Python, right?
wooden sparrow
Our library has cell reception jammers so that we don't talk to anyone there
They don't let mobiles charge with their power sockets
wooden sparrow
The floor incharge have moral police to fuck around with you if you sit with a girl
prisma snow
This is what is known as the radical homosexual agenda. Boys cannot mingle with girls.
wooden sparrow
silver herald
Interesting...
fast portal
Moral polices are full of shit eveywhere tbh but this is getting off topic
gray gazelle
Is there any pdf of aops calculus?
wooden sparrow
I saw pdf for AOPS precalc in libgen, though the print is bad
gray gazelle
is this book a good geometry series
to use along khan academy
I was planning on using Khan Academy high school geometry
and then if I encounter a harder chapter where I need more exercise i'll use that book
what's the opinions?
Or should I use the textbook and use khan academy if I don't understand it
I'm planning on going over it really fast, just wanna see it all and have done it all a bit for myself
still umbra
Can anyone recommend any books which are packed with "applied/worded" questions. Coming to math from computer science and what I love most about CS is how hands-on it is - you often get to build/architect a big project. Most math questions at uni are kind of lame: "evaluate this path integral", "solve this ODE", "diagonalize this matrix" with no actual context.
Not really sure what I'm looking for specifically, but I really want to apply some university level maths to some questions which aren't so artificial.
People on this server would know better than me if a book/set of books exist which can help me satisfy this interest
gray gazelle
Maybe look at some courses from the engineering or physics department?
still umbra
I don't really have any physics background
surely applied pure math exists right
lol
still umbra
who tf would waste their time with pure then 
hasty turret
Ask hardy
still umbra
So in reality, pure math is totally useless until it becomes applied math
is what you're telling me
hasty turret
Yes
still umbra
dank
prisma snow
You're totally useless until you apply yourself
still umbra
You don't have to convince me
idk
I'm still not sure what I'm looking for
but I find just solving equations/exam style questions super boring
was kinda hoping for some recreational math book with some more spicy/uni-level topics
I'm currently reading Networks - Second Edition, it's good because so much of graph theory is applied - and the examples + questions in the book reflect this
Like the whole last section is dedicated to case studies of really complicated problems being tackled using all the theory you've learnt so far in the book
which is about ~230 pages
wooden sparrow
You're totally useless until you apply yourself
@prisma snow bruh
prisma snow
What?
I understand what you're looking for Cursor, I just don't have any recommendations :/
hasty turret
Try art and craft of problem solving
fast portal
So Luna is useless even when he applies himself
hasty turret
By paul zeitz
hasty turret
Libgen it
prisma snow
So Luna is useless even when he applies himself
@fast portal yes
But that's vacuously true because I never apply myself
silver herald
Libgen,Scihub and Discord are my only good sources of knowledge lol
fast portal
but u just did 
odd oracle
@still umbra Maybe take a look at
Category theory (applied) https://arxiv.org/pdf/1302.6946.pdf
Information theory https://www.amazon.com/Physics-Information-Technology-Cambridge-Sciences/dp/0521210224
cloud bobcat
hushed sequoia
Pensees from Blaise Pascal. A free audiobook on ytb?
fast turtle
Which route is better?
Munkres general topology -> Lee AT
Munkres general topology -> Munkres AT
gray gazelle
i think lee is better for AT
valid moth
how about \varnothing -> Hatcher
gray gazelle
munkres AT is fine but lee does a lot more iirc
or you can just read lee for point set as well 
valid moth
anyways what i typically see is just people doing like a short standalone document for pointset (like lecture notes or the first chapter of some random book) and then doing an AT book
for instance hatcher
because pointset really shouldn't take that long
gray gazelle
just skip all of topology and learn purely off of google images
$\varnothing \emptyset$
hasty eagleBOT
88ddda:
sudden kindle
There are just a few things in point set topology that you will use forever after
marble rock
like what
gray gazelle
compactness
connectedness
the continuous images of compact (resp. connected) sets are compact (resp. connected)
stray veldt
you will also need product, quotient, direct sum topology
i.e. how to construct topologies out of known ones
urysohn lemma is important
and tychonoff
and if you want to prove tychonoff the right way you need filters
or nets, but those are inferior
quick hornet
the continuous images of compact (resp. connected) sets are compact (resp. connected)
yeah this is like
THE result of intro topology
that you should care about
its not hard to prove or anything, its not a "big theorem"
its kinda just definition pushing
but its REALLY handy
in fact, i'd say this result is the secondary reason mathematicians care about continuity, just after the fact that many "real-world" phenomena can be modelled by continuous functions
marble solar
Topology is such a cool subject
Every time I learn something new in it, I just wanna do topology
fluid bay
i agree
frigid comet
Did you know of the partial converse @quick hornet ? A map R^m->R^m that preserves compacts and connecteds must be cts! It is a challenge problem here.
gray gazelle
quick hornet
yeah i think it was mentioned in undergrad RA
without proof
is there a non-tedious proof?
cloud trench
I can't find miller and freund's solution manual anywhere online, any way to do so?
steady quiver
any reccomendations for olympiad algebra ?
radiant basalt
for instance hatcher
@valid moth I was said that Hatcher is unreadable because it's all about intuition and has very les rigor, so something like Tammo Tom Dieck was recommended.
marble solar
IMO hatcher is superior because it doesn't worry itself with rigor
It imparts an understanding you can't get elsewhere
Plus it's not that hard to fill in details that Hatcher skips
radiant basalt
Hmm maybe one should have something else as a supplement to fill in the rigor.
marble solar
I think that's a good idea
halcyon terrace
Anyone suggest a good Lie groups/Lie algebras book? I have one by Hilgert but wanted to know if there are any better ones?
marble solar
Stillwell is good for an intro
halcyon terrace
Mhm kk ill look into it
stray veldt
ye and Hall for more advanced stuff
Stillwell is really elementary and gives good motivation
stray veldt
same kinda
marble solar
There was 16 students in the class
8 heavy hitting grad students including myself
and 8 unprepared undergrads
stray veldt
stillwell is fine for undergrads imo
stray veldt
you can still read it lol
marble solar
I mean like, didn't know how to prove things. Out of school for 4 years, etc.
stray veldt
i read stillwell and some Hall
marble solar
Mhmm
stray veldt
yes
stray veldt
Hall's is Lie Groups, Lie Algebras and Representations