a7173d No.3034 [View All]
This guide assumes you forgot everything from highschool. No you don't have to learn any of this in order to program you can just start hacking around every .c file in your kernel.org git source clone and see what happens. Why would you want to learn math? Because it will change your thinking. You won't be easily fooled by bullshit, you will have tools to sort through obvious logical fallacies. You will be able to optimize programs and create your own algorithms. You will be able to estimate. Above all, you will be able to solve problems using computation which is what computer science is all about. And least of all, you will get paid more than anybody else without this knowledge so if your goal is shekels then read on. Note: DO THE EXERCISES. You won't learn otherwise. Books instead of video lectures were chosen because they've lasted 30+ years some of them in relevancy in the field, also lectures disappear all the time like when MIT nuked all one prof's Physics OCW lectures because he tried to pickup a student, setting a precedent that at anytime this information can disappear. Read a book nigga.
Math Preliminary
Basic Mathematics by Serge Lang
Buy/Pirate this book (he's dead). It's highschool math, from the perspective of a Mathematician. You will learn up Pre-Calculus and be prepared for rigorous proofs later.
An Introduction to Mathematical Reasoning" by Peter J Eccels
This changes you from rote drilling and being a human calculator in highschool to learning what math actually is, and what proofs do. Excellent, excellent book.
How to Solve It by G. Polya
How to do proofs, written in 1940s and still for sale in every Chapters/B&N bookstore to this day because it's the best proof helper that exists.
Welcome to Proofs
Calculus" by Spivak
Actually, you are learning ANALYSIS, in addition to calculus. Torrent the 3rd edition w/the answer book. This is a fucking hard assed book, you may be better off reading "Advanced Calculus" which is actually easier, as the intro points out that Spivak's exercises are difficult as shit: http://www.math.harvard.edu/~shlomo/docs/Advanced_Calculus.pdf
Discrete Math Intro
http://cglab.ca/~michiel/DiscreteStructures/ it also comes with lectures on jewtubes https://www.youtube.com/channel/UCG96LXNYz9x7eTqSRtQ2R9A Doing real discrete math and probability.
Linear Algebra by Friedberg, Insel and Spence
Get the latest version (piracy). It's proof centric, this will come in handy later when you need to understand some Linear applications and don't know how something works so can revert back to your training in LA in proofs. LA is heavily, heavily used in all game programming. Also in cryptography and numerous other CompSci fields.
215 posts and 18 image replies omitted. Click [Open thread] to view. ____________________________
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
b09358 No.4876
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
051f73 No.4879
>>4876
A better book, imo, is Allendoefer and Oakley's "Principles of Mathematics", it has an identica; audience to Lang's text, but rather than
1: logic, sets and proofs
2: Number Fields (basic algebraic properties, real and complex numbers)
3: Integers (induction, divisibility, factorization, rings, matrices)
4: Groups
5: Equations and Inequalities
6: Functions
7: Exponential and Logarithmic functions
8: Trigonometric functions
9: Analytic Geometry
10: Limits
11: Calculus
12: Probability
13: Boolean Algebra
Though Lang's book is cool and a classic, I definately think the above deserves mention due to it's breadth, depth and organization of content.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
051f73 No.4880
>>4879
>but rather than
(meant to say but rather what Lang list in it's table of content, this contains: …)
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
12a81e No.4886
>>4879
hard to find pdf of it
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
b5ac50 No.4887
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
a9b38a No.4891
This is sort of a thread-related question since it involves BTC, but how much economical and/or programming knowledge would I need to invest in either Bitcoin or just stocks in general, as well as mining BTC (which I know nothing about)? Also, for someone who currently has less than $2,000 in total to their name, is it possible to do reasonably well with investing in either of the aforementioned things? I'm not expecting like a seven- or even six-figure range, but I don't want to live with my parents forever and there's really nowhere I can work that would pay me anything above what a high school or college student would earn. Not that I'm above being a wagie or anything considering I've had three part-time jobs and one almost full-time in the past, but from what it seems, I would have to work my ass off and save up my money for several more years until I could even think about moving out of my parents' place, which would leave me almost no time whatsoever to learn anything new without burning myself out since I'd probably be working full-time. I'm thinking about taking a class or two this spring semester at my community college and was initially going to take programming/computer-related classes, but I feel like even though I'm abysmal at math, I'd still have an easier time figuring that shit out along with the programming myself at home than the economics stuff… unless anyone here feels differently based on insight or first-hand experience.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
a9b38a No.4893
>>4891
Well, I ended up signing up for an intro economics course with my local community college and will be taking it online in late January of next year. I just hope it was the right decision, especially considering I'm partially paying for it.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
600fb8 No.4908
OP, do you keep the exercises that you did, organized or do you just throw them in a binder? I have a stack of sheets of paper in a corner in my room, but I just keep them there gathering dust in case I need to re-read. I haven't felt the need to go back though, but if I follow the method of looking at the exercises first and then the theory, then I might have to keep my exercises in a neat order if I ever need to go back, since I don't have notes(or as many).
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
39f9a5 No.4921
Hey OP or whoever wrote this
>>LH2L
>Yeah, it was 'mostly' common sense bull, but having a complete and thorough reminder of it was really nice. I can post my pdf of the notes I took if you'd like. I just powered through it one evening after putting it off for so long.
Please do. I've done LH2L about a year ago, I have some anki cards about it, but it would be nice to refresh the knowledge and the habits.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
308ac9 No.4936
>>4921
It's already here >>4705, :-)
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
308ac9 No.4937
>>4891
You don't *need* any econ or programming knowledge to invest in bitcoin. More knowledge can't hurt though, and I'd take a hard look at alternative coins too. You won't be mining BTC, but you can mine alts with a GPU.
>$2,000 total
Yes, it is. I turned $100 into $6,000 recently by buying RaiBlocks at $0.7. Don't count on this though, and you just have to patient, dilligent and quick to act before the market wises up.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
308ac9 No.4938
>>4908
I'm not OP, but I find value in keeping the exercises. But ultimately, you want the information to be easily accessable in your head, not via searching through papers. So I weigh spaced recall and interleaving as far more important.
I keep boiled down notes and reminders in .tex files too.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
2127f5 No.4960
>>3034
>Basic Mathematics by Serge Lang
Its got no solutions, being a math retard I am just suppose to assume I am correct with every exercise?
You had me so hopeful OP but now I am doubting you
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
2127f5 No.4962
>>4960
Seems I am just a normal retard and not just a math retard solutions (though not complete solutions) are at the back of the book and not at the end of each chapter
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
308ac9 No.4963
>>4962
>>4960
For this reason OP recommends Sheldon Axler's PreCalculus in the updated guide: https://functionalcs.github.io/curriculum/
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
39f9a5 No.4966
>>3034
What is the fucking point of learning algebraic abstractions? I understand why real analysis (and complex and multivar analysis) is useful, I guess I kinda understand why linear algebra is useful. Probability theory is obviously the top useful thing. So, why would one need more algebra?
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
9890c6 No.4985
Does the author of https://functionalcs.github.io/curriculum/ post here?
Just in case: First of all, thanks for taking the time to put this together. It's been really helpful for me so far.
I was wondering if you could create a Graduate Research Elective in Formal Methods? It fits with the theme of the curriculum well, and I believe it's particularly difficult for those of us outside of academia to find quality resources for. At least, I've really struggled to get my head around it - moreso the math/logic/theory than the tools.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
308ac9 No.5043
>>4985
he hasn't posted in ages, but out of curiousity how far along are you and where did you begin?
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
8b39aa No.5055
>>4966
When you're modeling a system, certain objects might end up forming algebraic structures. Recognizing those structures will tell you properties about it that might not be obvious. Also, Algebra is being used in a lot of CS fields. To give some examples, a lot of people into Haskell and functional programming often talk a lot about category theory. People who study graphs might use Algebraic Combinatorics. Elliptic Dual Curve Cryptography requires a good understanding of algebraic geometry and groups to really understand what's going on. As you get more and more into mathematics, algebraic structures really begin to appear everywhere. Even simple operations such as modulos can be viewed algebraically.
As a math a major I really should be able to give you a better answer, but this is all I have for now. Hopefully I'll have a better answer later (or someone else can answer)
Here's a link as well you should read:
https://math.stackexchange.com/questions/2077915/applications-of-abstract-algebra-in-cs
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
471b9e No.5076
>>3035
>Intro to Algorithms aka CLRS https://mitpress.mit.edu/books/introduction-algorithms this will teach you sort of an Art of Programming lite.
This book is a fucking nigger.
No enrtry level explanations for retards such as myself, only for people who are already smart.
Fuck this book.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
78628d No.5079
>>4715
Where'd you go, anon? I have an idea for a neat collaboration project we could work on. The idea was based directly off of this conversation and the struggles we had in setting something up.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
7c9744 No.5081
Hey anon, glad to hear from you again! Also funny coincidence that I hadn't checked this page in months and today I find your message…
I'm here, I graduated, and I am reading a lot in my free time - I bought quite a bunch of the books mentioned in this thread, thanks to a temporary job I took as an engineer recently.
What's the best way we could go on with this conversation without the risk of losing touch?
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
7c9744 No.5082
>>5081
This was obviously meant as a reply to
>>5079
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
b6fb73 No.5087
>>5082
>>5081
Well, I kind of think it's a shit idea now. But at any rate, the plan was to implement something that would hypothetically make the process of both finding people to work through resrouces with and actually working through material with others much easier.
I tried discussing it in more length here:
>http://boards.4chan.org/sci/thread/9725589/one-of-the-problems-i-have-with-moocs-is-the-lack
Basically using Matrix chat protocol with GitTea and KeyBase for file hosting, and then finding or creating some forum organized by topic heirarchies, from general topics to specific resources (example: math → calculus → Spivak), making it easy to find advice and communities at all levels. At any given moment, there are thousands of people working through any given canonical resources, and if they could be united in a de facto, standard, go-to platform it'd make learning by oneself be a much more enjoyable experience.
Ultimately though, perhaps the autodidact path is doomed to be a lonely one. People are inconsistent, have real lives going on outside of studying in their free time, etc etc.. Resources already exist like StackExchange, IRC and subs like /r/GetStudying (but it's pretty gay imho, nothing like the en masse platform I envisioned. But by using a combination of them, you can in essence accompish the same thing, I guess. That, and there are a few shitty looking platforms that already exist and do essentially the same thing, but in a less freetard approved way, afaict.
And congrats on graduating and landing a job, I was suprised to see a response here at all, especially so quickly. I've just been trying to think of a neat way to test my skills outside of a cookie cutter cirriculum/course/book, and I think taking on something creative and innovative would really grind my lackluster skills and result in a higher level of programming maturity. This was just a problem I've encountered a lot, so when I thought of a potential solution I got pretty excited at the thought.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
b6fb73 No.5088
>>5087
>subs like /r/GetStudying (but it's pretty gay imho, nothing like the en masse platform I envisioned
*)
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
d9501a No.5089
>>5087
Hey! I am more and more convinced that there is no such thing as a shit idea, because execution is what really matters. Lots of successful products, lots of famous apps came from ideas that were already implemented, but badly - or not good enough.
Personally, I liked your post on 4/sci/ and I think your idea has got potential. The only major drawback is that people are lazy, they don't follow through their plans, not many are really committed to their goals, and thus a study related app that really works can only be aimed at that niche of people that are already trying to do something.
Maybe we can really do something about it.
But in the meantime, what are you trying to study (except Spivak, I guess) and would you like to finally start attacking some book together?
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
e95be7 No.5293
OP here, I'm back, even if this is the 'heathen' board with Jim hiding out in the phils. No idea the current state of hot wheels. Update what I'm doing. this: https://functionalcs.github.io/curriculum/
I'm killing bounty's for gitcoin, working for a sleazy finance corp on the down low, and also conducting my life in a non-brainlet way just trying to use probability to estimate my success in really stupid things I come up with. I reworked the math section, you will understand exactly what is happening.
Ignore all my previous advice, I was a brainlet on maximum cruise control just lucking out. I'll see you guys in the underverse, because we're all banned now thanks to clowns going full retard. It's just memes, never forget the fallen memes.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
eeeac2 No.5303
>>5293
>gitcoin bounties
what does this look like? can you talk about your workflow for this?
if you find time, a post on some worthwhile hustles like that would be cool (despite it working directly against your self-interest..). I have a lot of spare time and could use some cash or whatever, I'll drop an email if you want
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
eeeac2 No.5304
>>5303
oh, and can you expand on
>just trying to use probability to estimate my success
it sounds entertaining yet pragmatic
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
7dc2aa No.5307
>>5293
Newfag here.
Can this help me rebuild my forgotten math background from 0? Third world education more or less didn't care as long as you passed.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
1fcc95 No.5308
>>5307
Yes - there is a section in the guide that specifically addresses this concern. Specifically:
>https://functionalcs.github.io/curriculum/#sec-2-3
Start now, go fast, and don't look back.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
358802 No.5310
>>5308
This is me.
>>5307
Thank you, that will help me alot.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
9a037b No.5332
Lmao didn't knew the author of functionalcs posts here too. Anyways I'm currently going through the Common Lisp alternate route and Discrete Mathematics with Functional Programming. So far so good.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
194010 No.5384
>>5307
Always try to get an intuitive understanding( don't be afraid of using images to get the point across). Don't fall for the memorizing formulas trap like I did for most of my pre-University education
When I stopped believing that math was supposed to be hard, I started finding ways to understand it. Now, I ace most classes and I spend my spare time learning about automata
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
70c256 No.5395
One of the best threads I've seen in my entire life.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
ae1dd8 No.5397
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
e95be7 No.5414
>>5395
I hope so because I'm the OP, and it's cringe to see my old self preserved years ago shitposting on cruise control in the dungeons of the internet (how do I sage myself), usually after being all night at a concert/bar and wasted off my ass . Back then I was listening to Burzum - Fallen nonstop after drinking where you're alone in those early hours hacking away doing something stupid at 4am, and there was a paradox in the lyrics I chased down which got me interested again in academia. During this period I was working a really awful working class labour job with tons of overtime, essentially back breaking labour. Then I started to do the texts that everybody said were 'impossible' to do. But I did not do these resources correctly, I basically just read them, did a few exercises, thought I knew the material, went into full naive scientist mode and then ran into a brick wall later doing more advanced material, I had to go back and re-do everything. So that is what https://functionalcs.github.io/curriculum/ is, it is a redo where I realized I did a half assed job the first time.
Anybody reading this in (current year), I'm going to redo the math section, and throw out most of this, primarily shilling Apostol as the best way to build your math skills but I'll include my own notes, I wrote a small book for every resource which again, I take for granted that it helped me learn these topics.
The university job I had I didn't have a degree at the time, and you don't need one either. All univeristies hire for research programmers and local students don't take these jobs because they don't pay enough and they are off chasing that startup gold or trying to intern for FAANG (Facebook, Amazon, Apple, Netflix, Google). So you can weasel your way in, especially if you know specific skills like say, the 15-210 parallel algorithms text which was directly responsible for me being hired. Once you get in, you now learn directly from PhDs, on a daily (or in my case weekend) basis. Then you will see how somebody at that level operates in real time, showing up and telling you how they spent 4 hours that morning digesting some incredibly difficult paper or spent a week learning an impossibly dense text. It was when I met these researchers I realized my work output was insufficient and I needed to redo everything all over again, starting with Apostol.
Anyway tl;dr eventually I'm going to re-do the math section into it's own site, targeted to a pleb like myself when this was written who had the worst math background, and I'll include detailed walkthrough notes so you don't need to do precalc. That's sort of what JK did with https://pimbook.org/ but even that is too advanced for my former self and assumes too much.
I also live in a totally different world than when I wrote this. If you've ever seen that terribad movie Deadpool, there's a grimey alley scene where it's pissing rain outside a strip club. That was shot the night I wrote this thread IIRC. I lived 3 floors up facing that alley in what can only be described as an industrial shithole in one of the worst neighborhoods in the world. They came back to reshoot something with fake rain and there were spotlights shining in my window annoying me and I couldn't study, so I wrote this thread. tl;dr education is the key for getting out of a personal hell. Good luck and hopefully one day this thread will die
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
0a8557 No.5422
>>5384
This. As long as you understand what mathematical relationships mean, then you can understand why the mathematical relationships work. To be able to do this requires a solid background understanding in fundamental mathematical ideas. Go back to the basics and understand "why" rather than memorizing "what".
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
4691d1 No.5447
>>5414
Yeah, no. This thread shall not be left to die, this has helped/ is helping/ will help others so it's too important now to just go away. I am currently at coordinates from Dover.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
2887bf No.5448
>>5414
Too late bro. I save this thread every time I visit the board
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
e95be7 No.5460
>>5422
The way I learned math was just understanding the 'abstractions'.
Most of the real/complex plane are algorithms that produce an output, then they are attached to real line like they're just a number, like say, Pi, but they're not, they are a seperate computation that you have to understand before you get their abstract attachment to the real or complex line/plane. After you understand this (by writing your own examples), it sort of makes sense and you can begin to understand manipulating these algorithms as just 'objects'. You also realize why proofs of these things are so hard, because you're not just writing a proof for it's abstraction you're digging deep into the internals of whatever it represents and trying to prove that complex thing. Hopefully this makes sense.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
5e0479 No.5463
>>5460
>Most of the real/complex plane are algorithms that produce an output, then they are attached to real line like they're just a number, like say, Pi, but they're not, they are a seperate computation that you have to understand before you get their abstract attachment to the real or complex line/plane.
This makes no sense. There are real numbers you can't compute, such as Chaitin's constants, but I'm not even sure you're talking about that.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
e95be7 No.5464
I'm also writing an entire solution guide to starting at math from zero and working up. I don't know how long it will take, and also it's probably a bad idea to provide a solution guide, because I think the way I learned was because I didn't have a solution guide, so I needed to communicate my proofs to people on stack exchange and ask them if my logic was trash or not. Proofs really can't have a final answer, because anybody can write another proof like Ramanujan and his weird proofs of number theory he sent to Hardy back in the day that were legit but totally different than from what they were doing. Given an exercise to write a proof, every single one of us will come up with a different answer, and most of those will be correct. This is the problem with this level of math, you honestly need some kind of mentor to help you with the logic because your naive logic might actually be correct. If you look at the answer, you will be discouraged thinking "wow I don't know this at all, look at this answer it's totally different from how I approached it" but you still may be right! You could also be completely wrong despite being convince you aren't. This is the difficulty of self learning math and hopefully I'll try to help with this by mimicking what I did to learn this material, inspiring some other anon to do the same.
I'm also writing a walkthrough for MIT's crash course in web programming, here: http://webdevelopment.mit.edu/2018/lectures and here: http://weblab.mit.edu/schedule/ because I enjoy the art of the hustle, making money competitively on those terrible freelancer sites and from starting from zero. I also encourage any anon here to learn OCaml, and watch Jane Street's incremental dom lecture on YouTube. A webdev framework in OCaml, no javascript knowledge needed. React uses 'indirection' to create their virtualDOM and provide you with a functional interface, but you can skip all this and go straight to incr_dom and just write directly in OCaml and produce some pretty incredible things. If you're interested see https://www.janestreet.com/tech-talks/intro-to-incr-dom/ and just think about a virtualDOM (a tree structure) and how you can use 'indirection' to shadow it and then perform some of the miracles the girl displays in the talk. Good luck anons
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
e95be7 No.5465
>>5463
Ryan O'Donnel covers this in the complexity theory lectures as Chaitlin was also at CMU. This is also in the Oregon Summer School Programming lectures when they talk about Per Martin-Löf papers and is one of the reasons for higher computational type theory because some things are uncomputable which is why they abandoned HoTT. Chaitlin also has a set of excellent lectures on YouTube if you're interested.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
6bcca5 No.5468
tfw stuck on the preliminaries for over a year because they keep changing and have to start over
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
4ecb20 No.5506
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
000000 No.5518
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
2ba7e7 No.5519
I have just started to learn programming languages. And I am already thinking about learning PLC programming. Learning how to program PLCs (Programmable Logic Controllers) is a great way to get a head start in automation. You may need help to learn complex topics such as programming algorithms, PLC troubleshooting, library functions, etc. And for that case, I've already found a useful resource on the Internet at https://www.programmingassignment.net/blog/how-to-teach-yourself-plc-programming/ and also tutorials, ebooks and videos to help you become a successful PLC programmer. I hope I will succeed.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
30eb61 No.5524
In the world of web development, ASP.NET has emerged as powerful and widely used framework. However, mastering ASP.NET and excelling in assignments can be a daunting task. Fortunately, Programming AssignmentHelp.com offers professional ASP.NET assignment help https://programmingassignmenthelp.com/asp-dot-net-assignment-help/tailored to assist students in overcoming challenges and elevating their skills.
Why ASP.NET Assignments can be challenging:
ASP.NET encompasses a vast array of concepts, including web forms, MVC architecture, database integration, and more. The complexity of these topics and the constantly evolving nature of ASP.NET can make assignments quite challenging. Students often struggle with understanding the intricacies of ASP.NET, Implementing code effectively, and adhering to best practices. Additionally, time constraints and the pressure to meet deadlines further complicate the difficulties. That's where ProgrammingAssignmentHelp.com steps in to provide expert assistance and guidance.
Expert Guidance from Experienced Professionals:
ProgrammingAssignmentHelp.com boasts a team of highly skilled and experienced professionals well-versed in ASP.NET development. They possess in-depth knowledge of the framework and are familiar with the latest advancements and best practices. When students seek ASP.NET assignment help on the platform, they gain access to expert guidance tailored to their specific needs. These professionals work closely with students, understanding their assignment objectives and providing personalized solutions. They offer clear explanations, code examples, and practical insights, enabling students to grasp complex concepts and enhance their coding skills.
Tailored Solutions and Timely Delivery:
One of the key advantages of availing of ASP.NET assignment help from Programming Assignment Help.com is the provision of tailored solutions. Each assignment is approached with individual attention, ensuring that the specific requirements are met. The experts collaborate closely with students to understand their unique challenges and provide customized assistance. Moreover, the platform is committed to timely delivery, recognizing the importance of timely submitting assignments. Students can rely on professionals to complete their assignments within the specified deadlines, reducing stress and ensuring high-quality code.
Confidentiality and Customer Satisfaction:
Programming Assignment Help.comprioritizes the confidentiality of students' personal information. The platform ensures that all data remains secure and protected. Moreover, excellent customer service is a key focus, with prompt responses to queries and concerns throughout the assignment assistance process. Students can expect a seamless experience and proactive support from the platform's customer service team, enhancing satisfaction and ensuring a positive experience.
Benefits beyond Academic Success:
Availing ASP.NET assignment help from ProgrammingAssignmentHelp.com offers benefits beyond immediate academic success. By working with experienced professionals and gaining in-depth understanding and skills, students are equipped for real-world ASP.NET development. This preparation enhances their employability and opens up opportunities for success in the competitive industry. The knowledge gained through expert guidance sets students apart and allows them to approach future projects with confidence and proficiency.
Conclusion:
With the complexity of ASP.NET assignments, seeking professional assistance can make a significant difference in a student’s learning journey. ProgrammingAssignmentHelp.com provides a platform where students can access expert guidance, tailored solutions, and timely delivery. By availing of ASP.NET assignment help, students can elevate their skills, overcome challenges, and achieve academic and professional success in web development.
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.
4a2791 No.5525
i first read this somewhere around april/may 2021. one of the worst times of my life after breaking up with my gf, hated math and was nothing more than a body at every restaurant job I had.
but in here is a part “education is the way out of a personal hell” well man has that proven to be true.
I started with the calculus books, went into linear algebra, into AI and wrapped back to learn a lot of algorithms through CLRS. I’ve also done stuff with analog circuits and signal processing out of interest. Right now, I’m working through software design like design patterns(gang of 4 book) and soon computer vision(Szeliski)
I currently work in industry software but my company has great support to let me do what I want to do. the learning won’t stop
Disclaimer: this post and the subject matter and contents thereof - text, media, or otherwise - do not necessarily reflect the views of the 8kun administration.