5 ms·
You should read the article more closely. It advocates exactly holding universities accountable, and in particular, holding universities accountable for delibe
by eli_gottlieb 10y ago
You should read the article more closely. It advocates exactly holding universities accountable, and in particular, holding universities accountable for deliberately casualizing academic (ie: PhD-holding) labor by converting tenured professorships into adjunct positions, even while expanding enrollments and using the tuition money to hire more and more administrators.
It would be more accurate to say that universities are exploitative than that the existence of a self-reproducing class of professional scientists is irrational.
>But perhaps the best way to get answers is to talk to the parents of college students, the ones footing the bill. Ask whether they’d rather pay that ballooning college tuition for lazy rivers on campus, for fruit baskets and housekeepers for executive staff, and for other rising non-classroom costs; or for more top PhD talent, smaller classrooms, more one-on-one attention from faculty, more independent studies and research opportunities with faculty, and a stable faculty who won’t have to leave halfway through their student’s college career. Then you’ll get a sense of the real, unmet demand for PhDs, and the irrationality of a market that isn’t delivering.
- nickff 10y agoI am making the case for lawsuits with billion dollar settlements or judgements against universities, as well as ongoing concessions. The article advocates what I would describe as 'half-measures', not actual penalties. Many have proposed criminal charges against tobacco company executives, and I see no reason that the university heads should be held to a lower standard.
- eli_gottlieb 10y agoHow can I contribute ;-)?
- nickpsecurity 10y agoOff-topic, whatever happened to DECA? Link is dead.
- eli_gottlieb 10y agoIt's on Github after Google Code shut down, but progress is nonexistent since I got sidetracked trying to prove the type-system and type-inference algorithm work in Coq. I encountered so many errors in my own reasoning about that damn thing that I decided to not accept anything less than a formal proof. My willpower is wearing down, considering the effort it takes to achieve a full Coq development of something serious like that.
- nickpsecurity 10y agoWell, that's quite an honest assessment. Also supports the value of things like Coq in catching errors. Sorry to hear you're getting bogged down in them. Have you thought about canceling it for something less ambitious that extends top-tier, existing work or merges a few components together? Quite a lot of work out there that can benefit in real-world development that could use some extension or even fixing up of implementations.
- eli_gottlieb 10y agoCurrently, I aim to get the proof development complete in my Copious Free Time and publish a small paper detailing it regarding something more like an extension to Haskell or SML than a complete language of my own. I also have a friend who's trying to Solve Programming Languages by building a dependently-typed systems programming language with modules and type-classes and such, so I can pass him the code and proofs if I really so burningly desire to see my work "ship" somewhere, somehow.
- nickpsecurity 10y ago"regarding something more like an extension to Haskell or SML than a complete language of my own." Smart. Might work out. " building a dependently-typed systems programming language" I've seen a few of those: ATS, Idris, Bedrock in a way. Has your friend published any work showing off his? Or is it still in pre-alpha development?