mcguire

46 ms·

631.
by mcguire 4y ago
Would you say that it is unreasonable to expect anyone who is 'in charge over employees' to be professional?
632.
by mcguire 4y ago
Why bother doing it at all? Do you have any reason to believe C. elegans or tardigrades will behave differently in the vicinity of Alpha Centauri? Wouldn't that mass be better used doing just about anything else?
633.
by mcguire 4y ago
" Even though in reality processes may run in parallel, we do not need to model this parallelism since the only communication between processes is by sending and receiving messages, and we can assume that a process finishes processing
634.
by mcguire 4y ago
True, but at that point you're not using dependent types.
635.
by mcguire 4y ago
By "boilerplate nonsense" do you mean input validation? Because that is all that is.
636.
by mcguire 4y ago
"Fifty-eight women were randomized and 31 (53.44%) were lost to follow-up at 12 months. Dropout rates were similar between groups. In the intention-to-treat analysis, there were no significant changes in the body weight after 12 months
637.
by mcguire 4y ago
Higher Order Type Theory. No idea beyond that.
638.
by mcguire 4y ago
For dependent types? I'm really fond of Type Driven Development With Idris.
639.
by mcguire 4y ago
Your point is good, but your example isn't. :-) A dependent type can easily express "list of n warehouse_t's where 0 < n <= 1,000,000,000".
640.
by mcguire 4y ago
The big problem I see with dependent types is that they ultimately require doing proofs whether you're using proof assistants like Coq or model checkers like (normal :-)) TLA+. Proofs are hard, for those who haven't had the traini
641.
by mcguire 4y ago
One interesting aspect, at least for us old systems guys where runtime is important, is that you can not only move errors into compile time, you can move validation checks into compile time. Simple example: returning the head of a list is p
642.
by mcguire 4y ago
When I was in school, long before Wikipedia, encyclopedias weren't accepted as references. That's why you had to go to the library. I don't have a problem with that part. On the other hand, if I were a teacher, citations of
643.
by mcguire 4y ago
I was asking seriously. Other than that student newspaper editorial, I have not found any other coverage except news articles blindly restating Dr. Jones' comments and outraged editorials predicting the end of university standards. A
644.
by mcguire 4y ago
" WSN also accessed student evaluation records for courses taught by Jones, which showed that his scores had been consistently low for years — long before the spring 2022 student petition. In the past five years, Jones’ co-professors t
645.
by mcguire 4y ago
That seems to be the case, yes.
646.
by mcguire 4y ago
" WSN also accessed student evaluation records for courses taught by Jones, which showed that his scores had been consistently low for years — long before the spring 2022 student petition. In the past five years, Jones’ co-professors t
647.
by mcguire 4y ago
Well, you see, that's kinda the thing about "education". Every step should be beyond your current capability, but not so far beyond it that you cannot expand your capability to take the step. With the assistance of an educat
648.
by mcguire 4y ago
Exercise for the reader: the probability that an entire class would be significantly "slower" than another class.
649.
by mcguire 4y ago
I remember being at a conference once and wandering through the new books display with my advisor. We saw a new edition of one of Avi Silberschatz's texts and my advisor said, "Oh, yeah, Avi has another kid about to go to college.
650.
by mcguire 4y ago
" Has there been a noted decline in his skills in the past few years, or has the content or style of his lectures changed? " Yes, and yes. " WSN also accessed student evaluation records for courses taught by Jones, which show
651.
by mcguire 4y ago
" ...which culminated in about a quarter of his class of 350 students signing a petition that does not seem to be publicly available. " I believe this to be it: https://nyunews.com/wp-content/uploads/2022
652.
by mcguire 4y ago
Out of curiosity, have you run across any coverage of the story from any point of view other than Dr. Jones? Anything like, say, https://nyunews.com/opinion/2022/10/05/maitland-jones-nytime... ? Anythi
653.
by mcguire 4y ago
Is there a difference between firing and not offering a new contract to someone who was on year-by-year contracts? Particularly someone with, as you say, a history of non-excellence?
654.
by mcguire 4y ago
Editorial: The New York Times article on Maitland Jones was incomplete. ( https://nyunews.com/opinion/2022/10/05/maitland-jones-nytime... )
655.
by mcguire 4y ago
How do you know the students did not put in the work? Were any students interviewed for the Post's coverage ( https://nypost.com/2022/10/04/nyu-professor-allegedly-fired-... )? Were previous classes compar
656.
by mcguire 4y ago
" Students of Jones’ fall 2020 class wrote an 11-page document outlining their grievances with his handling of the course — not the course content. " from the NYU newspaper. The document: https://nyunews.com/wp-con
657.
by mcguire 4y ago
Not lately.
658.
by mcguire 4y ago
All of the coverage of this issue has been from the point of view of Jones with no pushback against the story that lazy students were demanding that the course be easier. I don't buy it. I used to work for a large computer science depa
659.
by mcguire 4y ago
Would you hire them based only on a competency test? This is how schools are judged: what proportion of their students pass a minimum competency test.
660.
by mcguire 4y ago
I think I misstated my argument. :-) The way schools are currently measured, the 5 are very, very important and the 10 are completely irrelevant. The only judgement is how many of the students are below the appropriate skill level. I don&#x

More ›