HackerTrans
TopNewTrendsCommentsPastAskShowJobs

da39a3ee

no profile record

comments

da39a3ee
·3 года назад·discuss
What about these amazing resources from Daniel Murfet at University of Melbourne:

http://therisingsea.org/post/mast30026/

They have videos as well as everything else. I'd love to study them with someone/some group of people one day.

But, you don't need videos if there are carefully-written course notes PDFs.

Try Oxford: https://courses.maths.ox.ac.uk/course/index.php

E.g. two random Analysis-related courses (second more advanced than first)

https://courses.maths.ox.ac.uk/course/view.php?id=65

https://courses.maths.ox.ac.uk/course/view.php?id=4988

And there are tons of others, but with videos is a bit harder.

Berkeley exam papers with solutions: https://tbp.berkeley.edu/courses/math/113/
da39a3ee
·3 года назад·discuss
Then you are objectively wrong. Look at Grant Sanderson's explanation of introductory Linear Algebra. Very obviously it adds something good to complement the best paper textbooks on the subject.
da39a3ee
·3 года назад·discuss
I think you're just parroting things you've heard other people say. 3b1b's videos are universally agreed to be excellent, and it's baffling that you think it is a choice between watching them and using textbook and doing the exercises. Anyone with the intellectual capacity to study that sort of material is not going to have a hard time comprehending that they are intended to be complementary, as Grant Sanderson makes very clear at numerous points.
da39a3ee
·3 года назад·discuss
> If you want anything past Analysis 1 I think you'll find that universities guard their content.

Not so; there's an absolutely vast amount of freely available undergraduate mathematics resources available at all levels. Honestly, so much that it makes it confusing to choose and not get distracted by the options -- perhaps AI-mediated distillation could be helpful in the future.
da39a3ee
·3 года назад·discuss
Please do not contribute to this silly archaic practice. It was once not silly. It is now archaic, and it is silly to do it now that we have vastly superior tools.
da39a3ee
·4 года назад·discuss
It looks like VSCode is running many threads (some as separate processes) on my machine. Is what you're saying that it does not provide an API for extensions to schedule work on other threads?
da39a3ee
·4 года назад·discuss
Is "semantic analysis" in the sense you used it similar to "type checking"?
da39a3ee
·4 года назад·discuss
Oh thanks for that link, that's really interesting.

Can someone explain the paragraph below -- I thought "this is an invocation of a function named bar" was what we mean by semantic information:

> All features are based on parse trees and there is no semantic information - that means there is no guarantee for correctness. Parse trees allow to identify declarations and usages, like "these lines define a function named foo" or "this is an invocation of a function named bar"
da39a3ee
·4 года назад·discuss
I believe I've read in various places that the difficulty of doing syntax highlighting fast enough is precisely why it isn't done via LSP.

Am I right in thinking that the Semantic Tokens part of the spec (currently) falls short of saying "this is for all your syntax-highlighting needs, please go ahead and implement full-blown syntax highlighters using it"

I definitely agree with you that the more we can share between different editors/IDEs the better.
da39a3ee
·5 лет назад·discuss
What are the plans for preventing people from simulating sexual encounters with virtual likenesses of real people?

It seems that in order to prevent that, we need some sort of security technology preventing me from being able to create computer programs / VR plugins that can simulate that visual experience. If so, does that mean that we're going to need some sort of fingerprinting technology that can determine whether a VR humanoid is a likeness of a real human?

Or is the plan "ban sexual content in VR worlds"?